Add atan asech Pow x0 Mul atan Mul pi x2 5.73205080756888 Add x0 x6 
Add Mul Mul Mul Pow x0 Add Mul atan Mul pi x2 5.73205080756888 -1 Mul atan Mul pi x2 5.73205080756888 Pow Mul Mul Pow x0 Mul atan Mul pi x2 5.73205080756888 Pow x0 Mul atan Mul pi x2 5.73205080756888 sqrt Add 1 Mul -1 Pow Mul Pow x0 Mul atan Mul pi x2 5.73205080756888 Pow x0 Mul atan Mul pi x2 5.73205080756888 -1 -1 Pow Add 1 Mul asech Pow x0 Mul atan Mul pi x2 5.73205080756888 asech Pow x0 Mul atan Mul pi x2 5.73205080756888 -1 1 