(benchmark x
:formula

(and a b c)

)