Quantitative disjointness of nilflows from horospherical flows

We prove a quantitative variant of a disjointness theorem of nilflows from horospherical flows following a technique of Venkatesh, combined with the structural theorems for nilflows by Green, Tao and Ziegler.