diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt
index 38770817..aa8aea4a 100644
--- a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt
+++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt
@@ -1,13 +1,16 @@
 #;
 (
-TR opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- binary float
-TR missed opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 24:3 (* 3/4 2/3)
-TR opt: precision-loss.rkt 26:0 (+ 3/4 2.0) -- binary float
-TR opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- binary float
-TR missed opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 28:3 (- 3/4)
-TR opt: precision-loss.rkt 30:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float
-TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- exact ops inside float expr -- caused by: 36:8 (* 3/4 2/3)
-TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- all args float-arg-expr, result not Float -- caused by: 36:11 3/4, 36:15 2/3 (2 times)
+TR opt: precision-loss.rkt 27:0 (+ (* 3/4 2/3) 2.0) -- binary float
+TR missed opt: precision-loss.rkt 27:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 27:3 (* 3/4 2/3)
+TR opt: precision-loss.rkt 29:0 (+ 3/4 2.0) -- binary float
+TR opt: precision-loss.rkt 31:0 (+ (- 3/4) 2.0) -- binary float
+TR missed opt: precision-loss.rkt 31:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 31:3 (- 3/4)
+TR opt: precision-loss.rkt 33:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float
+TR missed opt: precision-loss.rkt 39:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- exact ops inside float expr -- caused by: 39:8 (* 3/4 2/3)
+TR missed opt: precision-loss.rkt 39:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 39:11 3/4, 39:15 2/3, 40:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) (2 times)
+TR opt: precision-loss.rkt 40:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair
+TR missed opt: precision-loss.rkt 40:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact ops inside float expr -- caused by: 40:26 (* 3/4 2/3)
+TR missed opt: precision-loss.rkt 40:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 40:29 3/4, 40:33 2/3 (2 times)
 2.5
 2.75
 1.25
@@ -34,4 +37,5 @@ TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- all arg
 ;; however, given that the return _value_ will be a float, the precision
 ;; is thrown away nonetheless, so a warning is warranted
 (* (ann (* 3/4 2/3) Real)
+   (car (list (* 2.0 (ann (* 3/4 2/3) Real))))
    2.0)