Pow Add x0 acosh Pow Pow x0 sin acoth pi Add x0 E 3 
Mul Pow Add x0 acosh Pow Pow x0 sin acoth pi Add x0 E 2 Mul 3 Add 1 Mul Mul Pow Pow x0 sin acoth pi Add Add x0 E -1 Add Mul Add x0 E Mul Pow x0 Add sin acoth pi -1 sin acoth pi Mul Pow x0 sin acoth pi log Pow x0 sin acoth pi Pow Mul sqrt Add Pow Pow x0 sin acoth pi Add x0 E -1 sqrt Add 1 Pow Pow x0 sin acoth pi Add x0 E -1 