(benchmark x
:formula

(and
  a
  b
  (or
    c
    (and
      d
      e
    )
  )
)
)