Pow x0 Add x0 Pow x0 Pow log x0 acosh E 
Mul Pow x0 Add Add x0 Pow x0 Pow log x0 acosh E -1 Add Add x0 Pow x0 Pow log x0 acosh E Mul Mul x0 log x0 Add 1 Mul Pow x0 Add Pow log x0 acosh E -1 Add Pow log x0 acosh E Mul Mul x0 log x0 Mul Pow log x0 Add acosh E -1 Mul acosh E Pow x0 -1 