Power grid simulation via efficient sampling-based sensitivity analysis and hierarchical symbolic relaxation