Pow Mul x0 3 acoth Mul acot x0 3 
Mul Pow Mul x0 3 Add acoth Mul acot x0 3 -1 Add Mul acoth Mul acot x0 3 3 Mul Mul Mul x0 3 log Mul x0 3 Mul Mul 3 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul acot x0 3 Mul acot x0 3 -1 