2 * (9picofarads - Interval[{0, 7}]picofarads) - (6picofarads + Interval[{3, 5}]picofarads)