Mul x0 Pow Mul Add Pow pi -1 E x6 acoth x0 
Add Pow Mul Add Pow pi -1 E x6 acoth x0 Mul x0 Mul Pow Mul Add Pow pi -1 E x6 Add acoth x0 -1 Mul Mul Mul Add Pow pi -1 E x6 log Mul Add Pow pi -1 E x6 Pow Add 1 Mul -1 Mul x0 x0 -1 