27.254 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.164 * * * [progress]: [2/2] Setting up program.
0.171 * [progress]: [Phase 2 of 3] Improving.
0.171 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.171 * * [simplify]: iteration 0: 10 enodes
0.174 * * [simplify]: iteration 1: 23 enodes
0.182 * * [simplify]: iteration 2: 57 enodes
0.201 * * [simplify]: iteration 3: 93 enodes
0.245 * * [simplify]: iteration 4: 470 enodes
1.230 * * [simplify]: iteration 5: 4184 enodes
3.377 * * [simplify]: iteration complete: 5000 enodes
3.377 * * [simplify]: Extracting #0: cost 1 inf + 0
3.378 * * [simplify]: Extracting #1: cost 344 inf + 0
3.381 * * [simplify]: Extracting #2: cost 1531 inf + 8
3.387 * * [simplify]: Extracting #3: cost 1534 inf + 905
3.393 * * [simplify]: Extracting #4: cost 529 inf + 5986
3.404 * * [simplify]: Extracting #5: cost 28 inf + 9568
3.415 * * [simplify]: Extracting #6: cost 0 inf + 9821
3.425 * [simplify]: Simplified to:
  (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))
3.435 * * [progress]: iteration 1 / 4
3.435 * * * [progress]: picking best candidate
3.441 * * * * [pick]: Picked  #<alt (λ (re im) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))>
3.441 * * * [progress]: localizing error
3.475 * * * [progress]: generating rewritten candidates
3.475 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.564 * * * [progress]: generating series expansions
3.564 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.565 * [backup-simplify]: Simplify (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))) into (* 0.5 (* (cos re) (+ (exp (- im)) (exp im))))
3.565 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in (re im) around 0
3.565 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in im
3.565 * [taylor]: Taking taylor expansion of 0.5 in im
3.565 * [backup-simplify]: Simplify 0.5 into 0.5
3.565 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in im
3.565 * [taylor]: Taking taylor expansion of (cos re) in im
3.565 * [taylor]: Taking taylor expansion of re in im
3.565 * [backup-simplify]: Simplify re into re
3.565 * [backup-simplify]: Simplify (cos re) into (cos re)
3.565 * [backup-simplify]: Simplify (sin re) into (sin re)
3.565 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
3.565 * [taylor]: Taking taylor expansion of (exp (- im)) in im
3.565 * [taylor]: Taking taylor expansion of (- im) in im
3.565 * [taylor]: Taking taylor expansion of im in im
3.565 * [backup-simplify]: Simplify 0 into 0
3.565 * [backup-simplify]: Simplify 1 into 1
3.566 * [backup-simplify]: Simplify (- 0) into 0
3.566 * [backup-simplify]: Simplify (- 1) into -1
3.566 * [backup-simplify]: Simplify (exp 0) into 1
3.567 * [taylor]: Taking taylor expansion of (exp im) in im
3.567 * [taylor]: Taking taylor expansion of im in im
3.567 * [backup-simplify]: Simplify 0 into 0
3.567 * [backup-simplify]: Simplify 1 into 1
3.567 * [backup-simplify]: Simplify (exp 0) into 1
3.567 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re
3.567 * [taylor]: Taking taylor expansion of 0.5 in re
3.567 * [backup-simplify]: Simplify 0.5 into 0.5
3.567 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re
3.567 * [taylor]: Taking taylor expansion of (cos re) in re
3.567 * [taylor]: Taking taylor expansion of re in re
3.567 * [backup-simplify]: Simplify 0 into 0
3.567 * [backup-simplify]: Simplify 1 into 1
3.567 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
3.567 * [taylor]: Taking taylor expansion of (exp (- im)) in re
3.567 * [taylor]: Taking taylor expansion of (- im) in re
3.567 * [taylor]: Taking taylor expansion of im in re
3.567 * [backup-simplify]: Simplify im into im
3.567 * [backup-simplify]: Simplify (- im) into (- im)
3.567 * [backup-simplify]: Simplify (- im) into (- im)
3.567 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
3.567 * [taylor]: Taking taylor expansion of (exp im) in re
3.567 * [taylor]: Taking taylor expansion of im in re
3.567 * [backup-simplify]: Simplify im into im
3.567 * [backup-simplify]: Simplify (exp im) into (exp im)
3.567 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re
3.567 * [taylor]: Taking taylor expansion of 0.5 in re
3.567 * [backup-simplify]: Simplify 0.5 into 0.5
3.567 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re
3.567 * [taylor]: Taking taylor expansion of (cos re) in re
3.567 * [taylor]: Taking taylor expansion of re in re
3.567 * [backup-simplify]: Simplify 0 into 0
3.567 * [backup-simplify]: Simplify 1 into 1
3.568 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
3.568 * [taylor]: Taking taylor expansion of (exp (- im)) in re
3.568 * [taylor]: Taking taylor expansion of (- im) in re
3.568 * [taylor]: Taking taylor expansion of im in re
3.568 * [backup-simplify]: Simplify im into im
3.568 * [backup-simplify]: Simplify (- im) into (- im)
3.568 * [backup-simplify]: Simplify (- im) into (- im)
3.568 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
3.568 * [taylor]: Taking taylor expansion of (exp im) in re
3.568 * [taylor]: Taking taylor expansion of im in re
3.568 * [backup-simplify]: Simplify im into im
3.568 * [backup-simplify]: Simplify (exp im) into (exp im)
3.568 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im))
3.568 * [backup-simplify]: Simplify (* 1 (+ (exp (- im)) (exp im))) into (+ (exp (- im)) (exp im))
3.568 * [backup-simplify]: Simplify (* 0.5 (+ (exp (- im)) (exp im))) into (* 0.5 (+ (exp (- im)) (exp im)))
3.568 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- im)) (exp im))) in im
3.568 * [taylor]: Taking taylor expansion of 0.5 in im
3.568 * [backup-simplify]: Simplify 0.5 into 0.5
3.568 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
3.569 * [taylor]: Taking taylor expansion of (exp (- im)) in im
3.569 * [taylor]: Taking taylor expansion of (- im) in im
3.569 * [taylor]: Taking taylor expansion of im in im
3.569 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify 1 into 1
3.569 * [backup-simplify]: Simplify (- 0) into 0
3.569 * [backup-simplify]: Simplify (- 1) into -1
3.569 * [backup-simplify]: Simplify (exp 0) into 1
3.569 * [taylor]: Taking taylor expansion of (exp im) in im
3.570 * [taylor]: Taking taylor expansion of im in im
3.570 * [backup-simplify]: Simplify 0 into 0
3.570 * [backup-simplify]: Simplify 1 into 1
3.570 * [backup-simplify]: Simplify (exp 0) into 1
3.570 * [backup-simplify]: Simplify (+ 1 1) into 2
3.570 * [backup-simplify]: Simplify (* 0.5 2) into 1.0
3.571 * [backup-simplify]: Simplify 1.0 into 1.0
3.571 * [backup-simplify]: Simplify (- im) into (- im)
3.571 * [backup-simplify]: Simplify (- 0) into 0
3.572 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.573 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
3.573 * [backup-simplify]: Simplify (+ 0 0) into 0
3.573 * [backup-simplify]: Simplify (+ 0) into 0
3.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im)))) into 0
3.575 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp (- im)) (exp im)))) into 0
3.575 * [taylor]: Taking taylor expansion of 0 in im
3.575 * [backup-simplify]: Simplify 0 into 0
3.575 * [backup-simplify]: Simplify 0 into 0
3.575 * [backup-simplify]: Simplify (- 1) into -1
3.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.577 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.578 * [backup-simplify]: Simplify (+ -1 1) into 0
3.579 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0
3.579 * [backup-simplify]: Simplify 0 into 0
3.579 * [backup-simplify]: Simplify (- im) into (- im)
3.579 * [backup-simplify]: Simplify (- 0) into 0
3.579 * [backup-simplify]: Simplify (- 0) into 0
3.581 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.582 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.582 * [backup-simplify]: Simplify (+ 0 0) into 0
3.584 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp (- im)) (exp im))))) into (- (+ (* 1/2 (exp (- im))) (* 1/2 (exp im))))
3.585 * [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.585 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp (- im))) (* 0.25 (exp im)))) in im
3.585 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp (- im))) (* 0.25 (exp im))) in im
3.585 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im
3.585 * [taylor]: Taking taylor expansion of 0.25 in im
3.585 * [backup-simplify]: Simplify 0.25 into 0.25
3.586 * [taylor]: Taking taylor expansion of (exp (- im)) in im
3.586 * [taylor]: Taking taylor expansion of (- im) in im
3.586 * [taylor]: Taking taylor expansion of im in im
3.586 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify 1 into 1
3.586 * [backup-simplify]: Simplify (- 0) into 0
3.586 * [backup-simplify]: Simplify (- 1) into -1
3.586 * [backup-simplify]: Simplify (exp 0) into 1
3.586 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
3.586 * [taylor]: Taking taylor expansion of 0.25 in im
3.586 * [backup-simplify]: Simplify 0.25 into 0.25
3.587 * [taylor]: Taking taylor expansion of (exp im) in im
3.587 * [taylor]: Taking taylor expansion of im in im
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify 1 into 1
3.587 * [backup-simplify]: Simplify (exp 0) into 1
3.587 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
3.587 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
3.588 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
3.588 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.589 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify (- 1) into -1
3.589 * [backup-simplify]: Simplify (- 0) into 0
3.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.598 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.600 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5
3.600 * [backup-simplify]: Simplify 0.5 into 0.5
3.601 * [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.601 * [backup-simplify]: Simplify (* (* (cos (/ 1 re)) 0.5) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))
3.601 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in (re im) around 0
3.601 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im
3.601 * [taylor]: Taking taylor expansion of 0.5 in im
3.601 * [backup-simplify]: Simplify 0.5 into 0.5
3.601 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im
3.601 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
3.601 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
3.601 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
3.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.601 * [taylor]: Taking taylor expansion of im in im
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify 1 into 1
3.602 * [backup-simplify]: Simplify (/ 1 1) into 1
3.602 * [backup-simplify]: Simplify (- 1) into -1
3.602 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.602 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.602 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.602 * [taylor]: Taking taylor expansion of im in im
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [backup-simplify]: Simplify 1 into 1
3.603 * [backup-simplify]: Simplify (/ 1 1) into 1
3.603 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.603 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.603 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.603 * [taylor]: Taking taylor expansion of re in im
3.603 * [backup-simplify]: Simplify re into re
3.603 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.603 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.603 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
3.603 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re
3.603 * [taylor]: Taking taylor expansion of 0.5 in re
3.603 * [backup-simplify]: Simplify 0.5 into 0.5
3.603 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re
3.603 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
3.603 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
3.603 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
3.603 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.603 * [taylor]: Taking taylor expansion of im in re
3.603 * [backup-simplify]: Simplify im into im
3.603 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.603 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.604 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.604 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.604 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.604 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.604 * [taylor]: Taking taylor expansion of im in re
3.604 * [backup-simplify]: Simplify im into im
3.604 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.604 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.604 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.604 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.604 * [taylor]: Taking taylor expansion of re in re
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify 1 into 1
3.604 * [backup-simplify]: Simplify (/ 1 1) into 1
3.604 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.605 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re
3.605 * [taylor]: Taking taylor expansion of 0.5 in re
3.605 * [backup-simplify]: Simplify 0.5 into 0.5
3.605 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re
3.605 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
3.605 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
3.605 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
3.605 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.605 * [taylor]: Taking taylor expansion of im in re
3.605 * [backup-simplify]: Simplify im into im
3.605 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.605 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.605 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.605 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.605 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.605 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.605 * [taylor]: Taking taylor expansion of im in re
3.605 * [backup-simplify]: Simplify im into im
3.605 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.605 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.605 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.605 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.605 * [taylor]: Taking taylor expansion of re in re
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 1 into 1
3.606 * [backup-simplify]: Simplify (/ 1 1) into 1
3.606 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.606 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
3.606 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))
3.607 * [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.607 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im
3.607 * [taylor]: Taking taylor expansion of 0.5 in im
3.607 * [backup-simplify]: Simplify 0.5 into 0.5
3.607 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im
3.607 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
3.607 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
3.607 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
3.607 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.607 * [taylor]: Taking taylor expansion of im in im
3.607 * [backup-simplify]: Simplify 0 into 0
3.607 * [backup-simplify]: Simplify 1 into 1
3.607 * [backup-simplify]: Simplify (/ 1 1) into 1
3.608 * [backup-simplify]: Simplify (- 1) into -1
3.608 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
3.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.608 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.608 * [taylor]: Taking taylor expansion of im in im
3.608 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify 1 into 1
3.608 * [backup-simplify]: Simplify (/ 1 1) into 1
3.608 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.608 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.608 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.608 * [taylor]: Taking taylor expansion of re in im
3.608 * [backup-simplify]: Simplify re into re
3.609 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.609 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.609 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
3.609 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
3.609 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
3.609 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
3.609 * [backup-simplify]: Simplify (- 0) into 0
3.610 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
3.610 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))
3.610 * [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.610 * [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.610 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
3.611 * [backup-simplify]: Simplify (- 0) into 0
3.612 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
3.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
3.613 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.613 * [backup-simplify]: Simplify (+ 0 0) into 0
3.613 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0
3.614 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0
3.614 * [taylor]: Taking taylor expansion of 0 in im
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify (+ 0) into 0
3.615 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
3.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
3.616 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.616 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
3.617 * [backup-simplify]: Simplify (- 0) into 0
3.617 * [backup-simplify]: Simplify (+ 0 0) into 0
3.617 * [backup-simplify]: Simplify (+ 0 0) into 0
3.618 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0
3.618 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.619 * [backup-simplify]: Simplify (- 0) into 0
3.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.619 * [backup-simplify]: Simplify (- 0) into 0
3.621 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.622 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.623 * [backup-simplify]: Simplify (+ 0 0) into 0
3.623 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0
3.624 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0
3.624 * [taylor]: Taking taylor expansion of 0 in im
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.626 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
3.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.627 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.628 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
3.628 * [backup-simplify]: Simplify (- 0) into 0
3.628 * [backup-simplify]: Simplify (+ 0 0) into 0
3.629 * [backup-simplify]: Simplify (+ 0 0) into 0
3.630 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0
3.631 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0
3.631 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
3.631 * [backup-simplify]: Simplify (- 0) into 0
3.632 * [backup-simplify]: Simplify (- 0) into 0
3.632 * [backup-simplify]: Simplify (- 0) into 0
3.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.633 * [backup-simplify]: Simplify (- 0) into 0
3.634 * [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.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.636 * [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.637 * [backup-simplify]: Simplify (+ 0 0) into 0
3.638 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0
3.640 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))))) into 0
3.640 * [taylor]: Taking taylor expansion of 0 in im
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [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.640 * [backup-simplify]: Simplify (* (* (cos (/ 1 (- re))) 0.5) (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))
3.641 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (re im) around 0
3.641 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im
3.641 * [taylor]: Taking taylor expansion of 0.5 in im
3.641 * [backup-simplify]: Simplify 0.5 into 0.5
3.641 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im
3.641 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
3.641 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.641 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.641 * [taylor]: Taking taylor expansion of -1 in im
3.641 * [backup-simplify]: Simplify -1 into -1
3.641 * [taylor]: Taking taylor expansion of im in im
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 1 into 1
3.641 * [backup-simplify]: Simplify (/ -1 1) into -1
3.641 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.641 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.642 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.642 * [taylor]: Taking taylor expansion of im in im
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 1 into 1
3.642 * [backup-simplify]: Simplify (/ 1 1) into 1
3.642 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.642 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.642 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.642 * [taylor]: Taking taylor expansion of -1 in im
3.642 * [backup-simplify]: Simplify -1 into -1
3.642 * [taylor]: Taking taylor expansion of re in im
3.642 * [backup-simplify]: Simplify re into re
3.642 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.642 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.642 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
3.642 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
3.643 * [taylor]: Taking taylor expansion of 0.5 in re
3.643 * [backup-simplify]: Simplify 0.5 into 0.5
3.643 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
3.643 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
3.643 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.643 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.643 * [taylor]: Taking taylor expansion of -1 in re
3.643 * [backup-simplify]: Simplify -1 into -1
3.643 * [taylor]: Taking taylor expansion of im in re
3.643 * [backup-simplify]: Simplify im into im
3.643 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
3.643 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.643 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.643 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.643 * [taylor]: Taking taylor expansion of im in re
3.643 * [backup-simplify]: Simplify im into im
3.643 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.643 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.643 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.643 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.643 * [taylor]: Taking taylor expansion of -1 in re
3.643 * [backup-simplify]: Simplify -1 into -1
3.643 * [taylor]: Taking taylor expansion of re in re
3.643 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify 1 into 1
3.644 * [backup-simplify]: Simplify (/ -1 1) into -1
3.644 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.644 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
3.644 * [taylor]: Taking taylor expansion of 0.5 in re
3.644 * [backup-simplify]: Simplify 0.5 into 0.5
3.644 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
3.644 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
3.644 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.644 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.644 * [taylor]: Taking taylor expansion of -1 in re
3.644 * [backup-simplify]: Simplify -1 into -1
3.644 * [taylor]: Taking taylor expansion of im in re
3.644 * [backup-simplify]: Simplify im into im
3.644 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
3.644 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.644 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.644 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.644 * [taylor]: Taking taylor expansion of im in re
3.644 * [backup-simplify]: Simplify im into im
3.644 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
3.644 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.645 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.645 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.645 * [taylor]: Taking taylor expansion of -1 in re
3.645 * [backup-simplify]: Simplify -1 into -1
3.645 * [taylor]: Taking taylor expansion of re in re
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 1 into 1
3.645 * [backup-simplify]: Simplify (/ -1 1) into -1
3.645 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.645 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im)))
3.646 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))
3.646 * [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.646 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im
3.646 * [taylor]: Taking taylor expansion of 0.5 in im
3.646 * [backup-simplify]: Simplify 0.5 into 0.5
3.646 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im
3.646 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im
3.646 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.646 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.646 * [taylor]: Taking taylor expansion of im in im
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (/ 1 1) into 1
3.647 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
3.647 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.647 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.647 * [taylor]: Taking taylor expansion of -1 in im
3.647 * [backup-simplify]: Simplify -1 into -1
3.647 * [taylor]: Taking taylor expansion of im in im
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (/ -1 1) into -1
3.647 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
3.647 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.647 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.647 * [taylor]: Taking taylor expansion of -1 in im
3.647 * [backup-simplify]: Simplify -1 into -1
3.647 * [taylor]: Taking taylor expansion of re in im
3.648 * [backup-simplify]: Simplify re into re
3.648 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.648 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.648 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
3.648 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
3.648 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
3.648 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
3.648 * [backup-simplify]: Simplify (- 0) into 0
3.649 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
3.649 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))
3.649 * [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.649 * [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.650 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
3.650 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
3.652 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
3.652 * [backup-simplify]: Simplify (+ 0 0) into 0
3.652 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (cos (/ -1 re)))) into 0
3.653 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0
3.653 * [taylor]: Taking taylor expansion of 0 in im
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (+ 0) into 0
3.654 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
3.654 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
3.655 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.656 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
3.656 * [backup-simplify]: Simplify (- 0) into 0
3.656 * [backup-simplify]: Simplify (+ 0 0) into 0
3.657 * [backup-simplify]: Simplify (+ 0 0) into 0
3.657 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0
3.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))) into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.659 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.661 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.661 * [backup-simplify]: Simplify (+ 0 0) into 0
3.662 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
3.663 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0
3.663 * [taylor]: Taking taylor expansion of 0 in im
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.665 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
3.665 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.666 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.666 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
3.667 * [backup-simplify]: Simplify (- 0) into 0
3.667 * [backup-simplify]: Simplify (+ 0 0) into 0
3.668 * [backup-simplify]: Simplify (+ 0 0) into 0
3.668 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
3.669 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))))) into 0
3.669 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.671 * [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.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
3.673 * [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.674 * [backup-simplify]: Simplify (+ 0 0) into 0
3.675 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0
3.676 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))))) into 0
3.676 * [taylor]: Taking taylor expansion of 0 in im
3.676 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify 0 into 0
3.677 * [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.677 * * * [progress]: simplifying candidates
3.678 * [simplify]: Simplifying:
  (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))
  (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))
  (+ (+ (log (cos re)) (log 0.5)) (log (+ (exp (- im)) (exp im))))
  (+ (log (* (cos re) 0.5)) (log (+ (exp (- im)) (exp im))))
  (log (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))
  (exp (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))
  (* (* (* (* (cos re) (cos re)) (cos re)) (* (* 0.5 0.5) 0.5)) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
  (* (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
  (* (cbrt (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))) (cbrt (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))))
  (cbrt (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))
  (* (* (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im)))) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))
  (sqrt (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))
  (sqrt (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))
  (* (* (cos re) 0.5) (exp (- im)))
  (* (* (cos re) 0.5) (exp im))
  (* (exp (- im)) (* (cos re) 0.5))
  (* (exp im) (* (cos re) 0.5))
  (* (* (cos re) 0.5) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))))
  (* (* (cos re) 0.5) (sqrt (+ (exp (- im)) (exp im))))
  (* (* (cos re) 0.5) 1)
  (* (* (cos re) 0.5) 1)
  (* 0.5 (+ (exp (- im)) (exp im)))
  (* (* (cos re) 0.5) (+ (pow (exp (- im)) 3) (pow (exp im) 3)))
  (* (* (cos re) 0.5) (- (* (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.679 * * [simplify]: iteration 0: 72 enodes
3.706 * * [simplify]: iteration 1: 233 enodes
3.859 * * [simplify]: iteration 2: 1611 enodes
4.545 * * [simplify]: iteration complete: 5001 enodes
4.546 * * [simplify]: Extracting #0: cost 16 inf + 0
4.547 * * [simplify]: Extracting #1: cost 516 inf + 0
4.550 * * [simplify]: Extracting #2: cost 1633 inf + 17
4.556 * * [simplify]: Extracting #3: cost 1850 inf + 1571
4.563 * * [simplify]: Extracting #4: cost 1002 inf + 10655
4.570 * * [simplify]: Extracting #5: cost 137 inf + 24325
4.577 * * [simplify]: Extracting #6: cost 7 inf + 26324
4.589 * * [simplify]: Extracting #7: cost 0 inf + 26354
4.601 * [simplify]: Simplified to:
  (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))
  (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))
  (log (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
  (log (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
  (log (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
  (exp (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
  (pow (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) 3)
  (pow (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) 3)
  (* (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)))))
  (pow (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) 3)
  (sqrt (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
  (* 0.5 (/ (cos re) (exp im)))
  (* (exp im) (* 0.5 (cos re)))
  (* 0.5 (/ (cos re) (exp im)))
  (* (exp im) (* 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)))
  (* 0.5 (cos re))
  (* 0.5 (cos re))
  (* 0.5 (+ (exp im) (exp (- im))))
  (* (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (* 0.5 (cos re)))
  (* 0.5 (* (cos re) (- (pow (exp im) -2) (exp (* 2 im)))))
  (- (+ 1.0 (* 0.5 (* im im))) (* (pow re 2) 0.5))
  (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))
  (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))
4.603 * * * [progress]: adding candidates to table
4.726 * * [progress]: iteration 2 / 4
4.726 * * * [progress]: picking best candidate
4.729 * * * * [pick]: Picked  #<alt (λ (re im) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))>
4.730 * * * [progress]: localizing error
4.745 * * * [progress]: generating rewritten candidates
4.745 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
4.755 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.786 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
4.828 * * * [progress]: generating series expansions
4.828 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
4.828 * [backup-simplify]: Simplify (/ (cos re) (exp im)) into (/ (cos re) (exp im))
4.828 * [approximate]: Taking taylor expansion of (/ (cos re) (exp im)) in (re im) around 0
4.828 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
4.828 * [taylor]: Taking taylor expansion of (cos re) in im
4.829 * [taylor]: Taking taylor expansion of re in im
4.829 * [backup-simplify]: Simplify re into re
4.829 * [backup-simplify]: Simplify (cos re) into (cos re)
4.829 * [backup-simplify]: Simplify (sin re) into (sin re)
4.829 * [taylor]: Taking taylor expansion of (exp im) in im
4.829 * [taylor]: Taking taylor expansion of im in im
4.829 * [backup-simplify]: Simplify 0 into 0
4.829 * [backup-simplify]: Simplify 1 into 1
4.829 * [backup-simplify]: Simplify (exp 0) into 1
4.829 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
4.829 * [backup-simplify]: Simplify (* (sin re) 0) into 0
4.829 * [backup-simplify]: Simplify (- 0) into 0
4.829 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
4.829 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re)
4.829 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.829 * [taylor]: Taking taylor expansion of (cos re) in re
4.829 * [taylor]: Taking taylor expansion of re in re
4.829 * [backup-simplify]: Simplify 0 into 0
4.830 * [backup-simplify]: Simplify 1 into 1
4.830 * [taylor]: Taking taylor expansion of (exp im) in re
4.830 * [taylor]: Taking taylor expansion of im in re
4.830 * [backup-simplify]: Simplify im into im
4.830 * [backup-simplify]: Simplify (exp im) into (exp im)
4.830 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.830 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.830 * [taylor]: Taking taylor expansion of (cos re) in re
4.830 * [taylor]: Taking taylor expansion of re in re
4.830 * [backup-simplify]: Simplify 0 into 0
4.830 * [backup-simplify]: Simplify 1 into 1
4.830 * [taylor]: Taking taylor expansion of (exp im) in re
4.830 * [taylor]: Taking taylor expansion of im in re
4.830 * [backup-simplify]: Simplify im into im
4.830 * [backup-simplify]: Simplify (exp im) into (exp im)
4.830 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.830 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.830 * [taylor]: Taking taylor expansion of (exp im) in im
4.830 * [taylor]: Taking taylor expansion of im in im
4.830 * [backup-simplify]: Simplify 0 into 0
4.830 * [backup-simplify]: Simplify 1 into 1
4.830 * [backup-simplify]: Simplify (exp 0) into 1
4.830 * [backup-simplify]: Simplify (/ 1 1) into 1
4.830 * [backup-simplify]: Simplify 1 into 1
4.831 * [backup-simplify]: Simplify (+ 0) into 0
4.831 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
4.831 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
4.831 * [taylor]: Taking taylor expansion of 0 in im
4.831 * [backup-simplify]: Simplify 0 into 0
4.831 * [backup-simplify]: Simplify 0 into 0
4.832 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.832 * [backup-simplify]: Simplify -1 into -1
4.833 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.834 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.834 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im))))
4.834 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp im)))) in im
4.834 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp im))) in im
4.834 * [taylor]: Taking taylor expansion of 1/2 in im
4.834 * [backup-simplify]: Simplify 1/2 into 1/2
4.834 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.834 * [taylor]: Taking taylor expansion of (exp im) in im
4.834 * [taylor]: Taking taylor expansion of im in im
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 1 into 1
4.834 * [backup-simplify]: Simplify (exp 0) into 1
4.835 * [backup-simplify]: Simplify (/ 1 1) into 1
4.835 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
4.835 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.835 * [backup-simplify]: Simplify -1/2 into -1/2
4.835 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 re) 2)) (+ (* -1 (* im 1)) 1)) into (- 1 (+ (* 1/2 (pow re 2)) im))
4.835 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.835 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in (re im) around 0
4.835 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.836 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.836 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.836 * [taylor]: Taking taylor expansion of re in im
4.836 * [backup-simplify]: Simplify re into re
4.836 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.836 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.836 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.836 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.836 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.836 * [taylor]: Taking taylor expansion of im in im
4.836 * [backup-simplify]: Simplify 0 into 0
4.836 * [backup-simplify]: Simplify 1 into 1
4.836 * [backup-simplify]: Simplify (/ 1 1) into 1
4.836 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.836 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.836 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.836 * [backup-simplify]: Simplify (- 0) into 0
4.837 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.837 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.837 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.837 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.837 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.837 * [taylor]: Taking taylor expansion of re in re
4.837 * [backup-simplify]: Simplify 0 into 0
4.837 * [backup-simplify]: Simplify 1 into 1
4.837 * [backup-simplify]: Simplify (/ 1 1) into 1
4.837 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.837 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.837 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.837 * [taylor]: Taking taylor expansion of im in re
4.837 * [backup-simplify]: Simplify im into im
4.837 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.837 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.837 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.837 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.837 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.837 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.837 * [taylor]: Taking taylor expansion of re in re
4.837 * [backup-simplify]: Simplify 0 into 0
4.837 * [backup-simplify]: Simplify 1 into 1
4.838 * [backup-simplify]: Simplify (/ 1 1) into 1
4.838 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.838 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.838 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.838 * [taylor]: Taking taylor expansion of im in re
4.838 * [backup-simplify]: Simplify im into im
4.838 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.838 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.838 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.838 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.838 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.838 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.838 * [taylor]: Taking taylor expansion of re in im
4.838 * [backup-simplify]: Simplify re into re
4.838 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.838 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.838 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.838 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.838 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.838 * [taylor]: Taking taylor expansion of im in im
4.838 * [backup-simplify]: Simplify 0 into 0
4.838 * [backup-simplify]: Simplify 1 into 1
4.839 * [backup-simplify]: Simplify (/ 1 1) into 1
4.839 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.839 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.839 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.839 * [backup-simplify]: Simplify (- 0) into 0
4.839 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.839 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.839 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.840 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.840 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.840 * [taylor]: Taking taylor expansion of 0 in im
4.840 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify (+ 0) into 0
4.841 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
4.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.841 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.842 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
4.842 * [backup-simplify]: Simplify (- 0) into 0
4.842 * [backup-simplify]: Simplify (+ 0 0) into 0
4.842 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.842 * [backup-simplify]: Simplify 0 into 0
4.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.843 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.843 * [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.843 * [taylor]: Taking taylor expansion of 0 in im
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.845 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.845 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.846 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.846 * [backup-simplify]: Simplify (- 0) into 0
4.846 * [backup-simplify]: Simplify (+ 0 0) into 0
4.846 * [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.846 * [backup-simplify]: Simplify 0 into 0
4.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.847 * [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.848 * [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.848 * [taylor]: Taking taylor expansion of 0 in im
4.848 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))) into (/ (cos re) (exp im))
4.848 * [backup-simplify]: Simplify (/ (cos (/ 1 (- re))) (exp (/ 1 (- im)))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.848 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in (re im) around 0
4.848 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.848 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.848 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.848 * [taylor]: Taking taylor expansion of -1 in im
4.848 * [backup-simplify]: Simplify -1 into -1
4.848 * [taylor]: Taking taylor expansion of re in im
4.848 * [backup-simplify]: Simplify re into re
4.848 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.848 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.848 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.848 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.848 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.848 * [taylor]: Taking taylor expansion of -1 in im
4.848 * [backup-simplify]: Simplify -1 into -1
4.848 * [taylor]: Taking taylor expansion of im in im
4.848 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify 1 into 1
4.849 * [backup-simplify]: Simplify (/ -1 1) into -1
4.849 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.849 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.849 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.849 * [backup-simplify]: Simplify (- 0) into 0
4.849 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.849 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.849 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.849 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.849 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.849 * [taylor]: Taking taylor expansion of -1 in re
4.849 * [backup-simplify]: Simplify -1 into -1
4.849 * [taylor]: Taking taylor expansion of re in re
4.849 * [backup-simplify]: Simplify 0 into 0
4.849 * [backup-simplify]: Simplify 1 into 1
4.850 * [backup-simplify]: Simplify (/ -1 1) into -1
4.850 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.850 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.850 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.850 * [taylor]: Taking taylor expansion of -1 in re
4.850 * [backup-simplify]: Simplify -1 into -1
4.850 * [taylor]: Taking taylor expansion of im in re
4.850 * [backup-simplify]: Simplify im into im
4.850 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.850 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.850 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.850 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.850 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.850 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.850 * [taylor]: Taking taylor expansion of -1 in re
4.850 * [backup-simplify]: Simplify -1 into -1
4.850 * [taylor]: Taking taylor expansion of re in re
4.850 * [backup-simplify]: Simplify 0 into 0
4.850 * [backup-simplify]: Simplify 1 into 1
4.850 * [backup-simplify]: Simplify (/ -1 1) into -1
4.850 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.850 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.850 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.850 * [taylor]: Taking taylor expansion of -1 in re
4.850 * [backup-simplify]: Simplify -1 into -1
4.850 * [taylor]: Taking taylor expansion of im in re
4.850 * [backup-simplify]: Simplify im into im
4.851 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.851 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.851 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.851 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.851 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.851 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.851 * [taylor]: Taking taylor expansion of -1 in im
4.851 * [backup-simplify]: Simplify -1 into -1
4.851 * [taylor]: Taking taylor expansion of re in im
4.851 * [backup-simplify]: Simplify re into re
4.851 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.851 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.851 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.851 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.851 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.851 * [taylor]: Taking taylor expansion of -1 in im
4.851 * [backup-simplify]: Simplify -1 into -1
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.852 * [backup-simplify]: Simplify (/ -1 1) into -1
4.852 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.852 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.852 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.852 * [backup-simplify]: Simplify (- 0) into 0
4.852 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.852 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.852 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.852 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
4.853 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.853 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.853 * [taylor]: Taking taylor expansion of 0 in im
4.853 * [backup-simplify]: Simplify 0 into 0
4.853 * [backup-simplify]: Simplify 0 into 0
4.853 * [backup-simplify]: Simplify (+ 0) into 0
4.854 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
4.854 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
4.854 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.855 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
4.855 * [backup-simplify]: Simplify (- 0) into 0
4.855 * [backup-simplify]: Simplify (+ 0 0) into 0
4.855 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.855 * [backup-simplify]: Simplify 0 into 0
4.855 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.856 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.856 * [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.856 * [taylor]: Taking taylor expansion of 0 in im
4.856 * [backup-simplify]: Simplify 0 into 0
4.857 * [backup-simplify]: Simplify 0 into 0
4.857 * [backup-simplify]: Simplify 0 into 0
4.857 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.858 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.858 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.858 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.859 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.859 * [backup-simplify]: Simplify (- 0) into 0
4.859 * [backup-simplify]: Simplify (+ 0 0) into 0
4.860 * [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.860 * [backup-simplify]: Simplify 0 into 0
4.860 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.862 * [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.863 * [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.863 * [taylor]: Taking taylor expansion of 0 in im
4.863 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))) into (/ (cos re) (exp im))
4.863 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.863 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
4.863 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in (re im) around 0
4.863 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im
4.863 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
4.863 * [taylor]: Taking taylor expansion of 0.5 in im
4.864 * [backup-simplify]: Simplify 0.5 into 0.5
4.864 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
4.864 * [taylor]: Taking taylor expansion of (exp im) in im
4.864 * [taylor]: Taking taylor expansion of im in im
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify 1 into 1
4.864 * [backup-simplify]: Simplify (exp 0) into 1
4.864 * [taylor]: Taking taylor expansion of (cos re) in im
4.864 * [taylor]: Taking taylor expansion of re in im
4.864 * [backup-simplify]: Simplify re into re
4.864 * [backup-simplify]: Simplify (cos re) into (cos re)
4.864 * [backup-simplify]: Simplify (sin re) into (sin re)
4.864 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
4.864 * [taylor]: Taking taylor expansion of 0.5 in im
4.864 * [backup-simplify]: Simplify 0.5 into 0.5
4.864 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
4.864 * [taylor]: Taking taylor expansion of (cos re) in im
4.864 * [taylor]: Taking taylor expansion of re in im
4.864 * [backup-simplify]: Simplify re into re
4.864 * [backup-simplify]: Simplify (cos re) into (cos re)
4.864 * [backup-simplify]: Simplify (sin re) into (sin re)
4.864 * [taylor]: Taking taylor expansion of (exp im) in im
4.864 * [taylor]: Taking taylor expansion of im in im
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify 1 into 1
4.864 * [backup-simplify]: Simplify (exp 0) into 1
4.864 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
4.864 * [backup-simplify]: Simplify (* (sin re) 0) into 0
4.865 * [backup-simplify]: Simplify (- 0) into 0
4.865 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
4.865 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re)
4.865 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
4.865 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
4.865 * [taylor]: Taking taylor expansion of 0.5 in re
4.865 * [backup-simplify]: Simplify 0.5 into 0.5
4.865 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
4.865 * [taylor]: Taking taylor expansion of (exp im) in re
4.865 * [taylor]: Taking taylor expansion of im in re
4.865 * [backup-simplify]: Simplify im into im
4.865 * [backup-simplify]: Simplify (exp im) into (exp im)
4.865 * [taylor]: Taking taylor expansion of (cos re) in re
4.865 * [taylor]: Taking taylor expansion of re in re
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.866 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
4.866 * [taylor]: Taking taylor expansion of 0.5 in re
4.866 * [backup-simplify]: Simplify 0.5 into 0.5
4.866 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.866 * [taylor]: Taking taylor expansion of (cos re) in re
4.866 * [taylor]: Taking taylor expansion of re in re
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 1 into 1
4.866 * [taylor]: Taking taylor expansion of (exp im) in re
4.866 * [taylor]: Taking taylor expansion of im in re
4.866 * [backup-simplify]: Simplify im into im
4.866 * [backup-simplify]: Simplify (exp im) into (exp im)
4.866 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.866 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
4.866 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
4.866 * [taylor]: Taking taylor expansion of 0.5 in re
4.866 * [backup-simplify]: Simplify 0.5 into 0.5
4.866 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
4.866 * [taylor]: Taking taylor expansion of (exp im) in re
4.866 * [taylor]: Taking taylor expansion of im in re
4.866 * [backup-simplify]: Simplify im into im
4.866 * [backup-simplify]: Simplify (exp im) into (exp im)
4.866 * [taylor]: Taking taylor expansion of (cos re) in re
4.866 * [taylor]: Taking taylor expansion of re in re
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 1 into 1
4.866 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
4.866 * [taylor]: Taking taylor expansion of 0.5 in re
4.866 * [backup-simplify]: Simplify 0.5 into 0.5
4.866 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
4.866 * [taylor]: Taking taylor expansion of (cos re) in re
4.867 * [taylor]: Taking taylor expansion of re in re
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 1 into 1
4.867 * [taylor]: Taking taylor expansion of (exp im) in re
4.867 * [taylor]: Taking taylor expansion of im in re
4.867 * [backup-simplify]: Simplify im into im
4.867 * [backup-simplify]: Simplify (exp im) into (exp im)
4.867 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
4.867 * [backup-simplify]: Simplify (* (exp im) 1) into (exp im)
4.867 * [backup-simplify]: Simplify (* 0.5 (exp im)) into (* 0.5 (exp im))
4.867 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im))
4.867 * [backup-simplify]: Simplify (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
4.867 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im
4.867 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
4.867 * [taylor]: Taking taylor expansion of 0.5 in im
4.867 * [backup-simplify]: Simplify 0.5 into 0.5
4.868 * [taylor]: Taking taylor expansion of (exp im) in im
4.868 * [taylor]: Taking taylor expansion of im in im
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 1 into 1
4.868 * [backup-simplify]: Simplify (exp 0) into 1
4.868 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
4.868 * [taylor]: Taking taylor expansion of 0.5 in im
4.868 * [backup-simplify]: Simplify 0.5 into 0.5
4.868 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.868 * [taylor]: Taking taylor expansion of (exp im) in im
4.868 * [taylor]: Taking taylor expansion of im in im
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 1 into 1
4.868 * [backup-simplify]: Simplify (exp 0) into 1
4.868 * [backup-simplify]: Simplify (/ 1 1) into 1
4.869 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.869 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.870 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
4.870 * [backup-simplify]: Simplify 1.0 into 1.0
4.870 * [backup-simplify]: Simplify (+ 0) into 0
4.871 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
4.872 * [backup-simplify]: Simplify (+ (* (exp im) 0) (* 0 1)) into 0
4.873 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp im))) into 0
4.873 * [backup-simplify]: Simplify (+ 0) into 0
4.874 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
4.874 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
4.875 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0
4.875 * [backup-simplify]: Simplify (+ 0 0) 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.876 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.878 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
4.879 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.881 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
4.882 * [backup-simplify]: Simplify (+ 0.5 (- 0.5)) into 0
4.882 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.884 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.885 * [backup-simplify]: Simplify (+ (* (exp im) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp im)))
4.886 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (exp im)))) (+ (* 0 0) (* 0 (exp im)))) into (- (* 0.25 (exp im)))
4.886 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.887 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.887 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im))))
4.888 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im))))
4.888 * [backup-simplify]: Simplify (+ (- (* 0.25 (exp im))) (- (* 0.25 (/ 1 (exp im))))) into (- (+ (* 0.25 (exp im)) (* 0.25 (/ 1 (exp im)))))
4.888 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp im)) (* 0.25 (/ 1 (exp im))))) in im
4.888 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (/ 1 (exp im)))) in im
4.888 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
4.888 * [taylor]: Taking taylor expansion of 0.25 in im
4.888 * [backup-simplify]: Simplify 0.25 into 0.25
4.888 * [taylor]: Taking taylor expansion of (exp im) in im
4.888 * [taylor]: Taking taylor expansion of im in im
4.888 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify 1 into 1
4.888 * [backup-simplify]: Simplify (exp 0) into 1
4.888 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im
4.888 * [taylor]: Taking taylor expansion of 0.25 in im
4.888 * [backup-simplify]: Simplify 0.25 into 0.25
4.888 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
4.888 * [taylor]: Taking taylor expansion of (exp im) in im
4.888 * [taylor]: Taking taylor expansion of im in im
4.888 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify 1 into 1
4.888 * [backup-simplify]: Simplify (exp 0) into 1
4.889 * [backup-simplify]: Simplify (/ 1 1) into 1
4.889 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
4.889 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
4.889 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
4.890 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.890 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.890 * [backup-simplify]: Simplify 0 into 0
4.891 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.892 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
4.893 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
4.895 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
4.895 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
4.895 * [backup-simplify]: Simplify 0.5 into 0.5
4.896 * [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.896 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* (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.896 * [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.896 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im
4.896 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.896 * [taylor]: Taking taylor expansion of 0.5 in im
4.896 * [backup-simplify]: Simplify 0.5 into 0.5
4.896 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.896 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.896 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.896 * [taylor]: Taking taylor expansion of re in im
4.896 * [backup-simplify]: Simplify re into re
4.896 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.896 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.896 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.897 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.897 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.897 * [taylor]: Taking taylor expansion of im in im
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify 1 into 1
4.897 * [backup-simplify]: Simplify (/ 1 1) into 1
4.897 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.897 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.897 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.897 * [backup-simplify]: Simplify (- 0) into 0
4.897 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.897 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.897 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.897 * [taylor]: Taking taylor expansion of 0.5 in im
4.897 * [backup-simplify]: Simplify 0.5 into 0.5
4.897 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
4.898 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.898 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.898 * [taylor]: Taking taylor expansion of re in im
4.898 * [backup-simplify]: Simplify re into re
4.898 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.898 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.898 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.898 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.898 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.898 * [taylor]: Taking taylor expansion of im in im
4.898 * [backup-simplify]: Simplify 0 into 0
4.898 * [backup-simplify]: Simplify 1 into 1
4.898 * [backup-simplify]: Simplify (/ 1 1) into 1
4.898 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.898 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re
4.898 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.898 * [taylor]: Taking taylor expansion of 0.5 in re
4.898 * [backup-simplify]: Simplify 0.5 into 0.5
4.898 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.898 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.898 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.898 * [taylor]: Taking taylor expansion of re in re
4.898 * [backup-simplify]: Simplify 0 into 0
4.898 * [backup-simplify]: Simplify 1 into 1
4.898 * [backup-simplify]: Simplify (/ 1 1) into 1
4.899 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.899 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.899 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.899 * [taylor]: Taking taylor expansion of im in re
4.899 * [backup-simplify]: Simplify im into im
4.899 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.899 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.899 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.899 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.899 * [taylor]: Taking taylor expansion of 0.5 in re
4.899 * [backup-simplify]: Simplify 0.5 into 0.5
4.899 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
4.899 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.899 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.899 * [taylor]: Taking taylor expansion of re in re
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify 1 into 1
4.899 * [backup-simplify]: Simplify (/ 1 1) into 1
4.899 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.899 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.899 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.899 * [taylor]: Taking taylor expansion of im in re
4.899 * [backup-simplify]: Simplify im into im
4.899 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.899 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.899 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re
4.899 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.899 * [taylor]: Taking taylor expansion of 0.5 in re
4.899 * [backup-simplify]: Simplify 0.5 into 0.5
4.899 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
4.900 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.900 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.900 * [taylor]: Taking taylor expansion of re in re
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 1 into 1
4.900 * [backup-simplify]: Simplify (/ 1 1) into 1
4.900 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.900 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.900 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.900 * [taylor]: Taking taylor expansion of im in re
4.900 * [backup-simplify]: Simplify im into im
4.900 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.900 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.900 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.900 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.900 * [taylor]: Taking taylor expansion of 0.5 in re
4.900 * [backup-simplify]: Simplify 0.5 into 0.5
4.900 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
4.900 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.900 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.900 * [taylor]: Taking taylor expansion of re in re
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 1 into 1
4.900 * [backup-simplify]: Simplify (/ 1 1) into 1
4.901 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.901 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.901 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.901 * [taylor]: Taking taylor expansion of im in re
4.901 * [backup-simplify]: Simplify im into im
4.901 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.901 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.901 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
4.901 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
4.901 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.901 * [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.901 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im
4.901 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.901 * [taylor]: Taking taylor expansion of 0.5 in im
4.902 * [backup-simplify]: Simplify 0.5 into 0.5
4.902 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
4.902 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.902 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.902 * [taylor]: Taking taylor expansion of re in im
4.902 * [backup-simplify]: Simplify re into re
4.902 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.902 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.902 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.902 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.902 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.902 * [taylor]: Taking taylor expansion of im in im
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [backup-simplify]: Simplify 1 into 1
4.902 * [backup-simplify]: Simplify (/ 1 1) into 1
4.902 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.902 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.902 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.902 * [backup-simplify]: Simplify (- 0) into 0
4.903 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.903 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
4.903 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.903 * [taylor]: Taking taylor expansion of 0.5 in im
4.903 * [backup-simplify]: Simplify 0.5 into 0.5
4.903 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
4.903 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.903 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.903 * [taylor]: Taking taylor expansion of re in im
4.903 * [backup-simplify]: Simplify re into re
4.903 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.903 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.903 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.903 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.903 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.903 * [taylor]: Taking taylor expansion of im in im
4.903 * [backup-simplify]: Simplify 0 into 0
4.903 * [backup-simplify]: Simplify 1 into 1
4.903 * [backup-simplify]: Simplify (/ 1 1) into 1
4.903 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.903 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
4.904 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.904 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.904 * [backup-simplify]: Simplify (- 0) into 0
4.904 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.904 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
4.904 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.904 * [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.905 * [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.905 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.905 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.905 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.906 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.906 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.907 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
4.907 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.907 * [backup-simplify]: Simplify (+ 0 0) into 0
4.907 * [taylor]: Taking taylor expansion of 0 in im
4.907 * [backup-simplify]: Simplify 0 into 0
4.907 * [backup-simplify]: Simplify 0 into 0
4.908 * [backup-simplify]: Simplify (+ 0) into 0
4.908 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
4.908 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.908 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.909 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
4.909 * [backup-simplify]: Simplify (- 0) into 0
4.909 * [backup-simplify]: Simplify (+ 0 0) into 0
4.909 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
4.912 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.912 * [backup-simplify]: Simplify (+ 0) into 0
4.912 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
4.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.913 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.913 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
4.913 * [backup-simplify]: Simplify (- 0) into 0
4.914 * [backup-simplify]: Simplify (+ 0 0) into 0
4.914 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
4.914 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.914 * [backup-simplify]: Simplify (+ 0 0) into 0
4.914 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.915 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.915 * [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.916 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.916 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.917 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.917 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
4.918 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.918 * [backup-simplify]: Simplify (+ 0 0) into 0
4.918 * [taylor]: Taking taylor expansion of 0 in im
4.918 * [backup-simplify]: Simplify 0 into 0
4.918 * [backup-simplify]: Simplify 0 into 0
4.918 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.919 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.920 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.920 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.920 * [backup-simplify]: Simplify (- 0) into 0
4.921 * [backup-simplify]: Simplify (+ 0 0) into 0
4.921 * [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.921 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.922 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.923 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.923 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.924 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.924 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.924 * [backup-simplify]: Simplify (- 0) into 0
4.925 * [backup-simplify]: Simplify (+ 0 0) into 0
4.925 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
4.926 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
4.927 * [backup-simplify]: Simplify (+ 0 0) into 0
4.927 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.929 * [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.929 * [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.931 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
4.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.932 * [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.933 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
4.935 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
4.935 * [backup-simplify]: Simplify (+ 0 0) into 0
4.935 * [taylor]: Taking taylor expansion of 0 in im
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 0 into 0
4.936 * [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.936 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ 1 (- re))) (exp (/ 1 (- im))))) (* (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.936 * [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.936 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im
4.936 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.936 * [taylor]: Taking taylor expansion of 0.5 in im
4.936 * [backup-simplify]: Simplify 0.5 into 0.5
4.936 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.936 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.936 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.936 * [taylor]: Taking taylor expansion of -1 in im
4.936 * [backup-simplify]: Simplify -1 into -1
4.936 * [taylor]: Taking taylor expansion of re in im
4.937 * [backup-simplify]: Simplify re into re
4.937 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.937 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.937 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.937 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.937 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.937 * [taylor]: Taking taylor expansion of -1 in im
4.937 * [backup-simplify]: Simplify -1 into -1
4.937 * [taylor]: Taking taylor expansion of im in im
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 1 into 1
4.937 * [backup-simplify]: Simplify (/ -1 1) into -1
4.937 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.938 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.938 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.938 * [backup-simplify]: Simplify (- 0) into 0
4.938 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.938 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.938 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.938 * [taylor]: Taking taylor expansion of 0.5 in im
4.938 * [backup-simplify]: Simplify 0.5 into 0.5
4.939 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
4.939 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.939 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.939 * [taylor]: Taking taylor expansion of -1 in im
4.939 * [backup-simplify]: Simplify -1 into -1
4.939 * [taylor]: Taking taylor expansion of re in im
4.939 * [backup-simplify]: Simplify re into re
4.939 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.939 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.939 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.939 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.939 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.939 * [taylor]: Taking taylor expansion of -1 in im
4.939 * [backup-simplify]: Simplify -1 into -1
4.939 * [taylor]: Taking taylor expansion of im in im
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 1 into 1
4.940 * [backup-simplify]: Simplify (/ -1 1) into -1
4.940 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.940 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re
4.940 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.940 * [taylor]: Taking taylor expansion of 0.5 in re
4.940 * [backup-simplify]: Simplify 0.5 into 0.5
4.940 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.940 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.940 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.940 * [taylor]: Taking taylor expansion of -1 in re
4.940 * [backup-simplify]: Simplify -1 into -1
4.940 * [taylor]: Taking taylor expansion of re in re
4.940 * [backup-simplify]: Simplify 0 into 0
4.940 * [backup-simplify]: Simplify 1 into 1
4.940 * [backup-simplify]: Simplify (/ -1 1) into -1
4.941 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.941 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.941 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.941 * [taylor]: Taking taylor expansion of -1 in re
4.941 * [backup-simplify]: Simplify -1 into -1
4.941 * [taylor]: Taking taylor expansion of im in re
4.941 * [backup-simplify]: Simplify im into im
4.941 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.941 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.941 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.941 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.941 * [taylor]: Taking taylor expansion of 0.5 in re
4.941 * [backup-simplify]: Simplify 0.5 into 0.5
4.941 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
4.941 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.941 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.941 * [taylor]: Taking taylor expansion of -1 in re
4.941 * [backup-simplify]: Simplify -1 into -1
4.941 * [taylor]: Taking taylor expansion of re in re
4.941 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify 1 into 1
4.942 * [backup-simplify]: Simplify (/ -1 1) into -1
4.942 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.942 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.942 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.942 * [taylor]: Taking taylor expansion of -1 in re
4.942 * [backup-simplify]: Simplify -1 into -1
4.942 * [taylor]: Taking taylor expansion of im in re
4.942 * [backup-simplify]: Simplify im into im
4.942 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.942 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.942 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re
4.942 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.942 * [taylor]: Taking taylor expansion of 0.5 in re
4.942 * [backup-simplify]: Simplify 0.5 into 0.5
4.942 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
4.942 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.942 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.942 * [taylor]: Taking taylor expansion of -1 in re
4.943 * [backup-simplify]: Simplify -1 into -1
4.943 * [taylor]: Taking taylor expansion of re in re
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [backup-simplify]: Simplify 1 into 1
4.943 * [backup-simplify]: Simplify (/ -1 1) into -1
4.943 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.943 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.943 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.943 * [taylor]: Taking taylor expansion of -1 in re
4.943 * [backup-simplify]: Simplify -1 into -1
4.943 * [taylor]: Taking taylor expansion of im in re
4.943 * [backup-simplify]: Simplify im into im
4.943 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.943 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.944 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.944 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
4.944 * [taylor]: Taking taylor expansion of 0.5 in re
4.944 * [backup-simplify]: Simplify 0.5 into 0.5
4.944 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
4.944 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
4.944 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.944 * [taylor]: Taking taylor expansion of -1 in re
4.944 * [backup-simplify]: Simplify -1 into -1
4.944 * [taylor]: Taking taylor expansion of re in re
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 1 into 1
4.944 * [backup-simplify]: Simplify (/ -1 1) into -1
4.944 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.944 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
4.944 * [taylor]: Taking taylor expansion of (/ -1 im) in re
4.945 * [taylor]: Taking taylor expansion of -1 in re
4.945 * [backup-simplify]: Simplify -1 into -1
4.945 * [taylor]: Taking taylor expansion of im in re
4.945 * [backup-simplify]: Simplify im into im
4.945 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
4.945 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.945 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
4.945 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
4.945 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
4.946 * [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.946 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im
4.946 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.946 * [taylor]: Taking taylor expansion of 0.5 in im
4.946 * [backup-simplify]: Simplify 0.5 into 0.5
4.946 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
4.946 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.946 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.946 * [taylor]: Taking taylor expansion of -1 in im
4.946 * [backup-simplify]: Simplify -1 into -1
4.946 * [taylor]: Taking taylor expansion of re in im
4.946 * [backup-simplify]: Simplify re into re
4.946 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.946 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.946 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.946 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.946 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.946 * [taylor]: Taking taylor expansion of -1 in im
4.946 * [backup-simplify]: Simplify -1 into -1
4.946 * [taylor]: Taking taylor expansion of im in im
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 1 into 1
4.947 * [backup-simplify]: Simplify (/ -1 1) into -1
4.947 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.947 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.947 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.948 * [backup-simplify]: Simplify (- 0) into 0
4.948 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.948 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
4.948 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
4.948 * [taylor]: Taking taylor expansion of 0.5 in im
4.948 * [backup-simplify]: Simplify 0.5 into 0.5
4.948 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
4.948 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
4.948 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.948 * [taylor]: Taking taylor expansion of -1 in im
4.948 * [backup-simplify]: Simplify -1 into -1
4.948 * [taylor]: Taking taylor expansion of re in im
4.948 * [backup-simplify]: Simplify re into re
4.948 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.948 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.949 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.949 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
4.949 * [taylor]: Taking taylor expansion of (/ -1 im) in im
4.949 * [taylor]: Taking taylor expansion of -1 in im
4.949 * [backup-simplify]: Simplify -1 into -1
4.949 * [taylor]: Taking taylor expansion of im in im
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 1 into 1
4.949 * [backup-simplify]: Simplify (/ -1 1) into -1
4.949 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
4.949 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
4.950 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
4.950 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
4.950 * [backup-simplify]: Simplify (- 0) into 0
4.950 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
4.950 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
4.951 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
4.951 * [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.952 * [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.952 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
4.953 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (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)))))) into 0
4.954 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
4.954 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
4.955 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.955 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
4.956 * [backup-simplify]: Simplify (+ (* 0.5 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) into 0
4.957 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
4.957 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
4.958 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.959 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
4.959 * [backup-simplify]: Simplify (- 0) into 0
4.959 * [backup-simplify]: Simplify (+ 0 0) into 0
4.960 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
4.960 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
4.961 * [backup-simplify]: Simplify (+ 0) into 0
4.961 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
4.961 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
4.962 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.963 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
4.963 * [backup-simplify]: Simplify (- 0) into 0
4.963 * [backup-simplify]: Simplify (+ 0 0) into 0
4.964 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
4.964 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
4.965 * [backup-simplify]: Simplify (+ 0 0) into 0
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.966 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.966 * [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.967 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.967 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.968 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.968 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
4.969 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.969 * [backup-simplify]: Simplify (+ 0 0) into 0
4.969 * [taylor]: Taking taylor expansion of 0 in im
4.969 * [backup-simplify]: Simplify 0 into 0
4.969 * [backup-simplify]: Simplify 0 into 0
4.969 * [backup-simplify]: Simplify 0 into 0
4.970 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.970 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.971 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.971 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.971 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.972 * [backup-simplify]: Simplify (- 0) into 0
4.972 * [backup-simplify]: Simplify (+ 0 0) into 0
4.972 * [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.973 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.973 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.974 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.974 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.975 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.975 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 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 (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
4.976 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
4.977 * [backup-simplify]: Simplify (+ 0 0) into 0
4.977 * [backup-simplify]: Simplify 0 into 0
4.977 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.978 * [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.978 * [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.979 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
4.979 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.980 * [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.981 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0
4.981 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
4.982 * [backup-simplify]: Simplify (+ 0 0) into 0
4.982 * [taylor]: Taking taylor expansion of 0 in im
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [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.982 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
4.982 * [backup-simplify]: Simplify (* (exp im) (* 0.5 (cos re))) into (* 0.5 (* (exp im) (cos re)))
4.982 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in (im re) around 0
4.982 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
4.982 * [taylor]: Taking taylor expansion of 0.5 in re
4.982 * [backup-simplify]: Simplify 0.5 into 0.5
4.982 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
4.982 * [taylor]: Taking taylor expansion of (exp im) in re
4.982 * [taylor]: Taking taylor expansion of im in re
4.982 * [backup-simplify]: Simplify im into im
4.982 * [backup-simplify]: Simplify (exp im) into (exp im)
4.982 * [taylor]: Taking taylor expansion of (cos re) in re
4.982 * [taylor]: Taking taylor expansion of re in re
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 1 into 1
4.982 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
4.982 * [taylor]: Taking taylor expansion of 0.5 in im
4.983 * [backup-simplify]: Simplify 0.5 into 0.5
4.983 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
4.983 * [taylor]: Taking taylor expansion of (exp im) in im
4.983 * [taylor]: Taking taylor expansion of im in im
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 1 into 1
4.983 * [backup-simplify]: Simplify (exp 0) into 1
4.983 * [taylor]: Taking taylor expansion of (cos re) in im
4.983 * [taylor]: Taking taylor expansion of re in im
4.983 * [backup-simplify]: Simplify re into re
4.983 * [backup-simplify]: Simplify (cos re) into (cos re)
4.983 * [backup-simplify]: Simplify (sin re) into (sin re)
4.983 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
4.983 * [taylor]: Taking taylor expansion of 0.5 in im
4.983 * [backup-simplify]: Simplify 0.5 into 0.5
4.983 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
4.983 * [taylor]: Taking taylor expansion of (exp im) in im
4.983 * [taylor]: Taking taylor expansion of im in im
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 1 into 1
4.983 * [backup-simplify]: Simplify (exp 0) into 1
4.983 * [taylor]: Taking taylor expansion of (cos re) in im
4.983 * [taylor]: Taking taylor expansion of re in im
4.983 * [backup-simplify]: Simplify re into re
4.983 * [backup-simplify]: Simplify (cos re) into (cos re)
4.983 * [backup-simplify]: Simplify (sin re) into (sin re)
4.983 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
4.983 * [backup-simplify]: Simplify (* (sin re) 0) into 0
4.983 * [backup-simplify]: Simplify (- 0) into 0
4.983 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
4.983 * [backup-simplify]: Simplify (* 1 (cos re)) into (cos re)
4.983 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re))
4.984 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re
4.984 * [taylor]: Taking taylor expansion of 0.5 in re
4.984 * [backup-simplify]: Simplify 0.5 into 0.5
4.984 * [taylor]: Taking taylor expansion of (cos re) in re
4.984 * [taylor]: Taking taylor expansion of re in re
4.984 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify 1 into 1
4.984 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.984 * [backup-simplify]: Simplify 0.5 into 0.5
4.984 * [backup-simplify]: Simplify (+ 0) into 0
4.984 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0
4.985 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.985 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0
4.985 * [backup-simplify]: Simplify (- 0) into 0
4.986 * [backup-simplify]: Simplify (+ 0 0) into 0
4.986 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.987 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos re))) into (cos re)
4.987 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0 (cos re))) into (* 0.5 (cos re))
4.987 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re
4.987 * [taylor]: Taking taylor expansion of 0.5 in re
4.987 * [backup-simplify]: Simplify 0.5 into 0.5
4.987 * [taylor]: Taking taylor expansion of (cos re) in re
4.987 * [taylor]: Taking taylor expansion of re in re
4.987 * [backup-simplify]: Simplify 0 into 0
4.987 * [backup-simplify]: Simplify 1 into 1
4.987 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.987 * [backup-simplify]: Simplify 0.5 into 0.5
4.987 * [backup-simplify]: Simplify (+ 0) into 0
4.988 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
4.988 * [backup-simplify]: Simplify 0 into 0
4.988 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.989 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0
4.989 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.990 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0
4.990 * [backup-simplify]: Simplify (- 0) into 0
4.990 * [backup-simplify]: Simplify (+ 0 0) into 0
4.991 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos re)))) into (* 1/2 (cos re))
4.992 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (cos re)) (* 0 (cos re)))) into (* 0.25 (cos re))
4.992 * [taylor]: Taking taylor expansion of (* 0.25 (cos re)) in re
4.992 * [taylor]: Taking taylor expansion of 0.25 in re
4.992 * [backup-simplify]: Simplify 0.25 into 0.25
4.992 * [taylor]: Taking taylor expansion of (cos re) in re
4.992 * [taylor]: Taking taylor expansion of re in re
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 1 into 1
4.992 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
4.992 * [backup-simplify]: Simplify 0.25 into 0.25
4.992 * [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))
4.993 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.993 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0
4.993 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
4.993 * [taylor]: Taking taylor expansion of 0.5 in re
4.993 * [backup-simplify]: Simplify 0.5 into 0.5
4.993 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
4.993 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.993 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.993 * [taylor]: Taking taylor expansion of re in re
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify 1 into 1
4.993 * [backup-simplify]: Simplify (/ 1 1) into 1
4.993 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.993 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.993 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.993 * [taylor]: Taking taylor expansion of im in re
4.993 * [backup-simplify]: Simplify im into im
4.993 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.993 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.993 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.993 * [taylor]: Taking taylor expansion of 0.5 in im
4.993 * [backup-simplify]: Simplify 0.5 into 0.5
4.993 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
4.993 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.993 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.993 * [taylor]: Taking taylor expansion of re in im
4.993 * [backup-simplify]: Simplify re into re
4.993 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.993 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.994 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.994 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.994 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.994 * [taylor]: Taking taylor expansion of im in im
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify 1 into 1
4.994 * [backup-simplify]: Simplify (/ 1 1) into 1
4.994 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.994 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
4.994 * [taylor]: Taking taylor expansion of 0.5 in im
4.994 * [backup-simplify]: Simplify 0.5 into 0.5
4.994 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
4.994 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
4.994 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.994 * [taylor]: Taking taylor expansion of re in im
4.994 * [backup-simplify]: Simplify re into re
4.994 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.994 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.994 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.994 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.994 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.994 * [taylor]: Taking taylor expansion of im in im
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify 1 into 1
4.994 * [backup-simplify]: Simplify (/ 1 1) into 1
4.995 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.995 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
4.995 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
4.995 * [backup-simplify]: Simplify (- 0) into 0
4.995 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
4.995 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
4.995 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.995 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 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 (* (cos (/ 1 re)) (exp (/ 1 im))) in re
4.995 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
4.995 * [taylor]: Taking taylor expansion of (/ 1 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.996 * [backup-simplify]: Simplify (/ 1 1) into 1
4.996 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.996 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.996 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.996 * [taylor]: Taking taylor expansion of im in re
4.996 * [backup-simplify]: Simplify im into im
4.996 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.996 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.996 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
4.996 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.996 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
4.997 * [backup-simplify]: Simplify (+ 0) into 0
4.997 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
4.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.997 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.998 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
4.998 * [backup-simplify]: Simplify (- 0) into 0
4.998 * [backup-simplify]: Simplify (+ 0 0) into 0
4.998 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
4.999 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
4.999 * [taylor]: Taking taylor expansion of 0 in re
4.999 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.999 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.999 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
5.000 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.001 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.001 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.002 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.002 * [backup-simplify]: Simplify (- 0) into 0
5.002 * [backup-simplify]: Simplify (+ 0 0) into 0
5.003 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
5.004 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
5.004 * [taylor]: Taking taylor expansion of 0 in re
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.006 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.006 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
5.007 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.009 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.011 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.012 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.013 * [backup-simplify]: Simplify (- 0) into 0
5.013 * [backup-simplify]: Simplify (+ 0 0) into 0
5.014 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
5.015 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
5.015 * [taylor]: Taking taylor expansion of 0 in re
5.015 * [backup-simplify]: Simplify 0 into 0
5.015 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (exp im) (cos re)))
5.016 * [backup-simplify]: Simplify (* (exp (/ 1 (- im))) (* 0.5 (cos (/ 1 (- re))))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.016 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in (im re) around 0
5.016 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
5.016 * [taylor]: Taking taylor expansion of 0.5 in re
5.016 * [backup-simplify]: Simplify 0.5 into 0.5
5.016 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
5.016 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
5.016 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.016 * [taylor]: Taking taylor expansion of -1 in re
5.016 * [backup-simplify]: Simplify -1 into -1
5.016 * [taylor]: Taking taylor expansion of re in re
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify 1 into 1
5.017 * [backup-simplify]: Simplify (/ -1 1) into -1
5.017 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.017 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
5.017 * [taylor]: Taking taylor expansion of (/ -1 im) in re
5.017 * [taylor]: Taking taylor expansion of -1 in re
5.017 * [backup-simplify]: Simplify -1 into -1
5.017 * [taylor]: Taking taylor expansion of im in re
5.017 * [backup-simplify]: Simplify im into im
5.017 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
5.017 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.017 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
5.017 * [taylor]: Taking taylor expansion of 0.5 in im
5.017 * [backup-simplify]: Simplify 0.5 into 0.5
5.017 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
5.017 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
5.017 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.017 * [taylor]: Taking taylor expansion of -1 in im
5.017 * [backup-simplify]: Simplify -1 into -1
5.017 * [taylor]: Taking taylor expansion of re in im
5.017 * [backup-simplify]: Simplify re into re
5.017 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.017 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.018 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.018 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
5.018 * [taylor]: Taking taylor expansion of (/ -1 im) in im
5.018 * [taylor]: Taking taylor expansion of -1 in im
5.018 * [backup-simplify]: Simplify -1 into -1
5.018 * [taylor]: Taking taylor expansion of im in im
5.018 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify 1 into 1
5.018 * [backup-simplify]: Simplify (/ -1 1) into -1
5.018 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.018 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im
5.018 * [taylor]: Taking taylor expansion of 0.5 in im
5.018 * [backup-simplify]: Simplify 0.5 into 0.5
5.018 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im
5.018 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
5.018 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.019 * [taylor]: Taking taylor expansion of -1 in im
5.019 * [backup-simplify]: Simplify -1 into -1
5.019 * [taylor]: Taking taylor expansion of re in im
5.019 * [backup-simplify]: Simplify re into re
5.019 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.019 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.019 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.019 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
5.019 * [taylor]: Taking taylor expansion of (/ -1 im) in im
5.019 * [taylor]: Taking taylor expansion of -1 in im
5.019 * [backup-simplify]: Simplify -1 into -1
5.019 * [taylor]: Taking taylor expansion of im in im
5.019 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify 1 into 1
5.019 * [backup-simplify]: Simplify (/ -1 1) into -1
5.020 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.020 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
5.020 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
5.020 * [backup-simplify]: Simplify (- 0) into 0
5.020 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
5.021 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
5.021 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.021 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
5.021 * [taylor]: Taking taylor expansion of 0.5 in re
5.021 * [backup-simplify]: Simplify 0.5 into 0.5
5.021 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
5.021 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
5.021 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.021 * [taylor]: Taking taylor expansion of -1 in re
5.021 * [backup-simplify]: Simplify -1 into -1
5.021 * [taylor]: Taking taylor expansion of re in re
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify 1 into 1
5.021 * [backup-simplify]: Simplify (/ -1 1) into -1
5.021 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.022 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
5.022 * [taylor]: Taking taylor expansion of (/ -1 im) in re
5.022 * [taylor]: Taking taylor expansion of -1 in re
5.022 * [backup-simplify]: Simplify -1 into -1
5.022 * [taylor]: Taking taylor expansion of im in re
5.022 * [backup-simplify]: Simplify im into im
5.022 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
5.022 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.022 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
5.022 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.022 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
5.023 * [backup-simplify]: Simplify (+ 0) into 0
5.023 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
5.023 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
5.024 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.025 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
5.025 * [backup-simplify]: Simplify (- 0) into 0
5.026 * [backup-simplify]: Simplify (+ 0 0) into 0
5.026 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
5.026 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
5.026 * [taylor]: Taking taylor expansion of 0 in re
5.026 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
5.028 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.028 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
5.028 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
5.028 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.030 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.030 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.031 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.032 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.032 * [backup-simplify]: Simplify (- 0) into 0
5.033 * [backup-simplify]: Simplify (+ 0 0) into 0
5.033 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
5.034 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
5.034 * [taylor]: Taking taylor expansion of 0 in re
5.034 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.036 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.038 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
5.040 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
5.040 * [backup-simplify]: Simplify 0 into 0
5.041 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.042 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.042 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.044 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.044 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.045 * [backup-simplify]: Simplify (- 0) into 0
5.045 * [backup-simplify]: Simplify (+ 0 0) into 0
5.046 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0
5.047 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
5.048 * [taylor]: Taking taylor expansion of 0 in re
5.048 * [backup-simplify]: Simplify 0 into 0
5.048 * [backup-simplify]: Simplify 0 into 0
5.048 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (* (exp im) (cos re)))
5.048 * * * [progress]: simplifying candidates
5.050 * [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 (* 0.5 (/ (cos re) (exp im)))) (exp (* (exp im) (* 0.5 (cos re)))))
  (log (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))
  (exp (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))
  (* (cbrt (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))))) (cbrt (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))))))
  (cbrt (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))
  (* (* (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))))) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))
  (sqrt (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))
  (sqrt (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))
  (+ (pow (* 0.5 (/ (cos re) (exp im))) 3) (pow (* (exp im) (* 0.5 (cos re))) 3))
  (+ (* (* 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) (exp im))) (* (exp im) (* 0.5 (cos re))))))
  (- (* (* 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) (exp im))) (* (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.052 * * [simplify]: iteration 0: 116 enodes
5.092 * * [simplify]: iteration 1: 297 enodes
5.241 * * [simplify]: iteration 2: 1229 enodes
5.867 * * [simplify]: iteration complete: 5001 enodes
5.867 * * [simplify]: Extracting #0: cost 55 inf + 0
5.869 * * [simplify]: Extracting #1: cost 517 inf + 1
5.880 * * [simplify]: Extracting #2: cost 1498 inf + 36
5.893 * * [simplify]: Extracting #3: cost 1476 inf + 1413
5.906 * * [simplify]: Extracting #4: cost 650 inf + 9731
5.914 * * [simplify]: Extracting #5: cost 84 inf + 19683
5.921 * * [simplify]: Extracting #6: cost 2 inf + 21031
5.931 * * [simplify]: Extracting #7: cost 0 inf + 21046
5.938 * [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 (exp im)) (cbrt (cos re)))) (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 (+ (* 0.5 (/ (* (cos re) (cos re)) (exp (+ im im)))) (* (* (* (cos re) (exp im)) 0.5) (- (* (cos re) (exp im)) (/ (cos re) (exp im))))))
  (* (* 0.5 0.5) (- (/ (* (cos re) (cos re)) (exp (+ im im))) (* (* (cos re) (cos re)) (* (exp im) (exp im)))))
  (* 0.5 (- (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (* (* (cos re) (exp im)) 0.5)
  (* (* (cos re) (exp im)) 0.5)
  (+ 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 (* (* (cos re) (exp im)) 0.5) 3)
  (pow (* (* (cos re) (exp im)) 0.5) 3)
  (* (cbrt (* (* (cos re) (exp im)) 0.5)) (cbrt (* (* (cos re) (exp im)) 0.5)))
  (cbrt (* (* (cos re) (exp im)) 0.5))
  (pow (* (* (cos re) (exp im)) 0.5) 3)
  (sqrt (* (* (cos re) (exp im)) 0.5))
  (sqrt (* (* (cos re) (exp im)) 0.5))
  (* (exp im) 0.5)
  (* (* 0.5 (cbrt (exp im))) (cos re))
  (* (* (sqrt (exp im)) 0.5) (cos re))
  (* (* (cos re) (exp im)) 0.5)
  (- (- 1 im) (* (* re re) 1/2))
  (/ (cos re) (exp im))
  (/ (cos re) (exp im))
  (+ 1.0 (* 0.5 (- (* im im) (pow re 2))))
  (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (* 0.5 (+ (/ (cos re) (exp im)) (* (cos re) (exp im))))
  (+ (* im (+ (* im 0.25) 0.5)) 0.5)
  (* (* (cos re) (exp im)) 0.5)
  (* (* (cos re) (exp im)) 0.5)
5.938 * * * [progress]: adding candidates to table
6.294 * [progress]: [Phase 3 of 3] Extracting.
6.294 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))> #<alt (λ (re im) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))>)
6.296 * * * [regime-changes]: Trying 4 branch expressions: ((+ (exp (- im)) (exp im)) (cos re) im re)
6.296 * * * * [regimes]: Trying to branch on (+ (exp (- im)) (exp im)) from (#<alt (λ (re im) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))> #<alt (λ (re im) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))>)
6.350 * * * * [regimes]: Trying to branch on (cos re) from (#<alt (λ (re im) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))> #<alt (λ (re im) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))>)
6.407 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))> #<alt (λ (re im) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))>)
6.444 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re)))))> #<alt (λ (re im) (* (* (cos re) 0.5) (+ (exp (- im)) (exp im))))>)
6.499 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.500 * [simplify]: Simplifying:
  (+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))))
6.500 * * [simplify]: iteration 0: 10 enodes
6.500 * * [simplify]: iteration 1: 14 enodes
6.501 * * [simplify]: iteration complete: 14 enodes
6.501 * * [simplify]: Extracting #0: cost 1 inf + 0
6.501 * * [simplify]: Extracting #1: cost 3 inf + 0
6.501 * * [simplify]: Extracting #2: cost 7 inf + 0
6.501 * * [simplify]: Extracting #3: cost 8 inf + 1
6.501 * * [simplify]: Extracting #4: cost 7 inf + 4
6.501 * * [simplify]: Extracting #5: cost 0 inf + 45
6.501 * [simplify]: Simplified to:
  (+ (* (* 0.5 (cos re)) (exp im)) (* (/ (cos re) (exp im)) 0.5))
14.353 * [regime-testing]: Baseline error score: 0.00869920771355434
14.357 * [regime-testing]: Oracle error score: 0.004573692024093156
14.365 * [regime-testing]: End program error score: 0.00869920771355434