Mul Mul Mul x0 Add x0 x0 x0 sec tan Add -3 Mul x0 1.44363547517881 
Add Mul sec tan Add -3 Mul x0 1.44363547517881 Add Mul x0 Add Add x0 x0 Mul x0 2 Mul x0 Add x0 x0 Mul Mul Mul x0 Add x0 x0 x0 Mul Mul tan tan Add -3 Mul x0 1.44363547517881 sec tan Add -3 Mul x0 1.44363547517881 Mul Pow sec Add -3 Mul x0 1.44363547517881 2 1.44363547517881 