Pow Pow x6 E Mul Pow x0 Mul acosh Pow x7 x0 Add x1 x0 x1 
Mul Pow Pow x6 E Add Mul Pow x0 Mul acosh Pow x7 x0 Add x1 x0 x1 -1 Mul Mul Pow x6 E log Pow x6 E Mul x1 Mul Pow x0 Add Mul acosh Pow x7 x0 Add x1 x0 -1 Add Mul acosh Pow x7 x0 Add x1 x0 Mul Mul x0 log x0 Add Mul Add x1 x0 Mul Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Mul sqrt Add Pow x7 x0 -1 sqrt Add 1 Pow x7 x0 -1 acosh Pow x7 x0 