18.984 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.206 * * * [progress]: [2/2] Setting up program. 0.210 * [progress]: [Phase 2 of 3] Improving. 0.210 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.210 * * [simplify]: iteration 0: 10 enodes 0.212 * * [simplify]: iteration 1: 23 enodes 0.216 * * [simplify]: iteration 2: 59 enodes 0.228 * * [simplify]: iteration 3: 108 enodes 0.288 * * [simplify]: iteration 4: 489 enodes 1.679 * * [simplify]: iteration 5: 4343 enodes 4.325 * * [simplify]: iteration complete: 5000 enodes 4.325 * * [simplify]: Extracting #0: cost 1 inf + 0 4.326 * * [simplify]: Extracting #1: cost 616 inf + 0 4.331 * * [simplify]: Extracting #2: cost 1328 inf + 26 4.338 * * [simplify]: Extracting #3: cost 1195 inf + 979 4.344 * * [simplify]: Extracting #4: cost 310 inf + 5950 4.350 * * [simplify]: Extracting #5: cost 6 inf + 8051 4.356 * * [simplify]: Extracting #6: cost 0 inf + 8096 4.362 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) 4.367 * * [progress]: iteration 1 / 4 4.367 * * * [progress]: picking best candidate 4.370 * * * * [pick]: Picked # 4.370 * * * [progress]: localizing error 4.384 * * * [progress]: generating rewritten candidates 4.384 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.469 * * * [progress]: generating series expansions 4.469 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.469 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) into (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) 4.469 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in (re im) around 0 4.469 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in im 4.469 * [taylor]: Taking taylor expansion of 0.5 in im 4.469 * [backup-simplify]: Simplify 0.5 into 0.5 4.469 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in im 4.469 * [taylor]: Taking taylor expansion of (cos re) in im 4.469 * [taylor]: Taking taylor expansion of re in im 4.469 * [backup-simplify]: Simplify re into re 4.469 * [backup-simplify]: Simplify (cos re) into (cos re) 4.469 * [backup-simplify]: Simplify (sin re) into (sin re) 4.470 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 4.470 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.470 * [taylor]: Taking taylor expansion of (- im) in im 4.470 * [taylor]: Taking taylor expansion of im in im 4.470 * [backup-simplify]: Simplify 0 into 0 4.470 * [backup-simplify]: Simplify 1 into 1 4.470 * [backup-simplify]: Simplify (- 0) into 0 4.471 * [backup-simplify]: Simplify (- 1) into -1 4.471 * [backup-simplify]: Simplify (exp 0) into 1 4.471 * [taylor]: Taking taylor expansion of (exp im) in im 4.471 * [taylor]: Taking taylor expansion of im in im 4.471 * [backup-simplify]: Simplify 0 into 0 4.471 * [backup-simplify]: Simplify 1 into 1 4.471 * [backup-simplify]: Simplify (exp 0) into 1 4.471 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re 4.471 * [taylor]: Taking taylor expansion of 0.5 in re 4.471 * [backup-simplify]: Simplify 0.5 into 0.5 4.471 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re 4.471 * [taylor]: Taking taylor expansion of (cos re) in re 4.471 * [taylor]: Taking taylor expansion of re in re 4.471 * [backup-simplify]: Simplify 0 into 0 4.471 * [backup-simplify]: Simplify 1 into 1 4.471 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 4.471 * [taylor]: Taking taylor expansion of (exp (- im)) in re 4.471 * [taylor]: Taking taylor expansion of (- im) in re 4.471 * [taylor]: Taking taylor expansion of im in re 4.471 * [backup-simplify]: Simplify im into im 4.471 * [backup-simplify]: Simplify (- im) into (- im) 4.471 * [backup-simplify]: Simplify (- im) into (- im) 4.472 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 4.472 * [taylor]: Taking taylor expansion of (exp im) in re 4.472 * [taylor]: Taking taylor expansion of im in re 4.472 * [backup-simplify]: Simplify im into im 4.472 * [backup-simplify]: Simplify (exp im) into (exp im) 4.472 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re 4.472 * [taylor]: Taking taylor expansion of 0.5 in re 4.472 * [backup-simplify]: Simplify 0.5 into 0.5 4.472 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re 4.472 * [taylor]: Taking taylor expansion of (cos re) in re 4.472 * [taylor]: Taking taylor expansion of re in re 4.472 * [backup-simplify]: Simplify 0 into 0 4.472 * [backup-simplify]: Simplify 1 into 1 4.472 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 4.472 * [taylor]: Taking taylor expansion of (exp (- im)) in re 4.472 * [taylor]: Taking taylor expansion of (- im) in re 4.472 * [taylor]: Taking taylor expansion of im in re 4.472 * [backup-simplify]: Simplify im into im 4.472 * [backup-simplify]: Simplify (- im) into (- im) 4.472 * [backup-simplify]: Simplify (- im) into (- im) 4.472 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 4.472 * [taylor]: Taking taylor expansion of (exp im) in re 4.472 * [taylor]: Taking taylor expansion of im in re 4.472 * [backup-simplify]: Simplify im into im 4.472 * [backup-simplify]: Simplify (exp im) into (exp im) 4.473 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im)) 4.473 * [backup-simplify]: Simplify (* 1 (+ (exp (- im)) (exp im))) into (+ (exp (- im)) (exp im)) 4.473 * [backup-simplify]: Simplify (* 0.5 (+ (exp (- im)) (exp im))) into (* 0.5 (+ (exp (- im)) (exp im))) 4.473 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- im)) (exp im))) in im 4.473 * [taylor]: Taking taylor expansion of 0.5 in im 4.473 * [backup-simplify]: Simplify 0.5 into 0.5 4.473 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 4.473 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.473 * [taylor]: Taking taylor expansion of (- im) in im 4.473 * [taylor]: Taking taylor expansion of im in im 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 1 into 1 4.473 * [backup-simplify]: Simplify (- 0) into 0 4.474 * [backup-simplify]: Simplify (- 1) into -1 4.474 * [backup-simplify]: Simplify (exp 0) into 1 4.474 * [taylor]: Taking taylor expansion of (exp im) in im 4.474 * [taylor]: Taking taylor expansion of im in im 4.474 * [backup-simplify]: Simplify 0 into 0 4.474 * [backup-simplify]: Simplify 1 into 1 4.474 * [backup-simplify]: Simplify (exp 0) into 1 4.474 * [backup-simplify]: Simplify (+ 1 1) into 2 4.475 * [backup-simplify]: Simplify (* 0.5 2) into 1.0 4.475 * [backup-simplify]: Simplify 1.0 into 1.0 4.475 * [backup-simplify]: Simplify (- im) into (- im) 4.475 * [backup-simplify]: Simplify (- 0) into 0 4.476 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.477 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 4.477 * [backup-simplify]: Simplify (+ 0 0) into 0 4.477 * [backup-simplify]: Simplify (+ 0) into 0 4.478 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im)))) into 0 4.478 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp (- im)) (exp im)))) into 0 4.478 * [taylor]: Taking taylor expansion of 0 in im 4.478 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify (- 1) into -1 4.479 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.480 * [backup-simplify]: Simplify (+ -1 1) into 0 4.481 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0 4.481 * [backup-simplify]: Simplify 0 into 0 4.481 * [backup-simplify]: Simplify (- im) into (- im) 4.481 * [backup-simplify]: Simplify (- 0) into 0 4.481 * [backup-simplify]: Simplify (- 0) into 0 4.482 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.483 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.483 * [backup-simplify]: Simplify (+ 0 0) into 0 4.484 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp (- im)) (exp im))))) into (- (+ (* 1/2 (exp (- im))) (* 1/2 (exp im)))) 4.485 * [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)))) 4.485 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp (- im))) (* 0.25 (exp im)))) in im 4.485 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp (- im))) (* 0.25 (exp im))) in im 4.485 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 4.485 * [taylor]: Taking taylor expansion of 0.25 in im 4.485 * [backup-simplify]: Simplify 0.25 into 0.25 4.485 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.485 * [taylor]: Taking taylor expansion of (- im) in im 4.485 * [taylor]: Taking taylor expansion of im in im 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 1 into 1 4.485 * [backup-simplify]: Simplify (- 0) into 0 4.485 * [backup-simplify]: Simplify (- 1) into -1 4.486 * [backup-simplify]: Simplify (exp 0) into 1 4.486 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 4.486 * [taylor]: Taking taylor expansion of 0.25 in im 4.486 * [backup-simplify]: Simplify 0.25 into 0.25 4.486 * [taylor]: Taking taylor expansion of (exp im) in im 4.486 * [taylor]: Taking taylor expansion of im in im 4.486 * [backup-simplify]: Simplify 0 into 0 4.486 * [backup-simplify]: Simplify 1 into 1 4.486 * [backup-simplify]: Simplify (exp 0) into 1 4.486 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 4.486 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 4.486 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5 4.487 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 4.487 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 4.487 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify (- 1) into -1 4.488 * [backup-simplify]: Simplify (- 0) into 0 4.489 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.489 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.490 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.491 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5 4.491 * [backup-simplify]: Simplify 0.5 into 0.5 4.492 * [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.492 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 re))) (+ (exp (/ 1 im)) (exp (- (/ 1 im))))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) 4.492 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in (re im) around 0 4.492 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 4.492 * [taylor]: Taking taylor expansion of 0.5 in im 4.492 * [backup-simplify]: Simplify 0.5 into 0.5 4.492 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im 4.492 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.492 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.492 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.492 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.492 * [taylor]: Taking taylor expansion of im in im 4.492 * [backup-simplify]: Simplify 0 into 0 4.492 * [backup-simplify]: Simplify 1 into 1 4.492 * [backup-simplify]: Simplify (/ 1 1) into 1 4.493 * [backup-simplify]: Simplify (- 1) into -1 4.493 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.493 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.493 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.493 * [taylor]: Taking taylor expansion of im in im 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 1 into 1 4.493 * [backup-simplify]: Simplify (/ 1 1) into 1 4.493 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.493 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 4.493 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.493 * [taylor]: Taking taylor expansion of re in im 4.493 * [backup-simplify]: Simplify re into re 4.493 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.493 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.493 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.493 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 4.493 * [taylor]: Taking taylor expansion of 0.5 in re 4.493 * [backup-simplify]: Simplify 0.5 into 0.5 4.493 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 4.493 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 4.493 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 4.493 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 4.493 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.493 * [taylor]: Taking taylor expansion of im in re 4.493 * [backup-simplify]: Simplify im into im 4.494 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.494 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.494 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.494 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.494 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.494 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.494 * [taylor]: Taking taylor expansion of im in re 4.494 * [backup-simplify]: Simplify im into im 4.494 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.494 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.494 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 4.494 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.494 * [taylor]: Taking taylor expansion of re in re 4.494 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify 1 into 1 4.494 * [backup-simplify]: Simplify (/ 1 1) into 1 4.494 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.494 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 4.494 * [taylor]: Taking taylor expansion of 0.5 in re 4.494 * [backup-simplify]: Simplify 0.5 into 0.5 4.494 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 4.494 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 4.494 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 4.494 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 4.494 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.494 * [taylor]: Taking taylor expansion of im in re 4.495 * [backup-simplify]: Simplify im into im 4.495 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.495 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.495 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.495 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.495 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.495 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.495 * [taylor]: Taking taylor expansion of im in re 4.495 * [backup-simplify]: Simplify im into im 4.495 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.495 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.495 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 4.495 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.495 * [taylor]: Taking taylor expansion of re in re 4.495 * [backup-simplify]: Simplify 0 into 0 4.495 * [backup-simplify]: Simplify 1 into 1 4.495 * [backup-simplify]: Simplify (/ 1 1) into 1 4.495 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.495 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.496 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) 4.496 * [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)))) 4.496 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 4.496 * [taylor]: Taking taylor expansion of 0.5 in im 4.496 * [backup-simplify]: Simplify 0.5 into 0.5 4.496 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im 4.496 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.496 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.496 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.496 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.496 * [taylor]: Taking taylor expansion of im in im 4.496 * [backup-simplify]: Simplify 0 into 0 4.496 * [backup-simplify]: Simplify 1 into 1 4.497 * [backup-simplify]: Simplify (/ 1 1) into 1 4.497 * [backup-simplify]: Simplify (- 1) into -1 4.497 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.497 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.497 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.497 * [taylor]: Taking taylor expansion of im in im 4.497 * [backup-simplify]: Simplify 0 into 0 4.497 * [backup-simplify]: Simplify 1 into 1 4.498 * [backup-simplify]: Simplify (/ 1 1) into 1 4.498 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.498 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 4.498 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.498 * [taylor]: Taking taylor expansion of re in im 4.498 * [backup-simplify]: Simplify re into re 4.498 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.498 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.498 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.498 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.498 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 4.499 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 4.499 * [backup-simplify]: Simplify (- 0) into 0 4.499 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 4.499 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) 4.500 * [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)))) 4.500 * [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)))) 4.500 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.500 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.500 * [backup-simplify]: Simplify (- 0) into 0 4.501 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 4.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.501 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.502 * [backup-simplify]: Simplify (+ 0 0) into 0 4.502 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0 4.502 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0 4.502 * [taylor]: Taking taylor expansion of 0 in im 4.502 * [backup-simplify]: Simplify 0 into 0 4.502 * [backup-simplify]: Simplify 0 into 0 4.503 * [backup-simplify]: Simplify (+ 0) into 0 4.503 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 4.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 4.504 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.504 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 4.505 * [backup-simplify]: Simplify (- 0) into 0 4.505 * [backup-simplify]: Simplify (+ 0 0) into 0 4.505 * [backup-simplify]: Simplify (+ 0 0) into 0 4.506 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0 4.507 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.507 * [backup-simplify]: Simplify (- 0) into 0 4.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.508 * [backup-simplify]: Simplify (- 0) into 0 4.509 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.511 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.511 * [backup-simplify]: Simplify (+ 0 0) into 0 4.512 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 4.513 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0 4.513 * [taylor]: Taking taylor expansion of 0 in im 4.513 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.516 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 4.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.517 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.518 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 4.518 * [backup-simplify]: Simplify (- 0) into 0 4.518 * [backup-simplify]: Simplify (+ 0 0) into 0 4.519 * [backup-simplify]: Simplify (+ 0 0) into 0 4.520 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 4.521 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0 4.521 * [backup-simplify]: Simplify 0 into 0 4.521 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.521 * [backup-simplify]: Simplify (- 0) into 0 4.522 * [backup-simplify]: Simplify (- 0) into 0 4.522 * [backup-simplify]: Simplify (- 0) into 0 4.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.523 * [backup-simplify]: Simplify (- 0) into 0 4.529 * [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.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.531 * [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.532 * [backup-simplify]: Simplify (+ 0 0) into 0 4.533 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 4.534 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))))) into 0 4.534 * [taylor]: Taking taylor expansion of 0 in im 4.534 * [backup-simplify]: Simplify 0 into 0 4.534 * [backup-simplify]: Simplify 0 into 0 4.534 * [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)))) 4.534 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 (- re)))) (+ (exp (/ 1 (- im))) (exp (- (/ 1 (- im)))))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) 4.534 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 4.534 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 4.534 * [taylor]: Taking taylor expansion of 0.5 in im 4.534 * [backup-simplify]: Simplify 0.5 into 0.5 4.534 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 4.534 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im 4.534 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.534 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.534 * [taylor]: Taking taylor expansion of im in im 4.534 * [backup-simplify]: Simplify 0 into 0 4.535 * [backup-simplify]: Simplify 1 into 1 4.535 * [backup-simplify]: Simplify (/ 1 1) into 1 4.535 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.535 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.535 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.535 * [taylor]: Taking taylor expansion of -1 in im 4.535 * [backup-simplify]: Simplify -1 into -1 4.535 * [taylor]: Taking taylor expansion of im in im 4.535 * [backup-simplify]: Simplify 0 into 0 4.535 * [backup-simplify]: Simplify 1 into 1 4.535 * [backup-simplify]: Simplify (/ -1 1) into -1 4.535 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.535 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 4.535 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.536 * [taylor]: Taking taylor expansion of -1 in im 4.536 * [backup-simplify]: Simplify -1 into -1 4.536 * [taylor]: Taking taylor expansion of re in im 4.536 * [backup-simplify]: Simplify re into re 4.536 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 4.536 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.536 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.536 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 4.536 * [taylor]: Taking taylor expansion of 0.5 in re 4.536 * [backup-simplify]: Simplify 0.5 into 0.5 4.536 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 4.536 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in re 4.536 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.536 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.536 * [taylor]: Taking taylor expansion of im in re 4.536 * [backup-simplify]: Simplify im into im 4.536 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.536 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.536 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 4.536 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.536 * [taylor]: Taking taylor expansion of -1 in re 4.536 * [backup-simplify]: Simplify -1 into -1 4.536 * [taylor]: Taking taylor expansion of im in re 4.536 * [backup-simplify]: Simplify im into im 4.536 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 4.536 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.536 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 4.536 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.536 * [taylor]: Taking taylor expansion of -1 in re 4.536 * [backup-simplify]: Simplify -1 into -1 4.536 * [taylor]: Taking taylor expansion of re in re 4.536 * [backup-simplify]: Simplify 0 into 0 4.536 * [backup-simplify]: Simplify 1 into 1 4.537 * [backup-simplify]: Simplify (/ -1 1) into -1 4.537 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.537 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 4.537 * [taylor]: Taking taylor expansion of 0.5 in re 4.537 * [backup-simplify]: Simplify 0.5 into 0.5 4.537 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 4.537 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in re 4.537 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.537 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.537 * [taylor]: Taking taylor expansion of im in re 4.537 * [backup-simplify]: Simplify im into im 4.537 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.537 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.537 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 4.537 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.537 * [taylor]: Taking taylor expansion of -1 in re 4.537 * [backup-simplify]: Simplify -1 into -1 4.537 * [taylor]: Taking taylor expansion of im in re 4.537 * [backup-simplify]: Simplify im into im 4.537 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 4.537 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.537 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 4.537 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.537 * [taylor]: Taking taylor expansion of -1 in re 4.537 * [backup-simplify]: Simplify -1 into -1 4.537 * [taylor]: Taking taylor expansion of re in re 4.537 * [backup-simplify]: Simplify 0 into 0 4.537 * [backup-simplify]: Simplify 1 into 1 4.538 * [backup-simplify]: Simplify (/ -1 1) into -1 4.538 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.538 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.538 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) 4.538 * [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)))) 4.538 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 4.538 * [taylor]: Taking taylor expansion of 0.5 in im 4.538 * [backup-simplify]: Simplify 0.5 into 0.5 4.538 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 4.538 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 4.538 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.538 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.538 * [taylor]: Taking taylor expansion of -1 in im 4.538 * [backup-simplify]: Simplify -1 into -1 4.538 * [taylor]: Taking taylor expansion of im in im 4.538 * [backup-simplify]: Simplify 0 into 0 4.539 * [backup-simplify]: Simplify 1 into 1 4.539 * [backup-simplify]: Simplify (/ -1 1) into -1 4.539 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.539 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.539 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.539 * [taylor]: Taking taylor expansion of im in im 4.539 * [backup-simplify]: Simplify 0 into 0 4.539 * [backup-simplify]: Simplify 1 into 1 4.539 * [backup-simplify]: Simplify (/ 1 1) into 1 4.539 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.539 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 4.539 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.539 * [taylor]: Taking taylor expansion of -1 in im 4.539 * [backup-simplify]: Simplify -1 into -1 4.539 * [taylor]: Taking taylor expansion of re in im 4.539 * [backup-simplify]: Simplify re into re 4.539 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 4.540 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.540 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.540 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im))) 4.540 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 4.540 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 4.540 * [backup-simplify]: Simplify (- 0) into 0 4.540 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 4.540 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) 4.540 * [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)))) 4.541 * [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)))) 4.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.541 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.541 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 4.542 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.542 * [backup-simplify]: Simplify (+ 0 0) into 0 4.542 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 4.543 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))) into 0 4.543 * [taylor]: Taking taylor expansion of 0 in im 4.543 * [backup-simplify]: Simplify 0 into 0 4.543 * [backup-simplify]: Simplify 0 into 0 4.543 * [backup-simplify]: Simplify (+ 0) into 0 4.544 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 4.544 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 4.544 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.545 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 4.545 * [backup-simplify]: Simplify (- 0) into 0 4.545 * [backup-simplify]: Simplify (+ 0 0) into 0 4.545 * [backup-simplify]: Simplify (+ 0 0) into 0 4.546 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 4.546 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0 4.546 * [backup-simplify]: Simplify 0 into 0 4.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.547 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.547 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.548 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.548 * [backup-simplify]: Simplify (+ 0 0) into 0 4.549 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 4.550 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))))) into 0 4.550 * [taylor]: Taking taylor expansion of 0 in im 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.551 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 4.551 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.551 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.552 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 4.552 * [backup-simplify]: Simplify (- 0) into 0 4.552 * [backup-simplify]: Simplify (+ 0 0) into 0 4.552 * [backup-simplify]: Simplify (+ 0 0) into 0 4.553 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 4.554 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0 4.554 * [backup-simplify]: Simplify 0 into 0 4.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.555 * [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.555 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.556 * [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.556 * [backup-simplify]: Simplify (+ 0 0) into 0 4.557 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 4.558 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))))) into 0 4.558 * [taylor]: Taking taylor expansion of 0 in im 4.558 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify 0 into 0 4.558 * [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))) 4.558 * * * [progress]: simplifying candidates 4.559 * [simplify]: Simplifying: (expm1 (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (log1p (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) (+ (+ (log 0.5) (log (cos re))) (log (+ (exp im) (exp (- im))))) (+ (log (* 0.5 (cos re))) (log (+ (exp im) (exp (- im))))) (log (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (exp (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im)))) (+ (exp im) (exp (- im))))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im)))) (+ (exp im) (exp (- im))))) (* (cbrt (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (cbrt (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))) (cbrt (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (* (* (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (sqrt (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (sqrt (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) (* (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp (- im))) (* (exp im) (* 0.5 (cos re))) (* (exp (- im)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (+ (exp im) (exp (- im)))) (cbrt (+ (exp im) (exp (- im)))))) (* (* 0.5 (cos re)) (sqrt (+ (exp im) (exp (- im))))) (* (* 0.5 (cos re)) 1) (* (* 0.5 (cos re)) 1) (* (cos re) (+ (exp im) (exp (- im)))) (* (* 0.5 (cos re)) (+ (pow (exp im) 3) (pow (exp (- im)) 3))) (* (* 0.5 (cos re)) (- (* (exp im) (exp im)) (* (exp (- im)) (exp (- im))))) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) (* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re))) 4.559 * * [simplify]: iteration 0: 75 enodes 4.582 * * [simplify]: iteration 1: 242 enodes 4.706 * * [simplify]: iteration 2: 1719 enodes 5.724 * * [simplify]: iteration complete: 5000 enodes 5.724 * * [simplify]: Extracting #0: cost 18 inf + 0 5.726 * * [simplify]: Extracting #1: cost 476 inf + 0 5.733 * * [simplify]: Extracting #2: cost 1553 inf + 16 5.754 * * [simplify]: Extracting #3: cost 1726 inf + 1218 5.765 * * [simplify]: Extracting #4: cost 753 inf + 10055 5.777 * * [simplify]: Extracting #5: cost 77 inf + 20415 5.788 * * [simplify]: Extracting #6: cost 0 inf + 21686 5.799 * [simplify]: Simplified to: (expm1 (* (* (cos re) 0.5) (+ (exp im) (exp (- im))))) (log1p (* (* (cos re) 0.5) (+ (exp im) (exp (- im))))) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (log (* (* (cos re) 0.5) (+ (exp im) (exp (- im))))) (log (* (* (cos re) 0.5) (+ (exp im) (exp (- im))))) (log (* (* (cos re) 0.5) (+ (exp im) (exp (- im))))) (pow (exp (+ (exp (- im)) (exp im))) (* (cos re) 0.5)) (pow (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) 3) (pow (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) 3) (* (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))))) (pow (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) 3) (sqrt (* (* (cos re) 0.5) (+ (exp im) (exp (- im))))) (sqrt (* (* (cos re) 0.5) (+ (exp im) (exp (- im))))) (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))) (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))) (* (* (* (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) (* (cos re) 0.5) (* (cos re) (+ (exp im) (exp (- im)))) (* (* (cos re) 0.5) (+ (pow (exp im) 3) (pow (exp (- im)) 3))) (* (* 0.5 (cos re)) (- (exp (+ im im)) (pow (exp im) -2))) (fma 0.5 (* re (- re)) (fma 0.5 (* im im) 1.0)) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) 5.799 * * * [progress]: adding candidates to table 5.909 * * [progress]: iteration 2 / 4 5.909 * * * [progress]: picking best candidate 5.912 * * * * [pick]: Picked # 5.912 * * * [progress]: localizing error 5.927 * * * [progress]: generating rewritten candidates 5.927 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.936 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 5.972 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 6.004 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.024 * * * [progress]: generating series expansions 6.024 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.025 * [backup-simplify]: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im)) 6.025 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 6.025 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 6.025 * [taylor]: Taking taylor expansion of 0.5 in im 6.025 * [backup-simplify]: Simplify 0.5 into 0.5 6.025 * [taylor]: Taking taylor expansion of (exp im) in im 6.025 * [taylor]: Taking taylor expansion of im in im 6.025 * [backup-simplify]: Simplify 0 into 0 6.025 * [backup-simplify]: Simplify 1 into 1 6.025 * [backup-simplify]: Simplify (exp 0) into 1 6.026 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 6.026 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 6.026 * [taylor]: Taking taylor expansion of 0.5 in im 6.026 * [backup-simplify]: Simplify 0.5 into 0.5 6.026 * [taylor]: Taking taylor expansion of (exp im) in im 6.026 * [taylor]: Taking taylor expansion of im in im 6.026 * [backup-simplify]: Simplify 0 into 0 6.026 * [backup-simplify]: Simplify 1 into 1 6.026 * [backup-simplify]: Simplify (exp 0) into 1 6.026 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 6.026 * [backup-simplify]: Simplify 0.5 into 0.5 6.028 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 6.031 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.033 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25 6.039 * [backup-simplify]: Simplify 0.25 into 0.25 6.039 * [backup-simplify]: Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) 6.040 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.040 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 6.040 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 6.040 * [taylor]: Taking taylor expansion of 0.5 in im 6.040 * [backup-simplify]: Simplify 0.5 into 0.5 6.040 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.040 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.040 * [taylor]: Taking taylor expansion of im in im 6.040 * [backup-simplify]: Simplify 0 into 0 6.040 * [backup-simplify]: Simplify 1 into 1 6.040 * [backup-simplify]: Simplify (/ 1 1) into 1 6.040 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.040 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.041 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 6.041 * [taylor]: Taking taylor expansion of 0.5 in im 6.041 * [backup-simplify]: Simplify 0.5 into 0.5 6.041 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.041 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.041 * [taylor]: Taking taylor expansion of im in im 6.041 * [backup-simplify]: Simplify 0 into 0 6.041 * [backup-simplify]: Simplify 1 into 1 6.041 * [backup-simplify]: Simplify (/ 1 1) into 1 6.041 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.041 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.042 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.042 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.042 * [backup-simplify]: Simplify 0 into 0 6.042 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.042 * [backup-simplify]: Simplify 0 into 0 6.043 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.043 * [backup-simplify]: Simplify 0 into 0 6.044 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.044 * [backup-simplify]: Simplify 0 into 0 6.045 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.045 * [backup-simplify]: Simplify 0 into 0 6.046 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.046 * [backup-simplify]: Simplify 0 into 0 6.046 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im)) 6.046 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im))) 6.046 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 6.046 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 6.046 * [taylor]: Taking taylor expansion of 0.5 in im 6.046 * [backup-simplify]: Simplify 0.5 into 0.5 6.046 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.046 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.046 * [taylor]: Taking taylor expansion of -1 in im 6.047 * [backup-simplify]: Simplify -1 into -1 6.047 * [taylor]: Taking taylor expansion of im in im 6.047 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify 1 into 1 6.047 * [backup-simplify]: Simplify (/ -1 1) into -1 6.047 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.047 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 6.048 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 6.048 * [taylor]: Taking taylor expansion of 0.5 in im 6.048 * [backup-simplify]: Simplify 0.5 into 0.5 6.048 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.048 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.048 * [taylor]: Taking taylor expansion of -1 in im 6.048 * [backup-simplify]: Simplify -1 into -1 6.048 * [taylor]: Taking taylor expansion of im in im 6.048 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify 1 into 1 6.048 * [backup-simplify]: Simplify (/ -1 1) into -1 6.048 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.048 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 6.049 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 6.049 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.049 * [backup-simplify]: Simplify 0 into 0 6.049 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.050 * [backup-simplify]: Simplify 0 into 0 6.050 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.050 * [backup-simplify]: Simplify 0 into 0 6.051 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.051 * [backup-simplify]: Simplify 0 into 0 6.052 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.052 * [backup-simplify]: Simplify 0 into 0 6.052 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.052 * [backup-simplify]: Simplify 0 into 0 6.053 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im)) 6.053 * * * * [progress]: [ 2 / 4 ] generating series at (2) 6.053 * [backup-simplify]: Simplify (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im)))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) 6.053 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in (im re) around 0 6.053 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re 6.053 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re 6.053 * [taylor]: Taking taylor expansion of 0.5 in re 6.053 * [backup-simplify]: Simplify 0.5 into 0.5 6.053 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re 6.053 * [taylor]: Taking taylor expansion of (exp im) in re 6.053 * [taylor]: Taking taylor expansion of im in re 6.053 * [backup-simplify]: Simplify im into im 6.053 * [backup-simplify]: Simplify (exp im) into (exp im) 6.053 * [taylor]: Taking taylor expansion of (cos re) in re 6.054 * [taylor]: Taking taylor expansion of re in re 6.054 * [backup-simplify]: Simplify 0 into 0 6.054 * [backup-simplify]: Simplify 1 into 1 6.054 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 6.054 * [taylor]: Taking taylor expansion of 0.5 in re 6.054 * [backup-simplify]: Simplify 0.5 into 0.5 6.054 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 6.054 * [taylor]: Taking taylor expansion of (cos re) in re 6.054 * [taylor]: Taking taylor expansion of re in re 6.054 * [backup-simplify]: Simplify 0 into 0 6.054 * [backup-simplify]: Simplify 1 into 1 6.054 * [taylor]: Taking taylor expansion of (exp im) in re 6.054 * [taylor]: Taking taylor expansion of im in re 6.054 * [backup-simplify]: Simplify im into im 6.054 * [backup-simplify]: Simplify (exp im) into (exp im) 6.054 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.054 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im 6.054 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.054 * [taylor]: Taking taylor expansion of 0.5 in im 6.054 * [backup-simplify]: Simplify 0.5 into 0.5 6.054 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.054 * [taylor]: Taking taylor expansion of (exp im) in im 6.054 * [taylor]: Taking taylor expansion of im in im 6.054 * [backup-simplify]: Simplify 0 into 0 6.054 * [backup-simplify]: Simplify 1 into 1 6.054 * [backup-simplify]: Simplify (exp 0) into 1 6.054 * [taylor]: Taking taylor expansion of (cos re) in im 6.054 * [taylor]: Taking taylor expansion of re in im 6.054 * [backup-simplify]: Simplify re into re 6.054 * [backup-simplify]: Simplify (cos re) into (cos re) 6.055 * [backup-simplify]: Simplify (sin re) into (sin re) 6.055 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 6.055 * [taylor]: Taking taylor expansion of 0.5 in im 6.055 * [backup-simplify]: Simplify 0.5 into 0.5 6.055 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 6.055 * [taylor]: Taking taylor expansion of (cos re) in im 6.055 * [taylor]: Taking taylor expansion of re in im 6.055 * [backup-simplify]: Simplify re into re 6.055 * [backup-simplify]: Simplify (cos re) into (cos re) 6.055 * [backup-simplify]: Simplify (sin re) into (sin re) 6.055 * [taylor]: Taking taylor expansion of (exp im) in im 6.055 * [taylor]: Taking taylor expansion of im in im 6.055 * [backup-simplify]: Simplify 0 into 0 6.055 * [backup-simplify]: Simplify 1 into 1 6.055 * [backup-simplify]: Simplify (exp 0) into 1 6.055 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.055 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.056 * [backup-simplify]: Simplify (- 0) into 0 6.056 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.056 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 6.056 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im 6.056 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.056 * [taylor]: Taking taylor expansion of 0.5 in im 6.056 * [backup-simplify]: Simplify 0.5 into 0.5 6.056 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.056 * [taylor]: Taking taylor expansion of (exp im) in im 6.056 * [taylor]: Taking taylor expansion of im in im 6.056 * [backup-simplify]: Simplify 0 into 0 6.056 * [backup-simplify]: Simplify 1 into 1 6.056 * [backup-simplify]: Simplify (exp 0) into 1 6.056 * [taylor]: Taking taylor expansion of (cos re) in im 6.056 * [taylor]: Taking taylor expansion of re in im 6.056 * [backup-simplify]: Simplify re into re 6.056 * [backup-simplify]: Simplify (cos re) into (cos re) 6.057 * [backup-simplify]: Simplify (sin re) into (sin re) 6.057 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 6.057 * [taylor]: Taking taylor expansion of 0.5 in im 6.057 * [backup-simplify]: Simplify 0.5 into 0.5 6.057 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 6.057 * [taylor]: Taking taylor expansion of (cos re) in im 6.057 * [taylor]: Taking taylor expansion of re in im 6.057 * [backup-simplify]: Simplify re into re 6.057 * [backup-simplify]: Simplify (cos re) into (cos re) 6.057 * [backup-simplify]: Simplify (sin re) into (sin re) 6.057 * [taylor]: Taking taylor expansion of (exp im) in im 6.057 * [taylor]: Taking taylor expansion of im in im 6.057 * [backup-simplify]: Simplify 0 into 0 6.057 * [backup-simplify]: Simplify 1 into 1 6.057 * [backup-simplify]: Simplify (exp 0) into 1 6.057 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.057 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.058 * [backup-simplify]: Simplify (- 0) into 0 6.058 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.058 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 6.058 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.058 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.059 * [backup-simplify]: Simplify (- 0) into 0 6.059 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.059 * [backup-simplify]: Simplify (* 1 (cos re)) into (cos re) 6.059 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 6.059 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 6.059 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0.5 (cos re))) into (* 1.0 (cos re)) 6.059 * [taylor]: Taking taylor expansion of (* 1.0 (cos re)) in re 6.059 * [taylor]: Taking taylor expansion of 1.0 in re 6.059 * [backup-simplify]: Simplify 1.0 into 1.0 6.059 * [taylor]: Taking taylor expansion of (cos re) in re 6.059 * [taylor]: Taking taylor expansion of re in re 6.059 * [backup-simplify]: Simplify 0 into 0 6.059 * [backup-simplify]: Simplify 1 into 1 6.060 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.060 * [backup-simplify]: Simplify 1.0 into 1.0 6.060 * [backup-simplify]: Simplify (+ 0) into 0 6.061 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 6.062 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.062 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 6.063 * [backup-simplify]: Simplify (- 0) into 0 6.063 * [backup-simplify]: Simplify (+ 0 0) into 0 6.064 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.065 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos re))) into (cos re) 6.065 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0 (cos re))) into (* 0.5 (cos re)) 6.065 * [backup-simplify]: Simplify (+ 0) into 0 6.066 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 6.067 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.067 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 6.068 * [backup-simplify]: Simplify (- 0) into 0 6.068 * [backup-simplify]: Simplify (+ 0 0) into 0 6.069 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1 1)))) into (- (cos re)) 6.071 * [backup-simplify]: Simplify (+ (* 0.5 (- (cos re))) (* 0 (cos re))) into (- (* 0.5 (cos re))) 6.071 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (- (* 0.5 (cos re)))) into 0 6.071 * [taylor]: Taking taylor expansion of 0 in re 6.071 * [backup-simplify]: Simplify 0 into 0 6.071 * [backup-simplify]: Simplify 0 into 0 6.071 * [backup-simplify]: Simplify (+ 0) into 0 6.072 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.072 * [backup-simplify]: Simplify 0 into 0 6.073 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.074 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 6.075 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.076 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 6.076 * [backup-simplify]: Simplify (- 0) into 0 6.077 * [backup-simplify]: Simplify (+ 0 0) into 0 6.078 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos re)))) into (* 1/2 (cos re)) 6.080 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (cos re)) (* 0 (cos re)))) into (* 0.25 (cos re)) 6.081 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.082 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 6.083 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.083 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 6.084 * [backup-simplify]: Simplify (- 0) into 0 6.084 * [backup-simplify]: Simplify (+ 0 0) into 0 6.086 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1/2 1)) (* (- (cos re)) (/ 1 1)))) into (* 1/2 (cos re)) 6.087 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (- (cos re))) (* 0 (cos re)))) into (* 0.25 (cos re)) 6.088 * [backup-simplify]: Simplify (+ (* 0.25 (cos re)) (* 0.25 (cos re))) into (* 0.5 (cos re)) 6.088 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 6.088 * [taylor]: Taking taylor expansion of 0.5 in re 6.088 * [backup-simplify]: Simplify 0.5 into 0.5 6.088 * [taylor]: Taking taylor expansion of (cos re) in re 6.088 * [taylor]: Taking taylor expansion of re in re 6.088 * [backup-simplify]: Simplify 0 into 0 6.088 * [backup-simplify]: Simplify 1 into 1 6.088 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.088 * [backup-simplify]: Simplify 0.5 into 0.5 6.089 * [backup-simplify]: Simplify 0 into 0 6.090 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 6.092 * [backup-simplify]: Simplify (+ (* 1.0 -1/2) (+ (* 0 0) (* 0 1))) into (- 0.5) 6.093 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.094 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (* re 1) 2)) (+ (* 0.5 (pow (* 1 im) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 6.094 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) (* (cos (/ 1 re)) 0.5)) (* (cos (/ 1 re)) (/ 0.5 (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) 6.094 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 6.094 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re 6.094 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.094 * [taylor]: Taking taylor expansion of 0.5 in re 6.095 * [backup-simplify]: Simplify 0.5 into 0.5 6.095 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.095 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.095 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.095 * [taylor]: Taking taylor expansion of re in re 6.095 * [backup-simplify]: Simplify 0 into 0 6.095 * [backup-simplify]: Simplify 1 into 1 6.095 * [backup-simplify]: Simplify (/ 1 1) into 1 6.095 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.095 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.095 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.095 * [taylor]: Taking taylor expansion of im in re 6.095 * [backup-simplify]: Simplify im into im 6.095 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.096 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.096 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.096 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.096 * [taylor]: Taking taylor expansion of 0.5 in re 6.096 * [backup-simplify]: Simplify 0.5 into 0.5 6.096 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.096 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.096 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.096 * [taylor]: Taking taylor expansion of re in re 6.096 * [backup-simplify]: Simplify 0 into 0 6.096 * [backup-simplify]: Simplify 1 into 1 6.096 * [backup-simplify]: Simplify (/ 1 1) into 1 6.096 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.096 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.097 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.097 * [taylor]: Taking taylor expansion of im in re 6.097 * [backup-simplify]: Simplify im into im 6.097 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.097 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.097 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im 6.097 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.097 * [taylor]: Taking taylor expansion of 0.5 in im 6.097 * [backup-simplify]: Simplify 0.5 into 0.5 6.097 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.097 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.097 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.097 * [taylor]: Taking taylor expansion of re in im 6.097 * [backup-simplify]: Simplify re into re 6.097 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.097 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.097 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.097 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.097 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.097 * [taylor]: Taking taylor expansion of im in im 6.097 * [backup-simplify]: Simplify 0 into 0 6.097 * [backup-simplify]: Simplify 1 into 1 6.098 * [backup-simplify]: Simplify (/ 1 1) into 1 6.098 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.098 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.098 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.099 * [backup-simplify]: Simplify (- 0) into 0 6.099 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.099 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.099 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.099 * [taylor]: Taking taylor expansion of 0.5 in im 6.099 * [backup-simplify]: Simplify 0.5 into 0.5 6.099 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 6.099 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.099 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.099 * [taylor]: Taking taylor expansion of re in im 6.099 * [backup-simplify]: Simplify re into re 6.099 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.099 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.099 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.099 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.099 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.099 * [taylor]: Taking taylor expansion of im in im 6.099 * [backup-simplify]: Simplify 0 into 0 6.100 * [backup-simplify]: Simplify 1 into 1 6.100 * [backup-simplify]: Simplify (/ 1 1) into 1 6.100 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.100 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im 6.100 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.100 * [taylor]: Taking taylor expansion of 0.5 in im 6.100 * [backup-simplify]: Simplify 0.5 into 0.5 6.100 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.100 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.100 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.100 * [taylor]: Taking taylor expansion of re in im 6.100 * [backup-simplify]: Simplify re into re 6.100 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.100 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.101 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.101 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.101 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.101 * [taylor]: Taking taylor expansion of im in im 6.101 * [backup-simplify]: Simplify 0 into 0 6.101 * [backup-simplify]: Simplify 1 into 1 6.101 * [backup-simplify]: Simplify (/ 1 1) into 1 6.101 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.101 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.101 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.102 * [backup-simplify]: Simplify (- 0) into 0 6.102 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.102 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.102 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.102 * [taylor]: Taking taylor expansion of 0.5 in im 6.102 * [backup-simplify]: Simplify 0.5 into 0.5 6.102 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 6.102 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.102 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.102 * [taylor]: Taking taylor expansion of re in im 6.102 * [backup-simplify]: Simplify re into re 6.102 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.103 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.103 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.103 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.103 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.103 * [taylor]: Taking taylor expansion of im in im 6.103 * [backup-simplify]: Simplify 0 into 0 6.103 * [backup-simplify]: Simplify 1 into 1 6.103 * [backup-simplify]: Simplify (/ 1 1) into 1 6.103 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.104 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.104 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.104 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.104 * [backup-simplify]: Simplify (- 0) into 0 6.104 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.104 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 6.105 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.105 * [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))))) 6.105 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re 6.105 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.105 * [taylor]: Taking taylor expansion of 0.5 in re 6.105 * [backup-simplify]: Simplify 0.5 into 0.5 6.105 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.105 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.105 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.105 * [taylor]: Taking taylor expansion of re in re 6.105 * [backup-simplify]: Simplify 0 into 0 6.105 * [backup-simplify]: Simplify 1 into 1 6.106 * [backup-simplify]: Simplify (/ 1 1) into 1 6.106 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.106 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.106 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.106 * [taylor]: Taking taylor expansion of im in re 6.106 * [backup-simplify]: Simplify im into im 6.106 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.106 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.106 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.106 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.106 * [taylor]: Taking taylor expansion of 0.5 in re 6.107 * [backup-simplify]: Simplify 0.5 into 0.5 6.107 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.107 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.107 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.107 * [taylor]: Taking taylor expansion of re in re 6.107 * [backup-simplify]: Simplify 0 into 0 6.107 * [backup-simplify]: Simplify 1 into 1 6.107 * [backup-simplify]: Simplify (/ 1 1) into 1 6.107 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.107 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.107 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.107 * [taylor]: Taking taylor expansion of im in re 6.107 * [backup-simplify]: Simplify im into im 6.107 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.107 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.108 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.108 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 6.108 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.108 * [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))))) 6.109 * [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))))) 6.109 * [backup-simplify]: Simplify (+ 0) into 0 6.110 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.111 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.111 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.112 * [backup-simplify]: Simplify (- 0) into 0 6.112 * [backup-simplify]: Simplify (+ 0 0) into 0 6.113 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.113 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.114 * [backup-simplify]: Simplify (+ 0) into 0 6.114 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.114 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.115 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.116 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.116 * [backup-simplify]: Simplify (- 0) into 0 6.116 * [backup-simplify]: Simplify (+ 0 0) into 0 6.117 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.117 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.118 * [backup-simplify]: Simplify (+ 0 0) into 0 6.118 * [taylor]: Taking taylor expansion of 0 in re 6.118 * [backup-simplify]: Simplify 0 into 0 6.118 * [backup-simplify]: Simplify 0 into 0 6.118 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.119 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.119 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.120 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.120 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.121 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.121 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.122 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.122 * [backup-simplify]: Simplify (+ 0 0) into 0 6.122 * [backup-simplify]: Simplify 0 into 0 6.123 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.124 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.124 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.125 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.126 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.126 * [backup-simplify]: Simplify (- 0) into 0 6.126 * [backup-simplify]: Simplify (+ 0 0) into 0 6.127 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.128 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.129 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.130 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.130 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.131 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.131 * [backup-simplify]: Simplify (- 0) into 0 6.132 * [backup-simplify]: Simplify (+ 0 0) into 0 6.133 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.134 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.139 * [backup-simplify]: Simplify (+ 0 0) into 0 6.139 * [taylor]: Taking taylor expansion of 0 in re 6.139 * [backup-simplify]: Simplify 0 into 0 6.139 * [backup-simplify]: Simplify 0 into 0 6.139 * [backup-simplify]: Simplify 0 into 0 6.139 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.141 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.141 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.142 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.143 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.143 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.144 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.144 * [backup-simplify]: Simplify (+ 0 0) into 0 6.145 * [backup-simplify]: Simplify 0 into 0 6.145 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.146 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.147 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.147 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.148 * [backup-simplify]: Simplify (- 0) into 0 6.148 * [backup-simplify]: Simplify (+ 0 0) into 0 6.148 * [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 6.149 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.150 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.150 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.151 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.152 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.152 * [backup-simplify]: Simplify (- 0) into 0 6.152 * [backup-simplify]: Simplify (+ 0 0) into 0 6.153 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 6.155 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.155 * [backup-simplify]: Simplify (+ 0 0) into 0 6.155 * [taylor]: Taking taylor expansion of 0 in re 6.156 * [backup-simplify]: Simplify 0 into 0 6.156 * [backup-simplify]: Simplify 0 into 0 6.157 * [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)))) 6.158 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (- im))) (* (cos (/ 1 (- re))) 0.5)) (* (cos (/ 1 (- re))) (/ 0.5 (exp (/ 1 (- im)))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) 6.158 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in (im re) around 0 6.158 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re 6.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.158 * [taylor]: Taking taylor expansion of 0.5 in re 6.158 * [backup-simplify]: Simplify 0.5 into 0.5 6.158 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.158 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.158 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.158 * [taylor]: Taking taylor expansion of -1 in re 6.158 * [backup-simplify]: Simplify -1 into -1 6.158 * [taylor]: Taking taylor expansion of re in re 6.158 * [backup-simplify]: Simplify 0 into 0 6.158 * [backup-simplify]: Simplify 1 into 1 6.159 * [backup-simplify]: Simplify (/ -1 1) into -1 6.159 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.159 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.159 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.159 * [taylor]: Taking taylor expansion of -1 in re 6.159 * [backup-simplify]: Simplify -1 into -1 6.159 * [taylor]: Taking taylor expansion of im in re 6.159 * [backup-simplify]: Simplify im into im 6.159 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.159 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.159 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.160 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.160 * [taylor]: Taking taylor expansion of 0.5 in re 6.160 * [backup-simplify]: Simplify 0.5 into 0.5 6.160 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.160 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.160 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.160 * [taylor]: Taking taylor expansion of -1 in re 6.160 * [backup-simplify]: Simplify -1 into -1 6.160 * [taylor]: Taking taylor expansion of re in re 6.160 * [backup-simplify]: Simplify 0 into 0 6.160 * [backup-simplify]: Simplify 1 into 1 6.160 * [backup-simplify]: Simplify (/ -1 1) into -1 6.160 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.160 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.161 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.161 * [taylor]: Taking taylor expansion of -1 in re 6.161 * [backup-simplify]: Simplify -1 into -1 6.161 * [taylor]: Taking taylor expansion of im in re 6.161 * [backup-simplify]: Simplify im into im 6.161 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.161 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.161 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im 6.161 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.161 * [taylor]: Taking taylor expansion of 0.5 in im 6.161 * [backup-simplify]: Simplify 0.5 into 0.5 6.161 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.161 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.161 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.161 * [taylor]: Taking taylor expansion of -1 in im 6.161 * [backup-simplify]: Simplify -1 into -1 6.161 * [taylor]: Taking taylor expansion of re in im 6.161 * [backup-simplify]: Simplify re into re 6.161 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.161 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.161 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.161 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.161 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.161 * [taylor]: Taking taylor expansion of -1 in im 6.162 * [backup-simplify]: Simplify -1 into -1 6.162 * [taylor]: Taking taylor expansion of im in im 6.162 * [backup-simplify]: Simplify 0 into 0 6.162 * [backup-simplify]: Simplify 1 into 1 6.162 * [backup-simplify]: Simplify (/ -1 1) into -1 6.162 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.162 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.162 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.163 * [backup-simplify]: Simplify (- 0) into 0 6.163 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.163 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.163 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.163 * [taylor]: Taking taylor expansion of 0.5 in im 6.163 * [backup-simplify]: Simplify 0.5 into 0.5 6.163 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 6.163 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.163 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.163 * [taylor]: Taking taylor expansion of -1 in im 6.163 * [backup-simplify]: Simplify -1 into -1 6.164 * [taylor]: Taking taylor expansion of re in im 6.164 * [backup-simplify]: Simplify re into re 6.164 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.164 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.164 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.164 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.164 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.164 * [taylor]: Taking taylor expansion of -1 in im 6.164 * [backup-simplify]: Simplify -1 into -1 6.164 * [taylor]: Taking taylor expansion of im in im 6.164 * [backup-simplify]: Simplify 0 into 0 6.164 * [backup-simplify]: Simplify 1 into 1 6.164 * [backup-simplify]: Simplify (/ -1 1) into -1 6.165 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.165 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im 6.165 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.165 * [taylor]: Taking taylor expansion of 0.5 in im 6.165 * [backup-simplify]: Simplify 0.5 into 0.5 6.165 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.165 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.165 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.165 * [taylor]: Taking taylor expansion of -1 in im 6.165 * [backup-simplify]: Simplify -1 into -1 6.165 * [taylor]: Taking taylor expansion of re in im 6.165 * [backup-simplify]: Simplify re into re 6.165 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.165 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.165 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.165 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.165 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.165 * [taylor]: Taking taylor expansion of -1 in im 6.165 * [backup-simplify]: Simplify -1 into -1 6.165 * [taylor]: Taking taylor expansion of im in im 6.165 * [backup-simplify]: Simplify 0 into 0 6.165 * [backup-simplify]: Simplify 1 into 1 6.166 * [backup-simplify]: Simplify (/ -1 1) into -1 6.166 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.166 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.166 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.166 * [backup-simplify]: Simplify (- 0) into 0 6.167 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.167 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.167 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.167 * [taylor]: Taking taylor expansion of 0.5 in im 6.167 * [backup-simplify]: Simplify 0.5 into 0.5 6.167 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 6.167 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.167 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.167 * [taylor]: Taking taylor expansion of -1 in im 6.167 * [backup-simplify]: Simplify -1 into -1 6.167 * [taylor]: Taking taylor expansion of re in im 6.167 * [backup-simplify]: Simplify re into re 6.167 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.167 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.167 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.167 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.167 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.167 * [taylor]: Taking taylor expansion of -1 in im 6.167 * [backup-simplify]: Simplify -1 into -1 6.167 * [taylor]: Taking taylor expansion of im in im 6.167 * [backup-simplify]: Simplify 0 into 0 6.167 * [backup-simplify]: Simplify 1 into 1 6.168 * [backup-simplify]: Simplify (/ -1 1) into -1 6.168 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.168 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.168 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.168 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.169 * [backup-simplify]: Simplify (- 0) into 0 6.169 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.169 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.169 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.170 * [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))))) 6.170 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re 6.170 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.170 * [taylor]: Taking taylor expansion of 0.5 in re 6.170 * [backup-simplify]: Simplify 0.5 into 0.5 6.170 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.170 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.170 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.170 * [taylor]: Taking taylor expansion of -1 in re 6.170 * [backup-simplify]: Simplify -1 into -1 6.170 * [taylor]: Taking taylor expansion of re in re 6.170 * [backup-simplify]: Simplify 0 into 0 6.170 * [backup-simplify]: Simplify 1 into 1 6.171 * [backup-simplify]: Simplify (/ -1 1) into -1 6.171 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.171 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.171 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.171 * [taylor]: Taking taylor expansion of -1 in re 6.171 * [backup-simplify]: Simplify -1 into -1 6.171 * [taylor]: Taking taylor expansion of im in re 6.171 * [backup-simplify]: Simplify im into im 6.171 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.171 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.171 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.171 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.171 * [taylor]: Taking taylor expansion of 0.5 in re 6.171 * [backup-simplify]: Simplify 0.5 into 0.5 6.171 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.171 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.171 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.171 * [taylor]: Taking taylor expansion of -1 in re 6.171 * [backup-simplify]: Simplify -1 into -1 6.171 * [taylor]: Taking taylor expansion of re in re 6.171 * [backup-simplify]: Simplify 0 into 0 6.172 * [backup-simplify]: Simplify 1 into 1 6.172 * [backup-simplify]: Simplify (/ -1 1) into -1 6.172 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.172 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.172 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.172 * [taylor]: Taking taylor expansion of -1 in re 6.172 * [backup-simplify]: Simplify -1 into -1 6.172 * [taylor]: Taking taylor expansion of im in re 6.172 * [backup-simplify]: Simplify im into im 6.172 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.172 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.173 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.173 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.173 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.173 * [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))))) 6.174 * [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))))) 6.174 * [backup-simplify]: Simplify (+ 0) into 0 6.175 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.175 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.176 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.177 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.177 * [backup-simplify]: Simplify (- 0) into 0 6.177 * [backup-simplify]: Simplify (+ 0 0) into 0 6.178 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.178 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.179 * [backup-simplify]: Simplify (+ 0) into 0 6.179 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.180 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.180 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.181 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.181 * [backup-simplify]: Simplify (- 0) into 0 6.182 * [backup-simplify]: Simplify (+ 0 0) into 0 6.182 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.182 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.183 * [backup-simplify]: Simplify (+ 0 0) into 0 6.183 * [taylor]: Taking taylor expansion of 0 in re 6.183 * [backup-simplify]: Simplify 0 into 0 6.183 * [backup-simplify]: Simplify 0 into 0 6.183 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.184 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.184 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.185 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.185 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.186 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.186 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.187 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.187 * [backup-simplify]: Simplify (+ 0 0) into 0 6.187 * [backup-simplify]: Simplify 0 into 0 6.188 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.189 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.189 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.190 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.191 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.191 * [backup-simplify]: Simplify (- 0) into 0 6.192 * [backup-simplify]: Simplify (+ 0 0) into 0 6.192 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.193 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.193 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.194 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.194 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.195 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.195 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.196 * [backup-simplify]: Simplify (- 0) into 0 6.196 * [backup-simplify]: Simplify (+ 0 0) into 0 6.196 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.197 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.197 * [backup-simplify]: Simplify (+ 0 0) into 0 6.197 * [taylor]: Taking taylor expansion of 0 in re 6.197 * [backup-simplify]: Simplify 0 into 0 6.197 * [backup-simplify]: Simplify 0 into 0 6.197 * [backup-simplify]: Simplify 0 into 0 6.197 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.198 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.198 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.199 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.199 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.200 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.200 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.201 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.201 * [backup-simplify]: Simplify (+ 0 0) into 0 6.201 * [backup-simplify]: Simplify 0 into 0 6.202 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.202 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.202 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.203 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.204 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.204 * [backup-simplify]: Simplify (- 0) into 0 6.204 * [backup-simplify]: Simplify (+ 0 0) into 0 6.205 * [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 6.205 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.206 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.206 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.207 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.207 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.208 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.208 * [backup-simplify]: Simplify (- 0) into 0 6.208 * [backup-simplify]: Simplify (+ 0 0) into 0 6.209 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 6.210 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.210 * [backup-simplify]: Simplify (+ 0 0) into 0 6.210 * [taylor]: Taking taylor expansion of 0 in re 6.210 * [backup-simplify]: Simplify 0 into 0 6.210 * [backup-simplify]: Simplify 0 into 0 6.210 * [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)))) 6.211 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 6.211 * [backup-simplify]: Simplify (* (cos re) (/ 0.5 (exp im))) into (* 0.5 (/ (cos re) (exp im))) 6.211 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0 6.211 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 6.211 * [taylor]: Taking taylor expansion of 0.5 in im 6.211 * [backup-simplify]: Simplify 0.5 into 0.5 6.211 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 6.211 * [taylor]: Taking taylor expansion of (cos re) in im 6.211 * [taylor]: Taking taylor expansion of re in im 6.211 * [backup-simplify]: Simplify re into re 6.211 * [backup-simplify]: Simplify (cos re) into (cos re) 6.211 * [backup-simplify]: Simplify (sin re) into (sin re) 6.211 * [taylor]: Taking taylor expansion of (exp im) in im 6.211 * [taylor]: Taking taylor expansion of im in im 6.211 * [backup-simplify]: Simplify 0 into 0 6.211 * [backup-simplify]: Simplify 1 into 1 6.211 * [backup-simplify]: Simplify (exp 0) into 1 6.211 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.211 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.211 * [backup-simplify]: Simplify (- 0) into 0 6.211 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.211 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 6.211 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 6.211 * [taylor]: Taking taylor expansion of 0.5 in re 6.211 * [backup-simplify]: Simplify 0.5 into 0.5 6.211 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 6.211 * [taylor]: Taking taylor expansion of (cos re) in re 6.212 * [taylor]: Taking taylor expansion of re in re 6.212 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify 1 into 1 6.212 * [taylor]: Taking taylor expansion of (exp im) in re 6.212 * [taylor]: Taking taylor expansion of im in re 6.212 * [backup-simplify]: Simplify im into im 6.212 * [backup-simplify]: Simplify (exp im) into (exp im) 6.212 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.212 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 6.212 * [taylor]: Taking taylor expansion of 0.5 in re 6.212 * [backup-simplify]: Simplify 0.5 into 0.5 6.212 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 6.212 * [taylor]: Taking taylor expansion of (cos re) in re 6.212 * [taylor]: Taking taylor expansion of re in re 6.212 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify 1 into 1 6.212 * [taylor]: Taking taylor expansion of (exp im) in re 6.212 * [taylor]: Taking taylor expansion of im in re 6.212 * [backup-simplify]: Simplify im into im 6.212 * [backup-simplify]: Simplify (exp im) into (exp im) 6.212 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.212 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im)) 6.212 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 6.212 * [taylor]: Taking taylor expansion of 0.5 in im 6.212 * [backup-simplify]: Simplify 0.5 into 0.5 6.212 * [taylor]: Taking taylor expansion of (exp im) in im 6.212 * [taylor]: Taking taylor expansion of im in im 6.212 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify 1 into 1 6.212 * [backup-simplify]: Simplify (exp 0) into 1 6.212 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 6.213 * [backup-simplify]: Simplify 0.5 into 0.5 6.213 * [backup-simplify]: Simplify (+ 0) into 0 6.213 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 6.213 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 6.214 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0 6.214 * [taylor]: Taking taylor expansion of 0 in im 6.214 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify 0 into 0 6.215 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 6.217 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.217 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 6.218 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.218 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im)))) 6.219 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im)))) 6.219 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im 6.219 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im 6.219 * [taylor]: Taking taylor expansion of 0.25 in im 6.219 * [backup-simplify]: Simplify 0.25 into 0.25 6.219 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im 6.219 * [taylor]: Taking taylor expansion of (exp im) in im 6.219 * [taylor]: Taking taylor expansion of im in im 6.219 * [backup-simplify]: Simplify 0 into 0 6.219 * [backup-simplify]: Simplify 1 into 1 6.219 * [backup-simplify]: Simplify (exp 0) into 1 6.219 * [backup-simplify]: Simplify (/ 1 1) into 1 6.220 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 6.220 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 6.220 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 6.221 * [backup-simplify]: Simplify (+ (* (- 0.25) (pow (* 1 re) 2)) (+ (* (- 0.5) (* im 1)) 0.5)) into (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) 6.221 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (/ 0.5 (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.221 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 6.221 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.221 * [taylor]: Taking taylor expansion of 0.5 in im 6.221 * [backup-simplify]: Simplify 0.5 into 0.5 6.221 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.221 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.221 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.221 * [taylor]: Taking taylor expansion of re in im 6.221 * [backup-simplify]: Simplify re into re 6.221 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.221 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.221 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.221 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.221 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.221 * [taylor]: Taking taylor expansion of im in im 6.221 * [backup-simplify]: Simplify 0 into 0 6.221 * [backup-simplify]: Simplify 1 into 1 6.222 * [backup-simplify]: Simplify (/ 1 1) into 1 6.222 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.222 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.222 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.222 * [backup-simplify]: Simplify (- 0) into 0 6.222 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.222 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.222 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.222 * [taylor]: Taking taylor expansion of 0.5 in re 6.222 * [backup-simplify]: Simplify 0.5 into 0.5 6.222 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.222 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.222 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.222 * [taylor]: Taking taylor expansion of re in re 6.222 * [backup-simplify]: Simplify 0 into 0 6.222 * [backup-simplify]: Simplify 1 into 1 6.223 * [backup-simplify]: Simplify (/ 1 1) into 1 6.223 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.223 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.223 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.223 * [taylor]: Taking taylor expansion of im in re 6.223 * [backup-simplify]: Simplify im into im 6.223 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.223 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.223 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.223 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.223 * [taylor]: Taking taylor expansion of 0.5 in re 6.223 * [backup-simplify]: Simplify 0.5 into 0.5 6.223 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.223 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.223 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.223 * [taylor]: Taking taylor expansion of re in re 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify 1 into 1 6.223 * [backup-simplify]: Simplify (/ 1 1) into 1 6.223 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.224 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.224 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.224 * [taylor]: Taking taylor expansion of im in re 6.224 * [backup-simplify]: Simplify im into im 6.224 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.224 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.224 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.224 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.224 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.224 * [taylor]: Taking taylor expansion of 0.5 in im 6.224 * [backup-simplify]: Simplify 0.5 into 0.5 6.224 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.224 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.224 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.224 * [taylor]: Taking taylor expansion of re in im 6.224 * [backup-simplify]: Simplify re into re 6.224 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.224 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.224 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.224 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.224 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.224 * [taylor]: Taking taylor expansion of im in im 6.224 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify 1 into 1 6.225 * [backup-simplify]: Simplify (/ 1 1) into 1 6.225 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.225 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.225 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.225 * [backup-simplify]: Simplify (- 0) into 0 6.225 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.225 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.226 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.226 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.226 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.226 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.227 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.227 * [taylor]: Taking taylor expansion of 0 in im 6.227 * [backup-simplify]: Simplify 0 into 0 6.227 * [backup-simplify]: Simplify 0 into 0 6.227 * [backup-simplify]: Simplify (+ 0) into 0 6.228 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.228 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.228 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.229 * [backup-simplify]: Simplify (- 0) into 0 6.229 * [backup-simplify]: Simplify (+ 0 0) into 0 6.229 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.230 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.230 * [backup-simplify]: Simplify 0 into 0 6.230 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.231 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.231 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.231 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.231 * [taylor]: Taking taylor expansion of 0 in im 6.231 * [backup-simplify]: Simplify 0 into 0 6.231 * [backup-simplify]: Simplify 0 into 0 6.231 * [backup-simplify]: Simplify 0 into 0 6.232 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.233 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.233 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.233 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.233 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.234 * [backup-simplify]: Simplify (- 0) into 0 6.234 * [backup-simplify]: Simplify (+ 0 0) into 0 6.234 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.235 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.235 * [backup-simplify]: Simplify 0 into 0 6.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.236 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.236 * [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 6.237 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.237 * [taylor]: Taking taylor expansion of 0 in im 6.237 * [backup-simplify]: Simplify 0 into 0 6.237 * [backup-simplify]: Simplify 0 into 0 6.237 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im))) 6.238 * [backup-simplify]: Simplify (* (cos (/ 1 (- re))) (/ 0.5 (exp (/ 1 (- im))))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.238 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 6.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.238 * [taylor]: Taking taylor expansion of 0.5 in im 6.238 * [backup-simplify]: Simplify 0.5 into 0.5 6.238 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.238 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.238 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.238 * [taylor]: Taking taylor expansion of -1 in im 6.238 * [backup-simplify]: Simplify -1 into -1 6.238 * [taylor]: Taking taylor expansion of re in im 6.238 * [backup-simplify]: Simplify re into re 6.238 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.238 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.238 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.238 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.238 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.238 * [taylor]: Taking taylor expansion of -1 in im 6.238 * [backup-simplify]: Simplify -1 into -1 6.238 * [taylor]: Taking taylor expansion of im in im 6.238 * [backup-simplify]: Simplify 0 into 0 6.238 * [backup-simplify]: Simplify 1 into 1 6.238 * [backup-simplify]: Simplify (/ -1 1) into -1 6.238 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.238 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.238 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.239 * [backup-simplify]: Simplify (- 0) into 0 6.239 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.239 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.239 * [taylor]: Taking taylor expansion of 0.5 in re 6.239 * [backup-simplify]: Simplify 0.5 into 0.5 6.239 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.239 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.239 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.239 * [taylor]: Taking taylor expansion of -1 in re 6.239 * [backup-simplify]: Simplify -1 into -1 6.239 * [taylor]: Taking taylor expansion of re in re 6.239 * [backup-simplify]: Simplify 0 into 0 6.239 * [backup-simplify]: Simplify 1 into 1 6.239 * [backup-simplify]: Simplify (/ -1 1) into -1 6.239 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.239 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.239 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.239 * [taylor]: Taking taylor expansion of -1 in re 6.240 * [backup-simplify]: Simplify -1 into -1 6.240 * [taylor]: Taking taylor expansion of im in re 6.240 * [backup-simplify]: Simplify im into im 6.240 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.240 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.240 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.240 * [taylor]: Taking taylor expansion of 0.5 in re 6.240 * [backup-simplify]: Simplify 0.5 into 0.5 6.240 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.240 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.240 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.240 * [taylor]: Taking taylor expansion of -1 in re 6.240 * [backup-simplify]: Simplify -1 into -1 6.240 * [taylor]: Taking taylor expansion of re in re 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify 1 into 1 6.240 * [backup-simplify]: Simplify (/ -1 1) into -1 6.240 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.240 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.240 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.240 * [taylor]: Taking taylor expansion of -1 in re 6.240 * [backup-simplify]: Simplify -1 into -1 6.240 * [taylor]: Taking taylor expansion of im in re 6.240 * [backup-simplify]: Simplify im into im 6.240 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.240 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.241 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.241 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.241 * [taylor]: Taking taylor expansion of 0.5 in im 6.241 * [backup-simplify]: Simplify 0.5 into 0.5 6.241 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.241 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.241 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.241 * [taylor]: Taking taylor expansion of -1 in im 6.241 * [backup-simplify]: Simplify -1 into -1 6.241 * [taylor]: Taking taylor expansion of re in im 6.241 * [backup-simplify]: Simplify re into re 6.241 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.241 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.241 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.241 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.241 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.241 * [taylor]: Taking taylor expansion of -1 in im 6.241 * [backup-simplify]: Simplify -1 into -1 6.241 * [taylor]: Taking taylor expansion of im in im 6.241 * [backup-simplify]: Simplify 0 into 0 6.241 * [backup-simplify]: Simplify 1 into 1 6.241 * [backup-simplify]: Simplify (/ -1 1) into -1 6.241 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.242 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.242 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.242 * [backup-simplify]: Simplify (- 0) into 0 6.242 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.242 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.242 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.242 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.242 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.243 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.243 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.244 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.244 * [taylor]: Taking taylor expansion of 0 in im 6.244 * [backup-simplify]: Simplify 0 into 0 6.244 * [backup-simplify]: Simplify 0 into 0 6.244 * [backup-simplify]: Simplify (+ 0) into 0 6.244 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.244 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.245 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.245 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.245 * [backup-simplify]: Simplify (- 0) into 0 6.246 * [backup-simplify]: Simplify (+ 0 0) into 0 6.246 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.246 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.246 * [backup-simplify]: Simplify 0 into 0 6.246 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.247 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.247 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.248 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.248 * [taylor]: Taking taylor expansion of 0 in im 6.248 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify 0 into 0 6.249 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.249 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.249 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.250 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.250 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.250 * [backup-simplify]: Simplify (- 0) into 0 6.251 * [backup-simplify]: Simplify (+ 0 0) into 0 6.251 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.251 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.252 * [backup-simplify]: Simplify 0 into 0 6.252 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.253 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.253 * [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 6.254 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.254 * [taylor]: Taking taylor expansion of 0 in im 6.254 * [backup-simplify]: Simplify 0 into 0 6.254 * [backup-simplify]: Simplify 0 into 0 6.254 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im))) 6.254 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.254 * [backup-simplify]: Simplify (* (exp im) (* (cos re) 0.5)) into (* 0.5 (* (exp im) (cos re))) 6.254 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in (im re) around 0 6.254 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re 6.254 * [taylor]: Taking taylor expansion of 0.5 in re 6.254 * [backup-simplify]: Simplify 0.5 into 0.5 6.254 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re 6.254 * [taylor]: Taking taylor expansion of (exp im) in re 6.254 * [taylor]: Taking taylor expansion of im in re 6.254 * [backup-simplify]: Simplify im into im 6.254 * [backup-simplify]: Simplify (exp im) into (exp im) 6.254 * [taylor]: Taking taylor expansion of (cos re) in re 6.254 * [taylor]: Taking taylor expansion of re in re 6.254 * [backup-simplify]: Simplify 0 into 0 6.254 * [backup-simplify]: Simplify 1 into 1 6.255 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.255 * [taylor]: Taking taylor expansion of 0.5 in im 6.255 * [backup-simplify]: Simplify 0.5 into 0.5 6.255 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.255 * [taylor]: Taking taylor expansion of (exp im) in im 6.255 * [taylor]: Taking taylor expansion of im in im 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 1 into 1 6.255 * [backup-simplify]: Simplify (exp 0) into 1 6.255 * [taylor]: Taking taylor expansion of (cos re) in im 6.255 * [taylor]: Taking taylor expansion of re in im 6.255 * [backup-simplify]: Simplify re into re 6.255 * [backup-simplify]: Simplify (cos re) into (cos re) 6.255 * [backup-simplify]: Simplify (sin re) into (sin re) 6.255 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.255 * [taylor]: Taking taylor expansion of 0.5 in im 6.255 * [backup-simplify]: Simplify 0.5 into 0.5 6.255 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.255 * [taylor]: Taking taylor expansion of (exp im) in im 6.255 * [taylor]: Taking taylor expansion of im in im 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 1 into 1 6.255 * [backup-simplify]: Simplify (exp 0) into 1 6.255 * [taylor]: Taking taylor expansion of (cos re) in im 6.255 * [taylor]: Taking taylor expansion of re in im 6.255 * [backup-simplify]: Simplify re into re 6.255 * [backup-simplify]: Simplify (cos re) into (cos re) 6.255 * [backup-simplify]: Simplify (sin re) into (sin re) 6.255 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.255 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.260 * [backup-simplify]: Simplify (- 0) into 0 6.260 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.260 * [backup-simplify]: Simplify (* 1 (cos re)) into (cos re) 6.260 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 6.260 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 6.260 * [taylor]: Taking taylor expansion of 0.5 in re 6.260 * [backup-simplify]: Simplify 0.5 into 0.5 6.260 * [taylor]: Taking taylor expansion of (cos re) in re 6.260 * [taylor]: Taking taylor expansion of re in re 6.260 * [backup-simplify]: Simplify 0 into 0 6.260 * [backup-simplify]: Simplify 1 into 1 6.261 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.261 * [backup-simplify]: Simplify 0.5 into 0.5 6.261 * [backup-simplify]: Simplify (+ 0) into 0 6.261 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 6.262 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.262 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 6.263 * [backup-simplify]: Simplify (- 0) into 0 6.263 * [backup-simplify]: Simplify (+ 0 0) into 0 6.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos re))) into (cos re) 6.264 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0 (cos re))) into (* 0.5 (cos re)) 6.264 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 6.264 * [taylor]: Taking taylor expansion of 0.5 in re 6.264 * [backup-simplify]: Simplify 0.5 into 0.5 6.264 * [taylor]: Taking taylor expansion of (cos re) in re 6.264 * [taylor]: Taking taylor expansion of re in re 6.264 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify 1 into 1 6.264 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.264 * [backup-simplify]: Simplify 0.5 into 0.5 6.265 * [backup-simplify]: Simplify (+ 0) into 0 6.265 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 6.265 * [backup-simplify]: Simplify 0 into 0 6.266 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.266 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 6.267 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.267 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 6.267 * [backup-simplify]: Simplify (- 0) into 0 6.267 * [backup-simplify]: Simplify (+ 0 0) into 0 6.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos re)))) into (* 1/2 (cos re)) 6.269 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (cos re)) (* 0 (cos re)))) into (* 0.25 (cos re)) 6.269 * [taylor]: Taking taylor expansion of (* 0.25 (cos re)) in re 6.269 * [taylor]: Taking taylor expansion of 0.25 in re 6.269 * [backup-simplify]: Simplify 0.25 into 0.25 6.269 * [taylor]: Taking taylor expansion of (cos re) in re 6.269 * [taylor]: Taking taylor expansion of re in re 6.269 * [backup-simplify]: Simplify 0 into 0 6.269 * [backup-simplify]: Simplify 1 into 1 6.270 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 6.270 * [backup-simplify]: Simplify 0.25 into 0.25 6.270 * [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)) 6.270 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (* (cos (/ 1 re)) 0.5)) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.270 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 6.270 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.270 * [taylor]: Taking taylor expansion of 0.5 in re 6.270 * [backup-simplify]: Simplify 0.5 into 0.5 6.270 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.270 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.270 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.270 * [taylor]: Taking taylor expansion of re in re 6.270 * [backup-simplify]: Simplify 0 into 0 6.270 * [backup-simplify]: Simplify 1 into 1 6.271 * [backup-simplify]: Simplify (/ 1 1) into 1 6.271 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.271 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.271 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.271 * [taylor]: Taking taylor expansion of im in re 6.271 * [backup-simplify]: Simplify im into im 6.271 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.271 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.271 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.271 * [taylor]: Taking taylor expansion of 0.5 in im 6.271 * [backup-simplify]: Simplify 0.5 into 0.5 6.271 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 6.271 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.271 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.271 * [taylor]: Taking taylor expansion of re in im 6.271 * [backup-simplify]: Simplify re into re 6.271 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.271 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.271 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.271 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.271 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.271 * [taylor]: Taking taylor expansion of im in im 6.271 * [backup-simplify]: Simplify 0 into 0 6.271 * [backup-simplify]: Simplify 1 into 1 6.272 * [backup-simplify]: Simplify (/ 1 1) into 1 6.272 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.272 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.272 * [taylor]: Taking taylor expansion of 0.5 in im 6.272 * [backup-simplify]: Simplify 0.5 into 0.5 6.272 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 6.272 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.272 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.272 * [taylor]: Taking taylor expansion of re in im 6.272 * [backup-simplify]: Simplify re into re 6.272 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.272 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.272 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.272 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.272 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.272 * [taylor]: Taking taylor expansion of im in im 6.272 * [backup-simplify]: Simplify 0 into 0 6.272 * [backup-simplify]: Simplify 1 into 1 6.272 * [backup-simplify]: Simplify (/ 1 1) into 1 6.272 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.273 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.273 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.273 * [backup-simplify]: Simplify (- 0) into 0 6.273 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.273 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 6.273 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.273 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.273 * [taylor]: Taking taylor expansion of 0.5 in re 6.273 * [backup-simplify]: Simplify 0.5 into 0.5 6.273 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.273 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.273 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.273 * [taylor]: Taking taylor expansion of re in re 6.273 * [backup-simplify]: Simplify 0 into 0 6.273 * [backup-simplify]: Simplify 1 into 1 6.274 * [backup-simplify]: Simplify (/ 1 1) into 1 6.274 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.274 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.274 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.274 * [taylor]: Taking taylor expansion of im in re 6.274 * [backup-simplify]: Simplify im into im 6.274 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.274 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.274 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 6.274 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.274 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.274 * [backup-simplify]: Simplify (+ 0) into 0 6.275 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.275 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.276 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.276 * [backup-simplify]: Simplify (- 0) into 0 6.276 * [backup-simplify]: Simplify (+ 0 0) into 0 6.277 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.277 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.277 * [taylor]: Taking taylor expansion of 0 in re 6.277 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.278 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.278 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.278 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.278 * [backup-simplify]: Simplify 0 into 0 6.279 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.279 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.280 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.280 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.281 * [backup-simplify]: Simplify (- 0) into 0 6.281 * [backup-simplify]: Simplify (+ 0 0) into 0 6.281 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.282 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.282 * [taylor]: Taking taylor expansion of 0 in re 6.282 * [backup-simplify]: Simplify 0 into 0 6.282 * [backup-simplify]: Simplify 0 into 0 6.282 * [backup-simplify]: Simplify 0 into 0 6.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.283 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.283 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.284 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.284 * [backup-simplify]: Simplify 0 into 0 6.284 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.285 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.286 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.287 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.288 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.288 * [backup-simplify]: Simplify (- 0) into 0 6.289 * [backup-simplify]: Simplify (+ 0 0) into 0 6.290 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 6.291 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.291 * [taylor]: Taking taylor expansion of 0 in re 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (exp im) (cos re))) 6.291 * [backup-simplify]: Simplify (* (exp (/ 1 (- im))) (* (cos (/ 1 (- re))) 0.5)) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.291 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in (im re) around 0 6.292 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.292 * [taylor]: Taking taylor expansion of 0.5 in re 6.292 * [backup-simplify]: Simplify 0.5 into 0.5 6.292 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.292 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.292 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.292 * [taylor]: Taking taylor expansion of -1 in re 6.292 * [backup-simplify]: Simplify -1 into -1 6.292 * [taylor]: Taking taylor expansion of re in re 6.292 * [backup-simplify]: Simplify 0 into 0 6.292 * [backup-simplify]: Simplify 1 into 1 6.292 * [backup-simplify]: Simplify (/ -1 1) into -1 6.292 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.292 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.292 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.292 * [taylor]: Taking taylor expansion of -1 in re 6.292 * [backup-simplify]: Simplify -1 into -1 6.292 * [taylor]: Taking taylor expansion of im in re 6.292 * [backup-simplify]: Simplify im into im 6.292 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.292 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.292 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.293 * [taylor]: Taking taylor expansion of 0.5 in im 6.293 * [backup-simplify]: Simplify 0.5 into 0.5 6.293 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 6.293 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.293 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.293 * [taylor]: Taking taylor expansion of -1 in im 6.293 * [backup-simplify]: Simplify -1 into -1 6.293 * [taylor]: Taking taylor expansion of re in im 6.293 * [backup-simplify]: Simplify re into re 6.293 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.293 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.293 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.293 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.293 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.293 * [taylor]: Taking taylor expansion of -1 in im 6.293 * [backup-simplify]: Simplify -1 into -1 6.293 * [taylor]: Taking taylor expansion of im in im 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 1 into 1 6.293 * [backup-simplify]: Simplify (/ -1 1) into -1 6.293 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.294 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.294 * [taylor]: Taking taylor expansion of 0.5 in im 6.294 * [backup-simplify]: Simplify 0.5 into 0.5 6.294 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 6.294 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.294 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.294 * [taylor]: Taking taylor expansion of -1 in im 6.294 * [backup-simplify]: Simplify -1 into -1 6.294 * [taylor]: Taking taylor expansion of re in im 6.294 * [backup-simplify]: Simplify re into re 6.294 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.294 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.294 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.294 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.294 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.294 * [taylor]: Taking taylor expansion of -1 in im 6.294 * [backup-simplify]: Simplify -1 into -1 6.294 * [taylor]: Taking taylor expansion of im in im 6.294 * [backup-simplify]: Simplify 0 into 0 6.294 * [backup-simplify]: Simplify 1 into 1 6.295 * [backup-simplify]: Simplify (/ -1 1) into -1 6.295 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.295 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.295 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.295 * [backup-simplify]: Simplify (- 0) into 0 6.296 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.296 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.296 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.296 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.296 * [taylor]: Taking taylor expansion of 0.5 in re 6.296 * [backup-simplify]: Simplify 0.5 into 0.5 6.296 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.296 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.296 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.296 * [taylor]: Taking taylor expansion of -1 in re 6.296 * [backup-simplify]: Simplify -1 into -1 6.296 * [taylor]: Taking taylor expansion of re in re 6.296 * [backup-simplify]: Simplify 0 into 0 6.296 * [backup-simplify]: Simplify 1 into 1 6.297 * [backup-simplify]: Simplify (/ -1 1) into -1 6.297 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.297 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.297 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.297 * [taylor]: Taking taylor expansion of -1 in re 6.297 * [backup-simplify]: Simplify -1 into -1 6.297 * [taylor]: Taking taylor expansion of im in re 6.297 * [backup-simplify]: Simplify im into im 6.297 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.297 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.297 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.297 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.298 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.298 * [backup-simplify]: Simplify (+ 0) into 0 6.299 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.299 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.300 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.301 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.301 * [backup-simplify]: Simplify (- 0) into 0 6.301 * [backup-simplify]: Simplify (+ 0 0) into 0 6.302 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.302 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.302 * [taylor]: Taking taylor expansion of 0 in re 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.303 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.304 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.304 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.304 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.307 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.308 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.308 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.309 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.309 * [backup-simplify]: Simplify (- 0) into 0 6.310 * [backup-simplify]: Simplify (+ 0 0) into 0 6.310 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.311 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.311 * [taylor]: Taking taylor expansion of 0 in re 6.311 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.313 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.314 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.314 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.314 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.316 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.316 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.318 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.319 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.319 * [backup-simplify]: Simplify (- 0) into 0 6.319 * [backup-simplify]: Simplify (+ 0 0) into 0 6.320 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 6.322 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.322 * [taylor]: Taking taylor expansion of 0 in re 6.322 * [backup-simplify]: Simplify 0 into 0 6.322 * [backup-simplify]: Simplify 0 into 0 6.322 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (* (exp im) (cos re))) 6.322 * * * [progress]: simplifying candidates 6.325 * [simplify]: Simplifying: (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (log (/ 0.5 (exp im))) (exp (/ 0.5 (exp im))) (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) (/ 1 1) (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) (/ 0.5 1) (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (log1p (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (* (exp (* (exp im) (* (cos re) 0.5))) (exp (* (cos re) (/ 0.5 (exp im))))) (log (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (exp (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (* (cbrt (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (cbrt (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im)))))) (cbrt (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (* (* (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im)))) (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (sqrt (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (sqrt (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im))))) (+ (pow (* (exp im) (* (cos re) 0.5)) 3) (pow (* (cos re) (/ 0.5 (exp im))) 3)) (+ (* (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5))) (- (* (* (cos re) (/ 0.5 (exp im))) (* (cos re) (/ 0.5 (exp im)))) (* (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im)))))) (- (* (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5))) (* (* (cos re) (/ 0.5 (exp im))) (* (cos re) (/ 0.5 (exp im))))) (- (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im)))) (expm1 (* (cos re) (/ 0.5 (exp im)))) (log1p (* (cos re) (/ 0.5 (exp im)))) (* (cos re) (/ 0.5 (exp im))) (+ (log (cos re)) (- (log 0.5) im)) (+ (log (cos re)) (log (/ 0.5 (exp im)))) (log (* (cos re) (/ 0.5 (exp im)))) (exp (* (cos re) (/ 0.5 (exp im)))) (* (* (* (cos re) (cos re)) (cos re)) (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))) (* (* (* (cos re) (cos re)) (cos re)) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))) (* (cbrt (* (cos re) (/ 0.5 (exp im)))) (cbrt (* (cos re) (/ 0.5 (exp im))))) (cbrt (* (cos re) (/ 0.5 (exp im)))) (* (* (* (cos re) (/ 0.5 (exp im))) (* (cos re) (/ 0.5 (exp im)))) (* (cos re) (/ 0.5 (exp im)))) (sqrt (* (cos re) (/ 0.5 (exp im)))) (sqrt (* (cos re) (/ 0.5 (exp im)))) (* (sqrt (cos re)) (sqrt (/ 0.5 (exp im)))) (* (sqrt (cos re)) (sqrt (/ 0.5 (exp im)))) (* (sqrt (cos re)) (/ (sqrt 0.5) (sqrt (exp im)))) (* (sqrt (cos re)) (/ (sqrt 0.5) (sqrt (exp im)))) (* (cos re) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im))))) (* (cos re) (sqrt (/ 0.5 (exp im)))) (* (cos re) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im))))) (* (cos re) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im)))) (* (cos re) (/ (* (cbrt 0.5) (cbrt 0.5)) 1)) (* (cos re) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im))))) (* (cos re) (/ (sqrt 0.5) (sqrt (exp im)))) (* (cos re) (/ (sqrt 0.5) 1)) (* (cos re) (/ 1 (* (cbrt (exp im)) (cbrt (exp im))))) (* (cos re) (/ 1 (sqrt (exp im)))) (* (cos re) (/ 1 1)) (* (cos re) 1) (* (cos re) 0.5) (* (cbrt (cos re)) (/ 0.5 (exp im))) (* (sqrt (cos re)) (/ 0.5 (exp im))) (* (cos re) (/ 0.5 (exp im))) (* (cos re) 0.5) (expm1 (* (exp im) (* (cos re) 0.5))) (log1p (* (exp im) (* (cos re) 0.5))) (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5)) (+ im (+ (log (cos re)) (log 0.5))) (+ im (log (* (cos re) 0.5))) (log (* (exp im) (* (cos re) 0.5))) (exp (* (exp im) (* (cos re) 0.5))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* (cos re) (cos re)) (cos re)) (* (* 0.5 0.5) 0.5))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5))) (* (cbrt (* (exp im) (* (cos re) 0.5))) (cbrt (* (exp im) (* (cos re) 0.5)))) (cbrt (* (exp im) (* (cos re) 0.5))) (* (* (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5))) (* (exp im) (* (cos re) 0.5))) (sqrt (* (exp im) (* (cos re) 0.5))) (sqrt (* (exp im) (* (cos re) 0.5))) (* (exp im) (cos re)) (* (cbrt (exp im)) (* (cos re) 0.5)) (* (sqrt (exp im)) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5)) (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (/ 0.5 (exp im)) (/ 0.5 (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.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) (* 0.5 (/ (cos re) (exp im))) (* 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))) 6.328 * * [simplify]: iteration 0: 153 enodes 6.392 * * [simplify]: iteration 1: 415 enodes 6.565 * * [simplify]: iteration 2: 2190 enodes 7.974 * * [simplify]: iteration complete: 5001 enodes 7.975 * * [simplify]: Extracting #0: cost 87 inf + 0 7.976 * * [simplify]: Extracting #1: cost 516 inf + 2 7.981 * * [simplify]: Extracting #2: cost 1260 inf + 152 7.987 * * [simplify]: Extracting #3: cost 1018 inf + 1706 7.993 * * [simplify]: Extracting #4: cost 256 inf + 7349 8.001 * * [simplify]: Extracting #5: cost 14 inf + 10179 8.012 * * [simplify]: Extracting #6: cost 0 inf + 10306 8.022 * * [simplify]: Extracting #7: cost 0 inf + 10275 8.033 * * [simplify]: Extracting #8: cost 0 inf + 10272 8.047 * [simplify]: Simplified to: (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (- (log 0.5) im) (exp (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (* (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (* (/ (cbrt 0.5) (sqrt (exp im))) (cbrt 0.5)) (/ (cbrt 0.5) (sqrt (exp im))) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (/ (sqrt 0.5) (cbrt (exp im))) (cbrt (exp im))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (sqrt 0.5) (/ (sqrt 0.5) (exp im)) (/ (/ 1 (cbrt (exp im))) (cbrt (exp im))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) 1 (/ 0.5 (exp im)) (exp (- im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) 0.5 (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (log1p (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (exp (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (log (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (exp (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (* (cbrt (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (cbrt (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im)))))) (cbrt (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (pow (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im)))) 3) (sqrt (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (sqrt (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (+ (pow (* (cos re) (/ 0.5 (exp im))) 3) (pow (* (exp im) (* (cos re) 0.5)) 3)) (fma (* (cos re) 0.5) (* (* (cos re) 0.5) (pow (exp 2) im)) (* (* (cos re) (/ 0.5 (exp im))) (fma (/ 0.5 (exp im)) (cos re) (- (* (exp im) (* (cos re) 0.5)))))) (* (fma (cos re) (* 0.5 (exp im)) (* (- (cos re)) (/ 0.5 (exp im)))) (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) (fma (cos re) (* 0.5 (exp im)) (* (- (cos re)) (/ 0.5 (exp im)))) (expm1 (* (cos re) (/ 0.5 (exp im)))) (log1p (* (cos re) (/ 0.5 (exp im)))) (* (cos re) (/ 0.5 (exp im))) (- (log (* (cos re) 0.5)) im) (- (log (* (cos re) 0.5)) im) (- (log (* (cos re) 0.5)) im) (exp (* (cos re) (/ 0.5 (exp im)))) (pow (* (cos re) (/ 0.5 (exp im))) 3) (pow (* (cos re) (/ 0.5 (exp im))) 3) (* (cbrt (* (cos re) (/ 0.5 (exp im)))) (cbrt (* (cos re) (/ 0.5 (exp im))))) (cbrt (* (cos re) (/ 0.5 (exp im)))) (pow (* (cos re) (/ 0.5 (exp im))) 3) (sqrt (* (cos re) (/ 0.5 (exp im)))) (sqrt (* (cos re) (/ 0.5 (exp im)))) (* (sqrt (cos re)) (sqrt (/ 0.5 (exp im)))) (* (sqrt (cos re)) (sqrt (/ 0.5 (exp im)))) (* (sqrt (cos re)) (/ (sqrt 0.5) (sqrt (exp im)))) (* (sqrt (cos re)) (/ (sqrt 0.5) (sqrt (exp im)))) (* (cos re) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im))))) (* (sqrt (/ 0.5 (exp im))) (cos re)) (* (* (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (cbrt (exp im)))) (cos re)) (/ (* (cos re) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt 0.5))) (* (cbrt 0.5) (* (cbrt 0.5) (cos re))) (* (/ (cos re) (cbrt (exp im))) (/ (sqrt 0.5) (cbrt (exp im)))) (* (/ (sqrt 0.5) (sqrt (exp im))) (cos re)) (* (cos re) (sqrt 0.5)) (/ (/ (cos re) (cbrt (exp im))) (cbrt (exp im))) (/ (cos re) (sqrt (exp im))) (cos re) (cos re) (* (cos re) 0.5) (/ (* 0.5 (cbrt (cos re))) (exp im)) (* (sqrt (cos re)) (/ 0.5 (exp im))) (* (cos re) (/ 0.5 (exp im))) (* (cos re) 0.5) (expm1 (* (exp im) (* (cos re) 0.5))) (log1p (* (exp im) (* (cos re) 0.5))) (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5)) (+ (log (* (cos re) 0.5)) im) (+ (log (* (cos re) 0.5)) im) (+ (log (* (cos re) 0.5)) im) (pow (exp (* (exp im) 0.5)) (cos re)) (pow (* (exp im) (* (cos re) 0.5)) 3) (pow (* (exp im) (* (cos re) 0.5)) 3) (* (cbrt (* (exp im) (* (cos re) 0.5))) (cbrt (* (exp im) (* (cos re) 0.5)))) (cbrt (* (exp im) (* (cos re) 0.5))) (pow (* (exp im) (* (cos re) 0.5)) 3) (sqrt (* (exp im) (* (cos re) 0.5))) (sqrt (* (exp im) (* (cos re) 0.5))) (* (cos re) (exp im)) (* (* (cos re) 0.5) (cbrt (exp im))) (* (sqrt (exp im)) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5)) (fma (- im) 0.5 (fma 0.25 (* im im) 0.5)) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (fma (pow re 2) (- 0.5) (fma (* im im) 0.5 1.0)) (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im)))) (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im)))) (- 0.5 (fma re (* re 0.25) (* 0.5 im))) (* (cos re) (/ 0.5 (exp im))) (* (cos re) (/ 0.5 (exp im))) (fma 0.5 im (fma 0.25 (* im im) 0.5)) (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5)) 8.048 * * * [progress]: adding candidates to table 8.694 * [progress]: [Phase 3 of 3] Extracting. 8.698 * [simplify]: Simplifying: (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im)))) 8.698 * * [simplify]: iteration 0: 10 enodes 8.698 * * [simplify]: iteration 1: 14 enodes 8.699 * * [simplify]: iteration complete: 14 enodes 8.699 * * [simplify]: Extracting #0: cost 1 inf + 0 8.699 * * [simplify]: Extracting #1: cost 3 inf + 0 8.699 * * [simplify]: Extracting #2: cost 7 inf + 0 8.699 * * [simplify]: Extracting #3: cost 10 inf + 0 8.699 * * [simplify]: Extracting #4: cost 5 inf + 9 8.699 * * [simplify]: Extracting #5: cost 0 inf + 44 8.699 * [simplify]: Simplified to: (+ (* (cos re) (/ 0.5 (exp im))) (* (* (cos re) 0.5) (exp im))) 16.259 * [regime-testing]: Baseline error score: 0.009824348356134662 16.261 * [regime-testing]: Oracle error score: 0.009824348356134662 16.261 * [regime-testing]: End program error score: 0.009824348356134662