Pow acosh coth Mul Add x7 x0 Pow x0 Mul cosh x2 Mul x4 E -5 
Mul Pow acosh coth Mul Add x7 x0 Pow x0 Mul cosh x2 Mul x4 E 6 Mul -5 Mul Mul Mul -1 Pow csch Mul Add x7 x0 Pow x0 Mul cosh x2 Mul x4 E 2 Add Pow x0 Mul cosh x2 Mul x4 E Mul Add x7 x0 Mul Pow x0 Add Mul cosh x2 Mul x4 E -1 Mul cosh x2 Mul x4 E Pow Mul sqrt Add coth Mul Add x7 x0 Pow x0 Mul cosh x2 Mul x4 E -1 sqrt Add 1 coth Mul Add x7 x0 Pow x0 Mul cosh x2 Mul x4 E -1 