Re: [firedrake] CPU time for hessian computation