29.745 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.175 * * * [progress]: [2/2] Setting up program.
0.179 * [progress]: [Phase 2 of 3] Improving.
0.179 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.179 * * [simplify]: iteration 0: 10 enodes
0.181 * * [simplify]: iteration 1: 23 enodes
0.185 * * [simplify]: iteration 2: 57 enodes
0.194 * * [simplify]: iteration 3: 93 enodes
0.260 * * [simplify]: iteration 4: 470 enodes
1.438 * * [simplify]: iteration 5: 4184 enodes
3.264 * * [simplify]: iteration complete: 5000 enodes
3.265 * * [simplify]: Extracting #0: cost 1 inf + 0
3.266 * * [simplify]: Extracting #1: cost 344 inf + 0
3.273 * * [simplify]: Extracting #2: cost 1531 inf + 8
3.281 * * [simplify]: Extracting #3: cost 1534 inf + 905
3.287 * * [simplify]: Extracting #4: cost 529 inf + 5986
3.292 * * [simplify]: Extracting #5: cost 28 inf + 9568
3.298 * * [simplify]: Extracting #6: cost 0 inf + 9821
3.306 * [simplify]: Simplified to:
  (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))
3.312 * * [progress]: iteration 1 / 4
3.312 * * * [progress]: picking best candidate
3.319 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
3.319 * * * [progress]: localizing error
3.349 * * * [progress]: generating rewritten candidates
3.349 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.452 * * * [progress]: generating series expansions
3.452 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.453 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) into (* 0.5 (* (cos re) (+ (exp (- im)) (exp im))))
3.453 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in (re im) around 0
3.453 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in im
3.453 * [taylor]: Taking taylor expansion of 0.5 in im
3.453 * [backup-simplify]: Simplify 0.5 into 0.5
3.453 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in im
3.453 * [taylor]: Taking taylor expansion of (cos re) in im
3.453 * [taylor]: Taking taylor expansion of re in im
3.453 * [backup-simplify]: Simplify re into re
3.453 * [backup-simplify]: Simplify (cos re) into (cos re)
3.453 * [backup-simplify]: Simplify (sin re) into (sin re)
3.453 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
3.453 * [taylor]: Taking taylor expansion of (exp (- im)) in im
3.453 * [taylor]: Taking taylor expansion of (- im) in im
3.453 * [taylor]: Taking taylor expansion of im in im
3.453 * [backup-simplify]: Simplify 0 into 0
3.453 * [backup-simplify]: Simplify 1 into 1
3.454 * [backup-simplify]: Simplify (- 0) into 0
3.454 * [backup-simplify]: Simplify (- 1) into -1
3.455 * [backup-simplify]: Simplify (exp 0) into 1
3.455 * [taylor]: Taking taylor expansion of (exp im) in im
3.455 * [taylor]: Taking taylor expansion of im in im
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 1 into 1
3.455 * [backup-simplify]: Simplify (exp 0) into 1
3.455 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re
3.455 * [taylor]: Taking taylor expansion of 0.5 in re
3.455 * [backup-simplify]: Simplify 0.5 into 0.5
3.455 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re
3.455 * [taylor]: Taking taylor expansion of (cos re) in re
3.455 * [taylor]: Taking taylor expansion of re in re
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 1 into 1
3.455 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
3.455 * [taylor]: Taking taylor expansion of (exp (- im)) in re
3.455 * [taylor]: Taking taylor expansion of (- im) in re
3.455 * [taylor]: Taking taylor expansion of im in re
3.455 * [backup-simplify]: Simplify im into im
3.455 * [backup-simplify]: Simplify (- im) into (- im)
3.455 * [backup-simplify]: Simplify (- im) into (- im)
3.455 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
3.455 * [taylor]: Taking taylor expansion of (exp im) in re
3.455 * [taylor]: Taking taylor expansion of im in re
3.455 * [backup-simplify]: Simplify im into im
3.455 * [backup-simplify]: Simplify (exp im) into (exp im)
3.455 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re
3.455 * [taylor]: Taking taylor expansion of 0.5 in re
3.455 * [backup-simplify]: Simplify 0.5 into 0.5
3.456 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re
3.456 * [taylor]: Taking taylor expansion of (cos re) in re
3.456 * [taylor]: Taking taylor expansion of re in re
3.456 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify 1 into 1
3.456 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
3.456 * [taylor]: Taking taylor expansion of (exp (- im)) in re
3.456 * [taylor]: Taking taylor expansion of (- im) in re
3.456 * [taylor]: Taking taylor expansion of im in re
3.456 * [backup-simplify]: Simplify im into im
3.456 * [backup-simplify]: Simplify (- im) into (- im)
3.456 * [backup-simplify]: Simplify (- im) into (- im)
3.456 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
3.456 * [taylor]: Taking taylor expansion of (exp im) in re
3.456 * [taylor]: Taking taylor expansion of im in re
3.456 * [backup-simplify]: Simplify im into im
3.456 * [backup-simplify]: Simplify (exp im) into (exp im)
3.456 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im))
3.456 * [backup-simplify]: Simplify (* 1 (+ (exp (- im)) (exp im))) into (+ (exp (- im)) (exp im))
3.457 * [backup-simplify]: Simplify (* 0.5 (+ (exp (- im)) (exp im))) into (* 0.5 (+ (exp (- im)) (exp im)))
3.457 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- im)) (exp im))) in im
3.457 * [taylor]: Taking taylor expansion of 0.5 in im
3.457 * [backup-simplify]: Simplify 0.5 into 0.5
3.457 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
3.457 * [taylor]: Taking taylor expansion of (exp (- im)) in im
3.457 * [taylor]: Taking taylor expansion of (- im) in im
3.457 * [taylor]: Taking taylor expansion of im in im
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify 1 into 1
3.457 * [backup-simplify]: Simplify (- 0) into 0
3.458 * [backup-simplify]: Simplify (- 1) into -1
3.458 * [backup-simplify]: Simplify (exp 0) into 1
3.458 * [taylor]: Taking taylor expansion of (exp im) in im
3.458 * [taylor]: Taking taylor expansion of im in im
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 1 into 1
3.458 * [backup-simplify]: Simplify (exp 0) into 1
3.458 * [backup-simplify]: Simplify (+ 1 1) into 2
3.459 * [backup-simplify]: Simplify (* 0.5 2) into 1.0
3.459 * [backup-simplify]: Simplify 1.0 into 1.0
3.459 * [backup-simplify]: Simplify (- im) into (- im)
3.459 * [backup-simplify]: Simplify (- 0) into 0
3.460 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.461 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
3.462 * [backup-simplify]: Simplify (+ 0 0) into 0
3.462 * [backup-simplify]: Simplify (+ 0) into 0
3.463 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im)))) into 0
3.463 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp (- im)) (exp im)))) into 0
3.463 * [taylor]: Taking taylor expansion of 0 in im
3.463 * [backup-simplify]: Simplify 0 into 0
3.463 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify (- 1) into -1
3.465 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.466 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.466 * [backup-simplify]: Simplify (+ -1 1) into 0
3.468 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [backup-simplify]: Simplify (- im) into (- im)
3.468 * [backup-simplify]: Simplify (- 0) into 0
3.469 * [backup-simplify]: Simplify (- 0) into 0
3.470 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.472 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.472 * [backup-simplify]: Simplify (+ 0 0) into 0
3.473 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp (- im)) (exp im))))) into (- (+ (* 1/2 (exp (- im))) (* 1/2 (exp im))))
3.475 * [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))))
3.475 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp (- im))) (* 0.25 (exp im)))) in im
3.475 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp (- im))) (* 0.25 (exp im))) in im
3.475 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im
3.475 * [taylor]: Taking taylor expansion of 0.25 in im
3.475 * [backup-simplify]: Simplify 0.25 into 0.25
3.475 * [taylor]: Taking taylor expansion of (exp (- im)) in im
3.475 * [taylor]: Taking taylor expansion of (- im) in im
3.475 * [taylor]: Taking taylor expansion of im in im
3.476 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify 1 into 1
3.476 * [backup-simplify]: Simplify (- 0) into 0
3.476 * [backup-simplify]: Simplify (- 1) into -1
3.476 * [backup-simplify]: Simplify (exp 0) into 1
3.476 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
3.476 * [taylor]: Taking taylor expansion of 0.25 in im
3.476 * [backup-simplify]: Simplify 0.25 into 0.25
3.476 * [taylor]: Taking taylor expansion of (exp im) in im
3.477 * [taylor]: Taking taylor expansion of im in im
3.477 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify 1 into 1
3.477 * [backup-simplify]: Simplify (exp 0) into 1
3.477 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
3.478 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
3.478 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
3.478 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.479 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.479 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify (- 1) into -1
3.479 * [backup-simplify]: Simplify (- 0) into 0
3.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.481 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.481 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.482 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5
3.482 * [backup-simplify]: Simplify 0.5 into 0.5
3.483 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* im 1) 2)) (+ (* (- 0.5) (pow (* 1 re) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
3.483 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 re))) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))
3.483 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in (re im) around 0
3.483 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im
3.483 * [taylor]: Taking taylor expansion of 0.5 in im
3.483 * [backup-simplify]: Simplify 0.5 into 0.5
3.483 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im
3.483 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
3.483 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
3.483 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
3.483 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.483 * [taylor]: Taking taylor expansion of im in im
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.484 * [backup-simplify]: Simplify (/ 1 1) into 1
3.484 * [backup-simplify]: Simplify (- 1) into -1
3.484 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.484 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.484 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.484 * [taylor]: Taking taylor expansion of im in im
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 1 into 1
3.484 * [backup-simplify]: Simplify (/ 1 1) into 1
3.484 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.484 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.484 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.484 * [taylor]: Taking taylor expansion of re in im
3.484 * [backup-simplify]: Simplify re into re
3.484 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.485 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.485 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
3.485 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re
3.485 * [taylor]: Taking taylor expansion of 0.5 in re
3.485 * [backup-simplify]: Simplify 0.5 into 0.5
3.485 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re
3.485 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
3.485 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
3.485 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
3.485 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.485 * [taylor]: Taking taylor expansion of im in re
3.485 * [backup-simplify]: Simplify im into im
3.485 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.485 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.485 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.485 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.485 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.485 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.485 * [taylor]: Taking taylor expansion of im in re
3.485 * [backup-simplify]: Simplify im into im
3.485 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.485 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.485 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.485 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.485 * [taylor]: Taking taylor expansion of re in re
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify 1 into 1
3.485 * [backup-simplify]: Simplify (/ 1 1) into 1
3.485 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.485 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re
3.486 * [taylor]: Taking taylor expansion of 0.5 in re
3.486 * [backup-simplify]: Simplify 0.5 into 0.5
3.486 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re
3.486 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
3.486 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
3.486 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
3.486 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.486 * [taylor]: Taking taylor expansion of im in re
3.486 * [backup-simplify]: Simplify im into im
3.486 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.486 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.486 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.486 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.486 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.486 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.486 * [taylor]: Taking taylor expansion of im in re
3.486 * [backup-simplify]: Simplify im into im
3.486 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.486 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.486 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.486 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.486 * [taylor]: Taking taylor expansion of re in re
3.486 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify 1 into 1
3.486 * [backup-simplify]: Simplify (/ 1 1) into 1
3.486 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.486 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
3.487 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))
3.487 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))
3.487 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im
3.487 * [taylor]: Taking taylor expansion of 0.5 in im
3.487 * [backup-simplify]: Simplify 0.5 into 0.5
3.487 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im
3.487 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
3.487 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
3.487 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
3.487 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.487 * [taylor]: Taking taylor expansion of im in im
3.487 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify 1 into 1
3.487 * [backup-simplify]: Simplify (/ 1 1) into 1
3.487 * [backup-simplify]: Simplify (- 1) into -1
3.488 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.488 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.488 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.488 * [taylor]: Taking taylor expansion of im in im
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 1 into 1
3.488 * [backup-simplify]: Simplify (/ 1 1) into 1
3.488 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.488 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.488 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.488 * [taylor]: Taking taylor expansion of re in im
3.488 * [backup-simplify]: Simplify re into re
3.488 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.488 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.488 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
3.488 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
3.488 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
3.488 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
3.489 * [backup-simplify]: Simplify (- 0) into 0
3.489 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
3.489 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))
3.489 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))
3.489 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))
3.489 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
3.490 * [backup-simplify]: Simplify (- 0) into 0
3.490 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
3.490 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
3.491 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.491 * [backup-simplify]: Simplify (+ 0 0) into 0
3.491 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0
3.492 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0
3.492 * [taylor]: Taking taylor expansion of 0 in im
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify (+ 0) into 0
3.493 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
3.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
3.493 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.493 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
3.494 * [backup-simplify]: Simplify (- 0) into 0
3.494 * [backup-simplify]: Simplify (+ 0 0) into 0
3.494 * [backup-simplify]: Simplify (+ 0 0) into 0
3.494 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0
3.495 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0
3.495 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.495 * [backup-simplify]: Simplify (- 0) into 0
3.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.495 * [backup-simplify]: Simplify (- 0) into 0
3.496 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.497 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.497 * [backup-simplify]: Simplify (+ 0 0) into 0
3.498 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0
3.498 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0
3.498 * [taylor]: Taking taylor expansion of 0 in im
3.498 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify 0 into 0
3.499 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.499 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
3.499 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.500 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.500 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
3.500 * [backup-simplify]: Simplify (- 0) into 0
3.501 * [backup-simplify]: Simplify (+ 0 0) into 0
3.501 * [backup-simplify]: Simplify (+ 0 0) into 0
3.501 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0
3.502 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0
3.502 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.502 * [backup-simplify]: Simplify (- 0) into 0
3.503 * [backup-simplify]: Simplify (- 0) into 0
3.503 * [backup-simplify]: Simplify (- 0) into 0
3.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.503 * [backup-simplify]: Simplify (- 0) into 0
3.504 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.505 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.506 * [backup-simplify]: Simplify (+ 0 0) into 0
3.506 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0
3.507 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))))) into 0
3.507 * [taylor]: Taking taylor expansion of 0 in im
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) (cos (/ 1 (/ 1 re))))) into (* 0.5 (* (cos re) (+ (exp (- im)) (exp im))))
3.507 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 (- re)))) (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))
3.507 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (re im) around 0
3.507 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im
3.508 * [taylor]: Taking taylor expansion of 0.5 in im
3.508 * [backup-simplify]: Simplify 0.5 into 0.5
3.508 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im
3.508 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
3.508 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.508 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.508 * [taylor]: Taking taylor expansion of -1 in im
3.508 * [backup-simplify]: Simplify -1 into -1
3.508 * [taylor]: Taking taylor expansion of im in im
3.508 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify 1 into 1
3.508 * [backup-simplify]: Simplify (/ -1 1) into -1
3.508 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.508 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.508 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.508 * [taylor]: Taking taylor expansion of im in im
3.508 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify 1 into 1
3.508 * [backup-simplify]: Simplify (/ 1 1) into 1
3.508 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.508 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.508 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.508 * [taylor]: Taking taylor expansion of -1 in im
3.508 * [backup-simplify]: Simplify -1 into -1
3.508 * [taylor]: Taking taylor expansion of re in im
3.508 * [backup-simplify]: Simplify re into re
3.509 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.509 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.509 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
3.509 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
3.509 * [taylor]: Taking taylor expansion of 0.5 in re
3.509 * [backup-simplify]: Simplify 0.5 into 0.5
3.509 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
3.509 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
3.509 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.509 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.509 * [taylor]: Taking taylor expansion of -1 in re
3.509 * [backup-simplify]: Simplify -1 into -1
3.509 * [taylor]: Taking taylor expansion of im in re
3.509 * [backup-simplify]: Simplify im into im
3.509 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
3.509 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.509 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.509 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.509 * [taylor]: Taking taylor expansion of im in re
3.509 * [backup-simplify]: Simplify im into im
3.509 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.509 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.509 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.509 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.509 * [taylor]: Taking taylor expansion of -1 in re
3.509 * [backup-simplify]: Simplify -1 into -1
3.509 * [taylor]: Taking taylor expansion of re in re
3.509 * [backup-simplify]: Simplify 0 into 0
3.509 * [backup-simplify]: Simplify 1 into 1
3.509 * [backup-simplify]: Simplify (/ -1 1) into -1
3.509 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.509 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
3.509 * [taylor]: Taking taylor expansion of 0.5 in re
3.509 * [backup-simplify]: Simplify 0.5 into 0.5
3.510 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
3.510 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
3.510 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.510 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.510 * [taylor]: Taking taylor expansion of -1 in re
3.510 * [backup-simplify]: Simplify -1 into -1
3.510 * [taylor]: Taking taylor expansion of im in re
3.510 * [backup-simplify]: Simplify im into im
3.510 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
3.510 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.510 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.510 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.510 * [taylor]: Taking taylor expansion of im in re
3.510 * [backup-simplify]: Simplify im into im
3.510 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.510 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.510 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.510 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.510 * [taylor]: Taking taylor expansion of -1 in re
3.510 * [backup-simplify]: Simplify -1 into -1
3.510 * [taylor]: Taking taylor expansion of re in re
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify 1 into 1
3.510 * [backup-simplify]: Simplify (/ -1 1) into -1
3.510 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.510 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im)))
3.511 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))
3.511 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))
3.511 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im
3.511 * [taylor]: Taking taylor expansion of 0.5 in im
3.511 * [backup-simplify]: Simplify 0.5 into 0.5
3.511 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im
3.511 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im
3.511 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.511 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.511 * [taylor]: Taking taylor expansion of im in im
3.511 * [backup-simplify]: Simplify 0 into 0
3.511 * [backup-simplify]: Simplify 1 into 1
3.511 * [backup-simplify]: Simplify (/ 1 1) into 1
3.511 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.511 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.511 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.511 * [taylor]: Taking taylor expansion of -1 in im
3.511 * [backup-simplify]: Simplify -1 into -1
3.511 * [taylor]: Taking taylor expansion of im in im
3.511 * [backup-simplify]: Simplify 0 into 0
3.511 * [backup-simplify]: Simplify 1 into 1
3.512 * [backup-simplify]: Simplify (/ -1 1) into -1
3.512 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.512 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.512 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.512 * [taylor]: Taking taylor expansion of -1 in im
3.512 * [backup-simplify]: Simplify -1 into -1
3.512 * [taylor]: Taking taylor expansion of re in im
3.512 * [backup-simplify]: Simplify re into re
3.512 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.512 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.512 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
3.512 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
3.512 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
3.512 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
3.512 * [backup-simplify]: Simplify (- 0) into 0
3.512 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
3.512 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))
3.513 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))
3.513 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))
3.513 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
3.513 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
3.514 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.514 * [backup-simplify]: Simplify (+ 0 0) into 0
3.514 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (cos (/ -1 re)))) into 0
3.515 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0
3.515 * [taylor]: Taking taylor expansion of 0 in im
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify (+ 0) into 0
3.516 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
3.516 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
3.517 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.518 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
3.518 * [backup-simplify]: Simplify (- 0) into 0
3.518 * [backup-simplify]: Simplify (+ 0 0) into 0
3.519 * [backup-simplify]: Simplify (+ 0 0) into 0
3.519 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0
3.520 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))) into 0
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.521 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.523 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.523 * [backup-simplify]: Simplify (+ 0 0) into 0
3.524 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
3.525 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0
3.525 * [taylor]: Taking taylor expansion of 0 in im
3.525 * [backup-simplify]: Simplify 0 into 0
3.525 * [backup-simplify]: Simplify 0 into 0
3.525 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.527 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
3.528 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.528 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.529 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
3.529 * [backup-simplify]: Simplify (- 0) into 0
3.530 * [backup-simplify]: Simplify (+ 0 0) into 0
3.530 * [backup-simplify]: Simplify (+ 0 0) into 0
3.531 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
3.532 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))))) into 0
3.532 * [backup-simplify]: Simplify 0 into 0
3.532 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.534 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.535 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.536 * [backup-simplify]: Simplify (+ 0 0) into 0
3.536 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0
3.537 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))))) into 0
3.537 * [taylor]: Taking taylor expansion of 0 in im
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- im))))) (cos (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re)))
3.537 * * * [progress]: simplifying candidates
3.538 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
  (+ (+ (log 0.5) (log (cos re))) (log (+ (exp (- im)) (exp im))))
  (+ (log (* 0.5 (cos re))) (log (+ (exp (- im)) (exp im))))
  (log (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (exp (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
  (* (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))))
  (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (* (* 0.5 (cos re)) (exp (- im)))
  (* (* 0.5 (cos re)) (exp im))
  (* (exp (- im)) (* 0.5 (cos re)))
  (* (exp im) (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))))
  (* (* 0.5 (cos re)) (sqrt (+ (exp (- im)) (exp im))))
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (+ (exp (- im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (pow (exp (- im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (cos re)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (* 0.5 (* (cos re) (+ (exp (- im)) (exp im))))
  (* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re)))
3.538 * * [simplify]: iteration 0: 71 enodes
3.554 * * [simplify]: iteration 1: 224 enodes
3.698 * * [simplify]: iteration 2: 1485 enodes
4.474 * * [simplify]: iteration complete: 5001 enodes
4.475 * * [simplify]: Extracting #0: cost 16 inf + 0
4.476 * * [simplify]: Extracting #1: cost 448 inf + 0
4.485 * * [simplify]: Extracting #2: cost 1612 inf + 6
4.496 * * [simplify]: Extracting #3: cost 1915 inf + 1319
4.505 * * [simplify]: Extracting #4: cost 1177 inf + 9477
4.512 * * [simplify]: Extracting #5: cost 201 inf + 25976
4.519 * * [simplify]: Extracting #6: cost 6 inf + 28967
4.530 * * [simplify]: Extracting #7: cost 0 inf + 28827
4.544 * [simplify]: Simplified to:
  (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re))
  (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re))
  (log (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)))
  (log (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)))
  (log (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)))
  (pow (exp (+ (exp (- im)) (exp im))) (* (cos re) 0.5))
  (pow (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)) 3)
  (pow (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)) 3)
  (* (cbrt (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re))) (cbrt (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re))))
  (cbrt (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)))
  (pow (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)) 3)
  (sqrt (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)))
  (sqrt (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re)))
  (* (/ (cos re) (exp im)) 0.5)
  (* (exp im) (* 0.5 (cos re)))
  (* (/ (cos re) (exp im)) 0.5)
  (* (exp im) (* 0.5 (cos re)))
  (* (* (cbrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (cbrt (+ (exp (- im)) (exp im))))
  (* (cos re) (* 0.5 (sqrt (+ (exp (- im)) (exp im)))))
  (* 0.5 (cos re))
  (* 0.5 (cos re))
  (* (cos re) (+ (exp (- im)) (exp im)))
  (* (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (* 0.5 (cos re)))
  (* (cos re) (* 0.5 (- (pow (exp im) -2) (exp (+ im im)))))
  (+ (* (* 0.5 im) im) (- 1.0 (* (* re re) 0.5)))
  (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re))
  (* (* (+ (exp (- im)) (exp im)) 0.5) (cos re))
4.545 * * * [progress]: adding candidates to table
4.702 * * [progress]: iteration 2 / 4
4.702 * * * [progress]: picking best candidate
4.710 * * * * [pick]: Picked  #<alt (λ (re im) (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))))>
4.710 * * * [progress]: localizing error
4.742 * * * [progress]: generating rewritten candidates
4.742 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
4.758 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.799 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
4.841 * * * [progress]: generating series expansions
4.842 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
4.842 * [backup-simplify]: Simplify (/ (cos re) (exp im)) into (/ (cos re) (exp im))
4.842 * [approximate]: Taking taylor expansion of (/ (cos re) (exp im)) in (re im) around 0
4.842 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
4.842 * [taylor]: Taking taylor expansion of (cos re) in im
4.842 * [taylor]: Taking taylor expansion of re in im
4.842 * [backup-simplify]: Simplify re into re
4.842 * [backup-simplify]: Simplify (cos re) into (cos re)
4.842 * [backup-simplify]: Simplify (sin re) into (sin re)
4.842 * [taylor]: Taking taylor expansion of (exp im) in im
4.842 * [taylor]: Taking taylor expansion of im in im
4.842 * [backup-simplify]: Simplify 0 into 0
4.842 * [backup-simplify]: Simplify 1 into 1
4.842 * [backup-simplify]: Simplify (exp 0) into 1
4.842 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
4.842 * [backup-simplify]: Simplify (* (sin re) 0) into 0
4.843 * [backup-simplify]: Simplify (- 0) into 0
4.843 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
4.843 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re)
4.843 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.844 * [taylor]: Taking taylor expansion of (cos re) in re
4.844 * [taylor]: Taking taylor expansion of re in re
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify 1 into 1
4.844 * [taylor]: Taking taylor expansion of (exp im) in re
4.844 * [taylor]: Taking taylor expansion of im in re
4.844 * [backup-simplify]: Simplify im into im
4.844 * [backup-simplify]: Simplify (exp im) into (exp im)
4.844 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.844 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.844 * [taylor]: Taking taylor expansion of (cos re) in re
4.844 * [taylor]: Taking taylor expansion of re in re
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify 1 into 1
4.844 * [taylor]: Taking taylor expansion of (exp im) in re
4.844 * [taylor]: Taking taylor expansion of im in re
4.844 * [backup-simplify]: Simplify im into im
4.844 * [backup-simplify]: Simplify (exp im) into (exp im)
4.844 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.844 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.844 * [taylor]: Taking taylor expansion of (exp im) in im
4.844 * [taylor]: Taking taylor expansion of im in im
4.844 * [backup-simplify]: Simplify 0 into 0
4.845 * [backup-simplify]: Simplify 1 into 1
4.845 * [backup-simplify]: Simplify (exp 0) into 1
4.845 * [backup-simplify]: Simplify (/ 1 1) into 1
4.845 * [backup-simplify]: Simplify 1 into 1
4.846 * [backup-simplify]: Simplify (+ 0) into 0
4.847 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
4.847 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
4.847 * [taylor]: Taking taylor expansion of 0 in im
4.847 * [backup-simplify]: Simplify 0 into 0
4.847 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.849 * [backup-simplify]: Simplify -1 into -1
4.850 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.851 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.851 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im))))
4.851 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp im)))) in im
4.851 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp im))) in im
4.851 * [taylor]: Taking taylor expansion of 1/2 in im
4.851 * [backup-simplify]: Simplify 1/2 into 1/2
4.851 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.851 * [taylor]: Taking taylor expansion of (exp im) in im
4.851 * [taylor]: Taking taylor expansion of im in im
4.851 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify 1 into 1
4.851 * [backup-simplify]: Simplify (exp 0) into 1
4.852 * [backup-simplify]: Simplify (/ 1 1) into 1
4.852 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
4.852 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.852 * [backup-simplify]: Simplify -1/2 into -1/2
4.853 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 re) 2)) (+ (* -1 (* im 1)) 1)) into (- 1 (+ (* 1/2 (pow re 2)) im))
4.853 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.853 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in (re im) around 0
4.853 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.853 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.853 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.853 * [taylor]: Taking taylor expansion of re in im
4.853 * [backup-simplify]: Simplify re into re
4.853 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.853 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.853 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.853 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.853 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.853 * [taylor]: Taking taylor expansion of im in im
4.853 * [backup-simplify]: Simplify 0 into 0
4.853 * [backup-simplify]: Simplify 1 into 1
4.853 * [backup-simplify]: Simplify (/ 1 1) into 1
4.853 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.853 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.854 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.854 * [backup-simplify]: Simplify (- 0) into 0
4.854 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.854 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.854 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.854 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.854 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.854 * [taylor]: Taking taylor expansion of re in re
4.854 * [backup-simplify]: Simplify 0 into 0
4.854 * [backup-simplify]: Simplify 1 into 1
4.855 * [backup-simplify]: Simplify (/ 1 1) into 1
4.855 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.855 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.855 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.855 * [taylor]: Taking taylor expansion of im in re
4.855 * [backup-simplify]: Simplify im into im
4.855 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.855 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.855 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.855 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.855 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.855 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.855 * [taylor]: Taking taylor expansion of re in re
4.855 * [backup-simplify]: Simplify 0 into 0
4.855 * [backup-simplify]: Simplify 1 into 1
4.856 * [backup-simplify]: Simplify (/ 1 1) into 1
4.856 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.856 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.856 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.856 * [taylor]: Taking taylor expansion of im in re
4.856 * [backup-simplify]: Simplify im into im
4.856 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.856 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.856 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.856 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.856 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.856 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.856 * [taylor]: Taking taylor expansion of re in im
4.856 * [backup-simplify]: Simplify re into re
4.856 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.856 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.856 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.856 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.856 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.856 * [taylor]: Taking taylor expansion of im in im
4.856 * [backup-simplify]: Simplify 0 into 0
4.856 * [backup-simplify]: Simplify 1 into 1
4.857 * [backup-simplify]: Simplify (/ 1 1) into 1
4.857 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.857 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.857 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.857 * [backup-simplify]: Simplify (- 0) into 0
4.857 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.857 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.857 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.858 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.858 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.859 * [taylor]: Taking taylor expansion of 0 in im
4.859 * [backup-simplify]: Simplify 0 into 0
4.859 * [backup-simplify]: Simplify 0 into 0
4.859 * [backup-simplify]: Simplify (+ 0) into 0
4.859 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
4.859 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.860 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.860 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
4.860 * [backup-simplify]: Simplify (- 0) into 0
4.861 * [backup-simplify]: Simplify (+ 0 0) into 0
4.861 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.861 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.862 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.862 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.862 * [taylor]: Taking taylor expansion of 0 in im
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.863 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.864 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.864 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.864 * [backup-simplify]: Simplify (- 0) into 0
4.865 * [backup-simplify]: Simplify (+ 0 0) into 0
4.865 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.866 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.866 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.867 * [taylor]: Taking taylor expansion of 0 in im
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))) into (/ (cos re) (exp im))
4.867 * [backup-simplify]: Simplify (/ (cos (/ 1 (- re))) (exp (/ 1 (- im)))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.867 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in (re im) around 0
4.867 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.867 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.867 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.867 * [taylor]: Taking taylor expansion of -1 in im
4.867 * [backup-simplify]: Simplify -1 into -1
4.867 * [taylor]: Taking taylor expansion of re in im
4.867 * [backup-simplify]: Simplify re into re
4.867 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.867 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.867 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.867 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.867 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.867 * [taylor]: Taking taylor expansion of -1 in im
4.867 * [backup-simplify]: Simplify -1 into -1
4.867 * [taylor]: Taking taylor expansion of im in im
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 1 into 1
4.867 * [backup-simplify]: Simplify (/ -1 1) into -1
4.867 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.868 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.868 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.868 * [backup-simplify]: Simplify (- 0) into 0
4.868 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.868 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.868 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.868 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.868 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.868 * [taylor]: Taking taylor expansion of -1 in re
4.868 * [backup-simplify]: Simplify -1 into -1
4.868 * [taylor]: Taking taylor expansion of re in re
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 1 into 1
4.868 * [backup-simplify]: Simplify (/ -1 1) into -1
4.868 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.868 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.868 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.868 * [taylor]: Taking taylor expansion of -1 in re
4.868 * [backup-simplify]: Simplify -1 into -1
4.869 * [taylor]: Taking taylor expansion of im in re
4.869 * [backup-simplify]: Simplify im into im
4.869 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.869 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.869 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.869 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.869 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.869 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.869 * [taylor]: Taking taylor expansion of -1 in re
4.869 * [backup-simplify]: Simplify -1 into -1
4.869 * [taylor]: Taking taylor expansion of re in re
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 1 into 1
4.869 * [backup-simplify]: Simplify (/ -1 1) into -1
4.869 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.869 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.869 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.869 * [taylor]: Taking taylor expansion of -1 in re
4.869 * [backup-simplify]: Simplify -1 into -1
4.869 * [taylor]: Taking taylor expansion of im in re
4.869 * [backup-simplify]: Simplify im into im
4.869 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.869 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.869 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.869 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.869 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.870 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.870 * [taylor]: Taking taylor expansion of -1 in im
4.870 * [backup-simplify]: Simplify -1 into -1
4.870 * [taylor]: Taking taylor expansion of re in im
4.870 * [backup-simplify]: Simplify re into re
4.870 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.870 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.870 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.870 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.870 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.870 * [taylor]: Taking taylor expansion of -1 in im
4.870 * [backup-simplify]: Simplify -1 into -1
4.870 * [taylor]: Taking taylor expansion of im in im
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify 1 into 1
4.870 * [backup-simplify]: Simplify (/ -1 1) into -1
4.870 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.870 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.870 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.870 * [backup-simplify]: Simplify (- 0) into 0
4.871 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.871 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.871 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.871 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
4.871 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.872 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.872 * [taylor]: Taking taylor expansion of 0 in im
4.872 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify (+ 0) into 0
4.872 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
4.872 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
4.873 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.873 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
4.873 * [backup-simplify]: Simplify (- 0) into 0
4.873 * [backup-simplify]: Simplify (+ 0 0) into 0
4.874 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.874 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.875 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.875 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.875 * [taylor]: Taking taylor expansion of 0 in im
4.875 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.876 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.876 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.877 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.877 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.877 * [backup-simplify]: Simplify (- 0) into 0
4.877 * [backup-simplify]: Simplify (+ 0 0) into 0
4.878 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.878 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.879 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.879 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.879 * [taylor]: Taking taylor expansion of 0 in im
4.879 * [backup-simplify]: Simplify 0 into 0
4.879 * [backup-simplify]: Simplify 0 into 0
4.879 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))) into (/ (cos re) (exp im))
4.879 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.879 * [backup-simplify]: Simplify (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
4.879 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in (re im) around 0
4.879 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im
4.879 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
4.880 * [taylor]: Taking taylor expansion of 0.5 in im
4.880 * [backup-simplify]: Simplify 0.5 into 0.5
4.880 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
4.880 * [taylor]: Taking taylor expansion of (exp im) in im
4.880 * [taylor]: Taking taylor expansion of im in im
4.880 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify 1 into 1
4.880 * [backup-simplify]: Simplify (exp 0) into 1
4.880 * [taylor]: Taking taylor expansion of (cos re) in im
4.880 * [taylor]: Taking taylor expansion of re in im
4.880 * [backup-simplify]: Simplify re into re
4.880 * [backup-simplify]: Simplify (cos re) into (cos re)
4.880 * [backup-simplify]: Simplify (sin re) into (sin re)
4.880 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
4.880 * [taylor]: Taking taylor expansion of 0.5 in im
4.880 * [backup-simplify]: Simplify 0.5 into 0.5
4.880 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
4.880 * [taylor]: Taking taylor expansion of (cos re) in im
4.880 * [taylor]: Taking taylor expansion of re in im
4.880 * [backup-simplify]: Simplify re into re
4.880 * [backup-simplify]: Simplify (cos re) into (cos re)
4.880 * [backup-simplify]: Simplify (sin re) into (sin re)
4.880 * [taylor]: Taking taylor expansion of (exp im) in im
4.880 * [taylor]: Taking taylor expansion of im in im
4.880 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify 1 into 1
4.880 * [backup-simplify]: Simplify (exp 0) into 1
4.880 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
4.880 * [backup-simplify]: Simplify (* (sin re) 0) into 0
4.880 * [backup-simplify]: Simplify (- 0) into 0
4.880 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
4.880 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re)
4.880 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
4.880 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
4.880 * [taylor]: Taking taylor expansion of 0.5 in re
4.881 * [backup-simplify]: Simplify 0.5 into 0.5
4.881 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
4.881 * [taylor]: Taking taylor expansion of (exp im) in re
4.881 * [taylor]: Taking taylor expansion of im in re
4.881 * [backup-simplify]: Simplify im into im
4.881 * [backup-simplify]: Simplify (exp im) into (exp im)
4.881 * [taylor]: Taking taylor expansion of (cos re) in re
4.881 * [taylor]: Taking taylor expansion of re in re
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
4.881 * [taylor]: Taking taylor expansion of 0.5 in re
4.881 * [backup-simplify]: Simplify 0.5 into 0.5
4.881 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.881 * [taylor]: Taking taylor expansion of (cos re) in re
4.881 * [taylor]: Taking taylor expansion of re in re
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [taylor]: Taking taylor expansion of (exp im) in re
4.881 * [taylor]: Taking taylor expansion of im in re
4.881 * [backup-simplify]: Simplify im into im
4.881 * [backup-simplify]: Simplify (exp im) into (exp im)
4.881 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.881 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
4.881 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
4.881 * [taylor]: Taking taylor expansion of 0.5 in re
4.881 * [backup-simplify]: Simplify 0.5 into 0.5
4.881 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
4.881 * [taylor]: Taking taylor expansion of (exp im) in re
4.881 * [taylor]: Taking taylor expansion of im in re
4.881 * [backup-simplify]: Simplify im into im
4.881 * [backup-simplify]: Simplify (exp im) into (exp im)
4.881 * [taylor]: Taking taylor expansion of (cos re) in re
4.881 * [taylor]: Taking taylor expansion of re in re
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
4.881 * [taylor]: Taking taylor expansion of 0.5 in re
4.881 * [backup-simplify]: Simplify 0.5 into 0.5
4.881 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.881 * [taylor]: Taking taylor expansion of (cos re) in re
4.881 * [taylor]: Taking taylor expansion of re in re
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [taylor]: Taking taylor expansion of (exp im) in re
4.881 * [taylor]: Taking taylor expansion of im in re
4.881 * [backup-simplify]: Simplify im into im
4.881 * [backup-simplify]: Simplify (exp im) into (exp im)
4.881 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.881 * [backup-simplify]: Simplify (* (exp im) 1) into (exp im)
4.881 * [backup-simplify]: Simplify (* 0.5 (exp im)) into (* 0.5 (exp im))
4.882 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im))
4.882 * [backup-simplify]: Simplify (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
4.882 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im
4.882 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
4.882 * [taylor]: Taking taylor expansion of 0.5 in im
4.882 * [backup-simplify]: Simplify 0.5 into 0.5
4.882 * [taylor]: Taking taylor expansion of (exp im) in im
4.882 * [taylor]: Taking taylor expansion of im in im
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (exp 0) into 1
4.882 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
4.882 * [taylor]: Taking taylor expansion of 0.5 in im
4.882 * [backup-simplify]: Simplify 0.5 into 0.5
4.882 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.882 * [taylor]: Taking taylor expansion of (exp im) in im
4.882 * [taylor]: Taking taylor expansion of im in im
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (exp 0) into 1
4.882 * [backup-simplify]: Simplify (/ 1 1) into 1
4.882 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.883 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.883 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
4.883 * [backup-simplify]: Simplify 1.0 into 1.0
4.883 * [backup-simplify]: Simplify (+ 0) into 0
4.884 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
4.884 * [backup-simplify]: Simplify (+ (* (exp im) 0) (* 0 1)) into 0
4.884 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp im))) into 0
4.885 * [backup-simplify]: Simplify (+ 0) into 0
4.885 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
4.885 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
4.886 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0
4.886 * [backup-simplify]: Simplify (+ 0 0) into 0
4.886 * [taylor]: Taking taylor expansion of 0 in im
4.886 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.888 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
4.889 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.891 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
4.892 * [backup-simplify]: Simplify (+ 0.5 (- 0.5)) into 0
4.892 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.895 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.896 * [backup-simplify]: Simplify (+ (* (exp im) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp im)))
4.896 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (exp im)))) (+ (* 0 0) (* 0 (exp im)))) into (- (* 0.25 (exp im)))
4.897 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.899 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.899 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im))))
4.900 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im))))
4.900 * [backup-simplify]: Simplify (+ (- (* 0.25 (exp im))) (- (* 0.25 (/ 1 (exp im))))) into (- (+ (* 0.25 (exp im)) (* 0.25 (/ 1 (exp im)))))
4.900 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp im)) (* 0.25 (/ 1 (exp im))))) in im
4.900 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (/ 1 (exp im)))) in im
4.900 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
4.900 * [taylor]: Taking taylor expansion of 0.25 in im
4.900 * [backup-simplify]: Simplify 0.25 into 0.25
4.900 * [taylor]: Taking taylor expansion of (exp im) in im
4.900 * [taylor]: Taking taylor expansion of im in im
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 1 into 1
4.900 * [backup-simplify]: Simplify (exp 0) into 1
4.900 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im
4.900 * [taylor]: Taking taylor expansion of 0.25 in im
4.900 * [backup-simplify]: Simplify 0.25 into 0.25
4.900 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.900 * [taylor]: Taking taylor expansion of (exp im) in im
4.900 * [taylor]: Taking taylor expansion of im in im
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 1 into 1
4.901 * [backup-simplify]: Simplify (exp 0) into 1
4.901 * [backup-simplify]: Simplify (/ 1 1) into 1
4.901 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
4.902 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
4.902 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
4.903 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.903 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.903 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.907 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
4.911 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
4.915 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
4.915 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
4.915 * [backup-simplify]: Simplify 0.5 into 0.5
4.916 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* im 1) 2)) (+ (* (- 0.5) (pow (* 1 re) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
4.917 * [backup-simplify]: Simplify (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.5) (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))))
4.917 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in (re im) around 0
4.917 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im
4.917 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.917 * [taylor]: Taking taylor expansion of 0.5 in im
4.917 * [backup-simplify]: Simplify 0.5 into 0.5
4.917 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.917 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.917 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.917 * [taylor]: Taking taylor expansion of re in im
4.917 * [backup-simplify]: Simplify re into re
4.917 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.917 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.917 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.917 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.917 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.917 * [taylor]: Taking taylor expansion of im in im
4.917 * [backup-simplify]: Simplify 0 into 0
4.917 * [backup-simplify]: Simplify 1 into 1
4.918 * [backup-simplify]: Simplify (/ 1 1) into 1
4.918 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.918 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.918 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.918 * [backup-simplify]: Simplify (- 0) into 0
4.918 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.919 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.919 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.919 * [taylor]: Taking taylor expansion of 0.5 in im
4.919 * [backup-simplify]: Simplify 0.5 into 0.5
4.919 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
4.919 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.919 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.919 * [taylor]: Taking taylor expansion of re in im
4.919 * [backup-simplify]: Simplify re into re
4.919 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.919 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.919 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.919 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.919 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.919 * [taylor]: Taking taylor expansion of im in im
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 1 into 1
4.919 * [backup-simplify]: Simplify (/ 1 1) into 1
4.920 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.920 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re
4.920 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.920 * [taylor]: Taking taylor expansion of 0.5 in re
4.920 * [backup-simplify]: Simplify 0.5 into 0.5
4.920 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.920 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.920 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.920 * [taylor]: Taking taylor expansion of re in re
4.920 * [backup-simplify]: Simplify 0 into 0
4.920 * [backup-simplify]: Simplify 1 into 1
4.920 * [backup-simplify]: Simplify (/ 1 1) into 1
4.920 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.920 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.920 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.920 * [taylor]: Taking taylor expansion of im in re
4.920 * [backup-simplify]: Simplify im into im
4.920 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.921 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.921 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.921 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.921 * [taylor]: Taking taylor expansion of 0.5 in re
4.921 * [backup-simplify]: Simplify 0.5 into 0.5
4.921 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
4.921 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.921 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.921 * [taylor]: Taking taylor expansion of re in re
4.921 * [backup-simplify]: Simplify 0 into 0
4.921 * [backup-simplify]: Simplify 1 into 1
4.921 * [backup-simplify]: Simplify (/ 1 1) into 1
4.921 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.921 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.921 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.921 * [taylor]: Taking taylor expansion of im in re
4.921 * [backup-simplify]: Simplify im into im
4.922 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.922 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.922 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re
4.922 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.922 * [taylor]: Taking taylor expansion of 0.5 in re
4.922 * [backup-simplify]: Simplify 0.5 into 0.5
4.922 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.922 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.922 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.922 * [taylor]: Taking taylor expansion of re in re
4.922 * [backup-simplify]: Simplify 0 into 0
4.922 * [backup-simplify]: Simplify 1 into 1
4.922 * [backup-simplify]: Simplify (/ 1 1) into 1
4.922 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.922 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.922 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.922 * [taylor]: Taking taylor expansion of im in re
4.922 * [backup-simplify]: Simplify im into im
4.922 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.923 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.923 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.923 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.923 * [taylor]: Taking taylor expansion of 0.5 in re
4.923 * [backup-simplify]: Simplify 0.5 into 0.5
4.923 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
4.923 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.923 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.923 * [taylor]: Taking taylor expansion of re in re
4.923 * [backup-simplify]: Simplify 0 into 0
4.923 * [backup-simplify]: Simplify 1 into 1
4.923 * [backup-simplify]: Simplify (/ 1 1) into 1
4.923 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.923 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.923 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.923 * [taylor]: Taking taylor expansion of im in re
4.924 * [backup-simplify]: Simplify im into im
4.924 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.924 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.924 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
4.924 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
4.924 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.925 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))))
4.925 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im
4.925 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.925 * [taylor]: Taking taylor expansion of 0.5 in im
4.925 * [backup-simplify]: Simplify 0.5 into 0.5
4.925 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.925 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.925 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.925 * [taylor]: Taking taylor expansion of re in im
4.925 * [backup-simplify]: Simplify re into re
4.925 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.925 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.925 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.925 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.925 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.925 * [taylor]: Taking taylor expansion of im in im
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 1 into 1
4.926 * [backup-simplify]: Simplify (/ 1 1) into 1
4.926 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.926 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.926 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.926 * [backup-simplify]: Simplify (- 0) into 0
4.926 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.926 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.927 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.927 * [taylor]: Taking taylor expansion of 0.5 in im
4.927 * [backup-simplify]: Simplify 0.5 into 0.5
4.927 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
4.927 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.927 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.927 * [taylor]: Taking taylor expansion of re in im
4.927 * [backup-simplify]: Simplify re into re
4.927 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.927 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.927 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.927 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.927 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.927 * [taylor]: Taking taylor expansion of im in im
4.927 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify 1 into 1
4.927 * [backup-simplify]: Simplify (/ 1 1) into 1
4.927 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.928 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
4.928 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.928 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.928 * [backup-simplify]: Simplify (- 0) into 0
4.928 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.928 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
4.929 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.929 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))))
4.929 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))))
4.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.931 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.931 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.932 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.933 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.933 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
4.933 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.934 * [backup-simplify]: Simplify (+ 0 0) into 0
4.934 * [taylor]: Taking taylor expansion of 0 in im
4.934 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify (+ 0) into 0
4.935 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
4.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.935 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.936 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
4.936 * [backup-simplify]: Simplify (- 0) into 0
4.936 * [backup-simplify]: Simplify (+ 0 0) into 0
4.936 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.937 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.937 * [backup-simplify]: Simplify (+ 0) into 0
4.937 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
4.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.938 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.938 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
4.938 * [backup-simplify]: Simplify (- 0) into 0
4.939 * [backup-simplify]: Simplify (+ 0 0) into 0
4.939 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
4.939 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.939 * [backup-simplify]: Simplify (+ 0 0) into 0
4.939 * [backup-simplify]: Simplify 0 into 0
4.940 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.940 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.941 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.941 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.942 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.943 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
4.944 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.944 * [backup-simplify]: Simplify (+ 0 0) into 0
4.944 * [taylor]: Taking taylor expansion of 0 in im
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 0 into 0
4.945 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.945 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.945 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.946 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.946 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.946 * [backup-simplify]: Simplify (- 0) into 0
4.947 * [backup-simplify]: Simplify (+ 0 0) into 0
4.947 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.947 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.948 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.949 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.949 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.950 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.950 * [backup-simplify]: Simplify (- 0) into 0
4.950 * [backup-simplify]: Simplify (+ 0 0) into 0
4.950 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
4.951 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.951 * [backup-simplify]: Simplify (+ 0 0) into 0
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.952 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.953 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
4.954 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
4.954 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.955 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.955 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
4.956 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
4.956 * [backup-simplify]: Simplify (+ 0 0) into 0
4.956 * [taylor]: Taking taylor expansion of 0 in im
4.956 * [backup-simplify]: Simplify 0 into 0
4.956 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
4.957 * [backup-simplify]: Simplify (+ (* (/ (cos (/ 1 (- re))) (exp (/ 1 (- im)))) 0.5) (* (exp (/ 1 (- im))) (* 0.5 (cos (/ 1 (- re)))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))))
4.957 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in (re im) around 0
4.957 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im
4.957 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.957 * [taylor]: Taking taylor expansion of 0.5 in im
4.957 * [backup-simplify]: Simplify 0.5 into 0.5
4.957 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.957 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.957 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.957 * [taylor]: Taking taylor expansion of -1 in im
4.957 * [backup-simplify]: Simplify -1 into -1
4.957 * [taylor]: Taking taylor expansion of re in im
4.957 * [backup-simplify]: Simplify re into re
4.957 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.957 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.957 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.957 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.957 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.957 * [taylor]: Taking taylor expansion of -1 in im
4.957 * [backup-simplify]: Simplify -1 into -1
4.957 * [taylor]: Taking taylor expansion of im in im
4.957 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify 1 into 1
4.958 * [backup-simplify]: Simplify (/ -1 1) into -1
4.958 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.958 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.958 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.958 * [backup-simplify]: Simplify (- 0) into 0
4.958 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.958 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.958 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.958 * [taylor]: Taking taylor expansion of 0.5 in im
4.958 * [backup-simplify]: Simplify 0.5 into 0.5
4.958 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
4.958 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.958 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.958 * [taylor]: Taking taylor expansion of -1 in im
4.958 * [backup-simplify]: Simplify -1 into -1
4.958 * [taylor]: Taking taylor expansion of re in im
4.958 * [backup-simplify]: Simplify re into re
4.958 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.959 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.959 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.959 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.959 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.959 * [taylor]: Taking taylor expansion of -1 in im
4.959 * [backup-simplify]: Simplify -1 into -1
4.959 * [taylor]: Taking taylor expansion of im in im
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify 1 into 1
4.959 * [backup-simplify]: Simplify (/ -1 1) into -1
4.959 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.959 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re
4.959 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.959 * [taylor]: Taking taylor expansion of 0.5 in re
4.959 * [backup-simplify]: Simplify 0.5 into 0.5
4.959 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.959 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.959 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.959 * [taylor]: Taking taylor expansion of -1 in re
4.959 * [backup-simplify]: Simplify -1 into -1
4.959 * [taylor]: Taking taylor expansion of re in re
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify 1 into 1
4.959 * [backup-simplify]: Simplify (/ -1 1) into -1
4.960 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.960 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.960 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.960 * [taylor]: Taking taylor expansion of -1 in re
4.960 * [backup-simplify]: Simplify -1 into -1
4.960 * [taylor]: Taking taylor expansion of im in re
4.960 * [backup-simplify]: Simplify im into im
4.960 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.960 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.960 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.960 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.960 * [taylor]: Taking taylor expansion of 0.5 in re
4.960 * [backup-simplify]: Simplify 0.5 into 0.5
4.960 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
4.960 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.960 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.960 * [taylor]: Taking taylor expansion of -1 in re
4.960 * [backup-simplify]: Simplify -1 into -1
4.960 * [taylor]: Taking taylor expansion of re in re
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 1 into 1
4.960 * [backup-simplify]: Simplify (/ -1 1) into -1
4.960 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.960 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.960 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.960 * [taylor]: Taking taylor expansion of -1 in re
4.960 * [backup-simplify]: Simplify -1 into -1
4.960 * [taylor]: Taking taylor expansion of im in re
4.960 * [backup-simplify]: Simplify im into im
4.960 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.961 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.961 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re
4.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.961 * [taylor]: Taking taylor expansion of 0.5 in re
4.961 * [backup-simplify]: Simplify 0.5 into 0.5
4.961 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.961 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.961 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.961 * [taylor]: Taking taylor expansion of -1 in re
4.961 * [backup-simplify]: Simplify -1 into -1
4.961 * [taylor]: Taking taylor expansion of re in re
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 1 into 1
4.961 * [backup-simplify]: Simplify (/ -1 1) into -1
4.961 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.961 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.961 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.961 * [taylor]: Taking taylor expansion of -1 in re
4.961 * [backup-simplify]: Simplify -1 into -1
4.961 * [taylor]: Taking taylor expansion of im in re
4.961 * [backup-simplify]: Simplify im into im
4.961 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.961 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.961 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.961 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.961 * [taylor]: Taking taylor expansion of 0.5 in re
4.961 * [backup-simplify]: Simplify 0.5 into 0.5
4.961 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
4.961 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.961 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.961 * [taylor]: Taking taylor expansion of -1 in re
4.961 * [backup-simplify]: Simplify -1 into -1
4.961 * [taylor]: Taking taylor expansion of re in re
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 1 into 1
4.962 * [backup-simplify]: Simplify (/ -1 1) into -1
4.962 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.962 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.962 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.962 * [taylor]: Taking taylor expansion of -1 in re
4.962 * [backup-simplify]: Simplify -1 into -1
4.962 * [taylor]: Taking taylor expansion of im in re
4.962 * [backup-simplify]: Simplify im into im
4.962 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.962 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.962 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
4.962 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
4.962 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
4.963 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))))
4.963 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im
4.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.963 * [taylor]: Taking taylor expansion of 0.5 in im
4.963 * [backup-simplify]: Simplify 0.5 into 0.5
4.963 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.963 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.963 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.963 * [taylor]: Taking taylor expansion of -1 in im
4.963 * [backup-simplify]: Simplify -1 into -1
4.963 * [taylor]: Taking taylor expansion of re in im
4.963 * [backup-simplify]: Simplify re into re
4.963 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.963 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.963 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.963 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.963 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.963 * [taylor]: Taking taylor expansion of -1 in im
4.963 * [backup-simplify]: Simplify -1 into -1
4.963 * [taylor]: Taking taylor expansion of im in im
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 1 into 1
4.964 * [backup-simplify]: Simplify (/ -1 1) into -1
4.964 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.964 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.964 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.965 * [backup-simplify]: Simplify (- 0) into 0
4.965 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.965 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.965 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.965 * [taylor]: Taking taylor expansion of 0.5 in im
4.965 * [backup-simplify]: Simplify 0.5 into 0.5
4.965 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
4.965 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.965 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.965 * [taylor]: Taking taylor expansion of -1 in im
4.965 * [backup-simplify]: Simplify -1 into -1
4.965 * [taylor]: Taking taylor expansion of re in im
4.965 * [backup-simplify]: Simplify re into re
4.966 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.966 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.966 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.966 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.966 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.966 * [taylor]: Taking taylor expansion of -1 in im
4.966 * [backup-simplify]: Simplify -1 into -1
4.966 * [taylor]: Taking taylor expansion of im in im
4.966 * [backup-simplify]: Simplify 0 into 0
4.966 * [backup-simplify]: Simplify 1 into 1
4.967 * [backup-simplify]: Simplify (/ -1 1) into -1
4.967 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.967 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
4.967 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.967 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.967 * [backup-simplify]: Simplify (- 0) into 0
4.968 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.968 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
4.968 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
4.968 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))))
4.969 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))))
4.969 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
4.970 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.970 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.971 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
4.971 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
4.972 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.972 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
4.972 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
4.973 * [backup-simplify]: Simplify (+ 0 0) into 0
4.973 * [taylor]: Taking taylor expansion of 0 in im
4.973 * [backup-simplify]: Simplify 0 into 0
4.973 * [backup-simplify]: Simplify 0 into 0
4.973 * [backup-simplify]: Simplify (+ 0) into 0
4.974 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
4.974 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
4.975 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.975 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
4.975 * [backup-simplify]: Simplify (- 0) into 0
4.975 * [backup-simplify]: Simplify (+ 0 0) into 0
4.976 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.976 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
4.976 * [backup-simplify]: Simplify (+ 0) into 0
4.977 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
4.977 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
4.977 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.978 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
4.978 * [backup-simplify]: Simplify (- 0) into 0
4.978 * [backup-simplify]: Simplify (+ 0 0) into 0
4.978 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
4.979 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
4.979 * [backup-simplify]: Simplify (+ 0 0) into 0
4.979 * [backup-simplify]: Simplify 0 into 0
4.979 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.980 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.980 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.981 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.981 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.982 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.982 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
4.983 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.983 * [backup-simplify]: Simplify (+ 0 0) into 0
4.983 * [taylor]: Taking taylor expansion of 0 in im
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.984 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.984 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.984 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.985 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.985 * [backup-simplify]: Simplify (- 0) into 0
4.985 * [backup-simplify]: Simplify (+ 0 0) into 0
4.985 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.986 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.987 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.987 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.987 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.988 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.988 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.988 * [backup-simplify]: Simplify (- 0) into 0
4.988 * [backup-simplify]: Simplify (+ 0 0) into 0
4.989 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
4.989 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.990 * [backup-simplify]: Simplify (+ 0 0) into 0
4.990 * [backup-simplify]: Simplify 0 into 0
4.990 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.991 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.991 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
4.992 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
4.992 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.993 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.994 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0
4.994 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
4.995 * [backup-simplify]: Simplify (+ 0 0) into 0
4.995 * [taylor]: Taking taylor expansion of 0 in im
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
4.995 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
4.995 * [backup-simplify]: Simplify (* (exp im) (* 0.5 (cos re))) into (* 0.5 (* (exp im) (cos re)))
4.995 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in (im re) around 0
4.995 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
4.995 * [taylor]: Taking taylor expansion of 0.5 in re
4.995 * [backup-simplify]: Simplify 0.5 into 0.5
4.995 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
4.995 * [taylor]: Taking taylor expansion of (exp im) in re
4.995 * [taylor]: Taking taylor expansion of im in re
4.995 * [backup-simplify]: Simplify im into im
4.995 * [backup-simplify]: Simplify (exp im) into (exp im)
4.995 * [taylor]: Taking taylor expansion of (cos re) in re
4.995 * [taylor]: Taking taylor expansion of re in re
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify 1 into 1
4.995 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
4.995 * [taylor]: Taking taylor expansion of 0.5 in im
4.995 * [backup-simplify]: Simplify 0.5 into 0.5
4.995 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
4.995 * [taylor]: Taking taylor expansion of (exp im) in im
4.995 * [taylor]: Taking taylor expansion of im in im
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify 1 into 1
4.995 * [backup-simplify]: Simplify (exp 0) into 1
4.995 * [taylor]: Taking taylor expansion of (cos re) in im
4.996 * [taylor]: Taking taylor expansion of re in im
4.996 * [backup-simplify]: Simplify re into re
4.996 * [backup-simplify]: Simplify (cos re) into (cos re)
4.996 * [backup-simplify]: Simplify (sin re) into (sin re)
4.996 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
4.996 * [taylor]: Taking taylor expansion of 0.5 in im
4.996 * [backup-simplify]: Simplify 0.5 into 0.5
4.996 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
4.996 * [taylor]: Taking taylor expansion of (exp im) in im
4.996 * [taylor]: Taking taylor expansion of im in im
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 1 into 1
4.996 * [backup-simplify]: Simplify (exp 0) into 1
4.996 * [taylor]: Taking taylor expansion of (cos re) in im
4.996 * [taylor]: Taking taylor expansion of re in im
4.996 * [backup-simplify]: Simplify re into re
4.996 * [backup-simplify]: Simplify (cos re) into (cos re)
4.996 * [backup-simplify]: Simplify (sin re) into (sin re)
4.996 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
4.996 * [backup-simplify]: Simplify (* (sin re) 0) into 0
4.996 * [backup-simplify]: Simplify (- 0) into 0
4.996 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
4.996 * [backup-simplify]: Simplify (* 1 (cos re)) into (cos re)
4.996 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re))
4.996 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re
4.996 * [taylor]: Taking taylor expansion of 0.5 in re
4.996 * [backup-simplify]: Simplify 0.5 into 0.5
4.996 * [taylor]: Taking taylor expansion of (cos re) in re
4.996 * [taylor]: Taking taylor expansion of re in re
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 1 into 1
4.997 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.997 * [backup-simplify]: Simplify 0.5 into 0.5
4.997 * [backup-simplify]: Simplify (+ 0) into 0
4.997 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0
4.998 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.998 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0
4.998 * [backup-simplify]: Simplify (- 0) into 0
4.999 * [backup-simplify]: Simplify (+ 0 0) into 0
5.000 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos re))) into (cos re)
5.000 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0 (cos re))) into (* 0.5 (cos re))
5.000 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re
5.000 * [taylor]: Taking taylor expansion of 0.5 in re
5.001 * [backup-simplify]: Simplify 0.5 into 0.5
5.001 * [taylor]: Taking taylor expansion of (cos re) in re
5.001 * [taylor]: Taking taylor expansion of re in re
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify 1 into 1
5.001 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.001 * [backup-simplify]: Simplify 0.5 into 0.5
5.001 * [backup-simplify]: Simplify (+ 0) into 0
5.002 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
5.002 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.004 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0
5.005 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.005 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0
5.006 * [backup-simplify]: Simplify (- 0) into 0
5.006 * [backup-simplify]: Simplify (+ 0 0) into 0
5.008 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos re)))) into (* 1/2 (cos re))
5.009 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (cos re)) (* 0 (cos re)))) into (* 0.25 (cos re))
5.009 * [taylor]: Taking taylor expansion of (* 0.25 (cos re)) in re
5.009 * [taylor]: Taking taylor expansion of 0.25 in re
5.009 * [backup-simplify]: Simplify 0.25 into 0.25
5.009 * [taylor]: Taking taylor expansion of (cos re) in re
5.009 * [taylor]: Taking taylor expansion of re in re
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 1 into 1
5.010 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
5.010 * [backup-simplify]: Simplify 0.25 into 0.25
5.011 * [backup-simplify]: Simplify (+ (* 0.25 (pow (* 1 im) 2)) (+ (* 0.5 (* 1 im)) 0.5)) into (+ (* 0.25 (pow im 2)) (+ (* 0.5 im) 0.5))
5.011 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
5.011 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0
5.011 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
5.011 * [taylor]: Taking taylor expansion of 0.5 in re
5.011 * [backup-simplify]: Simplify 0.5 into 0.5
5.011 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
5.011 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
5.011 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.011 * [taylor]: Taking taylor expansion of re in re
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 1 into 1
5.012 * [backup-simplify]: Simplify (/ 1 1) into 1
5.012 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.012 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.012 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.012 * [taylor]: Taking taylor expansion of im in re
5.012 * [backup-simplify]: Simplify im into im
5.012 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.012 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.012 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
5.012 * [taylor]: Taking taylor expansion of 0.5 in im
5.012 * [backup-simplify]: Simplify 0.5 into 0.5
5.012 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
5.012 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
5.012 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.012 * [taylor]: Taking taylor expansion of re in im
5.012 * [backup-simplify]: Simplify re into re
5.012 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.012 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.012 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.012 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.012 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.012 * [taylor]: Taking taylor expansion of im in im
5.012 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify 1 into 1
5.013 * [backup-simplify]: Simplify (/ 1 1) into 1
5.013 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.013 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
5.013 * [taylor]: Taking taylor expansion of 0.5 in im
5.013 * [backup-simplify]: Simplify 0.5 into 0.5
5.013 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
5.013 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
5.013 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.013 * [taylor]: Taking taylor expansion of re in im
5.013 * [backup-simplify]: Simplify re into re
5.013 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.013 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.013 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.013 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.014 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.014 * [taylor]: Taking taylor expansion of im in im
5.014 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify 1 into 1
5.014 * [backup-simplify]: Simplify (/ 1 1) into 1
5.014 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.014 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
5.014 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
5.015 * [backup-simplify]: Simplify (- 0) into 0
5.015 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
5.015 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
5.015 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
5.015 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
5.015 * [taylor]: Taking taylor expansion of 0.5 in re
5.015 * [backup-simplify]: Simplify 0.5 into 0.5
5.015 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
5.015 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
5.015 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.015 * [taylor]: Taking taylor expansion of re in re
5.015 * [backup-simplify]: Simplify 0 into 0
5.015 * [backup-simplify]: Simplify 1 into 1
5.016 * [backup-simplify]: Simplify (/ 1 1) into 1
5.016 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.016 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.016 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.016 * [taylor]: Taking taylor expansion of im in re
5.016 * [backup-simplify]: Simplify im into im
5.016 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.016 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.017 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
5.017 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
5.017 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
5.017 * [backup-simplify]: Simplify (+ 0) into 0
5.018 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
5.018 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
5.019 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.019 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
5.020 * [backup-simplify]: Simplify (- 0) into 0
5.020 * [backup-simplify]: Simplify (+ 0 0) into 0
5.020 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
5.021 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
5.021 * [taylor]: Taking taylor expansion of 0 in re
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.022 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.022 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
5.023 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
5.023 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.025 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.026 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.026 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.027 * [backup-simplify]: Simplify (- 0) into 0
5.027 * [backup-simplify]: Simplify (+ 0 0) into 0
5.028 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
5.029 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
5.029 * [taylor]: Taking taylor expansion of 0 in re
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.030 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.031 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
5.032 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
5.032 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.034 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.038 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.039 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.039 * [backup-simplify]: Simplify (- 0) into 0
5.039 * [backup-simplify]: Simplify (+ 0 0) into 0
5.040 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
5.042 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
5.042 * [taylor]: Taking taylor expansion of 0 in re
5.042 * [backup-simplify]: Simplify 0 into 0
5.042 * [backup-simplify]: Simplify 0 into 0
5.042 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (exp im) (cos re)))
5.042 * [backup-simplify]: Simplify (* (exp (/ 1 (- im))) (* 0.5 (cos (/ 1 (- re))))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.042 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in (im re) around 0
5.042 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
5.042 * [taylor]: Taking taylor expansion of 0.5 in re
5.042 * [backup-simplify]: Simplify 0.5 into 0.5
5.042 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
5.042 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
5.042 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.042 * [taylor]: Taking taylor expansion of -1 in re
5.043 * [backup-simplify]: Simplify -1 into -1
5.043 * [taylor]: Taking taylor expansion of re in re
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.043 * [backup-simplify]: Simplify (/ -1 1) into -1
5.043 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.043 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
5.043 * [taylor]: Taking taylor expansion of (/ -1 im) in re
5.043 * [taylor]: Taking taylor expansion of -1 in re
5.043 * [backup-simplify]: Simplify -1 into -1
5.043 * [taylor]: Taking taylor expansion of im in re
5.043 * [backup-simplify]: Simplify im into im
5.043 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
5.043 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.043 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
5.044 * [taylor]: Taking taylor expansion of 0.5 in im
5.044 * [backup-simplify]: Simplify 0.5 into 0.5
5.044 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
5.044 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
5.044 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.044 * [taylor]: Taking taylor expansion of -1 in im
5.044 * [backup-simplify]: Simplify -1 into -1
5.044 * [taylor]: Taking taylor expansion of re in im
5.044 * [backup-simplify]: Simplify re into re
5.044 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.044 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.044 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.044 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
5.044 * [taylor]: Taking taylor expansion of (/ -1 im) in im
5.044 * [taylor]: Taking taylor expansion of -1 in im
5.044 * [backup-simplify]: Simplify -1 into -1
5.044 * [taylor]: Taking taylor expansion of im in im
5.044 * [backup-simplify]: Simplify 0 into 0
5.044 * [backup-simplify]: Simplify 1 into 1
5.045 * [backup-simplify]: Simplify (/ -1 1) into -1
5.045 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.045 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
5.045 * [taylor]: Taking taylor expansion of 0.5 in im
5.045 * [backup-simplify]: Simplify 0.5 into 0.5
5.045 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
5.045 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
5.045 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.045 * [taylor]: Taking taylor expansion of -1 in im
5.045 * [backup-simplify]: Simplify -1 into -1
5.045 * [taylor]: Taking taylor expansion of re in im
5.045 * [backup-simplify]: Simplify re into re
5.045 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.045 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.045 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.045 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
5.045 * [taylor]: Taking taylor expansion of (/ -1 im) in im
5.045 * [taylor]: Taking taylor expansion of -1 in im
5.045 * [backup-simplify]: Simplify -1 into -1
5.045 * [taylor]: Taking taylor expansion of im in im
5.045 * [backup-simplify]: Simplify 0 into 0
5.045 * [backup-simplify]: Simplify 1 into 1
5.046 * [backup-simplify]: Simplify (/ -1 1) into -1
5.046 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.046 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
5.046 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
5.047 * [backup-simplify]: Simplify (- 0) into 0
5.047 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
5.047 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
5.047 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.047 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
5.047 * [taylor]: Taking taylor expansion of 0.5 in re
5.047 * [backup-simplify]: Simplify 0.5 into 0.5
5.047 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
5.047 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
5.047 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.047 * [taylor]: Taking taylor expansion of -1 in re
5.047 * [backup-simplify]: Simplify -1 into -1
5.047 * [taylor]: Taking taylor expansion of re in re
5.047 * [backup-simplify]: Simplify 0 into 0
5.047 * [backup-simplify]: Simplify 1 into 1
5.048 * [backup-simplify]: Simplify (/ -1 1) into -1
5.048 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.048 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
5.048 * [taylor]: Taking taylor expansion of (/ -1 im) in re
5.048 * [taylor]: Taking taylor expansion of -1 in re
5.048 * [backup-simplify]: Simplify -1 into -1
5.048 * [taylor]: Taking taylor expansion of im in re
5.048 * [backup-simplify]: Simplify im into im
5.048 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
5.048 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.048 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
5.049 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.049 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.049 * [backup-simplify]: Simplify (+ 0) into 0
5.050 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
5.050 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
5.051 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.051 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
5.052 * [backup-simplify]: Simplify (- 0) into 0
5.052 * [backup-simplify]: Simplify (+ 0 0) into 0
5.052 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
5.053 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
5.053 * [taylor]: Taking taylor expansion of 0 in re
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
5.054 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.054 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
5.055 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
5.055 * [backup-simplify]: Simplify 0 into 0
5.056 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.057 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.057 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.058 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.058 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.059 * [backup-simplify]: Simplify (- 0) into 0
5.059 * [backup-simplify]: Simplify (+ 0 0) into 0
5.059 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
5.060 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
5.060 * [taylor]: Taking taylor expansion of 0 in re
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.061 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.061 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
5.062 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
5.062 * [backup-simplify]: Simplify 0 into 0
5.063 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.063 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.063 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.064 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.065 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.065 * [backup-simplify]: Simplify (- 0) into 0
5.065 * [backup-simplify]: Simplify (+ 0 0) into 0
5.066 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0
5.067 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
5.067 * [taylor]: Taking taylor expansion of 0 in re
5.067 * [backup-simplify]: Simplify 0 into 0
5.067 * [backup-simplify]: Simplify 0 into 0
5.067 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (* (exp im) (cos re)))
5.067 * * * [progress]: simplifying candidates
5.068 * [simplify]: Simplifying:
  (- (log (cos re)) im)
  (log (/ (cos re) (exp im)))
  (exp (/ (cos re) (exp im)))
  (/ (* (* (cos re) (cos re)) (cos re)) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (/ (cos re) (exp im))) (cbrt (/ (cos re) (exp im))))
  (cbrt (/ (cos re) (exp im)))
  (* (* (/ (cos re) (exp im)) (/ (cos re) (exp im))) (/ (cos re) (exp im)))
  (sqrt (/ (cos re) (exp im)))
  (sqrt (/ (cos re) (exp im)))
  (- (cos re))
  (- (exp im))
  (/ (* (cbrt (cos re)) (cbrt (cos re))) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cbrt (cos re)) (cbrt (exp im)))
  (/ (* (cbrt (cos re)) (cbrt (cos re))) (sqrt (exp im)))
  (/ (cbrt (cos re)) (sqrt (exp im)))
  (/ (* (cbrt (cos re)) (cbrt (cos re))) 1)
  (/ (cbrt (cos re)) (exp im))
  (/ (sqrt (cos re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (sqrt (cos re)) (cbrt (exp im)))
  (/ (sqrt (cos re)) (sqrt (exp im)))
  (/ (sqrt (cos re)) (sqrt (exp im)))
  (/ (sqrt (cos re)) 1)
  (/ (sqrt (cos re)) (exp im))
  (/ 1 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cos re) (cbrt (exp im)))
  (/ 1 (sqrt (exp im)))
  (/ (cos re) (sqrt (exp im)))
  (/ 1 1)
  (/ (cos re) (exp im))
  (/ 1 (exp im))
  (/ (exp im) (cos re))
  (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cos re) (sqrt (exp im)))
  (/ (cos re) 1)
  (/ (exp im) (cbrt (cos re)))
  (/ (exp im) (sqrt (cos re)))
  (/ (exp im) (cos re))
  (* (exp (* (/ (cos re) (exp im)) 0.5)) (exp (* (exp im) (* 0.5 (cos re)))))
  (log (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))))
  (exp (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))))
  (* (cbrt (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))) (cbrt (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))))
  (cbrt (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))))
  (* (* (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))) (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))) (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))))
  (sqrt (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))))
  (sqrt (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re)))))
  (+ (pow (* (/ (cos re) (exp im)) 0.5) 3) (pow (* (exp im) (* 0.5 (cos re))) 3))
  (+ (* (* (/ (cos re) (exp im)) 0.5) (* (/ (cos re) (exp im)) 0.5)) (- (* (* (exp im) (* 0.5 (cos re))) (* (exp im) (* 0.5 (cos re)))) (* (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))))
  (- (* (* (/ (cos re) (exp im)) 0.5) (* (/ (cos re) (exp im)) 0.5)) (* (* (exp im) (* 0.5 (cos re))) (* (exp im) (* 0.5 (cos re)))))
  (- (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))
  (* (exp im) (* 0.5 (cos re)))
  (* (exp im) (* 0.5 (cos re)))
  (+ im (+ (log 0.5) (log (cos re))))
  (+ im (log (* 0.5 (cos re))))
  (log (* (exp im) (* 0.5 (cos re))))
  (exp (* (exp im) (* 0.5 (cos re))))
  (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))))
  (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))))
  (* (cbrt (* (exp im) (* 0.5 (cos re)))) (cbrt (* (exp im) (* 0.5 (cos re)))))
  (cbrt (* (exp im) (* 0.5 (cos re))))
  (* (* (* (exp im) (* 0.5 (cos re))) (* (exp im) (* 0.5 (cos re)))) (* (exp im) (* 0.5 (cos re))))
  (sqrt (* (exp im) (* 0.5 (cos re))))
  (sqrt (* (exp im) (* 0.5 (cos re))))
  (* (exp im) 0.5)
  (* (cbrt (exp im)) (* 0.5 (cos re)))
  (* (sqrt (exp im)) (* 0.5 (cos re)))
  (* (exp im) (* 0.5 (cos re)))
  (- 1 (+ (* 1/2 (pow re 2)) im))
  (/ (cos re) (exp im))
  (/ (cos re) (exp im))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
  (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
  (+ (* 0.25 (pow im 2)) (+ (* 0.5 im) 0.5))
  (* 0.5 (* (exp im) (cos re)))
  (* 0.5 (* (exp im) (cos re)))
5.069 * * [simplify]: iteration 0: 117 enodes
5.094 * * [simplify]: iteration 1: 298 enodes
5.237 * * [simplify]: iteration 2: 1263 enodes
5.895 * * [simplify]: iteration complete: 5000 enodes
5.896 * * [simplify]: Extracting #0: cost 55 inf + 0
5.898 * * [simplify]: Extracting #1: cost 531 inf + 1
5.908 * * [simplify]: Extracting #2: cost 1478 inf + 87
5.921 * * [simplify]: Extracting #3: cost 1267 inf + 3695
5.934 * * [simplify]: Extracting #4: cost 334 inf + 14306
5.946 * * [simplify]: Extracting #5: cost 13 inf + 20690
5.963 * * [simplify]: Extracting #6: cost 0 inf + 20959
5.973 * [simplify]: Simplified to:
  (- (log (cos re)) im)
  (- (log (cos re)) im)
  (exp (/ (cos re) (exp im)))
  (pow (/ (cos re) (exp im)) 3)
  (* (cbrt (/ (cos re) (exp im))) (cbrt (/ (cos re) (exp im))))
  (cbrt (/ (cos re) (exp im)))
  (pow (/ (cos re) (exp im)) 3)
  (sqrt (/ (cos re) (exp im)))
  (sqrt (/ (cos re) (exp im)))
  (- (cos re))
  (- (exp im))
  (/ (/ (* (cbrt (cos re)) (cbrt (cos re))) (cbrt (exp im))) (cbrt (exp im)))
  (/ (cbrt (cos re)) (cbrt (exp im)))
  (/ (* (cbrt (cos re)) (cbrt (cos re))) (sqrt (exp im)))
  (/ (cbrt (cos re)) (sqrt (exp im)))
  (* (cbrt (cos re)) (cbrt (cos re)))
  (/ (cbrt (cos re)) (exp im))
  (/ (/ (sqrt (cos re)) (cbrt (exp im))) (cbrt (exp im)))
  (/ (sqrt (cos re)) (cbrt (exp im)))
  (/ (sqrt (cos re)) (sqrt (exp im)))
  (/ (sqrt (cos re)) (sqrt (exp im)))
  (sqrt (cos re))
  (/ (sqrt (cos re)) (exp im))
  (/ 1 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cos re) (cbrt (exp im)))
  (/ 1 (sqrt (exp im)))
  (/ (cos re) (sqrt (exp im)))
  1
  (/ (cos re) (exp im))
  (exp (- im))
  (/ (exp im) (cos re))
  (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cos re) (sqrt (exp im)))
  (cos re)
  (/ (exp im) (cbrt (cos re)))
  (/ (exp im) (sqrt (cos re)))
  (/ (exp im) (cos re))
  (pow (exp 0.5) (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (log (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im)))))
  (pow (exp 0.5) (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (* (cbrt (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))) (cbrt (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))))
  (cbrt (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im)))))
  (pow (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im)))) 3)
  (sqrt (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im)))))
  (sqrt (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im)))))
  (* (pow 0.5 3) (+ (pow (* (cos re) (exp im)) 3) (pow (/ (cos re) (exp im)) 3)))
  (* 0.5 (+ (* (* (cos re) (exp im)) (* 0.5 (- (* (cos re) (exp im)) (/ (cos re) (exp im))))) (* 0.5 (/ (cos re) (/ (pow (exp 2) im) (cos re))))))
  (* (* 0.5 0.5) (- (/ (cos re) (/ (pow (exp 2) im) (cos re))) (* (* (cos re) (exp im)) (* (cos re) (exp im)))))
  (* 0.5 (- (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (* 0.5 (* (cos re) (exp im)))
  (* 0.5 (* (cos re) (exp im)))
  (+ im (log (* (cos re) 0.5)))
  (+ im (log (* (cos re) 0.5)))
  (+ im (log (* (cos re) 0.5)))
  (pow (exp (* 0.5 (cos re))) (exp im))
  (pow (* 0.5 (* (cos re) (exp im))) 3)
  (pow (* 0.5 (* (cos re) (exp im))) 3)
  (* (cbrt (* 0.5 (* (cos re) (exp im)))) (cbrt (* 0.5 (* (cos re) (exp im)))))
  (cbrt (* 0.5 (* (cos re) (exp im))))
  (pow (* 0.5 (* (cos re) (exp im))) 3)
  (sqrt (* 0.5 (* (cos re) (exp im))))
  (sqrt (* 0.5 (* (cos re) (exp im))))
  (* (exp im) 0.5)
  (* (cbrt (exp im)) (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (sqrt (exp im)))
  (* 0.5 (* (cos re) (exp im)))
  (- 1 (+ im (* (* re re) 1/2)))
  (/ (cos re) (exp im))
  (/ (cos re) (exp im))
  (+ 1.0 (* 0.5 (- (pow im 2) (pow re 2))))
  (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (+ (* im (+ 0.5 (* im 0.25))) 0.5)
  (* 0.5 (* (cos re) (exp im)))
  (* 0.5 (* (cos re) (exp im)))
5.973 * * * [progress]: adding candidates to table
6.301 * [progress]: [Phase 3 of 3] Extracting.
6.306 * [simplify]: Simplifying:
  (+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))
6.306 * * [simplify]: iteration 0: 10 enodes
6.306 * * [simplify]: iteration 1: 14 enodes
6.307 * * [simplify]: iteration complete: 14 enodes
6.307 * * [simplify]: Extracting #0: cost 1 inf + 0
6.307 * * [simplify]: Extracting #1: cost 3 inf + 0
6.307 * * [simplify]: Extracting #2: cost 7 inf + 0
6.307 * * [simplify]: Extracting #3: cost 8 inf + 1
6.307 * * [simplify]: Extracting #4: cost 7 inf + 4
6.307 * * [simplify]: Extracting #5: cost 6 inf + 5
6.307 * * [simplify]: Extracting #6: cost 0 inf + 45
6.307 * [simplify]: Simplified to:
  (+ (* (exp im) (* 0.5 (cos re))) (* (/ (cos re) (exp im)) 0.5))
12.949 * [regime-testing]: Baseline error score: 0.008501062632829104
12.952 * [regime-testing]: Oracle error score: 0.008501062632829104
12.952 * [regime-testing]: End program error score: 0.008501062632829104