\sin x + \sin (\frac{\pi}{2} - x) = \sqrt{2}\sin 5x