9.379 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.133 * * * [progress]: [2/2] Setting up program.
0.136 * [progress]: [Phase 2 of 3] Improving.
0.136 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
0.138 * * [simplify]: iteration  0 :  21  enodes  (cost  7 )
0.140 * * [simplify]: iteration  1 :  44  enodes  (cost  7 )
0.141 * * [simplify]: iteration  2 :  99  enodes  (cost  7 )
0.144 * * [simplify]: iteration  3 :  185  enodes  (cost  7 )
0.147 * * [simplify]: iteration  4 :  318  enodes  (cost  7 )
0.152 * * [simplify]: iteration  5 :  766  enodes  (cost  7 )
0.160 * * [simplify]: iteration  6 :  1270  enodes  (cost  7 )
0.170 * * [simplify]: iteration  7 :  1801  enodes  (cost  7 )
0.196 * * [simplify]: iteration  8 :  4743  enodes  (cost  7 )
0.221 * * [simplify]: iteration  9 :  5001  enodes  (cost  7 )
0.221 * [simplify]: Simplified to:
   (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
0.221 * * [progress]: iteration 1 / 4
0.221 * * * [progress]: picking best candidate
0.224 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))>
0.224 * * * [progress]: localizing error
0.234 * * * [progress]: generating rewritten candidates
0.234 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.261 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.322 * * * [progress]: generating series expansions
0.322 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.323 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0
0.323 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im
0.323 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.323 * [taylor]: Taking taylor expansion of (- im) in im
0.323 * [taylor]: Taking taylor expansion of im in im
0.323 * [taylor]: Taking taylor expansion of (exp im) in im
0.323 * [taylor]: Taking taylor expansion of im in im
0.323 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im
0.324 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.324 * [taylor]: Taking taylor expansion of (- im) in im
0.324 * [taylor]: Taking taylor expansion of im in im
0.324 * [taylor]: Taking taylor expansion of (exp im) in im
0.324 * [taylor]: Taking taylor expansion of im in im
0.348 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0
0.348 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.348 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.348 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.348 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.348 * [taylor]: Taking taylor expansion of im in im
0.349 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.349 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.349 * [taylor]: Taking taylor expansion of im in im
0.349 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.349 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.349 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.349 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.349 * [taylor]: Taking taylor expansion of im in im
0.350 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.350 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.350 * [taylor]: Taking taylor expansion of im in im
0.353 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0
0.353 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.353 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.353 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.353 * [taylor]: Taking taylor expansion of im in im
0.353 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.353 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.354 * [taylor]: Taking taylor expansion of -1 in im
0.354 * [taylor]: Taking taylor expansion of im in im
0.354 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.354 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.354 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.354 * [taylor]: Taking taylor expansion of im in im
0.354 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.354 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.354 * [taylor]: Taking taylor expansion of -1 in im
0.354 * [taylor]: Taking taylor expansion of im in im
0.358 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.358 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in (re im) around 0
0.358 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in im
0.358 * [taylor]: Taking taylor expansion of 0.5 in im
0.358 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in im
0.358 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im
0.358 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.358 * [taylor]: Taking taylor expansion of (- im) in im
0.358 * [taylor]: Taking taylor expansion of im in im
0.358 * [taylor]: Taking taylor expansion of (exp im) in im
0.358 * [taylor]: Taking taylor expansion of im in im
0.358 * [taylor]: Taking taylor expansion of (cos re) in im
0.358 * [taylor]: Taking taylor expansion of re in im
0.358 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re
0.358 * [taylor]: Taking taylor expansion of 0.5 in re
0.358 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re
0.358 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re
0.358 * [taylor]: Taking taylor expansion of (exp (- im)) in re
0.359 * [taylor]: Taking taylor expansion of (- im) in re
0.359 * [taylor]: Taking taylor expansion of im in re
0.359 * [taylor]: Taking taylor expansion of (exp im) in re
0.359 * [taylor]: Taking taylor expansion of im in re
0.359 * [taylor]: Taking taylor expansion of (cos re) in re
0.359 * [taylor]: Taking taylor expansion of re in re
0.359 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re
0.359 * [taylor]: Taking taylor expansion of 0.5 in re
0.359 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re
0.359 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re
0.359 * [taylor]: Taking taylor expansion of (exp (- im)) in re
0.359 * [taylor]: Taking taylor expansion of (- im) in re
0.359 * [taylor]: Taking taylor expansion of im in re
0.359 * [taylor]: Taking taylor expansion of (exp im) in re
0.359 * [taylor]: Taking taylor expansion of im in re
0.359 * [taylor]: Taking taylor expansion of (cos re) in re
0.359 * [taylor]: Taking taylor expansion of re in re
0.359 * [taylor]: Taking taylor expansion of (* 0.5 (- (exp (- im)) (exp im))) in im
0.359 * [taylor]: Taking taylor expansion of 0.5 in im
0.359 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im
0.359 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.359 * [taylor]: Taking taylor expansion of (- im) in im
0.359 * [taylor]: Taking taylor expansion of im in im
0.360 * [taylor]: Taking taylor expansion of (exp im) in im
0.360 * [taylor]: Taking taylor expansion of im in im
0.363 * [taylor]: Taking taylor expansion of 0 in im
0.370 * [taylor]: Taking taylor expansion of (- (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im
0.370 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
0.370 * [taylor]: Taking taylor expansion of 0.25 in im
0.370 * [taylor]: Taking taylor expansion of (exp im) in im
0.370 * [taylor]: Taking taylor expansion of im in im
0.370 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im
0.370 * [taylor]: Taking taylor expansion of 0.25 in im
0.370 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.370 * [taylor]: Taking taylor expansion of (- im) in im
0.370 * [taylor]: Taking taylor expansion of im in im
0.385 * [taylor]: Taking taylor expansion of 0 in im
0.395 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0
0.395 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im
0.395 * [taylor]: Taking taylor expansion of 0.5 in im
0.395 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im
0.395 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.395 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.395 * [taylor]: Taking taylor expansion of re in im
0.395 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.395 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.395 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.395 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.395 * [taylor]: Taking taylor expansion of im in im
0.395 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.395 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.395 * [taylor]: Taking taylor expansion of im in im
0.396 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re
0.396 * [taylor]: Taking taylor expansion of 0.5 in re
0.396 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re
0.396 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.396 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.396 * [taylor]: Taking taylor expansion of re in re
0.396 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re
0.396 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
0.396 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
0.396 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.396 * [taylor]: Taking taylor expansion of im in re
0.396 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.396 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.396 * [taylor]: Taking taylor expansion of im in re
0.396 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re
0.396 * [taylor]: Taking taylor expansion of 0.5 in re
0.396 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re
0.396 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.397 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.397 * [taylor]: Taking taylor expansion of re in re
0.397 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re
0.397 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
0.397 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
0.397 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.397 * [taylor]: Taking taylor expansion of im in re
0.397 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.397 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.397 * [taylor]: Taking taylor expansion of im in re
0.398 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im
0.398 * [taylor]: Taking taylor expansion of 0.5 in im
0.398 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im
0.398 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.398 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.398 * [taylor]: Taking taylor expansion of re in im
0.398 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.398 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.398 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.398 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.398 * [taylor]: Taking taylor expansion of im in im
0.398 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.398 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.398 * [taylor]: Taking taylor expansion of im in im
0.402 * [taylor]: Taking taylor expansion of 0 in im
0.408 * [taylor]: Taking taylor expansion of 0 in im
0.417 * [taylor]: Taking taylor expansion of 0 in im
0.417 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0
0.417 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im
0.417 * [taylor]: Taking taylor expansion of 0.5 in im
0.417 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im
0.417 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.417 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.417 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.417 * [taylor]: Taking taylor expansion of im in im
0.417 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.417 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.418 * [taylor]: Taking taylor expansion of -1 in im
0.418 * [taylor]: Taking taylor expansion of im in im
0.418 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.418 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.418 * [taylor]: Taking taylor expansion of -1 in im
0.418 * [taylor]: Taking taylor expansion of re in im
0.418 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re
0.418 * [taylor]: Taking taylor expansion of 0.5 in re
0.418 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re
0.418 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re
0.418 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.418 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.418 * [taylor]: Taking taylor expansion of im in re
0.418 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.418 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.418 * [taylor]: Taking taylor expansion of -1 in re
0.418 * [taylor]: Taking taylor expansion of im in re
0.418 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.418 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.419 * [taylor]: Taking taylor expansion of -1 in re
0.419 * [taylor]: Taking taylor expansion of re in re
0.419 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re
0.419 * [taylor]: Taking taylor expansion of 0.5 in re
0.419 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re
0.419 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re
0.419 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.419 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.419 * [taylor]: Taking taylor expansion of im in re
0.419 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.419 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.419 * [taylor]: Taking taylor expansion of -1 in re
0.419 * [taylor]: Taking taylor expansion of im in re
0.419 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.419 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.419 * [taylor]: Taking taylor expansion of -1 in re
0.419 * [taylor]: Taking taylor expansion of re in re
0.420 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im
0.420 * [taylor]: Taking taylor expansion of 0.5 in im
0.420 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im
0.420 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im
0.420 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.420 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.420 * [taylor]: Taking taylor expansion of im in im
0.420 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.421 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.421 * [taylor]: Taking taylor expansion of -1 in im
0.421 * [taylor]: Taking taylor expansion of im in im
0.421 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.421 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.421 * [taylor]: Taking taylor expansion of -1 in im
0.421 * [taylor]: Taking taylor expansion of re in im
0.424 * [taylor]: Taking taylor expansion of 0 in im
0.430 * [taylor]: Taking taylor expansion of 0 in im
0.437 * [taylor]: Taking taylor expansion of 0 in im
0.438 * * * [progress]: simplifying candidates
0.438 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (exp (- 0.0 im))) (exp (exp im)))
  (log (- (exp (- 0.0 im)) (exp im)))
  (exp (- (exp (- 0.0 im)) (exp im)))
  (* (cbrt (- (exp (- 0.0 im)) (exp im))) (cbrt (- (exp (- 0.0 im)) (exp im))))
  (cbrt (- (exp (- 0.0 im)) (exp im)))
  (* (* (- (exp (- 0.0 im)) (exp im)) (- (exp (- 0.0 im)) (exp im))) (- (exp (- 0.0 im)) (exp im)))
  (sqrt (- (exp (- 0.0 im)) (exp im)))
  (sqrt (- (exp (- 0.0 im)) (exp im)))
  (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))
  (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))
  (- (exp im))
  (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))
  (+ (exp (- 0.0 im)) (exp im))
  (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im)))
  (- (sqrt (exp (- 0.0 im))) (sqrt (exp im)))
  (- (exp (- 0.0 im)) (exp im))
  (- (exp im))
  (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
  (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
  (+ (+ (log 0.5) (log (cos re))) (log (- (exp (- 0.0 im)) (exp im))))
  (+ (log (* 0.5 (cos re))) (log (- (exp (- 0.0 im)) (exp im))))
  (log (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (exp (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (exp (- 0.0 im)) (exp im)) (- (exp (- 0.0 im)) (exp im))) (- (exp (- 0.0 im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (exp (- 0.0 im)) (exp im)) (- (exp (- 0.0 im)) (exp im))) (- (exp (- 0.0 im)) (exp im))))
  (* (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))))
  (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (* (* 0.5 (cos re)) (exp (- 0.0 im)))
  (* (* 0.5 (cos re)) (- (exp im)))
  (* (* 0.5 (cos re)) (exp (- 0.0 im)))
  (* (* 0.5 (cos re)) (- (exp im)))
  (* (exp (- 0.0 im)) (* 0.5 (cos re)))
  (* (- (exp im)) (* 0.5 (cos re)))
  (* (exp (- 0.0 im)) (* 0.5 (cos re)))
  (* (- (exp im)) (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (* (cbrt (- (exp (- 0.0 im)) (exp im))) (cbrt (- (exp (- 0.0 im)) (exp im)))))
  (* (* 0.5 (cos re)) (sqrt (- (exp (- 0.0 im)) (exp im))))
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im))))
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (- (exp (- 0.0 im)) (exp im)))
  (* (* 0.5 (cos re)) (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (cos re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 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))
  (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
  (* 0.5 (* (- (exp (- im)) (exp im)) (cos re)))
  (* 0.5 (* (cos re) (- (exp (* -1 im)) (exp im))))
0.443 * * [simplify]: iteration  0 :  268  enodes  (cost  399 )
0.448 * * [simplify]: iteration  1 :  1086  enodes  (cost  345 )
0.472 * * [simplify]: iteration  2 :  5001  enodes  (cost  344 )
0.474 * [simplify]: Simplified to:
   (exp (- (exp (- 0.0 im)) (exp im)))
  (log (- (exp (- 0.0 im)) (exp im)))
  (exp (- (exp (- 0.0 im)) (exp im)))
  (* (cbrt (- (exp (- 0.0 im)) (exp im))) (cbrt (- (exp (- 0.0 im)) (exp im))))
  (cbrt (- (exp (- 0.0 im)) (exp im)))
  (pow (- (exp (- 0.0 im)) (exp im)) 3)
  (sqrt (- (exp (- 0.0 im)) (exp im)))
  (sqrt (- (exp (- 0.0 im)) (exp im)))
  (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))
  (+ (* (exp (- 0.0 im)) (+ (exp (- 0.0 im)) (exp im))) (exp (+ im im)))
  (- (exp im))
  (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im))))
  (+ (exp (- 0.0 im)) (exp im))
  (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im)))
  (- (sqrt (exp (- 0.0 im))) (sqrt (exp im)))
  (- (exp (- 0.0 im)) (exp im))
  (- (exp im))
  (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
  (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
  (log (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (log (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (log (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (exp (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)
  (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)
  (* (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))))
  (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)
  (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))
  (* (* 0.5 (cos re)) (exp (- 0.0 im)))
  (* (* 0.5 (cos re)) (- (exp im)))
  (* (* 0.5 (cos re)) (exp (- 0.0 im)))
  (* (* 0.5 (cos re)) (- (exp im)))
  (* (* 0.5 (cos re)) (exp (- 0.0 im)))
  (* (* 0.5 (cos re)) (- (exp im)))
  (* (* 0.5 (cos re)) (exp (- 0.0 im)))
  (* (* 0.5 (cos re)) (- (exp im)))
  (* (* 0.5 (cos re)) (* (cbrt (- (exp (- 0.0 im)) (exp im))) (cbrt (- (exp (- 0.0 im)) (exp im)))))
  (* (* 0.5 (cos re)) (sqrt (- (exp (- 0.0 im)) (exp im))))
  (* 0.5 (cos re))
  (* (* 0.5 (cos re)) (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im))))
  (* 0.5 (cos re))
  (* (cos re) (- (exp (- 0.0 im)) (exp im)))
  (* (* 0.5 (cos re)) (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))
  (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (* 0.5 (cos re)))
  (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (- (exp (* -1 im)) (exp im))
  (- (exp (* -1 im)) (exp im))
  (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
  (* 0.5 (* (cos re) (- (exp (* -1 im)) (exp im))))
  (* 0.5 (* (cos re) (- (exp (* -1 im)) (exp im))))
0.474 * * * [progress]: adding candidates to table
0.594 * * [progress]: iteration 2 / 4
0.594 * * * [progress]: picking best candidate
0.611 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))>
0.611 * * * [progress]: localizing error
0.627 * * * [progress]: generating rewritten candidates
0.627 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.683 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
0.690 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.698 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.710 * * * [progress]: generating series expansions
0.710 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.711 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in (re im) around 0
0.711 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im
0.711 * [taylor]: Taking taylor expansion of -0.5 in im
0.711 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im
0.711 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
0.711 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.711 * [taylor]: Taking taylor expansion of 1/3 in im
0.711 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.711 * [taylor]: Taking taylor expansion of im in im
0.711 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
0.711 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.711 * [taylor]: Taking taylor expansion of 1/60 in im
0.711 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.711 * [taylor]: Taking taylor expansion of im in im
0.711 * [taylor]: Taking taylor expansion of (* 2 im) in im
0.711 * [taylor]: Taking taylor expansion of 2 in im
0.711 * [taylor]: Taking taylor expansion of im in im
0.711 * [taylor]: Taking taylor expansion of (cos re) in im
0.711 * [taylor]: Taking taylor expansion of re in im
0.711 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re
0.711 * [taylor]: Taking taylor expansion of -0.5 in re
0.711 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re
0.711 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re
0.711 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re
0.711 * [taylor]: Taking taylor expansion of 1/3 in re
0.711 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.711 * [taylor]: Taking taylor expansion of im in re
0.711 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re
0.712 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re
0.712 * [taylor]: Taking taylor expansion of 1/60 in re
0.712 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.712 * [taylor]: Taking taylor expansion of im in re
0.712 * [taylor]: Taking taylor expansion of (* 2 im) in re
0.712 * [taylor]: Taking taylor expansion of 2 in re
0.712 * [taylor]: Taking taylor expansion of im in re
0.712 * [taylor]: Taking taylor expansion of (cos re) in re
0.712 * [taylor]: Taking taylor expansion of re in re
0.712 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re
0.712 * [taylor]: Taking taylor expansion of -0.5 in re
0.712 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re
0.712 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re
0.712 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re
0.712 * [taylor]: Taking taylor expansion of 1/3 in re
0.712 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.712 * [taylor]: Taking taylor expansion of im in re
0.712 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re
0.712 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re
0.712 * [taylor]: Taking taylor expansion of 1/60 in re
0.712 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.712 * [taylor]: Taking taylor expansion of im in re
0.712 * [taylor]: Taking taylor expansion of (* 2 im) in re
0.712 * [taylor]: Taking taylor expansion of 2 in re
0.712 * [taylor]: Taking taylor expansion of im in re
0.712 * [taylor]: Taking taylor expansion of (cos re) in re
0.712 * [taylor]: Taking taylor expansion of re in re
0.713 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
0.713 * [taylor]: Taking taylor expansion of -0.5 in im
0.713 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
0.713 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.713 * [taylor]: Taking taylor expansion of 1/3 in im
0.713 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.713 * [taylor]: Taking taylor expansion of im in im
0.713 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
0.713 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.713 * [taylor]: Taking taylor expansion of 1/60 in im
0.713 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.713 * [taylor]: Taking taylor expansion of im in im
0.713 * [taylor]: Taking taylor expansion of (* 2 im) in im
0.713 * [taylor]: Taking taylor expansion of 2 in im
0.713 * [taylor]: Taking taylor expansion of im in im
0.718 * [taylor]: Taking taylor expansion of 0 in im
0.726 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im
0.726 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im
0.726 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
0.726 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.726 * [taylor]: Taking taylor expansion of im in im
0.726 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im
0.726 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im
0.726 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im
0.726 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.726 * [taylor]: Taking taylor expansion of im in im
0.726 * [taylor]: Taking taylor expansion of (* 0.5 im) in im
0.726 * [taylor]: Taking taylor expansion of 0.5 in im
0.726 * [taylor]: Taking taylor expansion of im in im
0.736 * [taylor]: Taking taylor expansion of 0 in im
0.742 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in (re im) around 0
0.742 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in im
0.742 * [taylor]: Taking taylor expansion of -0.5 in im
0.742 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in im
0.742 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.742 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.742 * [taylor]: Taking taylor expansion of 2 in im
0.742 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.742 * [taylor]: Taking taylor expansion of im in im
0.742 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.742 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.742 * [taylor]: Taking taylor expansion of 1/3 in im
0.742 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.742 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.742 * [taylor]: Taking taylor expansion of im in im
0.743 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.743 * [taylor]: Taking taylor expansion of 1/60 in im
0.743 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.743 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.743 * [taylor]: Taking taylor expansion of im in im
0.744 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.744 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.744 * [taylor]: Taking taylor expansion of re in im
0.744 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in re
0.744 * [taylor]: Taking taylor expansion of -0.5 in re
0.744 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in re
0.744 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.744 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.744 * [taylor]: Taking taylor expansion of 2 in re
0.744 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.744 * [taylor]: Taking taylor expansion of im in re
0.744 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.744 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.744 * [taylor]: Taking taylor expansion of 1/3 in re
0.744 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.744 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.744 * [taylor]: Taking taylor expansion of im in re
0.745 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.745 * [taylor]: Taking taylor expansion of 1/60 in re
0.745 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.745 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.745 * [taylor]: Taking taylor expansion of im in re
0.745 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.745 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.745 * [taylor]: Taking taylor expansion of re in re
0.745 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in re
0.745 * [taylor]: Taking taylor expansion of -0.5 in re
0.745 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in re
0.745 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.745 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.745 * [taylor]: Taking taylor expansion of 2 in re
0.745 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.745 * [taylor]: Taking taylor expansion of im in re
0.745 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.745 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.745 * [taylor]: Taking taylor expansion of 1/3 in re
0.745 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.745 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.746 * [taylor]: Taking taylor expansion of im in re
0.746 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.746 * [taylor]: Taking taylor expansion of 1/60 in re
0.746 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.746 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.746 * [taylor]: Taking taylor expansion of im in re
0.746 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.746 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.746 * [taylor]: Taking taylor expansion of re in re
0.747 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in im
0.748 * [taylor]: Taking taylor expansion of -0.5 in im
0.748 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in im
0.748 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.748 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.748 * [taylor]: Taking taylor expansion of 2 in im
0.748 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.748 * [taylor]: Taking taylor expansion of im in im
0.748 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.748 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.748 * [taylor]: Taking taylor expansion of 1/3 in im
0.748 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.748 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.748 * [taylor]: Taking taylor expansion of im in im
0.749 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.749 * [taylor]: Taking taylor expansion of 1/60 in im
0.749 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.749 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.749 * [taylor]: Taking taylor expansion of im in im
0.750 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.750 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.750 * [taylor]: Taking taylor expansion of re in im
0.754 * [taylor]: Taking taylor expansion of 0 in im
0.764 * [taylor]: Taking taylor expansion of 0 in im
0.779 * [taylor]: Taking taylor expansion of 0 in im
0.803 * [taylor]: Taking taylor expansion of 0 in im
0.814 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in (re im) around 0
0.814 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im
0.815 * [taylor]: Taking taylor expansion of 0.5 in im
0.815 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im
0.815 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.815 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.815 * [taylor]: Taking taylor expansion of 2 in im
0.815 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.815 * [taylor]: Taking taylor expansion of im in im
0.815 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.815 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.815 * [taylor]: Taking taylor expansion of 1/3 in im
0.815 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.815 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.815 * [taylor]: Taking taylor expansion of im in im
0.816 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.816 * [taylor]: Taking taylor expansion of 1/60 in im
0.816 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.816 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.816 * [taylor]: Taking taylor expansion of im in im
0.817 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.817 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.817 * [taylor]: Taking taylor expansion of -1 in im
0.817 * [taylor]: Taking taylor expansion of re in im
0.817 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re
0.817 * [taylor]: Taking taylor expansion of 0.5 in re
0.817 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re
0.817 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.817 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.817 * [taylor]: Taking taylor expansion of 2 in re
0.817 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.817 * [taylor]: Taking taylor expansion of im in re
0.817 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.817 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.817 * [taylor]: Taking taylor expansion of 1/3 in re
0.817 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.817 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.817 * [taylor]: Taking taylor expansion of im in re
0.817 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.817 * [taylor]: Taking taylor expansion of 1/60 in re
0.817 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.817 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.817 * [taylor]: Taking taylor expansion of im in re
0.818 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.818 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.818 * [taylor]: Taking taylor expansion of -1 in re
0.818 * [taylor]: Taking taylor expansion of re in re
0.818 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re
0.818 * [taylor]: Taking taylor expansion of 0.5 in re
0.818 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re
0.818 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
0.818 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
0.818 * [taylor]: Taking taylor expansion of 2 in re
0.818 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.818 * [taylor]: Taking taylor expansion of im in re
0.818 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
0.818 * [taylor]: Taking taylor expansion of 1/3 in re
0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
0.818 * [taylor]: Taking taylor expansion of (pow im 3) in re
0.818 * [taylor]: Taking taylor expansion of im in re
0.819 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
0.819 * [taylor]: Taking taylor expansion of 1/60 in re
0.819 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
0.819 * [taylor]: Taking taylor expansion of (pow im 5) in re
0.819 * [taylor]: Taking taylor expansion of im in re
0.819 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.819 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.819 * [taylor]: Taking taylor expansion of -1 in re
0.819 * [taylor]: Taking taylor expansion of re in re
0.820 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im
0.820 * [taylor]: Taking taylor expansion of 0.5 in im
0.820 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im
0.820 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.820 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.821 * [taylor]: Taking taylor expansion of 2 in im
0.821 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.821 * [taylor]: Taking taylor expansion of im in im
0.821 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.821 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.821 * [taylor]: Taking taylor expansion of 1/3 in im
0.821 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.821 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.821 * [taylor]: Taking taylor expansion of im in im
0.822 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.822 * [taylor]: Taking taylor expansion of 1/60 in im
0.822 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.822 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.822 * [taylor]: Taking taylor expansion of im in im
0.823 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.823 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.823 * [taylor]: Taking taylor expansion of -1 in im
0.823 * [taylor]: Taking taylor expansion of re in im
0.827 * [taylor]: Taking taylor expansion of 0 in im
0.837 * [taylor]: Taking taylor expansion of 0 in im
0.851 * [taylor]: Taking taylor expansion of 0 in im
0.876 * [taylor]: Taking taylor expansion of 0 in im
0.887 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
0.887 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0
0.887 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.887 * [taylor]: Taking taylor expansion of 1/3 in im
0.887 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.887 * [taylor]: Taking taylor expansion of im in im
0.887 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.887 * [taylor]: Taking taylor expansion of 1/3 in im
0.888 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.888 * [taylor]: Taking taylor expansion of im in im
0.899 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0
0.899 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
0.899 * [taylor]: Taking taylor expansion of 1/3 in im
0.899 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.899 * [taylor]: Taking taylor expansion of im in im
0.899 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
0.899 * [taylor]: Taking taylor expansion of 1/3 in im
0.899 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.899 * [taylor]: Taking taylor expansion of im in im
0.910 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0
0.910 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
0.910 * [taylor]: Taking taylor expansion of -1/3 in im
0.910 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.910 * [taylor]: Taking taylor expansion of im in im
0.911 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
0.911 * [taylor]: Taking taylor expansion of -1/3 in im
0.911 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.911 * [taylor]: Taking taylor expansion of im in im
0.921 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.922 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0
0.922 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.922 * [taylor]: Taking taylor expansion of 1/60 in im
0.922 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.922 * [taylor]: Taking taylor expansion of im in im
0.922 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.922 * [taylor]: Taking taylor expansion of 1/60 in im
0.922 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.922 * [taylor]: Taking taylor expansion of im in im
0.936 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0
0.937 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im
0.937 * [taylor]: Taking taylor expansion of 1/60 in im
0.937 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.937 * [taylor]: Taking taylor expansion of im in im
0.938 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im
0.938 * [taylor]: Taking taylor expansion of 1/60 in im
0.938 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.938 * [taylor]: Taking taylor expansion of im in im
0.958 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0
0.958 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im
0.958 * [taylor]: Taking taylor expansion of -1/60 in im
0.958 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.958 * [taylor]: Taking taylor expansion of im in im
0.959 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im
0.959 * [taylor]: Taking taylor expansion of -1/60 in im
0.959 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.959 * [taylor]: Taking taylor expansion of im in im
0.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.974 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in (im) around 0
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.974 * [taylor]: Taking taylor expansion of 1/3 in im
0.974 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.974 * [taylor]: Taking taylor expansion of im in im
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
0.974 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.974 * [taylor]: Taking taylor expansion of 1/60 in im
0.974 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.974 * [taylor]: Taking taylor expansion of im in im
0.974 * [taylor]: Taking taylor expansion of (* 2 im) in im
0.974 * [taylor]: Taking taylor expansion of 2 in im
0.974 * [taylor]: Taking taylor expansion of im in im
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
0.974 * [taylor]: Taking taylor expansion of 1/3 in im
0.974 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.974 * [taylor]: Taking taylor expansion of im in im
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
0.974 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
0.974 * [taylor]: Taking taylor expansion of 1/60 in im
0.974 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.974 * [taylor]: Taking taylor expansion of im in im
0.974 * [taylor]: Taking taylor expansion of (* 2 im) in im
0.974 * [taylor]: Taking taylor expansion of 2 in im
0.974 * [taylor]: Taking taylor expansion of im in im
0.985 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0
0.985 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.985 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.985 * [taylor]: Taking taylor expansion of 2 in im
0.985 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.985 * [taylor]: Taking taylor expansion of im in im
0.985 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.985 * [taylor]: Taking taylor expansion of 1/3 in im
0.985 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.985 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.985 * [taylor]: Taking taylor expansion of im in im
0.986 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.986 * [taylor]: Taking taylor expansion of 1/60 in im
0.986 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.986 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.986 * [taylor]: Taking taylor expansion of im in im
0.987 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
0.987 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
0.987 * [taylor]: Taking taylor expansion of 2 in im
0.987 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.987 * [taylor]: Taking taylor expansion of im in im
0.988 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
0.988 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
0.988 * [taylor]: Taking taylor expansion of 1/3 in im
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
0.988 * [taylor]: Taking taylor expansion of (pow im 3) in im
0.988 * [taylor]: Taking taylor expansion of im in im
0.988 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
0.988 * [taylor]: Taking taylor expansion of 1/60 in im
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
0.988 * [taylor]: Taking taylor expansion of (pow im 5) in im
0.988 * [taylor]: Taking taylor expansion of im in im
1.006 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0
1.006 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
1.006 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
1.006 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.006 * [taylor]: Taking taylor expansion of 2 in im
1.006 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.006 * [taylor]: Taking taylor expansion of im in im
1.006 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
1.006 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
1.006 * [taylor]: Taking taylor expansion of 1/3 in im
1.006 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
1.006 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.006 * [taylor]: Taking taylor expansion of im in im
1.007 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.007 * [taylor]: Taking taylor expansion of 1/60 in im
1.007 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.007 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.007 * [taylor]: Taking taylor expansion of im in im
1.008 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
1.008 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
1.008 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.008 * [taylor]: Taking taylor expansion of 2 in im
1.008 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.008 * [taylor]: Taking taylor expansion of im in im
1.008 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
1.008 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
1.009 * [taylor]: Taking taylor expansion of 1/3 in im
1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
1.009 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.009 * [taylor]: Taking taylor expansion of im in im
1.009 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.009 * [taylor]: Taking taylor expansion of 1/60 in im
1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.009 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.009 * [taylor]: Taking taylor expansion of im in im
1.034 * * * [progress]: simplifying candidates
1.035 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ (+ (log 0.5) (log (cos re))) (log (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (+ (log (* 0.5 (cos re))) (log (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos 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 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos 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 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (cos re)) (- (* 1/3 (pow im 3))))
  (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (- (* 1/3 (pow im 3))) (* 0.5 (cos re)))
  (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))
  (* (* 0.5 (cos 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 (cos re)) (sqrt (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) -1)
  (* (* 0.5 (cos 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 (cos re)) (- (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) (- 1))
  (* (* 0.5 (cos 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 (cos re)) (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (* 0.5 (cos 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/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))
  (+ (log 1/60) (* (log im) 5))
  (+ (log 1/60) (* (log im) 5))
  (+ (log 1/60) (log (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (exp (* 1/60 (pow im 5)))
  (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5)))
  (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5))))
  (cbrt (* 1/60 (pow im 5)))
  (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5)))
  (sqrt (* 1/60 (pow im 5)))
  (sqrt (* 1/60 (pow im 5)))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (pow im (/ 5 2)))
  (* (sqrt 1/60) (pow im (/ 5 2)))
  (* 1/60 (pow (* (cbrt im) (cbrt im)) 5))
  (* 1/60 (pow (sqrt im) 5))
  (* 1/60 (pow 1 5))
  (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5))))
  (* 1/60 (sqrt (pow im 5)))
  (* 1/60 1)
  (* 1/60 (pow im (/ 5 2)))
  (* (cbrt 1/60) (pow im 5))
  (* (sqrt 1/60) (pow im 5))
  (* 1/60 (pow im 5))
  (* (exp (* 1/3 (pow im 3))) (* (exp (* 1/60 (pow im 5))) (exp (* 2 im))))
  (* (exp (* 1/3 (pow im 3))) (exp (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))
  (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
  (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
1.043 * * [simplify]: iteration  0 :  541  enodes  (cost  829 )
1.054 * * [simplify]: iteration  1 :  2757  enodes  (cost  736 )
1.110 * * [simplify]: iteration  2 :  5001  enodes  (cost  733 )
1.114 * [simplify]: Simplified to:
   (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 3)
  (pow (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 3)
  (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 3)
  (sqrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (* 0.5 (cos re)) (pow im 3)) -1/3)
  (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (* 0.5 (cos re)) (pow im 3)) -1/3)
  (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (cos 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 (cos re)) (sqrt (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* 0.5 (cos re))
  (- (* 0.5 (cos re)))
  (* (* 0.5 (cos 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 (cos re)) (- (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (- (* 0.5 (cos re)))
  (* (* 0.5 (cos 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 (cos re)) (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* 0.5 (cos re))
  (* (cos re) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9)))
  (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))
  (log (* 1/60 (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (log (* 1/60 (pow im 5)))
  (exp (* 1/60 (pow im 5)))
  (pow (* 1/60 (pow im 5)) 3)
  (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5))))
  (cbrt (* 1/60 (pow im 5)))
  (pow (* 1/60 (pow im 5)) 3)
  (sqrt (* 1/60 (pow im 5)))
  (sqrt (* 1/60 (pow im 5)))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (pow (sqrt im) 5))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (sqrt (pow im 5)))
  (* (sqrt 1/60) (pow im 5/2))
  (* (sqrt 1/60) (pow im 5/2))
  (* 1/60 (pow (* (cbrt im) (cbrt im)) 5))
  (* 1/60 (pow (sqrt im) 5))
  1/60
  (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5))))
  (* 1/60 (sqrt (pow im 5)))
  1/60
  (* 1/60 (pow im 5/2))
  (* (cbrt 1/60) (pow im 5))
  (* (sqrt 1/60) (pow im 5))
  (* 1/60 (pow im 5))
  (exp (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (exp (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 3)
  (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))
  (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (- (+ (* 1/60 (pow im 5)) (* 2 im)) (* 1/3 (pow im 3)))) (* 1/9 (* (pow im 3) (pow im 3))))
  (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))
  (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
  (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
1.115 * * * [progress]: adding candidates to table
1.416 * * [progress]: iteration 3 / 4
1.416 * * * [progress]: picking best candidate
1.455 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))>
1.455 * * * [progress]: localizing error
1.478 * * * [progress]: generating rewritten candidates
1.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.479 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.540 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
1.547 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
1.559 * * * [progress]: generating series expansions
1.559 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
1.559 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0
1.559 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
1.559 * [taylor]: Taking taylor expansion of 1/3 in im
1.559 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.559 * [taylor]: Taking taylor expansion of im in im
1.559 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
1.559 * [taylor]: Taking taylor expansion of 1/3 in im
1.559 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.559 * [taylor]: Taking taylor expansion of im in im
1.571 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0
1.571 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
1.571 * [taylor]: Taking taylor expansion of 1/3 in im
1.571 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.571 * [taylor]: Taking taylor expansion of im in im
1.572 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
1.572 * [taylor]: Taking taylor expansion of 1/3 in im
1.572 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.572 * [taylor]: Taking taylor expansion of im in im
1.583 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0
1.583 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
1.583 * [taylor]: Taking taylor expansion of -1/3 in im
1.583 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.583 * [taylor]: Taking taylor expansion of im in im
1.584 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
1.584 * [taylor]: Taking taylor expansion of -1/3 in im
1.584 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.584 * [taylor]: Taking taylor expansion of im in im
1.595 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.595 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in (re im) around 0
1.595 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im
1.595 * [taylor]: Taking taylor expansion of -0.5 in im
1.595 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im
1.595 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
1.595 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
1.595 * [taylor]: Taking taylor expansion of 1/3 in im
1.595 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.595 * [taylor]: Taking taylor expansion of im in im
1.595 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
1.596 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
1.596 * [taylor]: Taking taylor expansion of 1/60 in im
1.596 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.596 * [taylor]: Taking taylor expansion of im in im
1.596 * [taylor]: Taking taylor expansion of (* 2 im) in im
1.596 * [taylor]: Taking taylor expansion of 2 in im
1.596 * [taylor]: Taking taylor expansion of im in im
1.596 * [taylor]: Taking taylor expansion of (cos re) in im
1.596 * [taylor]: Taking taylor expansion of re in im
1.596 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re
1.596 * [taylor]: Taking taylor expansion of -0.5 in re
1.596 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re
1.596 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re
1.596 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re
1.596 * [taylor]: Taking taylor expansion of 1/3 in re
1.596 * [taylor]: Taking taylor expansion of (pow im 3) in re
1.596 * [taylor]: Taking taylor expansion of im in re
1.596 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re
1.596 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re
1.596 * [taylor]: Taking taylor expansion of 1/60 in re
1.596 * [taylor]: Taking taylor expansion of (pow im 5) in re
1.596 * [taylor]: Taking taylor expansion of im in re
1.596 * [taylor]: Taking taylor expansion of (* 2 im) in re
1.596 * [taylor]: Taking taylor expansion of 2 in re
1.596 * [taylor]: Taking taylor expansion of im in re
1.596 * [taylor]: Taking taylor expansion of (cos re) in re
1.596 * [taylor]: Taking taylor expansion of re in re
1.596 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re
1.596 * [taylor]: Taking taylor expansion of -0.5 in re
1.596 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re
1.596 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re
1.596 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re
1.596 * [taylor]: Taking taylor expansion of 1/3 in re
1.596 * [taylor]: Taking taylor expansion of (pow im 3) in re
1.596 * [taylor]: Taking taylor expansion of im in re
1.596 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re
1.596 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re
1.596 * [taylor]: Taking taylor expansion of 1/60 in re
1.596 * [taylor]: Taking taylor expansion of (pow im 5) in re
1.596 * [taylor]: Taking taylor expansion of im in re
1.596 * [taylor]: Taking taylor expansion of (* 2 im) in re
1.596 * [taylor]: Taking taylor expansion of 2 in re
1.596 * [taylor]: Taking taylor expansion of im in re
1.596 * [taylor]: Taking taylor expansion of (cos re) in re
1.596 * [taylor]: Taking taylor expansion of re in re
1.597 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
1.598 * [taylor]: Taking taylor expansion of -0.5 in im
1.598 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
1.598 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
1.598 * [taylor]: Taking taylor expansion of 1/3 in im
1.598 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.598 * [taylor]: Taking taylor expansion of im in im
1.598 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
1.598 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
1.598 * [taylor]: Taking taylor expansion of 1/60 in im
1.598 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.598 * [taylor]: Taking taylor expansion of im in im
1.598 * [taylor]: Taking taylor expansion of (* 2 im) in im
1.598 * [taylor]: Taking taylor expansion of 2 in im
1.598 * [taylor]: Taking taylor expansion of im in im
1.602 * [taylor]: Taking taylor expansion of 0 in im
1.609 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im
1.609 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im
1.609 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
1.609 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.610 * [taylor]: Taking taylor expansion of im in im
1.610 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im
1.610 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im
1.610 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im
1.610 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.610 * [taylor]: Taking taylor expansion of im in im
1.610 * [taylor]: Taking taylor expansion of (* 0.5 im) in im
1.610 * [taylor]: Taking taylor expansion of 0.5 in im
1.610 * [taylor]: Taking taylor expansion of im in im
1.620 * [taylor]: Taking taylor expansion of 0 in im
1.626 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in (re im) around 0
1.626 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in im
1.626 * [taylor]: Taking taylor expansion of -0.5 in im
1.626 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in im
1.626 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
1.626 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.626 * [taylor]: Taking taylor expansion of 2 in im
1.626 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.626 * [taylor]: Taking taylor expansion of im in im
1.626 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
1.626 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
1.626 * [taylor]: Taking taylor expansion of 1/3 in im
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
1.626 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.626 * [taylor]: Taking taylor expansion of im in im
1.627 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.627 * [taylor]: Taking taylor expansion of 1/60 in im
1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.627 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.627 * [taylor]: Taking taylor expansion of im in im
1.628 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
1.628 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.628 * [taylor]: Taking taylor expansion of re in im
1.628 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in re
1.628 * [taylor]: Taking taylor expansion of -0.5 in re
1.628 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in re
1.628 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
1.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
1.628 * [taylor]: Taking taylor expansion of 2 in re
1.628 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.628 * [taylor]: Taking taylor expansion of im in re
1.628 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
1.629 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
1.629 * [taylor]: Taking taylor expansion of 1/3 in re
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
1.629 * [taylor]: Taking taylor expansion of (pow im 3) in re
1.629 * [taylor]: Taking taylor expansion of im in re
1.629 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
1.629 * [taylor]: Taking taylor expansion of 1/60 in re
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
1.629 * [taylor]: Taking taylor expansion of (pow im 5) in re
1.629 * [taylor]: Taking taylor expansion of im in re
1.629 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
1.629 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.629 * [taylor]: Taking taylor expansion of re in re
1.629 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in re
1.629 * [taylor]: Taking taylor expansion of -0.5 in re
1.629 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in re
1.629 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
1.630 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
1.630 * [taylor]: Taking taylor expansion of 2 in re
1.630 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.630 * [taylor]: Taking taylor expansion of im in re
1.630 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
1.630 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
1.630 * [taylor]: Taking taylor expansion of 1/3 in re
1.630 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
1.630 * [taylor]: Taking taylor expansion of (pow im 3) in re
1.630 * [taylor]: Taking taylor expansion of im in re
1.630 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
1.630 * [taylor]: Taking taylor expansion of 1/60 in re
1.630 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
1.630 * [taylor]: Taking taylor expansion of (pow im 5) in re
1.630 * [taylor]: Taking taylor expansion of im in re
1.630 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
1.630 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.630 * [taylor]: Taking taylor expansion of re in re
1.637 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in im
1.637 * [taylor]: Taking taylor expansion of -0.5 in im
1.637 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in im
1.637 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
1.637 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.638 * [taylor]: Taking taylor expansion of 2 in im
1.638 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.638 * [taylor]: Taking taylor expansion of im in im
1.638 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
1.638 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
1.638 * [taylor]: Taking taylor expansion of 1/3 in im
1.638 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
1.638 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.638 * [taylor]: Taking taylor expansion of im in im
1.639 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.639 * [taylor]: Taking taylor expansion of 1/60 in im
1.639 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.639 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.639 * [taylor]: Taking taylor expansion of im in im
1.640 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
1.640 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.640 * [taylor]: Taking taylor expansion of re in im
1.644 * [taylor]: Taking taylor expansion of 0 in im
1.655 * [taylor]: Taking taylor expansion of 0 in im
1.669 * [taylor]: Taking taylor expansion of 0 in im
1.688 * [taylor]: Taking taylor expansion of 0 in im
1.701 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in (re im) around 0
1.701 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im
1.701 * [taylor]: Taking taylor expansion of 0.5 in im
1.701 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im
1.701 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
1.701 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.701 * [taylor]: Taking taylor expansion of 2 in im
1.701 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.701 * [taylor]: Taking taylor expansion of im in im
1.701 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
1.701 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
1.701 * [taylor]: Taking taylor expansion of 1/3 in im
1.701 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
1.701 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.701 * [taylor]: Taking taylor expansion of im in im
1.702 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.702 * [taylor]: Taking taylor expansion of 1/60 in im
1.702 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.702 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.702 * [taylor]: Taking taylor expansion of im in im
1.703 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
1.703 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.703 * [taylor]: Taking taylor expansion of -1 in im
1.703 * [taylor]: Taking taylor expansion of re in im
1.703 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re
1.703 * [taylor]: Taking taylor expansion of 0.5 in re
1.703 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re
1.703 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
1.703 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
1.703 * [taylor]: Taking taylor expansion of 2 in re
1.703 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.703 * [taylor]: Taking taylor expansion of im in re
1.703 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
1.703 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
1.703 * [taylor]: Taking taylor expansion of 1/3 in re
1.703 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
1.703 * [taylor]: Taking taylor expansion of (pow im 3) in re
1.703 * [taylor]: Taking taylor expansion of im in re
1.704 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
1.704 * [taylor]: Taking taylor expansion of 1/60 in re
1.704 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
1.704 * [taylor]: Taking taylor expansion of (pow im 5) in re
1.704 * [taylor]: Taking taylor expansion of im in re
1.704 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
1.704 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.704 * [taylor]: Taking taylor expansion of -1 in re
1.704 * [taylor]: Taking taylor expansion of re in re
1.704 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re
1.704 * [taylor]: Taking taylor expansion of 0.5 in re
1.704 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re
1.704 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re
1.704 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re
1.705 * [taylor]: Taking taylor expansion of 2 in re
1.705 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.705 * [taylor]: Taking taylor expansion of im in re
1.705 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re
1.705 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re
1.705 * [taylor]: Taking taylor expansion of 1/3 in re
1.705 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re
1.705 * [taylor]: Taking taylor expansion of (pow im 3) in re
1.705 * [taylor]: Taking taylor expansion of im in re
1.705 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re
1.705 * [taylor]: Taking taylor expansion of 1/60 in re
1.705 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re
1.705 * [taylor]: Taking taylor expansion of (pow im 5) in re
1.705 * [taylor]: Taking taylor expansion of im in re
1.705 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
1.705 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.705 * [taylor]: Taking taylor expansion of -1 in re
1.705 * [taylor]: Taking taylor expansion of re in re
1.707 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im
1.707 * [taylor]: Taking taylor expansion of 0.5 in im
1.707 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im
1.707 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
1.707 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
1.707 * [taylor]: Taking taylor expansion of 2 in im
1.707 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.707 * [taylor]: Taking taylor expansion of im in im
1.707 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
1.707 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
1.707 * [taylor]: Taking taylor expansion of 1/3 in im
1.707 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
1.707 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.707 * [taylor]: Taking taylor expansion of im in im
1.708 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
1.708 * [taylor]: Taking taylor expansion of 1/60 in im
1.708 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.708 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.708 * [taylor]: Taking taylor expansion of im in im
1.709 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
1.709 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.709 * [taylor]: Taking taylor expansion of -1 in im
1.709 * [taylor]: Taking taylor expansion of re in im
1.713 * [taylor]: Taking taylor expansion of 0 in im
1.729 * [taylor]: Taking taylor expansion of 0 in im
1.743 * [taylor]: Taking taylor expansion of 0 in im
1.762 * [taylor]: Taking taylor expansion of 0 in im
1.774 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
1.774 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0
1.774 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
1.774 * [taylor]: Taking taylor expansion of 1/3 in im
1.774 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.774 * [taylor]: Taking taylor expansion of im in im
1.774 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
1.774 * [taylor]: Taking taylor expansion of 1/3 in im
1.774 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.774 * [taylor]: Taking taylor expansion of im in im
1.786 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0
1.786 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
1.786 * [taylor]: Taking taylor expansion of 1/3 in im
1.786 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.786 * [taylor]: Taking taylor expansion of im in im
1.787 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im
1.787 * [taylor]: Taking taylor expansion of 1/3 in im
1.787 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.787 * [taylor]: Taking taylor expansion of im in im
1.797 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0
1.797 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
1.797 * [taylor]: Taking taylor expansion of -1/3 in im
1.797 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.797 * [taylor]: Taking taylor expansion of im in im
1.798 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im
1.798 * [taylor]: Taking taylor expansion of -1/3 in im
1.798 * [taylor]: Taking taylor expansion of (pow im 3) in im
1.798 * [taylor]: Taking taylor expansion of im in im
1.815 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
1.815 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0
1.815 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
1.815 * [taylor]: Taking taylor expansion of 1/60 in im
1.815 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.815 * [taylor]: Taking taylor expansion of im in im
1.815 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
1.815 * [taylor]: Taking taylor expansion of 1/60 in im
1.815 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.815 * [taylor]: Taking taylor expansion of im in im
1.830 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0
1.830 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im
1.830 * [taylor]: Taking taylor expansion of 1/60 in im
1.830 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.830 * [taylor]: Taking taylor expansion of im in im
1.831 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im
1.831 * [taylor]: Taking taylor expansion of 1/60 in im
1.831 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.831 * [taylor]: Taking taylor expansion of im in im
1.845 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0
1.845 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im
1.846 * [taylor]: Taking taylor expansion of -1/60 in im
1.846 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.846 * [taylor]: Taking taylor expansion of im in im
1.846 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im
1.847 * [taylor]: Taking taylor expansion of -1/60 in im
1.847 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.847 * [taylor]: Taking taylor expansion of im in im
1.861 * * * [progress]: simplifying candidates
1.863 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (exp (* 1/3 (pow im 3)))) (cbrt (exp (* 1/3 (pow im 3))))))
  (log (cbrt (exp (* 1/3 (pow im 3)))))
  (log (sqrt (exp (* 1/3 (pow im 3)))))
  (log (sqrt (exp (* 1/3 (pow im 3)))))
  (log 1)
  (log (exp (* 1/3 (pow im 3))))
  (log (exp 1/3))
  (log (exp (* 1/3 (pow im 3))))
  (log (exp 1/3))
  (log (log (exp (* 1/3 (pow im 3)))))
  (exp (log (exp (* 1/3 (pow im 3)))))
  (* (cbrt (log (exp (* 1/3 (pow im 3))))) (cbrt (log (exp (* 1/3 (pow im 3))))))
  (cbrt (log (exp (* 1/3 (pow im 3)))))
  (* (* (log (exp (* 1/3 (pow im 3)))) (log (exp (* 1/3 (pow im 3))))) (log (exp (* 1/3 (pow im 3)))))
  (sqrt (log (exp (* 1/3 (pow im 3)))))
  (sqrt (log (exp (* 1/3 (pow im 3)))))
  (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ (+ (log 0.5) (log (cos re))) (log (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (+ (log (* 0.5 (cos re))) (log (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (exp (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (cos re)) (- (log (exp (* 1/3 (pow im 3))))))
  (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (- (log (exp (* 1/3 (pow im 3))))) (* 0.5 (cos re)))
  (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (* (cbrt (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (* 0.5 (cos re)) (sqrt (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) -1)
  (* (* 0.5 (cos re)) (- (* (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (* 0.5 (cos re)) (- (sqrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) (- 1))
  (* (* 0.5 (cos re)) (- 1))
  (* (* 0.5 (cos re)) (- 1))
  (* (* 0.5 (cos re)) (* (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) (sqrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* 0.5 (cos re)) (- (+ (pow (log (exp (* 1/3 (pow im 3)))) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (* 0.5 (cos re)) (- (- (* (log (exp (* 1/3 (pow im 3)))) (log (exp (* 1/3 (pow im 3))))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (+ (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))
  (+ (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))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
1.870 * * [simplify]: iteration  0 :  500  enodes  (cost  798 )
1.880 * * [simplify]: iteration  1 :  2407  enodes  (cost  691 )
1.929 * * [simplify]: iteration  2 :  5003  enodes  (cost  678 )
1.933 * [simplify]: Simplified to:
   (* 2 (log (cbrt (exp (* 1/3 (pow im 3))))))
  (log (cbrt (exp (* 1/3 (pow im 3)))))
  (log (sqrt (exp (* 1/3 (pow im 3)))))
  (log (sqrt (exp (* 1/3 (pow im 3)))))
  0
  (* 1/3 (pow im 3))
  1/3
  (* 1/3 (pow im 3))
  1/3
  (log (* 1/3 (pow im 3)))
  (exp (* 1/3 (pow im 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)))
  (* (- (* 0.5 (cos re))) (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))
  (* (- (* 0.5 (cos re))) (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))
  (+ (log (- (* 0.5 (cos re)))) (log (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))
  (+ (log (- (* 0.5 (cos re)))) (log (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))
  (+ (log (- (* 0.5 (cos re)))) (log (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))
  (/ 1 (exp (* (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re)))))
  (pow (* (- (* 0.5 (cos re))) (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) 3)
  (pow (* (- (* 0.5 (cos re))) (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) 3)
  (* (cbrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (* (- (* 0.5 (cos re))) (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) 3)
  (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 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 (cos re)))
  (* (* (* 0.5 (cos re)) (pow im 3)) -1/3)
  (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* (* 0.5 (cos re)) (pow im 3)) -1/3)
  (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (* 0.5 (cos re)) (* (cbrt (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (* 0.5 (cos re)) (sqrt (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* 0.5 (cos re))
  (- (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (- (* (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (* 0.5 (cos re)) (- (sqrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (- (* 0.5 (cos re)))
  (- (* 0.5 (cos re)))
  (- (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (* (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* 0.5 (cos re)) (sqrt (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* 0.5 (cos re))
  (* 0.5 (cos re))
  (* 0.5 (cos re))
  (* (- (cos re)) (+ (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))
  (* (* 0.5 (cos re)) (- (+ (pow (log (exp (* 1/3 (pow im 3)))) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (- (* 0.5 (cos re))) (- (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (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))
  (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))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im)))))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/3 (pow im 3))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
  (* 1/60 (pow im 5))
1.933 * * * [progress]: adding candidates to table
2.291 * * [progress]: iteration 4 / 4
2.291 * * * [progress]: picking best candidate
2.330 * * * * [pick]: Picked  #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))>
2.331 * * * [progress]: localizing error
2.350 * * * [progress]: generating rewritten candidates
2.350 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
2.359 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
2.367 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
2.376 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
2.453 * * * [progress]: generating series expansions
2.453 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
2.453 * [approximate]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in (im) around 0
2.453 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in im
2.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) in im
2.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.453 * [taylor]: Taking taylor expansion of 1/3 in im
2.453 * [taylor]: Taking taylor expansion of (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.453 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.453 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.453 * [taylor]: Taking taylor expansion of 1/3 in im
2.453 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.453 * [taylor]: Taking taylor expansion of im in im
2.453 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.453 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.453 * [taylor]: Taking taylor expansion of 1/60 in im
2.453 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.453 * [taylor]: Taking taylor expansion of im in im
2.453 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.453 * [taylor]: Taking taylor expansion of 2 in im
2.453 * [taylor]: Taking taylor expansion of im in im
2.457 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in im
2.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) in im
2.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.457 * [taylor]: Taking taylor expansion of 1/3 in im
2.457 * [taylor]: Taking taylor expansion of (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.457 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.457 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.457 * [taylor]: Taking taylor expansion of 1/3 in im
2.457 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.457 * [taylor]: Taking taylor expansion of im in im
2.457 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.457 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.457 * [taylor]: Taking taylor expansion of 1/60 in im
2.457 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.457 * [taylor]: Taking taylor expansion of im in im
2.457 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.457 * [taylor]: Taking taylor expansion of 2 in im
2.457 * [taylor]: Taking taylor expansion of im in im
2.497 * [approximate]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in (im) around 0
2.497 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.497 * [taylor]: Taking taylor expansion of 1/3 in im
2.497 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.497 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.497 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.497 * [taylor]: Taking taylor expansion of 2 in im
2.497 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.497 * [taylor]: Taking taylor expansion of im in im
2.497 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.497 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.497 * [taylor]: Taking taylor expansion of 1/3 in im
2.497 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.497 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.497 * [taylor]: Taking taylor expansion of im in im
2.498 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.498 * [taylor]: Taking taylor expansion of 1/60 in im
2.498 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.498 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.498 * [taylor]: Taking taylor expansion of im in im
2.501 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.501 * [taylor]: Taking taylor expansion of 1/3 in im
2.501 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.501 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.501 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.501 * [taylor]: Taking taylor expansion of 2 in im
2.501 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.501 * [taylor]: Taking taylor expansion of im in im
2.502 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.502 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.502 * [taylor]: Taking taylor expansion of 1/3 in im
2.502 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.502 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.502 * [taylor]: Taking taylor expansion of im in im
2.502 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.502 * [taylor]: Taking taylor expansion of 1/60 in im
2.502 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.502 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.503 * [taylor]: Taking taylor expansion of im in im
2.552 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in (im) around 0
2.552 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in im
2.552 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.552 * [taylor]: Taking taylor expansion of -1 in im
2.553 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.553 * [taylor]: Taking taylor expansion of 1/3 in im
2.553 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.553 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.553 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.553 * [taylor]: Taking taylor expansion of 2 in im
2.553 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.553 * [taylor]: Taking taylor expansion of im in im
2.553 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.553 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.553 * [taylor]: Taking taylor expansion of 1/3 in im
2.553 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.553 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.553 * [taylor]: Taking taylor expansion of im in im
2.554 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.554 * [taylor]: Taking taylor expansion of 1/60 in im
2.554 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.554 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.554 * [taylor]: Taking taylor expansion of im in im
2.557 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in im
2.557 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.557 * [taylor]: Taking taylor expansion of -1 in im
2.558 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.558 * [taylor]: Taking taylor expansion of 1/3 in im
2.558 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.558 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.558 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.558 * [taylor]: Taking taylor expansion of 2 in im
2.558 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.558 * [taylor]: Taking taylor expansion of im in im
2.558 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.558 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.558 * [taylor]: Taking taylor expansion of 1/3 in im
2.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.558 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.558 * [taylor]: Taking taylor expansion of im in im
2.559 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.559 * [taylor]: Taking taylor expansion of 1/60 in im
2.559 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.559 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.559 * [taylor]: Taking taylor expansion of im in im
2.612 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2)
2.612 * [approximate]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in (im) around 0
2.612 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in im
2.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) in im
2.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.612 * [taylor]: Taking taylor expansion of 1/3 in im
2.612 * [taylor]: Taking taylor expansion of (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.612 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.612 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.612 * [taylor]: Taking taylor expansion of 1/3 in im
2.612 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.612 * [taylor]: Taking taylor expansion of im in im
2.612 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.612 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.612 * [taylor]: Taking taylor expansion of 1/60 in im
2.612 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.612 * [taylor]: Taking taylor expansion of im in im
2.612 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.612 * [taylor]: Taking taylor expansion of 2 in im
2.613 * [taylor]: Taking taylor expansion of im in im
2.615 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in im
2.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) in im
2.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.615 * [taylor]: Taking taylor expansion of 1/3 in im
2.615 * [taylor]: Taking taylor expansion of (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.616 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.616 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.616 * [taylor]: Taking taylor expansion of 1/3 in im
2.616 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.616 * [taylor]: Taking taylor expansion of im in im
2.616 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.616 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.616 * [taylor]: Taking taylor expansion of 1/60 in im
2.616 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.616 * [taylor]: Taking taylor expansion of im in im
2.616 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.616 * [taylor]: Taking taylor expansion of 2 in im
2.616 * [taylor]: Taking taylor expansion of im in im
2.657 * [approximate]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in (im) around 0
2.657 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.657 * [taylor]: Taking taylor expansion of 1/3 in im
2.657 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.657 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.657 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.657 * [taylor]: Taking taylor expansion of 2 in im
2.657 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.657 * [taylor]: Taking taylor expansion of im in im
2.658 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.658 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.658 * [taylor]: Taking taylor expansion of 1/3 in im
2.658 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.658 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.658 * [taylor]: Taking taylor expansion of im in im
2.658 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.659 * [taylor]: Taking taylor expansion of 1/60 in im
2.659 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.659 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.659 * [taylor]: Taking taylor expansion of im in im
2.662 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.662 * [taylor]: Taking taylor expansion of 1/3 in im
2.662 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.662 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.662 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.662 * [taylor]: Taking taylor expansion of 2 in im
2.662 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.662 * [taylor]: Taking taylor expansion of im in im
2.662 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.662 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.662 * [taylor]: Taking taylor expansion of 1/3 in im
2.662 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.662 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.662 * [taylor]: Taking taylor expansion of im in im
2.663 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.663 * [taylor]: Taking taylor expansion of 1/60 in im
2.663 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.663 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.663 * [taylor]: Taking taylor expansion of im in im
2.706 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in (im) around 0
2.706 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in im
2.706 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.706 * [taylor]: Taking taylor expansion of -1 in im
2.706 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.707 * [taylor]: Taking taylor expansion of 1/3 in im
2.707 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.707 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.707 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.707 * [taylor]: Taking taylor expansion of 2 in im
2.707 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.707 * [taylor]: Taking taylor expansion of im in im
2.707 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.707 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.707 * [taylor]: Taking taylor expansion of 1/3 in im
2.707 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.707 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.707 * [taylor]: Taking taylor expansion of im in im
2.708 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.708 * [taylor]: Taking taylor expansion of 1/60 in im
2.708 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.708 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.708 * [taylor]: Taking taylor expansion of im in im
2.717 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in im
2.717 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.717 * [taylor]: Taking taylor expansion of -1 in im
2.718 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.718 * [taylor]: Taking taylor expansion of 1/3 in im
2.718 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.718 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.718 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.718 * [taylor]: Taking taylor expansion of 2 in im
2.718 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.718 * [taylor]: Taking taylor expansion of im in im
2.719 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.719 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.719 * [taylor]: Taking taylor expansion of 1/3 in im
2.719 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.719 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.719 * [taylor]: Taking taylor expansion of im in im
2.720 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.720 * [taylor]: Taking taylor expansion of 1/60 in im
2.720 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.720 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.720 * [taylor]: Taking taylor expansion of im in im
2.772 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
2.773 * [approximate]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in (im) around 0
2.773 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in im
2.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) in im
2.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.773 * [taylor]: Taking taylor expansion of 1/3 in im
2.773 * [taylor]: Taking taylor expansion of (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.773 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.773 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.773 * [taylor]: Taking taylor expansion of 1/3 in im
2.773 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.773 * [taylor]: Taking taylor expansion of im in im
2.773 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.773 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.773 * [taylor]: Taking taylor expansion of 1/60 in im
2.773 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.773 * [taylor]: Taking taylor expansion of im in im
2.773 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.773 * [taylor]: Taking taylor expansion of 2 in im
2.773 * [taylor]: Taking taylor expansion of im in im
2.776 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 1/3) in im
2.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) in im
2.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in im
2.776 * [taylor]: Taking taylor expansion of 1/3 in im
2.776 * [taylor]: Taking taylor expansion of (log (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im
2.776 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.776 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.776 * [taylor]: Taking taylor expansion of 1/3 in im
2.776 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.776 * [taylor]: Taking taylor expansion of im in im
2.776 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.776 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.776 * [taylor]: Taking taylor expansion of 1/60 in im
2.776 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.776 * [taylor]: Taking taylor expansion of im in im
2.776 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.776 * [taylor]: Taking taylor expansion of 2 in im
2.776 * [taylor]: Taking taylor expansion of im in im
2.818 * [approximate]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in (im) around 0
2.818 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.818 * [taylor]: Taking taylor expansion of 1/3 in im
2.818 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.818 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.818 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.818 * [taylor]: Taking taylor expansion of 2 in im
2.818 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.818 * [taylor]: Taking taylor expansion of im in im
2.818 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.818 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.818 * [taylor]: Taking taylor expansion of 1/3 in im
2.818 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.818 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.818 * [taylor]: Taking taylor expansion of im in im
2.819 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.819 * [taylor]: Taking taylor expansion of 1/60 in im
2.819 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.819 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.819 * [taylor]: Taking taylor expansion of im in im
2.822 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.822 * [taylor]: Taking taylor expansion of 1/3 in im
2.822 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.822 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.822 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.822 * [taylor]: Taking taylor expansion of 2 in im
2.822 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.822 * [taylor]: Taking taylor expansion of im in im
2.823 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.823 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.823 * [taylor]: Taking taylor expansion of 1/3 in im
2.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.823 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.823 * [taylor]: Taking taylor expansion of im in im
2.823 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.824 * [taylor]: Taking taylor expansion of 1/60 in im
2.824 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.824 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.824 * [taylor]: Taking taylor expansion of im in im
2.867 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in (im) around 0
2.867 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in im
2.867 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.867 * [taylor]: Taking taylor expansion of -1 in im
2.868 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.868 * [taylor]: Taking taylor expansion of 1/3 in im
2.868 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.868 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.868 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.868 * [taylor]: Taking taylor expansion of 2 in im
2.868 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.868 * [taylor]: Taking taylor expansion of im in im
2.868 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.868 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.868 * [taylor]: Taking taylor expansion of 1/3 in im
2.868 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.868 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.868 * [taylor]: Taking taylor expansion of im in im
2.869 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.869 * [taylor]: Taking taylor expansion of 1/60 in im
2.869 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.869 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.869 * [taylor]: Taking taylor expansion of im in im
2.872 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3)) in im
2.872 * [taylor]: Taking taylor expansion of (cbrt -1) in im
2.872 * [taylor]: Taking taylor expansion of -1 in im
2.873 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 1/3) in im
2.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))))) in im
2.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im
2.873 * [taylor]: Taking taylor expansion of 1/3 in im
2.873 * [taylor]: Taking taylor expansion of (log (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im
2.873 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.873 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.873 * [taylor]: Taking taylor expansion of 2 in im
2.873 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.873 * [taylor]: Taking taylor expansion of im in im
2.873 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.873 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.873 * [taylor]: Taking taylor expansion of 1/3 in im
2.873 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.873 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.873 * [taylor]: Taking taylor expansion of im in im
2.874 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.874 * [taylor]: Taking taylor expansion of 1/60 in im
2.874 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.874 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.874 * [taylor]: Taking taylor expansion of im in im
2.933 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
2.934 * [approximate]: Taking taylor expansion of (pow (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) 1/3) in (im) around 0
2.934 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) 1/3) in im
2.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2)))) in im
2.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2))) in im
2.934 * [taylor]: Taking taylor expansion of 1/3 in im
2.934 * [taylor]: Taking taylor expansion of (log (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2)) in im
2.934 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) in im
2.934 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.934 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.934 * [taylor]: Taking taylor expansion of 1/3 in im
2.934 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.934 * [taylor]: Taking taylor expansion of im in im
2.934 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.934 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.934 * [taylor]: Taking taylor expansion of 1/60 in im
2.934 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.934 * [taylor]: Taking taylor expansion of im in im
2.934 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.934 * [taylor]: Taking taylor expansion of 2 in im
2.934 * [taylor]: Taking taylor expansion of im in im
2.937 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) 1/3) in im
2.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2)))) in im
2.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2))) in im
2.938 * [taylor]: Taking taylor expansion of 1/3 in im
2.938 * [taylor]: Taking taylor expansion of (log (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2)) in im
2.938 * [taylor]: Taking taylor expansion of (pow (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 2) in im
2.938 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im
2.938 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im
2.938 * [taylor]: Taking taylor expansion of 1/3 in im
2.938 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.938 * [taylor]: Taking taylor expansion of im in im
2.938 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im
2.938 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im
2.938 * [taylor]: Taking taylor expansion of 1/60 in im
2.938 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.938 * [taylor]: Taking taylor expansion of im in im
2.938 * [taylor]: Taking taylor expansion of (* 2 im) in im
2.938 * [taylor]: Taking taylor expansion of 2 in im
2.938 * [taylor]: Taking taylor expansion of im in im
2.984 * [approximate]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3) in (im) around 0
2.984 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3) in im
2.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)))) in im
2.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2))) in im
2.984 * [taylor]: Taking taylor expansion of 1/3 in im
2.984 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) in im
2.984 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) in im
2.984 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.984 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.984 * [taylor]: Taking taylor expansion of 2 in im
2.984 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.984 * [taylor]: Taking taylor expansion of im in im
2.984 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.984 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.984 * [taylor]: Taking taylor expansion of 1/3 in im
2.984 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.984 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.984 * [taylor]: Taking taylor expansion of im in im
2.985 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.985 * [taylor]: Taking taylor expansion of 1/60 in im
2.985 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.985 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.985 * [taylor]: Taking taylor expansion of im in im
2.988 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3) in im
2.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)))) in im
2.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2))) in im
2.988 * [taylor]: Taking taylor expansion of 1/3 in im
2.988 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) in im
2.989 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) in im
2.989 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
2.989 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
2.989 * [taylor]: Taking taylor expansion of 2 in im
2.989 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.989 * [taylor]: Taking taylor expansion of im in im
2.989 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
2.989 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
2.989 * [taylor]: Taking taylor expansion of 1/3 in im
2.989 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
2.989 * [taylor]: Taking taylor expansion of (pow im 3) in im
2.989 * [taylor]: Taking taylor expansion of im in im
2.990 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
2.990 * [taylor]: Taking taylor expansion of 1/60 in im
2.990 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
2.990 * [taylor]: Taking taylor expansion of (pow im 5) in im
2.990 * [taylor]: Taking taylor expansion of im in im
3.035 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3)) in (im) around 0
3.035 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3)) in im
3.035 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in im
3.035 * [taylor]: Taking taylor expansion of (cbrt -1) in im
3.035 * [taylor]: Taking taylor expansion of -1 in im
3.036 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3) in im
3.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)))) in im
3.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2))) in im
3.036 * [taylor]: Taking taylor expansion of 1/3 in im
3.036 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) in im
3.036 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) in im
3.036 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
3.036 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.036 * [taylor]: Taking taylor expansion of 2 in im
3.036 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.036 * [taylor]: Taking taylor expansion of im in im
3.037 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
3.037 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
3.037 * [taylor]: Taking taylor expansion of 1/3 in im
3.037 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
3.037 * [taylor]: Taking taylor expansion of (pow im 3) in im
3.037 * [taylor]: Taking taylor expansion of im in im
3.037 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.037 * [taylor]: Taking taylor expansion of 1/60 in im
3.037 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.037 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.038 * [taylor]: Taking taylor expansion of im in im
3.041 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3)) in im
3.041 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in im
3.041 * [taylor]: Taking taylor expansion of (cbrt -1) in im
3.041 * [taylor]: Taking taylor expansion of -1 in im
3.041 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) 1/3) in im
3.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)))) in im
3.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2))) in im
3.042 * [taylor]: Taking taylor expansion of 1/3 in im
3.042 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2)) in im
3.042 * [taylor]: Taking taylor expansion of (pow (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) 2) in im
3.042 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im
3.042 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im
3.042 * [taylor]: Taking taylor expansion of 2 in im
3.042 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.042 * [taylor]: Taking taylor expansion of im in im
3.042 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im
3.042 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im
3.042 * [taylor]: Taking taylor expansion of 1/3 in im
3.042 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im
3.042 * [taylor]: Taking taylor expansion of (pow im 3) in im
3.042 * [taylor]: Taking taylor expansion of im in im
3.043 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im
3.043 * [taylor]: Taking taylor expansion of 1/60 in im
3.043 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
3.043 * [taylor]: Taking taylor expansion of (pow im 5) in im
3.043 * [taylor]: Taking taylor expansion of im in im
3.113 * * * [progress]: simplifying candidates
3.115 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt 1)
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt 1)
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt 1)
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (+ (* 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 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ 1 1)
  (+ (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (log (* (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))))))
  (exp (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (sqrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* 1 1)
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt 1))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 1)
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (- (+ (* 1/18 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))) (exp (* 1/3 (+ (log im) (log 2))))) (* 1/3240 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4))))
  (- (+ (* 1/18 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))) (exp (* 1/3 (+ (log im) (log 2))))) (* 1/3240 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4))))
  (- (+ (* 1/18 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))) (exp (* 1/3 (+ (log im) (log 2))))) (* 1/3240 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 4))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4))))
  (+ (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (+ (* 1/405 (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow im 4))) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow im 2)))))
  (+ (* 40/3 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (pow im 2))) (+ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (* 320/9 (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (pow im 4)))))
  (+ (* 320/9 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 4))) (+ (* 40/3 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 2))) (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2))))
3.125 * * [simplify]: iteration  0 :  393  enodes  (cost  2049 )
3.133 * * [simplify]: iteration  1 :  1443  enodes  (cost  1928 )
3.164 * * [simplify]: iteration  2 :  5001  enodes  (cost  1792 )
3.178 * [simplify]: Simplified to:
   (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  1
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  1
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (exp (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  1
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))
  (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  2/3
  2
  (pow (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 6)
  (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  2
  (* 2 (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* 2 (log (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (exp 1) (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4))
  (pow (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 6)
  (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 6)
  (fabs (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (fabs (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
  (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  1
  (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  (pow (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  (* (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  1
  (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* 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))))
  2/3
  2
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (* (pow (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 3)
  (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
  (pow (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  (pow (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 3)
  (pow (sqrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) 4)
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))))
  (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
  (+ (+ (* (- (* 1/3240 (pow im 4))) (* (pow 2 1/3) (pow im 1/3))) (* (pow 2 1/3) (pow im 1/3))) (* 1/18 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4))))
  (+ (+ (* (- (* 1/3240 (pow im 4))) (* (pow 2 1/3) (pow im 1/3))) (* (pow 2 1/3) (pow im 1/3))) (* 1/18 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4))))
  (+ (+ (* (- (* 1/3240 (pow im 4))) (* (pow 2 1/3) (pow im 1/3))) (* (pow 2 1/3) (pow im 1/3))) (* 1/18 (* (exp (* 1/3 (+ (log im) (log 2)))) (pow im 2))))
  (- (+ (* 20/3 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
  (- (+ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (* 20/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 2)))) (* 40/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1/60) (* 5 (log (/ -1 im))))))) (pow im 4))))
  (+ (* (+ (* 1/9 (pow im 2)) 1) (* (pow 4 1/3) (pow im 2/3))) (* 1/405 (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow im 4))))
  (+ (* (/ (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))) (pow im 2)) (+ (/ 320/9 (pow im 2)) 40/3)) (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ 1 im)))))))
  (+ (* 320/9 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 4))) (+ (* 40/3 (/ (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2)) (pow im 2))) (* (exp (* 1/3 (- (log 1/3600) (* 10 (log (/ -1 im)))))) (pow (cbrt -1) 2))))
3.179 * * * [progress]: adding candidates to table
3.615 * [progress]: [Phase 3 of 3] Extracting.
3.615 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))) (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (/ (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))> #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (+ (exp (- 0.0 im)) (exp im)))))>)
3.626 * * * [regime-changes]: Trying 6 branch expressions: ((- (exp (- 0.0 im)) (exp im)) (cos re) (* 0.5 (cos re)) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) im re)
3.626 * * * * [regimes]: Trying to branch on (- (exp (- 0.0 im)) (exp im)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))) (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (/ (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))> #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (+ (exp (- 0.0 im)) (exp im)))))>)
3.702 * * * * [regimes]: Trying to branch on (- (exp (- 0.0 im)) (exp im)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))>)
3.724 * * * * [regimes]: Trying to branch on (cos re) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))) (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (/ (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))> #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (+ (exp (- 0.0 im)) (exp im)))))>)
3.802 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))) (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (/ (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))> #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (+ (exp (- 0.0 im)) (exp im)))))>)
3.883 * * * * [regimes]: Trying to branch on (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))) (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (/ (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))> #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (+ (exp (- 0.0 im)) (exp im)))))>)
3.960 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))) (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (/ (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))> #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (+ (exp (- 0.0 im)) (exp im)))))>)
4.036 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (- (* 0.5 (cos re))) (+ (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (pow im 6) 1/9))) (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))> #<alt (λ (re im) (* (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (sqrt (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (* (cbrt (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (sqrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (- (exp (- 0.0 im)) (exp im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (* (* (* 0.5 (cos 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 (cos re)) (- (* (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (/ (cbrt (- (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))) (cbrt (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))> #<alt (λ (re im) (/ (* (* 0.5 (cos re)) (- (+ (pow (* 1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)))) (+ (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (- (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))))> #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))) (cbrt (* (* 0.5 (cos re)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))))> #<alt (λ (re im) (cbrt (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3)))> #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (+ (exp (- 0.0 im)) (exp im)))))>)
4.114 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.115 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))
4.115 * * [simplify]: iteration  0 :  33  enodes  (cost  13 )
4.116 * * [simplify]: iteration  1 :  42  enodes  (cost  13 )
4.116 * * [simplify]: iteration  2 :  61  enodes  (cost  13 )
4.116 * * [simplify]: iteration  3 :  61  enodes  (cost  13 )
4.116 * [simplify]: Simplified to:
   (* (* 0.5 (cos re)) (- (+ (log (exp (* 1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))
9.339 * [regime-testing]: Baseline error score: 0.889542895499142
9.340 * [regime-testing]: Oracle error score: 0.06159181492571061
9.341 * [regime-testing]: End program error score: 0.889542895499142
9.398 * [regime-testing]: Target error score: 0.2597421012669795