Mul x0 Pow Mul Pow Add Mul Add acosh Mul x7 x7 x0 x0 x0 x2 x0 -4 
Add Pow Mul Pow Add Mul Add acosh Mul x7 x7 x0 x0 x0 x2 x0 -4 Mul x0 Mul Pow Mul Pow Add Mul Add acosh Mul x7 x7 x0 x0 x0 x2 x0 5 Mul -4 Add Mul x0 Mul Pow Add Mul Add acosh Mul x7 x7 x0 x0 x0 Add x2 -1 Mul x2 Add Add x0 Add acosh Mul x7 x7 x0 1 Pow Add Mul Add acosh Mul x7 x7 x0 x0 x0 x2 