(declare (usual-integrations))

(let ()
  (define (escaping-operation-3 the-closure-1142390
                                the-closure-1143223
                                the-closure-1143224
                                the-closure-1143225
                                the-closure-1143226
                                the-closure-1143227
                                the-closure-1143228
                                the-closure-1143229
                                the-closure-1143230
                                the-closure-1143231
                                the-closure-1143232
                                the-closure-1143233
                                the-closure-1143234
                                the-closure-1143235
                                the-closure-1143236
                                the-closure-1143237
                                the-closure-1144167)
    (lambda (external-formal)
      (let ((anf-1057825
             (flo:*
              -1.
              (flo:* the-closure-1144167
                     (flo:* the-closure-1143224 the-closure-1143231)))))
        (let ((anf-1062147
               (flo:+ the-closure-1143232 (flo:* -1. the-closure-1143225))))
          (let ((anf-1062500
                 (flo:+ the-closure-1143233 (flo:* -1. the-closure-1143226))))
            (let ((anf-1062813
                   (flo:+ the-closure-1143234
                          (flo:* -1. the-closure-1143227))))
              (let ((anf-1060911 (flo:* anf-1062147 -1.)))
                (let ((anf-1058511
                       (flo:sqrt
                        (flo:+
                         (flo:* anf-1062147 anf-1062147)
                         (flo:+ (flo:* anf-1062500 anf-1062500)
                                (flo:* anf-1062813 anf-1062813))))))
                  (let ((anf-1058751 (flo:/ 1. (flo:* 2. anf-1058511))))
                    (let ((anf-1057158
                           (flo:*
                            -1.
                            (flo:/ anf-1057825
                                   (flo:* anf-1058511 anf-1058511)))))
                      (let ((anf-1071638 (flo:* anf-1062500 -1.)))
                        (let ((anf-1082704 (flo:* anf-1062813 -1.)))
                          (let ((anf-1043895
                                 (flo:* external-formal the-closure-1143228)))
                            (let ((anf-1044203
                                   (flo:* external-formal
                                          the-closure-1143229)))
                              (let ((anf-1044511
                                     (flo:* external-formal
                                            the-closure-1143230)))
                                (let ((anf-1045746
                                       (flo:*
                                        external-formal
                                        (flo:/
                                         (flo:*
                                          anf-1057158
                                          (flo:*
                                           anf-1058751
                                           (flo:+ anf-1060911 anf-1060911)))
                                         the-closure-1143224))))
                                  (let ((anf-1046054
                                         (flo:*
                                          external-formal
                                          (flo:/
                                           (flo:*
                                            anf-1057158
                                            (flo:*
                                             anf-1058751
                                             (flo:+ anf-1071638 anf-1071638)))
                                           the-closure-1143224))))
                                    (let ((anf-1046362
                                           (flo:*
                                            external-formal
                                            (flo:/
                                             (flo:*
                                              anf-1057158
                                              (flo:*
                                               anf-1058751
                                               (flo:+ anf-1082704
                                                      anf-1082704)))
                                             the-closure-1143224))))
                                      (let ((anf-1048828
                                             (flo:* external-formal
                                                    the-closure-1143235)))
                                        (let ((anf-1049136
                                               (flo:* external-formal
                                                      the-closure-1143236)))
                                          (let ((anf-1049444
                                                 (flo:* external-formal
                                                        the-closure-1143237)))
                                            (let ((anf-1050679
                                                   (flo:*
                                                    external-formal
                                                    (flo:/
                                                     (flo:*
                                                      anf-1057158
                                                      (flo:*
                                                       anf-1058751
                                                       (flo:+ anf-1062147
                                                              anf-1062147)))
                                                     the-closure-1143231))))
                                              (let ((anf-1050987
                                                     (flo:*
                                                      external-formal
                                                      (flo:/
                                                       (flo:*
                                                        anf-1057158
                                                        (flo:*
                                                         anf-1058751
                                                         (flo:+ anf-1062500
                                                                anf-1062500)))
                                                       the-closure-1143231))))
                                                (let ((anf-1051295
                                                       (flo:*
                                                        external-formal
                                                        (flo:/
                                                         (flo:*
                                                          anf-1057158
                                                          (flo:*
                                                           anf-1058751
                                                           (flo:+
                                                            anf-1062813
                                                            anf-1062813)))
                                                         the-closure-1143231))))
                                                  (let ((anf-964521
                                                         (flo:+
                                                          (flo:+
                                                           the-closure-1143232
                                                           (flo:*
                                                            .5
                                                            anf-1048828))
                                                          (flo:*
                                                           -1.
                                                           (flo:+
                                                            the-closure-1143225
                                                            (flo:*
                                                             .5
                                                             anf-1043895))))))
                                                    (let ((anf-964874
                                                           (flo:+
                                                            (flo:+
                                                             the-closure-1143233
                                                             (flo:*
                                                              .5
                                                              anf-1049136))
                                                            (flo:*
                                                             -1.
                                                             (flo:+
                                                              the-closure-1143226
                                                              (flo:*
                                                               .5
                                                               anf-1044203))))))
                                                      (let ((anf-965187
                                                             (flo:+
                                                              (flo:+
                                                               the-closure-1143234
                                                               (flo:*
                                                                .5
                                                                anf-1049444))
                                                              (flo:*
                                                               -1.
                                                               (flo:+
                                                                the-closure-1143227
                                                                (flo:*
                                                                 .5
                                                                 anf-1044511))))))
                                                        (let ((anf-963285
                                                               (flo:*
                                                                anf-964521
                                                                -1.)))
                                                          (let ((anf-960885
                                                                 (flo:sqrt
                                                                  (flo:+
                                                                   (flo:*
                                                                    anf-964521
                                                                    anf-964521)
                                                                   (flo:+
                                                                    (flo:*
                                                                     anf-964874
                                                                     anf-964874)
                                                                    (flo:*
                                                                     anf-965187
                                                                     anf-965187))))))
                                                            (let ((anf-961125
                                                                   (flo:/
                                                                    1.
                                                                    (flo:*
                                                                     2.
                                                                     anf-960885))))
                                                              (let ((anf-959532
                                                                     (flo:*
                                                                      -1.
                                                                      (flo:/
                                                                       anf-1057825
                                                                       (flo:*
                                                                        anf-960885
                                                                        anf-960885)))))
                                                                (let ((anf-974012
                                                                       (flo:*
                                                                        anf-964874
                                                                        -1.)))
                                                                  (let ((anf-985078
                                                                         (flo:*
                                                                          anf-965187
                                                                          -1.)))
                                                                    (let ((anf-946269
                                                                           (flo:*
                                                                            external-formal
                                                                            (flo:+
                                                                             the-closure-1143228
                                                                             (flo:*
                                                                              .5
                                                                              anf-1045746)))))
                                                                      (let ((anf-946577
                                                                             (flo:*
                                                                              external-formal
                                                                              (flo:+
                                                                               the-closure-1143229
                                                                               (flo:*
                                                                                .5
                                                                                anf-1046054)))))
                                                                        (let ((anf-946885
                                                                               (flo:*
                                                                                external-formal
                                                                                (flo:+
                                                                                 the-closure-1143230
                                                                                 (flo:*
                                                                                  .5
                                                                                  anf-1046362)))))
                                                                          (let ((anf-948120
                                                                                 (flo:*
                                                                                  external-formal
                                                                                  (flo:/
                                                                                   (flo:*
                                                                                    anf-959532
                                                                                    (flo:*
                                                                                     anf-961125
                                                                                     (flo:+
                                                                                      anf-963285
                                                                                      anf-963285)))
                                                                                   the-closure-1143224))))
                                                                            (let ((anf-948428
                                                                                   (flo:*
                                                                                    external-formal
                                                                                    (flo:/
                                                                                     (flo:*
                                                                                      anf-959532
                                                                                      (flo:*
                                                                                       anf-961125
                                                                                       (flo:+
                                                                                        anf-974012
                                                                                        anf-974012)))
                                                                                     the-closure-1143224))))
                                                                              (let ((anf-948736
                                                                                     (flo:*
                                                                                      external-formal
                                                                                      (flo:/
                                                                                       (flo:*
                                                                                        anf-959532
                                                                                        (flo:*
                                                                                         anf-961125
                                                                                         (flo:+
                                                                                          anf-985078
                                                                                          anf-985078)))
                                                                                       the-closure-1143224))))
                                                                                (let ((anf-951202
                                                                                       (flo:*
                                                                                        external-formal
                                                                                        (flo:+
                                                                                         the-closure-1143235
                                                                                         (flo:*
                                                                                          .5
                                                                                          anf-1050679)))))
                                                                                  (let ((anf-951510
                                                                                         (flo:*
                                                                                          external-formal
                                                                                          (flo:+
                                                                                           the-closure-1143236
                                                                                           (flo:*
                                                                                            .5
                                                                                            anf-1050987)))))
                                                                                    (let ((anf-951818
                                                                                           (flo:*
                                                                                            external-formal
                                                                                            (flo:+
                                                                                             the-closure-1143237
                                                                                             (flo:*
                                                                                              .5
                                                                                              anf-1051295)))))
                                                                                      (let ((anf-953053
                                                                                             (flo:*
                                                                                              external-formal
                                                                                              (flo:/
                                                                                               (flo:*
                                                                                                anf-959532
                                                                                                (flo:*
                                                                                                 anf-961125
                                                                                                 (flo:+
                                                                                                  anf-964521
                                                                                                  anf-964521)))
                                                                                               the-closure-1143231))))
                                                                                        (let ((anf-953361
                                                                                               (flo:*
                                                                                                external-formal
                                                                                                (flo:/
                                                                                                 (flo:*
                                                                                                  anf-959532
                                                                                                  (flo:*
                                                                                                   anf-961125
                                                                                                   (flo:+
                                                                                                    anf-964874
                                                                                                    anf-964874)))
                                                                                                 the-closure-1143231))))
                                                                                          (let ((anf-953669
                                                                                                 (flo:*
                                                                                                  external-formal
                                                                                                  (flo:/
                                                                                                   (flo:*
                                                                                                    anf-959532
                                                                                                    (flo:*
                                                                                                     anf-961125
                                                                                                     (flo:+
                                                                                                      anf-965187
                                                                                                      anf-965187)))
                                                                                                   the-closure-1143231))))
                                                                                            (let ((anf-844737
                                                                                                   (flo:+
                                                                                                    (flo:+
                                                                                                     the-closure-1143232
                                                                                                     (flo:*
                                                                                                      .5
                                                                                                      anf-951202))
                                                                                                    (flo:*
                                                                                                     -1.
                                                                                                     (flo:+
                                                                                                      the-closure-1143225
                                                                                                      (flo:*
                                                                                                       .5
                                                                                                       anf-946269))))))
                                                                                              (let ((anf-845090
                                                                                                     (flo:+
                                                                                                      (flo:+
                                                                                                       the-closure-1143233
                                                                                                       (flo:*
                                                                                                        .5
                                                                                                        anf-951510))
                                                                                                      (flo:*
                                                                                                       -1.
                                                                                                       (flo:+
                                                                                                        the-closure-1143226
                                                                                                        (flo:*
                                                                                                         .5
                                                                                                         anf-946577))))))
                                                                                                (let ((anf-845403
                                                                                                       (flo:+
                                                                                                        (flo:+
                                                                                                         the-closure-1143234
                                                                                                         (flo:*
                                                                                                          .5
                                                                                                          anf-951818))
                                                                                                        (flo:*
                                                                                                         -1.
                                                                                                         (flo:+
                                                                                                          the-closure-1143227
                                                                                                          (flo:*
                                                                                                           .5
                                                                                                           anf-946885))))))
                                                                                                  (let ((anf-843501
                                                                                                         (flo:*
                                                                                                          anf-844737
                                                                                                          -1.)))
                                                                                                    (let ((anf-841101
                                                                                                           (flo:sqrt
                                                                                                            (flo:+
                                                                                                             (flo:*
                                                                                                              anf-844737
                                                                                                              anf-844737)
                                                                                                             (flo:+
                                                                                                              (flo:*
                                                                                                               anf-845090
                                                                                                               anf-845090)
                                                                                                              (flo:*
                                                                                                               anf-845403
                                                                                                               anf-845403))))))
                                                                                                      (let ((anf-841341
                                                                                                             (flo:/
                                                                                                              1.
                                                                                                              (flo:*
                                                                                                               2.
                                                                                                               anf-841101))))
                                                                                                        (let ((anf-839748
                                                                                                               (flo:*
                                                                                                                -1.
                                                                                                                (flo:/
                                                                                                                 anf-1057825
                                                                                                                 (flo:*
                                                                                                                  anf-841101
                                                                                                                  anf-841101)))))
                                                                                                          (let ((anf-854228
                                                                                                                 (flo:*
                                                                                                                  anf-845090
                                                                                                                  -1.)))
                                                                                                            (let ((anf-865294
                                                                                                                   (flo:*
                                                                                                                    anf-845403
                                                                                                                    -1.)))
                                                                                                              (let ((anf-826485
                                                                                                                     (flo:*
                                                                                                                      external-formal
                                                                                                                      (flo:+
                                                                                                                       the-closure-1143228
                                                                                                                       (flo:*
                                                                                                                        .5
                                                                                                                        anf-948120)))))
                                                                                                                (let ((anf-826793
                                                                                                                       (flo:*
                                                                                                                        external-formal
                                                                                                                        (flo:+
                                                                                                                         the-closure-1143229
                                                                                                                         (flo:*
                                                                                                                          .5
                                                                                                                          anf-948428)))))
                                                                                                                  (let ((anf-827101
                                                                                                                         (flo:*
                                                                                                                          external-formal
                                                                                                                          (flo:+
                                                                                                                           the-closure-1143230
                                                                                                                           (flo:*
                                                                                                                            .5
                                                                                                                            anf-948736)))))
                                                                                                                    (let ((anf-828336
                                                                                                                           (flo:*
                                                                                                                            external-formal
                                                                                                                            (flo:/
                                                                                                                             (flo:*
                                                                                                                              anf-839748
                                                                                                                              (flo:*
                                                                                                                               anf-841341
                                                                                                                               (flo:+
                                                                                                                                anf-843501
                                                                                                                                anf-843501)))
                                                                                                                             the-closure-1143224))))
                                                                                                                      (let ((anf-828644
                                                                                                                             (flo:*
                                                                                                                              external-formal
                                                                                                                              (flo:/
                                                                                                                               (flo:*
                                                                                                                                anf-839748
                                                                                                                                (flo:*
                                                                                                                                 anf-841341
                                                                                                                                 (flo:+
                                                                                                                                  anf-854228
                                                                                                                                  anf-854228)))
                                                                                                                               the-closure-1143224))))
                                                                                                                        (let ((anf-828952
                                                                                                                               (flo:*
                                                                                                                                external-formal
                                                                                                                                (flo:/
                                                                                                                                 (flo:*
                                                                                                                                  anf-839748
                                                                                                                                  (flo:*
                                                                                                                                   anf-841341
                                                                                                                                   (flo:+
                                                                                                                                    anf-865294
                                                                                                                                    anf-865294)))
                                                                                                                                 the-closure-1143224))))
                                                                                                                          (let ((anf-831418
                                                                                                                                 (flo:*
                                                                                                                                  external-formal
                                                                                                                                  (flo:+
                                                                                                                                   the-closure-1143235
                                                                                                                                   (flo:*
                                                                                                                                    .5
                                                                                                                                    anf-953053)))))
                                                                                                                            (let ((anf-831726
                                                                                                                                   (flo:*
                                                                                                                                    external-formal
                                                                                                                                    (flo:+
                                                                                                                                     the-closure-1143236
                                                                                                                                     (flo:*
                                                                                                                                      .5
                                                                                                                                      anf-953361)))))
                                                                                                                              (let ((anf-832034
                                                                                                                                     (flo:*
                                                                                                                                      external-formal
                                                                                                                                      (flo:+
                                                                                                                                       the-closure-1143237
                                                                                                                                       (flo:*
                                                                                                                                        .5
                                                                                                                                        anf-953669)))))
                                                                                                                                (let ((anf-833269
                                                                                                                                       (flo:*
                                                                                                                                        external-formal
                                                                                                                                        (flo:/
                                                                                                                                         (flo:*
                                                                                                                                          anf-839748
                                                                                                                                          (flo:*
                                                                                                                                           anf-841341
                                                                                                                                           (flo:+
                                                                                                                                            anf-844737
                                                                                                                                            anf-844737)))
                                                                                                                                         the-closure-1143231))))
                                                                                                                                  (let ((anf-833577
                                                                                                                                         (flo:*
                                                                                                                                          external-formal
                                                                                                                                          (flo:/
                                                                                                                                           (flo:*
                                                                                                                                            anf-839748
                                                                                                                                            (flo:*
                                                                                                                                             anf-841341
                                                                                                                                             (flo:+
                                                                                                                                              anf-845090
                                                                                                                                              anf-845090)))
                                                                                                                                           the-closure-1143231))))
                                                                                                                                    (let ((anf-833885
                                                                                                                                           (flo:*
                                                                                                                                            external-formal
                                                                                                                                            (flo:/
                                                                                                                                             (flo:*
                                                                                                                                              anf-839748
                                                                                                                                              (flo:*
                                                                                                                                               anf-841341
                                                                                                                                               (flo:+
                                                                                                                                                anf-845403
                                                                                                                                                anf-845403)))
                                                                                                                                             the-closure-1143231))))
                                                                                                                                      (let ((anf-702801
                                                                                                                                             (flo:+
                                                                                                                                              (flo:+
                                                                                                                                               the-closure-1143232
                                                                                                                                               anf-831418)
                                                                                                                                              (flo:*
                                                                                                                                               -1.
                                                                                                                                               (flo:+
                                                                                                                                                the-closure-1143225
                                                                                                                                                anf-826485)))))
                                                                                                                                        (let ((anf-703154
                                                                                                                                               (flo:+
                                                                                                                                                (flo:+
                                                                                                                                                 the-closure-1143233
                                                                                                                                                 anf-831726)
                                                                                                                                                (flo:*
                                                                                                                                                 -1.
                                                                                                                                                 (flo:+
                                                                                                                                                  the-closure-1143226
                                                                                                                                                  anf-826793)))))
                                                                                                                                          (let ((anf-703467
                                                                                                                                                 (flo:+
                                                                                                                                                  (flo:+
                                                                                                                                                   the-closure-1143234
                                                                                                                                                   anf-832034)
                                                                                                                                                  (flo:*
                                                                                                                                                   -1.
                                                                                                                                                   (flo:+
                                                                                                                                                    the-closure-1143227
                                                                                                                                                    anf-827101)))))
                                                                                                                                            (let ((anf-701565
                                                                                                                                                   (flo:*
                                                                                                                                                    anf-702801
                                                                                                                                                    -1.)))
                                                                                                                                              (let ((anf-699165
                                                                                                                                                     (flo:sqrt
                                                                                                                                                      (flo:+
                                                                                                                                                       (flo:*
                                                                                                                                                        anf-702801
                                                                                                                                                        anf-702801)
                                                                                                                                                       (flo:+
                                                                                                                                                        (flo:*
                                                                                                                                                         anf-703154
                                                                                                                                                         anf-703154)
                                                                                                                                                        (flo:*
                                                                                                                                                         anf-703467
                                                                                                                                                         anf-703467))))))
                                                                                                                                                (let ((anf-699405
                                                                                                                                                       (flo:/
                                                                                                                                                        1.
                                                                                                                                                        (flo:*
                                                                                                                                                         2.
                                                                                                                                                         anf-699165))))
                                                                                                                                                  (let ((anf-697812
                                                                                                                                                         (flo:*
                                                                                                                                                          -1.
                                                                                                                                                          (flo:/
                                                                                                                                                           anf-1057825
                                                                                                                                                           (flo:*
                                                                                                                                                            anf-699165
                                                                                                                                                            anf-699165)))))
                                                                                                                                                    (let ((anf-712292
                                                                                                                                                           (flo:*
                                                                                                                                                            anf-703154
                                                                                                                                                            -1.)))
                                                                                                                                                      (let ((anf-723358
                                                                                                                                                             (flo:*
                                                                                                                                                              anf-703467
                                                                                                                                                              -1.)))
                                                                                                                                                        (let ((anf-640665
                                                                                                                                                               (flo:*
                                                                                                                                                                .16666666666666666
                                                                                                                                                                external-formal)))
                                                                                                                                                          (let ((anf-651470
                                                                                                                                                                 (flo:*
                                                                                                                                                                  .3333333333333333
                                                                                                                                                                  external-formal)))
                                                                                                                                                            (let ((anf-595061
                                                                                                                                                                   (flo:+
                                                                                                                                                                    the-closure-1143223
                                                                                                                                                                    (flo:+
                                                                                                                                                                     anf-640665
                                                                                                                                                                     (flo:+
                                                                                                                                                                      anf-651470
                                                                                                                                                                      (flo:+
                                                                                                                                                                       anf-651470
                                                                                                                                                                       anf-640665))))))
                                                                                                                                                              (let ((anf-595691
                                                                                                                                                                     (flo:+
                                                                                                                                                                      the-closure-1143225
                                                                                                                                                                      (flo:+
                                                                                                                                                                       (flo:*
                                                                                                                                                                        .16666666666666666
                                                                                                                                                                        (flo:*
                                                                                                                                                                         external-formal
                                                                                                                                                                         (flo:+
                                                                                                                                                                          the-closure-1143228
                                                                                                                                                                          anf-828336)))
                                                                                                                                                                       (flo:+
                                                                                                                                                                        (flo:*
                                                                                                                                                                         .3333333333333333
                                                                                                                                                                         anf-826485)
                                                                                                                                                                        (flo:+
                                                                                                                                                                         (flo:*
                                                                                                                                                                          .3333333333333333
                                                                                                                                                                          anf-946269)
                                                                                                                                                                         (flo:*
                                                                                                                                                                          .16666666666666666
                                                                                                                                                                          anf-1043895)))))))
                                                                                                                                                                (let ((anf-596004
                                                                                                                                                                       (flo:+
                                                                                                                                                                        the-closure-1143226
                                                                                                                                                                        (flo:+
                                                                                                                                                                         (flo:*
                                                                                                                                                                          .16666666666666666
                                                                                                                                                                          (flo:*
                                                                                                                                                                           external-formal
                                                                                                                                                                           (flo:+
                                                                                                                                                                            the-closure-1143229
                                                                                                                                                                            anf-828644)))
                                                                                                                                                                         (flo:+
                                                                                                                                                                          (flo:*
                                                                                                                                                                           .3333333333333333
                                                                                                                                                                           anf-826793)
                                                                                                                                                                          (flo:+
                                                                                                                                                                           (flo:*
                                                                                                                                                                            .3333333333333333
                                                                                                                                                                            anf-946577)
                                                                                                                                                                           (flo:*
                                                                                                                                                                            .16666666666666666
                                                                                                                                                                            anf-1044203)))))))
                                                                                                                                                                  (let ((anf-596317
                                                                                                                                                                         (flo:+
                                                                                                                                                                          the-closure-1143227
                                                                                                                                                                          (flo:+
                                                                                                                                                                           (flo:*
                                                                                                                                                                            .16666666666666666
                                                                                                                                                                            (flo:*
                                                                                                                                                                             external-formal
                                                                                                                                                                             (flo:+
                                                                                                                                                                              the-closure-1143230
                                                                                                                                                                              anf-828952)))
                                                                                                                                                                           (flo:+
                                                                                                                                                                            (flo:*
                                                                                                                                                                             .3333333333333333
                                                                                                                                                                             anf-827101)
                                                                                                                                                                            (flo:+
                                                                                                                                                                             (flo:*
                                                                                                                                                                              .3333333333333333
                                                                                                                                                                              anf-946885)
                                                                                                                                                                             (flo:*
                                                                                                                                                                              .16666666666666666
                                                                                                                                                                              anf-1044511)))))))
                                                                                                                                                                    (let ((anf-597590
                                                                                                                                                                           (flo:+
                                                                                                                                                                            the-closure-1143228
                                                                                                                                                                            (flo:+
                                                                                                                                                                             (flo:*
                                                                                                                                                                              .16666666666666666
                                                                                                                                                                              (flo:*
                                                                                                                                                                               external-formal
                                                                                                                                                                               (flo:/
                                                                                                                                                                                (flo:*
                                                                                                                                                                                 anf-697812
                                                                                                                                                                                 (flo:*
                                                                                                                                                                                  anf-699405
                                                                                                                                                                                  (flo:+
                                                                                                                                                                                   anf-701565
                                                                                                                                                                                   anf-701565)))
                                                                                                                                                                                the-closure-1143224)))
                                                                                                                                                                             (flo:+
                                                                                                                                                                              (flo:*
                                                                                                                                                                               .3333333333333333
                                                                                                                                                                               anf-828336)
                                                                                                                                                                              (flo:+
                                                                                                                                                                               (flo:*
                                                                                                                                                                                .3333333333333333
                                                                                                                                                                                anf-948120)
                                                                                                                                                                               (flo:*
                                                                                                                                                                                .16666666666666666
                                                                                                                                                                                anf-1045746)))))))
                                                                                                                                                                      (let ((anf-597903
                                                                                                                                                                             (flo:+
                                                                                                                                                                              the-closure-1143229
                                                                                                                                                                              (flo:+
                                                                                                                                                                               (flo:*
                                                                                                                                                                                .16666666666666666
                                                                                                                                                                                (flo:*
                                                                                                                                                                                 external-formal
                                                                                                                                                                                 (flo:/
                                                                                                                                                                                  (flo:*
                                                                                                                                                                                   anf-697812
                                                                                                                                                                                   (flo:*
                                                                                                                                                                                    anf-699405
                                                                                                                                                                                    (flo:+
                                                                                                                                                                                     anf-712292
                                                                                                                                                                                     anf-712292)))
                                                                                                                                                                                  the-closure-1143224)))
                                                                                                                                                                               (flo:+
                                                                                                                                                                                (flo:*
                                                                                                                                                                                 .3333333333333333
                                                                                                                                                                                 anf-828644)
                                                                                                                                                                                (flo:+
                                                                                                                                                                                 (flo:*
                                                                                                                                                                                  .3333333333333333
                                                                                                                                                                                  anf-948428)
                                                                                                                                                                                 (flo:*
                                                                                                                                                                                  .16666666666666666
                                                                                                                                                                                  anf-1046054)))))))
                                                                                                                                                                        (let ((anf-598216
                                                                                                                                                                               (flo:+
                                                                                                                                                                                the-closure-1143230
                                                                                                                                                                                (flo:+
                                                                                                                                                                                 (flo:*
                                                                                                                                                                                  .16666666666666666
                                                                                                                                                                                  (flo:*
                                                                                                                                                                                   external-formal
                                                                                                                                                                                   (flo:/
                                                                                                                                                                                    (flo:*
                                                                                                                                                                                     anf-697812
                                                                                                                                                                                     (flo:*
                                                                                                                                                                                      anf-699405
                                                                                                                                                                                      (flo:+
                                                                                                                                                                                       anf-723358
                                                                                                                                                                                       anf-723358)))
                                                                                                                                                                                    the-closure-1143224)))
                                                                                                                                                                                 (flo:+
                                                                                                                                                                                  (flo:*
                                                                                                                                                                                   .3333333333333333
                                                                                                                                                                                   anf-828952)
                                                                                                                                                                                  (flo:+
                                                                                                                                                                                   (flo:*
                                                                                                                                                                                    .3333333333333333
                                                                                                                                                                                    anf-948736)
                                                                                                                                                                                   (flo:*
                                                                                                                                                                                    .16666666666666666
                                                                                                                                                                                    anf-1046362)))))))
                                                                                                                                                                          (let ((anf-600764
                                                                                                                                                                                 (flo:+
                                                                                                                                                                                  the-closure-1143232
                                                                                                                                                                                  (flo:+
                                                                                                                                                                                   (flo:*
                                                                                                                                                                                    .16666666666666666
                                                                                                                                                                                    (flo:*
                                                                                                                                                                                     external-formal
                                                                                                                                                                                     (flo:+
                                                                                                                                                                                      the-closure-1143235
                                                                                                                                                                                      anf-833269)))
                                                                                                                                                                                   (flo:+
                                                                                                                                                                                    (flo:*
                                                                                                                                                                                     .3333333333333333
                                                                                                                                                                                     anf-831418)
                                                                                                                                                                                    (flo:+
                                                                                                                                                                                     (flo:*
                                                                                                                                                                                      .3333333333333333
                                                                                                                                                                                      anf-951202)
                                                                                                                                                                                     (flo:*
                                                                                                                                                                                      .16666666666666666
                                                                                                                                                                                      anf-1048828)))))))
                                                                                                                                                                            (let ((anf-601077
                                                                                                                                                                                   (flo:+
                                                                                                                                                                                    the-closure-1143233
                                                                                                                                                                                    (flo:+
                                                                                                                                                                                     (flo:*
                                                                                                                                                                                      .16666666666666666
                                                                                                                                                                                      (flo:*
                                                                                                                                                                                       external-formal
                                                                                                                                                                                       (flo:+
                                                                                                                                                                                        the-closure-1143236
                                                                                                                                                                                        anf-833577)))
                                                                                                                                                                                     (flo:+
                                                                                                                                                                                      (flo:*
                                                                                                                                                                                       .3333333333333333
                                                                                                                                                                                       anf-831726)
                                                                                                                                                                                      (flo:+
                                                                                                                                                                                       (flo:*
                                                                                                                                                                                        .3333333333333333
                                                                                                                                                                                        anf-951510)
                                                                                                                                                                                       (flo:*
                                                                                                                                                                                        .16666666666666666
                                                                                                                                                                                        anf-1049136)))))))
                                                                                                                                                                              (let ((anf-601390
                                                                                                                                                                                     (flo:+
                                                                                                                                                                                      the-closure-1143234
                                                                                                                                                                                      (flo:+
                                                                                                                                                                                       (flo:*
                                                                                                                                                                                        .16666666666666666
                                                                                                                                                                                        (flo:*
                                                                                                                                                                                         external-formal
                                                                                                                                                                                         (flo:+
                                                                                                                                                                                          the-closure-1143237
                                                                                                                                                                                          anf-833885)))
                                                                                                                                                                                       (flo:+
                                                                                                                                                                                        (flo:*
                                                                                                                                                                                         .3333333333333333
                                                                                                                                                                                         anf-832034)
                                                                                                                                                                                        (flo:+
                                                                                                                                                                                         (flo:*
                                                                                                                                                                                          .3333333333333333
                                                                                                                                                                                          anf-951818)
                                                                                                                                                                                         (flo:*
                                                                                                                                                                                          .16666666666666666
                                                                                                                                                                                          anf-1049444)))))))
                                                                                                                                                                                (let ((anf-602663
                                                                                                                                                                                       (flo:+
                                                                                                                                                                                        the-closure-1143235
                                                                                                                                                                                        (flo:+
                                                                                                                                                                                         (flo:*
                                                                                                                                                                                          .16666666666666666
                                                                                                                                                                                          (flo:*
                                                                                                                                                                                           external-formal
                                                                                                                                                                                           (flo:/
                                                                                                                                                                                            (flo:*
                                                                                                                                                                                             anf-697812
                                                                                                                                                                                             (flo:*
                                                                                                                                                                                              anf-699405
                                                                                                                                                                                              (flo:+
                                                                                                                                                                                               anf-702801
                                                                                                                                                                                               anf-702801)))
                                                                                                                                                                                            the-closure-1143231)))
                                                                                                                                                                                         (flo:+
                                                                                                                                                                                          (flo:*
                                                                                                                                                                                           .3333333333333333
                                                                                                                                                                                           anf-833269)
                                                                                                                                                                                          (flo:+
                                                                                                                                                                                           (flo:*
                                                                                                                                                                                            .3333333333333333
                                                                                                                                                                                            anf-953053)
                                                                                                                                                                                           (flo:*
                                                                                                                                                                                            .16666666666666666
                                                                                                                                                                                            anf-1050679)))))))
                                                                                                                                                                                  (let ((anf-602976
                                                                                                                                                                                         (flo:+
                                                                                                                                                                                          the-closure-1143236
                                                                                                                                                                                          (flo:+
                                                                                                                                                                                           (flo:*
                                                                                                                                                                                            .16666666666666666
                                                                                                                                                                                            (flo:*
                                                                                                                                                                                             external-formal
                                                                                                                                                                                             (flo:/
                                                                                                                                                                                              (flo:*
                                                                                                                                                                                               anf-697812
                                                                                                                                                                                               (flo:*
                                                                                                                                                                                                anf-699405
                                                                                                                                                                                                (flo:+
                                                                                                                                                                                                 anf-703154
                                                                                                                                                                                                 anf-703154)))
                                                                                                                                                                                              the-closure-1143231)))
                                                                                                                                                                                           (flo:+
                                                                                                                                                                                            (flo:*
                                                                                                                                                                                             .3333333333333333
                                                                                                                                                                                             anf-833577)
                                                                                                                                                                                            (flo:+
                                                                                                                                                                                             (flo:*
                                                                                                                                                                                              .3333333333333333
                                                                                                                                                                                              anf-953361)
                                                                                                                                                                                             (flo:*
                                                                                                                                                                                              .16666666666666666
                                                                                                                                                                                              anf-1050987)))))))
                                                                                                                                                                                    (let ((anf-603289
                                                                                                                                                                                           (flo:+
                                                                                                                                                                                            the-closure-1143237
                                                                                                                                                                                            (flo:+
                                                                                                                                                                                             (flo:*
                                                                                                                                                                                              .16666666666666666
                                                                                                                                                                                              (flo:*
                                                                                                                                                                                               external-formal
                                                                                                                                                                                               (flo:/
                                                                                                                                                                                                (flo:*
                                                                                                                                                                                                 anf-697812
                                                                                                                                                                                                 (flo:*
                                                                                                                                                                                                  anf-699405
                                                                                                                                                                                                  (flo:+
                                                                                                                                                                                                   anf-703467
                                                                                                                                                                                                   anf-703467)))
                                                                                                                                                                                                the-closure-1143231)))
                                                                                                                                                                                             (flo:+
                                                                                                                                                                                              (flo:*
                                                                                                                                                                                               .3333333333333333
                                                                                                                                                                                               anf-833885)
                                                                                                                                                                                              (flo:+
                                                                                                                                                                                               (flo:*
                                                                                                                                                                                                .3333333333333333
                                                                                                                                                                                                anf-953669)
                                                                                                                                                                                               (flo:*
                                                                                                                                                                                                .16666666666666666
                                                                                                                                                                                                anf-1051295)))))))
                                                                                                                                                                                      (cons
                                                                                                                                                                                       (cons
                                                                                                                                                                                        anf-595061
                                                                                                                                                                                        (cons
                                                                                                                                                                                         (cons
                                                                                                                                                                                          the-closure-1143224
                                                                                                                                                                                          (cons
                                                                                                                                                                                           (cons
                                                                                                                                                                                            anf-595691
                                                                                                                                                                                            (cons
                                                                                                                                                                                             anf-596004
                                                                                                                                                                                             (cons
                                                                                                                                                                                              anf-596317
                                                                                                                                                                                              ())))
                                                                                                                                                                                           (cons
                                                                                                                                                                                            (cons
                                                                                                                                                                                             anf-597590
                                                                                                                                                                                             (cons
                                                                                                                                                                                              anf-597903
                                                                                                                                                                                              (cons
                                                                                                                                                                                               anf-598216
                                                                                                                                                                                               ())))
                                                                                                                                                                                            ())))
                                                                                                                                                                                         (cons
                                                                                                                                                                                          (cons
                                                                                                                                                                                           the-closure-1143231
                                                                                                                                                                                           (cons
                                                                                                                                                                                            (cons
                                                                                                                                                                                             anf-600764
                                                                                                                                                                                             (cons
                                                                                                                                                                                              anf-601077
                                                                                                                                                                                              (cons
                                                                                                                                                                                               anf-601390
                                                                                                                                                                                               ())))
                                                                                                                                                                                            (cons
                                                                                                                                                                                             (cons
                                                                                                                                                                                              anf-602663
                                                                                                                                                                                              (cons
                                                                                                                                                                                               anf-602976
                                                                                                                                                                                               (cons
                                                                                                                                                                                                anf-603289
                                                                                                                                                                                                ())))
                                                                                                                                                                                             ())))
                                                                                                                                                                                          ())))
                                                                                                                                                                                       (escaping-operation-3
                                                                                                                                                                                        the-closure-1142390
                                                                                                                                                                                        anf-595061
                                                                                                                                                                                        the-closure-1143224
                                                                                                                                                                                        anf-595691
                                                                                                                                                                                        anf-596004
                                                                                                                                                                                        anf-596317
                                                                                                                                                                                        anf-597590
                                                                                                                                                                                        anf-597903
                                                                                                                                                                                        anf-598216
                                                                                                                                                                                        the-closure-1143231
                                                                                                                                                                                        anf-600764
                                                                                                                                                                                        anf-601077
                                                                                                                                                                                        anf-601390
                                                                                                                                                                                        anf-602663
                                                                                                                                                                                        anf-602976
                                                                                                                                                                                        anf-603289
                                                                                                                                                                                        the-closure-1142390))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
  (let ((anf-1119591 (flo:+ 1. .00000597682)))
    (let ((anf-1119600 0.))
      (let ((anf-1119604 0.))
        (let ((anf-1119608 0.))
          (let ((anf-1119630 0.))
            (let ((anf-1119634 0.))
              (let ((anf-1119638 0.))
                (let ((anf-1119414 (flo:/ 1. 1047.355)))
                  (let ((anf-1119423 3.409530427945))
                    (let ((anf-1119430 3.635870038323))
                      (let ((anf-1119437 .0342402877997))
                        (let ((anf-1119450 -.005604670182013))
                          (let ((anf-1119457 .005524493219597))
                            (let ((anf-1119464 -.0000026639819072))
                              (let ((the-formals-507341
                                     (flo:*
                                      (flo:/ .00000000006673
                                             3.347937656835192e33)
                                      (flo:* 1.98892e30 7464960000.))))
                                (let ((anf-1118789 0.))
                                  (cons
                                   (cons
                                    anf-1118789
                                    (cons
                                     (cons
                                      anf-1119591
                                      (cons
                                       (cons
                                        anf-1119600
                                        (cons anf-1119604
                                              (cons anf-1119608 ())))
                                       (cons
                                        (cons
                                         anf-1119630
                                         (cons anf-1119634
                                               (cons anf-1119638 ())))
                                        ())))
                                     (cons
                                      (cons
                                       anf-1119414
                                       (cons
                                        (cons
                                         anf-1119423
                                         (cons anf-1119430
                                               (cons anf-1119437 ())))
                                        (cons
                                         (cons
                                          anf-1119450
                                          (cons anf-1119457
                                                (cons anf-1119464 ())))
                                         ())))
                                      ())))
                                   (escaping-operation-3
                                    the-formals-507341
                                    anf-1118789
                                    anf-1119591
                                    anf-1119600
                                    anf-1119604
                                    anf-1119608
                                    anf-1119630
                                    anf-1119634
                                    anf-1119638
                                    anf-1119414
                                    anf-1119423
                                    anf-1119430
                                    anf-1119437
                                    anf-1119450
                                    anf-1119457
                                    anf-1119464
                                    the-formals-507341)))))))))))))))))))