Add E Pow atanh cosh x0 Add csch Pow exp x0 x1 1 
Mul Pow atanh cosh x0 Add Add csch Pow exp x0 x1 1 -1 Add Mul Add csch Pow exp x0 x1 1 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul Mul atanh cosh x0 log atanh cosh x0 Mul Mul Mul -1 coth Pow exp x0 x1 csch Pow exp x0 x1 Mul Pow exp x0 Add x1 -1 Mul x1 exp x0 