0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.036 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ () (* 2 (+ (+ (* 1 (/ 1 9)) (* (/ 1 9) (/ 1 9))) (* (/ 1 9) 1))))>
0.036 * [simplify]: Simplifying:
  (* 2 (+ (+ (* 1 (/ 1 9)) (* (/ 1 9) (/ 1 9))) (* (/ 1 9) 1)))
0.036 * * [simplify]: iteration 1: (10 enodes)
0.040 * * [simplify]: iteration 2: (47 enodes)
0.051 * * [simplify]: iteration 3: (106 enodes)
0.079 * * [simplify]: iteration 4: (159 enodes)
0.141 * * [simplify]: iteration 5: (235 enodes)
0.202 * * [simplify]: iteration 6: (278 enodes)
0.263 * * [simplify]: iteration 7: (293 enodes)
0.322 * * [simplify]: iteration 8: (295 enodes)
0.371 * * [simplify]: iteration 9: (296 enodes)
0.420 * * [simplify]: Extracting #0: cost 1 inf + 0
0.420 * * [simplify]: Extracting #1: cost 16 inf + 0
0.420 * * [simplify]: Extracting #2: cost 36 inf + 3
0.421 * * [simplify]: Extracting #3: cost 34 inf + 1190
0.423 * * [simplify]: Extracting #4: cost 8 inf + 3720
0.426 * * [simplify]: Extracting #5: cost 0 inf + 4614
0.429 * * [simplify]: Extracting #6: cost 0 inf + 4573
0.433 * [simplify]: Simplified to:
  (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9))
0.438 * * [progress]: iteration 1 / 4
0.438 * * * [progress]: picking best candidate
0.440 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9)))>
0.440 * * * [progress]: localizing error
0.452 * * * [progress]: generating rewritten candidates
0.452 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.489 * * * [progress]: generating series expansions
0.489 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.489 * * * [progress]: simplifying candidates
0.489 * * * * [progress]: [ 1 / 35 ] simplifiying candidate #<alt (λ () (+ (pow (/ (+ (/ 2 9) 2) 9) 1) (/ 2 9)))>
0.490 * * * * [progress]: [ 2 / 35 ] simplifiying candidate #<alt (λ () (+ (exp (- (log (+ (/ 2 9) 2)) (log 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 3 / 35 ] simplifiying candidate #<alt (λ () (+ (exp (log (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 4 / 35 ] simplifiying candidate #<alt (λ () (+ (log (exp (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 5 / 35 ] simplifiying candidate #<alt (λ () (+ (cbrt (/ (* (* (+ (/ 2 9) 2) (+ (/ 2 9) 2)) (+ (/ 2 9) 2)) (* (* 9 9) 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 6 / 35 ] simplifiying candidate #<alt (λ () (+ (* (* (cbrt (/ (+ (/ 2 9) 2) 9)) (cbrt (/ (+ (/ 2 9) 2) 9))) (cbrt (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 7 / 35 ] simplifiying candidate #<alt (λ () (+ (cbrt (* (* (/ (+ (/ 2 9) 2) 9) (/ (+ (/ 2 9) 2) 9)) (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 8 / 35 ] simplifiying candidate #<alt (λ () (+ (* (sqrt (/ (+ (/ 2 9) 2) 9)) (sqrt (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 9 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (- (+ (/ 2 9) 2)) (- 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 10 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (* (cbrt 9) (cbrt 9))) (/ (cbrt (+ (/ 2 9) 2)) (cbrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 11 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (sqrt 9)) (/ (cbrt (+ (/ 2 9) 2)) (sqrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 12 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) 1) (/ (cbrt (+ (/ 2 9) 2)) 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 13 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ (sqrt (+ (/ 2 9) 2)) (* (cbrt 9) (cbrt 9))) (/ (sqrt (+ (/ 2 9) 2)) (cbrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 14 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ (sqrt (+ (/ 2 9) 2)) (sqrt 9)) (/ (sqrt (+ (/ 2 9) 2)) (sqrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 15 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ (sqrt (+ (/ 2 9) 2)) 1) (/ (sqrt (+ (/ 2 9) 2)) 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 16 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (* (cbrt 9) (cbrt 9))) (/ (+ (/ 2 9) 2) (cbrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 17 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (sqrt 9)) (/ (+ (/ 2 9) 2) (sqrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 18 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 1) (/ (+ (/ 2 9) 2) 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 19 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (* (cbrt 9) (cbrt 9))) (/ (+ (/ 2 9) 2) (cbrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 20 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (sqrt 9)) (/ (+ (/ 2 9) 2) (sqrt 9))) (/ 2 9)))>
0.490 * * * * [progress]: [ 21 / 35 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 1) (/ (+ (/ 2 9) 2) 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 22 / 35 ] simplifiying candidate #<alt (λ () (+ (* 1 (/ (+ (/ 2 9) 2) 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 23 / 35 ] simplifiying candidate #<alt (λ () (+ (* (+ (/ 2 9) 2) (/ 1 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 24 / 35 ] simplifiying candidate #<alt (λ () (+ (/ 1 (/ 9 (+ (/ 2 9) 2))) (/ 2 9)))>
0.490 * * * * [progress]: [ 25 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (/ (+ (/ 2 9) 2) (* (cbrt 9) (cbrt 9))) (cbrt 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 26 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (/ (+ (/ 2 9) 2) (sqrt 9)) (sqrt 9)) (/ 2 9)))>
0.490 * * * * [progress]: [ 27 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (/ (+ (/ 2 9) 2) 1) 9) (/ 2 9)))>
0.490 * * * * [progress]: [ 28 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (/ 9 (cbrt (+ (/ 2 9) 2)))) (/ 2 9)))>
0.490 * * * * [progress]: [ 29 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (sqrt (+ (/ 2 9) 2)) (/ 9 (sqrt (+ (/ 2 9) 2)))) (/ 2 9)))>
0.491 * * * * [progress]: [ 30 / 35 ] simplifiying candidate #<alt (λ () (+ (/ 1 (/ 9 (+ (/ 2 9) 2))) (/ 2 9)))>
0.491 * * * * [progress]: [ 31 / 35 ] simplifiying candidate #<alt (λ () (+ (/ 1 (/ 9 (+ (/ 2 9) 2))) (/ 2 9)))>
0.491 * * * * [progress]: [ 32 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (+ (pow (/ 2 9) 3) (pow 2 3)) (* 9 (+ (* (/ 2 9) (/ 2 9)) (- (* 2 2) (* (/ 2 9) 2))))) (/ 2 9)))>
0.491 * * * * [progress]: [ 33 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (/ 2 9) (/ 2 9)) (* 2 2)) (* 9 (- (/ 2 9) 2))) (/ 2 9)))>
0.491 * * * * [progress]: [ 34 / 35 ] simplifiying candidate #<alt (λ () (+ (posit16->real (real->posit16 (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.491 * * * * [progress]: [ 35 / 35 ] simplifiying candidate #<alt (λ () (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9)))>
0.491 * [simplify]: Simplifying:
  (- (log (+ (/ 2 9) 2)) (log 9))
  (log (/ (+ (/ 2 9) 2) 9))
  (exp (/ (+ (/ 2 9) 2) 9))
  (/ (* (* (+ (/ 2 9) 2) (+ (/ 2 9) 2)) (+ (/ 2 9) 2)) (* (* 9 9) 9))
  (* (cbrt (/ (+ (/ 2 9) 2) 9)) (cbrt (/ (+ (/ 2 9) 2) 9)))
  (cbrt (/ (+ (/ 2 9) 2) 9))
  (* (* (/ (+ (/ 2 9) 2) 9) (/ (+ (/ 2 9) 2) 9)) (/ (+ (/ 2 9) 2) 9))
  (sqrt (/ (+ (/ 2 9) 2) 9))
  (sqrt (/ (+ (/ 2 9) 2) 9))
  (- (+ (/ 2 9) 2))
  (- 9)
  (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (* (cbrt 9) (cbrt 9)))
  (/ (cbrt (+ (/ 2 9) 2)) (cbrt 9))
  (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (sqrt 9))
  (/ (cbrt (+ (/ 2 9) 2)) (sqrt 9))
  (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) 1)
  (/ (cbrt (+ (/ 2 9) 2)) 9)
  (/ (sqrt (+ (/ 2 9) 2)) (* (cbrt 9) (cbrt 9)))
  (/ (sqrt (+ (/ 2 9) 2)) (cbrt 9))
  (/ (sqrt (+ (/ 2 9) 2)) (sqrt 9))
  (/ (sqrt (+ (/ 2 9) 2)) (sqrt 9))
  (/ (sqrt (+ (/ 2 9) 2)) 1)
  (/ (sqrt (+ (/ 2 9) 2)) 9)
  (/ 1 (* (cbrt 9) (cbrt 9)))
  (/ (+ (/ 2 9) 2) (cbrt 9))
  (/ 1 (sqrt 9))
  (/ (+ (/ 2 9) 2) (sqrt 9))
  (/ 1 1)
  (/ (+ (/ 2 9) 2) 9)
  (/ 1 (* (cbrt 9) (cbrt 9)))
  (/ (+ (/ 2 9) 2) (cbrt 9))
  (/ 1 (sqrt 9))
  (/ (+ (/ 2 9) 2) (sqrt 9))
  (/ 1 1)
  (/ (+ (/ 2 9) 2) 9)
  (/ 1 9)
  (/ 9 (+ (/ 2 9) 2))
  (/ (+ (/ 2 9) 2) (* (cbrt 9) (cbrt 9)))
  (/ (+ (/ 2 9) 2) (sqrt 9))
  (/ (+ (/ 2 9) 2) 1)
  (/ 9 (cbrt (+ (/ 2 9) 2)))
  (/ 9 (sqrt (+ (/ 2 9) 2)))
  (/ 9 (+ (/ 2 9) 2))
  (/ 9 (+ (/ 2 9) 2))
  (* 9 (+ (* (/ 2 9) (/ 2 9)) (- (* 2 2) (* (/ 2 9) 2))))
  (* 9 (- (/ 2 9) 2))
  (real->posit16 (/ (+ (/ 2 9) 2) 9))
  (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9))
0.492 * * [simplify]: iteration 1: (61 enodes)
0.507 * * [simplify]: iteration 2: (244 enodes)
0.588 * * [simplify]: iteration 3: (540 enodes)
0.826 * * [simplify]: iteration 4: (1166 enodes)
1.444 * * [simplify]: Extracting #0: cost 35 inf + 0
1.445 * * [simplify]: Extracting #1: cost 192 inf + 1
1.446 * * [simplify]: Extracting #2: cost 357 inf + 2368
1.453 * * [simplify]: Extracting #3: cost 259 inf + 40778
1.488 * * [simplify]: Extracting #4: cost 25 inf + 91440
1.511 * * [simplify]: Extracting #5: cost 0 inf + 96284
1.553 * [simplify]: Simplified to:
  (log (/ (+ 2 (/ 2 9)) 9))
  (log (/ (+ 2 (/ 2 9)) 9))
  (exp (/ (+ 2 (/ 2 9)) 9))
  (* (/ (+ 2 (/ 2 9)) 9) (* (/ (+ 2 (/ 2 9)) 9) (/ (+ 2 (/ 2 9)) 9)))
  (* (cbrt (/ (+ 2 (/ 2 9)) 9)) (cbrt (/ (+ 2 (/ 2 9)) 9)))
  (cbrt (/ (+ 2 (/ 2 9)) 9))
  (* (/ (+ 2 (/ 2 9)) 9) (* (/ (+ 2 (/ 2 9)) 9) (/ (+ 2 (/ 2 9)) 9)))
  (sqrt (/ (+ 2 (/ 2 9)) 9))
  (sqrt (/ (+ 2 (/ 2 9)) 9))
  (- (+ 2 (/ 2 9)))
  (- 9)
  (* (/ (cbrt (+ 2 (/ 2 9))) (cbrt 9)) (/ (cbrt (+ 2 (/ 2 9))) (cbrt 9)))
  (/ (cbrt (+ 2 (/ 2 9))) (cbrt 9))
  (* (cbrt (+ 2 (/ 2 9))) (/ (cbrt (+ 2 (/ 2 9))) (sqrt 9)))
  (/ (cbrt (+ 2 (/ 2 9))) (sqrt 9))
  (* (cbrt (+ 2 (/ 2 9))) (cbrt (+ 2 (/ 2 9))))
  (/ (cbrt (+ 2 (/ 2 9))) 9)
  (/ (/ (sqrt (+ 2 (/ 2 9))) (cbrt 9)) (cbrt 9))
  (/ (sqrt (+ 2 (/ 2 9))) (cbrt 9))
  (/ (sqrt (+ 2 (/ 2 9))) (sqrt 9))
  (/ (sqrt (+ 2 (/ 2 9))) (sqrt 9))
  (sqrt (+ 2 (/ 2 9)))
  (/ (sqrt (+ 2 (/ 2 9))) 9)
  (/ 1 (* (cbrt 9) (cbrt 9)))
  (/ (+ 2 (/ 2 9)) (cbrt 9))
  (/ 1 (sqrt 9))
  (/ (+ 2 (/ 2 9)) (sqrt 9))
  1
  (/ (+ 2 (/ 2 9)) 9)
  (/ 1 (* (cbrt 9) (cbrt 9)))
  (/ (+ 2 (/ 2 9)) (cbrt 9))
  (/ 1 (sqrt 9))
  (/ (+ 2 (/ 2 9)) (sqrt 9))
  1
  (/ (+ 2 (/ 2 9)) 9)
  (/ 1 9)
  (/ 9 (+ 2 (/ 2 9)))
  (/ (/ (+ 2 (/ 2 9)) (cbrt 9)) (cbrt 9))
  (/ (+ 2 (/ 2 9)) (sqrt 9))
  (+ 2 (/ 2 9))
  (/ 9 (cbrt (+ 2 (/ 2 9))))
  (/ 9 (sqrt (+ 2 (/ 2 9))))
  (/ 9 (+ 2 (/ 2 9)))
  (/ 9 (+ 2 (/ 2 9)))
  (* 9 (* 2 (+ (- 2 (/ 2 9)) (/ (/ 2 9) 9))))
  (* 9 (- (/ 2 9) 2))
  (real->posit16 (/ (+ 2 (/ 2 9)) 9))
  (+ (/ (+ 2 (/ 2 9)) 9) (/ 2 9))
1.555 * * * [progress]: adding candidates to table
1.738 * [progress]: [Phase 3 of 3] Extracting.
1.742 * [simplify]: Simplifying:
  (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9))
1.742 * * [simplify]: iteration 1: (6 enodes)
1.743 * * [simplify]: iteration 2: (8 enodes)
1.744 * * [simplify]: Extracting #0: cost 1 inf + 0
1.744 * * [simplify]: Extracting #1: cost 3 inf + 0
1.744 * * [simplify]: Extracting #2: cost 6 inf + 0
1.744 * * [simplify]: Extracting #3: cost 4 inf + 2
1.744 * * [simplify]: Extracting #4: cost 0 inf + 410
1.744 * [simplify]: Simplified to:
  (+ (/ 2 9) (/ (+ 2 (/ 2 9)) 9))
3.222 * [regime-testing]: Baseline error score: 0
3.227 * [regime-testing]: Oracle error score: 0
3.227 * [regime-testing]: End program error score: 0
3.262 * [regime-testing]: Target error score: 0