exp acoth Pow Mul x0 Add Mul cosh Add x2 Mul Pow 2 x3 x3 x0 sinh x1 x7 
Mul exp acoth Pow Mul x0 Add Mul cosh Add x2 Mul Pow 2 x3 x3 x0 sinh x1 x7 Mul Mul Pow Mul x0 Add Mul cosh Add x2 Mul Pow 2 x3 x3 x0 sinh x1 Add x7 -1 Mul x7 Add Add Mul cosh Add x2 Mul Pow 2 x3 x3 x0 sinh x1 Mul x0 cosh Add x2 Mul Pow 2 x3 x3 Pow Add 1 Mul -1 Mul Pow Mul x0 Add Mul cosh Add x2 Mul Pow 2 x3 x3 x0 sinh x1 x7 Pow Mul x0 Add Mul cosh Add x2 Mul Pow 2 x3 x3 x0 sinh x1 x7 -1 