i1 : cot(pi/3) o1 = .577350269189626 o1 : RR (of precision 53)
See http://en.wikipedia.org/wiki/Trigonometric_function.