sec csc Mul Mul x0 Mul E x6 x0 
Mul Mul tan csc Mul Mul x0 Mul E x6 x0 sec csc Mul Mul x0 Mul E x6 x0 Mul Mul Mul -1 cot Mul Mul x0 Mul E x6 x0 csc Mul Mul x0 Mul E x6 x0 Add Mul x0 Mul E x6 Mul x0 Mul E x6 