sec acot Mul Mul x0 3 Mul x6 x0 
Mul Mul tan acot Mul Mul x0 3 Mul x6 x0 sec acot Mul Mul x0 3 Mul x6 x0 Mul -1 Mul Add Mul Mul x6 x0 3 Mul Mul x0 3 x6 Pow Add 1 Mul Mul Mul x0 3 Mul x6 x0 Mul Mul x0 3 Mul x6 x0 -1 