Pow cot x0 Add Mul Pow asec pi Add Add x0 -1 x0 x0 Pow x0 Pow x7 -2 
Mul Pow cot x0 Add Add Mul Pow asec pi Add Add x0 -1 x0 x0 Pow x0 Pow x7 -2 -1 Add Mul Add Mul Pow asec pi Add Add x0 -1 x0 x0 Pow x0 Pow x7 -2 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Add Add Mul x0 Mul Pow asec pi Add Add Add x0 -1 x0 -1 Mul Mul asec pi log asec pi 2 Pow asec pi Add Add x0 -1 x0 Mul Pow x0 Add Pow x7 -2 -1 Pow x7 -2 