-sin(x)(2cos(x)+1)=0