Pow Pow log pi Add Pow Pow x2 E acoth x0 1 -5 
Mul Pow Pow log pi Add Pow Pow x2 E acoth x0 1 6 Mul -5 Mul Pow log pi Add Add Pow Pow x2 E acoth x0 1 -1 Mul Mul log pi log log pi Mul Pow Pow x2 E Add acoth x0 -1 Mul Mul Pow x2 E log Pow x2 E Pow Add 1 Mul -1 Mul x0 x0 -1 