Add sin Pow csch x0 sinh asinh sqrt acsch x3 x0 
Add Mul cos Pow csch x0 sinh asinh sqrt acsch x3 Mul Pow csch x0 Add sinh asinh sqrt acsch x3 -1 Mul sinh asinh sqrt acsch x3 Mul Mul -1 coth x0 csch x0 1 