cos(2a+b+c)=cos[a+(a+b+c)]=cos(180°+a)=-cosa
tan(a+b)/4=tan(π-c)/4=-tan(c-π)/4==-tan[π+(c-π)/4]=-tan(3π+c)/4