Mul x0 Mul Pow 0.00160000000000000 Mul x0 csch acosh x0 Pow pi x0 
Add Mul Pow 0.00160000000000000 Mul x0 csch acosh x0 Pow pi x0 Mul x0 Add Mul Pow pi x0 Mul Pow 0.00160000000000000 Add Mul x0 csch acosh x0 -1 Mul -6.43615164973640 Add csch acosh x0 Mul x0 Mul Mul Mul -1 coth acosh x0 csch acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow 0.00160000000000000 Mul x0 csch acosh x0 Mul Pow pi Add x0 -1 Mul pi log pi 