Pow Add Add Mul x0 2 -3 acoth cosh x0 Mul Mul Mul Mul x4 -3 x2 atanh x0 x1 
Mul Pow Add Add Mul x0 2 -3 acoth cosh x0 Add Mul Mul Mul Mul x4 -3 x2 atanh x0 x1 -1 Add Mul Mul Mul Mul Mul x4 -3 x2 atanh x0 x1 Add 2 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul Mul Add Add Mul x0 2 -3 acoth cosh x0 log Add Add Mul x0 2 -3 acoth cosh x0 Mul x1 Mul Mul Mul x4 -3 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 