Add csch x0 Add csch Add acosh x7 x0 Pow Mul tanh x0 -2 pi 
Add Mul Mul -1 coth x0 csch x0 Add Mul Mul -1 coth Add acosh x7 x0 csch Add acosh x7 x0 Mul Pow Mul tanh x0 -2 Add pi -1 Mul pi Mul -2 Pow sech x0 2 