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