cos(x+\frac{\pi}{9})\cdot cos\frac{\pi}{18} =(cos x)\cdot cos(x+\frac{\pi}{18})