csc Pow tan sec Pow x0 x1 x0 
Mul Mul Mul -1 cot Pow tan sec Pow x0 x1 x0 csc Pow tan sec Pow x0 x1 x0 Mul Pow tan sec Pow x0 x1 Add x0 -1 Add Mul x0 Mul Pow sec sec Pow x0 x1 2 Mul Mul tan Pow x0 x1 sec Pow x0 x1 Mul Pow x0 Add x1 -1 x1 Mul tan sec Pow x0 x1 log tan sec Pow x0 x1 