Mul Pow Pow asech x0 Mul x5 acoth asech x4 x4 -0.0312500000000000 
Mul -0.0312500000000000 Mul Pow Pow asech x0 Mul x5 acoth asech x4 Add x4 -1 Mul x4 Mul Pow asech x0 Add Mul x5 acoth asech x4 -1 Mul Mul x5 acoth asech x4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 