Pow Add Pow Pow x0 coth acot Pow x2 3 x0 x0 Mul pi 3 
Mul Pow Add Pow Pow x0 coth acot Pow x2 3 x0 x0 Add Mul pi 3 -1 Mul Mul pi 3 Add Mul Pow Pow x0 coth acot Pow x2 3 Add x0 -1 Add Mul x0 Mul Pow x0 Add coth acot Pow x2 3 -1 coth acot Pow x2 3 Mul Pow x0 coth acot Pow x2 3 log Pow x0 coth acot Pow x2 3 1 