Scaling Symbolic Methods using Gradients for Neural Model Explanation