Mul 4 acosh Mul Pow sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 x0 x0 
Mul 4 Mul Add Mul x0 Mul Pow sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 -1 Add Mul Mul Pow x0 Add Pow x0 x6 -1 Add Pow x0 x6 Mul Mul x0 log x0 Mul Pow x0 Add x6 -1 x6 Pow Mul sqrt Add Pow x0 Pow x0 x6 -1 sqrt Add 1 Pow x0 Pow x0 x6 -1 sinh x0 Mul sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 log sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 Pow sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 x0 Pow Mul sqrt Add Mul Pow sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 x0 x0 -1 sqrt Add 1 Mul Pow sqrt Add acosh Pow x0 Pow x0 x6 cosh x0 x0 x0 -1 