Text this: Quantitative functional calculus in Sobolev spaces