Pow x0 Add E Add x0 Add Mul 4 Pow x0 x0 acoth E 
Mul Pow x0 Add Add E Add x0 Add Mul 4 Pow x0 x0 acoth E -1 Add Add E Add x0 Add Mul 4 Pow x0 x0 acoth E Mul Mul x0 log x0 Add 1 Mul 4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 