[
  (builtins.add 7 11)
  (builtins.add 7.9 11)
  (builtins.add 7 11.9)
  (builtins.add 7.2 11.9)
  (builtins.add 7.1 11.9)
]