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