Add Mul sqrt Mul x0 tan Pow acoth E acoth Mul x0 x0 0.200000000000000 x4 
Mul 0.200000000000000 Mul Pow Mul 2 sqrt Mul x0 tan Pow acoth E acoth Mul x0 x0 -1 Add tan Pow acoth E acoth Mul x0 x0 Mul x0 Mul Pow sec Pow acoth E acoth Mul x0 x0 2 Mul Pow acoth E Add acoth Mul x0 x0 -1 Mul Mul acoth E log acoth E Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 