simp_all vs 'thorough' rw

Stream: new members

[V S]

Hello! This is probably a very noob question, however I wasn't able to find the answer easily.
Say I have a theorem with several hypotheses h0, ..., hn. Does simp_all behave similarly to 'take all hypotheses and rw them (both hi and <-hi) as many times as you can without cancelling whatever rw you just did by doing try rw [hi] and, on the next line, try rw [<- hi]? If not, which one is more powerful (meaning does one tactic simplify the proof state better) and is there a specific tactic for doing something similar to what I've described, but smarter to avoid checking earlier hypotheses?

[Aaron Liu]

it doesn't rewrite backwards

[V S]

Aaron Liu said:

it doesn't rewrite backwards

so technically I can add 'backwards' hypotheses and simp_all will work even better?

[Aaron Liu]

it will probably loop then