Mul Pow Mul x0 Add x0 sec cot x3 Mul x4 x7 Pow x0 cot x0 
Add Mul Pow x0 cot x0 Mul Pow Mul x0 Add x0 sec cot x3 Add Mul x4 x7 -1 Mul Mul x4 x7 Add Add x0 sec cot x3 x0 Mul Pow Mul x0 Add x0 sec cot x3 Mul x4 x7 Mul Pow x0 Add cot x0 -1 Add cot x0 Mul Mul x0 log x0 Mul -1 Pow csc x0 2 