let product_1 = phi (function x, y -> x *. y)