Mul Pow x5 Mul x0 x7 Pow x0 log Mul x0 acosh E 
Add Mul Pow x0 log Mul x0 acosh E Mul Pow x5 Add Mul x0 x7 -1 Mul Mul x5 log x5 x7 Mul Pow x5 Mul x0 x7 Mul Pow x0 Add log Mul x0 acosh E -1 Add log Mul x0 acosh E Mul Mul x0 log x0 Mul acosh E Pow Mul x0 acosh E -1 