1.196 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.183 * * * [progress]: [2/2] Setting up program.
0.205 * [progress]: [Phase 2 of 3] Improving.
0.206 * * * * [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.209 * [simplify]: Simplifying:
  (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.210 * * [simplify]: iteration 0: 18 enodes
0.247 * * [simplify]: iteration 1: 34 enodes
0.301 * * [simplify]: iteration 2: 69 enodes
0.423 * * [simplify]: iteration 3: 145 enodes
0.655 * * [simplify]: iteration 4: 385 enodes
1.306 * * [simplify]: iteration 5: 1534 enodes
5.713 * * [simplify]: iteration complete: 5000 enodes
5.713 * * [simplify]: Extracting #0: cost 1 inf + 0
5.714 * * [simplify]: Extracting #1: cost 3 inf + 0
5.715 * * [simplify]: Extracting #2: cost 217 inf + 1
5.721 * * [simplify]: Extracting #3: cost 861 inf + 87
5.729 * * [simplify]: Extracting #4: cost 951 inf + 131
5.738 * * [simplify]: Extracting #5: cost 945 inf + 1095
5.753 * * [simplify]: Extracting #6: cost 894 inf + 5105
5.792 * * [simplify]: Extracting #7: cost 657 inf + 178476
5.963 * * [simplify]: Extracting #8: cost 93 inf + 702014
6.122 * * [simplify]: Extracting #9: cost 5 inf + 778697
6.334 * * [simplify]: Extracting #10: cost 0 inf + 782037
6.508 * * [simplify]: Extracting #11: cost 0 inf + 780648
6.672 * * [simplify]: Extracting #12: cost 0 inf + 780255
6.837 * [simplify]: Simplified to:
  (+ 0.5 (* (* (cos (* PI (* 2.0 u2))) (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))
6.842 * * [progress]: iteration 1 / 4
6.842 * * * [progress]: picking best candidate
6.863 * * * * [pick]: Picked  #<alt (λ (u1 u2) (+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5))>
6.863 * * * [progress]: localizing error