Mul asin coth Add x0 Add cosh x0 x4 x0 
Add Mul x0 Mul Mul Mul -1 Pow csch Add x0 Add cosh x0 x4 2 Add 1 sinh x0 Pow sqrt Add 1 Mul -1 Mul coth Add x0 Add cosh x0 x4 coth Add x0 Add cosh x0 x4 -1 asin coth Add x0 Add cosh x0 x4 