13.640 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* d1 d1) d1) d1)
0.020 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
0.021 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
0.022 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
0.023 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.025 * * [simplify]: iteration  4 :  36  enodes  (cost  3 )
0.029 * * [simplify]: iteration  5 :  71  enodes  (cost  3 )
0.037 * * [simplify]: iteration  6 :  168  enodes  (cost  3 )
0.069 * * [simplify]: iteration  7 :  415  enodes  (cost  3 )
0.183 * * [simplify]: iteration  8 :  1276  enodes  (cost  3 )
0.769 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
0.769 * [simplify]: Simplified to:
   (pow d1 4)
0.773 * * [progress]: iteration 1 / 4
0.773 * * * [progress]: picking best candidate
0.783 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 4))>
0.783 * * * [progress]: localizing error
0.785 * * * [progress]: generating rewritten candidates
0.785 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.788 * * * [progress]: generating series expansions
0.788 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.788 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
0.788 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.788 * [taylor]: Taking taylor expansion of d1 in d1
0.788 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.788 * [taylor]: Taking taylor expansion of d1 in d1
0.789 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 4) in (d1) around 0
0.789 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 4) in d1
0.789 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.789 * [taylor]: Taking taylor expansion of d1 in d1
0.789 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 4) in d1
0.789 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.789 * [taylor]: Taking taylor expansion of d1 in d1
0.790 * [approximate]: Taking taylor expansion of (pow (/ -1 d1) 4) in (d1) around 0
0.790 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 4) in d1
0.790 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
0.790 * [taylor]: Taking taylor expansion of -1 in d1
0.790 * [taylor]: Taking taylor expansion of d1 in d1
0.790 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 4) in d1
0.790 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
0.791 * [taylor]: Taking taylor expansion of -1 in d1
0.791 * [taylor]: Taking taylor expansion of d1 in d1
0.792 * * * [progress]: simplifying candidates
0.792 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (log d1) 4)
  (* (log d1) 4)
  (* 1 4)
  (pow d1 (* (cbrt 4) (cbrt 4)))
  (pow d1 (sqrt 4))
  (pow d1 1)
  (pow (* (cbrt d1) (cbrt d1)) 4)
  (pow (cbrt d1) 4)
  (pow (sqrt d1) 4)
  (pow (sqrt d1) 4)
  (pow 1 4)
  (pow d1 4)
  (log (pow d1 4))
  (exp (pow d1 4))
  (* (cbrt (pow d1 4)) (cbrt (pow d1 4)))
  (cbrt (pow d1 4))
  (* (* (pow d1 4) (pow d1 4)) (pow d1 4))
  (sqrt (pow d1 4))
  (sqrt (pow d1 4))
  (pow d1 (/ 4 2))
  (pow d1 (/ 4 2))
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
0.793 * * [simplify]: iteration  0 :  30  enodes  (cost  109 )
0.797 * * [simplify]: iteration  1 :  62  enodes  (cost  94 )
0.803 * * [simplify]: iteration  2 :  139  enodes  (cost  91 )
0.826 * * [simplify]: iteration  3 :  452  enodes  (cost  87 )
1.017 * * [simplify]: iteration  4 :  1342  enodes  (cost  87 )
1.933 * * [simplify]: iteration  done :  5000  enodes  (cost  87 )
1.933 * [simplify]: Simplified to:
   (* (log d1) 4)
  (* (log d1) 4)
  4
  (pow d1 (* (cbrt 4) (cbrt 4)))
  (* d1 d1)
  d1
  (pow (cbrt d1) 8)
  (pow (cbrt d1) 4)
  (* d1 d1)
  (* d1 d1)
  1
  (pow d1 4)
  (* (log d1) 4)
  (exp (pow d1 4))
  (* (cbrt (pow d1 4)) (cbrt (pow d1 4)))
  (cbrt (pow d1 4))
  (pow (pow d1 4) 3)
  (sqrt (pow d1 4))
  (sqrt (pow d1 4))
  (* d1 d1)
  (* d1 d1)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
1.933 * * * [progress]: adding candidates to table
1.954 * * [progress]: iteration 2 / 4
1.954 * * * [progress]: picking best candidate
1.956 * * * * [pick]: Picked  #<alt (λ (d1) (* (* (* d1 d1) d1) d1))>
1.956 * * * [progress]: localizing error
1.960 * * * [progress]: generating rewritten candidates
1.960 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.969 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.978 * * * [progress]: generating series expansions
1.978 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.978 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
1.978 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.978 * [taylor]: Taking taylor expansion of d1 in d1
1.978 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.978 * [taylor]: Taking taylor expansion of d1 in d1
1.979 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
1.979 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.979 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.979 * [taylor]: Taking taylor expansion of d1 in d1
1.979 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.979 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.980 * [taylor]: Taking taylor expansion of d1 in d1
1.981 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
1.981 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.981 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.981 * [taylor]: Taking taylor expansion of d1 in d1
1.981 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.981 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.981 * [taylor]: Taking taylor expansion of d1 in d1
1.982 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.982 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
1.982 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.982 * [taylor]: Taking taylor expansion of d1 in d1
1.982 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.982 * [taylor]: Taking taylor expansion of d1 in d1
1.983 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
1.983 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
1.983 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.983 * [taylor]: Taking taylor expansion of d1 in d1
1.983 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
1.983 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.983 * [taylor]: Taking taylor expansion of d1 in d1
1.985 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
1.985 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
1.985 * [taylor]: Taking taylor expansion of -1 in d1
1.985 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.985 * [taylor]: Taking taylor expansion of d1 in d1
1.985 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
1.985 * [taylor]: Taking taylor expansion of -1 in d1
1.985 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.985 * [taylor]: Taking taylor expansion of d1 in d1
1.986 * * * [progress]: simplifying candidates
1.990 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (+ 3 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (* (* (* d1 d1) d1) d1)
  (* (* (* d1 d1) d1) d1)
  (* (* (* d1 d1) d1) d1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (+ 3 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (+ (+ (+ (log d1) (log d1)) (log d1)) (log d1))
  (+ (+ (log (* d1 d1)) (log d1)) (log d1))
  (+ (log (* (* d1 d1) d1)) (log d1))
  (log (* (* (* d1 d1) d1) d1))
  (exp (* (* (* d1 d1) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 d1) d1) d1)) (cbrt (* (* (* d1 d1) d1) d1)))
  (cbrt (* (* (* d1 d1) d1) d1))
  (* (* (* (* (* d1 d1) d1) d1) (* (* (* d1 d1) d1) d1)) (* (* (* d1 d1) d1) d1))
  (sqrt (* (* (* d1 d1) d1) d1))
  (sqrt (* (* (* d1 d1) d1) d1))
  (* (* (* d1 d1) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 d1) d1) (sqrt d1))
  (* (* (* d1 d1) d1) 1)
  (* d1 d1)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log d1) (log d1)) (log d1))
  (+ (log (* d1 d1)) (log d1))
  (log (* (* d1 d1) d1))
  (exp (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 d1) d1)) (cbrt (* (* d1 d1) d1)))
  (cbrt (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* (* d1 d1) (* (cbrt d1) (cbrt d1)))
  (* (* d1 d1) (sqrt d1))
  (* (* d1 d1) 1)
  (* d1 d1)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
1.992 * * [simplify]: iteration  0 :  56  enodes  (cost  543 )
2.000 * * [simplify]: iteration  1 :  144  enodes  (cost  415 )
2.024 * * [simplify]: iteration  2 :  436  enodes  (cost  249 )
2.123 * * [simplify]: iteration  3 :  1201  enodes  (cost  213 )
2.508 * * [simplify]: iteration  4 :  3143  enodes  (cost  205 )
3.274 * * [simplify]: iteration  done :  5000  enodes  (cost  205 )
3.274 * [simplify]: Simplified to:
   4
  4
  4
  4
  4
  4
  4
  4
  4
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  4
  4
  4
  4
  4
  4
  4
  4
  4
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (exp (pow d1 4))
  (pow d1 12)
  (pow d1 12)
  (pow d1 12)
  (* (cbrt (pow d1 4)) (cbrt (pow d1 4)))
  (cbrt (pow d1 4))
  (pow d1 12)
  (fabs (pow d1 2))
  (fabs (pow d1 2))
  (* (* (pow d1 3) (cbrt d1)) (cbrt d1))
  (* (pow d1 3) (sqrt d1))
  (pow d1 3)
  (* d1 d1)
  3
  3
  3
  3
  (pow d1 3)
  (pow d1 3)
  3
  3
  3
  3
  (* (log d1) 3)
  (* (log d1) 3)
  (* (log d1) 3)
  (exp (pow d1 3))
  (* d1 (pow d1 8))
  (* d1 (pow d1 8))
  (* d1 d1)
  d1
  (* d1 (pow d1 8))
  (sqrt (pow d1 3))
  (sqrt (pow d1 3))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 (* (cbrt d1) (* d1 (cbrt d1))))
  (* (* d1 (sqrt d1)) d1)
  (* d1 d1)
  (* d1 d1)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
3.275 * * * [progress]: adding candidates to table
3.308 * * [progress]: iteration 3 / 4
3.308 * * * [progress]: picking best candidate
3.311 * * * * [pick]: Picked  #<alt (λ (d1) (cbrt (pow d1 12)))>
3.311 * * * [progress]: localizing error
3.315 * * * [progress]: generating rewritten candidates
3.315 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.317 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.320 * * * [progress]: generating series expansions
3.320 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.321 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
3.321 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.321 * [taylor]: Taking taylor expansion of d1 in d1
3.321 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.321 * [taylor]: Taking taylor expansion of d1 in d1
3.322 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.322 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.322 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.322 * [taylor]: Taking taylor expansion of d1 in d1
3.322 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.322 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.322 * [taylor]: Taking taylor expansion of d1 in d1
3.323 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.323 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.323 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.323 * [taylor]: Taking taylor expansion of d1 in d1
3.323 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.323 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.323 * [taylor]: Taking taylor expansion of d1 in d1
3.324 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.324 * [approximate]: Taking taylor expansion of (pow d1 12) in (d1) around 0
3.324 * [taylor]: Taking taylor expansion of (pow d1 12) in d1
3.324 * [taylor]: Taking taylor expansion of d1 in d1
3.324 * [taylor]: Taking taylor expansion of (pow d1 12) in d1
3.324 * [taylor]: Taking taylor expansion of d1 in d1
3.326 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 12) in (d1) around 0
3.326 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 12) in d1
3.326 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.326 * [taylor]: Taking taylor expansion of d1 in d1
3.326 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 12) in d1
3.326 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
3.326 * [taylor]: Taking taylor expansion of d1 in d1
3.331 * [approximate]: Taking taylor expansion of (pow (/ -1 d1) 12) in (d1) around 0
3.331 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 12) in d1
3.331 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
3.331 * [taylor]: Taking taylor expansion of -1 in d1
3.331 * [taylor]: Taking taylor expansion of d1 in d1
3.331 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 12) in d1
3.331 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
3.331 * [taylor]: Taking taylor expansion of -1 in d1
3.331 * [taylor]: Taking taylor expansion of d1 in d1
3.333 * * * [progress]: simplifying candidates
3.333 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (pow d1 12)))
  (exp (cbrt (pow d1 12)))
  (cbrt (pow (* (cbrt d1) (cbrt d1)) 12))
  (cbrt (pow (cbrt d1) 12))
  (cbrt (pow (sqrt d1) 12))
  (cbrt (pow (sqrt d1) 12))
  (cbrt (pow 1 12))
  (cbrt (pow d1 12))
  (cbrt (* (cbrt (pow d1 12)) (cbrt (pow d1 12))))
  (cbrt (cbrt (pow d1 12)))
  (cbrt (sqrt (pow d1 12)))
  (cbrt (sqrt (pow d1 12)))
  (cbrt 1)
  (cbrt (pow d1 12))
  (cbrt (pow d1 (/ 12 2)))
  (cbrt (pow d1 (/ 12 2)))
  (* (cbrt (cbrt (pow d1 12))) (cbrt (cbrt (pow d1 12))))
  (cbrt (cbrt (pow d1 12)))
  (* (* (cbrt (pow d1 12)) (cbrt (pow d1 12))) (cbrt (pow d1 12)))
  (sqrt (cbrt (pow d1 12)))
  (sqrt (cbrt (pow d1 12)))
  (* (log d1) 12)
  (* (log d1) 12)
  (* 1 12)
  (pow d1 (* (cbrt 12) (cbrt 12)))
  (pow d1 (sqrt 12))
  (pow d1 1)
  (pow (* (cbrt d1) (cbrt d1)) 12)
  (pow (cbrt d1) 12)
  (pow (sqrt d1) 12)
  (pow (sqrt d1) 12)
  (pow 1 12)
  (pow d1 12)
  (log (pow d1 12))
  (exp (pow d1 12))
  (* (cbrt (pow d1 12)) (cbrt (pow d1 12)))
  (cbrt (pow d1 12))
  (* (* (pow d1 12) (pow d1 12)) (pow d1 12))
  (sqrt (pow d1 12))
  (sqrt (pow d1 12))
  (pow d1 (/ 12 2))
  (pow d1 (/ 12 2))
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 12)
  (pow d1 12)
  (pow d1 12)
3.335 * * [simplify]: iteration  0 :  46  enodes  (cost  242 )
3.340 * * [simplify]: iteration  1 :  83  enodes  (cost  220 )
3.348 * * [simplify]: iteration  2 :  163  enodes  (cost  210 )
3.368 * * [simplify]: iteration  3 :  423  enodes  (cost  207 )
3.530 * * [simplify]: iteration  4 :  1550  enodes  (cost  201 )
4.115 * * [simplify]: iteration  done :  5001  enodes  (cost  201 )
4.115 * [simplify]: Simplified to:
   (log (cbrt (pow d1 12)))
  (exp (cbrt (pow d1 12)))
  (cbrt (pow (* (cbrt d1) (cbrt d1)) 12))
  (cbrt (pow d1 4))
  (cbrt (pow d1 6))
  (cbrt (pow d1 6))
  1
  (cbrt (pow d1 12))
  (cbrt (* (cbrt (pow d1 12)) (cbrt (pow d1 12))))
  (cbrt (cbrt (pow d1 12)))
  (cbrt (sqrt (pow d1 12)))
  (cbrt (sqrt (pow d1 12)))
  1
  (cbrt (pow d1 12))
  (cbrt (pow d1 6))
  (cbrt (pow d1 6))
  (* (cbrt (cbrt (pow d1 12))) (cbrt (cbrt (pow d1 12))))
  (cbrt (cbrt (pow d1 12)))
  (pow d1 12)
  (sqrt (cbrt (pow d1 12)))
  (sqrt (cbrt (pow d1 12)))
  (* (log d1) 12)
  (* (log d1) 12)
  12
  (pow d1 (* (cbrt 12) (cbrt 12)))
  (pow d1 (sqrt 12))
  d1
  (pow (* (cbrt d1) (cbrt d1)) 12)
  (pow d1 4)
  (pow d1 6)
  (pow d1 6)
  1
  (pow d1 12)
  (* (log d1) 12)
  (exp (pow d1 12))
  (* (cbrt (pow d1 12)) (cbrt (pow d1 12)))
  (cbrt (pow d1 12))
  (pow (pow d1 12) 3)
  (sqrt (pow d1 12))
  (sqrt (pow d1 12))
  (pow d1 6)
  (pow d1 6)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 12)
  (pow d1 12)
  (pow d1 12)
4.115 * * * [progress]: adding candidates to table
4.160 * [progress]: [Phase 3 of 3] Extracting.
4.160 * * [regime]: Finding splitpoints for: (#<alt (λ (d1) (cbrt (pow d1 12)))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))> #<alt (λ (d1) (pow d1 4))>)
4.161 * * * [regime-changes]: Trying 2 branch expressions: ((* (* (* d1 d1) d1) d1) d1)
4.161 * * * * [regimes]: Trying to branch on (* (* (* d1 d1) d1) d1) from (#<alt (λ (d1) (cbrt (pow d1 12)))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))> #<alt (λ (d1) (pow d1 4))>)
4.189 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1) (cbrt (pow d1 12)))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))> #<alt (λ (d1) (pow d1 4))>)
4.217 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
4.218 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (pow d1 4)
4.218 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
4.218 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
4.218 * [simplify]: Simplified to:
   (pow d1 4)
5.271 * [regime-testing]: End program error score: 0.0005000625078134767
5.336 * [regime-testing]: Target error score: 0.0005000625078134767