0.650 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.177 * * * [progress]: [2/2] Setting up program.
0.191 * [progress]: [Phase 2 of 3] Improving.
0.194 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (u1 u2) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))>
0.196 * [simplify]: Simplifying:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.197 * * [simplify]: iteration 0: 18 enodes
0.216 * * [simplify]: iteration 1: 35 enodes
0.273 * * [simplify]: iteration 2: 72 enodes
0.375 * * [simplify]: iteration 3: 148 enodes
0.641 * * [simplify]: iteration 4: 387 enodes
1.445 * * [simplify]: iteration 5: 1408 enodes
6.451 * * [simplify]: iteration complete: 5000 enodes
6.452 * * [simplify]: Extracting #0: cost 1 inf + 0
6.452 * * [simplify]: Extracting #1: cost 7 inf + 0
6.453 * * [simplify]: Extracting #2: cost 305 inf + 1
6.457 * * [simplify]: Extracting #3: cost 814 inf + 88
6.466 * * [simplify]: Extracting #4: cost 828 inf + 1125
6.471 * * [simplify]: Extracting #5: cost 781 inf + 4252
6.476 * * [simplify]: Extracting #6: cost 768 inf + 5765
6.490 * * [simplify]: Extracting #7: cost 642 inf + 92959
6.597 * * [simplify]: Extracting #8: cost 199 inf + 492842
6.812 * * [simplify]: Extracting #9: cost 3 inf + 686528
7.033 * * [simplify]: Extracting #10: cost 0 inf + 679326
7.180 * * [simplify]: Extracting #11: cost 0 inf + 677987
7.337 * [simplify]: Simplified to:
  (fma (cos (* 2.0 (* PI u2))) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 0.5)
7.351 * * [progress]: iteration 1 / 4
7.351 * * * [progress]: picking best candidate
7.364 * * * * [pick]: Picked  #<alt (λ (u1 u2) (fma (cos (* 2.0 (* PI u2))) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 0.5))>
7.365 * * * [progress]: localizing error