acos cot Pow x2 Add Mul 2 x0 Add Add -1 E x0 
Mul -1 Mul Mul Mul -1 Pow csc Pow x2 Add Mul 2 x0 Add Add -1 E x0 2 Mul Pow x2 Add Add Mul 2 x0 Add Add -1 E x0 -1 Mul Mul x2 log x2 3 Pow sqrt Add 1 Mul -1 Mul cot Pow x2 Add Mul 2 x0 Add Add -1 E x0 cot Pow x2 Add Mul 2 x0 Add Add -1 E x0 -1 