[elisharobinson]

when reasoning from first principles there is a "log" which you can look back and reflect on which helps to reevaluate either the axioms or inference steps. this is more time consuming.

reasoning by pattern matching is quicker , when you fail you search for new patterns this is useful when the outcome is of low impact.

both are useful tools from my experience.