Add Add Mul E x1 x0 Mul -2 Pow x0 atan csc Pow x0 x3 
Add 1 Mul -2 Mul Pow x0 Add atan csc Pow x0 x3 -1 Add atan csc Pow x0 x3 Mul Mul x0 log x0 Mul Mul Mul Mul -1 cot Pow x0 x3 csc Pow x0 x3 Mul Pow x0 Add x3 -1 x3 Pow Add 1 Mul csc Pow x0 x3 csc Pow x0 x3 -1 