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