I'd say thinking is the union type of under and overthinking. The approximation error he makes is a limit of our language. I propose to coin the word opti-thinking to fill the semantic gap.