14.970 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* d1 d1) d1) d1)
0.019 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
0.020 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
0.021 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
0.022 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.024 * * [simplify]: iteration  4 :  33  enodes  (cost  3 )
0.028 * * [simplify]: iteration  5 :  59  enodes  (cost  3 )
0.037 * * [simplify]: iteration  6 :  130  enodes  (cost  3 )
0.076 * * [simplify]: iteration  7 :  344  enodes  (cost  3 )
0.419 * * [simplify]: iteration  8 :  1268  enodes  (cost  3 )
1.910 * * [simplify]: iteration  done :  5001  enodes  (cost  3 )
1.910 * [simplify]: Simplified to:
   (pow d1 4)
1.919 * * [progress]: iteration 1 / 4
1.919 * * * [progress]: picking best candidate
1.927 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 4))>
1.927 * * * [progress]: localizing error
1.930 * * * [progress]: generating rewritten candidates
1.930 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.932 * * * [progress]: generating series expansions
1.932 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.932 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
1.932 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.932 * [taylor]: Taking taylor expansion of d1 in d1
1.932 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.932 * [taylor]: Taking taylor expansion of d1 in d1
1.933 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 4) in (d1) around 0
1.933 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 4) in d1
1.933 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.933 * [taylor]: Taking taylor expansion of d1 in d1
1.933 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 4) in d1
1.933 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.933 * [taylor]: Taking taylor expansion of d1 in d1
1.935 * [approximate]: Taking taylor expansion of (pow (/ -1 d1) 4) in (d1) around 0
1.935 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 4) in d1
1.935 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
1.935 * [taylor]: Taking taylor expansion of -1 in d1
1.935 * [taylor]: Taking taylor expansion of d1 in d1
1.935 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 4) in d1
1.935 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
1.935 * [taylor]: Taking taylor expansion of -1 in d1
1.935 * [taylor]: Taking taylor expansion of d1 in d1
1.936 * * * [progress]: simplifying candidates
1.936 * [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)
1.937 * * [simplify]: iteration  0 :  30  enodes  (cost  109 )
1.942 * * [simplify]: iteration  1 :  60  enodes  (cost  94 )
1.950 * * [simplify]: iteration  2 :  109  enodes  (cost  89 )
1.967 * * [simplify]: iteration  3 :  241  enodes  (cost  87 )
2.029 * * [simplify]: iteration  4 :  495  enodes  (cost  87 )
2.268 * * [simplify]: iteration  5 :  1297  enodes  (cost  87 )
3.284 * * [simplify]: iteration  done :  5000  enodes  (cost  87 )
3.284 * [simplify]: Simplified to:
   (log (pow d1 4))
  (log (pow d1 4))
  4
  (pow d1 (* (cbrt 4) (cbrt 4)))
  (pow d1 2)
  d1
  (pow (cbrt d1) 8)
  (pow (cbrt d1) 4)
  (pow d1 2)
  (pow d1 2)
  1
  (pow d1 4)
  (log (pow 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))
  (pow d1 2)
  (pow d1 2)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
3.285 * * * [progress]: adding candidates to table
3.304 * * [progress]: iteration 2 / 4
3.304 * * * [progress]: picking best candidate
3.306 * * * * [pick]: Picked  #<alt (λ (d1) (* (* (* d1 d1) d1) d1))>
3.306 * * * [progress]: localizing error
3.310 * * * [progress]: generating rewritten candidates
3.310 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.322 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.330 * * * [progress]: generating series expansions
3.330 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.331 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
3.331 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.331 * [taylor]: Taking taylor expansion of d1 in d1
3.331 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.331 * [taylor]: Taking taylor expansion of d1 in d1
3.332 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.332 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.332 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.332 * [taylor]: Taking taylor expansion of d1 in d1
3.332 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.332 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.332 * [taylor]: Taking taylor expansion of d1 in d1
3.333 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.333 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.333 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.333 * [taylor]: Taking taylor expansion of d1 in d1
3.333 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.333 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.333 * [taylor]: Taking taylor expansion of d1 in d1
3.334 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.334 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
3.334 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.334 * [taylor]: Taking taylor expansion of d1 in d1
3.334 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.334 * [taylor]: Taking taylor expansion of d1 in d1
3.335 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
3.335 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.335 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.335 * [taylor]: Taking taylor expansion of d1 in d1
3.335 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.335 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.335 * [taylor]: Taking taylor expansion of d1 in d1
3.336 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
3.336 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.336 * [taylor]: Taking taylor expansion of -1 in d1
3.336 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.336 * [taylor]: Taking taylor expansion of d1 in d1
3.337 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.337 * [taylor]: Taking taylor expansion of -1 in d1
3.337 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.337 * [taylor]: Taking taylor expansion of d1 in d1
3.338 * * * [progress]: simplifying candidates
3.338 * [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)
3.340 * * [simplify]: iteration  0 :  56  enodes  (cost  543 )
3.351 * * [simplify]: iteration  1 :  135  enodes  (cost  308 )
3.398 * * [simplify]: iteration  2 :  405  enodes  (cost  213 )
3.657 * * [simplify]: iteration  3 :  1097  enodes  (cost  205 )
5.821 * * [simplify]: iteration  4 :  3747  enodes  (cost  199 )
7.671 * * [simplify]: iteration  done :  5001  enodes  (cost  199 )
7.671 * [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 (* d1 d1))
  (fabs (* d1 d1))
  (* (pow d1 3) (* (cbrt d1) (cbrt d1)))
  (* (sqrt d1) (pow d1 3))
  (pow d1 3)
  (pow d1 2)
  3
  3
  3
  3
  (pow d1 3)
  (pow d1 3)
  3
  3
  3
  3
  (log (pow d1 3))
  (log (pow d1 3))
  (log (pow d1 3))
  (exp (pow d1 3))
  (pow d1 9)
  (pow d1 9)
  (pow d1 2)
  d1
  (pow d1 9)
  (sqrt (pow d1 3))
  (sqrt (pow d1 3))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* (* d1 d1) (* (cbrt d1) (cbrt d1)))
  (* (* d1 d1) (sqrt d1))
  (pow d1 2)
  (pow d1 2)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
7.671 * * * [progress]: adding candidates to table
7.710 * * [progress]: iteration 3 / 4
7.710 * * * [progress]: picking best candidate
7.712 * * * * [pick]: Picked  #<alt (λ (d1) (cbrt (pow d1 12)))>
7.712 * * * [progress]: localizing error
7.716 * * * [progress]: generating rewritten candidates
7.716 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
7.718 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.721 * * * [progress]: generating series expansions
7.721 * * * * [progress]: [ 1 / 2 ] generating series at (2)
7.721 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
7.721 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.721 * [taylor]: Taking taylor expansion of d1 in d1
7.721 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.721 * [taylor]: Taking taylor expansion of d1 in d1
7.722 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
7.722 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.722 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.722 * [taylor]: Taking taylor expansion of d1 in d1
7.722 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.722 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.722 * [taylor]: Taking taylor expansion of d1 in d1
7.723 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
7.723 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.723 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.723 * [taylor]: Taking taylor expansion of d1 in d1
7.723 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.723 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.723 * [taylor]: Taking taylor expansion of d1 in d1
7.724 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.725 * [approximate]: Taking taylor expansion of (pow d1 12) in (d1) around 0
7.725 * [taylor]: Taking taylor expansion of (pow d1 12) in d1
7.725 * [taylor]: Taking taylor expansion of d1 in d1
7.725 * [taylor]: Taking taylor expansion of (pow d1 12) in d1
7.725 * [taylor]: Taking taylor expansion of d1 in d1
7.726 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 12) in (d1) around 0
7.726 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 12) in d1
7.726 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.726 * [taylor]: Taking taylor expansion of d1 in d1
7.726 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 12) in d1
7.726 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
7.726 * [taylor]: Taking taylor expansion of d1 in d1
7.728 * [approximate]: Taking taylor expansion of (pow (/ -1 d1) 12) in (d1) around 0
7.728 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 12) in d1
7.728 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
7.728 * [taylor]: Taking taylor expansion of -1 in d1
7.728 * [taylor]: Taking taylor expansion of d1 in d1
7.728 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 12) in d1
7.728 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
7.728 * [taylor]: Taking taylor expansion of -1 in d1
7.728 * [taylor]: Taking taylor expansion of d1 in d1
7.730 * * * [progress]: simplifying candidates
7.730 * [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)
7.731 * * [simplify]: iteration  0 :  46  enodes  (cost  242 )
7.738 * * [simplify]: iteration  1 :  81  enodes  (cost  220 )
7.747 * * [simplify]: iteration  2 :  144  enodes  (cost  210 )
7.775 * * [simplify]: iteration  3 :  315  enodes  (cost  205 )
7.916 * * [simplify]: iteration  4 :  1163  enodes  (cost  193 )
8.940 * * [simplify]: iteration  done :  5000  enodes  (cost  193 )
8.940 * [simplify]: Simplified to:
   (log (cbrt (pow d1 12)))
  (exp (cbrt (pow d1 12)))
  (cbrt (pow d1 8))
  (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 (pow d1 12))
  (log (pow d1 12))
  12
  (pow d1 (* (cbrt 12) (cbrt 12)))
  (pow d1 (sqrt 12))
  d1
  (pow d1 8)
  (pow d1 4)
  (pow d1 6)
  (pow d1 6)
  1
  (pow d1 12)
  (log (pow 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)
8.940 * * * [progress]: adding candidates to table
8.985 * [progress]: [Phase 3 of 3] Extracting.
8.986 * * [regime]: Finding splitpoints for: (#<alt (λ (d1) (cbrt (pow d1 12)))> #<alt (λ (d1) (pow d1 4))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))>)
8.986 * * * [regime-changes]: Trying 2 branch expressions: ((* (* (* d1 d1) d1) d1) d1)
8.986 * * * * [regimes]: Trying to branch on (* (* (* d1 d1) d1) d1) from (#<alt (λ (d1) (cbrt (pow d1 12)))> #<alt (λ (d1) (pow d1 4))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))>)
9.010 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1) (cbrt (pow d1 12)))> #<alt (λ (d1) (pow d1 4))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))>)
9.036 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
9.036 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (pow d1 4)
9.037 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
9.037 * * [simplify]: iteration  done :  3  enodes  (cost  3 )
9.037 * [simplify]: Simplified to:
   (pow d1 4)
9.801 * [regime-testing]: End program error score: 0.0005000625078134767
9.862 * [regime-testing]: Target error score: 0.0005000625078134767