What is f(x) = int x-sinx dx if f(pi/3) = -6 ?