Pow x0 Mul Mul 4 Pow Pow Pow x0 acosh Pow sqrt acosh x0 x3 Pow E x1 x4 x0 
Mul Pow x0 Add Mul Mul 4 Pow Pow Pow x0 acosh Pow sqrt acosh x0 x3 Pow E x1 x4 x0 -1 Add Mul Mul 4 Pow Pow Pow x0 acosh Pow sqrt acosh x0 x3 Pow E x1 x4 x0 Mul Mul x0 log x0 Add Mul x0 Mul 4 Mul Pow Pow Pow x0 acosh Pow sqrt acosh x0 x3 Pow E x1 Add x4 -1 Mul x4 Mul Pow Pow x0 acosh Pow sqrt acosh x0 x3 Add Pow E x1 -1 Mul Pow E x1 Mul Pow x0 Add acosh Pow sqrt acosh x0 x3 -1 Add acosh Pow sqrt acosh x0 x3 Mul Mul x0 log x0 Mul Mul Pow sqrt acosh x0 Add x3 -1 Mul x3 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add Pow sqrt acosh x0 x3 -1 sqrt Add 1 Pow sqrt acosh x0 x3 -1 Mul 4 Pow Pow Pow x0 acosh Pow sqrt acosh x0 x3 Pow E x1 x4 