\sin x + \cos x = \sqrt{2}\sin 5x