cos(2x+y)=3cosy
cos(x+y+x)=3cos(x+y-x)
cos(x+y)cosx-sin(x+y)sinx=3[cos(x+y)cosx+sin(x+y)sinx]
2cos(x+y)cosx=-4sin(x+y)sinx
[sin(x+y)sinx]/[cos(x+y)cosx]=-1/2
tanx*tan(x+y)=-1/2