Sequencing tactics using metaprogramming

Stream: new members

[Pranav cs22b015]

I wish to use a macro tactic for this sequence of tactics applied in interactive fashion -

dsimp
aesop
all_goals try grind
all_goals try {
  rw [← equal_intro'] at *
  rw [equal_refl'] at *
  aesop
  try grind
}

How do I create an equivalent tactic using metaprogramming? I tried using

syntax tactic " and_then " tactic : tactic

but it wasn't equivalent to the original tactic sequencing

[Aaron Liu]

show us what you tried