Comment on Why a*a*a*a*a*a cannot be optimized to (a*a*a)*(a*a*a)?parentComments−pnathan15yDavid Buehler's mixed-point computations can do that, I believe.
Comments
David Buehler's mixed-point computations can do that, I believe.