x-cos(x) = 4-x