change benchmark logging to use s-exps