Integration of Data and Theory for Accelerated Derivable Symbolic Discovery