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