Mul sqrt log acosh x5 Add Add asinh cosh coth Mul Add Add x2 x0 x0 x0 3 pi 
Mul sqrt log acosh x5 Mul Mul sinh coth Mul Add Add x2 x0 x0 x0 Mul Mul -1 Pow csch Mul Add Add x2 x0 x0 x0 2 Add Mul x0 2 Add Add x2 x0 x0 Pow sqrt Add 1 Mul cosh coth Mul Add Add x2 x0 x0 x0 cosh coth Mul Add Add x2 x0 x0 x0 -1 