Mul Pow Pow sqrt x1 Pow -1 x5 Mul cosh Add x0 x0 x3 -2 
Mul -2 Mul Pow Pow sqrt x1 Pow -1 x5 Add Mul cosh Add x0 x0 x3 -1 Mul Mul Pow sqrt x1 Pow -1 x5 log Pow sqrt x1 Pow -1 x5 Mul x3 Mul sinh Add x0 x0 2 