Mul Pow cot x0 cot x2 Pow sqrt Pow x0 x7 x0 
Add Mul Pow sqrt Pow x0 x7 x0 Mul Pow cot x0 Add cot x2 -1 Mul cot x2 Mul -1 Pow csc x0 2 Mul Pow cot x0 cot x2 Mul Pow sqrt Pow x0 x7 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Pow x0 x7 -1 Mul Pow x0 Add x7 -1 x7 Mul sqrt Pow x0 x7 log sqrt Pow x0 x7 