How do you solve: sin x = 5 cos x?