[
  (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)
  (builtins.add (builtins.add 21 10) 11)
]