Pow Mul Add acosh x0 3 sqrt E Add Add x0 x7 Add Pow 4 x0 x0 
Mul Pow Mul Add acosh x0 3 sqrt E Add Add Add x0 x7 Add Pow 4 x0 x0 -1 Add Mul Add Add x0 x7 Add Pow 4 x0 x0 Mul sqrt E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul Add acosh x0 3 sqrt E log Mul Add acosh x0 3 sqrt E Add 1 Add Mul Pow 4 Add x0 -1 5.38629436111989 1 