let poly ( * ) a =
  fun x y -> (x * y +. 1.0) ** a