* CollectTensors is more verbose while simplifying coefficients.