2cos(x)-x