symbolic regression benchmark