Add Mul coth x0 x1 Add Mul cosh asech Add x0 cosh x0 x5 x0 
Add Mul x1 Mul -1 Pow csch x0 2 Add Mul x5 Mul sinh asech Add x0 cosh x0 Mul Add 1 sinh x0 Pow Mul Mul Add x0 cosh x0 Add x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul Add x0 cosh x0 Add x0 cosh x0 -1 -1 1 