sec Mul Mul x0 acot Mul x6 Mul x0 Pow x3 x7 4 
Mul Mul tan Mul Mul x0 acot Mul x6 Mul x0 Pow x3 x7 4 sec Mul Mul x0 acot Mul x6 Mul x0 Pow x3 x7 4 Mul 4 Add acot Mul x6 Mul x0 Pow x3 x7 Mul x0 Mul -1 Mul Mul x6 Pow x3 x7 Pow Add 1 Mul Mul x6 Mul x0 Pow x3 x7 Mul x6 Mul x0 Pow x3 x7 -1 