0.157 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.210 * * * [progress]: [2/2] Setting up program.
0.215 * [progress]: [Phase 2 of 3] Improving.
0.216 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.216 * * [simplify]: Extracting # 0 : cost  0
0.216 * * [simplify]: Extracting # 1 : cost  0
0.216 * * [simplify]: Extracting # 2 : cost  0
0.216 * * [simplify]: Extracting # 3 : cost  0
0.216 * * [simplify]: Extracting # 4 : cost  0
0.216 * * [simplify]: Extracting # 5 : cost  0
0.216 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.219 * * [simplify]: Extracting # 0 : cost  0
0.219 * * [simplify]: Extracting # 1 : cost  0
0.219 * * [simplify]: Extracting # 2 : cost  0
0.219 * * [simplify]: iteration  1 :  23  enodes  (cost  11 )
0.229 * * [simplify]: Extracting # 0 : cost  0
0.229 * * [simplify]: Extracting # 1 : cost  0
0.229 * * [simplify]: Extracting # 2 : cost  0
0.229 * * [simplify]: iteration  2 :  59  enodes  (cost  11 )
0.259 * * [simplify]: Extracting # 0 : cost  0
0.260 * * [simplify]: Extracting # 1 : cost  0
0.260 * * [simplify]: Extracting # 2 : cost  0
0.260 * * [simplify]: iteration  3 :  103  enodes  (cost  11 )
0.342 * * [simplify]: Extracting # 0 : cost  0
0.342 * * [simplify]: Extracting # 1 : cost  0
0.342 * * [simplify]: Extracting # 2 : cost  0
0.343 * * [simplify]: iteration  4 :  137  enodes  (cost  11 )
0.419 * * [simplify]: Extracting # 0 : cost  0
0.420 * * [simplify]: Extracting # 1 : cost  0
0.420 * * [simplify]: Extracting # 2 : cost  0
0.420 * * [simplify]: iteration  5 :  179  enodes  (cost  11 )
0.519 * * [simplify]: Extracting # 0 : cost  0
0.520 * * [simplify]: Extracting # 1 : cost  0
0.520 * * [simplify]: Extracting # 2 : cost  0
0.520 * * [simplify]: iteration  6 :  258  enodes  (cost  11 )
0.689 * * [simplify]: Extracting # 0 : cost  0
0.689 * * [simplify]: Extracting # 1 : cost  0
0.689 * * [simplify]: Extracting # 2 : cost  0
0.689 * * [simplify]: iteration  7 :  397  enodes  (cost  11 )
0.927 * * [simplify]: Extracting # 0 : cost  0
0.927 * * [simplify]: Extracting # 1 : cost  0
0.928 * * [simplify]: iteration  8 :  435  enodes  (cost  11 )
1.132 * * [simplify]: Extracting # 0 : cost  0
1.132 * * [simplify]: Extracting # 1 : cost  0
1.133 * * [simplify]: Extracting # 2 : cost  0
1.133 * * [simplify]: iteration  9 :  471  enodes  (cost  11 )
1.367 * * [simplify]: Extracting # 0 : cost  0
1.368 * * [simplify]: Extracting # 1 : cost  0
1.368 * * [simplify]: Extracting # 2 : cost  0
1.368 * * [simplify]: iteration  10 :  527  enodes  (cost  11 )
1.651 * * [simplify]: Extracting # 0 : cost  0
1.651 * * [simplify]: Extracting # 1 : cost  0
1.651 * * [simplify]: iteration done:  527  enodes  (cost  11 )
1.652 * [simplify]: Simplified to:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
1.652 * * [progress]: iteration 1 / 4
1.652 * * * [progress]: picking best candidate
1.655 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
1.655 * * * [progress]: localizing error
1.675 * * * [progress]: generating rewritten candidates
1.675 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.763 * * * [progress]: generating series expansions
1.763 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.764 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))
1.764 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in (re im) around 0
1.764 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in im
1.764 * [taylor]: Taking taylor expansion of 0.5 in im
1.764 * [backup-simplify]: Simplify 0.5 into 0.5
1.764 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in im
1.764 * [taylor]: Taking taylor expansion of (cos re) in im
1.764 * [taylor]: Taking taylor expansion of re in im
1.764 * [backup-simplify]: Simplify re into re
1.764 * [backup-simplify]: Simplify (cos re) into (cos re)
1.764 * [backup-simplify]: Simplify (sin re) into (sin re)
1.764 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
1.764 * [taylor]: Taking taylor expansion of (exp im) in im
1.764 * [taylor]: Taking taylor expansion of im in im
1.764 * [backup-simplify]: Simplify 0 into 0
1.764 * [backup-simplify]: Simplify 1 into 1
1.764 * [backup-simplify]: Simplify (exp 0) into 1
1.764 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.764 * [taylor]: Taking taylor expansion of (- im) in im
1.764 * [taylor]: Taking taylor expansion of im in im
1.764 * [backup-simplify]: Simplify 0 into 0
1.764 * [backup-simplify]: Simplify 1 into 1
1.765 * [backup-simplify]: Simplify (- 0) into 0
1.765 * [backup-simplify]: Simplify (- 1) into -1
1.765 * [backup-simplify]: Simplify (exp 0) into 1
1.765 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re
1.765 * [taylor]: Taking taylor expansion of 0.5 in re
1.765 * [backup-simplify]: Simplify 0.5 into 0.5
1.765 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re
1.765 * [taylor]: Taking taylor expansion of (cos re) in re
1.765 * [taylor]: Taking taylor expansion of re in re
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.765 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re
1.765 * [taylor]: Taking taylor expansion of (exp im) in re
1.765 * [taylor]: Taking taylor expansion of im in re
1.765 * [backup-simplify]: Simplify im into im
1.765 * [backup-simplify]: Simplify (exp im) into (exp im)
1.765 * [taylor]: Taking taylor expansion of (exp (- im)) in re
1.765 * [taylor]: Taking taylor expansion of (- im) in re
1.765 * [taylor]: Taking taylor expansion of im in re
1.765 * [backup-simplify]: Simplify im into im
1.765 * [backup-simplify]: Simplify (- im) into (- im)
1.765 * [backup-simplify]: Simplify (- im) into (- im)
1.765 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
1.765 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re
1.765 * [taylor]: Taking taylor expansion of 0.5 in re
1.765 * [backup-simplify]: Simplify 0.5 into 0.5
1.765 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re
1.765 * [taylor]: Taking taylor expansion of (cos re) in re
1.765 * [taylor]: Taking taylor expansion of re in re
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.765 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re
1.765 * [taylor]: Taking taylor expansion of (exp im) in re
1.766 * [taylor]: Taking taylor expansion of im in re
1.766 * [backup-simplify]: Simplify im into im
1.766 * [backup-simplify]: Simplify (exp im) into (exp im)
1.766 * [taylor]: Taking taylor expansion of (exp (- im)) in re
1.766 * [taylor]: Taking taylor expansion of (- im) in re
1.766 * [taylor]: Taking taylor expansion of im in re
1.766 * [backup-simplify]: Simplify im into im
1.766 * [backup-simplify]: Simplify (- im) into (- im)
1.766 * [backup-simplify]: Simplify (- im) into (- im)
1.766 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
1.766 * [backup-simplify]: Simplify (+ (exp im) (exp (- im))) into (+ (exp im) (exp (- im)))
1.766 * [backup-simplify]: Simplify (* 1 (+ (exp im) (exp (- im)))) into (+ (exp im) (exp (- im)))
1.766 * [backup-simplify]: Simplify (* 0.5 (+ (exp im) (exp (- im)))) into (* 0.5 (+ (exp im) (exp (- im))))
1.766 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (- im)))) in im
1.766 * [taylor]: Taking taylor expansion of 0.5 in im
1.766 * [backup-simplify]: Simplify 0.5 into 0.5
1.766 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
1.766 * [taylor]: Taking taylor expansion of (exp im) in im
1.766 * [taylor]: Taking taylor expansion of im in im
1.766 * [backup-simplify]: Simplify 0 into 0
1.766 * [backup-simplify]: Simplify 1 into 1
1.766 * [backup-simplify]: Simplify (exp 0) into 1
1.766 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.766 * [taylor]: Taking taylor expansion of (- im) in im
1.766 * [taylor]: Taking taylor expansion of im in im
1.766 * [backup-simplify]: Simplify 0 into 0
1.766 * [backup-simplify]: Simplify 1 into 1
1.767 * [backup-simplify]: Simplify (- 0) into 0
1.767 * [backup-simplify]: Simplify (- 1) into -1
1.767 * [backup-simplify]: Simplify (exp 0) into 1
1.767 * [backup-simplify]: Simplify (+ 1 1) into 2
1.767 * [backup-simplify]: Simplify (* 0.5 2) into 1.0
1.767 * [backup-simplify]: Simplify 1.0 into 1.0
1.768 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
1.768 * [backup-simplify]: Simplify (- im) into (- im)
1.768 * [backup-simplify]: Simplify (- 0) into 0
1.769 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
1.769 * [backup-simplify]: Simplify (+ 0 0) into 0
1.769 * [backup-simplify]: Simplify (+ 0) into 0
1.770 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp im) (exp (- im))))) into 0
1.770 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp im) (exp (- im))))) into 0
1.770 * [taylor]: Taking taylor expansion of 0 in im
1.770 * [backup-simplify]: Simplify 0 into 0
1.770 * [backup-simplify]: Simplify 0 into 0
1.771 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.771 * [backup-simplify]: Simplify (- 1) into -1
1.771 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.772 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.772 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0
1.772 * [backup-simplify]: Simplify 0 into 0
1.773 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.773 * [backup-simplify]: Simplify (- im) into (- im)
1.773 * [backup-simplify]: Simplify (- 0) into 0
1.773 * [backup-simplify]: Simplify (- 0) into 0
1.774 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.774 * [backup-simplify]: Simplify (+ 0 0) into 0
1.775 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp im) (exp (- im)))))) into (- (+ (* 1/2 (exp im)) (* 1/2 (exp (- im)))))
1.776 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/2 (exp im)) (* 1/2 (exp (- im)))))) (+ (* 0 0) (* 0 (+ (exp im) (exp (- im)))))) into (- (+ (* 0.25 (exp im)) (* 0.25 (exp (- im)))))
1.776 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp im)) (* 0.25 (exp (- im))))) in im
1.776 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im
1.776 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
1.776 * [taylor]: Taking taylor expansion of 0.25 in im
1.776 * [backup-simplify]: Simplify 0.25 into 0.25
1.776 * [taylor]: Taking taylor expansion of (exp im) in im
1.776 * [taylor]: Taking taylor expansion of im in im
1.776 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify 1 into 1
1.776 * [backup-simplify]: Simplify (exp 0) into 1
1.776 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im
1.776 * [taylor]: Taking taylor expansion of 0.25 in im
1.776 * [backup-simplify]: Simplify 0.25 into 0.25
1.776 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.776 * [taylor]: Taking taylor expansion of (- im) in im
1.776 * [taylor]: Taking taylor expansion of im in im
1.776 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify 1 into 1
1.777 * [backup-simplify]: Simplify (- 0) into 0
1.777 * [backup-simplify]: Simplify (- 1) into -1
1.777 * [backup-simplify]: Simplify (exp 0) into 1
1.777 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
1.777 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
1.778 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
1.778 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.778 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.778 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.779 * [backup-simplify]: Simplify (- 1) into -1
1.780 * [backup-simplify]: Simplify (- 0) into 0
1.781 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.781 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
1.782 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5
1.782 * [backup-simplify]: Simplify 0.5 into 0.5