Mul coth exp Add Pow x1 x2 x0 Add Mul x0 acosh Mul cosh Add pi sqrt x7 x1 x0 
Add Mul Add Mul x0 acosh Mul cosh Add pi sqrt x7 x1 x0 Mul Mul -1 Pow csch exp Add Pow x1 x2 x0 2 exp Add Pow x1 x2 x0 Mul coth exp Add Pow x1 x2 x0 Add acosh Mul cosh Add pi sqrt x7 x1 1 