s-values of a leftist tree rename

TID(s):

Controller: 2.605s

Template: 0.041s

Cost: br=1.0, cc=2.067, ch=0.0, cm=0.0, cm+h=0.0, cr=0.0, cs=37.0, cw=25.0, dr=24985.0, dt=4.192, dw=0.0, gqr=0.0, in=19743.0, ir=1523.0, iw=0.0, lh=0.0, lm=3.0, lr=3.0, mcs=0.0, mcu=0.461, minflt=345.0, mr=25.0, nivcsw=400.0, nreqs=46.0, nvcsw=169.0, pf=0.0, pr=0.0, stime=0.052, te=0.93, tf=2.061, tg=1.958, tm=2.465, tr=0.155, ts=0.0, tu=0.136, utime=2.015, va=67064.0