8.851 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.126 * * * [progress]: [2/2] Setting up program.
0.128 * [progress]: [Phase 2 of 3] Improving.
0.128 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
0.131 * * [simplify]: iteration  0 :  18  enodes  (cost  7 )
0.132 * * [simplify]: iteration  1 :  40  enodes  (cost  7 )
0.134 * * [simplify]: iteration  2 :  88  enodes  (cost  7 )
0.135 * * [simplify]: iteration  3 :  141  enodes  (cost  7 )
0.138 * * [simplify]: iteration  4 :  365  enodes  (cost  7 )
0.143 * * [simplify]: iteration  5 :  780  enodes  (cost  7 )
0.149 * * [simplify]: iteration  6 :  1079  enodes  (cost  7 )
0.165 * * [simplify]: iteration  7 :  2595  enodes  (cost  7 )
0.197 * * [simplify]: iteration  8 :  5002  enodes  (cost  7 )
0.197 * [simplify]: Simplified to:
   (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
0.198 * * [progress]: iteration 1 / 4
0.198 * * * [progress]: picking best candidate
0.200 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))>
0.200 * * * [progress]: localizing error
0.209 * * * [progress]: generating rewritten candidates
0.209 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.215 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.226 * * * [progress]: generating series expansions
0.226 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.226 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0
0.226 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im
0.226 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.226 * [taylor]: Taking taylor expansion of (- im) in im
0.226 * [taylor]: Taking taylor expansion of im in im
0.227 * [taylor]: Taking taylor expansion of (exp im) in im
0.227 * [taylor]: Taking taylor expansion of im in im
0.227 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im
0.227 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.227 * [taylor]: Taking taylor expansion of (- im) in im
0.227 * [taylor]: Taking taylor expansion of im in im
0.227 * [taylor]: Taking taylor expansion of (exp im) in im
0.227 * [taylor]: Taking taylor expansion of im in im
0.256 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0
0.256 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.257 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.257 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.257 * [taylor]: Taking taylor expansion of im in im
0.258 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.258 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.258 * [taylor]: Taking taylor expansion of im in im
0.258 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.258 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.258 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.258 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.258 * [taylor]: Taking taylor expansion of im in im
0.259 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.259 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.259 * [taylor]: Taking taylor expansion of im in im
0.262 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0
0.262 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.262 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.262 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.262 * [taylor]: Taking taylor expansion of im in im
0.262 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.262 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.262 * [taylor]: Taking taylor expansion of -1 in im
0.262 * [taylor]: Taking taylor expansion of im in im
0.263 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.263 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.263 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.263 * [taylor]: Taking taylor expansion of im in im
0.263 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.263 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.263 * [taylor]: Taking taylor expansion of -1 in im
0.263 * [taylor]: Taking taylor expansion of im in im
0.266 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.266 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in (re im) around 0
0.266 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in im
0.267 * [taylor]: Taking taylor expansion of 0.5 in im
0.267 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in im
0.267 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im
0.267 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.267 * [taylor]: Taking taylor expansion of (- im) in im
0.267 * [taylor]: Taking taylor expansion of im in im
0.267 * [taylor]: Taking taylor expansion of (exp im) in im
0.267 * [taylor]: Taking taylor expansion of im in im
0.267 * [taylor]: Taking taylor expansion of (sin re) in im
0.267 * [taylor]: Taking taylor expansion of re in im
0.267 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in re
0.267 * [taylor]: Taking taylor expansion of 0.5 in re
0.267 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in re
0.267 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re
0.267 * [taylor]: Taking taylor expansion of (exp (- im)) in re
0.267 * [taylor]: Taking taylor expansion of (- im) in re
0.267 * [taylor]: Taking taylor expansion of im in re
0.267 * [taylor]: Taking taylor expansion of (exp im) in re
0.267 * [taylor]: Taking taylor expansion of im in re
0.267 * [taylor]: Taking taylor expansion of (sin re) in re
0.267 * [taylor]: Taking taylor expansion of re in re
0.267 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in re
0.267 * [taylor]: Taking taylor expansion of 0.5 in re
0.267 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in re
0.267 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re
0.268 * [taylor]: Taking taylor expansion of (exp (- im)) in re
0.268 * [taylor]: Taking taylor expansion of (- im) in re
0.268 * [taylor]: Taking taylor expansion of im in re
0.268 * [taylor]: Taking taylor expansion of (exp im) in re
0.268 * [taylor]: Taking taylor expansion of im in re
0.268 * [taylor]: Taking taylor expansion of (sin re) in re
0.268 * [taylor]: Taking taylor expansion of re in re
0.268 * [taylor]: Taking taylor expansion of 0 in im
0.271 * [taylor]: Taking taylor expansion of (- (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im
0.271 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im
0.271 * [taylor]: Taking taylor expansion of 0.5 in im
0.271 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.271 * [taylor]: Taking taylor expansion of (- im) in im
0.271 * [taylor]: Taking taylor expansion of im in im
0.271 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
0.271 * [taylor]: Taking taylor expansion of 0.5 in im
0.271 * [taylor]: Taking taylor expansion of (exp im) in im
0.271 * [taylor]: Taking taylor expansion of im in im
0.276 * [taylor]: Taking taylor expansion of 0 in im
0.286 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im
0.286 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im
0.286 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
0.286 * [taylor]: Taking taylor expansion of (exp im) in im
0.286 * [taylor]: Taking taylor expansion of im in im
0.286 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im
0.286 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
0.286 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.286 * [taylor]: Taking taylor expansion of (- im) in im
0.286 * [taylor]: Taking taylor expansion of im in im
0.299 * [taylor]: Taking taylor expansion of 0 in im
0.300 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0
0.300 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im
0.300 * [taylor]: Taking taylor expansion of 0.5 in im
0.300 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im
0.300 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.300 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.300 * [taylor]: Taking taylor expansion of re in im
0.300 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.300 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.300 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.300 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.300 * [taylor]: Taking taylor expansion of im in im
0.300 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.301 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.301 * [taylor]: Taking taylor expansion of im in im
0.301 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re
0.301 * [taylor]: Taking taylor expansion of 0.5 in re
0.301 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re
0.301 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.301 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.301 * [taylor]: Taking taylor expansion of re in re
0.301 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re
0.301 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
0.301 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
0.301 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.301 * [taylor]: Taking taylor expansion of im in re
0.301 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.301 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.301 * [taylor]: Taking taylor expansion of im in re
0.301 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re
0.302 * [taylor]: Taking taylor expansion of 0.5 in re
0.302 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re
0.302 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.302 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.302 * [taylor]: Taking taylor expansion of re in re
0.302 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re
0.302 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
0.302 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
0.302 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.302 * [taylor]: Taking taylor expansion of im in re
0.302 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.302 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.302 * [taylor]: Taking taylor expansion of im in re
0.303 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im
0.303 * [taylor]: Taking taylor expansion of 0.5 in im
0.303 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im
0.303 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.303 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.303 * [taylor]: Taking taylor expansion of re in im
0.303 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.303 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.303 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.303 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.303 * [taylor]: Taking taylor expansion of im in im
0.303 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.303 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.303 * [taylor]: Taking taylor expansion of im in im
0.306 * [taylor]: Taking taylor expansion of 0 in im
0.313 * [taylor]: Taking taylor expansion of 0 in im
0.321 * [taylor]: Taking taylor expansion of 0 in im
0.321 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0
0.321 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
0.321 * [taylor]: Taking taylor expansion of 0.5 in im
0.321 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im
0.321 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.321 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.321 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.321 * [taylor]: Taking taylor expansion of im in im
0.322 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.322 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.322 * [taylor]: Taking taylor expansion of -1 in im
0.322 * [taylor]: Taking taylor expansion of im in im
0.322 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.322 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.322 * [taylor]: Taking taylor expansion of -1 in im
0.322 * [taylor]: Taking taylor expansion of re in im
0.322 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re
0.322 * [taylor]: Taking taylor expansion of 0.5 in re
0.322 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re
0.322 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re
0.322 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.322 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.322 * [taylor]: Taking taylor expansion of im in re
0.322 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.322 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.323 * [taylor]: Taking taylor expansion of -1 in re
0.323 * [taylor]: Taking taylor expansion of im in re
0.323 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.323 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.323 * [taylor]: Taking taylor expansion of -1 in re
0.323 * [taylor]: Taking taylor expansion of re in re
0.323 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re
0.323 * [taylor]: Taking taylor expansion of 0.5 in re
0.323 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re
0.323 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re
0.323 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.323 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.323 * [taylor]: Taking taylor expansion of im in re
0.323 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.323 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.323 * [taylor]: Taking taylor expansion of -1 in re
0.323 * [taylor]: Taking taylor expansion of im in re
0.323 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.323 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.323 * [taylor]: Taking taylor expansion of -1 in re
0.323 * [taylor]: Taking taylor expansion of re in re
0.324 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
0.324 * [taylor]: Taking taylor expansion of 0.5 in im
0.324 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im
0.324 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.324 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.324 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.324 * [taylor]: Taking taylor expansion of im in im
0.324 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.324 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.324 * [taylor]: Taking taylor expansion of -1 in im
0.324 * [taylor]: Taking taylor expansion of im in im
0.325 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.325 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.325 * [taylor]: Taking taylor expansion of -1 in im
0.325 * [taylor]: Taking taylor expansion of re in im
0.333 * [taylor]: Taking taylor expansion of 0 in im
0.338 * [taylor]: Taking taylor expansion of 0 in im
0.345 * [taylor]: Taking taylor expansion of 0 in im
0.346 * * * [progress]: simplifying candidates
0.346 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (exp (- im))) (exp (exp im)))
  (log (- (exp (- im)) (exp im)))
  (exp (- (exp (- im)) (exp im)))
  (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im))))
  (cbrt (- (exp (- im)) (exp im)))
  (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im)))
  (sqrt (- (exp (- im)) (exp im)))
  (sqrt (- (exp (- im)) (exp im)))
  (- (pow (exp (- im)) 3) (pow (exp im) 3))
  (+ (* (exp (- im)) (exp (- im))) (+ (* (exp im) (exp im)) (* (exp (- im)) (exp im))))
  (- (exp im))
  (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))
  (+ (exp (- im)) (exp im))
  (+ (sqrt (exp (- im))) (sqrt (exp im)))
  (- (sqrt (exp (- im))) (sqrt (exp im)))
  (- (exp (- im)) (exp im))
  (- (exp im))
  (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
  (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
  (+ (+ (log 0.5) (log (sin re))) (log (- (exp (- im)) (exp im))))
  (+ (log (* 0.5 (sin re))) (log (- (exp (- im)) (exp im))))
  (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (exp (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))))
  (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))))
  (* (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))))
  (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (* (* (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (* (* 0.5 (sin re)) (exp (- im)))
  (* (* 0.5 (sin re)) (- (exp im)))
  (* (* 0.5 (sin re)) (exp (- im)))
  (* (* 0.5 (sin re)) (- (exp im)))
  (* (exp (- im)) (* 0.5 (sin re)))
  (* (- (exp im)) (* 0.5 (sin re)))
  (* (exp (- im)) (* 0.5 (sin re)))
  (* (- (exp im)) (* 0.5 (sin re)))
  (* (* 0.5 (sin re)) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im)))))
  (* (* 0.5 (sin re)) (sqrt (- (exp (- im)) (exp im))))
  (* (* 0.5 (sin re)) 1)
  (* (* 0.5 (sin re)) (+ (sqrt (exp (- im))) (sqrt (exp im))))
  (* (* 0.5 (sin re)) 1)
  (* (sin re) (- (exp (- im)) (exp im)))
  (* (* 0.5 (sin re)) (- (pow (exp (- im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (sin re)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))))
  (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (- (exp (- im)) (exp im))
  (- (exp (* -1 im)) (exp im))
  (* -1.0 (* re im))
  (* 0.5 (* (- (exp (- im)) (exp im)) (sin re)))
  (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im))))
0.351 * * [simplify]: iteration  0 :  241  enodes  (cost  393 )
0.356 * * [simplify]: iteration  1 :  1046  enodes  (cost  330 )
0.381 * * [simplify]: iteration  2 :  5001  enodes  (cost  329 )
0.383 * [simplify]: Simplified to:
   (exp (- (exp (- im)) (exp im)))
  (log (- (exp (* -1 im)) (exp im)))
  (exp (- (exp (- im)) (exp im)))
  (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im))))
  (cbrt (- (exp (- im)) (exp im)))
  (pow (- (exp (* -1 im)) (exp im)) 3)
  (sqrt (- (exp (- im)) (exp im)))
  (sqrt (- (exp (- im)) (exp im)))
  (- (pow (exp (- im)) 3) (pow (exp im) 3))
  (+ (+ (pow (exp -1) (* 2 im)) 1) (exp (+ im im)))
  (- (exp im))
  (+ (- (exp (+ im im))) (pow (exp -1) (* 2 im)))
  (+ (exp (- im)) (exp im))
  (+ (sqrt (exp (- im))) (sqrt (exp im)))
  (- (sqrt (exp (- im))) (sqrt (exp im)))
  (- (exp (* -1 im)) (exp im))
  (- (exp im))
  (* 0.5 (* (- (exp (- im)) (exp im)) (sin re)))
  (* 0.5 (* (- (exp (- im)) (exp im)) (sin re)))
  (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (exp (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (pow (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) 3)
  (pow (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) 3)
  (* (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))))
  (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (pow (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) 3)
  (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (- (exp im)))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (- (exp im)))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (- (exp im)))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (- (exp im)))
  (* (* 0.5 (sin re)) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im)))))
  (* (* 0.5 (sin re)) (sqrt (- (exp (- im)) (exp im))))
  (* 0.5 (sin re))
  (* (* 0.5 (sin re)) (+ (sqrt (exp (- im))) (sqrt (exp im))))
  (* 0.5 (sin re))
  (* (sin re) (- (exp (* -1 im)) (exp im)))
  (* (* 0.5 (sin re)) (- (pow (exp (- im)) 3) (pow (exp im) 3)))
  (* (+ (* 0.5 (pow (exp im) -2)) (* 0.5 (- (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 (- im)) (exp im)) (sin re)))
  (* 0.5 (* (- (exp (- im)) (exp im)) (sin re)))
0.383 * * * [progress]: adding candidates to table
0.484 * * [progress]: iteration 2 / 4
0.484 * * * [progress]: picking best candidate
0.487 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))>
0.487 * * * [progress]: localizing error
0.506 * * * [progress]: generating rewritten candidates
0.506 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.512 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.524 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.529 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.536 * * * [progress]: generating series expansions
0.536 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.536 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0
0.536 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.536 * [taylor]: Taking taylor expansion of 1/3 in im
0.536 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.536 * [taylor]: Taking taylor expansion of im in im
0.536 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.536 * [taylor]: Taking taylor expansion of 1/3 in im
0.536 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.536 * [taylor]: Taking taylor expansion of im in im
0.548 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0
0.549 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
0.549 * [taylor]: Taking taylor expansion of 1/3 in im
0.549 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.549 * [taylor]: Taking taylor expansion of im in im
0.549 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
0.549 * [taylor]: Taking taylor expansion of 1/3 in im
0.549 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.549 * [taylor]: Taking taylor expansion of im in im
0.560 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0
0.560 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
0.560 * [taylor]: Taking taylor expansion of -1/3 in im
0.560 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.560 * [taylor]: Taking taylor expansion of im in im
0.561 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
0.561 * [taylor]: Taking taylor expansion of -1/3 in im
0.561 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.561 * [taylor]: Taking taylor expansion of im in im
0.572 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.573 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in (re im) around 0
0.573 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im
0.573 * [taylor]: Taking taylor expansion of -0.5 in im
0.573 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in im
0.573 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
0.573 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.573 * [taylor]: Taking taylor expansion of 1/3 in im
0.573 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.573 * [taylor]: Taking taylor expansion of im in im
0.573 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
0.573 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.573 * [taylor]: Taking taylor expansion of 1/60 in im
0.573 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.573 * [taylor]: Taking taylor expansion of im in im
0.573 * [taylor]: Taking taylor expansion of (* 2 im) in im
0.573 * [taylor]: Taking taylor expansion of 2 in im
0.573 * [taylor]: Taking taylor expansion of im in im
0.573 * [taylor]: Taking taylor expansion of (sin re) in im
0.573 * [taylor]: Taking taylor expansion of re in im
0.573 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re
0.573 * [taylor]: Taking taylor expansion of -0.5 in re
0.573 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re
0.573 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re
0.573 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re
0.573 * [taylor]: Taking taylor expansion of 1/3 in re
0.573 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.573 * [taylor]: Taking taylor expansion of im in re
0.573 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re
0.573 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re
0.573 * [taylor]: Taking taylor expansion of 1/60 in re
0.573 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.573 * [taylor]: Taking taylor expansion of im in re
0.573 * [taylor]: Taking taylor expansion of (* 2 im) in re
0.573 * [taylor]: Taking taylor expansion of 2 in re
0.573 * [taylor]: Taking taylor expansion of im in re
0.573 * [taylor]: Taking taylor expansion of (sin re) in re
0.573 * [taylor]: Taking taylor expansion of re in re
0.573 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re
0.573 * [taylor]: Taking taylor expansion of -0.5 in re
0.573 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re
0.573 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re
0.574 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re
0.574 * [taylor]: Taking taylor expansion of 1/3 in re
0.574 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.574 * [taylor]: Taking taylor expansion of im in re
0.574 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re
0.574 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re
0.574 * [taylor]: Taking taylor expansion of 1/60 in re
0.574 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.574 * [taylor]: Taking taylor expansion of im in re
0.574 * [taylor]: Taking taylor expansion of (* 2 im) in re
0.574 * [taylor]: Taking taylor expansion of 2 in re
0.574 * [taylor]: Taking taylor expansion of im in re
0.574 * [taylor]: Taking taylor expansion of (sin re) in re
0.574 * [taylor]: Taking taylor expansion of re in re
0.575 * [taylor]: Taking taylor expansion of 0 in im
0.578 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)))) in im
0.578 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im
0.578 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im
0.578 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im
0.578 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.578 * [taylor]: Taking taylor expansion of im in im
0.578 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im
0.578 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im
0.578 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im
0.578 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.578 * [taylor]: Taking taylor expansion of im in im
0.579 * [taylor]: Taking taylor expansion of (* 1.0 im) in im
0.579 * [taylor]: Taking taylor expansion of 1.0 in im
0.579 * [taylor]: Taking taylor expansion of im in im
0.780 * [taylor]: Taking taylor expansion of 0 in im
0.790 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im))) in im
0.790 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im
0.790 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im
0.790 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.790 * [taylor]: Taking taylor expansion of im in im
0.790 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im)) in im
0.790 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im
0.790 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im
0.790 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.790 * [taylor]: Taking taylor expansion of im in im
0.790 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im
0.790 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im
0.790 * [taylor]: Taking taylor expansion of im in im
0.802 * [taylor]: Taking taylor expansion of 0 in im
0.803 * [approximate]: 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 (re im) around 0
0.803 * [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.803 * [taylor]: Taking taylor expansion of -0.5 in im
0.803 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
0.803 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.803 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.803 * [taylor]: Taking taylor expansion of re in im
0.803 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.803 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.803 * [taylor]: Taking taylor expansion of 2 in im
0.803 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.803 * [taylor]: Taking taylor expansion of im in im
0.803 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.803 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.803 * [taylor]: Taking taylor expansion of 1/3 in im
0.803 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.803 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.803 * [taylor]: Taking taylor expansion of im in im
0.804 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.804 * [taylor]: Taking taylor expansion of 1/60 in im
0.804 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.804 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.804 * [taylor]: Taking taylor expansion of im in im
0.805 * [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 re
0.805 * [taylor]: Taking taylor expansion of -0.5 in re
0.805 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re
0.805 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.805 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.805 * [taylor]: Taking taylor expansion of re in re
0.805 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.805 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.805 * [taylor]: Taking taylor expansion of 2 in re
0.805 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.805 * [taylor]: Taking taylor expansion of im in re
0.805 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.805 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.805 * [taylor]: Taking taylor expansion of 1/3 in re
0.805 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.806 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.806 * [taylor]: Taking taylor expansion of im in re
0.806 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.806 * [taylor]: Taking taylor expansion of 1/60 in re
0.806 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.806 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.806 * [taylor]: Taking taylor expansion of im in re
0.806 * [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 re
0.806 * [taylor]: Taking taylor expansion of -0.5 in re
0.806 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re
0.806 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.806 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.806 * [taylor]: Taking taylor expansion of re in re
0.806 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.806 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.806 * [taylor]: Taking taylor expansion of 2 in re
0.806 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.806 * [taylor]: Taking taylor expansion of im in re
0.806 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.807 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.807 * [taylor]: Taking taylor expansion of 1/3 in re
0.807 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.807 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.807 * [taylor]: Taking taylor expansion of im in re
0.807 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.807 * [taylor]: Taking taylor expansion of 1/60 in re
0.807 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.807 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.807 * [taylor]: Taking taylor expansion of im in re
0.808 * [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.808 * [taylor]: Taking taylor expansion of -0.5 in im
0.808 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
0.808 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.808 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.808 * [taylor]: Taking taylor expansion of re in im
0.808 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.808 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.808 * [taylor]: Taking taylor expansion of 2 in im
0.808 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.808 * [taylor]: Taking taylor expansion of im in im
0.809 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.809 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.809 * [taylor]: Taking taylor expansion of 1/3 in im
0.809 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.809 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.809 * [taylor]: Taking taylor expansion of im in im
0.809 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.809 * [taylor]: Taking taylor expansion of 1/60 in im
0.809 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.809 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.810 * [taylor]: Taking taylor expansion of im in im
0.814 * [taylor]: Taking taylor expansion of 0 in im
0.824 * [taylor]: Taking taylor expansion of 0 in im
0.839 * [taylor]: Taking taylor expansion of 0 in im
0.858 * [taylor]: Taking taylor expansion of 0 in im
0.873 * [approximate]: 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 (re im) around 0
0.873 * [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.873 * [taylor]: Taking taylor expansion of 0.5 in im
0.873 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im
0.873 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.874 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.874 * [taylor]: Taking taylor expansion of 2 in im
0.874 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.874 * [taylor]: Taking taylor expansion of im in im
0.874 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.874 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.874 * [taylor]: Taking taylor expansion of 1/3 in im
0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.874 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.874 * [taylor]: Taking taylor expansion of im in im
0.875 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.875 * [taylor]: Taking taylor expansion of 1/60 in im
0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.875 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.875 * [taylor]: Taking taylor expansion of im in im
0.876 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.876 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.876 * [taylor]: Taking taylor expansion of -1 in im
0.876 * [taylor]: Taking taylor expansion of re in im
0.876 * [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 re
0.876 * [taylor]: Taking taylor expansion of 0.5 in re
0.876 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re
0.876 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.876 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.876 * [taylor]: Taking taylor expansion of 2 in re
0.876 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.876 * [taylor]: Taking taylor expansion of im in re
0.876 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.876 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.876 * [taylor]: Taking taylor expansion of 1/3 in re
0.876 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.876 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.876 * [taylor]: Taking taylor expansion of im in re
0.876 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.876 * [taylor]: Taking taylor expansion of 1/60 in re
0.876 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.876 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.876 * [taylor]: Taking taylor expansion of im in re
0.877 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.877 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.877 * [taylor]: Taking taylor expansion of -1 in re
0.877 * [taylor]: Taking taylor expansion of re in re
0.877 * [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 re
0.877 * [taylor]: Taking taylor expansion of 0.5 in re
0.877 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re
0.877 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.877 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.877 * [taylor]: Taking taylor expansion of 2 in re
0.877 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.877 * [taylor]: Taking taylor expansion of im in re
0.877 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.877 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.877 * [taylor]: Taking taylor expansion of 1/3 in re
0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.877 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.877 * [taylor]: Taking taylor expansion of im in re
0.878 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.878 * [taylor]: Taking taylor expansion of 1/60 in re
0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.878 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.878 * [taylor]: Taking taylor expansion of im in re
0.878 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.878 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.878 * [taylor]: Taking taylor expansion of -1 in re
0.878 * [taylor]: Taking taylor expansion of re in re
0.879 * [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.879 * [taylor]: Taking taylor expansion of 0.5 in im
0.879 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im
0.879 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.880 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.880 * [taylor]: Taking taylor expansion of 2 in im
0.880 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.880 * [taylor]: Taking taylor expansion of im in im
0.880 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.880 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.880 * [taylor]: Taking taylor expansion of 1/3 in im
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.880 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.880 * [taylor]: Taking taylor expansion of im in im
0.881 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.881 * [taylor]: Taking taylor expansion of 1/60 in im
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.881 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.881 * [taylor]: Taking taylor expansion of im in im
0.882 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.882 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.882 * [taylor]: Taking taylor expansion of -1 in im
0.882 * [taylor]: Taking taylor expansion of re in im
0.886 * [taylor]: Taking taylor expansion of 0 in im
0.896 * [taylor]: Taking taylor expansion of 0 in im
0.910 * [taylor]: Taking taylor expansion of 0 in im
0.930 * [taylor]: Taking taylor expansion of 0 in im
0.941 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.941 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0
0.941 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.941 * [taylor]: Taking taylor expansion of 1/60 in im
0.941 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.941 * [taylor]: Taking taylor expansion of im in im
0.941 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.941 * [taylor]: Taking taylor expansion of 1/60 in im
0.941 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.941 * [taylor]: Taking taylor expansion of im in im
0.960 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0
0.960 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im
0.960 * [taylor]: Taking taylor expansion of 1/60 in im
0.960 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.960 * [taylor]: Taking taylor expansion of im in im
0.961 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im
0.961 * [taylor]: Taking taylor expansion of 1/60 in im
0.961 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.961 * [taylor]: Taking taylor expansion of im in im
0.976 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0
0.976 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im
0.976 * [taylor]: Taking taylor expansion of -1/60 in im
0.976 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.976 * [taylor]: Taking taylor expansion of im in im
0.977 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im
0.977 * [taylor]: Taking taylor expansion of -1/60 in im
0.977 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.977 * [taylor]: Taking taylor expansion of im in im
0.992 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.992 * [approximate]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in (im) around 0
0.992 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
0.992 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.992 * [taylor]: Taking taylor expansion of 1/60 in im
0.992 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.992 * [taylor]: Taking taylor expansion of im in im
0.992 * [taylor]: Taking taylor expansion of (* 2 im) in im
0.992 * [taylor]: Taking taylor expansion of 2 in im
0.992 * [taylor]: Taking taylor expansion of im in im
0.992 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
0.992 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.992 * [taylor]: Taking taylor expansion of 1/60 in im
0.992 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.992 * [taylor]: Taking taylor expansion of im in im
0.992 * [taylor]: Taking taylor expansion of (* 2 im) in im
0.992 * [taylor]: Taking taylor expansion of 2 in im
0.992 * [taylor]: Taking taylor expansion of im in im
1.019 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in (im) around 0
1.019 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
1.019 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.019 * [taylor]: Taking taylor expansion of 2 in im
1.019 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.019 * [taylor]: Taking taylor expansion of im in im
1.019 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.019 * [taylor]: Taking taylor expansion of 1/60 in im
1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.019 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.019 * [taylor]: Taking taylor expansion of im in im
1.020 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
1.020 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.020 * [taylor]: Taking taylor expansion of 2 in im
1.020 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.020 * [taylor]: Taking taylor expansion of im in im
1.024 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.024 * [taylor]: Taking taylor expansion of 1/60 in im
1.024 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.024 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.024 * [taylor]: Taking taylor expansion of im in im
1.069 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0
1.069 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
1.069 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
1.069 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.069 * [taylor]: Taking taylor expansion of 2 in im
1.069 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.070 * [taylor]: Taking taylor expansion of im in im
1.070 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.070 * [taylor]: Taking taylor expansion of 1/60 in im
1.070 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.070 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.070 * [taylor]: Taking taylor expansion of im in im
1.071 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
1.071 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
1.071 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.071 * [taylor]: Taking taylor expansion of 2 in im
1.071 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.071 * [taylor]: Taking taylor expansion of im in im
1.071 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.071 * [taylor]: Taking taylor expansion of 1/60 in im
1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.071 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.071 * [taylor]: Taking taylor expansion of im in im
1.123 * * * [progress]: simplifying candidates
1.124 * [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)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (sin re)) (- (* 1/3 (pow im 3))))
  (* (* 0.5 (sin re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (- (* 1/3 (pow im 3))) (* 0.5 (sin re)))
  (* (- (+ (* 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)
  (* (* 0.5 (sin re)) -1)
  (* (* 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))
  (* (* 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/60 (pow im 5))) (exp (* 2 im)))
  (log (+ (* 1/60 (pow im 5)) (* 2 im)))
  (exp (+ (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (* (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))
  (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))
  (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))
  (- (* 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))
  (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
  (- (+ (* 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/60 (pow im 5)) (* 2 im))
  (+ (* 1/60 (pow im 5)) (* 2 im))
  (+ (* 1/60 (pow im 5)) (* 2 im))
1.132 * * [simplify]: iteration  0 :  533  enodes  (cost  736 )
1.145 * * [simplify]: iteration  1 :  2612  enodes  (cost  661 )
1.201 * * [simplify]: iteration  2 :  5002  enodes  (cost  658 )
1.205 * [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)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (* 0.5 (sin re)) (pow im 3)) -1/3)
  (* (* 0.5 (sin re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (* 0.5 (sin re)) (pow im 3)) -1/3)
  (* (* 0.5 (sin re)) (- (+ (* 1/60 (pow im 5)) (* 2 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)))))))
  (* (* 0.5 (sin re)) (sqrt (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* 0.5 (sin re))
  (- (* 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)))
  (* (* 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/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9)))
  (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/60 (pow im 5)) (* 2 im)))
  (log (+ (* 1/60 (pow im 5)) (* 2 im)))
  (exp (+ (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)
  (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))
  (- (* 4 (* im im)) (- (* (* 1/60 (pow im 5)) (* 2 im)) (* (pow im 10) 1/3600)))
  (+ (- (* 4 (* im im))) (* (pow im 10) 1/3600))
  (- (* 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))
  (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
  (- (+ (* 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/60 (pow im 5)) (* 2 im))
  (+ (* 1/60 (pow im 5)) (* 2 im))
  (+ (* 1/60 (pow im 5)) (* 2 im))
1.206 * * * [progress]: adding candidates to table
1.456 * * [progress]: iteration 3 / 4
1.456 * * * [progress]: picking best candidate
1.485 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt im) 5)) (* 2 im))))))>
1.485 * * * [progress]: localizing error
1.508 * * * [progress]: generating rewritten candidates
1.508 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 1)
1.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2 1 2)
1.510 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 2 1 1)
1.512 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2)
1.515 * * * [progress]: generating series expansions
1.515 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 1)
1.515 * [approximate]: Taking taylor expansion of (pow im 1/3) in (im) around 0
1.515 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
1.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
1.516 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
1.516 * [taylor]: Taking taylor expansion of 1/3 in im
1.516 * [taylor]: Taking taylor expansion of (log im) in im
1.516 * [taylor]: Taking taylor expansion of im in im
1.516 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
1.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
1.516 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
1.517 * [taylor]: Taking taylor expansion of 1/3 in im
1.517 * [taylor]: Taking taylor expansion of (log im) in im
1.517 * [taylor]: Taking taylor expansion of im in im
1.563 * [approximate]: Taking taylor expansion of (pow (/ 1 im) 1/3) in (im) around 0
1.563 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.563 * [taylor]: Taking taylor expansion of 1/3 in im
1.563 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.563 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.563 * [taylor]: Taking taylor expansion of im in im
1.564 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.564 * [taylor]: Taking taylor expansion of 1/3 in im
1.564 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.564 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.564 * [taylor]: Taking taylor expansion of im in im
1.617 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in (im) around 0
1.617 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
1.617 * [taylor]: Taking taylor expansion of (cbrt -1) in im
1.617 * [taylor]: Taking taylor expansion of -1 in im
1.618 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.618 * [taylor]: Taking taylor expansion of 1/3 in im
1.618 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.618 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.618 * [taylor]: Taking taylor expansion of im in im
1.619 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
1.619 * [taylor]: Taking taylor expansion of (cbrt -1) in im
1.619 * [taylor]: Taking taylor expansion of -1 in im
1.620 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.620 * [taylor]: Taking taylor expansion of 1/3 in im
1.620 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.620 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.620 * [taylor]: Taking taylor expansion of im in im
1.682 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2 1 2)
1.682 * [approximate]: Taking taylor expansion of (pow im 1/3) in (im) around 0
1.682 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
1.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
1.682 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
1.682 * [taylor]: Taking taylor expansion of 1/3 in im
1.682 * [taylor]: Taking taylor expansion of (log im) in im
1.682 * [taylor]: Taking taylor expansion of im in im
1.683 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
1.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
1.683 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
1.683 * [taylor]: Taking taylor expansion of 1/3 in im
1.683 * [taylor]: Taking taylor expansion of (log im) in im
1.683 * [taylor]: Taking taylor expansion of im in im
1.732 * [approximate]: Taking taylor expansion of (pow (/ 1 im) 1/3) in (im) around 0
1.732 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.732 * [taylor]: Taking taylor expansion of 1/3 in im
1.732 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.732 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.732 * [taylor]: Taking taylor expansion of im in im
1.733 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.733 * [taylor]: Taking taylor expansion of 1/3 in im
1.733 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.733 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.733 * [taylor]: Taking taylor expansion of im in im
1.785 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in (im) around 0
1.785 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
1.786 * [taylor]: Taking taylor expansion of (cbrt -1) in im
1.786 * [taylor]: Taking taylor expansion of -1 in im
1.786 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.786 * [taylor]: Taking taylor expansion of 1/3 in im
1.786 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.786 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.786 * [taylor]: Taking taylor expansion of im in im
1.787 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
1.787 * [taylor]: Taking taylor expansion of (cbrt -1) in im
1.787 * [taylor]: Taking taylor expansion of -1 in im
1.788 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.788 * [taylor]: Taking taylor expansion of 1/3 in im
1.788 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.788 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.788 * [taylor]: Taking taylor expansion of im in im
1.848 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 2 1 1)
1.848 * [approximate]: Taking taylor expansion of (pow im 1/3) in (im) around 0
1.848 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
1.848 * [taylor]: Taking taylor expansion of 1/3 in im
1.848 * [taylor]: Taking taylor expansion of (log im) in im
1.848 * [taylor]: Taking taylor expansion of im in im
1.848 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
1.848 * [taylor]: Taking taylor expansion of 1/3 in im
1.848 * [taylor]: Taking taylor expansion of (log im) in im
1.849 * [taylor]: Taking taylor expansion of im in im
1.900 * [approximate]: Taking taylor expansion of (pow (/ 1 im) 1/3) in (im) around 0
1.900 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.900 * [taylor]: Taking taylor expansion of 1/3 in im
1.900 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.900 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.900 * [taylor]: Taking taylor expansion of im in im
1.901 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.901 * [taylor]: Taking taylor expansion of 1/3 in im
1.901 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.901 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.901 * [taylor]: Taking taylor expansion of im in im
1.956 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in (im) around 0
1.957 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
1.957 * [taylor]: Taking taylor expansion of (cbrt -1) in im
1.957 * [taylor]: Taking taylor expansion of -1 in im
1.957 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.957 * [taylor]: Taking taylor expansion of 1/3 in im
1.957 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.957 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.957 * [taylor]: Taking taylor expansion of im in im
1.958 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
1.958 * [taylor]: Taking taylor expansion of (cbrt -1) in im
1.958 * [taylor]: Taking taylor expansion of -1 in im
1.959 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
1.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
1.959 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
1.959 * [taylor]: Taking taylor expansion of 1/3 in im
1.959 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
1.959 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.959 * [taylor]: Taking taylor expansion of im in im
2.025 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2)
2.025 * [approximate]: Taking taylor expansion of (pow (pow im 1/3) 5) in (im) around 0
2.025 * [taylor]: Taking taylor expansion of (pow (pow im 1/3) 5) in im
2.025 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
2.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
2.025 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
2.025 * [taylor]: Taking taylor expansion of 1/3 in im
2.025 * [taylor]: Taking taylor expansion of (log im) in im
2.025 * [taylor]: Taking taylor expansion of im in im
2.025 * [taylor]: Taking taylor expansion of (pow (pow im 1/3) 5) in im
2.025 * [taylor]: Taking taylor expansion of (pow im 1/3) in im
2.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log im))) in im
2.026 * [taylor]: Taking taylor expansion of (* 1/3 (log im)) in im
2.026 * [taylor]: Taking taylor expansion of 1/3 in im
2.026 * [taylor]: Taking taylor expansion of (log im) in im
2.026 * [taylor]: Taking taylor expansion of im in im
2.091 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 im) 1/3) 5) in (im) around 0
2.091 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 im) 1/3) 5) in im
2.091 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
2.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
2.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
2.091 * [taylor]: Taking taylor expansion of 1/3 in im
2.091 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
2.091 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.091 * [taylor]: Taking taylor expansion of im in im
2.092 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 im) 1/3) 5) in im
2.092 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
2.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
2.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
2.092 * [taylor]: Taking taylor expansion of 1/3 in im
2.092 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
2.092 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.092 * [taylor]: Taking taylor expansion of im in im
2.160 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 im) 1/3)) 5) in (im) around 0
2.160 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 im) 1/3)) 5) in im
2.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
2.160 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.160 * [taylor]: Taking taylor expansion of -1 in im
2.161 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
2.161 * [taylor]: Taking taylor expansion of 1/3 in im
2.161 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
2.161 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.161 * [taylor]: Taking taylor expansion of im in im
2.162 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 im) 1/3)) 5) in im
2.162 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 im) 1/3)) in im
2.162 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.162 * [taylor]: Taking taylor expansion of -1 in im
2.163 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 1/3) in im
2.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 im)))) in im
2.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 im))) in im
2.163 * [taylor]: Taking taylor expansion of 1/3 in im
2.163 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im
2.163 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.163 * [taylor]: Taking taylor expansion of im in im
2.264 * * * [progress]: simplifying candidates
2.265 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt im))
  (exp (cbrt im))
  (cbrt (* (cbrt im) (cbrt im)))
  (cbrt (cbrt im))
  (cbrt (sqrt im))
  (cbrt (sqrt im))
  (cbrt 1)
  (cbrt im)
  (* (cbrt (cbrt im)) (cbrt (cbrt im)))
  (cbrt (cbrt im))
  (* (* (cbrt im) (cbrt im)) (cbrt im))
  (sqrt (cbrt im))
  (sqrt (cbrt im))
  (log (cbrt im))
  (exp (cbrt im))
  (cbrt (* (cbrt im) (cbrt im)))
  (cbrt (cbrt im))
  (cbrt (sqrt im))
  (cbrt (sqrt im))
  (cbrt 1)
  (cbrt im)
  (* (cbrt (cbrt im)) (cbrt (cbrt im)))
  (cbrt (cbrt im))
  (* (* (cbrt im) (cbrt im)) (cbrt im))
  (sqrt (cbrt im))
  (sqrt (cbrt im))
  (log (cbrt im))
  (exp (cbrt im))
  (cbrt (* (cbrt im) (cbrt im)))
  (cbrt (cbrt im))
  (cbrt (sqrt im))
  (cbrt (sqrt im))
  (cbrt 1)
  (cbrt im)
  (* (cbrt (cbrt im)) (cbrt (cbrt im)))
  (cbrt (cbrt im))
  (* (* (cbrt im) (cbrt im)) (cbrt im))
  (sqrt (cbrt im))
  (sqrt (cbrt im))
  (* (log (cbrt im)) 5)
  (* (log (cbrt im)) 5)
  (* 1/3 5)
  (* 1 5)
  (pow (cbrt im) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt im) (sqrt 5))
  (pow (cbrt im) 1)
  (pow (cbrt (* (cbrt im) (cbrt im))) 5)
  (pow (cbrt (cbrt im)) 5)
  (pow (cbrt (sqrt im)) 5)
  (pow (cbrt (sqrt im)) 5)
  (pow (cbrt 1) 5)
  (pow (cbrt im) 5)
  (pow (* (cbrt (cbrt im)) (cbrt (cbrt im))) 5)
  (pow (cbrt (cbrt im)) 5)
  (pow (sqrt (cbrt im)) 5)
  (pow (sqrt (cbrt im)) 5)
  (pow 1 5)
  (pow (cbrt im) 5)
  (log (pow (cbrt im) 5))
  (exp (pow (cbrt im) 5))
  (* (cbrt (pow (cbrt im) 5)) (cbrt (pow (cbrt im) 5)))
  (cbrt (pow (cbrt im) 5))
  (* (* (pow (cbrt im) 5) (pow (cbrt im) 5)) (pow (cbrt im) 5))
  (sqrt (pow (cbrt im) 5))
  (sqrt (pow (cbrt im) 5))
  (pow (cbrt im) (/ 5 2))
  (pow (cbrt im) (/ 5 2))
  (pow im 1/3)
  (pow (/ 1 im) -1/3)
  (* (pow (* -1 im) 1/3) (cbrt -1))
  (pow im 1/3)
  (pow (/ 1 im) -1/3)
  (* (pow (* -1 im) 1/3) (cbrt -1))
  (pow im 1/3)
  (pow (/ 1 im) -1/3)
  (* (pow (* -1 im) 1/3) (cbrt -1))
  (pow (pow im 5) 1/3)
  (pow (pow im 5) 1/3)
  (* (pow (* -1 (pow im 5)) 1/3) (pow (cbrt -1) 5))
2.269 * * [simplify]: iteration  0 :  119  enodes  (cost  208 )
2.272 * * [simplify]: iteration  1 :  358  enodes  (cost  197 )
2.280 * * [simplify]: iteration  2 :  1295  enodes  (cost  188 )
2.312 * * [simplify]: iteration  3 :  5002  enodes  (cost  183 )
2.313 * [simplify]: Simplified to:
   (log (cbrt im))
  (exp (cbrt im))
  (cbrt (* (cbrt im) (cbrt im)))
  (cbrt (cbrt im))
  (cbrt (sqrt im))
  (cbrt (sqrt im))
  1
  (pow im 1/3)
  (* (cbrt (cbrt im)) (cbrt (cbrt im)))
  (cbrt (cbrt im))
  im
  (pow (pow im 1/3) 1/2)
  (pow (pow im 1/3) 1/2)
  (log (cbrt im))
  (exp (cbrt im))
  (cbrt (* (cbrt im) (cbrt im)))
  (cbrt (cbrt im))
  (cbrt (sqrt im))
  (cbrt (sqrt im))
  1
  (pow im 1/3)
  (* (cbrt (cbrt im)) (cbrt (cbrt im)))
  (cbrt (cbrt im))
  im
  (pow (pow im 1/3) 1/2)
  (pow (pow im 1/3) 1/2)
  (log (cbrt im))
  (exp (cbrt im))
  (cbrt (* (cbrt im) (cbrt im)))
  (cbrt (cbrt im))
  (cbrt (sqrt im))
  (cbrt (sqrt im))
  1
  (pow im 1/3)
  (* (cbrt (cbrt im)) (cbrt (cbrt im)))
  (cbrt (cbrt im))
  im
  (pow (pow im 1/3) 1/2)
  (pow (pow im 1/3) 1/2)
  (* 5/3 (log im))
  (* 5/3 (log im))
  5/3
  5
  (pow (cbrt im) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt im) (sqrt 5))
  (pow im 1/3)
  (pow (cbrt (* (cbrt im) (cbrt im))) 5)
  (pow (cbrt (cbrt im)) 5)
  (pow (cbrt (sqrt im)) 5)
  (pow (cbrt (sqrt im)) 5)
  1
  (pow (cbrt im) 5)
  (pow (* (cbrt (cbrt im)) (cbrt (cbrt im))) 5)
  (pow (cbrt (cbrt im)) 5)
  (pow (sqrt (cbrt im)) 5)
  (pow (sqrt (cbrt im)) 5)
  1
  (pow (cbrt im) 5)
  (* 5/3 (log im))
  (exp (pow (cbrt im) 5))
  (* (cbrt (pow (cbrt im) 5)) (cbrt (pow (cbrt im) 5)))
  (cbrt (pow (cbrt im) 5))
  (pow (pow (cbrt im) 5) 3)
  (sqrt (pow (cbrt im) 5))
  (sqrt (pow (cbrt im) 5))
  (pow (pow im 1/3) 5/2)
  (pow (pow im 1/3) 5/2)
  (pow im 1/3)
  (pow (/ 1 im) -1/3)
  (* (pow (* -1 im) 1/3) (cbrt -1))
  (pow im 1/3)
  (pow (/ 1 im) -1/3)
  (* (pow (* -1 im) 1/3) (cbrt -1))
  (pow im 1/3)
  (pow (/ 1 im) -1/3)
  (* (pow (* -1 im) 1/3) (cbrt -1))
  (pow (pow im 5) 1/3)
  (pow (pow im 5) 1/3)
  (* (pow (* -1 (pow im 5)) 1/3) (pow (cbrt -1) 5))
2.314 * * * [progress]: adding candidates to table
2.555 * * [progress]: iteration 4 / 4
2.555 * * * [progress]: picking best candidate
2.583 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))>
2.583 * * * [progress]: localizing error
2.602 * * * [progress]: generating rewritten candidates
2.602 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
2.609 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2)
2.616 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1)
2.623 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
2.648 * * * [progress]: generating series expansions
2.648 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
2.648 * [approximate]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in (im) around 0
2.648 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in im
2.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.648 * [taylor]: Taking taylor expansion of 1/3 in im
2.648 * [taylor]: Taking taylor expansion of (log (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.648 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.648 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.648 * [taylor]: Taking taylor expansion of 1/60 in im
2.648 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.648 * [taylor]: Taking taylor expansion of im in im
2.649 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.649 * [taylor]: Taking taylor expansion of 2 in im
2.649 * [taylor]: Taking taylor expansion of im in im
2.653 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in im
2.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.653 * [taylor]: Taking taylor expansion of 1/3 in im
2.653 * [taylor]: Taking taylor expansion of (log (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.653 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.653 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.653 * [taylor]: Taking taylor expansion of 1/60 in im
2.653 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.653 * [taylor]: Taking taylor expansion of im in im
2.653 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.653 * [taylor]: Taking taylor expansion of 2 in im
2.653 * [taylor]: Taking taylor expansion of im in im
2.842 * [approximate]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in (im) around 0
2.843 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
2.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
2.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
2.843 * [taylor]: Taking taylor expansion of 1/3 in im
2.843 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
2.843 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
2.843 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.843 * [taylor]: Taking taylor expansion of 2 in im
2.843 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.843 * [taylor]: Taking taylor expansion of im in im
2.843 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.843 * [taylor]: Taking taylor expansion of 1/60 in im
2.843 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.843 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.843 * [taylor]: Taking taylor expansion of im in im
2.846 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
2.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
2.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
2.846 * [taylor]: Taking taylor expansion of 1/3 in im
2.846 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
2.846 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
2.846 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.846 * [taylor]: Taking taylor expansion of 2 in im
2.846 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.846 * [taylor]: Taking taylor expansion of im in im
2.846 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.846 * [taylor]: Taking taylor expansion of 1/60 in im
2.846 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.846 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.846 * [taylor]: Taking taylor expansion of im in im
3.034 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in (im) around 0
3.034 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in im
3.034 * [taylor]: Taking taylor expansion of (cbrt -1) in im
3.034 * [taylor]: Taking taylor expansion of -1 in im
3.034 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
3.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
3.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
3.035 * [taylor]: Taking taylor expansion of 1/3 in im
3.035 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
3.035 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
3.035 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.035 * [taylor]: Taking taylor expansion of 2 in im
3.035 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.035 * [taylor]: Taking taylor expansion of im in im
3.035 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.035 * [taylor]: Taking taylor expansion of 1/60 in im
3.035 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.035 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.035 * [taylor]: Taking taylor expansion of im in im
3.038 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in im
3.038 * [taylor]: Taking taylor expansion of (cbrt -1) in im
3.038 * [taylor]: Taking taylor expansion of -1 in im
3.038 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
3.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
3.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
3.039 * [taylor]: Taking taylor expansion of 1/3 in im
3.039 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
3.039 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
3.039 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.039 * [taylor]: Taking taylor expansion of 2 in im
3.039 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.039 * [taylor]: Taking taylor expansion of im in im
3.039 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.039 * [taylor]: Taking taylor expansion of 1/60 in im
3.039 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.039 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.039 * [taylor]: Taking taylor expansion of im in im
3.247 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2)
3.247 * [approximate]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in (im) around 0
3.247 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in im
3.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
3.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
3.247 * [taylor]: Taking taylor expansion of 1/3 in im
3.247 * [taylor]: Taking taylor expansion of (log (+ (* 1/60 (pow im 5)) (* 2 im))) in im
3.247 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
3.247 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
3.247 * [taylor]: Taking taylor expansion of 1/60 in im
3.247 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.247 * [taylor]: Taking taylor expansion of im in im
3.247 * [taylor]: Taking taylor expansion of (* 2 im) in im
3.247 * [taylor]: Taking taylor expansion of 2 in im
3.247 * [taylor]: Taking taylor expansion of im in im
3.250 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in im
3.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
3.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
3.250 * [taylor]: Taking taylor expansion of 1/3 in im
3.250 * [taylor]: Taking taylor expansion of (log (+ (* 1/60 (pow im 5)) (* 2 im))) in im
3.250 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
3.250 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
3.250 * [taylor]: Taking taylor expansion of 1/60 in im
3.250 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.250 * [taylor]: Taking taylor expansion of im in im
3.250 * [taylor]: Taking taylor expansion of (* 2 im) in im
3.250 * [taylor]: Taking taylor expansion of 2 in im
3.250 * [taylor]: Taking taylor expansion of im in im
3.424 * [approximate]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in (im) around 0
3.424 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
3.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
3.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
3.424 * [taylor]: Taking taylor expansion of 1/3 in im
3.424 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
3.424 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
3.424 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.424 * [taylor]: Taking taylor expansion of 2 in im
3.424 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.424 * [taylor]: Taking taylor expansion of im in im
3.424 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.424 * [taylor]: Taking taylor expansion of 1/60 in im
3.425 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.425 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.425 * [taylor]: Taking taylor expansion of im in im
3.427 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
3.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
3.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
3.428 * [taylor]: Taking taylor expansion of 1/3 in im
3.428 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
3.428 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
3.428 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.428 * [taylor]: Taking taylor expansion of 2 in im
3.428 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.428 * [taylor]: Taking taylor expansion of im in im
3.428 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.428 * [taylor]: Taking taylor expansion of 1/60 in im
3.428 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.428 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.428 * [taylor]: Taking taylor expansion of im in im
3.623 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in (im) around 0
3.623 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in im
3.623 * [taylor]: Taking taylor expansion of (cbrt -1) in im
3.623 * [taylor]: Taking taylor expansion of -1 in im
3.624 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
3.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
3.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
3.624 * [taylor]: Taking taylor expansion of 1/3 in im
3.624 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
3.624 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
3.624 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.624 * [taylor]: Taking taylor expansion of 2 in im
3.624 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.624 * [taylor]: Taking taylor expansion of im in im
3.624 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.624 * [taylor]: Taking taylor expansion of 1/60 in im
3.624 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.624 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.624 * [taylor]: Taking taylor expansion of im in im
3.627 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in im
3.627 * [taylor]: Taking taylor expansion of (cbrt -1) in im
3.627 * [taylor]: Taking taylor expansion of -1 in im
3.628 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
3.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
3.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
3.628 * [taylor]: Taking taylor expansion of 1/3 in im
3.628 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
3.628 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
3.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.628 * [taylor]: Taking taylor expansion of 2 in im
3.628 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.628 * [taylor]: Taking taylor expansion of im in im
3.628 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.628 * [taylor]: Taking taylor expansion of 1/60 in im
3.628 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.628 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.628 * [taylor]: Taking taylor expansion of im in im
3.856 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1)
3.856 * [approximate]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in (im) around 0
3.856 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in im
3.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
3.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
3.856 * [taylor]: Taking taylor expansion of 1/3 in im
3.856 * [taylor]: Taking taylor expansion of (log (+ (* 1/60 (pow im 5)) (* 2 im))) in im
3.856 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
3.856 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
3.856 * [taylor]: Taking taylor expansion of 1/60 in im
3.856 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.856 * [taylor]: Taking taylor expansion of im in im
3.856 * [taylor]: Taking taylor expansion of (* 2 im) in im
3.856 * [taylor]: Taking taylor expansion of 2 in im
3.856 * [taylor]: Taking taylor expansion of im in im
3.859 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 1/3) in im
3.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
3.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
3.859 * [taylor]: Taking taylor expansion of 1/3 in im
3.859 * [taylor]: Taking taylor expansion of (log (+ (* 1/60 (pow im 5)) (* 2 im))) in im
3.859 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
3.859 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
3.859 * [taylor]: Taking taylor expansion of 1/60 in im
3.859 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.859 * [taylor]: Taking taylor expansion of im in im
3.859 * [taylor]: Taking taylor expansion of (* 2 im) in im
3.859 * [taylor]: Taking taylor expansion of 2 in im
3.859 * [taylor]: Taking taylor expansion of im in im
4.028 * [approximate]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in (im) around 0
4.028 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
4.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
4.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
4.028 * [taylor]: Taking taylor expansion of 1/3 in im
4.028 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
4.028 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.028 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.028 * [taylor]: Taking taylor expansion of 2 in im
4.028 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.028 * [taylor]: Taking taylor expansion of im in im
4.028 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.028 * [taylor]: Taking taylor expansion of 1/60 in im
4.028 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.028 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.028 * [taylor]: Taking taylor expansion of im in im
4.031 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
4.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
4.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
4.031 * [taylor]: Taking taylor expansion of 1/3 in im
4.031 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
4.031 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.031 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.031 * [taylor]: Taking taylor expansion of 2 in im
4.031 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.031 * [taylor]: Taking taylor expansion of im in im
4.031 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.031 * [taylor]: Taking taylor expansion of 1/60 in im
4.031 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.031 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.031 * [taylor]: Taking taylor expansion of im in im
4.220 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in (im) around 0
4.220 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in im
4.220 * [taylor]: Taking taylor expansion of (cbrt -1) in im
4.220 * [taylor]: Taking taylor expansion of -1 in im
4.221 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
4.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
4.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
4.221 * [taylor]: Taking taylor expansion of 1/3 in im
4.221 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
4.221 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.221 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.221 * [taylor]: Taking taylor expansion of 2 in im
4.221 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.221 * [taylor]: Taking taylor expansion of im in im
4.221 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.221 * [taylor]: Taking taylor expansion of 1/60 in im
4.221 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.221 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.221 * [taylor]: Taking taylor expansion of im in im
4.224 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3)) in im
4.224 * [taylor]: Taking taylor expansion of (cbrt -1) in im
4.224 * [taylor]: Taking taylor expansion of -1 in im
4.225 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 1/3) in im
4.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im
4.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im
4.225 * [taylor]: Taking taylor expansion of 1/3 in im
4.225 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im
4.225 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.225 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.225 * [taylor]: Taking taylor expansion of 2 in im
4.225 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.225 * [taylor]: Taking taylor expansion of im in im
4.225 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.225 * [taylor]: Taking taylor expansion of 1/60 in im
4.225 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.225 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.225 * [taylor]: Taking taylor expansion of im in im
4.438 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
4.438 * [approximate]: Taking taylor expansion of (pow (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2) 1/3) in (im) around 0
4.439 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2) 1/3) in im
4.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2)))) in im
4.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2))) in im
4.439 * [taylor]: Taking taylor expansion of 1/3 in im
4.439 * [taylor]: Taking taylor expansion of (log (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2)) in im
4.439 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2) in im
4.439 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
4.439 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
4.439 * [taylor]: Taking taylor expansion of 1/60 in im
4.439 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.439 * [taylor]: Taking taylor expansion of im in im
4.439 * [taylor]: Taking taylor expansion of (* 2 im) in im
4.439 * [taylor]: Taking taylor expansion of 2 in im
4.439 * [taylor]: Taking taylor expansion of im in im
4.442 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2) 1/3) in im
4.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2)))) in im
4.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2))) in im
4.442 * [taylor]: Taking taylor expansion of 1/3 in im
4.442 * [taylor]: Taking taylor expansion of (log (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2)) in im
4.442 * [taylor]: Taking taylor expansion of (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 2) in im
4.442 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
4.442 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
4.442 * [taylor]: Taking taylor expansion of 1/60 in im
4.442 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.442 * [taylor]: Taking taylor expansion of im in im
4.442 * [taylor]: Taking taylor expansion of (* 2 im) in im
4.442 * [taylor]: Taking taylor expansion of 2 in im
4.442 * [taylor]: Taking taylor expansion of im in im
4.638 * [approximate]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3) in (im) around 0
4.638 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3) in im
4.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)))) in im
4.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2))) in im
4.638 * [taylor]: Taking taylor expansion of 1/3 in im
4.638 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)) in im
4.638 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) in im
4.638 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.638 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.638 * [taylor]: Taking taylor expansion of 2 in im
4.638 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.638 * [taylor]: Taking taylor expansion of im in im
4.639 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.639 * [taylor]: Taking taylor expansion of 1/60 in im
4.639 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.639 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.639 * [taylor]: Taking taylor expansion of im in im
4.642 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3) in im
4.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)))) in im
4.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2))) in im
4.642 * [taylor]: Taking taylor expansion of 1/3 in im
4.642 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)) in im
4.642 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) in im
4.642 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.642 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.642 * [taylor]: Taking taylor expansion of 2 in im
4.642 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.642 * [taylor]: Taking taylor expansion of im in im
4.642 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.642 * [taylor]: Taking taylor expansion of 1/60 in im
4.642 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.642 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.642 * [taylor]: Taking taylor expansion of im in im
4.837 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3)) in (im) around 0
4.837 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3)) in im
4.837 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in im
4.837 * [taylor]: Taking taylor expansion of (cbrt -1) in im
4.837 * [taylor]: Taking taylor expansion of -1 in im
4.838 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3) in im
4.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)))) in im
4.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2))) in im
4.838 * [taylor]: Taking taylor expansion of 1/3 in im
4.838 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)) in im
4.838 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) in im
4.838 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.838 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.838 * [taylor]: Taking taylor expansion of 2 in im
4.838 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.838 * [taylor]: Taking taylor expansion of im in im
4.839 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.839 * [taylor]: Taking taylor expansion of 1/60 in im
4.839 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.839 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.839 * [taylor]: Taking taylor expansion of im in im
4.842 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3)) in im
4.842 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in im
4.842 * [taylor]: Taking taylor expansion of (cbrt -1) in im
4.842 * [taylor]: Taking taylor expansion of -1 in im
4.842 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) 1/3) in im
4.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)))) in im
4.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2))) in im
4.842 * [taylor]: Taking taylor expansion of 1/3 in im
4.842 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2)) in im
4.843 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) 2) in im
4.843 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im
4.843 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
4.843 * [taylor]: Taking taylor expansion of 2 in im
4.843 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.843 * [taylor]: Taking taylor expansion of im in im
4.843 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
4.843 * [taylor]: Taking taylor expansion of 1/60 in im
4.843 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
4.843 * [taylor]: Taking taylor expansion of (pow im 5) in im
4.843 * [taylor]: Taking taylor expansion of im in im
5.071 * * * [progress]: simplifying candidates
5.073 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt 1)
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3)))
  (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))
  (cbrt (- (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt 1)
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3)))
  (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))
  (cbrt (- (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt 1)
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3)))
  (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))
  (cbrt (- (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ 1 1)
  (+ (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))) (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))))
  (* (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (* (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))))
  (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* 1 1)
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt 1))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) 1)
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (* (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (- (+ (* 1/360 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))) (exp (* 1/3 (+ (log im) (log 2))))) (* 1/129600 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 8))))
  (- (+ (* 40 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 1600 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4)))) (* 1600 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 8))))
  (- (+ (* 1/360 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))) (exp (* 1/3 (+ (log im) (log 2))))) (* 1/129600 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 8))))
  (- (+ (* 40 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 1600 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4)))) (* 1600 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 8))))
  (- (+ (* 1/360 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))) (exp (* 1/3 (+ (log im) (log 2))))) (* 1/129600 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 8))))
  (- (+ (* 40 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 1600 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4)))) (* 1600 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 8))))
  (- (+ (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (* 1/180 (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow im 4)))) (* 1/129600 (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow im 8))))
  (- (+ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (* 80 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (pow im 4)))) (* 1600 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* 80 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 4))) (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2))) (* 1600 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 8))))
5.082 * * [simplify]: iteration  0 :  382  enodes  (cost  1476 )
5.089 * * [simplify]: iteration  1 :  1336  enodes  (cost  1397 )
5.117 * * [simplify]: iteration  2 :  5002  enodes  (cost  1312 )
5.129 * [simplify]: Simplified to:
   (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  1
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3)))
  (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))
  (cbrt (- (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ (* 1/60 (pow im 5)) (* 2 im))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  1
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3)))
  (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))
  (cbrt (- (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ (* 1/60 (pow im 5)) (* 2 im))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  1
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3)))
  (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))
  (cbrt (- (* 1/60 (pow im 5)) (* 2 im)))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ (* 1/60 (pow im 5)) (* 2 im))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  2/3
  2
  (pow (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) 6)
  (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  2
  (* 2 (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* 2 (log (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (pow (exp 1) (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4))
  (pow (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) 6)
  (* (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (pow (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) 6)
  (fabs (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (fabs (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))) (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))))
  (* (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (* (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (* (cbrt (+ (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (- (* (* 2 im) (* 2 im)) (* (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  1
  (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  (pow (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  1
  (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  2/3
  2
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (* (pow (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 3)
  (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
  (pow (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (sqrt (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  (pow (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 3)
  (pow (sqrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) 4)
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (pow (* 1/60 (pow im 5)) 3) (pow (* 2 im) 3))))
  (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))))
  (+ (+ (* (- (* 1/129600 (pow im 8))) (* (pow 2 1/3) (pow im 1/3))) (* (pow 2 1/3) (pow im 1/3))) (* 1/360 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))))
  (- (+ (* 40 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 1600 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4)))) (* 1600 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 8))))
  (+ (+ (* (- (* 1/129600 (pow im 8))) (* (pow 2 1/3) (pow im 1/3))) (* (pow 2 1/3) (pow im 1/3))) (* 1/360 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))))
  (- (+ (* 40 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 1600 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4)))) (* 1600 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 8))))
  (+ (+ (* (- (* 1/129600 (pow im 8))) (* (pow 2 1/3) (pow im 1/3))) (* (pow 2 1/3) (pow im 1/3))) (* 1/360 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))))
  (- (+ (* 40 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 1600 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 40 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4)))) (* 1600 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 8))))
  (+ (+ (* (- (* 1/129600 (pow im 8))) (* (pow 4 1/3) (pow im 2/3))) (* 1/180 (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow im 4)))) (* (pow 4 1/3) (pow im 2/3)))
  (- (+ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (* 80 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (pow im 4)))) (* 1600 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (pow im 8))))
  (- (+ (* 80 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 4))) (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2))) (* 1600 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 8))))
5.130 * * * [progress]: adding candidates to table
5.529 * [progress]: [Phase 3 of 3] Extracting.
5.529 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- 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))))))) (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) (/ (* (* 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) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (/ (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))) (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (* (cbrt (sqrt im)) (cbrt (sqrt im)))) 5)) (pow (cbrt im) 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt 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)) (- (+ (* 1/3 (pow im 3)) (* (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (+ (* 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))))))>)
5.536 * * * [regime-changes]: Trying 6 branch expressions: ((- (exp (- im)) (exp im)) (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) im re)
5.536 * * * * [regimes]: Trying to branch on (- (exp (- im)) (exp im)) from (#<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- 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))))))) (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) (/ (* (* 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) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (/ (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))) (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (* (cbrt (sqrt im)) (cbrt (sqrt im)))) 5)) (pow (cbrt im) 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt 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)) (- (+ (* 1/3 (pow im 3)) (* (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (+ (* 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))))))>)
5.593 * * * * [regimes]: Trying to branch on (sin re) from (#<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- 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))))))) (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) (/ (* (* 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) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (/ (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))) (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (* (cbrt (sqrt im)) (cbrt (sqrt im)))) 5)) (pow (cbrt im) 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt 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)) (- (+ (* 1/3 (pow im 3)) (* (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (+ (* 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))))))>)
5.652 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (#<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- 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))))))) (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) (/ (* (* 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) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (/ (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))) (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (* (cbrt (sqrt im)) (cbrt (sqrt im)))) 5)) (pow (cbrt im) 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt 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)) (- (+ (* 1/3 (pow im 3)) (* (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (+ (* 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))))))>)
5.711 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) from (#<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- 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))))))) (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) (/ (* (* 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) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (/ (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))) (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (* (cbrt (sqrt im)) (cbrt (sqrt im)))) 5)) (pow (cbrt im) 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt 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)) (- (+ (* 1/3 (pow im 3)) (* (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (+ (* 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))))))>)
5.769 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- 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))))))) (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) (/ (* (* 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) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (/ (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))) (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (* (cbrt (sqrt im)) (cbrt (sqrt im)))) 5)) (pow (cbrt im) 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt 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)) (- (+ (* 1/3 (pow im 3)) (* (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (+ (* 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))))))>)
5.823 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (* 0.5 (sin re)) (- (exp (- 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))))))) (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) (/ (* (* 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) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (/ (* (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im)))) (cbrt (- (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* (* 2 im) (* 2 im))))) (* (cbrt (- (* 1/60 (pow im 5)) (* 2 im))) (cbrt (- (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (* (* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (* (cbrt (sqrt im)) (cbrt (sqrt im)))) 5)) (pow (cbrt im) 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt 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)) (- (+ (* 1/3 (pow im 3)) (* (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))) (sqrt (+ (* 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))))))>)
5.878 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
5.878 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt im) 5)) (* 2 im)))))
5.879 * * [simplify]: iteration  0 :  36  enodes  (cost  17 )
5.879 * * [simplify]: iteration  1 :  51  enodes  (cost  17 )
5.879 * * [simplify]: iteration  2 :  70  enodes  (cost  17 )
5.880 * * [simplify]: iteration  3 :  76  enodes  (cost  17 )
5.880 * * [simplify]: iteration  4 :  76  enodes  (cost  17 )
5.880 * [simplify]: Simplified to:
   (* (* 0.5 (sin re)) (- (+ (* 1/3 (pow im 3)) (+ (* (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (pow (cbrt im) 5)) (* 2 im)))))
10.430 * [regime-testing]: Baseline error score: 0.7533016604343133
10.430 * [regime-testing]: Oracle error score: 0.07783299277091746
10.431 * [regime-testing]: End program error score: 0.7533016604343133
10.482 * [regime-testing]: Target error score: 0.26469432309499175