product = 42
The compiled rule multiplies :x and :y using math:product.
C1 OK - product was derived from the input facts.