roots, 374
subexprs, 12907
filtered subexprs, 5779
deduped candidates, 665