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