sin4x - 3cos4x = 8sin^2(2x)