Add x0 Add Pow x3 csch acosh Add x0 pi Mul Mul x1 csch x0 x6 
Add 1 Add Mul Pow x3 Add csch acosh Add x0 pi -1 Mul Mul x3 log x3 Mul Mul Mul -1 coth acosh Add x0 pi csch acosh Add x0 pi Pow Mul sqrt Add Add x0 pi -1 sqrt Add 1 Add x0 pi -1 Mul x6 Mul x1 Mul Mul -1 coth x0 csch x0 