simplify cos(a+b) cos(a+c)