coth exp Add -2 Add Mul sech Mul sinh x0 x4 acosh Mul x7 x3 Mul x0 -3 
Mul Mul -1 Pow csch exp Add -2 Add Mul sech Mul sinh x0 x4 acosh Mul x7 x3 Mul x0 -3 2 Mul exp Add -2 Add Mul sech Mul sinh x0 x4 acosh Mul x7 x3 Mul x0 -3 Add Mul acosh Mul x7 x3 Mul Mul tanh Mul sinh x0 x4 Mul -1 sech Mul sinh x0 x4 Mul x4 cosh x0 -3 