Mul Pow Add x0 x1 E Add tan Add Mul x0 -3 Mul -4 Mul cosh x1 x0 x0 
Add Mul Add tan Add Mul x0 -3 Mul -4 Mul cosh x1 x0 x0 Mul Pow Add x0 x1 Add E -1 E Mul Pow Add x0 x1 E Add Mul Pow sec Add Mul x0 -3 Mul -4 Mul cosh x1 x0 2 Add -3 Mul -4 cosh x1 1 