Search: cos(x)-cos(x)tan(x)=0 solved over {0,3pi}