Mul Pow x0 Add acsch Pow E -3 x0 acosh Mul Add -1 x0 E 
Add Mul acosh Mul Add -1 x0 E Mul Pow x0 Add Add acsch Pow E -3 x0 -1 Add Add acsch Pow E -3 x0 Mul x0 log x0 Mul Pow x0 Add acsch Pow E -3 x0 Mul E Pow Mul sqrt Add Mul Add -1 x0 E -1 sqrt Add 1 Mul Add -1 x0 E -1 