D[x^3 + (1 - x - x^3) HeavisideTheta[x - 1], x]