Package-X by default does not want to evaluate the most general cases of C0 and D0, as the expressions turn out to be quite large and complicated, while usually the number of cases where people really need an *analytic* result for that is quite small. Nevertheless, it is of course still possible using X's options Explicit0, C0Expand and D0Expand (for the boxes). With FeynHelpers you can just use