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