for h, x being Real st x + (h / 2) in dom tan & x - (h / 2) in dom tan holds
(cD (((tan (#) tan) (#) cos),h)) . x = ((tan (#) sin) . (x + (h / 2))) - ((tan (#) sin) . (x - (h / 2)))