SOLVED:The number of distinct real roots of | sin x cos x cos x cos x ...