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