Pow x0 Mul x6 Pow x0 Pow x7 Add Mul Add x0 x0 x0 Pow x0 acosh E 
Mul Pow x0 Add Mul x6 Pow x0 Pow x7 Add Mul Add x0 x0 x0 Pow x0 acosh E -1 Add Mul x6 Pow x0 Pow x7 Add Mul Add x0 x0 x0 Pow x0 acosh E Mul Mul x0 log x0 Mul x6 Mul Pow x0 Add Pow x7 Add Mul Add x0 x0 x0 Pow x0 acosh E -1 Add Pow x7 Add Mul Add x0 x0 x0 Pow x0 acosh E Mul Mul x0 log x0 Mul Pow x7 Add Add Mul Add x0 x0 x0 Pow x0 acosh E -1 Mul Mul x7 log x7 Add Add Mul x0 2 Add x0 x0 Mul Pow x0 Add acosh E -1 acosh E 