0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ () (* 2 (+ (+ (* 1 (/ 1 9)) (* (/ 1 9) (/ 1 9))) (* (/ 1 9) 1))))>
0.039 * [simplify]: Simplifying:
  (* 2 (+ (+ (* 1 (/ 1 9)) (* (/ 1 9) (/ 1 9))) (* (/ 1 9) 1)))
0.039 * * [simplify]: iteration 1: (10 enodes)
0.043 * * [simplify]: iteration 2: (48 enodes)
0.055 * * [simplify]: iteration 3: (107 enodes)
0.085 * * [simplify]: iteration 4: (196 enodes)
0.158 * * [simplify]: iteration 5: (292 enodes)
0.294 * * [simplify]: iteration 6: (363 enodes)
0.381 * * [simplify]: iteration 7: (389 enodes)
0.458 * * [simplify]: iteration 8: (396 enodes)
0.497 * * [simplify]: Extracting #0: cost 1 inf + 0
0.497 * * [simplify]: Extracting #1: cost 23 inf + 0
0.498 * * [simplify]: Extracting #2: cost 44 inf + 3
0.499 * * [simplify]: Extracting #3: cost 31 inf + 1690
0.501 * * [simplify]: Extracting #4: cost 3 inf + 4287
0.503 * * [simplify]: Extracting #5: cost 0 inf + 4637
0.506 * [simplify]: Simplified to:
  (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9))
0.509 * * [progress]: iteration 1 / 4
0.509 * * * [progress]: picking best candidate
0.511 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9)))>
0.511 * * * [progress]: localizing error
0.524 * * * [progress]: generating rewritten candidates
0.524 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.551 * * * [progress]: generating series expansions
0.551 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.551 * * * [progress]: simplifying candidates
0.551 * * * * [progress]: [ 1 / 37 ] simplifiying candidate #<alt (λ () (+ (log1p (expm1 (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 2 / 37 ] simplifiying candidate #<alt (λ () (+ (expm1 (log1p (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 3 / 37 ] simplifiying candidate #<alt (λ () (+ (pow (/ (+ (/ 2 9) 2) 9) 1) (/ 2 9)))>
0.551 * * * * [progress]: [ 4 / 37 ] simplifiying candidate #<alt (λ () (+ (exp (- (log (+ (/ 2 9) 2)) (log 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 5 / 37 ] simplifiying candidate #<alt (λ () (+ (exp (log (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 6 / 37 ] simplifiying candidate #<alt (λ () (+ (log (exp (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 7 / 37 ] simplifiying candidate #<alt (λ () (+ (cbrt (/ (* (* (+ (/ 2 9) 2) (+ (/ 2 9) 2)) (+ (/ 2 9) 2)) (* (* 9 9) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 8 / 37 ] simplifiying candidate #<alt (λ () (+ (* (* (cbrt (/ (+ (/ 2 9) 2) 9)) (cbrt (/ (+ (/ 2 9) 2) 9))) (cbrt (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 9 / 37 ] simplifiying candidate #<alt (λ () (+ (cbrt (* (* (/ (+ (/ 2 9) 2) 9) (/ (+ (/ 2 9) 2) 9)) (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 10 / 37 ] simplifiying candidate #<alt (λ () (+ (* (sqrt (/ (+ (/ 2 9) 2) 9)) (sqrt (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 11 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (- (+ (/ 2 9) 2)) (- 9)) (/ 2 9)))>
0.551 * * * * [progress]: [ 12 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (* (cbrt 9) (cbrt 9))) (/ (cbrt (+ (/ 2 9) 2)) (cbrt 9))) (/ 2 9)))>
0.551 * * * * [progress]: [ 13 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (sqrt 9)) (/ (cbrt (+ (/ 2 9) 2)) (sqrt 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 14 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) 1) (/ (cbrt (+ (/ 2 9) 2)) 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 15 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ (sqrt (+ (/ 2 9) 2)) (* (cbrt 9) (cbrt 9))) (/ (sqrt (+ (/ 2 9) 2)) (cbrt 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 16 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ (sqrt (+ (/ 2 9) 2)) (sqrt 9)) (/ (sqrt (+ (/ 2 9) 2)) (sqrt 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 17 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ (sqrt (+ (/ 2 9) 2)) 1) (/ (sqrt (+ (/ 2 9) 2)) 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 18 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (* (cbrt 9) (cbrt 9))) (/ (+ (/ 2 9) 2) (cbrt 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 19 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (sqrt 9)) (/ (+ (/ 2 9) 2) (sqrt 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 20 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 1) (/ (+ (/ 2 9) 2) 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 21 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (* (cbrt 9) (cbrt 9))) (/ (+ (/ 2 9) 2) (cbrt 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 22 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 (sqrt 9)) (/ (+ (/ 2 9) 2) (sqrt 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 23 / 37 ] simplifiying candidate #<alt (λ () (+ (* (/ 1 1) (/ (+ (/ 2 9) 2) 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 24 / 37 ] simplifiying candidate #<alt (λ () (+ (* 1 (/ (+ (/ 2 9) 2) 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 25 / 37 ] simplifiying candidate #<alt (λ () (+ (* (+ (/ 2 9) 2) (/ 1 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 26 / 37 ] simplifiying candidate #<alt (λ () (+ (/ 1 (/ 9 (+ (/ 2 9) 2))) (/ 2 9)))>
0.552 * * * * [progress]: [ 27 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (/ (+ (/ 2 9) 2) (* (cbrt 9) (cbrt 9))) (cbrt 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 28 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (/ (+ (/ 2 9) 2) (sqrt 9)) (sqrt 9)) (/ 2 9)))>
0.552 * * * * [progress]: [ 29 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (/ (+ (/ 2 9) 2) 1) 9) (/ 2 9)))>
0.552 * * * * [progress]: [ 30 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (* (cbrt (+ (/ 2 9) 2)) (cbrt (+ (/ 2 9) 2))) (/ 9 (cbrt (+ (/ 2 9) 2)))) (/ 2 9)))>
0.552 * * * * [progress]: [ 31 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (sqrt (+ (/ 2 9) 2)) (/ 9 (sqrt (+ (/ 2 9) 2)))) (/ 2 9)))>
0.552 * * * * [progress]: [ 32 / 37 ] simplifiying candidate #<alt (λ () (+ (/ 1 (/ 9 (+ (/ 2 9) 2))) (/ 2 9)))>
0.552 * * * * [progress]: [ 33 / 37 ] simplifiying candidate #<alt (λ () (+ (/ 1 (/ 9 (+ (/ 2 9) 2))) (/ 2 9)))>
0.552 * * * * [progress]: [ 34 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (+ (pow (/ 2 9) 3) (pow 2 3)) (* 9 (+ (* (/ 2 9) (/ 2 9)) (- (* 2 2) (* (/ 2 9) 2))))) (/ 2 9)))>
0.552 * * * * [progress]: [ 35 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (- (* (/ 2 9) (/ 2 9)) (* 2 2)) (* 9 (- (/ 2 9) 2))) (/ 2 9)))>
0.552 * * * * [progress]: [ 36 / 37 ] simplifiying candidate #<alt (λ () (+ (posit16->real (real->posit16 (/ (+ (/ 2 9) 2) 9))) (/ 2 9)))>
0.552 * * * * [progress]: [ 37 / 37 ] simplifiying candidate #<alt (λ () (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9)))>
0.553 * [simplify]: Simplifying:
  (expm1 (/ (+ (/ 2 9) 2) 9))
  (log1p (/ (+ (/ 2 9) 2) 9))
  (- (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.553 * * [simplify]: iteration 1: (63 enodes)
0.580 * * [simplify]: iteration 2: (252 enodes)
0.677 * * [simplify]: iteration 3: (560 enodes)
0.916 * * [simplify]: iteration 4: (1168 enodes)
1.516 * * [simplify]: Extracting #0: cost 37 inf + 0
1.517 * * [simplify]: Extracting #1: cost 189 inf + 1
1.520 * * [simplify]: Extracting #2: cost 443 inf + 2055
1.537 * * [simplify]: Extracting #3: cost 277 inf + 50245
1.577 * * [simplify]: Extracting #4: cost 22 inf + 105277
1.633 * * [simplify]: Extracting #5: cost 0 inf + 109636
1.686 * [simplify]: Simplified to:
  (expm1 (/ (+ 2 (/ 2 9)) 9))
  (log1p (/ (+ 2 (/ 2 9)) 9))
  (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 (fma (- 2 (/ 2 9)) 2 (* (/ 2 9) (/ 2 9))))
  (* (- (/ 2 9) 2) 9)
  (real->posit16 (/ (+ 2 (/ 2 9)) 9))
  (+ (/ 2 9) (/ (+ 2 (/ 2 9)) 9))
1.690 * * * [progress]: adding candidates to table
1.905 * [progress]: [Phase 3 of 3] Extracting.
1.908 * [simplify]: Simplifying:
  (+ (/ (+ (/ 2 9) 2) 9) (/ 2 9))
1.909 * * [simplify]: iteration 1: (6 enodes)
1.910 * * [simplify]: iteration 2: (8 enodes)
1.911 * * [simplify]: Extracting #0: cost 1 inf + 0
1.911 * * [simplify]: Extracting #1: cost 3 inf + 0
1.911 * * [simplify]: Extracting #2: cost 6 inf + 0
1.911 * * [simplify]: Extracting #3: cost 4 inf + 2
1.911 * * [simplify]: Extracting #4: cost 0 inf + 410
1.911 * [simplify]: Simplified to:
  (+ (/ 2 9) (/ (+ 2 (/ 2 9)) 9))
3.080 * [regime-testing]: Baseline error score: 0
3.083 * [regime-testing]: Oracle error score: 0
3.083 * [regime-testing]: End program error score: 0
3.119 * [regime-testing]: Target error score: 0