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