Mul Mul x0 Add Pow sqrt x0 Add cosh x2 Pow cosh x5 5 cosh x1 -3 
Mul -3 Add Add Pow sqrt x0 Add cosh x2 Pow cosh x5 5 cosh x1 Mul x0 Mul Pow sqrt x0 Add Add cosh x2 Pow cosh x5 5 -1 Mul Add cosh x2 Pow cosh x5 5 Pow Mul 2 sqrt x0 -1 