There is no exact method to determine whether it is better to write a constrained expression using a factored or canonical form in order for the domains to be maximally reduced. Consequently, if you face a problem where this issue is important, you should experiment with both factored and canonical forms of constrained expressions to see which gives better domain reduction for your particular problem. The following sections demonstrate this concept.