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