Symbolic regression based prediction of anisotropic closure in deep tunnels | Synapse