Pow Add Pow Mul x4 acsch x4 E x0 atanh Mul Pow cosh x0 x0 Mul E acsch x5 
Mul Pow Add Pow Mul x4 acsch x4 E x0 Add atanh Mul Pow cosh x0 x0 Mul E acsch x5 -1 Add atanh Mul Pow cosh x0 x0 Mul E acsch x5 Mul Mul Add Pow Mul x4 acsch x4 E x0 log Add Pow Mul x4 acsch x4 E x0 Mul Mul Mul E acsch x5 Mul Pow cosh x0 Add x0 -1 Add Mul x0 sinh x0 Mul cosh x0 log cosh x0 Pow Add 1 Mul -1 Mul Mul Pow cosh x0 x0 Mul E acsch x5 Mul Pow cosh x0 x0 Mul E acsch x5 -1 