solve for x: 8sin x=4cos^2 x