Bounds for substituting algebraic functions into D-finite functions