integral[delta(2 t-tan(t)),{t,0,pi/2}]