ll@r,@k; rrep(i,1,k+1){ wt(sin(bsearch_min[double,t,-PI/2,PI/2](PI/2-t-sin(t)*cos(t)