deriv symbolic regexp