let
sum_1 = phi (
function
x, y
->
x +. y)