Mul Mul x0 -2 atanh sec Add x0 Add Mul x0 1.00067115040168 x0 
Add Mul atanh sec Add x0 Add Mul x0 1.00067115040168 x0 -2 Mul Mul x0 -2 Mul Mul Mul tan Add x0 Add Mul x0 1.00067115040168 x0 sec Add x0 Add Mul x0 1.00067115040168 x0 3.00067115040168 Pow Add 1 Mul -1 Mul sec Add x0 Add Mul x0 1.00067115040168 x0 sec Add x0 Add Mul x0 1.00067115040168 x0 -1 