Add Pow x0 Mul 3 atanh cosh Add x1 x0 -4 
Mul Pow x0 Add Mul 3 atanh cosh Add x1 x0 -1 Add Mul 3 atanh cosh Add x1 x0 Mul Mul x0 log x0 Mul 3 Mul sinh Add x1 x0 Pow Add 1 Mul -1 Mul cosh Add x1 x0 cosh Add x1 x0 -1 