7.645 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.148 * * * [progress]: [2/2] Setting up program.
0.152 * [progress]: [Phase 2 of 3] Improving.
0.153 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
0.154 * * [simplify]: iteration  0 :  18  enodes  (cost  7 )
0.155 * * [simplify]: iteration  1 :  40  enodes  (cost  7 )
0.157 * * [simplify]: iteration  2 :  88  enodes  (cost  7 )
0.159 * * [simplify]: iteration  3 :  141  enodes  (cost  7 )
0.161 * * [simplify]: iteration  4 :  365  enodes  (cost  7 )
0.167 * * [simplify]: iteration  5 :  780  enodes  (cost  7 )
0.173 * * [simplify]: iteration  6 :  1025  enodes  (cost  7 )
0.189 * * [simplify]: iteration  7 :  2309  enodes  (cost  7 )
0.223 * * [simplify]: iteration  8 :  5002  enodes  (cost  7 )
0.223 * [simplify]: Simplified to:
  (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
0.223 * * [progress]: iteration 1 / 4
0.223 * * * [progress]: picking best candidate
0.227 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))>
0.227 * * * [progress]: localizing error
0.237 * * * [progress]: generating rewritten candidates
0.237 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.243 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.258 * * * [progress]: generating series expansions
0.258 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.258 * [approximate]: Approximating (- (exp (neg im)) (exp im)) in (im) around 0
0.291 * [approximate]: Approximating (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
0.297 * [approximate]: Approximating (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0
0.303 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.303 * [approximate]: Approximating (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in (re im) around 0
0.304 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in im
0.308 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in im
0.315 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in im
0.331 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in im
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in im
0.350 * [approximate]: Approximating (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0
0.353 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
0.357 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
0.365 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
0.376 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
0.376 * [approximate]: Approximating (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0
0.379 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
0.382 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
0.390 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
0.400 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
0.400 * * * [progress]: simplifying candidates
0.401 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (exp (exp (neg im))) (exp (exp im)))
  (log (- (exp (neg im)) (exp im)))
  (exp (- (exp (neg im)) (exp im)))
  (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im))))
  (cbrt (- (exp (neg im)) (exp im)))
  (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)))
  (sqrt (- (exp (neg im)) (exp im)))
  (sqrt (- (exp (neg im)) (exp im)))
  (- (pow (exp (neg im)) 3) (pow (exp im) 3))
  (+ (* (exp (neg im)) (exp (neg im))) (+ (* (exp im) (exp im)) (* (exp (neg im)) (exp im))))
  (neg (exp im))
  (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im)))
  (+ (exp (neg im)) (exp im))
  (+ (sqrt (exp (neg im))) (sqrt (exp im)))
  (- (sqrt (exp (neg im))) (sqrt (exp im)))
  (- (exp (neg im)) (exp im))
  (neg (exp im))
  (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
  (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
  (+ (+ (log 0.5) (log (sin re))) (log (- (exp (neg im)) (exp im))))
  (+ (log (* 0.5 (sin re))) (log (- (exp (neg im)) (exp im))))
  (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (exp (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im))))
  (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im))))
  (* (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))))
  (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (* (* (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (* (* 0.5 (sin re)) (exp (neg im)))
  (* (* 0.5 (sin re)) (neg (exp im)))
  (* (* 0.5 (sin re)) (exp (neg im)))
  (* (* 0.5 (sin re)) (neg (exp im)))
  (* (exp (neg im)) (* 0.5 (sin re)))
  (* (neg (exp im)) (* 0.5 (sin re)))
  (* (exp (neg im)) (* 0.5 (sin re)))
  (* (neg (exp im)) (* 0.5 (sin re)))
  (* (* 0.5 (sin re)) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))))
  (* (* 0.5 (sin re)) (sqrt (- (exp (neg im)) (exp im))))
  (* (* 0.5 (sin re)) 1)
  (* (* 0.5 (sin re)) (+ (sqrt (exp (neg im))) (sqrt (exp im))))
  (* (* 0.5 (sin re)) 1)
  (* (sin re) (- (exp (neg im)) (exp im)))
  (* (* 0.5 (sin re)) (- (pow (exp (neg im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (sin re)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im))))
  (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (- (exp (neg im)) (exp im))
  (- (exp (* -1 im)) (exp im))
  (* -1.0 (* re im))
  (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re)))
  (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im))))
0.404 * * [simplify]: iteration  0 :  241  enodes  (cost  393 )
0.409 * * [simplify]: iteration  1 :  1046  enodes  (cost  329 )
0.433 * * [simplify]: iteration  2 :  5001  enodes  (cost  328 )
0.435 * [simplify]: Simplified to:
  (exp (- (exp (neg im)) (exp im)))
  (log (- (exp (* -1 im)) (exp im)))
  (exp (- (exp (neg im)) (exp im)))
  (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im))))
  (cbrt (- (exp (neg im)) (exp im)))
  (pow (- (exp (* -1 im)) (exp im)) 3)
  (sqrt (- (exp (neg im)) (exp im)))
  (sqrt (- (exp (neg im)) (exp im)))
  (- (pow (exp (neg im)) 3) (pow (exp im) 3))
  (+ (+ (pow (exp -1) (* 2 im)) 1) (exp (+ im im)))
  (neg (exp im))
  (+ (neg (exp (+ im im))) (pow (exp -1) (* 2 im)))
  (+ (exp (neg im)) (exp im))
  (+ (sqrt (exp (neg im))) (sqrt (exp im)))
  (- (sqrt (exp (neg im))) (sqrt (exp im)))
  (- (exp (* -1 im)) (exp im))
  (neg (exp im))
  (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re)))
  (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re)))
  (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (exp (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (pow (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) 3)
  (pow (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) 3)
  (* (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))))
  (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (pow (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) 3)
  (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (neg (exp im)))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (neg (exp im)))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (neg (exp im)))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (neg (exp im)))
  (* (* 0.5 (sin re)) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))))
  (* (* 0.5 (sin re)) (sqrt (- (exp (neg im)) (exp im))))
  (* 0.5 (sin re))
  (* (* 0.5 (sin re)) (+ (sqrt (exp (neg im))) (sqrt (exp im))))
  (* 0.5 (sin re))
  (* (sin re) (- (exp (* -1 im)) (exp im)))
  (* (* 0.5 (sin re)) (- (pow (exp (neg im)) 3) (pow (exp im) 3)))
  (* (+ (* 0.5 (pow (exp im) -2)) (* 0.5 (neg (exp (+ im im))))) (sin re))
  (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (- (exp (* -1 im)) (exp im))
  (- (exp (* -1 im)) (exp im))
  (* -1.0 (* re im))
  (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re)))
  (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re)))
0.435 * * * [progress]: adding candidates to table
0.543 * * [progress]: iteration 2 / 4
0.543 * * * [progress]: picking best candidate
0.556 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))>
0.556 * * * [progress]: localizing error
0.574 * * * [progress]: generating rewritten candidates
0.574 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.580 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.591 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
0.596 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.606 * * * [progress]: generating series expansions
0.606 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.606 * [approximate]: Approximating (* -1/3 (pow im 3)) in (im) around 0
0.621 * [approximate]: Approximating (/ -1/3 (pow im 3)) in (im) around 0
0.635 * [approximate]: Approximating (/ 1/3 (pow im 3)) in (im) around 0
0.653 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.654 * [approximate]: Approximating (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in (re im) around 0
0.655 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im
0.659 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im
0.668 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im
0.681 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im
0.698 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im
0.699 * [approximate]: Approximating (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0
0.704 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
0.712 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
0.725 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
0.747 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
0.771 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
0.785 * [approximate]: Approximating (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in (re im) around 0
0.791 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im
0.799 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im
0.814 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im
0.833 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im
0.858 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im
0.872 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
0.872 * [approximate]: Approximating (* 1/60 (pow im 5)) in (im) around 0
0.894 * [approximate]: Approximating (/ 1/60 (pow im 5)) in (im) around 0
0.914 * [approximate]: Approximating (/ -1/60 (pow im 5)) in (im) around 0
0.934 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.934 * [approximate]: Approximating (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in (im) around 0
0.950 * [approximate]: Approximating (neg (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0
0.982 * [approximate]: Approximating (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0
1.009 * * * [progress]: simplifying candidates
1.011 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (log -1/3) (* (log im) 3))
  (+ (log -1/3) (* (log im) 3))
  (+ (log -1/3) (log (pow im 3)))
  (log (* -1/3 (pow im 3)))
  (exp (* -1/3 (pow im 3)))
  (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3)))
  (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3))))
  (cbrt (* -1/3 (pow im 3)))
  (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3)))
  (sqrt (* -1/3 (pow im 3)))
  (sqrt (* -1/3 (pow im 3)))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (sqrt (pow im 3)))
  (* (sqrt -1/3) (sqrt (pow im 3)))
  (* (sqrt -1/3) (pow im (/ 3 2)))
  (* (sqrt -1/3) (pow im (/ 3 2)))
  (* -1/3 (pow (* (cbrt im) (cbrt im)) 3))
  (* -1/3 (pow (sqrt im) 3))
  (* -1/3 (pow 1 3))
  (* -1/3 (* im im))
  (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3))))
  (* -1/3 (pow (* (cbrt im) (cbrt im)) 3))
  (* -1/3 (pow (sqrt im) 3))
  (* -1/3 (pow 1 3))
  (* -1/3 im)
  (* -1/3 (sqrt (pow im 3)))
  (* -1/3 1)
  (* -1/3 (pow im (/ 3 2)))
  (* (cbrt -1/3) (pow im 3))
  (* (sqrt -1/3) (pow im 3))
  (* -1/3 (pow im 3))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ (+ (log 0.5) (log (sin re))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ (log (* 0.5 (sin re))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (sin re)) (* -1/3 (pow im 3)))
  (* (* 0.5 (sin re)) (neg (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (sin re)) (* -1/3 (pow im 3)))
  (* (* 0.5 (sin re)) (neg (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* -1/3 (pow im 3)) (* 0.5 (sin re)))
  (* (neg (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))
  (* (* -1/3 (pow im 3)) (* 0.5 (sin re)))
  (* (neg (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))
  (* (* 0.5 (sin re)) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (sin re)) 1)
  (* (sin re) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ (log 1/60) (* (log im) 5))
  (+ (log 1/60) (* (log im) 5))
  (+ (log 1/60) (log (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (exp (* 1/60 (pow im 5)))
  (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5)))
  (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5))))
  (cbrt (* 1/60 (pow im 5)))
  (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5)))
  (sqrt (* 1/60 (pow im 5)))
  (sqrt (* 1/60 (pow im 5)))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (pow im (/ 5 2)))
  (* (sqrt 1/60) (pow im (/ 5 2)))
  (* 1/60 (pow (* (cbrt im) (cbrt im)) 5))
  (* 1/60 (pow (sqrt im) 5))
  (* 1/60 (pow 1 5))
  (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5))))
  (* 1/60 (sqrt (pow im 5)))
  (* 1/60 1)
  (* 1/60 (pow im (/ 5 2)))
  (* (cbrt 1/60) (pow im 5))
  (* (sqrt 1/60) (pow im 5))
  (* 1/60 (pow im 5))
  (/ (exp (* -1/3 (pow im 3))) (* (exp (* 1/60 (pow im 5))) (exp (* 2 im))))
  (/ (exp (* -1/3 (pow im 3))) (exp (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))
  (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (neg (+ (* 1/60 (pow im 5)) (* 2 im)))
  (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))
  (neg (+ (* 1/60 (pow im 5)) (* 2 im)))
  (* -1/3 (pow im 3))
  (* -1/3 (pow im 3))
  (* -1/3 (pow im 3))
  (* -1.0 (* re im))
  (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
  (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
1.018 * * [simplify]: iteration  0 :  447  enodes  (cost  758 )
1.028 * * [simplify]: iteration  1 :  2066  enodes  (cost  657 )
1.071 * * [simplify]: iteration  2 :  5001  enodes  (cost  657 )
1.076 * [simplify]: Simplified to:
  (log (* -1/3 (pow im 3)))
  (log (* -1/3 (pow im 3)))
  (log (* -1/3 (pow im 3)))
  (log (* -1/3 (pow im 3)))
  (exp (* -1/3 (pow im 3)))
  (pow (* -1/3 (pow im 3)) 3)
  (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3))))
  (cbrt (* -1/3 (pow im 3)))
  (pow (* -1/3 (pow im 3)) 3)
  (sqrt (* -1/3 (pow im 3)))
  (sqrt (* -1/3 (pow im 3)))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (pow (sqrt im) 3))
  (* (sqrt -1/3) (sqrt (pow im 3)))
  (* (sqrt -1/3) (sqrt (pow im 3)))
  (* (sqrt -1/3) (pow im 3/2))
  (* (sqrt -1/3) (pow im 3/2))
  (* (* -1/3 im) im)
  (* -1/3 (pow (sqrt im) 3))
  -1/3
  (* (* -1/3 im) im)
  (* (* -1/3 im) im)
  (* (* -1/3 im) im)
  (* -1/3 (pow (sqrt im) 3))
  -1/3
  (* -1/3 im)
  (* -1/3 (sqrt (pow im 3)))
  -1/3
  (* -1/3 (pow im 3/2))
  (* (cbrt -1/3) (pow im 3))
  (* (sqrt -1/3) (pow im 3))
  (* -1/3 (pow im 3))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (pow (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3)
  (pow (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3)
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (pow (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3)
  (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (sin re)) (* -1/3 (pow im 3)))
  (* (* (+ (* -2 im) (* -1/60 (pow im 5))) (sin re)) 0.5)
  (* (* 0.5 (sin re)) (* -1/3 (pow im 3)))
  (* (* (+ (* -2 im) (* -1/60 (pow im 5))) (sin re)) 0.5)
  (* (* 0.5 (sin re)) (* -1/3 (pow im 3)))
  (* (* (+ (* -2 im) (* -1/60 (pow im 5))) (sin re)) 0.5)
  (* (* 0.5 (sin re)) (* -1/3 (pow im 3)))
  (* (* (+ (* -2 im) (* -1/60 (pow im 5))) (sin re)) 0.5)
  (* (* 0.5 (sin re)) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* 0.5 (sin re))
  (* (sin re) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (* 1/60 (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (exp (* 1/60 (pow im 5)))
  (pow (* 1/60 (pow im 5)) 3)
  (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5))))
  (cbrt (* 1/60 (pow im 5)))
  (pow (* 1/60 (pow im 5)) 3)
  (sqrt (* 1/60 (pow im 5)))
  (sqrt (* 1/60 (pow im 5)))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (pow im 5/2))
  (* (sqrt 1/60) (pow im 5/2))
  (* 1/60 (pow (* (cbrt im) (cbrt im)) 5))
  (* 1/60 (pow (sqrt im) 5))
  1/60
  (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5))))
  (* 1/60 (sqrt (pow im 5)))
  1/60
  (* 1/60 (pow im 5/2))
  (* (cbrt 1/60) (pow im 5))
  (* (sqrt 1/60) (pow im 5))
  (* 1/60 (pow im 5))
  (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (pow (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 3)
  (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))
  (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (+ (* 1/60 (pow im 5)) (* 2 im)) (* -1/3 (pow im 3)))) (* 1/9 (* (pow im 3) (pow im 3))))
  (+ (* -2 im) (* -1/60 (pow im 5)))
  (+ (neg (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))
  (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))
  (+ (* -2 im) (* -1/60 (pow im 5)))
  (* -1/3 (pow im 3))
  (* -1/3 (pow im 3))
  (* -1/3 (pow im 3))
  (* -1.0 (* re im))
  (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
  (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
1.076 * * * [progress]: adding candidates to table
1.490 * * [progress]: iteration 3 / 4
1.490 * * * [progress]: picking best candidate
1.537 * * * * [pick]: Picked  #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))>
1.537 * * * [progress]: localizing error
1.561 * * * [progress]: generating rewritten candidates
1.561 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.581 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.590 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.601 * * * [progress]: generating series expansions
1.601 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.602 * [approximate]: Approximating (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in (re im) around 0
1.622 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
1.643 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
1.669 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
1.731 * [approximate]: Approximating (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in (re im) around 0
1.744 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
1.757 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
1.778 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
1.811 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
1.852 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
1.854 * [approximate]: Approximating (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in (re im) around 0
1.867 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
1.879 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
1.904 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
1.934 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
1.980 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
1.981 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.981 * [approximate]: Approximating (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in (re im) around 0
2.001 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
2.018 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
2.044 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
2.106 * [approximate]: Approximating (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in (re im) around 0
2.119 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.136 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.157 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.187 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.231 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.233 * [approximate]: Approximating (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in (re im) around 0
2.246 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.259 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.279 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.313 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.354 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.356 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.356 * [approximate]: Approximating (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in (re im) around 0
2.380 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
2.397 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
2.422 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
2.484 * [approximate]: Approximating (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in (re im) around 0
2.497 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.510 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.535 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.566 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.608 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
2.610 * [approximate]: Approximating (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in (re im) around 0
2.628 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.641 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.662 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.693 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.740 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
2.742 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.743 * [approximate]: Approximating (* (pow (* (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) (pow (sin re) 2)) 1/3) (pow (cbrt -0.5) 2)) in (re im) around 0
2.759 * [taylor]: Taking taylor expansion of (* (pow (* (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) (pow (sin re) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
2.779 * [taylor]: Taking taylor expansion of (* (pow (* (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) (pow (sin re) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
2.818 * [taylor]: Taking taylor expansion of (* (pow (* (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) (pow (sin re) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
2.919 * [approximate]: Approximating (* (pow (* (pow (sin (/ 1 re)) 2) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) 1/3) (pow (cbrt -0.5) 2)) in (re im) around 0
2.936 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (/ 1 re)) 2) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
2.957 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (/ 1 re)) 2) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
2.982 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (/ 1 re)) 2) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
3.018 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (/ 1 re)) 2) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
3.071 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (/ 1 re)) 2) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) 1/3) (pow (cbrt -0.5) 2)) in im
3.074 * [approximate]: Approximating (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) (pow (sin (/ -1 re)) 2)) 1/3)) in (re im) around 0
3.091 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) (pow (sin (/ -1 re)) 2)) 1/3)) in im
3.108 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) (pow (sin (/ -1 re)) 2)) 1/3)) in im
3.137 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) (pow (sin (/ -1 re)) 2)) 1/3)) in im
3.174 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) (pow (sin (/ -1 re)) 2)) 1/3)) in im
3.229 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) (pow (sin (/ -1 re)) 2)) 1/3)) in im
3.232 * * * [progress]: simplifying candidates
3.233 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (+ 1 1)
  (+ (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (log (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (exp (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))
  (cbrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (sqrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (sqrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))))
  (* (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))))
  (* (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))
  (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* 1 1)
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* 0.5 (sin re))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 1)
  (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (- (+ (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (* 1/18 (* (pow im 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re))))))))) (* 1/18 (* (pow re 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (- (+ (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (* 1/18 (* (pow im 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re))))))))) (* 1/18 (* (pow re 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (- (+ (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (* 1/18 (* (pow im 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re))))))))) (* 1/18 (* (pow re 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (- (+ (* 1/9 (* (pow (cbrt -0.5) 2) (* (exp (* 1/3 (+ (* 2 (log im)) (+ (log 4) (* 2 (log re)))))) (pow im 2)))) (* (pow (cbrt -0.5) 2) (exp (* 1/3 (+ (* 2 (log im)) (+ (log 4) (* 2 (log re)))))))) (* 1/9 (* (pow re 2) (* (pow (cbrt -0.5) 2) (exp (* 1/3 (+ (* 2 (log im)) (+ (log 4) (* 2 (log re))))))))))
  (+ (* 40/3 (/ (* (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ 1 im)))))) (pow (cbrt -0.5) 2)) (pow im 2))) (* (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ 1 im)))))) (pow (cbrt -0.5) 2)))
  (+ (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ -1 im))))))) (* 40/3 (/ (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ -1 im))))))) (pow im 2))))
3.244 * * [simplify]: iteration  0 :  413  enodes  (cost  1954 )
3.252 * * [simplify]: iteration  1 :  1680  enodes  (cost  1759 )
3.286 * * [simplify]: iteration  2 :  5002  enodes  (cost  1624 )
3.293 * [simplify]: Simplified to:
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  2/3
  2
  (pow (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 6)
  (pow (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 4)
  2
  (* 2 (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* 2 (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (pow (exp 1) (pow (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 4))
  (pow (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 6)
  (* (cbrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))
  (cbrt (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (pow (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 6)
  (fabs (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (fabs (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))))
  (* (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))
  (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (pow (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 4)
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  1
  (pow (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 4)
  (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  2/3
  2
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* 0.5 (sin re))))
  (* (pow (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 4) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (pow (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 3)
  (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 4)
  (pow (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 3)
  (pow (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) 4)
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))))
  (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (+ (+ (* 1/18 (pow im 2)) 1) (* -1/18 (pow re 2))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (* (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (+ (+ (* 1/18 (pow im 2)) 1) (* -1/18 (pow re 2))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (* (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (+ (+ (* 1/18 (pow im 2)) 1) (* -1/18 (pow re 2))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (- (+ (* 1/9 (* (pow (cbrt -0.5) 2) (* (exp (* 1/3 (+ (* 2 (log im)) (+ (log 4) (* 2 (log re)))))) (pow im 2)))) (* (pow (cbrt -0.5) 2) (exp (* 1/3 (+ (* 2 (log im)) (+ (log 4) (* 2 (log re)))))))) (* 1/9 (* (pow re 2) (* (pow (cbrt -0.5) 2) (exp (* 1/3 (+ (* 2 (log im)) (+ (log 4) (* 2 (log re))))))))))
  (+ (* 40/3 (/ (* (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ 1 im)))))) (pow (cbrt -0.5) 2)) (pow im 2))) (* (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ 1 im)))))) (pow (cbrt -0.5) 2)))
  (+ (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ -1 im))))))) (* 40/3 (/ (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (sin re) 2))) (* 10 (log (/ -1 im))))))) (pow im 2))))
3.294 * * * [progress]: adding candidates to table
3.676 * * [progress]: iteration 4 / 4
3.676 * * * [progress]: picking best candidate
3.727 * * * * [pick]: Picked  #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))>
3.727 * * * [progress]: localizing error
3.751 * * * [progress]: generating rewritten candidates
3.751 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.761 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.771 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.773 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
3.780 * * * [progress]: generating series expansions
3.780 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.781 * [approximate]: Approximating (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in (re im) around 0
3.804 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
3.821 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
3.846 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
3.908 * [approximate]: Approximating (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in (re im) around 0
3.921 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
3.934 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
3.955 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
3.988 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
4.029 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
4.030 * [approximate]: Approximating (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in (re im) around 0
4.047 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.060 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.080 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.111 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.155 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.157 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.157 * [approximate]: Approximating (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in (re im) around 0
4.177 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
4.194 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
4.223 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) 1/3) (cbrt -0.5)) in im
4.281 * [approximate]: Approximating (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in (re im) around 0
4.298 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
4.311 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
4.332 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
4.362 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
4.406 * [taylor]: Taking taylor expansion of (* (pow (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) 1/3) (cbrt -0.5)) in im
4.408 * [approximate]: Approximating (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in (re im) around 0
4.421 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.433 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.458 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.488 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.533 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) 1/3)) in im
4.534 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
4.534 * [approximate]: Approximating (* (cbrt 0.5) (pow (sin re) 1/3)) in (re) around 0
4.576 * [approximate]: Approximating (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in (re) around 0
4.636 * [approximate]: Approximating (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in (re) around 0
4.696 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
4.696 * [approximate]: Approximating (* (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) (cbrt -1)) in (im) around 0
4.760 * [approximate]: Approximating (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in (im) around 0
4.839 * [approximate]: Approximating (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in (im) around 0
4.902 * * * [progress]: simplifying candidates
4.903 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* 0.5 (sin re))))
  (exp (cbrt (* 0.5 (sin re))))
  (cbrt 0.5)
  (cbrt (sin re))
  (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re)))))
  (cbrt (cbrt (* 0.5 (sin re))))
  (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re))))
  (sqrt (cbrt (* 0.5 (sin re))))
  (sqrt (cbrt (* 0.5 (sin re))))
  (log (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt 1)
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (- (+ (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (* 1/18 (* (pow im 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re))))))))) (* 1/18 (* (pow re 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (- (+ (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (* 1/18 (* (pow im 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re))))))))) (* 1/18 (* (pow re 2) (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (- (* (cbrt 0.5) (pow re 1/3)) (+ (* 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3))) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3)))))
  (* (cbrt 0.5) (pow (sin re) 1/3))
  (* (cbrt 0.5) (pow (sin re) 1/3))
  (- (+ (* (cbrt -1) (exp (* 1/3 (+ (log im) (log 2))))) (* 1/18 (* (cbrt -1) (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))))) (* 1/3240 (* (cbrt -1) (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4)))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (pow im 4))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im)))))) (pow im 4))))
4.910 * * [simplify]: iteration  0 :  404  enodes  (cost  925 )
4.917 * * [simplify]: iteration  1 :  1362  enodes  (cost  835 )
4.944 * * [simplify]: iteration  2 :  5001  enodes  (cost  808 )
4.948 * [simplify]: Simplified to:
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* 0.5 (sin re)))
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (cbrt (* 0.5 (sin re))))
  (exp (cbrt (* 0.5 (sin re))))
  (cbrt 0.5)
  (pow (sin re) 1/3)
  (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re)))))
  (cbrt (cbrt (* 0.5 (sin re))))
  (* 0.5 (sin re))
  (sqrt (cbrt (* 0.5 (sin re))))
  (sqrt (cbrt (* 0.5 (sin re))))
  (log (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt 1)
  (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (sqrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (+ (+ (* 1/18 (pow im 2)) 1) (* -1/18 (pow re 2))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (* (* (cbrt -0.5) (exp (* 1/3 (+ (log im) (+ (log 2) (log re)))))) (+ (+ (* 1/18 (pow im 2)) 1) (* -1/18 (pow re 2))))
  (+ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))
  (+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (sin re))) (* 5 (log (/ -1 im))))))))
  (- (* (cbrt 0.5) (pow re 1/3)) (+ (* 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3))) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3)))))
  (* (cbrt 0.5) (pow (sin re) 1/3))
  (* (cbrt 0.5) (pow (sin re) 1/3))
  (+ (+ (* (neg (* (* 1/3240 (cbrt -1)) (pow im 4))) (* (pow 2 1/3) (pow im 1/3))) (* 1/18 (* (cbrt -1) (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))))) (* (cbrt -1) (exp (* 1/3 (+ (log im) (log 2))))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (pow im 4))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im)))))) (pow im 4))))
4.949 * * * [progress]: adding candidates to table
5.302 * [progress]: [Phase 3 of 3] Extracting.
5.303 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (* 0.5 (sin re)) (* (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (* (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* 0.5 (sin re))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (neg (exp im)))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (/ (+ (neg (exp (+ im im))) (pow (exp -1) (* 2 im))) (+ (exp (neg im)) (exp im)))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (pow (* 0.5 (sin re)) 1/3) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))>)
5.309 * * * [regime-changes]: Trying 4 branch expressions: ((sin re) (* 0.5 (sin re)) im re)
5.309 * * * * [regimes]: Trying to branch on (sin re) from (#<alt (λ (re im) (* (* 0.5 (sin re)) (* (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (* (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* 0.5 (sin re))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (neg (exp im)))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (/ (+ (neg (exp (+ im im))) (pow (exp -1) (* 2 im))) (+ (exp (neg im)) (exp im)))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (pow (* 0.5 (sin re)) 1/3) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))>)
5.412 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (#<alt (λ (re im) (* (* 0.5 (sin re)) (* (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (* (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* 0.5 (sin re))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (neg (exp im)))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (/ (+ (neg (exp (+ im im))) (pow (exp -1) (* 2 im))) (+ (exp (neg im)) (exp im)))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (pow (* 0.5 (sin re)) 1/3) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))>)
5.517 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (* 0.5 (sin re)) (* (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (* (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* 0.5 (sin re))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (neg (exp im)))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (/ (+ (neg (exp (+ im im))) (pow (exp -1) (* 2 im))) (+ (exp (neg im)) (exp im)))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (pow (* 0.5 (sin re)) 1/3) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))>)
5.617 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (* 0.5 (sin re)) (* (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (* (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* 0.5 (sin re))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (neg (exp im)))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (/ (+ (neg (exp (+ im im))) (pow (exp -1) (* 2 im))) (+ (exp (neg im)) (exp im)))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (pow (* 0.5 (sin re)) 1/3) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))>)
5.715 * * * [regime]: Found split indices: #<option (#s(si 11 255))>
5.716 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
5.716 * * [simplify]: iteration  0 :  24  enodes  (cost  10 )
5.716 * * [simplify]: iteration  1 :  24  enodes  (cost  10 )
5.717 * [simplify]: Simplified to:
  (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))