How do you evaluate tan^-1(tan((pi)/10))?