sec Mul acot Add Pow x5 x7 Mul x6 x0 x0 
Mul Mul tan Mul acot Add Pow x5 x7 Mul x6 x0 x0 sec Mul acot Add Pow x5 x7 Mul x6 x0 x0 Add Mul x0 Mul -1 Mul x6 Pow Add 1 Mul Add Pow x5 x7 Mul x6 x0 Add Pow x5 x7 Mul x6 x0 -1 acot Add Pow x5 x7 Mul x6 x0 