24.205 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.152 * * * [progress]: [2/2] Setting up program. 0.156 * [progress]: [Phase 2 of 3] Improving. 0.156 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.156 * * [simplify]: iteration 0: 10 enodes 0.157 * * [simplify]: iteration 1: 23 enodes 0.164 * * [simplify]: iteration 2: 59 enodes 0.184 * * [simplify]: iteration 3: 108 enodes 0.242 * * [simplify]: iteration 4: 489 enodes 1.677 * * [simplify]: iteration 5: 4343 enodes 4.328 * * [simplify]: iteration complete: 5000 enodes 4.328 * * [simplify]: Extracting #0: cost 1 inf + 0 4.330 * * [simplify]: Extracting #1: cost 616 inf + 0 4.334 * * [simplify]: Extracting #2: cost 1328 inf + 26 4.340 * * [simplify]: Extracting #3: cost 1195 inf + 979 4.347 * * [simplify]: Extracting #4: cost 310 inf + 5950 4.354 * * [simplify]: Extracting #5: cost 6 inf + 8051 4.360 * * [simplify]: Extracting #6: cost 0 inf + 8096 4.368 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) 4.373 * * [progress]: iteration 1 / 4 4.373 * * * [progress]: picking best candidate 4.377 * * * * [pick]: Picked # 4.377 * * * [progress]: localizing error 4.393 * * * [progress]: generating rewritten candidates 4.393 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.443 * * * [progress]: generating series expansions 4.443 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.444 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))) into (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) 4.444 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in (re im) around 0 4.444 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in im 4.444 * [taylor]: Taking taylor expansion of 0.5 in im 4.444 * [backup-simplify]: Simplify 0.5 into 0.5 4.444 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in im 4.444 * [taylor]: Taking taylor expansion of (cos re) in im 4.444 * [taylor]: Taking taylor expansion of re in im 4.444 * [backup-simplify]: Simplify re into re 4.444 * [backup-simplify]: Simplify (cos re) into (cos re) 4.444 * [backup-simplify]: Simplify (sin re) into (sin re) 4.444 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 4.444 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.444 * [taylor]: Taking taylor expansion of (- im) in im 4.445 * [taylor]: Taking taylor expansion of im in im 4.445 * [backup-simplify]: Simplify 0 into 0 4.445 * [backup-simplify]: Simplify 1 into 1 4.445 * [backup-simplify]: Simplify (- 0) into 0 4.446 * [backup-simplify]: Simplify (- 1) into -1 4.446 * [backup-simplify]: Simplify (exp 0) into 1 4.446 * [taylor]: Taking taylor expansion of (exp im) in im 4.446 * [taylor]: Taking taylor expansion of im in im 4.446 * [backup-simplify]: Simplify 0 into 0 4.446 * [backup-simplify]: Simplify 1 into 1 4.446 * [backup-simplify]: Simplify (exp 0) into 1 4.446 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re 4.446 * [taylor]: Taking taylor expansion of 0.5 in re 4.446 * [backup-simplify]: Simplify 0.5 into 0.5 4.446 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re 4.446 * [taylor]: Taking taylor expansion of (cos re) in re 4.446 * [taylor]: Taking taylor expansion of re in re 4.446 * [backup-simplify]: Simplify 0 into 0 4.446 * [backup-simplify]: Simplify 1 into 1 4.446 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 4.446 * [taylor]: Taking taylor expansion of (exp (- im)) in re 4.447 * [taylor]: Taking taylor expansion of (- im) in re 4.447 * [taylor]: Taking taylor expansion of im in re 4.447 * [backup-simplify]: Simplify im into im 4.447 * [backup-simplify]: Simplify (- im) into (- im) 4.447 * [backup-simplify]: Simplify (- im) into (- im) 4.447 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 4.447 * [taylor]: Taking taylor expansion of (exp im) in re 4.447 * [taylor]: Taking taylor expansion of im in re 4.447 * [backup-simplify]: Simplify im into im 4.447 * [backup-simplify]: Simplify (exp im) into (exp im) 4.447 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re 4.447 * [taylor]: Taking taylor expansion of 0.5 in re 4.447 * [backup-simplify]: Simplify 0.5 into 0.5 4.447 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re 4.447 * [taylor]: Taking taylor expansion of (cos re) in re 4.447 * [taylor]: Taking taylor expansion of re in re 4.447 * [backup-simplify]: Simplify 0 into 0 4.447 * [backup-simplify]: Simplify 1 into 1 4.447 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 4.447 * [taylor]: Taking taylor expansion of (exp (- im)) in re 4.447 * [taylor]: Taking taylor expansion of (- im) in re 4.447 * [taylor]: Taking taylor expansion of im in re 4.447 * [backup-simplify]: Simplify im into im 4.447 * [backup-simplify]: Simplify (- im) into (- im) 4.447 * [backup-simplify]: Simplify (- im) into (- im) 4.447 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 4.447 * [taylor]: Taking taylor expansion of (exp im) in re 4.447 * [taylor]: Taking taylor expansion of im in re 4.448 * [backup-simplify]: Simplify im into im 4.448 * [backup-simplify]: Simplify (exp im) into (exp im) 4.448 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im)) 4.448 * [backup-simplify]: Simplify (* 1 (+ (exp (- im)) (exp im))) into (+ (exp (- im)) (exp im)) 4.448 * [backup-simplify]: Simplify (* 0.5 (+ (exp (- im)) (exp im))) into (* 0.5 (+ (exp (- im)) (exp im))) 4.448 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- im)) (exp im))) in im 4.448 * [taylor]: Taking taylor expansion of 0.5 in im 4.448 * [backup-simplify]: Simplify 0.5 into 0.5 4.448 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 4.448 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.448 * [taylor]: Taking taylor expansion of (- im) in im 4.448 * [taylor]: Taking taylor expansion of im in im 4.448 * [backup-simplify]: Simplify 0 into 0 4.448 * [backup-simplify]: Simplify 1 into 1 4.449 * [backup-simplify]: Simplify (- 0) into 0 4.449 * [backup-simplify]: Simplify (- 1) into -1 4.449 * [backup-simplify]: Simplify (exp 0) into 1 4.449 * [taylor]: Taking taylor expansion of (exp im) in im 4.449 * [taylor]: Taking taylor expansion of im in im 4.449 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify 1 into 1 4.449 * [backup-simplify]: Simplify (exp 0) into 1 4.450 * [backup-simplify]: Simplify (+ 1 1) into 2 4.450 * [backup-simplify]: Simplify (* 0.5 2) into 1.0 4.450 * [backup-simplify]: Simplify 1.0 into 1.0 4.450 * [backup-simplify]: Simplify (- im) into (- im) 4.451 * [backup-simplify]: Simplify (- 0) into 0 4.452 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.453 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 4.453 * [backup-simplify]: Simplify (+ 0 0) into 0 4.454 * [backup-simplify]: Simplify (+ 0) into 0 4.454 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im)))) into 0 4.455 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp (- im)) (exp im)))) into 0 4.455 * [taylor]: Taking taylor expansion of 0 in im 4.455 * [backup-simplify]: Simplify 0 into 0 4.455 * [backup-simplify]: Simplify 0 into 0 4.455 * [backup-simplify]: Simplify (- 1) into -1 4.462 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.464 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.464 * [backup-simplify]: Simplify (+ -1 1) into 0 4.465 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0 4.465 * [backup-simplify]: Simplify 0 into 0 4.465 * [backup-simplify]: Simplify (- im) into (- im) 4.466 * [backup-simplify]: Simplify (- 0) into 0 4.466 * [backup-simplify]: Simplify (- 0) into 0 4.468 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.469 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.470 * [backup-simplify]: Simplify (+ 0 0) into 0 4.471 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 4.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp (- im)) (exp im))))) into (- (+ (* 1/2 (exp (- im))) (* 1/2 (exp im)))) 4.473 * [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.473 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp (- im))) (* 0.25 (exp im)))) in im 4.473 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp (- im))) (* 0.25 (exp im))) in im 4.473 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 4.473 * [taylor]: Taking taylor expansion of 0.25 in im 4.473 * [backup-simplify]: Simplify 0.25 into 0.25 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 (* 0.25 (exp im)) in im 4.474 * [taylor]: Taking taylor expansion of 0.25 in im 4.474 * [backup-simplify]: Simplify 0.25 into 0.25 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 (* 0.25 1) into 0.25 4.475 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 4.475 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5 4.476 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 4.476 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 4.476 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify (- 1) into -1 4.477 * [backup-simplify]: Simplify (- 0) into 0 4.479 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.481 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.483 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5 4.483 * [backup-simplify]: Simplify 0.5 into 0.5 4.484 * [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.485 * [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.485 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in (re im) around 0 4.485 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 4.485 * [taylor]: Taking taylor expansion of 0.5 in im 4.485 * [backup-simplify]: Simplify 0.5 into 0.5 4.485 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im 4.485 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.485 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.485 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.485 * [taylor]: Taking taylor expansion of (/ 1 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.486 * [backup-simplify]: Simplify (/ 1 1) into 1 4.486 * [backup-simplify]: Simplify (- 1) into -1 4.486 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.486 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.486 * [taylor]: Taking taylor expansion of (/ 1 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.487 * [backup-simplify]: Simplify (/ 1 1) into 1 4.487 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.487 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 4.487 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.487 * [taylor]: Taking taylor expansion of re in im 4.487 * [backup-simplify]: Simplify re into re 4.487 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.487 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.487 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.487 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 4.487 * [taylor]: Taking taylor expansion of 0.5 in re 4.487 * [backup-simplify]: Simplify 0.5 into 0.5 4.487 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 4.488 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 4.488 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 4.488 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 4.488 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.488 * [taylor]: Taking taylor expansion of im in re 4.488 * [backup-simplify]: Simplify im into im 4.488 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.488 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.488 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.488 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.488 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.488 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.488 * [taylor]: Taking taylor expansion of im in re 4.488 * [backup-simplify]: Simplify im into im 4.488 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.488 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.488 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 4.488 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.488 * [taylor]: Taking taylor expansion of re in re 4.488 * [backup-simplify]: Simplify 0 into 0 4.488 * [backup-simplify]: Simplify 1 into 1 4.489 * [backup-simplify]: Simplify (/ 1 1) into 1 4.489 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.489 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 4.489 * [taylor]: Taking taylor expansion of 0.5 in re 4.489 * [backup-simplify]: Simplify 0.5 into 0.5 4.489 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 4.489 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 4.489 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 4.489 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 4.489 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.490 * [taylor]: Taking taylor expansion of im in re 4.490 * [backup-simplify]: Simplify im into im 4.490 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.490 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.490 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.490 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.490 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.490 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.490 * [taylor]: Taking taylor expansion of im in re 4.490 * [backup-simplify]: Simplify im into im 4.490 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.490 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.490 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 4.490 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.490 * [taylor]: Taking taylor expansion of re in re 4.490 * [backup-simplify]: Simplify 0 into 0 4.490 * [backup-simplify]: Simplify 1 into 1 4.491 * [backup-simplify]: Simplify (/ 1 1) into 1 4.491 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.492 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.492 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) 4.493 * [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.493 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 4.493 * [taylor]: Taking taylor expansion of 0.5 in im 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 im 4.493 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in 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 (/ 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.494 * [backup-simplify]: Simplify (/ 1 1) into 1 4.494 * [backup-simplify]: Simplify (- 1) into -1 4.495 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.495 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.495 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.495 * [taylor]: Taking taylor expansion of im in im 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 (exp (/ 1 im)) into (exp (/ 1 im)) 4.495 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 4.495 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.495 * [taylor]: Taking taylor expansion of re in im 4.495 * [backup-simplify]: Simplify re into re 4.496 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.496 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.496 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.496 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.496 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 4.497 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 4.497 * [backup-simplify]: Simplify (- 0) into 0 4.497 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 4.498 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) 4.498 * [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.498 * [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.498 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.499 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.499 * [backup-simplify]: Simplify (- 0) into 0 4.500 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 4.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.502 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.503 * [backup-simplify]: Simplify (+ 0 0) into 0 4.503 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0 4.504 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0 4.504 * [taylor]: Taking taylor expansion of 0 in im 4.504 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify 0 into 0 4.505 * [backup-simplify]: Simplify (+ 0) into 0 4.506 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 4.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 4.508 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.508 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 4.509 * [backup-simplify]: Simplify (- 0) into 0 4.509 * [backup-simplify]: Simplify (+ 0 0) into 0 4.510 * [backup-simplify]: Simplify (+ 0 0) into 0 4.510 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0 4.511 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.511 * [backup-simplify]: Simplify (- 0) into 0 4.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.512 * [backup-simplify]: Simplify (- 0) into 0 4.513 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.514 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.515 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.515 * [backup-simplify]: Simplify (+ 0 0) into 0 4.516 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 4.517 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0 4.517 * [taylor]: Taking taylor expansion of 0 in im 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 0 into 0 4.518 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.519 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 4.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.520 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.521 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 4.521 * [backup-simplify]: Simplify (- 0) into 0 4.521 * [backup-simplify]: Simplify (+ 0 0) into 0 4.522 * [backup-simplify]: Simplify (+ 0 0) into 0 4.522 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 4.524 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0 4.524 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.524 * [backup-simplify]: Simplify (- 0) into 0 4.525 * [backup-simplify]: Simplify (- 0) into 0 4.525 * [backup-simplify]: Simplify (- 0) into 0 4.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.526 * [backup-simplify]: Simplify (- 0) into 0 4.527 * [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.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) 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.530 * [backup-simplify]: Simplify (+ 0 0) into 0 4.531 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 4.532 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))))) into 0 4.532 * [taylor]: Taking taylor expansion of 0 in im 4.532 * [backup-simplify]: Simplify 0 into 0 4.532 * [backup-simplify]: Simplify 0 into 0 4.533 * [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.533 * [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.533 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 4.533 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 4.533 * [taylor]: Taking taylor expansion of 0.5 in im 4.533 * [backup-simplify]: Simplify 0.5 into 0.5 4.533 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 4.533 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im 4.533 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.533 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.533 * [taylor]: Taking taylor expansion of im in im 4.533 * [backup-simplify]: Simplify 0 into 0 4.533 * [backup-simplify]: Simplify 1 into 1 4.534 * [backup-simplify]: Simplify (/ 1 1) into 1 4.534 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 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 -1 in im 4.534 * [backup-simplify]: Simplify -1 into -1 4.534 * [taylor]: Taking taylor expansion of im in im 4.534 * [backup-simplify]: Simplify 0 into 0 4.534 * [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.535 * [taylor]: Taking taylor expansion of -1 in im 4.535 * [backup-simplify]: Simplify -1 into -1 4.535 * [taylor]: Taking taylor expansion of re in im 4.535 * [backup-simplify]: Simplify re into re 4.535 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 4.535 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.535 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.535 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 4.535 * [taylor]: Taking taylor expansion of 0.5 in re 4.535 * [backup-simplify]: Simplify 0.5 into 0.5 4.535 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 4.535 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in re 4.535 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.535 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.535 * [taylor]: Taking taylor expansion of im in re 4.535 * [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.538 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.538 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 4.538 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.538 * [taylor]: Taking taylor expansion of -1 in re 4.538 * [backup-simplify]: Simplify -1 into -1 4.538 * [taylor]: Taking taylor expansion of re in re 4.538 * [backup-simplify]: Simplify 0 into 0 4.538 * [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.539 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.539 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) 4.539 * [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.539 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 4.539 * [taylor]: Taking taylor expansion of 0.5 in im 4.539 * [backup-simplify]: Simplify 0.5 into 0.5 4.539 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 4.539 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in 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 -1 in im 4.539 * [backup-simplify]: Simplify -1 into -1 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.540 * [backup-simplify]: Simplify (/ -1 1) into -1 4.540 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.540 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.540 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.540 * [taylor]: Taking taylor expansion of im in im 4.540 * [backup-simplify]: Simplify 0 into 0 4.540 * [backup-simplify]: Simplify 1 into 1 4.541 * [backup-simplify]: Simplify (/ 1 1) into 1 4.541 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.541 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 4.541 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.541 * [taylor]: Taking taylor expansion of -1 in im 4.541 * [backup-simplify]: Simplify -1 into -1 4.541 * [taylor]: Taking taylor expansion of re in im 4.541 * [backup-simplify]: Simplify re into re 4.541 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 4.541 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.541 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.541 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im))) 4.541 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 4.541 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 4.542 * [backup-simplify]: Simplify (- 0) into 0 4.542 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 4.542 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) 4.543 * [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.543 * [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.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.544 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.544 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 4.545 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) 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.547 * [taylor]: Taking taylor expansion of 0 in im 4.547 * [backup-simplify]: Simplify 0 into 0 4.547 * [backup-simplify]: Simplify 0 into 0 4.547 * [backup-simplify]: Simplify (+ 0) into 0 4.548 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 4.548 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 4.549 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.549 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 4.549 * [backup-simplify]: Simplify (- 0) into 0 4.550 * [backup-simplify]: Simplify (+ 0 0) into 0 4.550 * [backup-simplify]: Simplify (+ 0 0) into 0 4.551 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 4.551 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0 4.551 * [backup-simplify]: Simplify 0 into 0 4.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.553 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.553 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.555 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.555 * [backup-simplify]: Simplify (+ 0 0) into 0 4.556 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 4.557 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))))) into 0 4.557 * [taylor]: Taking taylor expansion of 0 in im 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.559 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 4.559 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.560 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.561 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 4.561 * [backup-simplify]: Simplify (- 0) into 0 4.561 * [backup-simplify]: Simplify (+ 0 0) into 0 4.562 * [backup-simplify]: Simplify (+ 0 0) into 0 4.562 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 4.564 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0 4.564 * [backup-simplify]: Simplify 0 into 0 4.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.566 * [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.566 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.568 * [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.569 * [backup-simplify]: Simplify (+ 0 0) into 0 4.570 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 4.571 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))))) into 0 4.571 * [taylor]: Taking taylor expansion of 0 in im 4.571 * [backup-simplify]: Simplify 0 into 0 4.571 * [backup-simplify]: Simplify 0 into 0 4.572 * [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.572 * * * [progress]: simplifying candidates 4.573 * [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.574 * * [simplify]: iteration 0: 75 enodes 4.602 * * [simplify]: iteration 1: 242 enodes 4.723 * * [simplify]: iteration 2: 1719 enodes 5.738 * * [simplify]: iteration complete: 5000 enodes 5.738 * * [simplify]: Extracting #0: cost 18 inf + 0 5.739 * * [simplify]: Extracting #1: cost 476 inf + 0 5.747 * * [simplify]: Extracting #2: cost 1553 inf + 16 5.759 * * [simplify]: Extracting #3: cost 1726 inf + 1218 5.772 * * [simplify]: Extracting #4: cost 753 inf + 10055 5.786 * * [simplify]: Extracting #5: cost 77 inf + 20415 5.798 * * [simplify]: Extracting #6: cost 0 inf + 21686 5.816 * [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.816 * * * [progress]: adding candidates to table 5.977 * * [progress]: iteration 2 / 4 5.977 * * * [progress]: picking best candidate 5.980 * * * * [pick]: Picked # 5.980 * * * [progress]: localizing error 6.005 * * * [progress]: generating rewritten candidates 6.006 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.016 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 6.051 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 6.068 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.098 * * * [progress]: generating series expansions 6.098 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.098 * [backup-simplify]: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im)) 6.098 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 6.098 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 6.098 * [taylor]: Taking taylor expansion of 0.5 in im 6.098 * [backup-simplify]: Simplify 0.5 into 0.5 6.098 * [taylor]: Taking taylor expansion of (exp im) in im 6.098 * [taylor]: Taking taylor expansion of im in im 6.098 * [backup-simplify]: Simplify 0 into 0 6.098 * [backup-simplify]: Simplify 1 into 1 6.098 * [backup-simplify]: Simplify (exp 0) into 1 6.099 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 6.099 * [taylor]: Taking taylor expansion of (/ 0.5 (exp 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 (exp im) in im 6.099 * [taylor]: Taking taylor expansion of im in im 6.099 * [backup-simplify]: Simplify 0 into 0 6.099 * [backup-simplify]: Simplify 1 into 1 6.099 * [backup-simplify]: Simplify (exp 0) into 1 6.099 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 6.099 * [backup-simplify]: Simplify 0.5 into 0.5 6.100 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.102 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 6.102 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.103 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25 6.106 * [backup-simplify]: Simplify 0.25 into 0.25 6.106 * [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.106 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.106 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 6.107 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 6.107 * [taylor]: Taking taylor expansion of 0.5 in im 6.107 * [backup-simplify]: Simplify 0.5 into 0.5 6.107 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.107 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.107 * [taylor]: Taking taylor expansion of im in im 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 (exp (/ 1 im)) into (exp (/ 1 im)) 6.107 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.107 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 6.107 * [taylor]: Taking taylor expansion of 0.5 in im 6.107 * [backup-simplify]: Simplify 0.5 into 0.5 6.107 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.107 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.107 * [taylor]: Taking taylor expansion of im in im 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 (exp (/ 1 im)) into (exp (/ 1 im)) 6.108 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.108 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 6.108 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.108 * [backup-simplify]: Simplify 0 into 0 6.108 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.108 * [backup-simplify]: Simplify 0 into 0 6.108 * [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.108 * [backup-simplify]: Simplify 0 into 0 6.109 * [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.109 * [backup-simplify]: Simplify 0 into 0 6.109 * [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.109 * [backup-simplify]: Simplify 0 into 0 6.110 * [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.110 * [backup-simplify]: Simplify 0 into 0 6.110 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im)) 6.110 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im))) 6.110 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 6.110 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 6.110 * [taylor]: Taking taylor expansion of 0.5 in im 6.110 * [backup-simplify]: Simplify 0.5 into 0.5 6.110 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.110 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.110 * [taylor]: Taking taylor expansion of -1 in im 6.110 * [backup-simplify]: Simplify -1 into -1 6.110 * [taylor]: Taking taylor expansion of im in im 6.110 * [backup-simplify]: Simplify 0 into 0 6.110 * [backup-simplify]: Simplify 1 into 1 6.111 * [backup-simplify]: Simplify (/ -1 1) into -1 6.111 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.111 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 6.111 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 6.111 * [taylor]: Taking taylor expansion of 0.5 in im 6.111 * [backup-simplify]: Simplify 0.5 into 0.5 6.111 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.111 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.111 * [taylor]: Taking taylor expansion of -1 in im 6.111 * [backup-simplify]: Simplify -1 into -1 6.111 * [taylor]: Taking taylor expansion of im in im 6.111 * [backup-simplify]: Simplify 0 into 0 6.111 * [backup-simplify]: Simplify 1 into 1 6.111 * [backup-simplify]: Simplify (/ -1 1) into -1 6.111 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.111 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 6.112 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 6.112 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.112 * [backup-simplify]: Simplify 0 into 0 6.112 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.112 * [backup-simplify]: Simplify 0 into 0 6.112 * [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.112 * [backup-simplify]: Simplify 0 into 0 6.113 * [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.113 * [backup-simplify]: Simplify 0 into 0 6.113 * [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.113 * [backup-simplify]: Simplify 0 into 0 6.114 * [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.114 * [backup-simplify]: Simplify 0 into 0 6.114 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im)) 6.114 * * * * [progress]: [ 2 / 4 ] generating series at (2) 6.114 * [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.114 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in (im re) around 0 6.114 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re 6.114 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re 6.114 * [taylor]: Taking taylor expansion of 0.5 in re 6.114 * [backup-simplify]: Simplify 0.5 into 0.5 6.114 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re 6.114 * [taylor]: Taking taylor expansion of (exp im) in re 6.114 * [taylor]: Taking taylor expansion of im in re 6.114 * [backup-simplify]: Simplify im into im 6.114 * [backup-simplify]: Simplify (exp im) into (exp im) 6.114 * [taylor]: Taking taylor expansion of (cos re) in re 6.114 * [taylor]: Taking taylor expansion of re in re 6.114 * [backup-simplify]: Simplify 0 into 0 6.114 * [backup-simplify]: Simplify 1 into 1 6.114 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 6.114 * [taylor]: Taking taylor expansion of 0.5 in re 6.114 * [backup-simplify]: Simplify 0.5 into 0.5 6.114 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 6.114 * [taylor]: Taking taylor expansion of (cos re) in re 6.114 * [taylor]: Taking taylor expansion of re in re 6.114 * [backup-simplify]: Simplify 0 into 0 6.114 * [backup-simplify]: Simplify 1 into 1 6.114 * [taylor]: Taking taylor expansion of (exp im) in re 6.114 * [taylor]: Taking taylor expansion of im in re 6.114 * [backup-simplify]: Simplify im into im 6.114 * [backup-simplify]: Simplify (exp im) into (exp im) 6.114 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.114 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im 6.115 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.115 * [taylor]: Taking taylor expansion of 0.5 in im 6.115 * [backup-simplify]: Simplify 0.5 into 0.5 6.115 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.115 * [taylor]: Taking taylor expansion of (exp im) in im 6.115 * [taylor]: Taking taylor expansion of im in im 6.115 * [backup-simplify]: Simplify 0 into 0 6.115 * [backup-simplify]: Simplify 1 into 1 6.115 * [backup-simplify]: Simplify (exp 0) into 1 6.115 * [taylor]: Taking taylor expansion of (cos re) in im 6.115 * [taylor]: Taking taylor expansion of re in im 6.115 * [backup-simplify]: Simplify re into re 6.115 * [backup-simplify]: Simplify (cos re) into (cos re) 6.115 * [backup-simplify]: Simplify (sin re) into (sin re) 6.115 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 6.115 * [taylor]: Taking taylor expansion of 0.5 in im 6.115 * [backup-simplify]: Simplify 0.5 into 0.5 6.115 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 6.115 * [taylor]: Taking taylor expansion of (cos re) in im 6.115 * [taylor]: Taking taylor expansion of re in im 6.115 * [backup-simplify]: Simplify re into re 6.115 * [backup-simplify]: Simplify (cos re) into (cos re) 6.115 * [backup-simplify]: Simplify (sin re) into (sin re) 6.115 * [taylor]: Taking taylor expansion of (exp im) in im 6.115 * [taylor]: Taking taylor expansion of im in im 6.115 * [backup-simplify]: Simplify 0 into 0 6.115 * [backup-simplify]: Simplify 1 into 1 6.115 * [backup-simplify]: Simplify (exp 0) into 1 6.115 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.115 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.116 * [backup-simplify]: Simplify (- 0) into 0 6.116 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.116 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 6.116 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im 6.116 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.116 * [taylor]: Taking taylor expansion of 0.5 in im 6.116 * [backup-simplify]: Simplify 0.5 into 0.5 6.116 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.116 * [taylor]: Taking taylor expansion of (exp im) in im 6.116 * [taylor]: Taking taylor expansion of im in im 6.116 * [backup-simplify]: Simplify 0 into 0 6.116 * [backup-simplify]: Simplify 1 into 1 6.116 * [backup-simplify]: Simplify (exp 0) into 1 6.116 * [taylor]: Taking taylor expansion of (cos re) in im 6.116 * [taylor]: Taking taylor expansion of re in im 6.116 * [backup-simplify]: Simplify re into re 6.116 * [backup-simplify]: Simplify (cos re) into (cos re) 6.116 * [backup-simplify]: Simplify (sin re) into (sin re) 6.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 6.116 * [taylor]: Taking taylor expansion of 0.5 in im 6.116 * [backup-simplify]: Simplify 0.5 into 0.5 6.116 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 6.116 * [taylor]: Taking taylor expansion of (cos re) in im 6.116 * [taylor]: Taking taylor expansion of re in im 6.116 * [backup-simplify]: Simplify re into re 6.116 * [backup-simplify]: Simplify (cos re) into (cos re) 6.116 * [backup-simplify]: Simplify (sin re) into (sin re) 6.116 * [taylor]: Taking taylor expansion of (exp im) in im 6.116 * [taylor]: Taking taylor expansion of im in im 6.116 * [backup-simplify]: Simplify 0 into 0 6.116 * [backup-simplify]: Simplify 1 into 1 6.116 * [backup-simplify]: Simplify (exp 0) into 1 6.116 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.116 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.117 * [backup-simplify]: Simplify (- 0) into 0 6.117 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.117 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 6.117 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.117 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.117 * [backup-simplify]: Simplify (- 0) into 0 6.117 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.118 * [backup-simplify]: Simplify (* 1 (cos re)) into (cos re) 6.118 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 6.118 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 6.118 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0.5 (cos re))) into (* 1.0 (cos re)) 6.118 * [taylor]: Taking taylor expansion of (* 1.0 (cos re)) in re 6.118 * [taylor]: Taking taylor expansion of 1.0 in re 6.118 * [backup-simplify]: Simplify 1.0 into 1.0 6.118 * [taylor]: Taking taylor expansion of (cos re) in re 6.118 * [taylor]: Taking taylor expansion of re in re 6.118 * [backup-simplify]: Simplify 0 into 0 6.118 * [backup-simplify]: Simplify 1 into 1 6.118 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.118 * [backup-simplify]: Simplify 1.0 into 1.0 6.119 * [backup-simplify]: Simplify (+ 0) into 0 6.119 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 6.120 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.120 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 6.121 * [backup-simplify]: Simplify (- 0) into 0 6.121 * [backup-simplify]: Simplify (+ 0 0) into 0 6.122 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.123 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos re))) into (cos re) 6.123 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0 (cos re))) into (* 0.5 (cos re)) 6.123 * [backup-simplify]: Simplify (+ 0) into 0 6.124 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 6.125 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.126 * [backup-simplify]: Simplify (+ (* (sin re) 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 (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1 1)))) into (- (cos re)) 6.128 * [backup-simplify]: Simplify (+ (* 0.5 (- (cos re))) (* 0 (cos re))) into (- (* 0.5 (cos re))) 6.128 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (- (* 0.5 (cos re)))) into 0 6.128 * [taylor]: Taking taylor expansion of 0 in re 6.128 * [backup-simplify]: Simplify 0 into 0 6.128 * [backup-simplify]: Simplify 0 into 0 6.129 * [backup-simplify]: Simplify (+ 0) into 0 6.129 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.129 * [backup-simplify]: Simplify 0 into 0 6.130 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.134 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 6.134 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.135 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 6.135 * [backup-simplify]: Simplify (- 0) into 0 6.136 * [backup-simplify]: Simplify (+ 0 0) into 0 6.137 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos re)))) into (* 1/2 (cos re)) 6.138 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (cos re)) (* 0 (cos re)))) into (* 0.25 (cos re)) 6.139 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.140 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 6.141 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.141 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 6.142 * [backup-simplify]: Simplify (- 0) into 0 6.143 * [backup-simplify]: Simplify (+ 0 0) into 0 6.144 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1/2 1)) (* (- (cos re)) (/ 1 1)))) into (* 1/2 (cos re)) 6.146 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (- (cos re))) (* 0 (cos re)))) into (* 0.25 (cos re)) 6.147 * [backup-simplify]: Simplify (+ (* 0.25 (cos re)) (* 0.25 (cos re))) into (* 0.5 (cos re)) 6.147 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 6.147 * [taylor]: Taking taylor expansion of 0.5 in re 6.147 * [backup-simplify]: Simplify 0.5 into 0.5 6.147 * [taylor]: Taking taylor expansion of (cos re) in re 6.147 * [taylor]: Taking taylor expansion of re in re 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify 1 into 1 6.147 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.147 * [backup-simplify]: Simplify 0.5 into 0.5 6.147 * [backup-simplify]: Simplify 0 into 0 6.148 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 6.151 * [backup-simplify]: Simplify (+ (* 1.0 -1/2) (+ (* 0 0) (* 0 1))) into (- 0.5) 6.151 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.152 * [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.152 * [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.153 * [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.153 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re 6.153 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.153 * [taylor]: Taking taylor expansion of 0.5 in re 6.153 * [backup-simplify]: Simplify 0.5 into 0.5 6.153 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.153 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.153 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.153 * [taylor]: Taking taylor expansion of re in re 6.153 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify 1 into 1 6.153 * [backup-simplify]: Simplify (/ 1 1) into 1 6.153 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.153 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.153 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.153 * [taylor]: Taking taylor expansion of im in re 6.154 * [backup-simplify]: Simplify im into im 6.154 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.154 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.154 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.154 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.154 * [taylor]: Taking taylor expansion of 0.5 in re 6.154 * [backup-simplify]: Simplify 0.5 into 0.5 6.154 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.154 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.154 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.154 * [taylor]: Taking taylor expansion of re in re 6.154 * [backup-simplify]: Simplify 0 into 0 6.154 * [backup-simplify]: Simplify 1 into 1 6.155 * [backup-simplify]: Simplify (/ 1 1) into 1 6.155 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.155 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.155 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.155 * [taylor]: Taking taylor expansion of im in re 6.155 * [backup-simplify]: Simplify im into im 6.155 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.155 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.155 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im 6.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.155 * [taylor]: Taking taylor expansion of 0.5 in im 6.155 * [backup-simplify]: Simplify 0.5 into 0.5 6.155 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.155 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.155 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.156 * [taylor]: Taking taylor expansion of re in im 6.156 * [backup-simplify]: Simplify re into re 6.156 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.156 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.156 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.156 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.156 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.156 * [taylor]: Taking taylor expansion of im in im 6.156 * [backup-simplify]: Simplify 0 into 0 6.156 * [backup-simplify]: Simplify 1 into 1 6.156 * [backup-simplify]: Simplify (/ 1 1) into 1 6.157 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.157 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.157 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.157 * [backup-simplify]: Simplify (- 0) into 0 6.157 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.158 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.158 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.158 * [taylor]: Taking taylor expansion of 0.5 in im 6.158 * [backup-simplify]: Simplify 0.5 into 0.5 6.158 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 6.158 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.158 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.158 * [taylor]: Taking taylor expansion of re in im 6.158 * [backup-simplify]: Simplify re into re 6.158 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.158 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.158 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.158 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.158 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.158 * [taylor]: Taking taylor expansion of im in im 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 (exp (/ 1 im)) into (exp (/ 1 im)) 6.159 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in im 6.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.159 * [taylor]: Taking taylor expansion of 0.5 in im 6.159 * [backup-simplify]: Simplify 0.5 into 0.5 6.159 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.159 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.159 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.159 * [taylor]: Taking taylor expansion of re in im 6.159 * [backup-simplify]: Simplify re into re 6.159 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.159 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.159 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.159 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.159 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.159 * [taylor]: Taking taylor expansion of im in im 6.159 * [backup-simplify]: Simplify 0 into 0 6.159 * [backup-simplify]: Simplify 1 into 1 6.160 * [backup-simplify]: Simplify (/ 1 1) into 1 6.160 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.160 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.160 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.161 * [backup-simplify]: Simplify (- 0) into 0 6.161 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.161 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 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 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 im in im 6.161 * [backup-simplify]: Simplify 0 into 0 6.161 * [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 (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (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 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.164 * [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.164 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re 6.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.164 * [taylor]: Taking taylor expansion of 0.5 in re 6.164 * [backup-simplify]: Simplify 0.5 into 0.5 6.164 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.164 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.164 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.164 * [taylor]: Taking taylor expansion of re in re 6.164 * [backup-simplify]: Simplify 0 into 0 6.164 * [backup-simplify]: Simplify 1 into 1 6.165 * [backup-simplify]: Simplify (/ 1 1) into 1 6.165 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.165 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.165 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.165 * [taylor]: Taking taylor expansion of im in re 6.165 * [backup-simplify]: Simplify im into im 6.165 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.165 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.165 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.165 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.165 * [taylor]: Taking taylor expansion of 0.5 in re 6.165 * [backup-simplify]: Simplify 0.5 into 0.5 6.165 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.165 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.165 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.165 * [taylor]: Taking taylor expansion of re in re 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 (cos (/ 1 re)) into (cos (/ 1 re)) 6.166 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.166 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.166 * [taylor]: Taking taylor expansion of im in re 6.166 * [backup-simplify]: Simplify im into im 6.166 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.166 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.166 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.167 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 6.167 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.167 * [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.168 * [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.168 * [backup-simplify]: Simplify (+ 0) into 0 6.169 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.170 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.170 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.170 * [backup-simplify]: Simplify (- 0) into 0 6.171 * [backup-simplify]: Simplify (+ 0 0) into 0 6.171 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.172 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.172 * [backup-simplify]: Simplify (+ 0) into 0 6.173 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.174 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.174 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.175 * [backup-simplify]: Simplify (- 0) into 0 6.175 * [backup-simplify]: Simplify (+ 0 0) into 0 6.175 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.176 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.176 * [backup-simplify]: Simplify (+ 0 0) into 0 6.176 * [taylor]: Taking taylor expansion of 0 in re 6.176 * [backup-simplify]: Simplify 0 into 0 6.176 * [backup-simplify]: Simplify 0 into 0 6.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.178 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.178 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.179 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.179 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.180 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.180 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.180 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.181 * [backup-simplify]: Simplify (+ 0 0) into 0 6.181 * [backup-simplify]: Simplify 0 into 0 6.182 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.183 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.184 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.184 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.185 * [backup-simplify]: Simplify (- 0) into 0 6.185 * [backup-simplify]: Simplify (+ 0 0) into 0 6.185 * [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.186 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.187 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.188 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.189 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.190 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.190 * [backup-simplify]: Simplify (- 0) into 0 6.190 * [backup-simplify]: Simplify (+ 0 0) into 0 6.191 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.192 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.192 * [backup-simplify]: Simplify (+ 0 0) into 0 6.192 * [taylor]: Taking taylor expansion of 0 in re 6.193 * [backup-simplify]: Simplify 0 into 0 6.193 * [backup-simplify]: Simplify 0 into 0 6.193 * [backup-simplify]: Simplify 0 into 0 6.193 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.194 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.195 * [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.196 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.197 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.198 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 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 0) into 0 6.199 * [backup-simplify]: Simplify 0 into 0 6.200 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.201 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.202 * [backup-simplify]: Simplify (- (+ (* (/ 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.205 * [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.207 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.208 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.209 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.211 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.211 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.212 * [backup-simplify]: Simplify (- 0) into 0 6.212 * [backup-simplify]: Simplify (+ 0 0) into 0 6.213 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 6.215 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.215 * [backup-simplify]: Simplify (+ 0 0) into 0 6.215 * [taylor]: Taking taylor expansion of 0 in re 6.215 * [backup-simplify]: Simplify 0 into 0 6.215 * [backup-simplify]: Simplify 0 into 0 6.216 * [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.216 * [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.216 * [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.216 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re 6.216 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.216 * [taylor]: Taking taylor expansion of 0.5 in re 6.216 * [backup-simplify]: Simplify 0.5 into 0.5 6.216 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.216 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.216 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.216 * [taylor]: Taking taylor expansion of -1 in re 6.216 * [backup-simplify]: Simplify -1 into -1 6.216 * [taylor]: Taking taylor expansion of re in re 6.217 * [backup-simplify]: Simplify 0 into 0 6.217 * [backup-simplify]: Simplify 1 into 1 6.217 * [backup-simplify]: Simplify (/ -1 1) into -1 6.217 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.217 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.217 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.217 * [taylor]: Taking taylor expansion of -1 in re 6.217 * [backup-simplify]: Simplify -1 into -1 6.217 * [taylor]: Taking taylor expansion of im in re 6.217 * [backup-simplify]: Simplify im into im 6.217 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.217 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.218 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.218 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.218 * [taylor]: Taking taylor expansion of 0.5 in re 6.218 * [backup-simplify]: Simplify 0.5 into 0.5 6.218 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.218 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.218 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.218 * [taylor]: Taking taylor expansion of -1 in re 6.218 * [backup-simplify]: Simplify -1 into -1 6.218 * [taylor]: Taking taylor expansion of re in re 6.218 * [backup-simplify]: Simplify 0 into 0 6.218 * [backup-simplify]: Simplify 1 into 1 6.218 * [backup-simplify]: Simplify (/ -1 1) into -1 6.218 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.218 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.218 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.219 * [taylor]: Taking taylor expansion of -1 in re 6.219 * [backup-simplify]: Simplify -1 into -1 6.219 * [taylor]: Taking taylor expansion of im in re 6.219 * [backup-simplify]: Simplify im into im 6.219 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.219 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.219 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im 6.219 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.219 * [taylor]: Taking taylor expansion of 0.5 in im 6.219 * [backup-simplify]: Simplify 0.5 into 0.5 6.219 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.219 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.219 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.219 * [taylor]: Taking taylor expansion of -1 in im 6.219 * [backup-simplify]: Simplify -1 into -1 6.219 * [taylor]: Taking taylor expansion of re in im 6.219 * [backup-simplify]: Simplify re into re 6.219 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.219 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.219 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.219 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.219 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.219 * [taylor]: Taking taylor expansion of -1 in im 6.219 * [backup-simplify]: Simplify -1 into -1 6.219 * [taylor]: Taking taylor expansion of im in im 6.219 * [backup-simplify]: Simplify 0 into 0 6.220 * [backup-simplify]: Simplify 1 into 1 6.220 * [backup-simplify]: Simplify (/ -1 1) into -1 6.220 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.220 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.220 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.221 * [backup-simplify]: Simplify (- 0) into 0 6.221 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.221 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 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 -1 in im 6.221 * [backup-simplify]: Simplify -1 into -1 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.222 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.222 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.222 * [taylor]: Taking taylor expansion of -1 in im 6.222 * [backup-simplify]: Simplify -1 into -1 6.222 * [taylor]: Taking taylor expansion of im in im 6.222 * [backup-simplify]: Simplify 0 into 0 6.222 * [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 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in im 6.222 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.222 * [taylor]: Taking taylor expansion of 0.5 in im 6.222 * [backup-simplify]: Simplify 0.5 into 0.5 6.222 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.222 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.222 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.222 * [taylor]: Taking taylor expansion of -1 in im 6.223 * [backup-simplify]: Simplify -1 into -1 6.223 * [taylor]: Taking taylor expansion of re in im 6.223 * [backup-simplify]: Simplify re into re 6.223 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.223 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.223 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.223 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.223 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.223 * [taylor]: Taking taylor expansion of -1 in im 6.223 * [backup-simplify]: Simplify -1 into -1 6.223 * [taylor]: Taking taylor expansion of im in im 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.224 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.224 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.224 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.224 * [backup-simplify]: Simplify (- 0) into 0 6.224 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.224 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.224 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.225 * [taylor]: Taking taylor expansion of 0.5 in im 6.225 * [backup-simplify]: Simplify 0.5 into 0.5 6.225 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 6.225 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.225 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.225 * [taylor]: Taking taylor expansion of -1 in im 6.225 * [backup-simplify]: Simplify -1 into -1 6.225 * [taylor]: Taking taylor expansion of re in im 6.225 * [backup-simplify]: Simplify re into re 6.225 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.225 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.225 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.225 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.225 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.225 * [taylor]: Taking taylor expansion of -1 in im 6.225 * [backup-simplify]: Simplify -1 into -1 6.225 * [taylor]: Taking taylor expansion of im in im 6.225 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify 1 into 1 6.226 * [backup-simplify]: Simplify (/ -1 1) into -1 6.226 * [backup-simplify]: Simplify (exp (/ -1 im)) into (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 (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.226 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.227 * [backup-simplify]: Simplify (- 0) into 0 6.227 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.227 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.227 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.228 * [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.228 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re 6.228 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.228 * [taylor]: Taking taylor expansion of 0.5 in re 6.228 * [backup-simplify]: Simplify 0.5 into 0.5 6.228 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.228 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.228 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.228 * [taylor]: Taking taylor expansion of -1 in re 6.228 * [backup-simplify]: Simplify -1 into -1 6.228 * [taylor]: Taking taylor expansion of re in re 6.228 * [backup-simplify]: Simplify 0 into 0 6.228 * [backup-simplify]: Simplify 1 into 1 6.228 * [backup-simplify]: Simplify (/ -1 1) into -1 6.229 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.229 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.229 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.229 * [taylor]: Taking taylor expansion of -1 in re 6.229 * [backup-simplify]: Simplify -1 into -1 6.229 * [taylor]: Taking taylor expansion of im in re 6.229 * [backup-simplify]: Simplify im into im 6.229 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.229 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.229 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.229 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.229 * [taylor]: Taking taylor expansion of 0.5 in re 6.229 * [backup-simplify]: Simplify 0.5 into 0.5 6.229 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.229 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.229 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.229 * [taylor]: Taking taylor expansion of -1 in re 6.229 * [backup-simplify]: Simplify -1 into -1 6.229 * [taylor]: Taking taylor expansion of re in re 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify 1 into 1 6.230 * [backup-simplify]: Simplify (/ -1 1) into -1 6.230 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.230 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.230 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.230 * [taylor]: Taking taylor expansion of -1 in re 6.230 * [backup-simplify]: Simplify -1 into -1 6.230 * [taylor]: Taking taylor expansion of im in re 6.230 * [backup-simplify]: Simplify im into im 6.230 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.230 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.230 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.231 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.231 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.231 * [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.231 * [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.232 * [backup-simplify]: Simplify (+ 0) into 0 6.232 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.232 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.233 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.233 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.233 * [backup-simplify]: Simplify (- 0) into 0 6.233 * [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)))))) into 0 6.234 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.234 * [backup-simplify]: Simplify (+ 0) into 0 6.235 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.235 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.235 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.235 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.236 * [backup-simplify]: Simplify (- 0) into 0 6.236 * [backup-simplify]: Simplify (+ 0 0) into 0 6.236 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.237 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.237 * [backup-simplify]: Simplify (+ 0 0) into 0 6.237 * [taylor]: Taking taylor expansion of 0 in re 6.237 * [backup-simplify]: Simplify 0 into 0 6.237 * [backup-simplify]: Simplify 0 into 0 6.237 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.238 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.238 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.238 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.238 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.239 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.239 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.239 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.240 * [backup-simplify]: Simplify (+ 0 0) into 0 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.241 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.241 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.241 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.242 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.242 * [backup-simplify]: Simplify (- 0) into 0 6.242 * [backup-simplify]: Simplify (+ 0 0) into 0 6.242 * [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.243 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.244 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.244 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.244 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.245 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.245 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.245 * [backup-simplify]: Simplify (- 0) into 0 6.245 * [backup-simplify]: Simplify (+ 0 0) into 0 6.246 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.246 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.247 * [backup-simplify]: Simplify (+ 0 0) into 0 6.247 * [taylor]: Taking taylor expansion of 0 in re 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.248 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.248 * [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.249 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.249 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.250 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.250 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 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.251 * [backup-simplify]: Simplify (+ 0 0) into 0 6.251 * [backup-simplify]: Simplify 0 into 0 6.251 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.252 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.252 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.253 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.253 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.254 * [backup-simplify]: Simplify (- 0) into 0 6.254 * [backup-simplify]: Simplify (+ 0 0) into 0 6.254 * [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.255 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.256 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.256 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.256 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.257 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.258 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.258 * [backup-simplify]: Simplify (- 0) into 0 6.258 * [backup-simplify]: Simplify (+ 0 0) into 0 6.259 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 6.260 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.261 * [backup-simplify]: Simplify (+ 0 0) into 0 6.261 * [taylor]: Taking taylor expansion of 0 in re 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [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.261 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 6.262 * [backup-simplify]: Simplify (* (cos re) (/ 0.5 (exp im))) into (* 0.5 (/ (cos re) (exp im))) 6.262 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0 6.262 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 6.262 * [taylor]: Taking taylor expansion of 0.5 in im 6.262 * [backup-simplify]: Simplify 0.5 into 0.5 6.262 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 6.262 * [taylor]: Taking taylor expansion of (cos re) in im 6.262 * [taylor]: Taking taylor expansion of re in im 6.262 * [backup-simplify]: Simplify re into re 6.262 * [backup-simplify]: Simplify (cos re) into (cos re) 6.262 * [backup-simplify]: Simplify (sin re) into (sin re) 6.262 * [taylor]: Taking taylor expansion of (exp im) in im 6.262 * [taylor]: Taking taylor expansion of im in im 6.262 * [backup-simplify]: Simplify 0 into 0 6.262 * [backup-simplify]: Simplify 1 into 1 6.262 * [backup-simplify]: Simplify (exp 0) into 1 6.262 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.262 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.263 * [backup-simplify]: Simplify (- 0) into 0 6.263 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.263 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 6.263 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 6.263 * [taylor]: Taking taylor expansion of 0.5 in re 6.263 * [backup-simplify]: Simplify 0.5 into 0.5 6.263 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 6.263 * [taylor]: Taking taylor expansion of (cos re) in re 6.263 * [taylor]: Taking taylor expansion of re in re 6.263 * [backup-simplify]: Simplify 0 into 0 6.263 * [backup-simplify]: Simplify 1 into 1 6.263 * [taylor]: Taking taylor expansion of (exp im) in re 6.263 * [taylor]: Taking taylor expansion of im in re 6.263 * [backup-simplify]: Simplify im into im 6.263 * [backup-simplify]: Simplify (exp im) into (exp im) 6.263 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.263 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 6.263 * [taylor]: Taking taylor expansion of 0.5 in re 6.263 * [backup-simplify]: Simplify 0.5 into 0.5 6.264 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 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 * [taylor]: Taking taylor expansion of (exp im) in re 6.264 * [taylor]: Taking taylor expansion of im in re 6.264 * [backup-simplify]: Simplify im into im 6.264 * [backup-simplify]: Simplify (exp im) into (exp im) 6.264 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.264 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im)) 6.264 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 6.264 * [taylor]: Taking taylor expansion of 0.5 in im 6.264 * [backup-simplify]: Simplify 0.5 into 0.5 6.264 * [taylor]: Taking taylor expansion of (exp im) in im 6.264 * [taylor]: Taking taylor expansion of im in im 6.264 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify 1 into 1 6.264 * [backup-simplify]: Simplify (exp 0) into 1 6.265 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 6.265 * [backup-simplify]: Simplify 0.5 into 0.5 6.265 * [backup-simplify]: Simplify (+ 0) into 0 6.266 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 6.266 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 6.267 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0 6.267 * [taylor]: Taking taylor expansion of 0 in im 6.267 * [backup-simplify]: Simplify 0 into 0 6.267 * [backup-simplify]: Simplify 0 into 0 6.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 6.271 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.272 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 6.278 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.278 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im)))) 6.279 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im)))) 6.279 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im 6.279 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im 6.279 * [taylor]: Taking taylor expansion of 0.25 in im 6.279 * [backup-simplify]: Simplify 0.25 into 0.25 6.279 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im 6.279 * [taylor]: Taking taylor expansion of (exp im) in im 6.279 * [taylor]: Taking taylor expansion of im in im 6.279 * [backup-simplify]: Simplify 0 into 0 6.279 * [backup-simplify]: Simplify 1 into 1 6.279 * [backup-simplify]: Simplify (exp 0) into 1 6.280 * [backup-simplify]: Simplify (/ 1 1) into 1 6.280 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 6.280 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 6.281 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 6.282 * [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.282 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (/ 0.5 (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.282 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 6.282 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.282 * [taylor]: Taking taylor expansion of 0.5 in im 6.282 * [backup-simplify]: Simplify 0.5 into 0.5 6.282 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.282 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.282 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.282 * [taylor]: Taking taylor expansion of re in im 6.282 * [backup-simplify]: Simplify re into re 6.283 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.283 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.283 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.283 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.283 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.283 * [taylor]: Taking taylor expansion of im in im 6.283 * [backup-simplify]: Simplify 0 into 0 6.283 * [backup-simplify]: Simplify 1 into 1 6.283 * [backup-simplify]: Simplify (/ 1 1) into 1 6.283 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.283 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.283 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.284 * [backup-simplify]: Simplify (- 0) into 0 6.284 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.284 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.284 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.284 * [taylor]: Taking taylor expansion of 0.5 in re 6.284 * [backup-simplify]: Simplify 0.5 into 0.5 6.284 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.284 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.284 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.284 * [taylor]: Taking taylor expansion of re in re 6.284 * [backup-simplify]: Simplify 0 into 0 6.284 * [backup-simplify]: Simplify 1 into 1 6.284 * [backup-simplify]: Simplify (/ 1 1) into 1 6.284 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.284 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.284 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.284 * [taylor]: Taking taylor expansion of im in re 6.284 * [backup-simplify]: Simplify im into im 6.284 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.284 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.284 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.285 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.285 * [taylor]: Taking taylor expansion of 0.5 in re 6.285 * [backup-simplify]: Simplify 0.5 into 0.5 6.285 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 6.285 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.285 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.285 * [taylor]: Taking taylor expansion of re in re 6.285 * [backup-simplify]: Simplify 0 into 0 6.285 * [backup-simplify]: Simplify 1 into 1 6.285 * [backup-simplify]: Simplify (/ 1 1) into 1 6.285 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.285 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.285 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.285 * [taylor]: Taking taylor expansion of im in re 6.285 * [backup-simplify]: Simplify im into im 6.285 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.285 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.285 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.285 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.285 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.285 * [taylor]: Taking taylor expansion of 0.5 in im 6.285 * [backup-simplify]: Simplify 0.5 into 0.5 6.285 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 6.285 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.286 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.286 * [taylor]: Taking taylor expansion of re in im 6.286 * [backup-simplify]: Simplify re into re 6.286 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.286 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.286 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.286 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.286 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.286 * [taylor]: Taking taylor expansion of im in im 6.286 * [backup-simplify]: Simplify 0 into 0 6.286 * [backup-simplify]: Simplify 1 into 1 6.286 * [backup-simplify]: Simplify (/ 1 1) into 1 6.286 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.286 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.286 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.286 * [backup-simplify]: Simplify (- 0) into 0 6.287 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.287 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 6.287 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.287 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 6.287 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.288 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.288 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.288 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.288 * [taylor]: Taking taylor expansion of 0 in im 6.288 * [backup-simplify]: Simplify 0 into 0 6.288 * [backup-simplify]: Simplify 0 into 0 6.288 * [backup-simplify]: Simplify (+ 0) into 0 6.289 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.289 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.289 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.290 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.290 * [backup-simplify]: Simplify (- 0) into 0 6.290 * [backup-simplify]: Simplify (+ 0 0) into 0 6.290 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.291 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.292 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.292 * [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.293 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.293 * [taylor]: Taking taylor expansion of 0 in im 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.294 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.294 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.294 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.295 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.295 * [backup-simplify]: Simplify (- 0) into 0 6.295 * [backup-simplify]: Simplify (+ 0 0) into 0 6.295 * [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.296 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.296 * [backup-simplify]: Simplify 0 into 0 6.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.297 * [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.298 * [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.299 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.299 * [taylor]: Taking taylor expansion of 0 in im 6.299 * [backup-simplify]: Simplify 0 into 0 6.299 * [backup-simplify]: Simplify 0 into 0 6.299 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im))) 6.299 * [backup-simplify]: Simplify (* (cos (/ 1 (- re))) (/ 0.5 (exp (/ 1 (- im))))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.299 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 6.299 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.299 * [taylor]: Taking taylor expansion of 0.5 in im 6.299 * [backup-simplify]: Simplify 0.5 into 0.5 6.299 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.299 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.299 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.299 * [taylor]: Taking taylor expansion of -1 in im 6.299 * [backup-simplify]: Simplify -1 into -1 6.299 * [taylor]: Taking taylor expansion of re in im 6.299 * [backup-simplify]: Simplify re into re 6.299 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.299 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.299 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.299 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.299 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.299 * [taylor]: Taking taylor expansion of -1 in im 6.299 * [backup-simplify]: Simplify -1 into -1 6.299 * [taylor]: Taking taylor expansion of im in im 6.299 * [backup-simplify]: Simplify 0 into 0 6.299 * [backup-simplify]: Simplify 1 into 1 6.300 * [backup-simplify]: Simplify (/ -1 1) into -1 6.300 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.300 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.300 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.300 * [backup-simplify]: Simplify (- 0) into 0 6.300 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.300 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.300 * [taylor]: Taking taylor expansion of 0.5 in re 6.300 * [backup-simplify]: Simplify 0.5 into 0.5 6.300 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.301 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.301 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.301 * [taylor]: Taking taylor expansion of -1 in re 6.301 * [backup-simplify]: Simplify -1 into -1 6.301 * [taylor]: Taking taylor expansion of re in re 6.301 * [backup-simplify]: Simplify 0 into 0 6.301 * [backup-simplify]: Simplify 1 into 1 6.301 * [backup-simplify]: Simplify (/ -1 1) into -1 6.301 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.301 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.301 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.301 * [taylor]: Taking taylor expansion of -1 in re 6.301 * [backup-simplify]: Simplify -1 into -1 6.301 * [taylor]: Taking taylor expansion of im in re 6.301 * [backup-simplify]: Simplify im into im 6.301 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.301 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.301 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.301 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.301 * [taylor]: Taking taylor expansion of 0.5 in re 6.301 * [backup-simplify]: Simplify 0.5 into 0.5 6.301 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 6.301 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.301 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.301 * [taylor]: Taking taylor expansion of -1 in re 6.301 * [backup-simplify]: Simplify -1 into -1 6.301 * [taylor]: Taking taylor expansion of re in re 6.301 * [backup-simplify]: Simplify 0 into 0 6.301 * [backup-simplify]: Simplify 1 into 1 6.302 * [backup-simplify]: Simplify (/ -1 1) into -1 6.302 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.302 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.302 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.302 * [taylor]: Taking taylor expansion of -1 in re 6.302 * [backup-simplify]: Simplify -1 into -1 6.302 * [taylor]: Taking taylor expansion of im in re 6.302 * [backup-simplify]: Simplify im into im 6.302 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.302 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.302 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.302 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.302 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.302 * [taylor]: Taking taylor expansion of 0.5 in im 6.302 * [backup-simplify]: Simplify 0.5 into 0.5 6.302 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 6.302 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.302 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.302 * [taylor]: Taking taylor expansion of -1 in im 6.302 * [backup-simplify]: Simplify -1 into -1 6.302 * [taylor]: Taking taylor expansion of re in im 6.302 * [backup-simplify]: Simplify re into re 6.302 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.303 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.303 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.303 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.303 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.303 * [taylor]: Taking taylor expansion of -1 in im 6.303 * [backup-simplify]: Simplify -1 into -1 6.303 * [taylor]: Taking taylor expansion of im in im 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.303 * [backup-simplify]: Simplify (/ -1 1) into -1 6.303 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.303 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.303 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.303 * [backup-simplify]: Simplify (- 0) into 0 6.304 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.304 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 6.304 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.304 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 6.304 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.304 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.305 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.305 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.305 * [taylor]: Taking taylor expansion of 0 in im 6.305 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify (+ 0) into 0 6.306 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.306 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.307 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.307 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.307 * [backup-simplify]: Simplify (- 0) into 0 6.308 * [backup-simplify]: Simplify (+ 0 0) into 0 6.308 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.308 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.308 * [backup-simplify]: Simplify 0 into 0 6.308 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.309 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.310 * [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.310 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.310 * [taylor]: Taking taylor expansion of 0 in im 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.311 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.311 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.312 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.312 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.313 * [backup-simplify]: Simplify (- 0) into 0 6.313 * [backup-simplify]: Simplify (+ 0 0) into 0 6.313 * [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.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.314 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.315 * [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.315 * [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.316 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.316 * [taylor]: Taking taylor expansion of 0 in im 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im))) 6.316 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.317 * [backup-simplify]: Simplify (* (exp im) (* (cos re) 0.5)) into (* 0.5 (* (exp im) (cos re))) 6.317 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in (im re) around 0 6.317 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re 6.317 * [taylor]: Taking taylor expansion of 0.5 in re 6.317 * [backup-simplify]: Simplify 0.5 into 0.5 6.317 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re 6.317 * [taylor]: Taking taylor expansion of (exp im) in re 6.317 * [taylor]: Taking taylor expansion of im in re 6.317 * [backup-simplify]: Simplify im into im 6.317 * [backup-simplify]: Simplify (exp im) into (exp im) 6.317 * [taylor]: Taking taylor expansion of (cos re) in re 6.317 * [taylor]: Taking taylor expansion of re in re 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify 1 into 1 6.317 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.317 * [taylor]: Taking taylor expansion of 0.5 in im 6.317 * [backup-simplify]: Simplify 0.5 into 0.5 6.317 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.317 * [taylor]: Taking taylor expansion of (exp im) in im 6.317 * [taylor]: Taking taylor expansion of im in im 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify 1 into 1 6.317 * [backup-simplify]: Simplify (exp 0) into 1 6.317 * [taylor]: Taking taylor expansion of (cos re) in im 6.317 * [taylor]: Taking taylor expansion of re in im 6.317 * [backup-simplify]: Simplify re into re 6.317 * [backup-simplify]: Simplify (cos re) into (cos re) 6.317 * [backup-simplify]: Simplify (sin re) into (sin re) 6.317 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 6.317 * [taylor]: Taking taylor expansion of 0.5 in im 6.317 * [backup-simplify]: Simplify 0.5 into 0.5 6.317 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 6.317 * [taylor]: Taking taylor expansion of (exp im) in im 6.317 * [taylor]: Taking taylor expansion of im in im 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify 1 into 1 6.317 * [backup-simplify]: Simplify (exp 0) into 1 6.317 * [taylor]: Taking taylor expansion of (cos re) in im 6.317 * [taylor]: Taking taylor expansion of re in im 6.317 * [backup-simplify]: Simplify re into re 6.317 * [backup-simplify]: Simplify (cos re) into (cos re) 6.317 * [backup-simplify]: Simplify (sin re) into (sin re) 6.317 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 6.318 * [backup-simplify]: Simplify (* (sin re) 0) into 0 6.318 * [backup-simplify]: Simplify (- 0) into 0 6.318 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 6.318 * [backup-simplify]: Simplify (* 1 (cos re)) into (cos re) 6.318 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 6.318 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 6.318 * [taylor]: Taking taylor expansion of 0.5 in re 6.318 * [backup-simplify]: Simplify 0.5 into 0.5 6.318 * [taylor]: Taking taylor expansion of (cos re) in re 6.318 * [taylor]: Taking taylor expansion of re in re 6.318 * [backup-simplify]: Simplify 0 into 0 6.318 * [backup-simplify]: Simplify 1 into 1 6.318 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.318 * [backup-simplify]: Simplify 0.5 into 0.5 6.319 * [backup-simplify]: Simplify (+ 0) into 0 6.319 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 6.320 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.320 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 6.321 * [backup-simplify]: Simplify (- 0) into 0 6.321 * [backup-simplify]: Simplify (+ 0 0) into 0 6.322 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos re))) into (cos re) 6.323 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0 (cos re))) into (* 0.5 (cos re)) 6.323 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 6.323 * [taylor]: Taking taylor expansion of 0.5 in re 6.323 * [backup-simplify]: Simplify 0.5 into 0.5 6.323 * [taylor]: Taking taylor expansion of (cos re) in re 6.323 * [taylor]: Taking taylor expansion of re in re 6.323 * [backup-simplify]: Simplify 0 into 0 6.323 * [backup-simplify]: Simplify 1 into 1 6.324 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.324 * [backup-simplify]: Simplify 0.5 into 0.5 6.324 * [backup-simplify]: Simplify (+ 0) into 0 6.325 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 6.325 * [backup-simplify]: Simplify 0 into 0 6.326 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.327 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 6.327 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.328 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 6.328 * [backup-simplify]: Simplify (- 0) into 0 6.329 * [backup-simplify]: Simplify (+ 0 0) into 0 6.331 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos re)))) into (* 1/2 (cos re)) 6.333 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (cos re)) (* 0 (cos re)))) into (* 0.25 (cos re)) 6.333 * [taylor]: Taking taylor expansion of (* 0.25 (cos re)) in re 6.333 * [taylor]: Taking taylor expansion of 0.25 in re 6.333 * [backup-simplify]: Simplify 0.25 into 0.25 6.333 * [taylor]: Taking taylor expansion of (cos re) in re 6.333 * [taylor]: Taking taylor expansion of re in re 6.333 * [backup-simplify]: Simplify 0 into 0 6.333 * [backup-simplify]: Simplify 1 into 1 6.334 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 6.334 * [backup-simplify]: Simplify 0.25 into 0.25 6.334 * [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.335 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (* (cos (/ 1 re)) 0.5)) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.335 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 6.335 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.335 * [taylor]: Taking taylor expansion of 0.5 in re 6.335 * [backup-simplify]: Simplify 0.5 into 0.5 6.335 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.335 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.335 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.335 * [taylor]: Taking taylor expansion of re in re 6.335 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify 1 into 1 6.336 * [backup-simplify]: Simplify (/ 1 1) into 1 6.336 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.336 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.336 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.336 * [taylor]: Taking taylor expansion of im in re 6.336 * [backup-simplify]: Simplify im into im 6.336 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.336 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.336 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.336 * [taylor]: Taking taylor expansion of 0.5 in im 6.336 * [backup-simplify]: Simplify 0.5 into 0.5 6.336 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 6.336 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.336 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.336 * [taylor]: Taking taylor expansion of re in im 6.336 * [backup-simplify]: Simplify re into re 6.336 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.336 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.336 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.337 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.337 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.337 * [taylor]: Taking taylor expansion of im in im 6.337 * [backup-simplify]: Simplify 0 into 0 6.337 * [backup-simplify]: Simplify 1 into 1 6.337 * [backup-simplify]: Simplify (/ 1 1) into 1 6.337 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.337 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 6.337 * [taylor]: Taking taylor expansion of 0.5 in im 6.337 * [backup-simplify]: Simplify 0.5 into 0.5 6.337 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 6.337 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.337 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.337 * [taylor]: Taking taylor expansion of re in im 6.337 * [backup-simplify]: Simplify re into re 6.337 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.338 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.338 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.338 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.338 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.338 * [taylor]: Taking taylor expansion of im in im 6.338 * [backup-simplify]: Simplify 0 into 0 6.338 * [backup-simplify]: Simplify 1 into 1 6.338 * [backup-simplify]: Simplify (/ 1 1) into 1 6.338 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.338 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 6.339 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 6.339 * [backup-simplify]: Simplify (- 0) into 0 6.339 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 6.339 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 6.339 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.339 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 6.339 * [taylor]: Taking taylor expansion of 0.5 in re 6.339 * [backup-simplify]: Simplify 0.5 into 0.5 6.339 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 6.339 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.339 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.339 * [taylor]: Taking taylor expansion of re in re 6.339 * [backup-simplify]: Simplify 0 into 0 6.339 * [backup-simplify]: Simplify 1 into 1 6.340 * [backup-simplify]: Simplify (/ 1 1) into 1 6.340 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.340 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.340 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.340 * [taylor]: Taking taylor expansion of im in re 6.340 * [backup-simplify]: Simplify im into im 6.340 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.340 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.340 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 6.340 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.340 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 6.340 * [backup-simplify]: Simplify (+ 0) into 0 6.341 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 6.341 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.341 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.342 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 6.342 * [backup-simplify]: Simplify (- 0) into 0 6.342 * [backup-simplify]: Simplify (+ 0 0) into 0 6.342 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.343 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.343 * [taylor]: Taking taylor expansion of 0 in re 6.343 * [backup-simplify]: Simplify 0 into 0 6.343 * [backup-simplify]: Simplify 0 into 0 6.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.343 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.343 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.344 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 6.344 * [backup-simplify]: Simplify 0 into 0 6.344 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.345 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.345 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.345 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.346 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.346 * [backup-simplify]: Simplify (- 0) into 0 6.346 * [backup-simplify]: Simplify (+ 0 0) into 0 6.347 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.347 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.347 * [taylor]: Taking taylor expansion of 0 in re 6.347 * [backup-simplify]: Simplify 0 into 0 6.347 * [backup-simplify]: Simplify 0 into 0 6.347 * [backup-simplify]: Simplify 0 into 0 6.348 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.348 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.349 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.349 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 6.349 * [backup-simplify]: Simplify 0 into 0 6.350 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.350 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.351 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.352 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.352 * [backup-simplify]: Simplify (- 0) into 0 6.352 * [backup-simplify]: Simplify (+ 0 0) into 0 6.353 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 6.354 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 6.354 * [taylor]: Taking taylor expansion of 0 in re 6.354 * [backup-simplify]: Simplify 0 into 0 6.354 * [backup-simplify]: Simplify 0 into 0 6.354 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (exp im) (cos re))) 6.354 * [backup-simplify]: Simplify (* (exp (/ 1 (- im))) (* (cos (/ 1 (- re))) 0.5)) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.354 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in (im re) around 0 6.354 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.354 * [taylor]: Taking taylor expansion of 0.5 in re 6.354 * [backup-simplify]: Simplify 0.5 into 0.5 6.354 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.354 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.354 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.354 * [taylor]: Taking taylor expansion of -1 in re 6.354 * [backup-simplify]: Simplify -1 into -1 6.354 * [taylor]: Taking taylor expansion of re in re 6.354 * [backup-simplify]: Simplify 0 into 0 6.354 * [backup-simplify]: Simplify 1 into 1 6.355 * [backup-simplify]: Simplify (/ -1 1) into -1 6.355 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.355 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.355 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.355 * [taylor]: Taking taylor expansion of -1 in re 6.355 * [backup-simplify]: Simplify -1 into -1 6.355 * [taylor]: Taking taylor expansion of im in re 6.355 * [backup-simplify]: Simplify im into im 6.355 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.355 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.355 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.355 * [taylor]: Taking taylor expansion of 0.5 in im 6.355 * [backup-simplify]: Simplify 0.5 into 0.5 6.355 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 6.355 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.355 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.355 * [taylor]: Taking taylor expansion of -1 in im 6.355 * [backup-simplify]: Simplify -1 into -1 6.355 * [taylor]: Taking taylor expansion of re in im 6.355 * [backup-simplify]: Simplify re into re 6.355 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.355 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.355 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.355 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.355 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.355 * [taylor]: Taking taylor expansion of -1 in im 6.355 * [backup-simplify]: Simplify -1 into -1 6.355 * [taylor]: Taking taylor expansion of im in im 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 1 into 1 6.356 * [backup-simplify]: Simplify (/ -1 1) into -1 6.356 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.356 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 6.356 * [taylor]: Taking taylor expansion of 0.5 in im 6.356 * [backup-simplify]: Simplify 0.5 into 0.5 6.356 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 6.356 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.356 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.356 * [taylor]: Taking taylor expansion of -1 in im 6.356 * [backup-simplify]: Simplify -1 into -1 6.356 * [taylor]: Taking taylor expansion of re in im 6.356 * [backup-simplify]: Simplify re into re 6.356 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.356 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.356 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.356 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.356 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.356 * [taylor]: Taking taylor expansion of -1 in im 6.356 * [backup-simplify]: Simplify -1 into -1 6.356 * [taylor]: Taking taylor expansion of im in im 6.356 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify 1 into 1 6.356 * [backup-simplify]: Simplify (/ -1 1) into -1 6.356 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.357 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 6.357 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 6.357 * [backup-simplify]: Simplify (- 0) into 0 6.357 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 6.357 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.357 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.357 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 6.357 * [taylor]: Taking taylor expansion of 0.5 in re 6.357 * [backup-simplify]: Simplify 0.5 into 0.5 6.357 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 6.357 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.357 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.358 * [taylor]: Taking taylor expansion of -1 in re 6.358 * [backup-simplify]: Simplify -1 into -1 6.358 * [taylor]: Taking taylor expansion of re in re 6.358 * [backup-simplify]: Simplify 0 into 0 6.358 * [backup-simplify]: Simplify 1 into 1 6.358 * [backup-simplify]: Simplify (/ -1 1) into -1 6.358 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.358 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.358 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.358 * [taylor]: Taking taylor expansion of -1 in re 6.358 * [backup-simplify]: Simplify -1 into -1 6.358 * [taylor]: Taking taylor expansion of im in re 6.358 * [backup-simplify]: Simplify im into im 6.358 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.358 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.358 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 6.358 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.358 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 6.359 * [backup-simplify]: Simplify (+ 0) into 0 6.359 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 6.359 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.360 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.360 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 6.360 * [backup-simplify]: Simplify (- 0) into 0 6.360 * [backup-simplify]: Simplify (+ 0 0) into 0 6.361 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.361 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.361 * [taylor]: Taking taylor expansion of 0 in re 6.361 * [backup-simplify]: Simplify 0 into 0 6.361 * [backup-simplify]: Simplify 0 into 0 6.361 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.362 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.362 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.362 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 6.362 * [backup-simplify]: Simplify 0 into 0 6.363 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.363 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.363 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.364 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.364 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.364 * [backup-simplify]: Simplify (- 0) into 0 6.365 * [backup-simplify]: Simplify (+ 0 0) into 0 6.365 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.366 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.366 * [taylor]: Taking taylor expansion of 0 in re 6.366 * [backup-simplify]: Simplify 0 into 0 6.366 * [backup-simplify]: Simplify 0 into 0 6.366 * [backup-simplify]: Simplify 0 into 0 6.366 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.367 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.367 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.368 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 6.368 * [backup-simplify]: Simplify 0 into 0 6.369 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 6.370 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.370 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.372 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 6.373 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 6.373 * [backup-simplify]: Simplify (- 0) into 0 6.373 * [backup-simplify]: Simplify (+ 0 0) into 0 6.374 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 6.376 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 6.376 * [taylor]: Taking taylor expansion of 0 in re 6.376 * [backup-simplify]: Simplify 0 into 0 6.376 * [backup-simplify]: Simplify 0 into 0 6.376 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (* (exp im) (cos re))) 6.376 * * * [progress]: simplifying candidates 6.379 * [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.382 * * [simplify]: iteration 0: 153 enodes 6.422 * * [simplify]: iteration 1: 415 enodes 6.649 * * [simplify]: iteration 2: 2190 enodes 7.873 * * [simplify]: iteration complete: 5001 enodes 7.873 * * [simplify]: Extracting #0: cost 87 inf + 0 7.874 * * [simplify]: Extracting #1: cost 516 inf + 2 7.879 * * [simplify]: Extracting #2: cost 1260 inf + 152 7.885 * * [simplify]: Extracting #3: cost 1018 inf + 1706 7.891 * * [simplify]: Extracting #4: cost 256 inf + 7349 7.899 * * [simplify]: Extracting #5: cost 14 inf + 10179 7.916 * * [simplify]: Extracting #6: cost 0 inf + 10306 7.927 * * [simplify]: Extracting #7: cost 0 inf + 10275 7.937 * * [simplify]: Extracting #8: cost 0 inf + 10272 7.948 * [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)) 7.949 * * * [progress]: adding candidates to table 8.479 * [progress]: [Phase 3 of 3] Extracting. 8.482 * [simplify]: Simplifying: (+ (* (exp im) (* (cos re) 0.5)) (* (cos re) (/ 0.5 (exp im)))) 8.482 * * [simplify]: iteration 0: 10 enodes 8.483 * * [simplify]: iteration 1: 14 enodes 8.483 * * [simplify]: iteration complete: 14 enodes 8.483 * * [simplify]: Extracting #0: cost 1 inf + 0 8.483 * * [simplify]: Extracting #1: cost 3 inf + 0 8.483 * * [simplify]: Extracting #2: cost 7 inf + 0 8.483 * * [simplify]: Extracting #3: cost 10 inf + 0 8.483 * * [simplify]: Extracting #4: cost 5 inf + 9 8.483 * * [simplify]: Extracting #5: cost 0 inf + 44 8.483 * [simplify]: Simplified to: (+ (* (cos re) (/ 0.5 (exp im))) (* (* (cos re) 0.5) (exp im))) 15.880 * [regime-testing]: Baseline error score: 0.009824348356134662 15.884 * [regime-testing]: Oracle error score: 0.009824348356134662 15.884 * [regime-testing]: End program error score: 0.009824348356134662