One issue is the afformention reuse of intervals, another is
floating point arithmetic. In order to solve the problem of making
all expressions maximally precise, we would need to make a package that can
take a given arithmetic expression and minimize it. This is
probaly very hard but not impossible.