Mul x0 Add Add Mul Add Mul x0 sec Add x0 Mul cosh x7 -1 x0 x0 1 x0 
Add Add Add Mul Add Mul x0 sec Add x0 Mul cosh x7 -1 x0 x0 1 x0 Mul x0 Add Add Mul x0 Add Add sec Add x0 Mul cosh x7 -1 Mul x0 Mul tan Add x0 Mul cosh x7 -1 sec Add x0 Mul cosh x7 -1 1 Add Mul x0 sec Add x0 Mul cosh x7 -1 x0 1 