asec Pow Pow pi csch x0 0.339055876422930 
Mul Mul Pow Pow pi csch x0 -0.660944123577070 Mul 0.339055876422930 Mul Pow pi Add csch x0 -1 Mul Mul pi log pi Mul Mul -1 coth x0 csch x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow pi csch x0 0.339055876422930 Pow Pow pi csch x0 0.339055876422930 -1 Pow Pow pi csch x0 0.339055876422930 Pow Pow pi csch x0 0.339055876422930 -1 