Pow x7 asinh acosh Mul x0 x1 
Mul Pow x7 Add asinh acosh Mul x0 x1 -1 Mul Mul x7 log x7 Mul Mul x1 Pow Mul sqrt Add Mul x0 x1 -1 sqrt Add 1 Mul x0 x1 -1 Pow sqrt Add 1 Mul acosh Mul x0 x1 acosh Mul x0 x1 -1 