0.140 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.141 * * * [progress]: [2/2] Setting up program.
0.144 * [progress]: [Phase 2 of 3] Improving.
0.144 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.144 * * [simplify]: Extracting # 0 : cost  0
0.144 * * [simplify]: Extracting # 1 : cost  0
0.144 * * [simplify]: Extracting # 2 : cost  0
0.144 * * [simplify]: Extracting # 3 : cost  0
0.144 * * [simplify]: Extracting # 4 : cost  0
0.144 * * [simplify]: Extracting # 5 : cost  0
0.144 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.146 * * [simplify]: Extracting # 0 : cost  0
0.146 * * [simplify]: Extracting # 1 : cost  0
0.146 * * [simplify]: Extracting # 2 : cost  0
0.146 * * [simplify]: iteration  1 :  23  enodes  (cost  11 )
0.193 * * [simplify]: Extracting # 0 : cost  0
0.193 * * [simplify]: Extracting # 1 : cost  0
0.194 * * [simplify]: Extracting # 2 : cost  0
0.194 * * [simplify]: iteration  2 :  57  enodes  (cost  11 )
0.222 * * [simplify]: Extracting # 0 : cost  0
0.223 * * [simplify]: Extracting # 1 : cost  0
0.223 * * [simplify]: Extracting # 2 : cost  0
0.223 * * [simplify]: iteration  3 :  89  enodes  (cost  11 )
0.264 * * [simplify]: Extracting # 0 : cost  0
0.264 * * [simplify]: Extracting # 1 : cost  0
0.264 * * [simplify]: Extracting # 2 : cost  0
0.265 * * [simplify]: iteration  4 :  119  enodes  (cost  11 )
0.305 * * [simplify]: Extracting # 0 : cost  0
0.306 * * [simplify]: Extracting # 1 : cost  0
0.306 * * [simplify]: Extracting # 2 : cost  0
0.306 * * [simplify]: iteration  5 :  153  enodes  (cost  11 )
0.354 * * [simplify]: Extracting # 0 : cost  0
0.354 * * [simplify]: Extracting # 1 : cost  0
0.355 * * [simplify]: Extracting # 2 : cost  0
0.355 * * [simplify]: iteration  6 :  217  enodes  (cost  11 )
0.501 * * [simplify]: Extracting # 0 : cost  0
0.502 * * [simplify]: Extracting # 1 : cost  0
0.502 * * [simplify]: Extracting # 2 : cost  0
0.503 * * [simplify]: iteration  7 :  346  enodes  (cost  11 )
0.687 * * [simplify]: Extracting # 0 : cost  0
0.688 * * [simplify]: Extracting # 1 : cost  0
0.688 * * [simplify]: iteration  8 :  382  enodes  (cost  11 )
0.847 * * [simplify]: Extracting # 0 : cost  0
0.848 * * [simplify]: Extracting # 1 : cost  0
0.848 * * [simplify]: Extracting # 2 : cost  0
0.849 * * [simplify]: iteration  9 :  418  enodes  (cost  11 )
1.028 * * [simplify]: Extracting # 0 : cost  0
1.028 * * [simplify]: Extracting # 1 : cost  0
1.028 * * [simplify]: Extracting # 2 : cost  0
1.028 * * [simplify]: iteration  10 :  474  enodes  (cost  11 )
1.256 * * [simplify]: Extracting # 0 : cost  0
1.257 * * [simplify]: Extracting # 1 : cost  0
1.260 * * [simplify]: iteration done:  474  enodes  (cost  11 )
1.260 * [simplify]: Simplified to:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
1.260 * * [progress]: iteration 1 / 4
1.260 * * * [progress]: picking best candidate
1.263 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
1.263 * * * [progress]: localizing error
1.274 * * * [progress]: generating rewritten candidates
1.274 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.385 * * * [progress]: generating series expansions
1.385 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.386 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))
1.386 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in (re im) around 0
1.386 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in im
1.386 * [taylor]: Taking taylor expansion of 0.5 in im
1.386 * [backup-simplify]: Simplify 0.5 into 0.5
1.386 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in im
1.386 * [taylor]: Taking taylor expansion of (cos re) in im
1.386 * [taylor]: Taking taylor expansion of re in im
1.386 * [backup-simplify]: Simplify re into re
1.386 * [backup-simplify]: Simplify (cos re) into (cos re)
1.386 * [backup-simplify]: Simplify (sin re) into (sin re)
1.386 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
1.386 * [taylor]: Taking taylor expansion of (exp im) in im
1.386 * [taylor]: Taking taylor expansion of im in im
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 1 into 1
1.386 * [backup-simplify]: Simplify (exp 0) into 1
1.386 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.387 * [taylor]: Taking taylor expansion of (- im) in im
1.387 * [taylor]: Taking taylor expansion of im in im
1.387 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify 1 into 1
1.387 * [backup-simplify]: Simplify (- 0) into 0
1.388 * [backup-simplify]: Simplify (- 1) into -1
1.388 * [backup-simplify]: Simplify (exp 0) into 1
1.388 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re
1.388 * [taylor]: Taking taylor expansion of 0.5 in re
1.388 * [backup-simplify]: Simplify 0.5 into 0.5
1.388 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re
1.388 * [taylor]: Taking taylor expansion of (cos re) in re
1.388 * [taylor]: Taking taylor expansion of re in re
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 1 into 1
1.388 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re
1.388 * [taylor]: Taking taylor expansion of (exp im) in re
1.388 * [taylor]: Taking taylor expansion of im in re
1.388 * [backup-simplify]: Simplify im into im
1.388 * [backup-simplify]: Simplify (exp im) into (exp im)
1.388 * [taylor]: Taking taylor expansion of (exp (- im)) in re
1.388 * [taylor]: Taking taylor expansion of (- im) in re
1.388 * [taylor]: Taking taylor expansion of im in re
1.388 * [backup-simplify]: Simplify im into im
1.388 * [backup-simplify]: Simplify (- im) into (- im)
1.388 * [backup-simplify]: Simplify (- im) into (- im)
1.388 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
1.388 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re
1.388 * [taylor]: Taking taylor expansion of 0.5 in re
1.388 * [backup-simplify]: Simplify 0.5 into 0.5
1.388 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re
1.389 * [taylor]: Taking taylor expansion of (cos re) in re
1.389 * [taylor]: Taking taylor expansion of re in re
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 1 into 1
1.389 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re
1.389 * [taylor]: Taking taylor expansion of (exp im) in re
1.389 * [taylor]: Taking taylor expansion of im in re
1.389 * [backup-simplify]: Simplify im into im
1.389 * [backup-simplify]: Simplify (exp im) into (exp im)
1.389 * [taylor]: Taking taylor expansion of (exp (- im)) in re
1.389 * [taylor]: Taking taylor expansion of (- im) in re
1.389 * [taylor]: Taking taylor expansion of im in re
1.389 * [backup-simplify]: Simplify im into im
1.389 * [backup-simplify]: Simplify (- im) into (- im)
1.389 * [backup-simplify]: Simplify (- im) into (- im)
1.389 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
1.389 * [backup-simplify]: Simplify (+ (exp im) (exp (- im))) into (+ (exp im) (exp (- im)))
1.389 * [backup-simplify]: Simplify (* 1 (+ (exp im) (exp (- im)))) into (+ (exp im) (exp (- im)))
1.389 * [backup-simplify]: Simplify (* 0.5 (+ (exp im) (exp (- im)))) into (* 0.5 (+ (exp im) (exp (- im))))
1.390 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (- im)))) in im
1.390 * [taylor]: Taking taylor expansion of 0.5 in im
1.390 * [backup-simplify]: Simplify 0.5 into 0.5
1.390 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
1.390 * [taylor]: Taking taylor expansion of (exp im) in im
1.390 * [taylor]: Taking taylor expansion of im in im
1.390 * [backup-simplify]: Simplify 0 into 0
1.390 * [backup-simplify]: Simplify 1 into 1
1.390 * [backup-simplify]: Simplify (exp 0) into 1
1.390 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.390 * [taylor]: Taking taylor expansion of (- im) in im
1.390 * [taylor]: Taking taylor expansion of im in im
1.390 * [backup-simplify]: Simplify 0 into 0
1.390 * [backup-simplify]: Simplify 1 into 1
1.390 * [backup-simplify]: Simplify (- 0) into 0
1.391 * [backup-simplify]: Simplify (- 1) into -1
1.391 * [backup-simplify]: Simplify (exp 0) into 1
1.391 * [backup-simplify]: Simplify (+ 1 1) into 2
1.391 * [backup-simplify]: Simplify (* 0.5 2) into 1.0
1.391 * [backup-simplify]: Simplify 1.0 into 1.0
1.392 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
1.392 * [backup-simplify]: Simplify (- im) into (- im)
1.392 * [backup-simplify]: Simplify (- 0) into 0
1.393 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
1.393 * [backup-simplify]: Simplify (+ 0 0) into 0
1.393 * [backup-simplify]: Simplify (+ 0) into 0
1.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp im) (exp (- im))))) into 0
1.394 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp im) (exp (- im))))) into 0
1.394 * [taylor]: Taking taylor expansion of 0 in im
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.395 * [backup-simplify]: Simplify (- 1) into -1
1.395 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.396 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.396 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0
1.396 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.397 * [backup-simplify]: Simplify (- im) into (- im)
1.397 * [backup-simplify]: Simplify (- 0) into 0
1.398 * [backup-simplify]: Simplify (- 0) into 0
1.398 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.399 * [backup-simplify]: Simplify (+ 0 0) into 0
1.400 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp im) (exp (- im)))))) into (- (+ (* 1/2 (exp im)) (* 1/2 (exp (- im)))))
1.401 * [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.401 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp im)) (* 0.25 (exp (- im))))) in im
1.401 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im
1.401 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
1.401 * [taylor]: Taking taylor expansion of 0.25 in im
1.401 * [backup-simplify]: Simplify 0.25 into 0.25
1.401 * [taylor]: Taking taylor expansion of (exp im) in im
1.401 * [taylor]: Taking taylor expansion of im in im
1.401 * [backup-simplify]: Simplify 0 into 0
1.401 * [backup-simplify]: Simplify 1 into 1
1.401 * [backup-simplify]: Simplify (exp 0) into 1
1.401 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im
1.401 * [taylor]: Taking taylor expansion of 0.25 in im
1.401 * [backup-simplify]: Simplify 0.25 into 0.25
1.401 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.401 * [taylor]: Taking taylor expansion of (- im) in im
1.401 * [taylor]: Taking taylor expansion of im in im
1.401 * [backup-simplify]: Simplify 0 into 0
1.401 * [backup-simplify]: Simplify 1 into 1
1.401 * [backup-simplify]: Simplify (- 0) into 0
1.402 * [backup-simplify]: Simplify (- 1) into -1
1.402 * [backup-simplify]: Simplify (exp 0) into 1
1.402 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
1.402 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
1.402 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
1.403 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.403 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.403 * [backup-simplify]: Simplify 0 into 0
1.404 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.404 * [backup-simplify]: Simplify (- 1) into -1
1.404 * [backup-simplify]: Simplify (- 0) into 0
1.405 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.406 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
1.407 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5
1.407 * [backup-simplify]: Simplify 0.5 into 0.5