Add Add x5 csc coth Pow coth cos x1 x0 x0 
Add Mul Mul Mul -1 cot coth Pow coth cos x1 x0 csc coth Pow coth cos x1 x0 Mul Mul -1 Pow csch Pow coth cos x1 x0 2 Mul Pow coth cos x1 Add x0 -1 Mul coth cos x1 log coth cos x1 1 