Mul x3 Add acosh Mul Mul 4 Mul exp Add x0 Mul x0 Pow x2 7 x0 acosh Mul x0 Mul Add -1 x0 -1 x0 
Mul x3 Add Mul Add Mul acosh Mul x0 Mul Add -1 x0 -1 Mul 4 Add Mul x0 Mul exp Add x0 Mul x0 Pow x2 7 Add 1 Pow x2 7 exp Add x0 Mul x0 Pow x2 7 Mul Mul 4 Mul exp Add x0 Mul x0 Pow x2 7 x0 Mul Add Mul Add -1 x0 -1 Mul x0 -1 Pow Mul sqrt Add Mul x0 Mul Add -1 x0 -1 -1 sqrt Add 1 Mul x0 Mul Add -1 x0 -1 -1 Pow Mul sqrt Add Mul Mul 4 Mul exp Add x0 Mul x0 Pow x2 7 x0 acosh Mul x0 Mul Add -1 x0 -1 -1 sqrt Add 1 Mul Mul 4 Mul exp Add x0 Mul x0 Pow x2 7 x0 acosh Mul x0 Mul Add -1 x0 -1 -1 1 