integrate from 0 to pi/2 (floor tan x)