Mul Pow Mul Mul 4 Mul cosh x2 4 Mul -0.756802495307928 x0 3 x0 
Add Mul x0 Mul Pow Mul Mul 4 Mul cosh x2 4 Mul -0.756802495307928 x0 2 Mul 3 Mul Mul 4 Mul cosh x2 4 -0.756802495307928 Pow Mul Mul 4 Mul cosh x2 4 Mul -0.756802495307928 x0 3 