8.252 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (exp re) (cos im))
0.055 * * [simplify]: iteration  0 :  6  enodes  (cost  3 )
0.056 * * [simplify]: iteration  1 :  6  enodes  (cost  3 )
0.056 * [simplify]: Simplified to:
  (* (exp re) (cos im))
0.056 * * [progress]: iteration 1 / 4
0.056 * * * [progress]: picking best candidate
0.059 * * * * [pick]: Picked  #<alt (λ (re im) (* (exp re) (cos im)))>
0.059 * * * [progress]: localizing error
0.065 * * * [progress]: generating rewritten candidates
0.065 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.070 * * * [progress]: generating series expansions
0.070 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.070 * [approximate]: Approximating (* (cos im) (exp re)) in (re im) around 0
0.071 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.075 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.079 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.080 * [approximate]: Approximating (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0
0.081 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.084 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.088 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.094 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.094 * [approximate]: Approximating (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
0.096 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.099 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.102 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.108 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.108 * * * [progress]: simplifying candidates
0.108 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (exp re) (cos im))
  (+ re (log (cos im)))
  (log (* (exp re) (cos im)))
  (exp (* (exp re) (cos im)))
  (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im)))
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (* (exp re) 1)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
0.111 * * [simplify]: iteration  0 :  79  enodes  (cost  98 )
0.112 * * [simplify]: iteration  1 :  264  enodes  (cost  85 )
0.118 * * [simplify]: iteration  2 :  1020  enodes  (cost  85 )
0.134 * * [simplify]: iteration  3 :  4106  enodes  (cost  85 )
0.244 * * [simplify]: iteration  4 :  5002  enodes  (cost  85 )
0.245 * [simplify]: Simplified to:
  (* (exp re) (cos im))
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
  (exp (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (sqrt (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (exp re)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (exp re) (cos im))
  (* (exp re) (cos im))
0.245 * * * [progress]: adding candidates to table
0.275 * * [progress]: iteration 2 / 4
0.275 * * * [progress]: picking best candidate
0.279 * * * * [pick]: Picked  #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>
0.279 * * * [progress]: localizing error
0.288 * * * [progress]: generating rewritten candidates
0.288 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.289 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.291 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.293 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.301 * * * [progress]: generating series expansions
0.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.301 * [approximate]: Approximating (pow (exp re) 1/3) in (re) around 0
0.312 * [approximate]: Approximating (pow (exp (/ 1 re)) 1/3) in (re) around 0
0.354 * [approximate]: Approximating (pow (exp (/ -1 re)) 1/3) in (re) around 0
0.392 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.392 * [approximate]: Approximating (pow (exp re) 1/3) in (re) around 0
0.405 * [approximate]: Approximating (pow (exp (/ 1 re)) 1/3) in (re) around 0
0.442 * [approximate]: Approximating (pow (exp (/ -1 re)) 1/3) in (re) around 0
0.482 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.482 * [approximate]: Approximating (pow (exp re) 1/3) in (re) around 0
0.493 * [approximate]: Approximating (pow (exp (/ 1 re)) 1/3) in (re) around 0
0.530 * [approximate]: Approximating (pow (exp (/ -1 re)) 1/3) in (re) around 0
0.570 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.570 * [approximate]: Approximating (pow (pow (exp re) 2) 1/3) in (re) around 0
0.582 * [approximate]: Approximating (pow (pow (exp (/ 1 re)) 2) 1/3) in (re) around 0
0.629 * [approximate]: Approximating (pow (pow (exp (/ -1 re)) 2) 1/3) in (re) around 0
0.673 * * * [progress]: simplifying candidates
0.674 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (exp re)))
  (exp (cbrt (exp re)))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt 1)
  (cbrt (exp re))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (* (* (cbrt (exp re)) (cbrt (exp re))) (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (log (cbrt (exp re)))
  (exp (cbrt (exp re)))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt 1)
  (cbrt (exp re))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (* (* (cbrt (exp re)) (cbrt (exp re))) (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (log (cbrt (exp re)))
  (exp (cbrt (exp re)))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt 1)
  (cbrt (exp re))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (* (* (cbrt (exp re)) (cbrt (exp re))) (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (exp re) (exp re))
  (* (cbrt (exp re)) (cbrt (exp re)))
  (+ 1 1)
  (+ (log (cbrt (exp re))) (log (cbrt (exp re))))
  (log (* (cbrt (exp re)) (cbrt (exp re))))
  (exp (* (cbrt (exp re)) (cbrt (exp re))))
  (* (exp re) (exp re))
  (* (cbrt (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (* (cbrt (exp re)) (cbrt (exp re)))))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (* (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cbrt (exp re)))) (* (cbrt (exp re)) (cbrt (exp re))))
  (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
  (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
  (* (cbrt (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (* (cbrt (exp re)) (cbrt (exp re)))))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (exp re)) (cbrt (exp re)))
  (* (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re)))) (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re)))))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re))))
  (* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re))))
  (* 1 1)
  (* (cbrt (exp re)) (cbrt (exp re)))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (* (cbrt (sqrt (exp re))) (sqrt (cbrt (exp re))))
  (* (cbrt (sqrt (exp re))) (sqrt (cbrt (exp re))))
  (* (sqrt (cbrt (exp re))) (cbrt (sqrt (exp re))))
  (* (sqrt (cbrt (exp re))) (cbrt (sqrt (exp re))))
  (* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re))))
  (* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (exp re)) (cbrt (* (cbrt (exp re)) (cbrt (exp re)))))
  (* (cbrt (exp re)) (cbrt (sqrt (exp re))))
  (* (cbrt (exp re)) (cbrt 1))
  (* (cbrt (exp re)) (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re)))))
  (* (cbrt (exp re)) (sqrt (cbrt (exp re))))
  (* (cbrt (exp re)) 1)
  (* (cbrt (cbrt (exp re))) (cbrt (exp re)))
  (* (cbrt (sqrt (exp re))) (cbrt (exp re)))
  (* (cbrt (exp re)) (cbrt (exp re)))
  (* (cbrt (cbrt (exp re))) (cbrt (exp re)))
  (* (sqrt (cbrt (exp re))) (cbrt (exp re)))
  (* (cbrt (exp re)) (cbrt (exp re)))
  (+ 1 (+ (* 1/18 (pow re 2)) (* 1/3 re)))
  (exp (* 1/3 re))
  (exp (* 1/3 re))
  (+ 1 (+ (* 1/18 (pow re 2)) (* 1/3 re)))
  (exp (* 1/3 re))
  (exp (* 1/3 re))
  (+ 1 (+ (* 1/18 (pow re 2)) (* 1/3 re)))
  (exp (* 1/3 re))
  (exp (* 1/3 re))
  (+ 1 (+ (* 2/9 (pow re 2)) (* 2/3 re)))
  (pow (pow (exp re) 2) 1/3)
  (pow (pow (exp re) 2) 1/3)
0.677 * * [simplify]: iteration  0 :  112  enodes  (cost  437 )
0.680 * * [simplify]: iteration  1 :  362  enodes  (cost  400 )
0.689 * * [simplify]: iteration  2 :  1731  enodes  (cost  367 )
0.729 * * [simplify]: iteration  3 :  5001  enodes  (cost  339 )
0.731 * [simplify]: Simplified to:
  (* 1/3 re)
  (exp (cbrt (exp re)))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt (sqrt (exp re)))
  1
  (cbrt (exp re))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (exp re)
  (sqrt (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (* 1/3 re)
  (exp (cbrt (exp re)))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt (sqrt (exp re)))
  1
  (cbrt (exp re))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (exp re)
  (sqrt (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (* 1/3 re)
  (exp (cbrt (exp re)))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (cbrt (sqrt (exp re)))
  (cbrt (sqrt (exp re)))
  1
  (cbrt (exp re))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (cbrt (cbrt (exp re)))
  (exp re)
  (sqrt (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  2/3
  2
  (pow (exp re) 2)
  (exp (* 2/3 re))
  2
  (* 2/3 re)
  (* 2/3 re)
  (exp (* (cbrt (exp re)) (cbrt (exp re))))
  (pow (exp re) 2)
  (* (cbrt (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (* (cbrt (exp re)) (cbrt (exp re)))))
  (cbrt (* (cbrt (exp re)) (cbrt (exp re))))
  (pow (exp re) 2)
  (fabs (cbrt (exp re)))
  (fabs (cbrt (exp re)))
  (* (cbrt (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (* (cbrt (exp re)) (cbrt (exp re)))))
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  1
  (exp (* 2/3 re))
  (pow (cbrt (cbrt (exp re))) 4)
  (* (cbrt (cbrt (exp re))) (cbrt (cbrt (exp re))))
  (cbrt (exp re))
  (cbrt (exp re))
  1
  (exp (* 2/3 re))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (* (cbrt (sqrt (exp re))) (sqrt (cbrt (exp re))))
  (* (cbrt (sqrt (exp re))) (sqrt (cbrt (exp re))))
  (* (cbrt (sqrt (exp re))) (sqrt (cbrt (exp re))))
  (* (cbrt (sqrt (exp re))) (sqrt (cbrt (exp re))))
  (cbrt (exp re))
  (cbrt (exp re))
  2/3
  2
  (* (cbrt (exp re)) (cbrt (* (cbrt (exp re)) (cbrt (exp re)))))
  (* (cbrt (exp re)) (cbrt (sqrt (exp re))))
  (cbrt (exp re))
  (pow (cbrt (cbrt (exp re))) 5)
  (pow (sqrt (cbrt (exp re))) 3)
  (cbrt (exp re))
  (pow (cbrt (cbrt (exp re))) 4)
  (* (cbrt (exp re)) (cbrt (sqrt (exp re))))
  (exp (* 2/3 re))
  (pow (cbrt (cbrt (exp re))) 4)
  (pow (sqrt (cbrt (exp re))) 3)
  (exp (* 2/3 re))
  (+ 1 (+ (* 1/18 (pow re 2)) (* 1/3 re)))
  (cbrt (exp re))
  (cbrt (exp re))
  (+ 1 (+ (* 1/18 (pow re 2)) (* 1/3 re)))
  (cbrt (exp re))
  (cbrt (exp re))
  (+ 1 (+ (* 1/18 (pow re 2)) (* 1/3 re)))
  (cbrt (exp re))
  (cbrt (exp re))
  (+ 1 (+ (* 2/9 (pow re 2)) (* 2/3 re)))
  (exp (* 2/3 re))
  (exp (* 2/3 re))
0.731 * * * [progress]: adding candidates to table
0.893 * [progress]: [Phase 3 of 3] Extracting.
0.893 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>)
0.894 * * * [regime-changes]: Trying 5 branch expressions: ((cos im) (exp re) (* (exp re) (cos im)) im re)
0.894 * * * * [regimes]: Trying to branch on (cos im) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>)
0.926 * * * * [regimes]: Trying to branch on (exp re) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>)
0.958 * * * * [regimes]: Trying to branch on (* (exp re) (cos im)) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>)
0.997 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>)
1.029 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>)
1.063 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.063 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (exp re) (cos im))
1.064 * * [simplify]: iteration  0 :  6  enodes  (cost  3 )
1.064 * * [simplify]: iteration  1 :  6  enodes  (cost  3 )
1.064 * [simplify]: Simplified to:
  (* (exp re) (cos im))