Add Pow acsch Add Pow cosh x0 E x0 2 cot x0 
Add Mul acsch Add Pow cosh x0 E x0 Mul 2 Mul Mul -1 Add Mul Pow cosh x0 Add E -1 Mul E sinh x0 1 Pow Mul Mul Add Pow cosh x0 E x0 Add Pow cosh x0 E x0 sqrt Add 1 Mul -1 Pow Mul Add Pow cosh x0 E x0 Add Pow cosh x0 E x0 -1 -1 Mul -1 Pow csc x0 2 