No optimizations indicated 

With 8.5.0.8, this program:

```
#lang typed/racket

(: radians->chlen (-> Flonum Flonum))
(define (radians->chlen r)
  (* 2.0 (sin (* 0.5 (min pi r)))))
```

reports "Nothing to report" but the macro stepper shows that optimizations are happening.