It's a mild inconvenience that gabphasederiv does not play nice with dgtreal.

I'll provide a variant that works for dgtreal whenever I have the time to write it.