sec acot Mul x0 sec csc x0 
Mul Mul tan acot Mul x0 sec csc x0 sec acot Mul x0 sec csc x0 Mul -1 Mul Add sec csc x0 Mul x0 Mul Mul tan csc x0 sec csc x0 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul Mul x0 sec csc x0 Mul x0 sec csc x0 -1 