Pow Mul Pow x3 acosh exp x0 Mul x0 E x4 
Mul Pow Mul Pow x3 acosh exp x0 Mul x0 E Add x4 -1 Mul x4 Add Mul Mul x0 E Mul Pow x3 Add acosh exp x0 -1 Mul Mul x3 log x3 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Mul Pow x3 acosh exp x0 E 