def f (x y) let z (* x y) * (- z x) (- z y)
is awful, especially since they'll automatically group "(* x y) * (- z x)" as an expression. :) But maybe your indentation fixed that.
-----