Quantitative functional calculus in Sobolev spaces