(benchmark x
:formula

(distinct a b)

)