any(2,3) * any(a, b, c) => any(any(2,3)*a, any(2,3)*b, any(2,3)*c) => any(any(2*a, 3*a), any(2*b, 3*b), any(2*c, 3*c)) => any(2*a, 3*a, 2*b, 3*b, 2*c, 3*c)