"Plug-it-in" is simply jargon for what would more properly be called substitution and reduction. One would use the exact same sort of reasoning when doing "proper" math proofs, so I think your attitude might be a bit misguided - there's no "magic" involved.