This is a "In order for me to explain this I have to test it, but in order to test this I have to explain it" situation
It is common in the spectral element community to use Gauss-Lobatto quadrature and shape functions defined
at the same Guass-Lobatto points (no more). Since the integration is going to be inexact, aliasing errors are introduced
and the descrte integral evaluations for the product rule are no longer equivalent (I guess?).
The split form for advection is used to remove aliasing errors in such a scenario.
It is also the defacto to write discrete derivatives as matrix operators there.
You can see: Split form nodal discontinuous Galerkin schemes with
summation-by-parts property for the compressible Euler
equations
Or remark 3.7 in: Analysis of the SBP-SAT Stabilization for Finite Element
Methods Part I: Linear Problems.
I am probably missing something here so I'll be back if I figure this out.
Asking if I can query for shape_grad(f*phi, point) was more of a shot in the dark.
Thanks for the input as well
Abbas