acosh Pow Pow Mul exp acosh x0 x0 log x7 x0 
Mul Mul Pow Pow Mul exp acosh x0 x0 log x7 Add x0 -1 Add Mul x0 Mul Pow Mul exp acosh x0 x0 Add log x7 -1 Mul log x7 Add Mul x0 Mul exp acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 exp acosh x0 Mul Pow Mul exp acosh x0 x0 log x7 log Pow Mul exp acosh x0 x0 log x7 Pow Mul sqrt Add Pow Pow Mul exp acosh x0 x0 log x7 x0 -1 sqrt Add 1 Pow Pow Mul exp acosh x0 x0 log x7 x0 -1 