Distilling neural networks into equations to predict planetary instability