Add exp Add Mul x0 x0 -3 sec Pow Mul x0 cosh x0 x4 
Add Mul exp Add Mul x0 x0 -3 Add x0 x0 Mul Mul tan Pow Mul x0 cosh x0 x4 sec Pow Mul x0 cosh x0 x4 Mul Pow Mul x0 cosh x0 Add x4 -1 Mul x4 Add cosh x0 Mul x0 sinh x0 