Sophie
-- -*- M2-comint -*- {* hash: -523820636 *} i1 : cot(pi/3) o1 = .577350269189626 o1 : RR (of precision 53) i2 :