[RFC] Differentiable tensor expression (Create and verify backward op automatically)

[junrushao]

CC: @yzhliu the major contributor of this feature