“…For example, in the first diagram of Figure 3, ℓ a = x 1 − x a ≡ x 1a and the ansatz for the numerator N m 1 is a polynomial of proper distances x 2 ij . Moreover, due to the good UV behavior of the form factor, we can impose the following powercounting constraints on the ansatz: a one-loop n-point sub-graph carries no more than n − 4 powers of the corresponding loop momentum [26], with an exception that if the sub-graph is a one-loop form factor, the maximal power is n − 3 [42], see also [45] for details. As an example, for the first master in Figure 3, monomials like (x 2 ij ) 2 (x 2 ai ) 2 (x 2 dj ) and (x 2 ij ) 3 (x 2 ad )(x 2 aj ), i, j = 1, 2, 3, 4, should be considered, while x b and x c are not allowed to appear.…”