Parameterized bounded-depth Frege is not optimal