Text this: Extended Cartan homotopy formula for higher Chern-Simons-Antoniadis-Savvidy theory