5.40.3 Adding intervals
Intervals are added by adding the left end points and adding the right end points.
Input:
i[1,4] + i[2,3]
Output:
[3.00000000000000..7.00000000000000]