acsch Pow cosh Mul sech asech csch x0 acosh x1 Add -3 x0 
Mul Mul -1 Mul Pow cosh Mul sech asech csch x0 acosh x1 Add Add -3 x0 -1 Add Mul Add -3 x0 Mul sinh Mul sech asech csch x0 acosh x1 Mul acosh x1 Mul Mul tanh asech csch x0 Mul -1 sech asech csch x0 Mul Mul Mul -1 coth x0 csch x0 Pow Mul Mul csch x0 csch x0 sqrt Add 1 Mul -1 Pow Mul csch x0 csch x0 -1 -1 Mul cosh Mul sech asech csch x0 acosh x1 log cosh Mul sech asech csch x0 acosh x1 Pow Mul Mul Pow cosh Mul sech asech csch x0 acosh x1 Add -3 x0 Pow cosh Mul sech asech csch x0 acosh x1 Add -3 x0 sqrt Add 1 Mul -1 Pow Mul Pow cosh Mul sech asech csch x0 acosh x1 Add -3 x0 Pow cosh Mul sech asech csch x0 acosh x1 Add -3 x0 -1 -1 