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

[junrushao]

Hey @wrongtest,

Thank you for the RFC! Just wondering how it compares with the previous AD RFC ([RFC] Bring in Tensor Expression Autodiff) ?

Thanks!