Mul Mul pi Add -4 Mul Pow acot csc Mul -2 Pow x6 Mul x0 x1 Pow coth x0 acos x3 x0 x0 
Add Mul x0 Mul pi Add Mul x0 Mul Pow acot csc Mul -2 Pow x6 Mul x0 x1 Add Pow coth x0 acos x3 -1 Add Mul Pow coth x0 acos x3 Mul -1 Mul Mul Mul Mul -1 cot Mul -2 Pow x6 Mul x0 x1 csc Mul -2 Pow x6 Mul x0 x1 Mul -2 Mul Pow x6 Add Mul x0 x1 -1 Mul Mul x6 log x6 x1 Pow Add 1 Mul csc Mul -2 Pow x6 Mul x0 x1 csc Mul -2 Pow x6 Mul x0 x1 -1 Mul Mul acot csc Mul -2 Pow x6 Mul x0 x1 log acot csc Mul -2 Pow x6 Mul x0 x1 Mul Pow coth x0 Add acos x3 -1 Mul acos x3 Mul -1 Pow csch x0 2 Pow acot csc Mul -2 Pow x6 Mul x0 x1 Pow coth x0 acos x3 Mul pi Add -4 Mul Pow acot csc Mul -2 Pow x6 Mul x0 x1 Pow coth x0 acos x3 x0 