Question 609487
tan^-1(tan (7pi/10)) = 7pi/10