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