Mul x0 Pow 4 acot sec Mul x0 x1 
Add Pow 4 acot sec Mul x0 x1 Mul x0 Mul Pow 4 Add acot sec Mul x0 x1 -1 Mul 5.38629436111989 Mul -1 Mul Mul Mul tan Mul x0 x1 sec Mul x0 x1 x1 Pow Add 1 Mul sec Mul x0 x1 sec Mul x0 x1 -1 