A more elementary solution would be to utilise the identity
[tex]\sin(\frac{\pi}{2} \pm y) = \cos y[/tex]
Since multiple angles are in play here, add 2n*pi to the argument, for integral n.
[tex]\sin(2n\pi + \frac{\pi}{2} \pm y) = \cos y[/tex]
giving [tex]\sin(\frac{1}{2}(4n + 1)\pi \pm y) = \cos y[/tex]
Now substitute that into the cosine expression in the LHS of the orig. equation (y = 4x), remove the sines on both sides, and you have a linear equation to solve. Simply list the multiple solutions in the required range by varying n (n can be zero, positive or negative). Don't have to worry about the plus/minus part too much, since all the solutions with one sign are included when solving for the other, but you need to establish this.