acoth Add Pow pi exp Mul x0 x6 acosh E 
Mul Mul Pow pi Add exp Mul x0 x6 -1 Mul Mul pi log pi Mul exp Mul x0 x6 x6 Pow Add 1 Mul -1 Mul Add Pow pi exp Mul x0 x6 acosh E Add Pow pi exp Mul x0 x6 acosh E -1 