Add Add x0 Add Add E Pow atan csc Mul Add x3 x0 Pow x2 atan x0 coth acos x0 x0 -3 
Add 1 Add Mul Pow atan csc Mul Add x3 x0 Pow x2 atan x0 Add coth acos x0 -1 Add Mul coth acos x0 Mul Mul Mul Mul -1 cot Mul Add x3 x0 Pow x2 atan x0 csc Mul Add x3 x0 Pow x2 atan x0 Add Pow x2 atan x0 Mul Add x3 x0 Mul Pow x2 Add atan x0 -1 Mul Mul x2 log x2 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul csc Mul Add x3 x0 Pow x2 atan x0 csc Mul Add x3 x0 Pow x2 atan x0 -1 Mul Mul atan csc Mul Add x3 x0 Pow x2 atan x0 log atan csc Mul Add x3 x0 Pow x2 atan x0 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 