Pow x7 sqrt acosh Pow Mul x4 Add 2 x0 x1 
Mul Pow x7 Add sqrt acosh Pow Mul x4 Add 2 x0 x1 -1 Mul Mul x7 log x7 Mul Pow Mul 2 sqrt acosh Pow Mul x4 Add 2 x0 x1 -1 Mul Mul Pow Mul x4 Add 2 x0 Add x1 -1 Mul x1 x4 Pow Mul sqrt Add Pow Mul x4 Add 2 x0 x1 -1 sqrt Add 1 Pow Mul x4 Add 2 x0 x1 -1 