coth Add Pow x0 -2 Add x0 atan Add log atanh sin x6 Add sinh x0 1 
Mul Mul -1 Pow csch Add Pow x0 -2 Add x0 atan Add log atanh sin x6 Add sinh x0 1 2 Add Mul Pow x0 3 -2 Add 1 Mul cosh x0 Pow Add 1 Mul Add log atanh sin x6 Add sinh x0 1 Add log atanh sin x6 Add sinh x0 1 -1 