Add Mul x1 -1 Mul Pow Pow tan exp x0 Add E x0 cosh x3 -74.2032105777888 
Mul -74.2032105777888 Mul Pow Pow tan exp x0 Add E x0 Add cosh x3 -1 Mul cosh x3 Mul Pow tan exp x0 Add Add E x0 -1 Add Mul Add E x0 Mul Pow sec exp x0 2 exp x0 Mul tan exp x0 log tan exp x0 