Mul x0 Mul Pow x2 Add csch acsc exp cosh Mul Add cosh x7 x0 atanh x4 x0 4 
Add Mul Pow x2 Add csch acsc exp cosh Mul Add cosh x7 x0 atanh x4 x0 4 Mul x0 Mul 4 Mul Pow x2 Add Add csch acsc exp cosh Mul Add cosh x7 x0 atanh x4 x0 -1 Mul Mul x2 log x2 Add Mul Mul Mul -1 coth acsc exp cosh Mul Add cosh x7 x0 atanh x4 csch acsc exp cosh Mul Add cosh x7 x0 atanh x4 Mul -1 Mul Mul exp cosh Mul Add cosh x7 x0 atanh x4 Mul sinh Mul Add cosh x7 x0 atanh x4 atanh x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul exp cosh Mul Add cosh x7 x0 atanh x4 exp cosh Mul Add cosh x7 x0 atanh x4 -1 exp cosh Mul Add cosh x7 x0 atanh x4 exp cosh Mul Add cosh x7 x0 atanh x4 -1 1 