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