I wonder how much of this intuition can be formalized, if, say, the number of deduction steps from a theorem to another can be provably reliably approximated be

I wonder how much of this intuition can be formalized, if, say, the number of deduction steps from a theorem to another can be provably reliably approximated before attempting its proof. https://math.stackexchange.com/questions/3299096/resource-metalogic-proving-that-a-theorem-can-not-be-deduced-from-given-axiom https://math.stackexchange.com/questions/3299096/resource-me... https://math.stackexchange.com/questions/3477810/estimating-meta-mathematical-properties-of-conjectures https://math.stackexchange.com/questions/3477810/estimating-...