Pow sqrt pi Pow Add x0 x5 acoth Mul x0 E 
Mul Pow sqrt pi Add Pow Add x0 x5 acoth Mul x0 E -1 Mul Mul sqrt pi log sqrt pi Mul Pow Add x0 x5 Add acoth Mul x0 E -1 Add acoth Mul x0 E Mul Mul Add x0 x5 log Add x0 x5 Mul E Pow Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 