18.595 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.058 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.062 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp re) (cos im))
0.063 * * [simplify]: iteration  0 :  6  enodes  (cost  3 )
0.064 * * [simplify]: iteration  1 :  6  enodes  (cost  3 )
0.064 * [simplify]: Simplified to:
   (* (exp re) (cos im))
0.064 * * [progress]: iteration 1 / 4
0.064 * * * [progress]: picking best candidate
0.067 * * * * [pick]: Picked  #<alt (λ (re im) (* (exp re) (cos im)))>
0.067 * * * [progress]: localizing error
0.073 * * * [progress]: generating rewritten candidates
0.073 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.078 * * * [progress]: generating series expansions
0.078 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.078 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
0.078 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.078 * [taylor]: Taking taylor expansion of (cos im) in im
0.078 * [taylor]: Taking taylor expansion of im in im
0.078 * [taylor]: Taking taylor expansion of (exp re) in im
0.078 * [taylor]: Taking taylor expansion of re in im
0.078 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.078 * [taylor]: Taking taylor expansion of (cos im) in re
0.078 * [taylor]: Taking taylor expansion of im in re
0.078 * [taylor]: Taking taylor expansion of (exp re) in re
0.078 * [taylor]: Taking taylor expansion of re in re
0.078 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.078 * [taylor]: Taking taylor expansion of (cos im) in re
0.078 * [taylor]: Taking taylor expansion of im in re
0.078 * [taylor]: Taking taylor expansion of (exp re) in re
0.078 * [taylor]: Taking taylor expansion of re in re
0.079 * [taylor]: Taking taylor expansion of (cos im) in im
0.079 * [taylor]: Taking taylor expansion of im in im
0.079 * [taylor]: Taking taylor expansion of (cos im) in im
0.079 * [taylor]: Taking taylor expansion of im in im
0.079 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im
0.079 * [taylor]: Taking taylor expansion of 1/2 in im
0.079 * [taylor]: Taking taylor expansion of (cos im) in im
0.079 * [taylor]: Taking taylor expansion of im in im
0.080 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0
0.080 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.080 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.080 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.080 * [taylor]: Taking taylor expansion of re in im
0.080 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.080 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.080 * [taylor]: Taking taylor expansion of im in im
0.080 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.080 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.080 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.080 * [taylor]: Taking taylor expansion of re in re
0.080 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.080 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.080 * [taylor]: Taking taylor expansion of im in re
0.080 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.080 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.080 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.080 * [taylor]: Taking taylor expansion of re in re
0.080 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.080 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.080 * [taylor]: Taking taylor expansion of im in re
0.080 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.080 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.080 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.080 * [taylor]: Taking taylor expansion of re in im
0.080 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.080 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.081 * [taylor]: Taking taylor expansion of im in im
0.081 * [taylor]: Taking taylor expansion of 0 in im
0.081 * [taylor]: Taking taylor expansion of 0 in im
0.082 * [taylor]: Taking taylor expansion of 0 in im
0.083 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
0.083 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.083 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.083 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.083 * [taylor]: Taking taylor expansion of -1 in im
0.083 * [taylor]: Taking taylor expansion of re in im
0.083 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.083 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.083 * [taylor]: Taking taylor expansion of -1 in im
0.083 * [taylor]: Taking taylor expansion of im in im
0.083 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.083 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.083 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.083 * [taylor]: Taking taylor expansion of -1 in re
0.083 * [taylor]: Taking taylor expansion of re in re
0.083 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.083 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.083 * [taylor]: Taking taylor expansion of -1 in re
0.083 * [taylor]: Taking taylor expansion of im in re
0.083 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.083 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.083 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.083 * [taylor]: Taking taylor expansion of -1 in re
0.083 * [taylor]: Taking taylor expansion of re in re
0.083 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.083 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.083 * [taylor]: Taking taylor expansion of -1 in re
0.083 * [taylor]: Taking taylor expansion of im in re
0.083 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.084 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.084 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.084 * [taylor]: Taking taylor expansion of -1 in im
0.084 * [taylor]: Taking taylor expansion of re in im
0.084 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.084 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.084 * [taylor]: Taking taylor expansion of -1 in im
0.084 * [taylor]: Taking taylor expansion of im in im
0.084 * [taylor]: Taking taylor expansion of 0 in im
0.085 * [taylor]: Taking taylor expansion of 0 in im
0.085 * [taylor]: Taking taylor expansion of 0 in im
0.086 * * * [progress]: simplifying candidates
0.086 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp re) (cos im))
  (+ re (log (cos im)))
  (log (* (exp re) (cos im)))
  (exp (* (exp re) (cos im)))
  (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im)))
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (* (exp re) 1)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
0.088 * * [simplify]: iteration  0 :  79  enodes  (cost  98 )
0.090 * * [simplify]: iteration  1 :  264  enodes  (cost  85 )
0.095 * * [simplify]: iteration  2 :  1020  enodes  (cost  85 )
0.112 * * [simplify]: iteration  3 :  4106  enodes  (cost  85 )
0.221 * * [simplify]: iteration  4 :  5002  enodes  (cost  85 )
0.221 * [simplify]: Simplified to:
   (* (exp re) (cos im))
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
  (exp (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (sqrt (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (exp re)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (exp re) (cos im))
  (* (exp re) (cos im))
0.221 * * * [progress]: adding candidates to table
0.239 * * [progress]: iteration 2 / 4
0.239 * * * [progress]: picking best candidate
0.246 * * * * [pick]: Picked  #<alt (λ (re im) (cbrt (pow (* (exp re) (cos im)) 3)))>
0.246 * * * [progress]: localizing error
0.254 * * * [progress]: generating rewritten candidates
0.254 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.259 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.264 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.270 * * * [progress]: generating series expansions
0.270 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.270 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
0.270 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.270 * [taylor]: Taking taylor expansion of (cos im) in im
0.270 * [taylor]: Taking taylor expansion of im in im
0.270 * [taylor]: Taking taylor expansion of (exp re) in im
0.270 * [taylor]: Taking taylor expansion of re in im
0.270 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.270 * [taylor]: Taking taylor expansion of (cos im) in re
0.270 * [taylor]: Taking taylor expansion of im in re
0.271 * [taylor]: Taking taylor expansion of (exp re) in re
0.271 * [taylor]: Taking taylor expansion of re in re
0.271 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.271 * [taylor]: Taking taylor expansion of (cos im) in re
0.271 * [taylor]: Taking taylor expansion of im in re
0.271 * [taylor]: Taking taylor expansion of (exp re) in re
0.271 * [taylor]: Taking taylor expansion of re in re
0.271 * [taylor]: Taking taylor expansion of (cos im) in im
0.271 * [taylor]: Taking taylor expansion of im in im
0.271 * [taylor]: Taking taylor expansion of (cos im) in im
0.271 * [taylor]: Taking taylor expansion of im in im
0.272 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im
0.272 * [taylor]: Taking taylor expansion of 1/2 in im
0.272 * [taylor]: Taking taylor expansion of (cos im) in im
0.272 * [taylor]: Taking taylor expansion of im in im
0.272 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0
0.272 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.272 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.272 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.272 * [taylor]: Taking taylor expansion of re in im
0.272 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.272 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.272 * [taylor]: Taking taylor expansion of im in im
0.272 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.272 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.272 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.272 * [taylor]: Taking taylor expansion of re in re
0.272 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.272 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.272 * [taylor]: Taking taylor expansion of im in re
0.273 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.273 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.273 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.273 * [taylor]: Taking taylor expansion of re in re
0.273 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.273 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.273 * [taylor]: Taking taylor expansion of im in re
0.273 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.273 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.273 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.273 * [taylor]: Taking taylor expansion of re in im
0.273 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.273 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.273 * [taylor]: Taking taylor expansion of im in im
0.273 * [taylor]: Taking taylor expansion of 0 in im
0.274 * [taylor]: Taking taylor expansion of 0 in im
0.275 * [taylor]: Taking taylor expansion of 0 in im
0.275 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
0.275 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.275 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.275 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.275 * [taylor]: Taking taylor expansion of -1 in im
0.275 * [taylor]: Taking taylor expansion of re in im
0.275 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.275 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.275 * [taylor]: Taking taylor expansion of -1 in im
0.275 * [taylor]: Taking taylor expansion of im in im
0.275 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.275 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.275 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.275 * [taylor]: Taking taylor expansion of -1 in re
0.275 * [taylor]: Taking taylor expansion of re in re
0.275 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.275 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.275 * [taylor]: Taking taylor expansion of -1 in re
0.275 * [taylor]: Taking taylor expansion of im in re
0.275 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.275 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.276 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.276 * [taylor]: Taking taylor expansion of -1 in re
0.276 * [taylor]: Taking taylor expansion of re in re
0.276 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.276 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.276 * [taylor]: Taking taylor expansion of -1 in re
0.276 * [taylor]: Taking taylor expansion of im in re
0.276 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.276 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.276 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.276 * [taylor]: Taking taylor expansion of -1 in im
0.276 * [taylor]: Taking taylor expansion of re in im
0.276 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.276 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.276 * [taylor]: Taking taylor expansion of -1 in im
0.276 * [taylor]: Taking taylor expansion of im in im
0.276 * [taylor]: Taking taylor expansion of 0 in im
0.277 * [taylor]: Taking taylor expansion of 0 in im
0.278 * [taylor]: Taking taylor expansion of 0 in im
0.278 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.278 * [approximate]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in (re im) around 0
0.278 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in im
0.278 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.278 * [taylor]: Taking taylor expansion of (cos im) in im
0.278 * [taylor]: Taking taylor expansion of im in im
0.278 * [taylor]: Taking taylor expansion of (exp re) in im
0.278 * [taylor]: Taking taylor expansion of re in im
0.278 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.278 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.278 * [taylor]: Taking taylor expansion of (cos im) in re
0.278 * [taylor]: Taking taylor expansion of im in re
0.278 * [taylor]: Taking taylor expansion of (exp re) in re
0.278 * [taylor]: Taking taylor expansion of re in re
0.278 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.278 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.278 * [taylor]: Taking taylor expansion of (cos im) in re
0.278 * [taylor]: Taking taylor expansion of im in re
0.279 * [taylor]: Taking taylor expansion of (exp re) in re
0.279 * [taylor]: Taking taylor expansion of re in re
0.279 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.279 * [taylor]: Taking taylor expansion of (cos im) in im
0.279 * [taylor]: Taking taylor expansion of im in im
0.279 * [taylor]: Taking taylor expansion of (* 3 (pow (cos im) 3)) in im
0.279 * [taylor]: Taking taylor expansion of 3 in im
0.279 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.279 * [taylor]: Taking taylor expansion of (cos im) in im
0.279 * [taylor]: Taking taylor expansion of im in im
0.280 * [taylor]: Taking taylor expansion of (* 9/2 (pow (cos im) 3)) in im
0.280 * [taylor]: Taking taylor expansion of 9/2 in im
0.280 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.280 * [taylor]: Taking taylor expansion of (cos im) in im
0.280 * [taylor]: Taking taylor expansion of im in im
0.281 * [approximate]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in (re im) around 0
0.281 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in im
0.281 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.281 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.281 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.281 * [taylor]: Taking taylor expansion of re in im
0.281 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.281 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.281 * [taylor]: Taking taylor expansion of im in im
0.281 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.281 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.281 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.281 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.281 * [taylor]: Taking taylor expansion of re in re
0.281 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.281 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.281 * [taylor]: Taking taylor expansion of im in re
0.281 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.281 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.281 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.281 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.281 * [taylor]: Taking taylor expansion of re in re
0.281 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.281 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.281 * [taylor]: Taking taylor expansion of im in re
0.282 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 re)) 3) (pow (cos (/ 1 im)) 3)) in im
0.282 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im
0.282 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.282 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.282 * [taylor]: Taking taylor expansion of re in im
0.282 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in im
0.282 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.282 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.282 * [taylor]: Taking taylor expansion of im in im
0.283 * [taylor]: Taking taylor expansion of 0 in im
0.284 * [taylor]: Taking taylor expansion of 0 in im
0.286 * [taylor]: Taking taylor expansion of 0 in im
0.286 * [approximate]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in (re im) around 0
0.286 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in im
0.286 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.286 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.286 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.286 * [taylor]: Taking taylor expansion of -1 in im
0.286 * [taylor]: Taking taylor expansion of re in im
0.286 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.286 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.286 * [taylor]: Taking taylor expansion of -1 in im
0.286 * [taylor]: Taking taylor expansion of im in im
0.286 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.286 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.286 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.286 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.286 * [taylor]: Taking taylor expansion of -1 in re
0.286 * [taylor]: Taking taylor expansion of re in re
0.287 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.287 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.287 * [taylor]: Taking taylor expansion of -1 in re
0.287 * [taylor]: Taking taylor expansion of im in re
0.287 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.287 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.287 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.287 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.287 * [taylor]: Taking taylor expansion of -1 in re
0.287 * [taylor]: Taking taylor expansion of re in re
0.287 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.287 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.287 * [taylor]: Taking taylor expansion of -1 in re
0.287 * [taylor]: Taking taylor expansion of im in re
0.287 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 re)) 3) (pow (cos (/ -1 im)) 3)) in im
0.287 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im
0.288 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.288 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.288 * [taylor]: Taking taylor expansion of -1 in im
0.288 * [taylor]: Taking taylor expansion of re in im
0.288 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in im
0.288 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.288 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.288 * [taylor]: Taking taylor expansion of -1 in im
0.288 * [taylor]: Taking taylor expansion of im in im
0.289 * [taylor]: Taking taylor expansion of 0 in im
0.290 * [taylor]: Taking taylor expansion of 0 in im
0.291 * [taylor]: Taking taylor expansion of 0 in im
0.292 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.292 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
0.292 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.292 * [taylor]: Taking taylor expansion of (cos im) in im
0.292 * [taylor]: Taking taylor expansion of im in im
0.292 * [taylor]: Taking taylor expansion of (exp re) in im
0.292 * [taylor]: Taking taylor expansion of re in im
0.292 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.292 * [taylor]: Taking taylor expansion of (cos im) in re
0.292 * [taylor]: Taking taylor expansion of im in re
0.292 * [taylor]: Taking taylor expansion of (exp re) in re
0.292 * [taylor]: Taking taylor expansion of re in re
0.292 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.292 * [taylor]: Taking taylor expansion of (cos im) in re
0.292 * [taylor]: Taking taylor expansion of im in re
0.292 * [taylor]: Taking taylor expansion of (exp re) in re
0.292 * [taylor]: Taking taylor expansion of re in re
0.292 * [taylor]: Taking taylor expansion of (cos im) in im
0.292 * [taylor]: Taking taylor expansion of im in im
0.292 * [taylor]: Taking taylor expansion of (cos im) in im
0.292 * [taylor]: Taking taylor expansion of im in im
0.293 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im
0.293 * [taylor]: Taking taylor expansion of 1/2 in im
0.293 * [taylor]: Taking taylor expansion of (cos im) in im
0.293 * [taylor]: Taking taylor expansion of im in im
0.293 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0
0.293 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.293 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.293 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.293 * [taylor]: Taking taylor expansion of re in im
0.293 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.293 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.293 * [taylor]: Taking taylor expansion of im in im
0.293 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.293 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.293 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.293 * [taylor]: Taking taylor expansion of re in re
0.293 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.294 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.294 * [taylor]: Taking taylor expansion of im in re
0.294 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.294 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.294 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.294 * [taylor]: Taking taylor expansion of re in re
0.294 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.294 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.294 * [taylor]: Taking taylor expansion of im in re
0.294 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.294 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.294 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.294 * [taylor]: Taking taylor expansion of re in im
0.294 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.294 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.294 * [taylor]: Taking taylor expansion of im in im
0.295 * [taylor]: Taking taylor expansion of 0 in im
0.295 * [taylor]: Taking taylor expansion of 0 in im
0.296 * [taylor]: Taking taylor expansion of 0 in im
0.296 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
0.296 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.296 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.296 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.296 * [taylor]: Taking taylor expansion of -1 in im
0.296 * [taylor]: Taking taylor expansion of re in im
0.296 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.296 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.296 * [taylor]: Taking taylor expansion of -1 in im
0.296 * [taylor]: Taking taylor expansion of im in im
0.296 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.296 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.296 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.296 * [taylor]: Taking taylor expansion of -1 in re
0.296 * [taylor]: Taking taylor expansion of re in re
0.296 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.296 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.296 * [taylor]: Taking taylor expansion of -1 in re
0.296 * [taylor]: Taking taylor expansion of im in re
0.296 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.297 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.297 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.297 * [taylor]: Taking taylor expansion of -1 in re
0.297 * [taylor]: Taking taylor expansion of re in re
0.297 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.297 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.297 * [taylor]: Taking taylor expansion of -1 in re
0.297 * [taylor]: Taking taylor expansion of im in re
0.297 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.297 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.297 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.297 * [taylor]: Taking taylor expansion of -1 in im
0.297 * [taylor]: Taking taylor expansion of re in im
0.297 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.297 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.297 * [taylor]: Taking taylor expansion of -1 in im
0.297 * [taylor]: Taking taylor expansion of im in im
0.298 * [taylor]: Taking taylor expansion of 0 in im
0.298 * [taylor]: Taking taylor expansion of 0 in im
0.299 * [taylor]: Taking taylor expansion of 0 in im
0.299 * * * [progress]: simplifying candidates
0.300 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (* (exp re) (cos im)) 3)))
  (exp (cbrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (pow (exp re) 3))
  (cbrt (pow (cos im) 3))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (cbrt (* (cbrt (pow (* (exp re) (cos im)) 3)) (cbrt (pow (* (exp re) (cos im)) 3))))
  (cbrt (cbrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (pow (exp re) 3))
  (cbrt (pow (cos im) 3))
  (cbrt (* (exp re) (cos im)))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (cbrt 1)
  (cbrt (pow (* (exp re) (cos im)) 3))
  (cbrt (pow (* (exp re) (cos im)) (/ 3 2)))
  (cbrt (pow (* (exp re) (cos im)) (/ 3 2)))
  (* (cbrt (cbrt (pow (* (exp re) (cos im)) 3))) (cbrt (cbrt (pow (* (exp re) (cos im)) 3))))
  (cbrt (cbrt (pow (* (exp re) (cos im)) 3)))
  (* (* (cbrt (pow (* (exp re) (cos im)) 3)) (cbrt (pow (* (exp re) (cos im)) 3))) (cbrt (pow (* (exp re) (cos im)) 3)))
  (sqrt (cbrt (pow (* (exp re) (cos im)) 3)))
  (sqrt (cbrt (pow (* (exp re) (cos im)) 3)))
  (* (+ re (log (cos im))) 3)
  (* (log (* (exp re) (cos im))) 3)
  (* (log (* (exp re) (cos im))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* (exp re) (cos im)) (* (cbrt 3) (cbrt 3)))
  (pow (* (exp re) (cos im)) (sqrt 3))
  (pow (* (exp re) (cos im)) 1)
  (pow (exp re) 3)
  (pow (cos im) 3)
  (* (* (exp re) (cos im)) (* (exp re) (cos im)))
  (log (pow (* (exp re) (cos im)) 3))
  (exp (pow (* (exp re) (cos im)) 3))
  (* (cbrt (pow (* (exp re) (cos im)) 3)) (cbrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (pow (* (exp re) (cos im)) 3))
  (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3))
  (pow (exp re) 3)
  (pow (cos im) 3)
  (* (* (exp re) (cos im)) (* (exp re) (cos im)))
  (sqrt (pow (* (exp re) (cos im)) 3))
  (sqrt (pow (* (exp re) (cos im)) 3))
  (pow (* (exp re) (cos im)) (/ 3 2))
  (pow (* (exp re) (cos im)) (/ 3 2))
  (* (exp re) (cos im))
  (+ re (log (cos im)))
  (log (* (exp re) (cos im)))
  (exp (* (exp re) (cos im)))
  (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im)))
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (* (exp re) 1)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
  (+ 1 (+ (* 9/2 (pow re 2)) (* 3 re)))
  (* (pow (cos im) 3) (pow (exp re) 3))
  (* (pow (cos im) 3) (pow (exp re) 3))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
0.303 * * [simplify]: iteration  0 :  151  enodes  (cost  303 )
0.306 * * [simplify]: iteration  1 :  649  enodes  (cost  288 )
0.326 * * [simplify]: iteration  2 :  4789  enodes  (cost  287 )
0.535 * * [simplify]: iteration  3 :  5001  enodes  (cost  287 )
0.537 * [simplify]: Simplified to:
   (+ (log (cos im)) re)
  (exp (* (exp re) (cos im)))
  (exp re)
  (cos im)
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (exp re)
  (cos im)
  (cbrt (* (exp re) (cos im)))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  1
  (* (exp re) (cos im))
  (cbrt (pow (* (exp re) (cos im)) 3/2))
  (cbrt (pow (* (exp re) (cos im)) 3/2))
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (pow (* (exp re) (cos im)) 1/2)
  (pow (* (exp re) (cos im)) 1/2)
  (* (+ re (log (cos im))) 3)
  (* (+ re (log (cos im))) 3)
  (* (+ re (log (cos im))) 3)
  3
  3
  (pow (* (exp re) (cos im)) (* (cbrt 3) (cbrt 3)))
  (pow (* (exp re) (cos im)) (sqrt 3))
  (* (exp re) (cos im))
  (pow (exp re) 3)
  (pow (cos im) 3)
  (pow (* (exp re) (cos im)) 2)
  (* (+ re (log (cos im))) 3)
  (exp (pow (* (exp re) (cos im)) 3))
  (pow (* (exp re) (cos im)) 2)
  (* (exp re) (cos im))
  (pow (pow (* (exp re) (cos im)) 3) 3)
  (pow (exp re) 3)
  (pow (cos im) 3)
  (pow (* (exp re) (cos im)) 2)
  (sqrt (pow (* (exp re) (cos im)) 3))
  (sqrt (pow (* (exp re) (cos im)) 3))
  (pow (* (exp re) (cos im)) 3/2)
  (pow (* (exp re) (cos im)) 3/2)
  (* (exp re) (cos im))
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
  (exp (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (pow (* (exp re) (cos im)) 1/2)
  (pow (* (exp re) (cos im)) 1/2)
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (exp re)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (exp re) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 9/2 (pow re 2)) (* 3 re)))
  (pow (* (exp re) (cos im)) 3)
  (pow (* (exp re) (cos im)) 3)
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (exp re) (cos im))
  (* (exp re) (cos im))
0.537 * * * [progress]: adding candidates to table
0.600 * * [progress]: iteration 3 / 4
0.600 * * * [progress]: picking best candidate
0.606 * * * * [pick]: Picked  #<alt (λ (re im) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))>
0.606 * * * [progress]: localizing error
0.619 * * * [progress]: generating rewritten candidates
0.619 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.622 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.625 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.630 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.636 * * * [progress]: generating series expansions
0.636 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.636 * [approximate]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in (re im) around 0
0.636 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in im
0.636 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.636 * [taylor]: Taking taylor expansion of (cos im) in im
0.636 * [taylor]: Taking taylor expansion of im in im
0.636 * [taylor]: Taking taylor expansion of (exp re) in im
0.636 * [taylor]: Taking taylor expansion of re in im
0.636 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.636 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.636 * [taylor]: Taking taylor expansion of (cos im) in re
0.636 * [taylor]: Taking taylor expansion of im in re
0.636 * [taylor]: Taking taylor expansion of (exp re) in re
0.636 * [taylor]: Taking taylor expansion of re in re
0.636 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.636 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.636 * [taylor]: Taking taylor expansion of (cos im) in re
0.636 * [taylor]: Taking taylor expansion of im in re
0.636 * [taylor]: Taking taylor expansion of (exp re) in re
0.636 * [taylor]: Taking taylor expansion of re in re
0.637 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.637 * [taylor]: Taking taylor expansion of (cos im) in im
0.637 * [taylor]: Taking taylor expansion of im in im
0.637 * [taylor]: Taking taylor expansion of (* 3 (pow (cos im) 3)) in im
0.637 * [taylor]: Taking taylor expansion of 3 in im
0.637 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.637 * [taylor]: Taking taylor expansion of (cos im) in im
0.637 * [taylor]: Taking taylor expansion of im in im
0.638 * [taylor]: Taking taylor expansion of (* 9/2 (pow (cos im) 3)) in im
0.638 * [taylor]: Taking taylor expansion of 9/2 in im
0.638 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.638 * [taylor]: Taking taylor expansion of (cos im) in im
0.638 * [taylor]: Taking taylor expansion of im in im
0.639 * [approximate]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in (re im) around 0
0.639 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in im
0.639 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.639 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.639 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.639 * [taylor]: Taking taylor expansion of re in im
0.639 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.639 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.639 * [taylor]: Taking taylor expansion of im in im
0.639 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.639 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.639 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.639 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.639 * [taylor]: Taking taylor expansion of re in re
0.639 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.639 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.639 * [taylor]: Taking taylor expansion of im in re
0.639 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.639 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.639 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.639 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.639 * [taylor]: Taking taylor expansion of re in re
0.639 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.639 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.639 * [taylor]: Taking taylor expansion of im in re
0.640 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 re)) 3) (pow (cos (/ 1 im)) 3)) in im
0.640 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im
0.640 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.640 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.640 * [taylor]: Taking taylor expansion of re in im
0.640 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in im
0.640 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.640 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.640 * [taylor]: Taking taylor expansion of im in im
0.641 * [taylor]: Taking taylor expansion of 0 in im
0.642 * [taylor]: Taking taylor expansion of 0 in im
0.644 * [taylor]: Taking taylor expansion of 0 in im
0.644 * [approximate]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in (re im) around 0
0.644 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in im
0.644 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.644 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.644 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.644 * [taylor]: Taking taylor expansion of -1 in im
0.644 * [taylor]: Taking taylor expansion of re in im
0.644 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.644 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.644 * [taylor]: Taking taylor expansion of -1 in im
0.644 * [taylor]: Taking taylor expansion of im in im
0.645 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.645 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.645 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.645 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.645 * [taylor]: Taking taylor expansion of -1 in re
0.645 * [taylor]: Taking taylor expansion of re in re
0.645 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.645 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.645 * [taylor]: Taking taylor expansion of -1 in re
0.645 * [taylor]: Taking taylor expansion of im in re
0.645 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.645 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.645 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.645 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.645 * [taylor]: Taking taylor expansion of -1 in re
0.645 * [taylor]: Taking taylor expansion of re in re
0.645 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.645 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.645 * [taylor]: Taking taylor expansion of -1 in re
0.645 * [taylor]: Taking taylor expansion of im in re
0.646 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 re)) 3) (pow (cos (/ -1 im)) 3)) in im
0.646 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im
0.646 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.646 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.646 * [taylor]: Taking taylor expansion of -1 in im
0.646 * [taylor]: Taking taylor expansion of re in im
0.646 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in im
0.646 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.646 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.646 * [taylor]: Taking taylor expansion of -1 in im
0.646 * [taylor]: Taking taylor expansion of im in im
0.647 * [taylor]: Taking taylor expansion of 0 in im
0.648 * [taylor]: Taking taylor expansion of 0 in im
0.652 * [taylor]: Taking taylor expansion of 0 in im
0.652 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.652 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
0.652 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.652 * [taylor]: Taking taylor expansion of (cos im) in im
0.652 * [taylor]: Taking taylor expansion of im in im
0.652 * [taylor]: Taking taylor expansion of (exp re) in im
0.652 * [taylor]: Taking taylor expansion of re in im
0.652 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.652 * [taylor]: Taking taylor expansion of (cos im) in re
0.652 * [taylor]: Taking taylor expansion of im in re
0.652 * [taylor]: Taking taylor expansion of (exp re) in re
0.652 * [taylor]: Taking taylor expansion of re in re
0.652 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.653 * [taylor]: Taking taylor expansion of (cos im) in re
0.653 * [taylor]: Taking taylor expansion of im in re
0.653 * [taylor]: Taking taylor expansion of (exp re) in re
0.653 * [taylor]: Taking taylor expansion of re in re
0.653 * [taylor]: Taking taylor expansion of (cos im) in im
0.653 * [taylor]: Taking taylor expansion of im in im
0.653 * [taylor]: Taking taylor expansion of (cos im) in im
0.653 * [taylor]: Taking taylor expansion of im in im
0.653 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im
0.653 * [taylor]: Taking taylor expansion of 1/2 in im
0.653 * [taylor]: Taking taylor expansion of (cos im) in im
0.654 * [taylor]: Taking taylor expansion of im in im
0.654 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0
0.654 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.654 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.654 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.654 * [taylor]: Taking taylor expansion of re in im
0.654 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.654 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.654 * [taylor]: Taking taylor expansion of im in im
0.654 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.654 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.654 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.654 * [taylor]: Taking taylor expansion of re in re
0.654 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.654 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.654 * [taylor]: Taking taylor expansion of im in re
0.654 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.654 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.654 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.654 * [taylor]: Taking taylor expansion of re in re
0.654 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.654 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.654 * [taylor]: Taking taylor expansion of im in re
0.655 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.655 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.655 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.655 * [taylor]: Taking taylor expansion of re in im
0.655 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.655 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.655 * [taylor]: Taking taylor expansion of im in im
0.655 * [taylor]: Taking taylor expansion of 0 in im
0.656 * [taylor]: Taking taylor expansion of 0 in im
0.657 * [taylor]: Taking taylor expansion of 0 in im
0.657 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
0.657 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.657 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.657 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.657 * [taylor]: Taking taylor expansion of -1 in im
0.657 * [taylor]: Taking taylor expansion of re in im
0.657 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.657 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.657 * [taylor]: Taking taylor expansion of -1 in im
0.657 * [taylor]: Taking taylor expansion of im in im
0.657 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.657 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.657 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.657 * [taylor]: Taking taylor expansion of -1 in re
0.657 * [taylor]: Taking taylor expansion of re in re
0.657 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.657 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.657 * [taylor]: Taking taylor expansion of -1 in re
0.657 * [taylor]: Taking taylor expansion of im in re
0.657 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.657 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.657 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.657 * [taylor]: Taking taylor expansion of -1 in re
0.657 * [taylor]: Taking taylor expansion of re in re
0.657 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.657 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.657 * [taylor]: Taking taylor expansion of -1 in re
0.657 * [taylor]: Taking taylor expansion of im in re
0.658 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.658 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.658 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.658 * [taylor]: Taking taylor expansion of -1 in im
0.658 * [taylor]: Taking taylor expansion of re in im
0.658 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.658 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.658 * [taylor]: Taking taylor expansion of -1 in im
0.658 * [taylor]: Taking taylor expansion of im in im
0.658 * [taylor]: Taking taylor expansion of 0 in im
0.659 * [taylor]: Taking taylor expansion of 0 in im
0.660 * [taylor]: Taking taylor expansion of 0 in im
0.660 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.660 * [approximate]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in (re im) around 0
0.660 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in im
0.660 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.660 * [taylor]: Taking taylor expansion of (cos im) in im
0.660 * [taylor]: Taking taylor expansion of im in im
0.660 * [taylor]: Taking taylor expansion of (exp re) in im
0.660 * [taylor]: Taking taylor expansion of re in im
0.660 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.660 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.660 * [taylor]: Taking taylor expansion of (cos im) in re
0.660 * [taylor]: Taking taylor expansion of im in re
0.660 * [taylor]: Taking taylor expansion of (exp re) in re
0.660 * [taylor]: Taking taylor expansion of re in re
0.660 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.660 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.660 * [taylor]: Taking taylor expansion of (cos im) in re
0.660 * [taylor]: Taking taylor expansion of im in re
0.660 * [taylor]: Taking taylor expansion of (exp re) in re
0.660 * [taylor]: Taking taylor expansion of re in re
0.661 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.661 * [taylor]: Taking taylor expansion of (cos im) in im
0.661 * [taylor]: Taking taylor expansion of im in im
0.661 * [taylor]: Taking taylor expansion of (* 3 (pow (cos im) 3)) in im
0.661 * [taylor]: Taking taylor expansion of 3 in im
0.661 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.661 * [taylor]: Taking taylor expansion of (cos im) in im
0.661 * [taylor]: Taking taylor expansion of im in im
0.662 * [taylor]: Taking taylor expansion of (* 9/2 (pow (cos im) 3)) in im
0.662 * [taylor]: Taking taylor expansion of 9/2 in im
0.662 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.662 * [taylor]: Taking taylor expansion of (cos im) in im
0.662 * [taylor]: Taking taylor expansion of im in im
0.662 * [approximate]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in (re im) around 0
0.662 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in im
0.663 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.663 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.663 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.663 * [taylor]: Taking taylor expansion of re in im
0.663 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.663 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.663 * [taylor]: Taking taylor expansion of im in im
0.663 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.663 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.663 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.663 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.663 * [taylor]: Taking taylor expansion of re in re
0.663 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.663 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.663 * [taylor]: Taking taylor expansion of im in re
0.663 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.663 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.663 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.663 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.663 * [taylor]: Taking taylor expansion of re in re
0.663 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.663 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.663 * [taylor]: Taking taylor expansion of im in re
0.664 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 re)) 3) (pow (cos (/ 1 im)) 3)) in im
0.664 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im
0.664 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.664 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.664 * [taylor]: Taking taylor expansion of re in im
0.664 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in im
0.664 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.664 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.664 * [taylor]: Taking taylor expansion of im in im
0.665 * [taylor]: Taking taylor expansion of 0 in im
0.666 * [taylor]: Taking taylor expansion of 0 in im
0.668 * [taylor]: Taking taylor expansion of 0 in im
0.668 * [approximate]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in (re im) around 0
0.668 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in im
0.668 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.668 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.668 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.668 * [taylor]: Taking taylor expansion of -1 in im
0.668 * [taylor]: Taking taylor expansion of re in im
0.668 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.668 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.668 * [taylor]: Taking taylor expansion of -1 in im
0.668 * [taylor]: Taking taylor expansion of im in im
0.668 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.668 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.669 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.669 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.669 * [taylor]: Taking taylor expansion of -1 in re
0.669 * [taylor]: Taking taylor expansion of re in re
0.669 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.669 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.669 * [taylor]: Taking taylor expansion of -1 in re
0.669 * [taylor]: Taking taylor expansion of im in re
0.669 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.669 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.669 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.669 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.669 * [taylor]: Taking taylor expansion of -1 in re
0.669 * [taylor]: Taking taylor expansion of re in re
0.669 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.669 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.669 * [taylor]: Taking taylor expansion of -1 in re
0.669 * [taylor]: Taking taylor expansion of im in re
0.670 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 re)) 3) (pow (cos (/ -1 im)) 3)) in im
0.670 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im
0.670 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.670 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.670 * [taylor]: Taking taylor expansion of -1 in im
0.670 * [taylor]: Taking taylor expansion of re in im
0.670 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in im
0.670 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.670 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.670 * [taylor]: Taking taylor expansion of -1 in im
0.670 * [taylor]: Taking taylor expansion of im in im
0.671 * [taylor]: Taking taylor expansion of 0 in im
0.672 * [taylor]: Taking taylor expansion of 0 in im
0.674 * [taylor]: Taking taylor expansion of 0 in im
0.674 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.674 * [approximate]: Taking taylor expansion of (exp (pow (* (cos im) (exp re)) 3)) in (re im) around 0
0.674 * [taylor]: Taking taylor expansion of (exp (pow (* (cos im) (exp re)) 3)) in im
0.674 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in im
0.674 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.674 * [taylor]: Taking taylor expansion of (cos im) in im
0.674 * [taylor]: Taking taylor expansion of im in im
0.674 * [taylor]: Taking taylor expansion of (exp re) in im
0.674 * [taylor]: Taking taylor expansion of re in im
0.674 * [taylor]: Taking taylor expansion of (exp (pow (* (cos im) (exp re)) 3)) in re
0.674 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.674 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.674 * [taylor]: Taking taylor expansion of (cos im) in re
0.674 * [taylor]: Taking taylor expansion of im in re
0.674 * [taylor]: Taking taylor expansion of (exp re) in re
0.674 * [taylor]: Taking taylor expansion of re in re
0.675 * [taylor]: Taking taylor expansion of (exp (pow (* (cos im) (exp re)) 3)) in re
0.675 * [taylor]: Taking taylor expansion of (pow (* (cos im) (exp re)) 3) in re
0.675 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.675 * [taylor]: Taking taylor expansion of (cos im) in re
0.675 * [taylor]: Taking taylor expansion of im in re
0.675 * [taylor]: Taking taylor expansion of (exp re) in re
0.675 * [taylor]: Taking taylor expansion of re in re
0.675 * [taylor]: Taking taylor expansion of (exp (pow (cos im) 3)) in im
0.675 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.675 * [taylor]: Taking taylor expansion of (cos im) in im
0.675 * [taylor]: Taking taylor expansion of im in im
0.676 * [taylor]: Taking taylor expansion of (* 3 (* (pow (cos im) 3) (exp (pow (cos im) 3)))) in im
0.676 * [taylor]: Taking taylor expansion of 3 in im
0.676 * [taylor]: Taking taylor expansion of (* (pow (cos im) 3) (exp (pow (cos im) 3))) in im
0.676 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.676 * [taylor]: Taking taylor expansion of (cos im) in im
0.676 * [taylor]: Taking taylor expansion of im in im
0.676 * [taylor]: Taking taylor expansion of (exp (pow (cos im) 3)) in im
0.676 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.676 * [taylor]: Taking taylor expansion of (cos im) in im
0.676 * [taylor]: Taking taylor expansion of im in im
0.677 * [taylor]: Taking taylor expansion of (* (+ (* 9/2 (pow (cos im) 6)) (* 9/2 (pow (cos im) 3))) (exp (pow (cos im) 3))) in im
0.677 * [taylor]: Taking taylor expansion of (+ (* 9/2 (pow (cos im) 6)) (* 9/2 (pow (cos im) 3))) in im
0.677 * [taylor]: Taking taylor expansion of (* 9/2 (pow (cos im) 6)) in im
0.677 * [taylor]: Taking taylor expansion of 9/2 in im
0.677 * [taylor]: Taking taylor expansion of (pow (cos im) 6) in im
0.677 * [taylor]: Taking taylor expansion of (cos im) in im
0.677 * [taylor]: Taking taylor expansion of im in im
0.677 * [taylor]: Taking taylor expansion of (* 9/2 (pow (cos im) 3)) in im
0.677 * [taylor]: Taking taylor expansion of 9/2 in im
0.677 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.677 * [taylor]: Taking taylor expansion of (cos im) in im
0.677 * [taylor]: Taking taylor expansion of im in im
0.677 * [taylor]: Taking taylor expansion of (exp (pow (cos im) 3)) in im
0.678 * [taylor]: Taking taylor expansion of (pow (cos im) 3) in im
0.678 * [taylor]: Taking taylor expansion of (cos im) in im
0.678 * [taylor]: Taking taylor expansion of im in im
0.678 * [approximate]: Taking taylor expansion of (exp (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3)) in (re im) around 0
0.678 * [taylor]: Taking taylor expansion of (exp (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3)) in im
0.678 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in im
0.678 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im
0.678 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.678 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.678 * [taylor]: Taking taylor expansion of re in im
0.678 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.678 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.678 * [taylor]: Taking taylor expansion of im in im
0.679 * [taylor]: Taking taylor expansion of (exp (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3)) in re
0.679 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.679 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.679 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.679 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.679 * [taylor]: Taking taylor expansion of re in re
0.679 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.679 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.679 * [taylor]: Taking taylor expansion of im in re
0.679 * [taylor]: Taking taylor expansion of (exp (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3)) in re
0.679 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 re)) (cos (/ 1 im))) 3) in re
0.679 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re
0.679 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.679 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.679 * [taylor]: Taking taylor expansion of re in re
0.680 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.680 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.680 * [taylor]: Taking taylor expansion of im in re
0.680 * [taylor]: Taking taylor expansion of (exp (* (pow (exp (/ 1 re)) 3) (pow (cos (/ 1 im)) 3))) in im
0.680 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 re)) 3) (pow (cos (/ 1 im)) 3)) in im
0.680 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im
0.680 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.680 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.680 * [taylor]: Taking taylor expansion of re in im
0.680 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in im
0.680 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.680 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.680 * [taylor]: Taking taylor expansion of im in im
0.682 * [taylor]: Taking taylor expansion of 0 in im
0.683 * [taylor]: Taking taylor expansion of 0 in im
0.686 * [taylor]: Taking taylor expansion of 0 in im
0.686 * [approximate]: Taking taylor expansion of (exp (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3)) in (re im) around 0
0.686 * [taylor]: Taking taylor expansion of (exp (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3)) in im
0.686 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in im
0.686 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.686 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.686 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.686 * [taylor]: Taking taylor expansion of -1 in im
0.686 * [taylor]: Taking taylor expansion of re in im
0.686 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.686 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.686 * [taylor]: Taking taylor expansion of -1 in im
0.686 * [taylor]: Taking taylor expansion of im in im
0.687 * [taylor]: Taking taylor expansion of (exp (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3)) in re
0.687 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.687 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.687 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.687 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.687 * [taylor]: Taking taylor expansion of -1 in re
0.687 * [taylor]: Taking taylor expansion of re in re
0.687 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.687 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.687 * [taylor]: Taking taylor expansion of -1 in re
0.687 * [taylor]: Taking taylor expansion of im in re
0.688 * [taylor]: Taking taylor expansion of (exp (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3)) in re
0.688 * [taylor]: Taking taylor expansion of (pow (* (exp (/ -1 re)) (cos (/ -1 im))) 3) in re
0.688 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.688 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.688 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.688 * [taylor]: Taking taylor expansion of -1 in re
0.688 * [taylor]: Taking taylor expansion of re in re
0.688 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.688 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.688 * [taylor]: Taking taylor expansion of -1 in re
0.688 * [taylor]: Taking taylor expansion of im in re
0.689 * [taylor]: Taking taylor expansion of (exp (* (pow (exp (/ -1 re)) 3) (pow (cos (/ -1 im)) 3))) in im
0.689 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 re)) 3) (pow (cos (/ -1 im)) 3)) in im
0.689 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im
0.689 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.689 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.689 * [taylor]: Taking taylor expansion of -1 in im
0.689 * [taylor]: Taking taylor expansion of re in im
0.689 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in im
0.689 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.689 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.689 * [taylor]: Taking taylor expansion of -1 in im
0.689 * [taylor]: Taking taylor expansion of im in im
0.690 * [taylor]: Taking taylor expansion of 0 in im
0.692 * [taylor]: Taking taylor expansion of 0 in im
0.694 * [taylor]: Taking taylor expansion of 0 in im
0.694 * * * [progress]: simplifying candidates
0.695 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (exp (pow (* (exp re) (cos im)) 3))) (cbrt (exp (pow (* (exp re) (cos im)) 3)))))
  (log (cbrt (exp (pow (* (exp re) (cos im)) 3))))
  (log (sqrt (exp (pow (* (exp re) (cos im)) 3))))
  (log (sqrt (exp (pow (* (exp re) (cos im)) 3))))
  (log 1)
  (log (exp (pow (* (exp re) (cos im)) 3)))
  (log (exp (pow (* (exp re) (cos im)) 3)))
  (log (exp (pow (exp re) 3)))
  (log (exp (* (* (exp re) (cos im)) (* (exp re) (cos im)))))
  (log (exp (* (cbrt (pow (* (exp re) (cos im)) 3)) (cbrt (pow (* (exp re) (cos im)) 3)))))
  (log (exp (pow (exp re) 3)))
  (log (exp (* (exp re) (cos im))))
  (log (exp (sqrt (pow (* (exp re) (cos im)) 3))))
  (log (exp 1))
  (log (exp (pow (* (exp re) (cos im)) (/ 3 2))))
  (log (log (exp (pow (* (exp re) (cos im)) 3))))
  (exp (log (exp (pow (* (exp re) (cos im)) 3))))
  (* (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (cbrt (log (exp (pow (* (exp re) (cos im)) 3))))
  (* (* (log (exp (pow (* (exp re) (cos im)) 3))) (log (exp (pow (* (exp re) (cos im)) 3)))) (log (exp (pow (* (exp re) (cos im)) 3))))
  (sqrt (log (exp (pow (* (exp re) (cos im)) 3))))
  (sqrt (log (exp (pow (* (exp re) (cos im)) 3))))
  (log (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (exp (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (cbrt 1)
  (cbrt (log (exp (pow (* (exp re) (cos im)) 3))))
  (cbrt (pow (cos im) 3))
  (cbrt (log (exp (pow (exp re) 3))))
  (cbrt (* (exp re) (cos im)))
  (cbrt (log (exp (* (* (exp re) (cos im)) (* (exp re) (cos im))))))
  (cbrt (cbrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (log (exp (* (cbrt (pow (* (exp re) (cos im)) 3)) (cbrt (pow (* (exp re) (cos im)) 3))))))
  (cbrt (pow (cos im) 3))
  (cbrt (log (exp (pow (exp re) 3))))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (log (exp (* (exp re) (cos im)))))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (log (exp (sqrt (pow (* (exp re) (cos im)) 3)))))
  (cbrt (pow (* (exp re) (cos im)) 3))
  (cbrt (log (exp 1)))
  (cbrt (pow (* (exp re) (cos im)) (/ 3 2)))
  (cbrt (log (exp (pow (* (exp re) (cos im)) (/ 3 2)))))
  (cbrt (* (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))) (cbrt (log (exp (pow (* (exp re) (cos im)) 3))))))
  (cbrt (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (cbrt (sqrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (cbrt (sqrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (cbrt 1)
  (cbrt (log (exp (pow (* (exp re) (cos im)) 3))))
  (* (cbrt (cbrt (log (exp (pow (* (exp re) (cos im)) 3))))) (cbrt (cbrt (log (exp (pow (* (exp re) (cos im)) 3))))))
  (cbrt (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (* (* (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))) (cbrt (log (exp (pow (* (exp re) (cos im)) 3))))) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (sqrt (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (sqrt (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))
  (* (+ re (log (cos im))) 3)
  (* (log (* (exp re) (cos im))) 3)
  (* (log (* (exp re) (cos im))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* (exp re) (cos im)) (* (cbrt 3) (cbrt 3)))
  (pow (* (exp re) (cos im)) (sqrt 3))
  (pow (* (exp re) (cos im)) 1)
  (pow (exp re) 3)
  (pow (cos im) 3)
  (* (* (exp re) (cos im)) (* (exp re) (cos im)))
  (log (pow (* (exp re) (cos im)) 3))
  (exp (pow (* (exp re) (cos im)) 3))
  (* (cbrt (pow (* (exp re) (cos im)) 3)) (cbrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (pow (* (exp re) (cos im)) 3))
  (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3))
  (pow (exp re) 3)
  (pow (cos im) 3)
  (* (* (exp re) (cos im)) (* (exp re) (cos im)))
  (sqrt (pow (* (exp re) (cos im)) 3))
  (sqrt (pow (* (exp re) (cos im)) 3))
  (pow (* (exp re) (cos im)) (/ 3 2))
  (pow (* (exp re) (cos im)) (/ 3 2))
  (exp (pow (exp re) 3))
  (exp (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (exp (* (cbrt (pow (* (exp re) (cos im)) 3)) (cbrt (pow (* (exp re) (cos im)) 3))))
  (exp (pow (exp re) 3))
  (exp (* (exp re) (cos im)))
  (exp (sqrt (pow (* (exp re) (cos im)) 3)))
  (exp 1)
  (exp (pow (* (exp re) (cos im)) (/ 3 2)))
  (log (exp (pow (* (exp re) (cos im)) 3)))
  (exp (exp (pow (* (exp re) (cos im)) 3)))
  (* (cbrt (exp (pow (* (exp re) (cos im)) 3))) (cbrt (exp (pow (* (exp re) (cos im)) 3))))
  (cbrt (exp (pow (* (exp re) (cos im)) 3)))
  (* (* (exp (pow (* (exp re) (cos im)) 3)) (exp (pow (* (exp re) (cos im)) 3))) (exp (pow (* (exp re) (cos im)) 3)))
  (sqrt (exp (pow (* (exp re) (cos im)) 3)))
  (sqrt (exp (pow (* (exp re) (cos im)) 3)))
  (+ 1 (+ (* 9/2 (pow re 2)) (* 3 re)))
  (* (pow (cos im) 3) (pow (exp re) 3))
  (* (pow (cos im) 3) (pow (exp re) 3))
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
  (+ 1 (+ (* 9/2 (pow re 2)) (* 3 re)))
  (* (pow (cos im) 3) (pow (exp re) 3))
  (* (pow (cos im) 3) (pow (exp re) 3))
  (+ E (+ (* 9 (* (pow re 2) E)) (* 3 (* re E))))
  (exp (* (pow (cos im) 3) (pow (exp re) 3)))
  (exp (* (pow (cos im) 3) (pow (exp re) 3)))
0.700 * * [simplify]: iteration  0 :  189  enodes  (cost  513 )
0.703 * * [simplify]: iteration  1 :  643  enodes  (cost  434 )
0.721 * * [simplify]: iteration  2 :  4125  enodes  (cost  434 )
0.852 * * [simplify]: iteration  3 :  5001  enodes  (cost  434 )
0.855 * [simplify]: Simplified to:
   (* 2 (log (cbrt (exp (pow (* (exp re) (cos im)) 3)))))
  (log (cbrt (exp (pow (* (exp re) (cos im)) 3))))
  (log (sqrt (exp (pow (* (exp re) (cos im)) 3))))
  (log (sqrt (exp (pow (* (exp re) (cos im)) 3))))
  0
  (pow (* (exp re) (cos im)) 3)
  (pow (* (exp re) (cos im)) 3)
  (pow (exp re) 3)
  (pow (* (exp re) (cos im)) 2)
  (pow (* (exp re) (cos im)) 2)
  (pow (exp re) 3)
  (* (exp re) (cos im))
  (sqrt (pow (* (exp re) (cos im)) 3))
  1
  (pow (* (exp re) (cos im)) 3/2)
  (* (+ re (log (cos im))) 3)
  (exp (pow (* (exp re) (cos im)) 3))
  (pow (* (exp re) (cos im)) 2)
  (* (exp re) (cos im))
  (pow (pow (* (exp re) (cos im)) 3) 3)
  (sqrt (pow (* (exp re) (cos im)) 3))
  (sqrt (pow (* (exp re) (cos im)) 3))
  (+ (log (cos im)) re)
  (exp (* (exp re) (cos im)))
  (cbrt 1)
  (* (exp re) (cos im))
  (cos im)
  (exp re)
  (cbrt (* (exp re) (cos im)))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cos im)
  (exp re)
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (* (exp re) (cos im))
  (cbrt 1)
  (cbrt (pow (* (exp re) (cos im)) 3/2))
  (cbrt (pow (* (exp re) (cos im)) 3/2))
  (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (cbrt (sqrt (pow (* (exp re) (cos im)) 3)))
  (cbrt 1)
  (* (exp re) (cos im))
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (pow (* (exp re) (cos im)) 3)
  (pow (* (exp re) (cos im)) 1/2)
  (pow (* (exp re) (cos im)) 1/2)
  (* (+ re (log (cos im))) 3)
  (* (+ re (log (cos im))) 3)
  (* (+ re (log (cos im))) 3)
  3
  3
  (pow (* (exp re) (cos im)) (* (cbrt 3) (cbrt 3)))
  (pow (* (exp re) (cos im)) (sqrt 3))
  (* (exp re) (cos im))
  (pow (exp re) 3)
  (pow (cos im) 3)
  (pow (* (exp re) (cos im)) 2)
  (* (+ re (log (cos im))) 3)
  (exp (pow (* (exp re) (cos im)) 3))
  (pow (* (exp re) (cos im)) 2)
  (* (exp re) (cos im))
  (pow (pow (* (exp re) (cos im)) 3) 3)
  (pow (exp re) 3)
  (pow (cos im) 3)
  (pow (* (exp re) (cos im)) 2)
  (sqrt (pow (* (exp re) (cos im)) 3))
  (sqrt (pow (* (exp re) (cos im)) 3))
  (pow (* (exp re) (cos im)) 3/2)
  (pow (* (exp re) (cos im)) 3/2)
  (exp (pow (exp re) 3))
  (exp (pow (* (exp re) (cos im)) 2))
  (exp (pow (* (exp re) (cos im)) 2))
  (exp (pow (exp re) 3))
  (exp (* (exp re) (cos im)))
  (exp (sqrt (pow (* (exp re) (cos im)) 3)))
  E
  (exp (pow (* (exp re) (cos im)) 3/2))
  (pow (* (exp re) (cos im)) 3)
  (exp (exp (pow (* (exp re) (cos im)) 3)))
  (* (cbrt (exp (pow (* (exp re) (cos im)) 3))) (cbrt (exp (pow (* (exp re) (cos im)) 3))))
  (cbrt (exp (pow (* (exp re) (cos im)) 3)))
  (pow (exp (pow (* (exp re) (cos im)) 3)) 3)
  (sqrt (exp (pow (* (exp re) (cos im)) 3)))
  (sqrt (exp (pow (* (exp re) (cos im)) 3)))
  (+ 1 (+ (* 9/2 (pow re 2)) (* 3 re)))
  (pow (* (exp re) (cos im)) 3)
  (pow (* (exp re) (cos im)) 3)
  (+ 1 (+ (* 1/2 (pow re 2)) re))
  (* (exp re) (cos im))
  (* (exp re) (cos im))
  (+ 1 (+ (* 9/2 (pow re 2)) (* 3 re)))
  (pow (* (exp re) (cos im)) 3)
  (pow (* (exp re) (cos im)) 3)
  (+ E (* E (+ (* 3 re) (* 9 (pow re 2)))))
  (exp (pow (* (exp re) (cos im)) 3))
  (exp (pow (* (exp re) (cos im)) 3))
0.855 * * * [progress]: adding candidates to table
0.964 * * [progress]: iteration 4 / 4
0.964 * * * [progress]: picking best candidate
0.967 * * * * [pick]: Picked  #<alt (λ (re im) (exp (+ (log (cos im)) re)))>
0.967 * * * [progress]: localizing error
0.974 * * * [progress]: generating rewritten candidates
0.974 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.976 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.981 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.986 * * * [progress]: generating series expansions
0.986 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.986 * [approximate]: Taking taylor expansion of (log (cos im)) in (im) around 0
0.986 * [taylor]: Taking taylor expansion of (log (cos im)) in im
0.986 * [taylor]: Taking taylor expansion of (cos im) in im
0.986 * [taylor]: Taking taylor expansion of im in im
0.986 * [taylor]: Taking taylor expansion of (log (cos im)) in im
0.986 * [taylor]: Taking taylor expansion of (cos im) in im
0.986 * [taylor]: Taking taylor expansion of im in im
0.988 * [approximate]: Taking taylor expansion of (log (cos (/ 1 im))) in (im) around 0
0.988 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im
0.988 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.988 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.988 * [taylor]: Taking taylor expansion of im in im
0.988 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im
0.988 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.988 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.988 * [taylor]: Taking taylor expansion of im in im
0.992 * [approximate]: Taking taylor expansion of (log (cos (/ -1 im))) in (im) around 0
0.992 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im
0.992 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.992 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.992 * [taylor]: Taking taylor expansion of -1 in im
0.992 * [taylor]: Taking taylor expansion of im in im
0.992 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im
0.992 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.992 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.992 * [taylor]: Taking taylor expansion of -1 in im
0.993 * [taylor]: Taking taylor expansion of im in im
0.996 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.996 * [approximate]: Taking taylor expansion of (exp (+ re (log (cos im)))) in (im re) around 0
0.996 * [taylor]: Taking taylor expansion of (exp (+ re (log (cos im)))) in re
0.996 * [taylor]: Taking taylor expansion of (+ re (log (cos im))) in re
0.996 * [taylor]: Taking taylor expansion of re in re
0.996 * [taylor]: Taking taylor expansion of (log (cos im)) in re
0.996 * [taylor]: Taking taylor expansion of (cos im) in re
0.997 * [taylor]: Taking taylor expansion of im in re
0.997 * [taylor]: Taking taylor expansion of (exp (+ re (log (cos im)))) in im
0.997 * [taylor]: Taking taylor expansion of (+ re (log (cos im))) in im
0.997 * [taylor]: Taking taylor expansion of re in im
0.997 * [taylor]: Taking taylor expansion of (log (cos im)) in im
0.997 * [taylor]: Taking taylor expansion of (cos im) in im
0.997 * [taylor]: Taking taylor expansion of im in im
0.997 * [taylor]: Taking taylor expansion of (exp (+ re (log (cos im)))) in im
0.997 * [taylor]: Taking taylor expansion of (+ re (log (cos im))) in im
0.997 * [taylor]: Taking taylor expansion of re in im
0.997 * [taylor]: Taking taylor expansion of (log (cos im)) in im
0.997 * [taylor]: Taking taylor expansion of (cos im) in im
0.997 * [taylor]: Taking taylor expansion of im in im
0.997 * [taylor]: Taking taylor expansion of (exp (+ (log 1) re)) in re
0.997 * [taylor]: Taking taylor expansion of (+ (log 1) re) in re
0.997 * [taylor]: Taking taylor expansion of (log 1) in re
0.997 * [taylor]: Taking taylor expansion of 1 in re
0.997 * [taylor]: Taking taylor expansion of re in re
0.997 * [taylor]: Taking taylor expansion of 0 in re
0.998 * [taylor]: Taking taylor expansion of (* -1/2 (exp (+ (log 1) re))) in re
0.998 * [taylor]: Taking taylor expansion of -1/2 in re
0.998 * [taylor]: Taking taylor expansion of (exp (+ (log 1) re)) in re
0.998 * [taylor]: Taking taylor expansion of (+ (log 1) re) in re
0.998 * [taylor]: Taking taylor expansion of (log 1) in re
0.998 * [taylor]: Taking taylor expansion of 1 in re
0.998 * [taylor]: Taking taylor expansion of re in re
0.998 * [approximate]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in (im re) around 0
0.999 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in re
0.999 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re
0.999 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re
0.999 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.999 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.999 * [taylor]: Taking taylor expansion of im in re
0.999 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.999 * [taylor]: Taking taylor expansion of re in re
0.999 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in im
0.999 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in im
0.999 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im
0.999 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.999 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.999 * [taylor]: Taking taylor expansion of im in im
0.999 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.999 * [taylor]: Taking taylor expansion of re in im
0.999 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in im
0.999 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in im
0.999 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im
0.999 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.999 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.999 * [taylor]: Taking taylor expansion of im in im
0.999 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.999 * [taylor]: Taking taylor expansion of re in im
1.000 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in re
1.000 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re
1.000 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re
1.000 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
1.000 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.000 * [taylor]: Taking taylor expansion of im in re
1.000 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.000 * [taylor]: Taking taylor expansion of re in re
1.000 * [taylor]: Taking taylor expansion of 0 in re
1.001 * [taylor]: Taking taylor expansion of 0 in re
1.002 * [taylor]: Taking taylor expansion of 0 in re
1.002 * [approximate]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in (im re) around 0
1.002 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in re
1.002 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re
1.002 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re
1.002 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
1.002 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.002 * [taylor]: Taking taylor expansion of -1 in re
1.002 * [taylor]: Taking taylor expansion of im in re
1.002 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.002 * [taylor]: Taking taylor expansion of re in re
1.002 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in im
1.002 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in im
1.002 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im
1.002 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
1.002 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.002 * [taylor]: Taking taylor expansion of -1 in im
1.002 * [taylor]: Taking taylor expansion of im in im
1.002 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.002 * [taylor]: Taking taylor expansion of re in im
1.003 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in im
1.003 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in im
1.003 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im
1.003 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
1.003 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.003 * [taylor]: Taking taylor expansion of -1 in im
1.003 * [taylor]: Taking taylor expansion of im in im
1.003 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.003 * [taylor]: Taking taylor expansion of re in im
1.003 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in re
1.003 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re
1.003 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re
1.003 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
1.003 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.003 * [taylor]: Taking taylor expansion of -1 in re
1.003 * [taylor]: Taking taylor expansion of im in re
1.003 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.003 * [taylor]: Taking taylor expansion of re in re
1.004 * [taylor]: Taking taylor expansion of 0 in re
1.004 * [taylor]: Taking taylor expansion of 0 in re
1.005 * [taylor]: Taking taylor expansion of 0 in re
1.005 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.005 * [approximate]: Taking taylor expansion of (+ re (log (cos im))) in (im re) around 0
1.005 * [taylor]: Taking taylor expansion of (+ re (log (cos im))) in re
1.005 * [taylor]: Taking taylor expansion of re in re
1.005 * [taylor]: Taking taylor expansion of (log (cos im)) in re
1.005 * [taylor]: Taking taylor expansion of (cos im) in re
1.005 * [taylor]: Taking taylor expansion of im in re
1.006 * [taylor]: Taking taylor expansion of (+ re (log (cos im))) in im
1.006 * [taylor]: Taking taylor expansion of re in im
1.006 * [taylor]: Taking taylor expansion of (log (cos im)) in im
1.006 * [taylor]: Taking taylor expansion of (cos im) in im
1.006 * [taylor]: Taking taylor expansion of im in im
1.006 * [taylor]: Taking taylor expansion of (+ re (log (cos im))) in im
1.006 * [taylor]: Taking taylor expansion of re in im
1.006 * [taylor]: Taking taylor expansion of (log (cos im)) in im
1.006 * [taylor]: Taking taylor expansion of (cos im) in im
1.006 * [taylor]: Taking taylor expansion of im in im
1.006 * [taylor]: Taking taylor expansion of (+ (log 1) re) in re
1.006 * [taylor]: Taking taylor expansion of (log 1) in re
1.006 * [taylor]: Taking taylor expansion of 1 in re
1.006 * [taylor]: Taking taylor expansion of re in re
1.006 * [taylor]: Taking taylor expansion of 0 in re
1.006 * [taylor]: Taking taylor expansion of (neg 1/2) in re
1.007 * [taylor]: Taking taylor expansion of 1/2 in re
1.007 * [approximate]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in (im re) around 0
1.007 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re
1.007 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re
1.007 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
1.007 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.007 * [taylor]: Taking taylor expansion of im in re
1.007 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.007 * [taylor]: Taking taylor expansion of re in re
1.007 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in im
1.007 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im
1.007 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
1.007 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.007 * [taylor]: Taking taylor expansion of im in im
1.007 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.007 * [taylor]: Taking taylor expansion of re in im
1.007 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in im
1.007 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im
1.007 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
1.007 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.007 * [taylor]: Taking taylor expansion of im in im
1.007 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.007 * [taylor]: Taking taylor expansion of re in im
1.008 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re
1.008 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re
1.008 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
1.008 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.008 * [taylor]: Taking taylor expansion of im in re
1.008 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.008 * [taylor]: Taking taylor expansion of re in re
1.008 * [taylor]: Taking taylor expansion of 0 in re
1.008 * [taylor]: Taking taylor expansion of 0 in re
1.009 * [taylor]: Taking taylor expansion of 0 in re
1.011 * [taylor]: Taking taylor expansion of 0 in re
1.011 * [approximate]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in (im re) around 0
1.011 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re
1.011 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re
1.011 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
1.011 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.011 * [taylor]: Taking taylor expansion of -1 in re
1.011 * [taylor]: Taking taylor expansion of im in re
1.011 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.011 * [taylor]: Taking taylor expansion of re in re
1.011 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in im
1.011 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im
1.011 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
1.011 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.011 * [taylor]: Taking taylor expansion of -1 in im
1.011 * [taylor]: Taking taylor expansion of im in im
1.011 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.011 * [taylor]: Taking taylor expansion of re in im
1.011 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in im
1.011 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im
1.011 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
1.011 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.011 * [taylor]: Taking taylor expansion of -1 in im
1.011 * [taylor]: Taking taylor expansion of im in im
1.012 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.012 * [taylor]: Taking taylor expansion of re in im
1.012 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re
1.012 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re
1.012 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
1.012 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.012 * [taylor]: Taking taylor expansion of -1 in re
1.012 * [taylor]: Taking taylor expansion of im in re
1.012 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.012 * [taylor]: Taking taylor expansion of re in re
1.012 * [taylor]: Taking taylor expansion of 0 in re
1.013 * [taylor]: Taking taylor expansion of 0 in re
1.013 * [taylor]: Taking taylor expansion of 0 in re
1.015 * [taylor]: Taking taylor expansion of 0 in re
1.015 * * * [progress]: simplifying candidates
1.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (cos im)) (cbrt (cos im))))
  (log (cbrt (cos im)))
  (log (sqrt (cos im)))
  (log (sqrt (cos im)))
  (log 1)
  (log (cos im))
  (log (cos im))
  (log (log (cos im)))
  (exp (log (cos im)))
  (* (cbrt (log (cos im))) (cbrt (log (cos im))))
  (cbrt (log (cos im)))
  (* (* (log (cos im)) (log (cos im))) (log (cos im)))
  (sqrt (log (cos im)))
  (sqrt (log (cos im)))
  (exp (* (cbrt (+ (log (cos im)) re)) (cbrt (+ (log (cos im)) re))))
  (exp (sqrt (+ (log (cos im)) re)))
  (exp 1)
  (exp 1)
  (exp 1)
  (exp (log (cos im)))
  (exp re)
  (log (exp (+ (log (cos im)) re)))
  (exp (exp (+ (log (cos im)) re)))
  (* (cbrt (exp (+ (log (cos im)) re))) (cbrt (exp (+ (log (cos im)) re))))
  (cbrt (exp (+ (log (cos im)) re)))
  (* (* (exp (+ (log (cos im)) re)) (exp (+ (log (cos im)) re))) (exp (+ (log (cos im)) re)))
  (sqrt (exp (+ (log (cos im)) re)))
  (sqrt (exp (+ (log (cos im)) re)))
  (* (cos im) (exp re))
  (log (+ (log (cos im)) re))
  (exp (+ (log (cos im)) re))
  (* (cbrt (+ (log (cos im)) re)) (cbrt (+ (log (cos im)) re)))
  (cbrt (+ (log (cos im)) re))
  (* (* (+ (log (cos im)) re) (+ (log (cos im)) re)) (+ (log (cos im)) re))
  (sqrt (+ (log (cos im)) re))
  (sqrt (+ (log (cos im)) re))
  (+ (pow (log (cos im)) 3) (pow re 3))
  (+ (* (log (cos im)) (log (cos im))) (- (* re re) (* (log (cos im)) re)))
  (- (* (log (cos im)) (log (cos im))) (* re re))
  (- (log (cos im)) re)
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
  (+ (log (cbrt (cos im))) re)
  (+ (log (sqrt (cos im))) re)
  (+ (log (cos im)) re)
  (- (log 1) (+ (* 1/12 (pow im 4)) (* 1/2 (pow im 2))))
  (log (cos im))
  (log (cos im))
  (- (+ re 1) (* 1/2 (pow im 2)))
  (exp (+ re (log (cos im))))
  (exp (+ re (log (cos im))))
  (- (+ (log 1) re) (* 1/2 (pow im 2)))
  (+ re (log (cos im)))
  (+ re (log (cos im)))
1.018 * * [simplify]: iteration  0 :  139  enodes  (cost  223 )
1.021 * * [simplify]: iteration  1 :  363  enodes  (cost  201 )
1.026 * * [simplify]: iteration  2 :  1123  enodes  (cost  198 )
1.046 * * [simplify]: iteration  3 :  4437  enodes  (cost  197 )
1.140 * * [simplify]: iteration  4 :  5003  enodes  (cost  197 )
1.141 * [simplify]: Simplified to:
   (* 2 (log (cbrt (cos im))))
  (log (cbrt (cos im)))
  (log (sqrt (cos im)))
  (log (sqrt (cos im)))
  0
  (log (cos im))
  (log (cos im))
  (log (log (cos im)))
  (cos im)
  (* (cbrt (log (cos im))) (cbrt (log (cos im))))
  (cbrt (log (cos im)))
  (pow (log (cos im)) 3)
  (sqrt (log (cos im)))
  (sqrt (log (cos im)))
  (exp (* (cbrt (+ (log (cos im)) re)) (cbrt (+ (log (cos im)) re))))
  (exp (sqrt (+ (log (cos im)) re)))
  E
  E
  E
  (cos im)
  (exp re)
  (+ (log (cos im)) re)
  (pow (exp (cos im)) (exp re))
  (* (cbrt (exp (+ (log (cos im)) re))) (cbrt (exp (+ (log (cos im)) re))))
  (cbrt (exp (+ (log (cos im)) re)))
  (pow (* (cos im) (exp re)) 3)
  (sqrt (exp (+ (log (cos im)) re)))
  (sqrt (exp (+ (log (cos im)) re)))
  (* (cos im) (exp re))
  (log (+ (log (cos im)) re))
  (* (cos im) (exp re))
  (* (cbrt (+ (log (cos im)) re)) (cbrt (+ (log (cos im)) re)))
  (cbrt (+ (log (cos im)) re))
  (pow (+ (log (cos im)) re) 3)
  (sqrt (+ (log (cos im)) re))
  (sqrt (+ (log (cos im)) re))
  (+ (pow (log (cos im)) 3) (pow re 3))
  (+ (* (log (cos im)) (- (log (cos im)) re)) (* re re))
  (- (* (log (cos im)) (log (cos im))) (* re re))
  (- (log (cos im)) re)
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
  (+ (log (cbrt (cos im))) re)
  (+ (log (sqrt (cos im))) re)
  (+ (log (cos im)) re)
  (+ (* -1/2 (pow im 2)) (* -1/12 (pow im 4)))
  (log (cos im))
  (log (cos im))
  (- (+ re 1) (* 1/2 (pow im 2)))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
  (- re (* 1/2 (pow im 2)))
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
1.141 * * * [progress]: adding candidates to table
1.188 * [progress]: [Phase 3 of 3] Extracting.
1.188 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (exp (+ (log (cos im)) re)))> #<alt (λ (re im) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))>)
1.188 * * * [regime-changes]: Trying 5 branch expressions: ((cos im) (exp re) (* (exp re) (cos im)) im re)
1.188 * * * * [regimes]: Trying to branch on (cos im) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (exp (+ (log (cos im)) re)))> #<alt (λ (re im) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))>)
1.226 * * * * [regimes]: Trying to branch on (exp re) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (exp (+ (log (cos im)) re)))> #<alt (λ (re im) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))>)
1.262 * * * * [regimes]: Trying to branch on (* (exp re) (cos im)) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (exp (+ (log (cos im)) re)))> #<alt (λ (re im) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))>)
1.305 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (exp (+ (log (cos im)) re)))> #<alt (λ (re im) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))>)
1.342 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (exp (+ (log (cos im)) re)))> #<alt (λ (re im) (cbrt (log (exp (pow (* (exp re) (cos im)) 3)))))>)
1.378 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.378 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp re) (cos im))
1.379 * * [simplify]: iteration  0 :  6  enodes  (cost  3 )
1.379 * * [simplify]: iteration  1 :  6  enodes  (cost  3 )
1.379 * [simplify]: Simplified to:
   (* (exp re) (cos im))
3.145 * [regime-testing]: End program error score: 0.006250781347668459