[DRAFT] fix: TDim simplify(), multiplication distribution: a*(b+c) to a*b+a*c

[DRAFT] fix: TDim simplify(), multiplication distribution: a*(b+c) to a*b+a*c #6132