If you supply the true Jacobian (i.e., not an approximation) the performance in both cases should be near identical. There to be some difference if the UFL/FFC optimisation are more able to work with one expression than another, but I would expect any different to be small.
A typical example of where you will want to supply your own Jacobian is where you want to use an approximate linearisation.
