Add -0.141120008059867 Mul x0 Add Mul cosh E x0 Mul Add Mul Add Mul sec x0 x0 Mul x0 x6 E x0 -4 
Add Add Mul cosh E x0 Mul Add Mul Add Mul sec x0 x0 Mul x0 x6 E x0 -4 Mul x0 Add cosh E Mul -4 Add Mul E Add Add Mul x0 Mul tan x0 sec x0 sec x0 x6 1 