[firedrake] optimisation of the running time