jordigh on Why doesn't GCC optimize a*a*a*a*a*a to (a*a*a)*(a*a*a)? (2013) · Hackerly

Comment on Why doesn't GCC optimize a*a*a*a*a*a to (a*a*a)*(a*a*a)? (2013)parent

That exists and is called interval arithmetic:

https://en.wikipedia.org/wiki/Interval_analysis