Pow Mul Pow x5 x0 atan cot Mul -2 Add x0 x7 x3 
Mul Pow Mul Pow x5 x0 atan cot Mul -2 Add x0 x7 Add x3 -1 Mul x3 Add Mul atan cot Mul -2 Add x0 x7 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Mul Mul Mul -1 Pow csc Mul -2 Add x0 x7 2 -2 Pow Add 1 Mul cot Mul -2 Add x0 x7 cot Mul -2 Add x0 x7 -1 