Add x0 Mul coth atan x1 Mul E atanh Pow cosh Add x0 x0 -3 
Add 1 Mul coth atan x1 Mul E Mul Mul Pow cosh Add x0 x0 4 Mul -3 Mul sinh Add x0 x0 2 Pow Add 1 Mul -1 Mul Pow cosh Add x0 x0 -3 Pow cosh Add x0 x0 -3 -1 