Pow Mul acosh x0 exp Mul x0 x0 exp Add acosh x6 E 
Mul Pow Mul acosh x0 exp Mul x0 x0 Add exp Add acosh x6 E -1 Mul exp Add acosh x6 E Add Mul exp Mul x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul exp Mul x0 x0 Add x0 x0 