Pow cosh Mul x6 x5 Pow E Add acosh x0 Add acsch x1 x0 
Mul Pow cosh Mul x6 x5 Add Pow E Add acosh x0 Add acsch x1 x0 -1 Mul Mul cosh Mul x6 x5 log cosh Mul x6 x5 Mul Pow E Add Add acosh x0 Add acsch x1 x0 -1 Mul Mul E log E Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 