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