2.669 * [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.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* d1 d1) d1) d1)
0.130 * * [simplify]: iteration  0 :  5129  enodes  (cost  3 )
0.131 * [simplify]: Simplified to:
   (pow d1 4)
0.138 * * [progress]: iteration 1 / 4
0.138 * * * [progress]: picking best candidate
0.142 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 4))>
0.142 * * * [progress]: localizing error
0.144 * * * [progress]: generating rewritten candidates
0.144 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.147 * * * [progress]: generating series expansions
0.147 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.147 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
0.147 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.147 * [taylor]: Taking taylor expansion of d1 in d1
0.147 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.147 * [taylor]: Taking taylor expansion of d1 in d1
0.148 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 4) in (d1) around 0
0.148 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 4) in d1
0.148 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.148 * [taylor]: Taking taylor expansion of d1 in d1
0.148 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 4) in d1
0.148 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.148 * [taylor]: Taking taylor expansion of d1 in d1
0.149 * [approximate]: Taking taylor expansion of (pow (/ -1 d1) 4) in (d1) around 0
0.149 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 4) in d1
0.149 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
0.149 * [taylor]: Taking taylor expansion of -1 in d1
0.149 * [taylor]: Taking taylor expansion of d1 in d1
0.149 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 4) in d1
0.149 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
0.149 * [taylor]: Taking taylor expansion of -1 in d1
0.149 * [taylor]: Taking taylor expansion of d1 in d1
0.150 * * * [progress]: simplifying candidates
0.151 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (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.187 * * [simplify]: iteration  0 :  4803  enodes  (cost  85 )
0.187 * * [simplify]: iteration  1 :  4803  enodes  (cost  85 )
0.188 * [simplify]: Simplified to:
   (* (log d1) 4)
  (* (log d1) 4)
  4
  (pow d1 (* (cbrt 4) (cbrt 4)))
  (* d1 d1)
  d1
  (pow (cbrt d1) 8)
  (* d1 (cbrt d1))
  (* 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 d1 12)
  (sqrt (pow d1 4))
  (sqrt (pow d1 4))
  (* d1 d1)
  (* d1 d1)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
0.188 * * * [progress]: adding candidates to table
0.207 * * [progress]: iteration 2 / 4
0.207 * * * [progress]: picking best candidate
0.211 * * * * [pick]: Picked  #<alt (λ (d1) (* (* (* d1 d1) d1) d1))>
0.211 * * * [progress]: localizing error
0.215 * * * [progress]: generating rewritten candidates
0.215 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.224 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.232 * * * [progress]: generating series expansions
0.232 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.233 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
0.233 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.233 * [taylor]: Taking taylor expansion of d1 in d1
0.233 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.233 * [taylor]: Taking taylor expansion of d1 in d1
0.233 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.234 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.234 * [taylor]: Taking taylor expansion of d1 in d1
0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.234 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.234 * [taylor]: Taking taylor expansion of d1 in d1
0.235 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
0.235 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.235 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.235 * [taylor]: Taking taylor expansion of d1 in d1
0.235 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.235 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.235 * [taylor]: Taking taylor expansion of d1 in d1
0.236 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.236 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
0.236 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
0.236 * [taylor]: Taking taylor expansion of d1 in d1
0.236 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
0.236 * [taylor]: Taking taylor expansion of d1 in d1
0.237 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
0.237 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
0.237 * [taylor]: Taking taylor expansion of d1 in d1
0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
0.237 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
0.237 * [taylor]: Taking taylor expansion of d1 in d1
0.239 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
0.239 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
0.239 * [taylor]: Taking taylor expansion of -1 in d1
0.239 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
0.239 * [taylor]: Taking taylor expansion of d1 in d1
0.239 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
0.239 * [taylor]: Taking taylor expansion of -1 in d1
0.239 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
0.239 * [taylor]: Taking taylor expansion of d1 in d1
0.240 * * * [progress]: simplifying candidates
0.241 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ 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)
0.275 * * [simplify]: iteration  0 :  4927  enodes  (cost  191 )
0.275 * * [simplify]: iteration  1 :  4927  enodes  (cost  191 )
0.276 * [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
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (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)
  (sqrt (pow d1 4))
  (sqrt (pow d1 4))
  (* (pow d1 3) (* (cbrt d1) (cbrt d1)))
  (pow d1 7/2)
  (pow d1 3)
  (* d1 d1)
  3
  3
  3
  3
  (pow d1 3)
  (pow d1 3)
  3
  3
  3
  3
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (pow d1 3))
  (pow d1 9)
  (pow d1 9)
  (* d1 d1)
  d1
  (pow d1 9)
  (sqrt (pow d1 3))
  (sqrt (pow d1 3))
  (pow d1 3/2)
  (pow d1 3/2)
  (* d1 (* d1 (* (cbrt d1) (cbrt d1))))
  (pow d1 5/2)
  (* d1 d1)
  (* d1 d1)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
0.277 * * * [progress]: adding candidates to table
0.515 * * [progress]: iteration 3 / 4
0.515 * * * [progress]: picking best candidate
0.517 * * * * [pick]: Picked  #<alt (λ (d1) (cbrt (pow d1 12)))>
0.517 * * * [progress]: localizing error
0.521 * * * [progress]: generating rewritten candidates
0.521 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.523 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.526 * * * [progress]: generating series expansions
0.526 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.526 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
0.526 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.526 * [taylor]: Taking taylor expansion of d1 in d1
0.526 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.526 * [taylor]: Taking taylor expansion of d1 in d1
0.527 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
0.527 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.527 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.527 * [taylor]: Taking taylor expansion of d1 in d1
0.527 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.527 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.527 * [taylor]: Taking taylor expansion of d1 in d1
0.529 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.529 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.529 * [taylor]: Taking taylor expansion of d1 in d1
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
0.529 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
0.529 * [taylor]: Taking taylor expansion of d1 in d1
0.530 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.530 * [approximate]: Taking taylor expansion of (pow d1 12) in (d1) around 0
0.530 * [taylor]: Taking taylor expansion of (pow d1 12) in d1
0.530 * [taylor]: Taking taylor expansion of d1 in d1
0.530 * [taylor]: Taking taylor expansion of (pow d1 12) in d1
0.530 * [taylor]: Taking taylor expansion of d1 in d1
0.531 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 12) in (d1) around 0
0.531 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 12) in d1
0.531 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.531 * [taylor]: Taking taylor expansion of d1 in d1
0.531 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 12) in d1
0.531 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.531 * [taylor]: Taking taylor expansion of d1 in d1
0.533 * [approximate]: Taking taylor expansion of (pow (/ -1 d1) 12) in (d1) around 0
0.533 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 12) in d1
0.533 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
0.533 * [taylor]: Taking taylor expansion of -1 in d1
0.533 * [taylor]: Taking taylor expansion of d1 in d1
0.533 * [taylor]: Taking taylor expansion of (pow (/ -1 d1) 12) in d1
0.533 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1
0.533 * [taylor]: Taking taylor expansion of -1 in d1
0.533 * [taylor]: Taking taylor expansion of d1 in d1
0.535 * * * [progress]: simplifying candidates
0.536 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)
0.586 * * [simplify]: iteration  0 :  5361  enodes  (cost  191 )
0.588 * [simplify]: Simplified to:
   (log (cbrt (pow d1 12)))
  (exp (cbrt (pow d1 12)))
  (cbrt (pow d1 8))
  (cbrt (pow d1 4))
  (* d1 d1)
  (* d1 d1)
  (cbrt 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)))
  (cbrt 1)
  (cbrt (pow d1 12))
  (* d1 d1)
  (* d1 d1)
  (* (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)))
  (* 12 (log d1))
  (* 12 (log d1))
  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)
  (* 12 (log d1))
  (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)
0.588 * * * [progress]: adding candidates to table
0.634 * [progress]: [Phase 3 of 3] Extracting.
0.634 * * [regime]: Finding splitpoints for: (#<alt (λ (d1) (pow d1 4))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))> #<alt (λ (d1) (cbrt (pow d1 12)))>)
0.634 * * * [regime-changes]: Trying 2 branch expressions: ((* (* (* d1 d1) d1) d1) d1)
0.634 * * * * [regimes]: Trying to branch on (* (* (* d1 d1) d1) d1) from (#<alt (λ (d1) (pow d1 4))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))> #<alt (λ (d1) (cbrt (pow d1 12)))>)
0.659 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1) (pow d1 4))> #<alt (λ (d1) (* (* (* d1 d1) d1) d1))> #<alt (λ (d1) (cbrt (pow d1 12)))>)
0.686 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.686 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow d1 4)
0.687 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
0.687 * * [simplify]: iteration  1 :  3  enodes  (cost  3 )
0.687 * [simplify]: Simplified to:
   (pow d1 4)
1.458 * [regime-testing]: End program error score: 0.0005000625078134767
1.521 * [regime-testing]: Target error score: 0.0005000625078134767