Symbolic regression driven by training data and prior knowledge