(benchmark x
:formula

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