Pow x1 cot Pow atanh Mul x0 -3 pi 
Mul Pow x1 Add cot Pow atanh Mul x0 -3 pi -1 Mul Mul x1 log x1 Mul Mul -1 Pow csc Pow atanh Mul x0 -3 pi 2 Mul Pow atanh Mul x0 -3 Add pi -1 Mul pi Mul -3 Pow Add 1 Mul -1 Mul Mul x0 -3 Mul x0 -3 -1 