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