Pow Mul Mul Mul Add acosh x7 x0 5 169422523692860076389778442944512 x0 x0 
Mul Pow Mul Mul Mul Add acosh x7 x0 5 169422523692860076389778442944512 x0 Add x0 -1 Add Mul x0 Add Mul x0 169422523692860076389778442944512 Mul Mul Add acosh x7 x0 5 169422523692860076389778442944512 Mul Mul Mul Mul Add acosh x7 x0 5 169422523692860076389778442944512 x0 log Mul Mul Mul Add acosh x7 x0 5 169422523692860076389778442944512 x0 