(sin x * cos x)'