Add E Pow Mul -4 Add sqrt x0 -3 Pow x0 cosh x7 
Mul Pow Mul -4 Add sqrt x0 -3 Add Pow x0 cosh x7 -1 Add Mul Pow x0 cosh x7 Mul -4 Pow Mul 2 sqrt x0 -1 Mul Mul Mul -4 Add sqrt x0 -3 log Mul -4 Add sqrt x0 -3 Mul Pow x0 Add cosh x7 -1 cosh x7 