Add Mul x0 x0 Pow Pow Mul Mul -2 x0 sin cosh Add x0 cosh cosh x0 3 x0 
Add Add x0 x0 Mul Pow Pow Mul Mul -2 x0 sin cosh Add x0 cosh cosh x0 3 Add x0 -1 Add Mul x0 Mul Pow Mul Mul -2 x0 sin cosh Add x0 cosh cosh x0 2 Mul 3 Add Mul sin cosh Add x0 cosh cosh x0 -2 Mul Mul -2 x0 Mul cos cosh Add x0 cosh cosh x0 Mul sinh Add x0 cosh cosh x0 Add 1 Mul sinh cosh x0 sinh x0 Mul Pow Mul Mul -2 x0 sin cosh Add x0 cosh cosh x0 3 log Pow Mul Mul -2 x0 sin cosh Add x0 cosh cosh x0 3 