MathCheck Simplification Problem 2 / 6

Simplify `4 sin x cos x - sin 4x`.

or

This file was generated 2017-07-16 02:29:39 UTC.