Mul Add x0 cot x5 acot atan Pow x1 Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 x1 
Add acot atan Pow x1 Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 x1 Mul Add x0 cot x5 Mul -1 Mul Mul Mul Pow x1 Add Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 x1 -1 Mul Mul x1 log x1 Mul Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 Add x1 -1 Mul x1 Add Mul Mul Add x2 acoth Mul E x0 x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 Add Mul x0 Mul E Pow Add 1 Mul -1 Mul Mul E x0 Mul E x0 -1 Add x2 acoth Mul E x0 Pow Add 1 Mul Pow x1 Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 x1 Pow x1 Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 x1 -1 Pow Add 1 Mul atan Pow x1 Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 x1 atan Pow x1 Pow Add Mul csc x0 Mul Add x2 acoth Mul E x0 x0 0.0625000000000000 x1 -1 