[
  (builtins.mul 4 9)
  (builtins.mul 0 7)
  (builtins.mul 7 0)
  (builtins.mul 7 2)
  (builtins.mul (builtins.mul 4 0.5) 21)
]