theorem :: DIFF_4:11

for h, x being Real st x in dom cosec & x + h in dom cosec holds
(fD ((cosec (#) cosec),h)) . x = - (((4 * (sin ((2 * x) + h))) * (sin h)) / (((cos ((2 * x) + h)) - (cos h)) ^2))