SIR2001: Phase Extension and Refinement for Proteins Via a Partial Structure Based Tangent Formula