Proof for Peak Time for an Underdamped Second-Order System
The inverse tangent is cancelled by the phase shift angle. To see it you should present EVERY term as expressions of the natural frequency and the damping factor. The basic 2nd order low-pass system doesn't have other parameters.