0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.198 * * * [progress]: [2/2] Setting up program. 0.203 * [progress]: [Phase 2 of 3] Improving. 0.203 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.204 * [simplify]: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.204 * * [simplify]: iters left: 6 (10 enodes) 0.207 * * [simplify]: iters left: 5 (43 enodes) 0.244 * * [simplify]: iters left: 4 (91 enodes) 0.272 * * [simplify]: iters left: 3 (156 enodes) 0.320 * * [simplify]: iters left: 2 (201 enodes) 0.405 * * [simplify]: iters left: 1 (246 enodes) 0.500 * * [simplify]: Extracting #0: cost 1 inf + 0 0.500 * * [simplify]: Extracting #1: cost 17 inf + 0 0.501 * * [simplify]: Extracting #2: cost 44 inf + 2 0.501 * * [simplify]: Extracting #3: cost 43 inf + 129 0.503 * * [simplify]: Extracting #4: cost 25 inf + 2386 0.507 * * [simplify]: Extracting #5: cost 4 inf + 6641 0.511 * * [simplify]: Extracting #6: cost 0 inf + 6871 0.516 * [simplify]: Simplified to (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))) 0.516 * [simplify]: Simplified (2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im)))) 0.528 * * [progress]: iteration 1 / 4 0.528 * * * [progress]: picking best candidate 0.533 * * * * [pick]: Picked # 0.533 * * * [progress]: localizing error 0.564 * * * [progress]: generating rewritten candidates 0.564 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.589 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.589 * * * [progress]: generating series expansions 0.590 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.590 * [backup-simplify]: Simplify (/ (* 0.5 (cos re)) (exp im)) into (* 0.5 (/ (cos re) (exp im))) 0.590 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0 0.590 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 0.590 * [taylor]: Taking taylor expansion of 0.5 in im 0.590 * [backup-simplify]: Simplify 0.5 into 0.5 0.590 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 0.590 * [taylor]: Taking taylor expansion of (cos re) in im 0.590 * [taylor]: Taking taylor expansion of re in im 0.590 * [backup-simplify]: Simplify re into re 0.590 * [backup-simplify]: Simplify (cos re) into (cos re) 0.590 * [backup-simplify]: Simplify (sin re) into (sin re) 0.590 * [taylor]: Taking taylor expansion of (exp im) in im 0.590 * [taylor]: Taking taylor expansion of im in im 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 1 into 1 0.590 * [backup-simplify]: Simplify (exp 0) into 1 0.590 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 0.590 * [backup-simplify]: Simplify (* (sin re) 0) into 0 0.591 * [backup-simplify]: Simplify (- 0) into 0 0.591 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 0.591 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 0.591 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 0.591 * [taylor]: Taking taylor expansion of 0.5 in re 0.591 * [backup-simplify]: Simplify 0.5 into 0.5 0.591 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 0.591 * [taylor]: Taking taylor expansion of (cos re) in re 0.591 * [taylor]: Taking taylor expansion of re in re 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.591 * [taylor]: Taking taylor expansion of (exp im) in re 0.591 * [taylor]: Taking taylor expansion of im in re 0.591 * [backup-simplify]: Simplify im into im 0.591 * [backup-simplify]: Simplify (exp im) into (exp im) 0.591 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 0.591 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 0.591 * [taylor]: Taking taylor expansion of 0.5 in re 0.591 * [backup-simplify]: Simplify 0.5 into 0.5 0.591 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 0.591 * [taylor]: Taking taylor expansion of (cos re) in re 0.591 * [taylor]: Taking taylor expansion of re in re 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.591 * [taylor]: Taking taylor expansion of (exp im) in re 0.591 * [taylor]: Taking taylor expansion of im in re 0.591 * [backup-simplify]: Simplify im into im 0.591 * [backup-simplify]: Simplify (exp im) into (exp im) 0.591 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 0.592 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im)) 0.592 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.592 * [taylor]: Taking taylor expansion of 0.5 in im 0.592 * [backup-simplify]: Simplify 0.5 into 0.5 0.592 * [taylor]: Taking taylor expansion of (exp im) in im 0.592 * [taylor]: Taking taylor expansion of im in im 0.592 * [backup-simplify]: Simplify 0 into 0 0.592 * [backup-simplify]: Simplify 1 into 1 0.592 * [backup-simplify]: Simplify (exp 0) into 1 0.592 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 0.592 * [backup-simplify]: Simplify 0.5 into 0.5 0.593 * [backup-simplify]: Simplify (+ 0) into 0 0.593 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 0.593 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 0.594 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0 0.594 * [taylor]: Taking taylor expansion of 0 in im 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 0.597 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.597 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.598 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.598 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im)))) 0.599 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im)))) 0.599 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im 0.599 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im 0.599 * [taylor]: Taking taylor expansion of 0.25 in im 0.599 * [backup-simplify]: Simplify 0.25 into 0.25 0.599 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im 0.599 * [taylor]: Taking taylor expansion of (exp im) in im 0.599 * [taylor]: Taking taylor expansion of im in im 0.599 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify 1 into 1 0.599 * [backup-simplify]: Simplify (exp 0) into 1 0.599 * [backup-simplify]: Simplify (/ 1 1) into 1 0.600 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 0.600 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 0.600 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 0.601 * [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))) 0.601 * [backup-simplify]: Simplify (/ (* 0.5 (cos (/ 1 re))) (exp (/ 1 im))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 0.601 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 0.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 0.601 * [taylor]: Taking taylor expansion of 0.5 in im 0.601 * [backup-simplify]: Simplify 0.5 into 0.5 0.601 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 0.601 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.601 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.601 * [taylor]: Taking taylor expansion of re in im 0.601 * [backup-simplify]: Simplify re into re 0.601 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.601 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.601 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.601 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.601 * [taylor]: Taking taylor expansion of im in im 0.601 * [backup-simplify]: Simplify 0 into 0 0.601 * [backup-simplify]: Simplify 1 into 1 0.602 * [backup-simplify]: Simplify (/ 1 1) into 1 0.602 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.602 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 0.602 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 0.602 * [backup-simplify]: Simplify (- 0) into 0 0.602 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 0.602 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.602 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 0.602 * [taylor]: Taking taylor expansion of 0.5 in re 0.602 * [backup-simplify]: Simplify 0.5 into 0.5 0.602 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 0.602 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.602 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.602 * [taylor]: Taking taylor expansion of re in re 0.602 * [backup-simplify]: Simplify 0 into 0 0.602 * [backup-simplify]: Simplify 1 into 1 0.603 * [backup-simplify]: Simplify (/ 1 1) into 1 0.603 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.603 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.603 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.603 * [taylor]: Taking taylor expansion of im in re 0.603 * [backup-simplify]: Simplify im into im 0.603 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.603 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.603 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.603 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 0.603 * [taylor]: Taking taylor expansion of 0.5 in re 0.603 * [backup-simplify]: Simplify 0.5 into 0.5 0.603 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 0.603 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.603 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.603 * [taylor]: Taking taylor expansion of re in re 0.603 * [backup-simplify]: Simplify 0 into 0 0.603 * [backup-simplify]: Simplify 1 into 1 0.603 * [backup-simplify]: Simplify (/ 1 1) into 1 0.603 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.603 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.603 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.603 * [taylor]: Taking taylor expansion of im in re 0.603 * [backup-simplify]: Simplify im into im 0.603 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.604 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.604 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.604 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 0.604 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 0.604 * [taylor]: Taking taylor expansion of 0.5 in im 0.604 * [backup-simplify]: Simplify 0.5 into 0.5 0.604 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 0.604 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.604 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.604 * [taylor]: Taking taylor expansion of re in im 0.604 * [backup-simplify]: Simplify re into re 0.604 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.604 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.604 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.604 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.604 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.604 * [taylor]: Taking taylor expansion of im in im 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 1 into 1 0.604 * [backup-simplify]: Simplify (/ 1 1) into 1 0.604 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.605 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 0.605 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 0.605 * [backup-simplify]: Simplify (- 0) into 0 0.605 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 0.605 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.605 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 0.605 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 0.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.606 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.606 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.606 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 0.606 * [taylor]: Taking taylor expansion of 0 in im 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 0 into 0 0.607 * [backup-simplify]: Simplify (+ 0) into 0 0.607 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 0.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.608 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.608 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 0.608 * [backup-simplify]: Simplify (- 0) into 0 0.609 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.609 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 0.609 * [backup-simplify]: Simplify 0 into 0 0.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.610 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.610 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.611 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 0.611 * [taylor]: Taking taylor expansion of 0 in im 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.621 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.621 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.622 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.622 * [backup-simplify]: Simplify (- 0) into 0 0.623 * [backup-simplify]: Simplify (+ 0 0) into 0 0.623 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.624 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 0.624 * [backup-simplify]: Simplify 0 into 0 0.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.626 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.627 * [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 0.628 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 0.628 * [taylor]: Taking taylor expansion of 0 in im 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im))) 0.629 * [backup-simplify]: Simplify (/ (* 0.5 (cos (/ 1 (- re)))) (exp (/ 1 (- im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 0.629 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 0.629 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 0.629 * [taylor]: Taking taylor expansion of 0.5 in im 0.629 * [backup-simplify]: Simplify 0.5 into 0.5 0.629 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 0.629 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.629 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.629 * [taylor]: Taking taylor expansion of -1 in im 0.629 * [backup-simplify]: Simplify -1 into -1 0.629 * [taylor]: Taking taylor expansion of re in im 0.629 * [backup-simplify]: Simplify re into re 0.629 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.629 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.629 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.629 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.629 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.629 * [taylor]: Taking taylor expansion of -1 in im 0.629 * [backup-simplify]: Simplify -1 into -1 0.629 * [taylor]: Taking taylor expansion of im in im 0.629 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify 1 into 1 0.630 * [backup-simplify]: Simplify (/ -1 1) into -1 0.630 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.630 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 0.630 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 0.631 * [backup-simplify]: Simplify (- 0) into 0 0.631 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 0.631 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.631 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 0.631 * [taylor]: Taking taylor expansion of 0.5 in re 0.631 * [backup-simplify]: Simplify 0.5 into 0.5 0.631 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 0.631 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.631 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.631 * [taylor]: Taking taylor expansion of -1 in re 0.631 * [backup-simplify]: Simplify -1 into -1 0.631 * [taylor]: Taking taylor expansion of re in re 0.631 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify 1 into 1 0.632 * [backup-simplify]: Simplify (/ -1 1) into -1 0.632 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.632 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.632 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.632 * [taylor]: Taking taylor expansion of -1 in re 0.632 * [backup-simplify]: Simplify -1 into -1 0.632 * [taylor]: Taking taylor expansion of im in re 0.632 * [backup-simplify]: Simplify im into im 0.632 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.632 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.632 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.632 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 0.632 * [taylor]: Taking taylor expansion of 0.5 in re 0.632 * [backup-simplify]: Simplify 0.5 into 0.5 0.632 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 0.632 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.632 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.632 * [taylor]: Taking taylor expansion of -1 in re 0.632 * [backup-simplify]: Simplify -1 into -1 0.632 * [taylor]: Taking taylor expansion of re in re 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify (/ -1 1) into -1 0.633 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.633 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.633 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.633 * [taylor]: Taking taylor expansion of -1 in re 0.633 * [backup-simplify]: Simplify -1 into -1 0.633 * [taylor]: Taking taylor expansion of im in re 0.633 * [backup-simplify]: Simplify im into im 0.633 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.633 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.633 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.634 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 0.634 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 0.634 * [taylor]: Taking taylor expansion of 0.5 in im 0.634 * [backup-simplify]: Simplify 0.5 into 0.5 0.634 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 0.634 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.634 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.634 * [taylor]: Taking taylor expansion of -1 in im 0.634 * [backup-simplify]: Simplify -1 into -1 0.634 * [taylor]: Taking taylor expansion of re in im 0.634 * [backup-simplify]: Simplify re into re 0.634 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.634 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.634 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.634 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.634 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.634 * [taylor]: Taking taylor expansion of -1 in im 0.634 * [backup-simplify]: Simplify -1 into -1 0.634 * [taylor]: Taking taylor expansion of im in im 0.634 * [backup-simplify]: Simplify 0 into 0 0.634 * [backup-simplify]: Simplify 1 into 1 0.635 * [backup-simplify]: Simplify (/ -1 1) into -1 0.635 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.635 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 0.635 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 0.635 * [backup-simplify]: Simplify (- 0) into 0 0.635 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 0.636 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.636 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 0.636 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 0.636 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 0.637 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.637 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.638 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 0.638 * [taylor]: Taking taylor expansion of 0 in im 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify (+ 0) into 0 0.639 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 0.639 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 0.640 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.640 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 0.640 * [backup-simplify]: Simplify (- 0) into 0 0.641 * [backup-simplify]: Simplify (+ 0 0) into 0 0.641 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.642 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.643 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.644 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.645 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 0.645 * [taylor]: Taking taylor expansion of 0 in im 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.646 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.647 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.647 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.648 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.648 * [backup-simplify]: Simplify (- 0) into 0 0.649 * [backup-simplify]: Simplify (+ 0 0) into 0 0.649 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.650 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.651 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.651 * [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 0.652 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 0.652 * [taylor]: Taking taylor expansion of 0 in im 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im))) 0.652 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.652 * [backup-simplify]: Simplify (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))) into (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) 0.652 * [approximate]: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in (im re) around 0 0.652 * [taylor]: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in re 0.652 * [taylor]: Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im)))) 0.652 * [taylor]: Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in re 0.652 * [taylor]: Taking taylor expansion of (exp im) in re 0.652 * [taylor]: Taking taylor expansion of im in re 0.652 * [backup-simplify]: Simplify im into im 0.652 * [backup-simplify]: Simplify (exp im) into (exp im) 0.652 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 0.652 * [taylor]: Taking taylor expansion of 0.5 in re 0.652 * [backup-simplify]: Simplify 0.5 into 0.5 0.652 * [taylor]: Taking taylor expansion of (cos re) in re 0.652 * [taylor]: Taking taylor expansion of re in re 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 1 into 1 0.652 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 0.652 * [taylor]: Taking taylor expansion of 0.5 in re 0.652 * [backup-simplify]: Simplify 0.5 into 0.5 0.652 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 0.652 * [taylor]: Taking taylor expansion of (cos re) in re 0.652 * [taylor]: Taking taylor expansion of re in re 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 1 into 1 0.653 * [taylor]: Taking taylor expansion of (exp im) in re 0.653 * [taylor]: Taking taylor expansion of im in re 0.653 * [backup-simplify]: Simplify im into im 0.653 * [backup-simplify]: Simplify (exp im) into (exp im) 0.653 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 0.653 * [taylor]: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in im 0.653 * [taylor]: Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im)))) 0.653 * [taylor]: Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in im 0.653 * [taylor]: Taking taylor expansion of (exp im) in im 0.653 * [taylor]: Taking taylor expansion of im in im 0.653 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [backup-simplify]: Simplify (exp 0) into 1 0.653 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in im 0.653 * [taylor]: Taking taylor expansion of 0.5 in im 0.653 * [backup-simplify]: Simplify 0.5 into 0.5 0.653 * [taylor]: Taking taylor expansion of (cos re) in im 0.653 * [taylor]: Taking taylor expansion of re in im 0.653 * [backup-simplify]: Simplify re into re 0.653 * [backup-simplify]: Simplify (cos re) into (cos re) 0.653 * [backup-simplify]: Simplify (sin re) into (sin re) 0.653 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 0.653 * [taylor]: Taking taylor expansion of 0.5 in im 0.653 * [backup-simplify]: Simplify 0.5 into 0.5 0.653 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 0.653 * [taylor]: Taking taylor expansion of (cos re) in im 0.653 * [taylor]: Taking taylor expansion of re in im 0.653 * [backup-simplify]: Simplify re into re 0.653 * [backup-simplify]: Simplify (cos re) into (cos re) 0.653 * [backup-simplify]: Simplify (sin re) into (sin re) 0.653 * [taylor]: Taking taylor expansion of (exp im) in im 0.653 * [taylor]: Taking taylor expansion of im in im 0.653 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [backup-simplify]: Simplify (exp 0) into 1 0.653 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 0.653 * [backup-simplify]: Simplify (* (sin re) 0) into 0 0.654 * [backup-simplify]: Simplify (- 0) into 0 0.654 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 0.654 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 0.654 * [taylor]: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in im 0.654 * [taylor]: Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im)))) 0.654 * [taylor]: Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in im 0.654 * [taylor]: Taking taylor expansion of (exp im) in im 0.654 * [taylor]: Taking taylor expansion of im in im 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [backup-simplify]: Simplify (exp 0) into 1 0.654 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in im 0.654 * [taylor]: Taking taylor expansion of 0.5 in im 0.654 * [backup-simplify]: Simplify 0.5 into 0.5 0.654 * [taylor]: Taking taylor expansion of (cos re) in im 0.654 * [taylor]: Taking taylor expansion of re in im 0.654 * [backup-simplify]: Simplify re into re 0.654 * [backup-simplify]: Simplify (cos re) into (cos re) 0.654 * [backup-simplify]: Simplify (sin re) into (sin re) 0.654 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 0.654 * [taylor]: Taking taylor expansion of 0.5 in im 0.654 * [backup-simplify]: Simplify 0.5 into 0.5 0.654 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 0.654 * [taylor]: Taking taylor expansion of (cos re) in im 0.654 * [taylor]: Taking taylor expansion of re in im 0.654 * [backup-simplify]: Simplify re into re 0.654 * [backup-simplify]: Simplify (cos re) into (cos re) 0.654 * [backup-simplify]: Simplify (sin re) into (sin re) 0.654 * [taylor]: Taking taylor expansion of (exp im) in im 0.654 * [taylor]: Taking taylor expansion of im in im 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [backup-simplify]: Simplify (exp 0) into 1 0.654 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 0.654 * [backup-simplify]: Simplify (* (sin re) 0) into 0 0.654 * [backup-simplify]: Simplify (- 0) into 0 0.655 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 0.655 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 0.655 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 0.655 * [backup-simplify]: Simplify (* (sin re) 0) into 0 0.655 * [backup-simplify]: Simplify (- 0) into 0 0.655 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 0.655 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 0.655 * [backup-simplify]: Simplify (* 1 (* 0.5 (cos re))) into (* 0.5 (cos re)) 0.655 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 0.655 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0.5 (cos re))) into (* 1.0 (cos re)) 0.655 * [taylor]: Taking taylor expansion of (* 1.0 (cos re)) in re 0.655 * [taylor]: Taking taylor expansion of 1.0 in re 0.655 * [backup-simplify]: Simplify 1.0 into 1.0 0.655 * [taylor]: Taking taylor expansion of (cos re) in re 0.655 * [taylor]: Taking taylor expansion of re in re 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify 1 into 1 0.656 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.656 * [backup-simplify]: Simplify 1.0 into 1.0 0.656 * [backup-simplify]: Simplify (+ 0) into 0 0.656 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 0.657 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.657 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 0.657 * [backup-simplify]: Simplify (- 0) into 0 0.657 * [backup-simplify]: Simplify (+ 0 0) into 0 0.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (cos re))) into 0 0.658 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.659 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (* 0.5 (cos re)))) into (* 0.5 (cos re)) 0.659 * [backup-simplify]: Simplify (+ 0) into 0 0.659 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 0.660 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.660 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 0.660 * [backup-simplify]: Simplify (- 0) into 0 0.660 * [backup-simplify]: Simplify (+ 0 0) into 0 0.661 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.661 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1 1)))) into (- (cos re)) 0.662 * [backup-simplify]: Simplify (+ (* 0.5 (- (cos re))) (* 0 (cos re))) into (- (* 0.5 (cos re))) 0.662 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (- (* 0.5 (cos re)))) into 0 0.662 * [taylor]: Taking taylor expansion of 0 in re 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify (+ 0) into 0 0.662 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.662 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.663 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 0.664 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.664 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 0.664 * [backup-simplify]: Simplify (- 0) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.665 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos re)))) into 0 0.666 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (* 0.5 (cos re))))) into (* 0.25 (cos re)) 0.667 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.668 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 0.668 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.668 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 0.669 * [backup-simplify]: Simplify (- 0) into 0 0.669 * [backup-simplify]: Simplify (+ 0 0) into 0 0.670 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1/2 1)) (* (- (cos re)) (/ 1 1)))) into (* 1/2 (cos re)) 0.671 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (- (cos re))) (* 0 (cos re)))) into (* 0.25 (cos re)) 0.671 * [backup-simplify]: Simplify (+ (* 0.25 (cos re)) (* 0.25 (cos re))) into (* 0.5 (cos re)) 0.671 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 0.671 * [taylor]: Taking taylor expansion of 0.5 in re 0.671 * [backup-simplify]: Simplify 0.5 into 0.5 0.671 * [taylor]: Taking taylor expansion of (cos re) in re 0.671 * [taylor]: Taking taylor expansion of re in re 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 1 into 1 0.671 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.671 * [backup-simplify]: Simplify 0.5 into 0.5 0.671 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.673 * [backup-simplify]: Simplify (+ (* 1.0 -1/2) (+ (* 0 0) (* 0 1))) into (- 0.5) 0.673 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.674 * [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))) 0.674 * [backup-simplify]: Simplify (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (/ (* 0.5 (cos (/ 1 re))) (exp (/ 1 im)))) into (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 0.674 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 0.674 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in re 0.674 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 0.674 * [taylor]: Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in re 0.674 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.674 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.674 * [taylor]: Taking taylor expansion of im in re 0.674 * [backup-simplify]: Simplify im into im 0.674 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.674 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.674 * [taylor]: Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in re 0.674 * [taylor]: Taking taylor expansion of 0.5 in re 0.674 * [backup-simplify]: Simplify 0.5 into 0.5 0.674 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.674 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.674 * [taylor]: Taking taylor expansion of re in re 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [backup-simplify]: Simplify 1 into 1 0.675 * [backup-simplify]: Simplify (/ 1 1) into 1 0.675 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.675 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 0.675 * [taylor]: Taking taylor expansion of 0.5 in re 0.675 * [backup-simplify]: Simplify 0.5 into 0.5 0.675 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 0.675 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.675 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.675 * [taylor]: Taking taylor expansion of re in re 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify 1 into 1 0.675 * [backup-simplify]: Simplify (/ 1 1) into 1 0.675 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.675 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.675 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.675 * [taylor]: Taking taylor expansion of im in re 0.675 * [backup-simplify]: Simplify im into im 0.675 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.675 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.675 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.675 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im 0.676 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 0.676 * [taylor]: Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in im 0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.676 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.676 * [taylor]: Taking taylor expansion of im in im 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify 1 into 1 0.676 * [backup-simplify]: Simplify (/ 1 1) into 1 0.676 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.676 * [taylor]: Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in im 0.676 * [taylor]: Taking taylor expansion of 0.5 in im 0.676 * [backup-simplify]: Simplify 0.5 into 0.5 0.676 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.676 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.676 * [taylor]: Taking taylor expansion of re in im 0.676 * [backup-simplify]: Simplify re into re 0.676 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.676 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.676 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.676 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 0.676 * [taylor]: Taking taylor expansion of 0.5 in im 0.676 * [backup-simplify]: Simplify 0.5 into 0.5 0.676 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 0.676 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.676 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.676 * [taylor]: Taking taylor expansion of re in im 0.676 * [backup-simplify]: Simplify re into re 0.676 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.676 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.676 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.676 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.676 * [taylor]: Taking taylor expansion of im in im 0.676 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify (/ 1 1) into 1 0.677 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.677 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 0.677 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 0.677 * [backup-simplify]: Simplify (- 0) into 0 0.677 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 0.677 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.677 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im 0.677 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 0.677 * [taylor]: Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in im 0.677 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.677 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.677 * [taylor]: Taking taylor expansion of im in im 0.677 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify 1 into 1 0.678 * [backup-simplify]: Simplify (/ 1 1) into 1 0.678 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.678 * [taylor]: Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in im 0.678 * [taylor]: Taking taylor expansion of 0.5 in im 0.678 * [backup-simplify]: Simplify 0.5 into 0.5 0.678 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.678 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.678 * [taylor]: Taking taylor expansion of re in im 0.678 * [backup-simplify]: Simplify re into re 0.678 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.678 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.678 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.678 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 0.678 * [taylor]: Taking taylor expansion of 0.5 in im 0.678 * [backup-simplify]: Simplify 0.5 into 0.5 0.678 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 0.678 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.678 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.678 * [taylor]: Taking taylor expansion of re in im 0.678 * [backup-simplify]: Simplify re into re 0.678 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.678 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.678 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.678 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.678 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.678 * [taylor]: Taking taylor expansion of im in im 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (/ 1 1) into 1 0.679 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.679 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 0.679 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 0.679 * [backup-simplify]: Simplify (- 0) into 0 0.679 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 0.679 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.679 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 0.679 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 0.680 * [backup-simplify]: Simplify (- 0) into 0 0.680 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 0.680 * [backup-simplify]: Simplify (* 0.5 (cos (/ 1 re))) into (* 0.5 (cos (/ 1 re))) 0.680 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 0.680 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 0.680 * [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))))) 0.680 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re 0.680 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 0.680 * [taylor]: Taking taylor expansion of 0.5 in re 0.680 * [backup-simplify]: Simplify 0.5 into 0.5 0.680 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 0.680 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.680 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.680 * [taylor]: Taking taylor expansion of re in re 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify (/ 1 1) into 1 0.680 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.680 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.680 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.681 * [taylor]: Taking taylor expansion of im in re 0.681 * [backup-simplify]: Simplify im into im 0.681 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.681 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.681 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 0.681 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 0.681 * [taylor]: Taking taylor expansion of 0.5 in re 0.681 * [backup-simplify]: Simplify 0.5 into 0.5 0.681 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 0.681 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.681 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.681 * [taylor]: Taking taylor expansion of re in re 0.681 * [backup-simplify]: Simplify 0 into 0 0.681 * [backup-simplify]: Simplify 1 into 1 0.681 * [backup-simplify]: Simplify (/ 1 1) into 1 0.681 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.681 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.681 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.681 * [taylor]: Taking taylor expansion of im in re 0.681 * [backup-simplify]: Simplify im into im 0.681 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.682 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.682 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 0.682 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 0.682 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 0.682 * [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))))) 0.683 * [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))))) 0.683 * [backup-simplify]: Simplify (+ 0) into 0 0.684 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 0.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.685 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.685 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 0.685 * [backup-simplify]: Simplify (- 0) into 0 0.686 * [backup-simplify]: Simplify (+ 0 0) into 0 0.686 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (cos (/ 1 re)))) into 0 0.686 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (* 0.5 (cos (/ 1 re))))) into 0 0.687 * [backup-simplify]: Simplify (+ 0) into 0 0.687 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 0.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.688 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.689 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 0.689 * [backup-simplify]: Simplify (- 0) into 0 0.689 * [backup-simplify]: Simplify (+ 0 0) into 0 0.690 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.690 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 0.691 * [backup-simplify]: Simplify (+ 0 0) into 0 0.691 * [taylor]: Taking taylor expansion of 0 in re 0.691 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.692 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.692 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.693 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 0.693 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.694 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.694 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 0.694 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 0.695 * [backup-simplify]: Simplify (+ 0 0) into 0 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.696 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.697 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.698 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.698 * [backup-simplify]: Simplify (- 0) into 0 0.698 * [backup-simplify]: Simplify (+ 0 0) into 0 0.699 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 0.700 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ 1 re)))))) into 0 0.701 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.702 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.703 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.703 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.703 * [backup-simplify]: Simplify (- 0) into 0 0.704 * [backup-simplify]: Simplify (+ 0 0) into 0 0.704 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.705 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 0.705 * [backup-simplify]: Simplify (+ 0 0) into 0 0.706 * [taylor]: Taking taylor expansion of 0 in re 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.707 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.707 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.708 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 0.709 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.709 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.710 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 0.710 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 0.711 * [backup-simplify]: Simplify (+ 0 0) into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.712 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.713 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.714 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.714 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.715 * [backup-simplify]: Simplify (- 0) into 0 0.715 * [backup-simplify]: Simplify (+ 0 0) into 0 0.716 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 0.716 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ 1 re))))))) into 0 0.717 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.717 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.718 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.719 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.719 * [backup-simplify]: Simplify (- 0) into 0 0.719 * [backup-simplify]: Simplify (+ 0 0) into 0 0.719 * [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 0.720 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 0.720 * [backup-simplify]: Simplify (+ 0 0) into 0 0.720 * [taylor]: Taking taylor expansion of 0 in re 0.720 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [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)))) 0.721 * [backup-simplify]: Simplify (fma (exp (/ 1 (- im))) (* 0.5 (cos (/ 1 (- re)))) (/ (* 0.5 (cos (/ 1 (- re)))) (exp (/ 1 (- im))))) into (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 0.721 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in (im re) around 0 0.721 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in re 0.721 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 0.721 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in re 0.721 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.721 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.721 * [taylor]: Taking taylor expansion of -1 in re 0.721 * [backup-simplify]: Simplify -1 into -1 0.721 * [taylor]: Taking taylor expansion of im in re 0.721 * [backup-simplify]: Simplify im into im 0.721 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.721 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.721 * [taylor]: Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in re 0.721 * [taylor]: Taking taylor expansion of 0.5 in re 0.721 * [backup-simplify]: Simplify 0.5 into 0.5 0.721 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.721 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.721 * [taylor]: Taking taylor expansion of -1 in re 0.721 * [backup-simplify]: Simplify -1 into -1 0.721 * [taylor]: Taking taylor expansion of re in re 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 1 into 1 0.722 * [backup-simplify]: Simplify (/ -1 1) into -1 0.722 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.722 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 0.722 * [taylor]: Taking taylor expansion of 0.5 in re 0.722 * [backup-simplify]: Simplify 0.5 into 0.5 0.722 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 0.722 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.722 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.722 * [taylor]: Taking taylor expansion of -1 in re 0.722 * [backup-simplify]: Simplify -1 into -1 0.722 * [taylor]: Taking taylor expansion of re in re 0.722 * [backup-simplify]: Simplify 0 into 0 0.722 * [backup-simplify]: Simplify 1 into 1 0.722 * [backup-simplify]: Simplify (/ -1 1) into -1 0.722 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.722 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.722 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.722 * [taylor]: Taking taylor expansion of -1 in re 0.722 * [backup-simplify]: Simplify -1 into -1 0.722 * [taylor]: Taking taylor expansion of im in re 0.722 * [backup-simplify]: Simplify im into im 0.722 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.722 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.722 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.722 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in im 0.723 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 0.723 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in im 0.723 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.723 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.723 * [taylor]: Taking taylor expansion of -1 in im 0.723 * [backup-simplify]: Simplify -1 into -1 0.723 * [taylor]: Taking taylor expansion of im in im 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 1 into 1 0.723 * [backup-simplify]: Simplify (/ -1 1) into -1 0.723 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.723 * [taylor]: Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in im 0.723 * [taylor]: Taking taylor expansion of 0.5 in im 0.723 * [backup-simplify]: Simplify 0.5 into 0.5 0.723 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.723 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.723 * [taylor]: Taking taylor expansion of -1 in im 0.723 * [backup-simplify]: Simplify -1 into -1 0.723 * [taylor]: Taking taylor expansion of re in im 0.723 * [backup-simplify]: Simplify re into re 0.723 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.723 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.723 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.723 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 0.724 * [taylor]: Taking taylor expansion of 0.5 in im 0.724 * [backup-simplify]: Simplify 0.5 into 0.5 0.724 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 0.724 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.724 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.724 * [taylor]: Taking taylor expansion of -1 in im 0.724 * [backup-simplify]: Simplify -1 into -1 0.724 * [taylor]: Taking taylor expansion of re in im 0.724 * [backup-simplify]: Simplify re into re 0.724 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.724 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.724 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.724 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.724 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.724 * [taylor]: Taking taylor expansion of -1 in im 0.724 * [backup-simplify]: Simplify -1 into -1 0.724 * [taylor]: Taking taylor expansion of im in im 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify 1 into 1 0.724 * [backup-simplify]: Simplify (/ -1 1) into -1 0.724 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.724 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 0.724 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 0.725 * [backup-simplify]: Simplify (- 0) into 0 0.725 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 0.725 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.725 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in im 0.725 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 0.725 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in im 0.725 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.725 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.725 * [taylor]: Taking taylor expansion of -1 in im 0.725 * [backup-simplify]: Simplify -1 into -1 0.725 * [taylor]: Taking taylor expansion of im in im 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 1 into 1 0.725 * [backup-simplify]: Simplify (/ -1 1) into -1 0.725 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.725 * [taylor]: Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in im 0.725 * [taylor]: Taking taylor expansion of 0.5 in im 0.725 * [backup-simplify]: Simplify 0.5 into 0.5 0.725 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.725 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.725 * [taylor]: Taking taylor expansion of -1 in im 0.725 * [backup-simplify]: Simplify -1 into -1 0.725 * [taylor]: Taking taylor expansion of re in im 0.725 * [backup-simplify]: Simplify re into re 0.725 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.725 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.725 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.725 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 0.726 * [taylor]: Taking taylor expansion of 0.5 in im 0.726 * [backup-simplify]: Simplify 0.5 into 0.5 0.726 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 0.726 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.726 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.726 * [taylor]: Taking taylor expansion of -1 in im 0.726 * [backup-simplify]: Simplify -1 into -1 0.726 * [taylor]: Taking taylor expansion of re in im 0.726 * [backup-simplify]: Simplify re into re 0.726 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.726 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.726 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.726 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.726 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.726 * [taylor]: Taking taylor expansion of -1 in im 0.726 * [backup-simplify]: Simplify -1 into -1 0.726 * [taylor]: Taking taylor expansion of im in im 0.726 * [backup-simplify]: Simplify 0 into 0 0.726 * [backup-simplify]: Simplify 1 into 1 0.726 * [backup-simplify]: Simplify (/ -1 1) into -1 0.726 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.726 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 0.726 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 0.727 * [backup-simplify]: Simplify (- 0) into 0 0.727 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 0.727 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.727 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 0.727 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 0.727 * [backup-simplify]: Simplify (- 0) into 0 0.727 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 0.727 * [backup-simplify]: Simplify (* 0.5 (cos (/ -1 re))) into (* 0.5 (cos (/ -1 re))) 0.727 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 0.727 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 0.728 * [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))))) 0.728 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re 0.728 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 0.728 * [taylor]: Taking taylor expansion of 0.5 in re 0.728 * [backup-simplify]: Simplify 0.5 into 0.5 0.728 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 0.728 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.728 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.728 * [taylor]: Taking taylor expansion of -1 in re 0.728 * [backup-simplify]: Simplify -1 into -1 0.728 * [taylor]: Taking taylor expansion of re in re 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [backup-simplify]: Simplify 1 into 1 0.728 * [backup-simplify]: Simplify (/ -1 1) into -1 0.728 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.728 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.728 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.728 * [taylor]: Taking taylor expansion of -1 in re 0.728 * [backup-simplify]: Simplify -1 into -1 0.728 * [taylor]: Taking taylor expansion of im in re 0.728 * [backup-simplify]: Simplify im into im 0.728 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.728 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.728 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 0.728 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 0.728 * [taylor]: Taking taylor expansion of 0.5 in re 0.728 * [backup-simplify]: Simplify 0.5 into 0.5 0.728 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 0.728 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.728 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.728 * [taylor]: Taking taylor expansion of -1 in re 0.728 * [backup-simplify]: Simplify -1 into -1 0.728 * [taylor]: Taking taylor expansion of re in re 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [backup-simplify]: Simplify 1 into 1 0.729 * [backup-simplify]: Simplify (/ -1 1) into -1 0.729 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.729 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.729 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.729 * [taylor]: Taking taylor expansion of -1 in re 0.729 * [backup-simplify]: Simplify -1 into -1 0.729 * [taylor]: Taking taylor expansion of im in re 0.729 * [backup-simplify]: Simplify im into im 0.729 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.729 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.729 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 0.729 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 0.729 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 0.729 * [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))))) 0.730 * [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))))) 0.730 * [backup-simplify]: Simplify (+ 0) into 0 0.730 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 0.730 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 0.731 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.731 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 0.731 * [backup-simplify]: Simplify (- 0) into 0 0.731 * [backup-simplify]: Simplify (+ 0 0) into 0 0.732 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (cos (/ -1 re)))) into 0 0.732 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (* 0.5 (cos (/ -1 re))))) into 0 0.732 * [backup-simplify]: Simplify (+ 0) into 0 0.732 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 0.733 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 0.733 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.733 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 0.736 * [backup-simplify]: Simplify (- 0) into 0 0.736 * [backup-simplify]: Simplify (+ 0 0) into 0 0.736 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.737 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 0.737 * [backup-simplify]: Simplify (+ 0 0) into 0 0.737 * [taylor]: Taking taylor expansion of 0 in re 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 0.738 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.738 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.738 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 0.738 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 0.739 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.739 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 0.739 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 0.739 * [backup-simplify]: Simplify (+ 0 0) into 0 0.739 * [backup-simplify]: Simplify 0 into 0 0.740 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.740 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.740 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.741 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.741 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.742 * [backup-simplify]: Simplify (- 0) into 0 0.742 * [backup-simplify]: Simplify (+ 0 0) into 0 0.743 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 0.744 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ -1 re)))))) into 0 0.745 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.745 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.746 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.746 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.747 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.747 * [backup-simplify]: Simplify (- 0) into 0 0.748 * [backup-simplify]: Simplify (+ 0 0) into 0 0.748 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.749 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 0.749 * [backup-simplify]: Simplify (+ 0 0) into 0 0.749 * [taylor]: Taking taylor expansion of 0 in re 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.751 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.752 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.753 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 0.753 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.754 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.754 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 0.754 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 0.755 * [backup-simplify]: Simplify (+ 0 0) into 0 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.756 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.756 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.757 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.757 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.757 * [backup-simplify]: Simplify (- 0) into 0 0.758 * [backup-simplify]: Simplify (+ 0 0) into 0 0.758 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 0.759 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ -1 re))))))) into 0 0.759 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.760 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.760 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.761 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.761 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.762 * [backup-simplify]: Simplify (- 0) into 0 0.762 * [backup-simplify]: Simplify (+ 0 0) into 0 0.762 * [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 0.763 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 0.763 * [backup-simplify]: Simplify (+ 0 0) into 0 0.763 * [taylor]: Taking taylor expansion of 0 in re 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [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)))) 0.763 * * * [progress]: simplifying candidates 0.763 * * * * [progress]: [ 1 / 41 ] simplifiying candidate # 0.764 * * * * [progress]: [ 2 / 41 ] simplifiying candidate # 0.764 * * * * [progress]: [ 3 / 41 ] simplifiying candidate # 0.764 * * * * [progress]: [ 4 / 41 ] simplifiying candidate # 0.764 * [simplify]: Simplifying (- (+ (log 0.5) (log (cos re))) im) 0.764 * * [simplify]: iters left: 6 (8 enodes) 0.766 * * [simplify]: iters left: 5 (29 enodes) 0.771 * * [simplify]: iters left: 4 (41 enodes) 0.778 * * [simplify]: iters left: 3 (50 enodes) 0.789 * * [simplify]: iters left: 2 (54 enodes) 0.802 * * [simplify]: iters left: 1 (58 enodes) 0.819 * * [simplify]: Extracting #0: cost 1 inf + 0 0.819 * * [simplify]: Extracting #1: cost 16 inf + 0 0.819 * * [simplify]: Extracting #2: cost 24 inf + 42 0.819 * * [simplify]: Extracting #3: cost 22 inf + 266 0.820 * * [simplify]: Extracting #4: cost 8 inf + 2137 0.821 * * [simplify]: Extracting #5: cost 0 inf + 3624 0.822 * [simplify]: Simplified to (- (log (cos re)) (- im (log 0.5))) 0.822 * [simplify]: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (exp (- (log (cos re)) (- im (log 0.5)))))) 0.822 * * * * [progress]: [ 5 / 41 ] simplifiying candidate # 0.822 * [simplify]: Simplifying (- (log (* 0.5 (cos re))) im) 0.823 * * [simplify]: iters left: 6 (7 enodes) 0.827 * * [simplify]: iters left: 5 (27 enodes) 0.836 * * [simplify]: iters left: 4 (39 enodes) 0.848 * * [simplify]: iters left: 3 (49 enodes) 0.866 * * [simplify]: iters left: 2 (57 enodes) 0.885 * * [simplify]: iters left: 1 (63 enodes) 0.902 * * [simplify]: Extracting #0: cost 1 inf + 0 0.902 * * [simplify]: Extracting #1: cost 13 inf + 0 0.902 * * [simplify]: Extracting #2: cost 25 inf + 1 0.903 * * [simplify]: Extracting #3: cost 25 inf + 84 0.903 * * [simplify]: Extracting #4: cost 18 inf + 713 0.904 * * [simplify]: Extracting #5: cost 7 inf + 2051 0.905 * * [simplify]: Extracting #6: cost 0 inf + 3226 0.906 * [simplify]: Simplified to (- (log (* 0.5 (cos re))) im) 0.906 * [simplify]: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (exp (- (log (* 0.5 (cos re))) im)))) 0.906 * * * * [progress]: [ 6 / 41 ] simplifiying candidate # 0.906 * * * * [progress]: [ 7 / 41 ] simplifiying candidate # 0.906 * * * * [progress]: [ 8 / 41 ] simplifiying candidate # 0.906 * [simplify]: Simplifying (/ (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (exp im) (exp im)) (exp im))) 0.907 * * [simplify]: iters left: 6 (13 enodes) 0.914 * * [simplify]: iters left: 5 (56 enodes) 0.939 * * [simplify]: iters left: 4 (170 enodes) 1.044 * * [simplify]: Extracting #0: cost 1 inf + 0 1.045 * * [simplify]: Extracting #1: cost 94 inf + 0 1.046 * * [simplify]: Extracting #2: cost 202 inf + 123 1.050 * * [simplify]: Extracting #3: cost 143 inf + 14620 1.059 * * [simplify]: Extracting #4: cost 16 inf + 48566 1.070 * * [simplify]: Extracting #5: cost 0 inf + 50869 1.091 * * [simplify]: Extracting #6: cost 0 inf + 49909 1.115 * * [simplify]: Extracting #7: cost 0 inf + 49829 1.138 * [simplify]: Simplified to (/ (* (cos re) (* (cos re) (cos re))) (* (/ (exp im) 0.5) (* (/ (exp im) 0.5) (/ (exp im) 0.5)))) 1.138 * [simplify]: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (cbrt (/ (* (cos re) (* (cos re) (cos re))) (* (/ (exp im) 0.5) (* (/ (exp im) 0.5) (/ (exp im) 0.5))))))) 1.138 * * * * [progress]: [ 9 / 41 ] simplifiying candidate # 1.139 * [simplify]: Simplifying (/ (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im))) 1.139 * * [simplify]: iters left: 6 (11 enodes) 1.151 * * [simplify]: iters left: 5 (54 enodes) 1.172 * * [simplify]: iters left: 4 (180 enodes) 1.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1.242 * * [simplify]: Extracting #1: cost 108 inf + 0 1.243 * * [simplify]: Extracting #2: cost 228 inf + 43 1.246 * * [simplify]: Extracting #3: cost 154 inf + 16487 1.259 * * [simplify]: Extracting #4: cost 15 inf + 53440 1.283 * * [simplify]: Extracting #5: cost 0 inf + 57512 1.306 * * [simplify]: Extracting #6: cost 0 inf + 57432 1.322 * [simplify]: Simplified to (* (/ (* 0.5 (cos re)) (exp im)) (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im)))) 1.322 * [simplify]: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (cbrt (* (/ (* 0.5 (cos re)) (exp im)) (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))))))) 1.322 * * * * [progress]: [ 10 / 41 ] simplifiying candidate # 1.322 * * * * [progress]: [ 11 / 41 ] simplifiying candidate # 1.322 * * * * [progress]: [ 12 / 41 ] simplifiying candidate # 1.323 * * * * [progress]: [ 13 / 41 ] simplifiying candidate # 1.323 * * * * [progress]: [ 14 / 41 ] simplifiying candidate # 1.323 * [simplify]: Simplifying (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) 1.323 * * [simplify]: iters left: 6 (6 enodes) 1.325 * * [simplify]: iters left: 5 (20 enodes) 1.328 * * [simplify]: iters left: 4 (22 enodes) 1.331 * * [simplify]: Extracting #0: cost 1 inf + 0 1.331 * * [simplify]: Extracting #1: cost 6 inf + 0 1.332 * * [simplify]: Extracting #2: cost 9 inf + 1 1.332 * * [simplify]: Extracting #3: cost 11 inf + 1 1.332 * * [simplify]: Extracting #4: cost 10 inf + 2 1.332 * * [simplify]: Extracting #5: cost 1 inf + 1444 1.332 * * [simplify]: Extracting #6: cost 0 inf + 1676 1.332 * [simplify]: Simplified to (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) 1.332 * [simplify]: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (* (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cos re) (cbrt (exp im)))))) 1.332 * [simplify]: Simplifying (/ (cos re) (cbrt (exp im))) 1.333 * * [simplify]: iters left: 4 (6 enodes) 1.334 * * [simplify]: iters left: 3 (18 enodes) 1.336 * * [simplify]: Extracting #0: cost 1 inf + 0 1.336 * * [simplify]: Extracting #1: cost 4 inf + 0 1.336 * * [simplify]: Extracting #2: cost 8 inf + 0 1.336 * * [simplify]: Extracting #3: cost 9 inf + 1 1.336 * * [simplify]: Extracting #4: cost 0 inf + 1072 1.336 * [simplify]: Simplified to (/ (cos re) (cbrt (exp im))) 1.337 * [simplify]: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (* (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cos re) (cbrt (exp im)))))) 1.337 * * * * [progress]: [ 15 / 41 ] simplifiying candidate # 1.337 * [simplify]: Simplifying (/ 0.5 (sqrt (exp im))) 1.337 * * [simplify]: iters left: 4 (5 enodes) 1.340 * * [simplify]: iters left: 3 (15 enodes) 1.345 * * [simplify]: Extracting #0: cost 1 inf + 0 1.345 * * [simplify]: Extracting #1: cost 4 inf + 0 1.345 * * [simplify]: Extracting #2: cost 5 inf + 1 1.346 * * [simplify]: Extracting #3: cost 7 inf + 1 1.346 * * [simplify]: Extracting #4: cost 0 inf + 670 1.346 * [simplify]: Simplified to (/ 0.5 (sqrt (exp im))) 1.346 * [simplify]: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (* (/ 0.5 (sqrt (exp im))) (/ (cos re) (sqrt (exp im)))))) 1.346 * [simplify]: Simplifying (/ (cos re) (sqrt (exp im))) 1.346 * * [simplify]: iters left: 4 (6 enodes) 1.349 * * [simplify]: iters left: 3 (18 enodes) 1.354 * * [simplify]: Extracting #0: cost 1 inf + 0 1.354 * * [simplify]: Extracting #1: cost 4 inf + 0 1.354 * * [simplify]: Extracting #2: cost 8 inf + 0 1.354 * * [simplify]: Extracting #3: cost 9 inf + 1 1.354 * * [simplify]: Extracting #4: cost 0 inf + 912 1.354 * [simplify]: Simplified to (/ (cos re) (sqrt (exp im))) 1.354 * [simplify]: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (* (/ 0.5 (sqrt (exp im))) (/ (cos re) (sqrt (exp im)))))) 1.355 * * * * [progress]: [ 16 / 41 ] simplifiying candidate # 1.355 * [simplify]: Simplifying (/ 0.5 1) 1.355 * * [simplify]: iters left: 2 (3 enodes) 1.358 * * [simplify]: iters left: 1 (9 enodes) 1.361 * * [simplify]: Extracting #0: cost 1 inf + 0 1.361 * * [simplify]: Extracting #1: cost 0 inf + 1 1.361 * [simplify]: Simplified to 0.5 1.361 * [simplify]: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im))))) 1.362 * [simplify]: Simplifying (/ (cos re) (exp im)) 1.362 * * [simplify]: iters left: 3 (5 enodes) 1.364 * * [simplify]: iters left: 2 (15 enodes) 1.369 * * [simplify]: Extracting #0: cost 1 inf + 0 1.369 * * [simplify]: Extracting #1: cost 4 inf + 0 1.369 * * [simplify]: Extracting #2: cost 8 inf + 0 1.369 * * [simplify]: Extracting #3: cost 4 inf + 144 1.369 * * [simplify]: Extracting #4: cost 0 inf + 610 1.369 * [simplify]: Simplified to (/ (cos re) (exp im)) 1.369 * [simplify]: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im))))) 1.369 * * * * [progress]: [ 17 / 41 ] simplifiying candidate # 1.369 * * * * [progress]: [ 18 / 41 ] simplifiying candidate # 1.370 * * * * [progress]: [ 19 / 41 ] simplifiying candidate # 1.370 * * * * [progress]: [ 20 / 41 ] simplifiying candidate # 1.370 * [simplify]: Simplifying (cbrt (exp im)) 1.370 * * [simplify]: iters left: 2 (3 enodes) 1.371 * * [simplify]: iters left: 1 (9 enodes) 1.374 * * [simplify]: Extracting #0: cost 1 inf + 0 1.374 * * [simplify]: Extracting #1: cost 3 inf + 0 1.374 * * [simplify]: Extracting #2: cost 5 inf + 0 1.374 * * [simplify]: Extracting #3: cost 4 inf + 1 1.374 * * [simplify]: Extracting #4: cost 0 inf + 445 1.374 * [simplify]: Simplified to (cbrt (exp im)) 1.374 * [simplify]: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (/ (/ (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))))) 1.374 * * * * [progress]: [ 21 / 41 ] simplifiying candidate # 1.375 * [simplify]: Simplifying (sqrt (exp im)) 1.375 * * [simplify]: iters left: 2 (3 enodes) 1.376 * * [simplify]: iters left: 1 (9 enodes) 1.378 * * [simplify]: Extracting #0: cost 1 inf + 0 1.378 * * [simplify]: Extracting #1: cost 3 inf + 0 1.378 * * [simplify]: Extracting #2: cost 5 inf + 0 1.379 * * [simplify]: Extracting #3: cost 4 inf + 1 1.379 * * [simplify]: Extracting #4: cost 0 inf + 365 1.379 * [simplify]: Simplified to (sqrt (exp im)) 1.379 * [simplify]: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (/ (/ (* 0.5 (cos re)) (sqrt (exp im))) (sqrt (exp im))))) 1.379 * * * * [progress]: [ 22 / 41 ] simplifiying candidate # 1.379 * [simplify]: Simplifying (exp im) 1.379 * * [simplify]: iters left: 1 (2 enodes) 1.380 * * [simplify]: Extracting #0: cost 1 inf + 0 1.380 * * [simplify]: Extracting #1: cost 3 inf + 0 1.380 * * [simplify]: Extracting #2: cost 2 inf + 1 1.380 * * [simplify]: Extracting #3: cost 0 inf + 143 1.380 * [simplify]: Simplified to (exp im) 1.380 * [simplify]: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (/ (/ (* 0.5 (cos re)) 1) (exp im)))) 1.381 * * * * [progress]: [ 23 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 24 / 41 ] simplifiying candidate #real (real->posit16 (/ (* 0.5 (cos re)) (exp im))))))> 1.381 * * * * [progress]: [ 25 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 26 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 27 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 28 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 29 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 30 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 31 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 32 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 33 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 34 / 41 ] simplifiying candidate # 1.381 * * * * [progress]: [ 35 / 41 ] simplifiying candidate #real (real->posit16 (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))))))> 1.382 * * * * [progress]: [ 36 / 41 ] simplifiying candidate # 1.382 * [simplify]: Simplifying (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) 1.382 * * [simplify]: iters left: 6 (10 enodes) 1.389 * * [simplify]: iters left: 5 (43 enodes) 1.403 * * [simplify]: iters left: 4 (67 enodes) 1.415 * * [simplify]: iters left: 3 (110 enodes) 1.440 * * [simplify]: iters left: 2 (186 enodes) 1.475 * * [simplify]: iters left: 1 (235 enodes) 1.524 * * [simplify]: Extracting #0: cost 1 inf + 0 1.524 * * [simplify]: Extracting #1: cost 27 inf + 0 1.524 * * [simplify]: Extracting #2: cost 45 inf + 250 1.526 * * [simplify]: Extracting #3: cost 20 inf + 2318 1.529 * * [simplify]: Extracting #4: cost 0 inf + 4347 1.533 * * [simplify]: Extracting #5: cost 0 inf + 4277 1.536 * [simplify]: Simplified to (- 0.5 (fma (* re re) 0.25 (* 0.5 im))) 1.536 * [simplify]: Simplified (2 3) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (- 0.5 (fma (* re re) 0.25 (* 0.5 im))))) 1.536 * * * * [progress]: [ 37 / 41 ] simplifiying candidate # 1.537 * [simplify]: Simplifying (* 0.5 (/ (cos re) (exp im))) 1.537 * * [simplify]: iters left: 5 (7 enodes) 1.541 * * [simplify]: iters left: 4 (24 enodes) 1.549 * * [simplify]: iters left: 3 (30 enodes) 1.558 * * [simplify]: iters left: 2 (34 enodes) 1.567 * * [simplify]: iters left: 1 (38 enodes) 1.578 * * [simplify]: Extracting #0: cost 1 inf + 0 1.578 * * [simplify]: Extracting #1: cost 10 inf + 0 1.578 * * [simplify]: Extracting #2: cost 18 inf + 1 1.578 * * [simplify]: Extracting #3: cost 16 inf + 3 1.578 * * [simplify]: Extracting #4: cost 4 inf + 1364 1.579 * * [simplify]: Extracting #5: cost 0 inf + 2033 1.580 * [simplify]: Simplified to (/ (cos re) (/ (exp im) 0.5)) 1.580 * [simplify]: Simplified (2 3) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (/ (cos re) (/ (exp im) 0.5)))) 1.580 * * * * [progress]: [ 38 / 41 ] simplifiying candidate # 1.580 * [simplify]: Simplifying (* 0.5 (/ (cos re) (exp im))) 1.580 * * [simplify]: iters left: 5 (7 enodes) 1.584 * * [simplify]: iters left: 4 (24 enodes) 1.591 * * [simplify]: iters left: 3 (30 enodes) 1.599 * * [simplify]: iters left: 2 (34 enodes) 1.609 * * [simplify]: iters left: 1 (38 enodes) 1.619 * * [simplify]: Extracting #0: cost 1 inf + 0 1.619 * * [simplify]: Extracting #1: cost 10 inf + 0 1.620 * * [simplify]: Extracting #2: cost 18 inf + 1 1.620 * * [simplify]: Extracting #3: cost 16 inf + 3 1.620 * * [simplify]: Extracting #4: cost 4 inf + 1364 1.621 * * [simplify]: Extracting #5: cost 0 inf + 2033 1.621 * [simplify]: Simplified to (/ (cos re) (/ (exp im) 0.5)) 1.621 * [simplify]: Simplified (2 3) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (/ (cos re) (/ (exp im) 0.5)))) 1.621 * * * * [progress]: [ 39 / 41 ] simplifiying candidate # 1.622 * [simplify]: Simplifying (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 1.622 * * [simplify]: iters left: 6 (11 enodes) 1.629 * * [simplify]: iters left: 5 (49 enodes) 1.646 * * [simplify]: iters left: 4 (82 enodes) 1.660 * * [simplify]: iters left: 3 (134 enodes) 1.687 * * [simplify]: iters left: 2 (189 enodes) 1.724 * * [simplify]: iters left: 1 (228 enodes) 1.765 * * [simplify]: Extracting #0: cost 1 inf + 0 1.765 * * [simplify]: Extracting #1: cost 32 inf + 0 1.766 * * [simplify]: Extracting #2: cost 65 inf + 333 1.767 * * [simplify]: Extracting #3: cost 20 inf + 5287 1.769 * * [simplify]: Extracting #4: cost 1 inf + 7467 1.772 * * [simplify]: Extracting #5: cost 0 inf + 7509 1.774 * [simplify]: Simplified to (fma 0.5 (- (* im im) (* re re)) 1.0) 1.774 * [simplify]: Simplified (2) to (λ (re im) (fma 0.5 (- (* im im) (* re re)) 1.0)) 1.774 * * * * [progress]: [ 40 / 41 ] simplifiying candidate # 1.774 * [simplify]: Simplifying (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1.774 * * [simplify]: iters left: 6 (10 enodes) 1.777 * * [simplify]: iters left: 5 (41 enodes) 1.791 * * [simplify]: iters left: 4 (64 enodes) 1.801 * * [simplify]: iters left: 3 (71 enodes) 1.809 * * [simplify]: iters left: 2 (75 enodes) 1.820 * * [simplify]: iters left: 1 (78 enodes) 1.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1.838 * * [simplify]: Extracting #1: cost 12 inf + 0 1.838 * * [simplify]: Extracting #2: cost 25 inf + 1 1.838 * * [simplify]: Extracting #3: cost 25 inf + 64 1.838 * * [simplify]: Extracting #4: cost 7 inf + 2599 1.839 * * [simplify]: Extracting #5: cost 0 inf + 4017 1.839 * [simplify]: Simplified to (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5) 1.840 * [simplify]: Simplified (2) to (λ (re im) (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5)) 1.840 * * * * [progress]: [ 41 / 41 ] simplifiying candidate # 1.840 * [simplify]: Simplifying (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1.840 * * [simplify]: iters left: 6 (10 enodes) 1.843 * * [simplify]: iters left: 5 (41 enodes) 1.849 * * [simplify]: iters left: 4 (64 enodes) 1.858 * * [simplify]: iters left: 3 (71 enodes) 1.868 * * [simplify]: iters left: 2 (75 enodes) 1.888 * * [simplify]: iters left: 1 (78 enodes) 1.904 * * [simplify]: Extracting #0: cost 1 inf + 0 1.904 * * [simplify]: Extracting #1: cost 12 inf + 0 1.904 * * [simplify]: Extracting #2: cost 25 inf + 1 1.904 * * [simplify]: Extracting #3: cost 25 inf + 64 1.905 * * [simplify]: Extracting #4: cost 7 inf + 2599 1.905 * * [simplify]: Extracting #5: cost 0 inf + 4017 1.906 * [simplify]: Simplified to (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5) 1.906 * [simplify]: Simplified (2) to (λ (re im) (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5)) 1.906 * * * [progress]: adding candidates to table 2.327 * * [progress]: iteration 2 / 4 2.327 * * * [progress]: picking best candidate 2.329 * * * * [pick]: Picked # 2.329 * * * [progress]: localizing error 2.347 * * * [progress]: generating rewritten candidates 2.347 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.361 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 2.401 * * * [progress]: generating series expansions 2.401 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.402 * [backup-simplify]: Simplify (/ (* 0.5 (cos re)) (exp im)) into (* 0.5 (/ (cos re) (exp im))) 2.402 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0 2.402 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 2.402 * [taylor]: Taking taylor expansion of 0.5 in im 2.402 * [backup-simplify]: Simplify 0.5 into 0.5 2.402 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im 2.402 * [taylor]: Taking taylor expansion of (cos re) in im 2.402 * [taylor]: Taking taylor expansion of re in im 2.402 * [backup-simplify]: Simplify re into re 2.402 * [backup-simplify]: Simplify (cos re) into (cos re) 2.402 * [backup-simplify]: Simplify (sin re) into (sin re) 2.402 * [taylor]: Taking taylor expansion of (exp im) in im 2.402 * [taylor]: Taking taylor expansion of im in im 2.402 * [backup-simplify]: Simplify 0 into 0 2.402 * [backup-simplify]: Simplify 1 into 1 2.402 * [backup-simplify]: Simplify (exp 0) into 1 2.402 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 2.402 * [backup-simplify]: Simplify (* (sin re) 0) into 0 2.403 * [backup-simplify]: Simplify (- 0) into 0 2.403 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 2.403 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re) 2.403 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 2.403 * [taylor]: Taking taylor expansion of 0.5 in re 2.403 * [backup-simplify]: Simplify 0.5 into 0.5 2.403 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 2.403 * [taylor]: Taking taylor expansion of (cos re) in re 2.403 * [taylor]: Taking taylor expansion of re in re 2.403 * [backup-simplify]: Simplify 0 into 0 2.403 * [backup-simplify]: Simplify 1 into 1 2.403 * [taylor]: Taking taylor expansion of (exp im) in re 2.403 * [taylor]: Taking taylor expansion of im in re 2.403 * [backup-simplify]: Simplify im into im 2.403 * [backup-simplify]: Simplify (exp im) into (exp im) 2.403 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 2.403 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 2.403 * [taylor]: Taking taylor expansion of 0.5 in re 2.403 * [backup-simplify]: Simplify 0.5 into 0.5 2.404 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re 2.404 * [taylor]: Taking taylor expansion of (cos re) in re 2.404 * [taylor]: Taking taylor expansion of re in re 2.404 * [backup-simplify]: Simplify 0 into 0 2.404 * [backup-simplify]: Simplify 1 into 1 2.404 * [taylor]: Taking taylor expansion of (exp im) in re 2.404 * [taylor]: Taking taylor expansion of im in re 2.404 * [backup-simplify]: Simplify im into im 2.404 * [backup-simplify]: Simplify (exp im) into (exp im) 2.404 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 2.404 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im)) 2.404 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 2.404 * [taylor]: Taking taylor expansion of 0.5 in im 2.404 * [backup-simplify]: Simplify 0.5 into 0.5 2.404 * [taylor]: Taking taylor expansion of (exp im) in im 2.404 * [taylor]: Taking taylor expansion of im in im 2.404 * [backup-simplify]: Simplify 0 into 0 2.404 * [backup-simplify]: Simplify 1 into 1 2.404 * [backup-simplify]: Simplify (exp 0) into 1 2.405 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 2.405 * [backup-simplify]: Simplify 0.5 into 0.5 2.405 * [backup-simplify]: Simplify (+ 0) into 0 2.406 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 2.406 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 2.406 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0 2.407 * [taylor]: Taking taylor expansion of 0 in im 2.407 * [backup-simplify]: Simplify 0 into 0 2.407 * [backup-simplify]: Simplify 0 into 0 2.408 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 2.411 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 2.411 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 2.413 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.413 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im)))) 2.414 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im)))) 2.414 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im 2.414 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im 2.414 * [taylor]: Taking taylor expansion of 0.25 in im 2.414 * [backup-simplify]: Simplify 0.25 into 0.25 2.414 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im 2.414 * [taylor]: Taking taylor expansion of (exp im) in im 2.414 * [taylor]: Taking taylor expansion of im in im 2.414 * [backup-simplify]: Simplify 0 into 0 2.414 * [backup-simplify]: Simplify 1 into 1 2.414 * [backup-simplify]: Simplify (exp 0) into 1 2.414 * [backup-simplify]: Simplify (/ 1 1) into 1 2.415 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.415 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.415 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 2.416 * [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))) 2.416 * [backup-simplify]: Simplify (/ (* 0.5 (cos (/ 1 re))) (exp (/ 1 im))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 2.416 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 2.416 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 2.416 * [taylor]: Taking taylor expansion of 0.5 in im 2.416 * [backup-simplify]: Simplify 0.5 into 0.5 2.416 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 2.417 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 2.417 * [taylor]: Taking taylor expansion of (/ 1 re) in im 2.417 * [taylor]: Taking taylor expansion of re in im 2.417 * [backup-simplify]: Simplify re into re 2.417 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 2.417 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.417 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 2.417 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.417 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.417 * [taylor]: Taking taylor expansion of im in im 2.417 * [backup-simplify]: Simplify 0 into 0 2.417 * [backup-simplify]: Simplify 1 into 1 2.417 * [backup-simplify]: Simplify (/ 1 1) into 1 2.417 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.417 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 2.417 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 2.418 * [backup-simplify]: Simplify (- 0) into 0 2.418 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 2.418 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 2.418 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 2.418 * [taylor]: Taking taylor expansion of 0.5 in re 2.418 * [backup-simplify]: Simplify 0.5 into 0.5 2.418 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 2.418 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 2.418 * [taylor]: Taking taylor expansion of (/ 1 re) in re 2.418 * [taylor]: Taking taylor expansion of re in re 2.418 * [backup-simplify]: Simplify 0 into 0 2.418 * [backup-simplify]: Simplify 1 into 1 2.419 * [backup-simplify]: Simplify (/ 1 1) into 1 2.419 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.419 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 2.419 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.419 * [taylor]: Taking taylor expansion of im in re 2.419 * [backup-simplify]: Simplify im into im 2.419 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 2.419 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.419 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 2.419 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 2.419 * [taylor]: Taking taylor expansion of 0.5 in re 2.419 * [backup-simplify]: Simplify 0.5 into 0.5 2.419 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 2.419 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 2.419 * [taylor]: Taking taylor expansion of (/ 1 re) in re 2.419 * [taylor]: Taking taylor expansion of re in re 2.419 * [backup-simplify]: Simplify 0 into 0 2.419 * [backup-simplify]: Simplify 1 into 1 2.419 * [backup-simplify]: Simplify (/ 1 1) into 1 2.420 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.420 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 2.420 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.420 * [taylor]: Taking taylor expansion of im in re 2.420 * [backup-simplify]: Simplify im into im 2.420 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 2.420 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.420 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 2.420 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 2.420 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 2.420 * [taylor]: Taking taylor expansion of 0.5 in im 2.420 * [backup-simplify]: Simplify 0.5 into 0.5 2.420 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 2.420 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 2.420 * [taylor]: Taking taylor expansion of (/ 1 re) in im 2.420 * [taylor]: Taking taylor expansion of re in im 2.420 * [backup-simplify]: Simplify re into re 2.420 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 2.420 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.420 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 2.420 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.420 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.421 * [taylor]: Taking taylor expansion of im in im 2.421 * [backup-simplify]: Simplify 0 into 0 2.421 * [backup-simplify]: Simplify 1 into 1 2.421 * [backup-simplify]: Simplify (/ 1 1) into 1 2.421 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.421 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 2.421 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 2.422 * [backup-simplify]: Simplify (- 0) into 0 2.422 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 2.422 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 2.422 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 2.422 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 2.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 2.424 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 2.424 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 2.425 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 2.425 * [taylor]: Taking taylor expansion of 0 in im 2.425 * [backup-simplify]: Simplify 0 into 0 2.425 * [backup-simplify]: Simplify 0 into 0 2.425 * [backup-simplify]: Simplify (+ 0) into 0 2.426 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 2.426 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 2.427 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.427 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 2.428 * [backup-simplify]: Simplify (- 0) into 0 2.428 * [backup-simplify]: Simplify (+ 0 0) into 0 2.428 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 2.429 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 2.429 * [backup-simplify]: Simplify 0 into 0 2.429 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 2.431 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.431 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 2.432 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 2.432 * [taylor]: Taking taylor expansion of 0 in im 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 0 into 0 2.433 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.434 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 2.434 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 2.435 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.436 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 2.436 * [backup-simplify]: Simplify (- 0) into 0 2.436 * [backup-simplify]: Simplify (+ 0 0) into 0 2.437 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 2.438 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 2.438 * [backup-simplify]: Simplify 0 into 0 2.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 2.445 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.446 * [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 2.447 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 2.447 * [taylor]: Taking taylor expansion of 0 in im 2.447 * [backup-simplify]: Simplify 0 into 0 2.447 * [backup-simplify]: Simplify 0 into 0 2.448 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im))) 2.448 * [backup-simplify]: Simplify (/ (* 0.5 (cos (/ 1 (- re)))) (exp (/ 1 (- im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 2.448 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 2.448 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 2.448 * [taylor]: Taking taylor expansion of 0.5 in im 2.448 * [backup-simplify]: Simplify 0.5 into 0.5 2.448 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 2.448 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 2.448 * [taylor]: Taking taylor expansion of (/ -1 re) in im 2.448 * [taylor]: Taking taylor expansion of -1 in im 2.448 * [backup-simplify]: Simplify -1 into -1 2.448 * [taylor]: Taking taylor expansion of re in im 2.448 * [backup-simplify]: Simplify re into re 2.448 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 2.448 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.448 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 2.448 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 2.448 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.448 * [taylor]: Taking taylor expansion of -1 in im 2.448 * [backup-simplify]: Simplify -1 into -1 2.448 * [taylor]: Taking taylor expansion of im in im 2.448 * [backup-simplify]: Simplify 0 into 0 2.449 * [backup-simplify]: Simplify 1 into 1 2.449 * [backup-simplify]: Simplify (/ -1 1) into -1 2.449 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.449 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 2.449 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 2.450 * [backup-simplify]: Simplify (- 0) into 0 2.450 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 2.450 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 2.450 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 2.450 * [taylor]: Taking taylor expansion of 0.5 in re 2.450 * [backup-simplify]: Simplify 0.5 into 0.5 2.450 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 2.450 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 2.450 * [taylor]: Taking taylor expansion of (/ -1 re) in re 2.450 * [taylor]: Taking taylor expansion of -1 in re 2.450 * [backup-simplify]: Simplify -1 into -1 2.450 * [taylor]: Taking taylor expansion of re in re 2.450 * [backup-simplify]: Simplify 0 into 0 2.450 * [backup-simplify]: Simplify 1 into 1 2.451 * [backup-simplify]: Simplify (/ -1 1) into -1 2.451 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.451 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 2.451 * [taylor]: Taking taylor expansion of (/ -1 im) in re 2.451 * [taylor]: Taking taylor expansion of -1 in re 2.451 * [backup-simplify]: Simplify -1 into -1 2.451 * [taylor]: Taking taylor expansion of im in re 2.451 * [backup-simplify]: Simplify im into im 2.451 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 2.451 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.451 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 2.451 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 2.451 * [taylor]: Taking taylor expansion of 0.5 in re 2.451 * [backup-simplify]: Simplify 0.5 into 0.5 2.451 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 2.451 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 2.451 * [taylor]: Taking taylor expansion of (/ -1 re) in re 2.451 * [taylor]: Taking taylor expansion of -1 in re 2.452 * [backup-simplify]: Simplify -1 into -1 2.452 * [taylor]: Taking taylor expansion of re in re 2.452 * [backup-simplify]: Simplify 0 into 0 2.452 * [backup-simplify]: Simplify 1 into 1 2.452 * [backup-simplify]: Simplify (/ -1 1) into -1 2.452 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.452 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 2.452 * [taylor]: Taking taylor expansion of (/ -1 im) in re 2.452 * [taylor]: Taking taylor expansion of -1 in re 2.452 * [backup-simplify]: Simplify -1 into -1 2.452 * [taylor]: Taking taylor expansion of im in re 2.452 * [backup-simplify]: Simplify im into im 2.452 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 2.452 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.453 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 2.453 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 2.453 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 2.453 * [taylor]: Taking taylor expansion of 0.5 in im 2.453 * [backup-simplify]: Simplify 0.5 into 0.5 2.453 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 2.453 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 2.453 * [taylor]: Taking taylor expansion of (/ -1 re) in im 2.453 * [taylor]: Taking taylor expansion of -1 in im 2.453 * [backup-simplify]: Simplify -1 into -1 2.453 * [taylor]: Taking taylor expansion of re in im 2.453 * [backup-simplify]: Simplify re into re 2.453 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 2.453 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.453 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 2.453 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 2.453 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.453 * [taylor]: Taking taylor expansion of -1 in im 2.453 * [backup-simplify]: Simplify -1 into -1 2.453 * [taylor]: Taking taylor expansion of im in im 2.454 * [backup-simplify]: Simplify 0 into 0 2.454 * [backup-simplify]: Simplify 1 into 1 2.454 * [backup-simplify]: Simplify (/ -1 1) into -1 2.454 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.454 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 2.454 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 2.455 * [backup-simplify]: Simplify (- 0) into 0 2.455 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 2.455 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 2.455 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 2.455 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 2.456 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 2.456 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 2.457 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 2.457 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 2.457 * [taylor]: Taking taylor expansion of 0 in im 2.457 * [backup-simplify]: Simplify 0 into 0 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [backup-simplify]: Simplify (+ 0) into 0 2.458 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 2.459 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 2.460 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.460 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 2.461 * [backup-simplify]: Simplify (- 0) into 0 2.461 * [backup-simplify]: Simplify (+ 0 0) into 0 2.461 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 2.462 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 2.462 * [backup-simplify]: Simplify 0 into 0 2.462 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 2.464 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.464 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 2.465 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 2.465 * [taylor]: Taking taylor expansion of 0 in im 2.465 * [backup-simplify]: Simplify 0 into 0 2.465 * [backup-simplify]: Simplify 0 into 0 2.465 * [backup-simplify]: Simplify 0 into 0 2.467 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.467 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 2.468 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 2.468 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.469 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 2.469 * [backup-simplify]: Simplify (- 0) into 0 2.470 * [backup-simplify]: Simplify (+ 0 0) into 0 2.470 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 2.471 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 2.471 * [backup-simplify]: Simplify 0 into 0 2.471 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 2.473 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.474 * [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 2.476 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 2.476 * [taylor]: Taking taylor expansion of 0 in im 2.476 * [backup-simplify]: Simplify 0 into 0 2.476 * [backup-simplify]: Simplify 0 into 0 2.476 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im))) 2.476 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.477 * [backup-simplify]: Simplify (* (exp im) (* 0.5 (cos re))) into (* 0.5 (* (exp im) (cos re))) 2.477 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in (im re) around 0 2.477 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re 2.477 * [taylor]: Taking taylor expansion of 0.5 in re 2.477 * [backup-simplify]: Simplify 0.5 into 0.5 2.477 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re 2.477 * [taylor]: Taking taylor expansion of (exp im) in re 2.477 * [taylor]: Taking taylor expansion of im in re 2.477 * [backup-simplify]: Simplify im into im 2.477 * [backup-simplify]: Simplify (exp im) into (exp im) 2.477 * [taylor]: Taking taylor expansion of (cos re) in re 2.477 * [taylor]: Taking taylor expansion of re in re 2.477 * [backup-simplify]: Simplify 0 into 0 2.477 * [backup-simplify]: Simplify 1 into 1 2.477 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 2.477 * [taylor]: Taking taylor expansion of 0.5 in im 2.477 * [backup-simplify]: Simplify 0.5 into 0.5 2.477 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 2.477 * [taylor]: Taking taylor expansion of (exp im) in im 2.477 * [taylor]: Taking taylor expansion of im in im 2.477 * [backup-simplify]: Simplify 0 into 0 2.477 * [backup-simplify]: Simplify 1 into 1 2.477 * [backup-simplify]: Simplify (exp 0) into 1 2.477 * [taylor]: Taking taylor expansion of (cos re) in im 2.477 * [taylor]: Taking taylor expansion of re in im 2.477 * [backup-simplify]: Simplify re into re 2.477 * [backup-simplify]: Simplify (cos re) into (cos re) 2.478 * [backup-simplify]: Simplify (sin re) into (sin re) 2.478 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im 2.478 * [taylor]: Taking taylor expansion of 0.5 in im 2.478 * [backup-simplify]: Simplify 0.5 into 0.5 2.478 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im 2.478 * [taylor]: Taking taylor expansion of (exp im) in im 2.478 * [taylor]: Taking taylor expansion of im in im 2.478 * [backup-simplify]: Simplify 0 into 0 2.478 * [backup-simplify]: Simplify 1 into 1 2.478 * [backup-simplify]: Simplify (exp 0) into 1 2.478 * [taylor]: Taking taylor expansion of (cos re) in im 2.478 * [taylor]: Taking taylor expansion of re in im 2.478 * [backup-simplify]: Simplify re into re 2.478 * [backup-simplify]: Simplify (cos re) into (cos re) 2.478 * [backup-simplify]: Simplify (sin re) into (sin re) 2.478 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 2.478 * [backup-simplify]: Simplify (* (sin re) 0) into 0 2.479 * [backup-simplify]: Simplify (- 0) into 0 2.479 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 2.479 * [backup-simplify]: Simplify (* 1 (cos re)) into (cos re) 2.479 * [backup-simplify]: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 2.479 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 2.479 * [taylor]: Taking taylor expansion of 0.5 in re 2.479 * [backup-simplify]: Simplify 0.5 into 0.5 2.479 * [taylor]: Taking taylor expansion of (cos re) in re 2.479 * [taylor]: Taking taylor expansion of re in re 2.479 * [backup-simplify]: Simplify 0 into 0 2.479 * [backup-simplify]: Simplify 1 into 1 2.480 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 2.480 * [backup-simplify]: Simplify 0.5 into 0.5 2.480 * [backup-simplify]: Simplify (+ 0) into 0 2.481 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 2.481 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.482 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 2.482 * [backup-simplify]: Simplify (- 0) into 0 2.483 * [backup-simplify]: Simplify (+ 0 0) into 0 2.484 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos re))) into (cos re) 2.484 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (* 0 (cos re))) into (* 0.5 (cos re)) 2.484 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 2.484 * [taylor]: Taking taylor expansion of 0.5 in re 2.484 * [backup-simplify]: Simplify 0.5 into 0.5 2.484 * [taylor]: Taking taylor expansion of (cos re) in re 2.484 * [taylor]: Taking taylor expansion of re in re 2.485 * [backup-simplify]: Simplify 0 into 0 2.485 * [backup-simplify]: Simplify 1 into 1 2.485 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 2.485 * [backup-simplify]: Simplify 0.5 into 0.5 2.485 * [backup-simplify]: Simplify (+ 0) into 0 2.486 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 2.486 * [backup-simplify]: Simplify 0 into 0 2.487 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.488 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 2.489 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.489 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 2.490 * [backup-simplify]: Simplify (- 0) into 0 2.490 * [backup-simplify]: Simplify (+ 0 0) into 0 2.492 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos re)))) into (* 1/2 (cos re)) 2.493 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (cos re)) (* 0 (cos re)))) into (* 0.25 (cos re)) 2.493 * [taylor]: Taking taylor expansion of (* 0.25 (cos re)) in re 2.493 * [taylor]: Taking taylor expansion of 0.25 in re 2.493 * [backup-simplify]: Simplify 0.25 into 0.25 2.493 * [taylor]: Taking taylor expansion of (cos re) in re 2.493 * [taylor]: Taking taylor expansion of re in re 2.493 * [backup-simplify]: Simplify 0 into 0 2.493 * [backup-simplify]: Simplify 1 into 1 2.493 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 2.494 * [backup-simplify]: Simplify 0.25 into 0.25 2.494 * [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)) 2.494 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 2.494 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 2.494 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 2.494 * [taylor]: Taking taylor expansion of 0.5 in re 2.494 * [backup-simplify]: Simplify 0.5 into 0.5 2.495 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 2.495 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 2.495 * [taylor]: Taking taylor expansion of (/ 1 re) in re 2.495 * [taylor]: Taking taylor expansion of re in re 2.495 * [backup-simplify]: Simplify 0 into 0 2.495 * [backup-simplify]: Simplify 1 into 1 2.495 * [backup-simplify]: Simplify (/ 1 1) into 1 2.495 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.495 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 2.495 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.495 * [taylor]: Taking taylor expansion of im in re 2.495 * [backup-simplify]: Simplify im into im 2.495 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 2.495 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.495 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 2.495 * [taylor]: Taking taylor expansion of 0.5 in im 2.495 * [backup-simplify]: Simplify 0.5 into 0.5 2.495 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 2.496 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 2.496 * [taylor]: Taking taylor expansion of (/ 1 re) in im 2.496 * [taylor]: Taking taylor expansion of re in im 2.496 * [backup-simplify]: Simplify re into re 2.496 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 2.496 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.496 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 2.496 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.496 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.496 * [taylor]: Taking taylor expansion of im in im 2.496 * [backup-simplify]: Simplify 0 into 0 2.496 * [backup-simplify]: Simplify 1 into 1 2.496 * [backup-simplify]: Simplify (/ 1 1) into 1 2.496 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.496 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im 2.497 * [taylor]: Taking taylor expansion of 0.5 in im 2.497 * [backup-simplify]: Simplify 0.5 into 0.5 2.497 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im 2.497 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 2.497 * [taylor]: Taking taylor expansion of (/ 1 re) in im 2.497 * [taylor]: Taking taylor expansion of re in im 2.497 * [backup-simplify]: Simplify re into re 2.497 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 2.497 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.497 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 2.497 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.497 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.497 * [taylor]: Taking taylor expansion of im in im 2.497 * [backup-simplify]: Simplify 0 into 0 2.497 * [backup-simplify]: Simplify 1 into 1 2.497 * [backup-simplify]: Simplify (/ 1 1) into 1 2.498 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.498 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 2.498 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 2.498 * [backup-simplify]: Simplify (- 0) into 0 2.498 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 2.498 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 2.499 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 2.499 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 2.499 * [taylor]: Taking taylor expansion of 0.5 in re 2.499 * [backup-simplify]: Simplify 0.5 into 0.5 2.499 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 2.499 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 2.499 * [taylor]: Taking taylor expansion of (/ 1 re) in re 2.499 * [taylor]: Taking taylor expansion of re in re 2.499 * [backup-simplify]: Simplify 0 into 0 2.499 * [backup-simplify]: Simplify 1 into 1 2.499 * [backup-simplify]: Simplify (/ 1 1) into 1 2.499 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 2.499 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 2.499 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.499 * [taylor]: Taking taylor expansion of im in re 2.499 * [backup-simplify]: Simplify im into im 2.499 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 2.499 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 2.500 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 2.500 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 2.500 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 2.500 * [backup-simplify]: Simplify (+ 0) into 0 2.501 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 2.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 2.502 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.502 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 2.503 * [backup-simplify]: Simplify (- 0) into 0 2.503 * [backup-simplify]: Simplify (+ 0 0) into 0 2.503 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 2.504 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 2.504 * [taylor]: Taking taylor expansion of 0 in re 2.504 * [backup-simplify]: Simplify 0 into 0 2.504 * [backup-simplify]: Simplify 0 into 0 2.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 2.505 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 2.505 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 2.506 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 2.506 * [backup-simplify]: Simplify 0 into 0 2.507 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.507 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 2.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 2.508 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.509 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 2.509 * [backup-simplify]: Simplify (- 0) into 0 2.510 * [backup-simplify]: Simplify (+ 0 0) into 0 2.510 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 2.511 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 2.511 * [taylor]: Taking taylor expansion of 0 in re 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 2.513 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.513 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 2.514 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 2.514 * [backup-simplify]: Simplify 0 into 0 2.515 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 2.516 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 2.517 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 2.518 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 2.518 * [backup-simplify]: Simplify (- 0) into 0 2.518 * [backup-simplify]: Simplify (+ 0 0) into 0 2.519 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 2.520 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 2.520 * [taylor]: Taking taylor expansion of 0 in re 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (exp im) (cos re))) 2.520 * [backup-simplify]: Simplify (* (exp (/ 1 (- im))) (* 0.5 (cos (/ 1 (- re))))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 2.520 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in (im re) around 0 2.520 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 2.520 * [taylor]: Taking taylor expansion of 0.5 in re 2.520 * [backup-simplify]: Simplify 0.5 into 0.5 2.520 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 2.520 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 2.520 * [taylor]: Taking taylor expansion of (/ -1 re) in re 2.520 * [taylor]: Taking taylor expansion of -1 in re 2.520 * [backup-simplify]: Simplify -1 into -1 2.520 * [taylor]: Taking taylor expansion of re in re 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 1 into 1 2.520 * [backup-simplify]: Simplify (/ -1 1) into -1 2.520 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.520 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 2.521 * [taylor]: Taking taylor expansion of (/ -1 im) in re 2.521 * [taylor]: Taking taylor expansion of -1 in re 2.521 * [backup-simplify]: Simplify -1 into -1 2.521 * [taylor]: Taking taylor expansion of im in re 2.521 * [backup-simplify]: Simplify im into im 2.521 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 2.521 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.521 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 2.521 * [taylor]: Taking taylor expansion of 0.5 in im 2.521 * [backup-simplify]: Simplify 0.5 into 0.5 2.521 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 2.521 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 2.521 * [taylor]: Taking taylor expansion of (/ -1 re) in im 2.521 * [taylor]: Taking taylor expansion of -1 in im 2.521 * [backup-simplify]: Simplify -1 into -1 2.521 * [taylor]: Taking taylor expansion of re in im 2.521 * [backup-simplify]: Simplify re into re 2.521 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 2.521 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.521 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 2.521 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 2.521 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.521 * [taylor]: Taking taylor expansion of -1 in im 2.521 * [backup-simplify]: Simplify -1 into -1 2.521 * [taylor]: Taking taylor expansion of im in im 2.521 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify 1 into 1 2.521 * [backup-simplify]: Simplify (/ -1 1) into -1 2.521 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.521 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in im 2.521 * [taylor]: Taking taylor expansion of 0.5 in im 2.521 * [backup-simplify]: Simplify 0.5 into 0.5 2.521 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in im 2.521 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 2.521 * [taylor]: Taking taylor expansion of (/ -1 re) in im 2.521 * [taylor]: Taking taylor expansion of -1 in im 2.521 * [backup-simplify]: Simplify -1 into -1 2.521 * [taylor]: Taking taylor expansion of re in im 2.522 * [backup-simplify]: Simplify re into re 2.522 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 2.522 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.522 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 2.522 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 2.522 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.522 * [taylor]: Taking taylor expansion of -1 in im 2.522 * [backup-simplify]: Simplify -1 into -1 2.522 * [taylor]: Taking taylor expansion of im in im 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify 1 into 1 2.522 * [backup-simplify]: Simplify (/ -1 1) into -1 2.522 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.522 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 2.522 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 2.522 * [backup-simplify]: Simplify (- 0) into 0 2.523 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 2.523 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 2.523 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 2.523 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 2.523 * [taylor]: Taking taylor expansion of 0.5 in re 2.523 * [backup-simplify]: Simplify 0.5 into 0.5 2.523 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 2.523 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 2.523 * [taylor]: Taking taylor expansion of (/ -1 re) in re 2.523 * [taylor]: Taking taylor expansion of -1 in re 2.523 * [backup-simplify]: Simplify -1 into -1 2.523 * [taylor]: Taking taylor expansion of re in re 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 1 into 1 2.523 * [backup-simplify]: Simplify (/ -1 1) into -1 2.523 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 2.523 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 2.523 * [taylor]: Taking taylor expansion of (/ -1 im) in re 2.523 * [taylor]: Taking taylor expansion of -1 in re 2.523 * [backup-simplify]: Simplify -1 into -1 2.523 * [taylor]: Taking taylor expansion of im in re 2.523 * [backup-simplify]: Simplify im into im 2.523 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 2.523 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 2.523 * [backup-simplify]: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 2.523 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 2.524 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 2.524 * [backup-simplify]: Simplify (+ 0) into 0 2.524 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 2.524 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 2.525 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 2.525 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 2.525 * [backup-simplify]: Simplify (- 0) into 0 2.525 * [backup-simplify]: Simplify (+ 0 0) into 0 2.526 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 2.526 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 2.526 * [taylor]: Taking taylor expansion of 0 in re 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 2.527 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 2.527 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 2.527 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 2.528 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 2.528 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 2.528 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 2.529 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 2.529 * [backup-simplify]: Simplify (- 0) into 0 2.529 * [backup-simplify]: Simplify (+ 0 0) into 0 2.530 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 2.530 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 2.530 * [taylor]: Taking taylor expansion of 0 in re 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 2.531 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.531 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 2.532 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 2.532 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 2.533 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.533 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 2.534 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 2.534 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 2.535 * [backup-simplify]: Simplify (- 0) into 0 2.535 * [backup-simplify]: Simplify (+ 0 0) into 0 2.535 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 2.536 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 2.536 * [taylor]: Taking taylor expansion of 0 in re 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (* (exp im) (cos re))) 2.536 * * * [progress]: simplifying candidates 2.537 * * * * [progress]: [ 1 / 51 ] simplifiying candidate # 2.537 * * * * [progress]: [ 2 / 51 ] simplifiying candidate # 2.537 * * * * [progress]: [ 3 / 51 ] simplifiying candidate # 2.537 * * * * [progress]: [ 4 / 51 ] simplifiying candidate # 2.537 * [simplify]: Simplifying (- (+ (log 0.5) (log (cos re))) im) 2.537 * * [simplify]: iters left: 6 (8 enodes) 2.539 * * [simplify]: iters left: 5 (29 enodes) 2.544 * * [simplify]: iters left: 4 (41 enodes) 2.551 * * [simplify]: iters left: 3 (50 enodes) 2.558 * * [simplify]: iters left: 2 (54 enodes) 2.566 * * [simplify]: iters left: 1 (58 enodes) 2.577 * * [simplify]: Extracting #0: cost 1 inf + 0 2.578 * * [simplify]: Extracting #1: cost 16 inf + 0 2.578 * * [simplify]: Extracting #2: cost 24 inf + 42 2.578 * * [simplify]: Extracting #3: cost 22 inf + 266 2.578 * * [simplify]: Extracting #4: cost 8 inf + 2137 2.579 * * [simplify]: Extracting #5: cost 0 inf + 3624 2.580 * [simplify]: Simplified to (- (log (cos re)) (- im (log 0.5))) 2.580 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (exp (- (log (cos re)) (- im (log 0.5)))))) 2.580 * * * * [progress]: [ 5 / 51 ] simplifiying candidate # 2.581 * [simplify]: Simplifying (- (log (* 0.5 (cos re))) im) 2.581 * * [simplify]: iters left: 6 (7 enodes) 2.584 * * [simplify]: iters left: 5 (27 enodes) 2.592 * * [simplify]: iters left: 4 (39 enodes) 2.602 * * [simplify]: iters left: 3 (49 enodes) 2.615 * * [simplify]: iters left: 2 (57 enodes) 2.628 * * [simplify]: iters left: 1 (63 enodes) 2.643 * * [simplify]: Extracting #0: cost 1 inf + 0 2.644 * * [simplify]: Extracting #1: cost 13 inf + 0 2.644 * * [simplify]: Extracting #2: cost 25 inf + 1 2.644 * * [simplify]: Extracting #3: cost 25 inf + 84 2.644 * * [simplify]: Extracting #4: cost 18 inf + 713 2.645 * * [simplify]: Extracting #5: cost 7 inf + 2051 2.646 * * [simplify]: Extracting #6: cost 0 inf + 3226 2.647 * [simplify]: Simplified to (- (log (* 0.5 (cos re))) im) 2.647 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (exp (- (log (* 0.5 (cos re))) im)))) 2.647 * * * * [progress]: [ 6 / 51 ] simplifiying candidate # 2.647 * * * * [progress]: [ 7 / 51 ] simplifiying candidate # 2.647 * * * * [progress]: [ 8 / 51 ] simplifiying candidate # 2.647 * [simplify]: Simplifying (/ (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (exp im) (exp im)) (exp im))) 2.647 * * [simplify]: iters left: 6 (13 enodes) 2.654 * * [simplify]: iters left: 5 (56 enodes) 2.667 * * [simplify]: iters left: 4 (170 enodes) 2.733 * * [simplify]: Extracting #0: cost 1 inf + 0 2.734 * * [simplify]: Extracting #1: cost 94 inf + 0 2.735 * * [simplify]: Extracting #2: cost 202 inf + 123 2.739 * * [simplify]: Extracting #3: cost 143 inf + 14620 2.757 * * [simplify]: Extracting #4: cost 16 inf + 48566 2.781 * * [simplify]: Extracting #5: cost 0 inf + 50869 2.793 * * [simplify]: Extracting #6: cost 0 inf + 49909 2.803 * * [simplify]: Extracting #7: cost 0 inf + 49829 2.813 * [simplify]: Simplified to (/ (* (cos re) (* (cos re) (cos re))) (* (/ (exp im) 0.5) (* (/ (exp im) 0.5) (/ (exp im) 0.5)))) 2.813 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (cbrt (/ (* (cos re) (* (cos re) (cos re))) (* (/ (exp im) 0.5) (* (/ (exp im) 0.5) (/ (exp im) 0.5))))))) 2.813 * * * * [progress]: [ 9 / 51 ] simplifiying candidate # 2.813 * [simplify]: Simplifying (/ (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im))) 2.813 * * [simplify]: iters left: 6 (11 enodes) 2.820 * * [simplify]: iters left: 5 (54 enodes) 2.844 * * [simplify]: iters left: 4 (180 enodes) 2.955 * * [simplify]: Extracting #0: cost 1 inf + 0 2.955 * * [simplify]: Extracting #1: cost 108 inf + 0 2.957 * * [simplify]: Extracting #2: cost 228 inf + 43 2.962 * * [simplify]: Extracting #3: cost 154 inf + 16487 2.975 * * [simplify]: Extracting #4: cost 15 inf + 53440 2.990 * * [simplify]: Extracting #5: cost 0 inf + 57512 3.003 * * [simplify]: Extracting #6: cost 0 inf + 57432 3.025 * [simplify]: Simplified to (* (/ (* 0.5 (cos re)) (exp im)) (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im)))) 3.025 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (cbrt (* (/ (* 0.5 (cos re)) (exp im)) (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))))))) 3.025 * * * * [progress]: [ 10 / 51 ] simplifiying candidate # 3.026 * * * * [progress]: [ 11 / 51 ] simplifiying candidate # 3.026 * * * * [progress]: [ 12 / 51 ] simplifiying candidate # 3.026 * * * * [progress]: [ 13 / 51 ] simplifiying candidate # 3.026 * * * * [progress]: [ 14 / 51 ] simplifiying candidate # 3.026 * [simplify]: Simplifying (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) 3.026 * * [simplify]: iters left: 6 (6 enodes) 3.030 * * [simplify]: iters left: 5 (20 enodes) 3.036 * * [simplify]: iters left: 4 (22 enodes) 3.042 * * [simplify]: Extracting #0: cost 1 inf + 0 3.043 * * [simplify]: Extracting #1: cost 6 inf + 0 3.043 * * [simplify]: Extracting #2: cost 9 inf + 1 3.043 * * [simplify]: Extracting #3: cost 11 inf + 1 3.043 * * [simplify]: Extracting #4: cost 10 inf + 2 3.043 * * [simplify]: Extracting #5: cost 1 inf + 1444 3.043 * * [simplify]: Extracting #6: cost 0 inf + 1676 3.044 * [simplify]: Simplified to (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) 3.044 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (* (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cos re) (cbrt (exp im)))))) 3.044 * [simplify]: Simplifying (/ (cos re) (cbrt (exp im))) 3.044 * * [simplify]: iters left: 4 (6 enodes) 3.047 * * [simplify]: iters left: 3 (18 enodes) 3.052 * * [simplify]: Extracting #0: cost 1 inf + 0 3.052 * * [simplify]: Extracting #1: cost 4 inf + 0 3.052 * * [simplify]: Extracting #2: cost 8 inf + 0 3.052 * * [simplify]: Extracting #3: cost 9 inf + 1 3.052 * * [simplify]: Extracting #4: cost 0 inf + 1072 3.052 * [simplify]: Simplified to (/ (cos re) (cbrt (exp im))) 3.052 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (* (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cos re) (cbrt (exp im)))))) 3.052 * * * * [progress]: [ 15 / 51 ] simplifiying candidate # 3.053 * [simplify]: Simplifying (/ 0.5 (sqrt (exp im))) 3.053 * * [simplify]: iters left: 4 (5 enodes) 3.056 * * [simplify]: iters left: 3 (15 enodes) 3.060 * * [simplify]: Extracting #0: cost 1 inf + 0 3.060 * * [simplify]: Extracting #1: cost 4 inf + 0 3.060 * * [simplify]: Extracting #2: cost 5 inf + 1 3.060 * * [simplify]: Extracting #3: cost 7 inf + 1 3.060 * * [simplify]: Extracting #4: cost 0 inf + 670 3.061 * [simplify]: Simplified to (/ 0.5 (sqrt (exp im))) 3.061 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (* (/ 0.5 (sqrt (exp im))) (/ (cos re) (sqrt (exp im)))))) 3.061 * [simplify]: Simplifying (/ (cos re) (sqrt (exp im))) 3.061 * * [simplify]: iters left: 4 (6 enodes) 3.062 * * [simplify]: iters left: 3 (18 enodes) 3.065 * * [simplify]: Extracting #0: cost 1 inf + 0 3.065 * * [simplify]: Extracting #1: cost 4 inf + 0 3.065 * * [simplify]: Extracting #2: cost 8 inf + 0 3.065 * * [simplify]: Extracting #3: cost 9 inf + 1 3.065 * * [simplify]: Extracting #4: cost 0 inf + 912 3.065 * [simplify]: Simplified to (/ (cos re) (sqrt (exp im))) 3.065 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (* (/ 0.5 (sqrt (exp im))) (/ (cos re) (sqrt (exp im)))))) 3.065 * * * * [progress]: [ 16 / 51 ] simplifiying candidate # 3.066 * [simplify]: Simplifying (/ 0.5 1) 3.066 * * [simplify]: iters left: 2 (3 enodes) 3.067 * * [simplify]: iters left: 1 (9 enodes) 3.069 * * [simplify]: Extracting #0: cost 1 inf + 0 3.069 * * [simplify]: Extracting #1: cost 0 inf + 1 3.069 * [simplify]: Simplified to 0.5 3.069 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im))))) 3.070 * [simplify]: Simplifying (/ (cos re) (exp im)) 3.070 * * [simplify]: iters left: 3 (5 enodes) 3.071 * * [simplify]: iters left: 2 (15 enodes) 3.073 * * [simplify]: Extracting #0: cost 1 inf + 0 3.073 * * [simplify]: Extracting #1: cost 4 inf + 0 3.073 * * [simplify]: Extracting #2: cost 8 inf + 0 3.073 * * [simplify]: Extracting #3: cost 4 inf + 144 3.073 * * [simplify]: Extracting #4: cost 0 inf + 610 3.073 * [simplify]: Simplified to (/ (cos re) (exp im)) 3.073 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im))))) 3.073 * * * * [progress]: [ 17 / 51 ] simplifiying candidate # 3.073 * * * * [progress]: [ 18 / 51 ] simplifiying candidate # 3.073 * * * * [progress]: [ 19 / 51 ] simplifiying candidate # 3.073 * * * * [progress]: [ 20 / 51 ] simplifiying candidate # 3.074 * [simplify]: Simplifying (cbrt (exp im)) 3.074 * * [simplify]: iters left: 2 (3 enodes) 3.074 * * [simplify]: iters left: 1 (9 enodes) 3.076 * * [simplify]: Extracting #0: cost 1 inf + 0 3.076 * * [simplify]: Extracting #1: cost 3 inf + 0 3.076 * * [simplify]: Extracting #2: cost 5 inf + 0 3.076 * * [simplify]: Extracting #3: cost 4 inf + 1 3.076 * * [simplify]: Extracting #4: cost 0 inf + 445 3.076 * [simplify]: Simplified to (cbrt (exp im)) 3.076 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (/ (/ (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))))) 3.076 * * * * [progress]: [ 21 / 51 ] simplifiying candidate # 3.076 * [simplify]: Simplifying (sqrt (exp im)) 3.076 * * [simplify]: iters left: 2 (3 enodes) 3.077 * * [simplify]: iters left: 1 (9 enodes) 3.078 * * [simplify]: Extracting #0: cost 1 inf + 0 3.078 * * [simplify]: Extracting #1: cost 3 inf + 0 3.078 * * [simplify]: Extracting #2: cost 5 inf + 0 3.078 * * [simplify]: Extracting #3: cost 4 inf + 1 3.078 * * [simplify]: Extracting #4: cost 0 inf + 365 3.078 * [simplify]: Simplified to (sqrt (exp im)) 3.078 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (/ (/ (* 0.5 (cos re)) (sqrt (exp im))) (sqrt (exp im))))) 3.078 * * * * [progress]: [ 22 / 51 ] simplifiying candidate # 3.079 * [simplify]: Simplifying (exp im) 3.079 * * [simplify]: iters left: 1 (2 enodes) 3.079 * * [simplify]: Extracting #0: cost 1 inf + 0 3.079 * * [simplify]: Extracting #1: cost 3 inf + 0 3.079 * * [simplify]: Extracting #2: cost 2 inf + 1 3.079 * * [simplify]: Extracting #3: cost 0 inf + 143 3.079 * [simplify]: Simplified to (exp im) 3.079 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (/ (/ (* 0.5 (cos re)) 1) (exp im)))) 3.079 * * * * [progress]: [ 23 / 51 ] simplifiying candidate # 3.079 * * * * [progress]: [ 24 / 51 ] simplifiying candidate #real (real->posit16 (/ (* 0.5 (cos re)) (exp im))))))> 3.079 * * * * [progress]: [ 25 / 51 ] simplifiying candidate # 3.079 * * * * [progress]: [ 26 / 51 ] simplifiying candidate # 3.079 * * * * [progress]: [ 27 / 51 ] simplifiying candidate # 3.080 * [simplify]: Simplifying (* (exp im) (* 0.5 (cos re))) 3.080 * * [simplify]: iters left: 5 (7 enodes) 3.082 * * [simplify]: iters left: 4 (25 enodes) 3.086 * * [simplify]: iters left: 3 (33 enodes) 3.093 * * [simplify]: iters left: 2 (39 enodes) 3.099 * * [simplify]: Extracting #0: cost 1 inf + 0 3.099 * * [simplify]: Extracting #1: cost 8 inf + 0 3.099 * * [simplify]: Extracting #2: cost 14 inf + 1 3.099 * * [simplify]: Extracting #3: cost 12 inf + 3 3.099 * * [simplify]: Extracting #4: cost 6 inf + 481 3.099 * * [simplify]: Extracting #5: cost 2 inf + 1080 3.100 * * [simplify]: Extracting #6: cost 0 inf + 1465 3.100 * [simplify]: Simplified to (* (* 0.5 (exp im)) (cos re)) 3.100 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (pow (* (* 0.5 (exp im)) (cos re)) 1) (/ (* 0.5 (cos re)) (exp im)))) 3.100 * * * * [progress]: [ 28 / 51 ] simplifiying candidate # 3.100 * [simplify]: Simplifying (* (exp im) (* 0.5 (cos re))) 3.100 * * [simplify]: iters left: 5 (7 enodes) 3.102 * * [simplify]: iters left: 4 (25 enodes) 3.106 * * [simplify]: iters left: 3 (33 enodes) 3.111 * * [simplify]: iters left: 2 (39 enodes) 3.121 * * [simplify]: Extracting #0: cost 1 inf + 0 3.121 * * [simplify]: Extracting #1: cost 8 inf + 0 3.121 * * [simplify]: Extracting #2: cost 14 inf + 1 3.121 * * [simplify]: Extracting #3: cost 12 inf + 3 3.121 * * [simplify]: Extracting #4: cost 6 inf + 481 3.121 * * [simplify]: Extracting #5: cost 2 inf + 1080 3.121 * * [simplify]: Extracting #6: cost 0 inf + 1465 3.122 * [simplify]: Simplified to (* (* 0.5 (exp im)) (cos re)) 3.122 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (pow (* (* 0.5 (exp im)) (cos re)) 1) (/ (* 0.5 (cos re)) (exp im)))) 3.122 * * * * [progress]: [ 29 / 51 ] simplifiying candidate # 3.122 * * * * [progress]: [ 30 / 51 ] simplifiying candidate # 3.122 * [simplify]: Simplifying (+ im (+ (log 0.5) (log (cos re)))) 3.122 * * [simplify]: iters left: 6 (8 enodes) 3.125 * * [simplify]: iters left: 5 (28 enodes) 3.129 * * [simplify]: iters left: 4 (36 enodes) 3.135 * * [simplify]: iters left: 3 (42 enodes) 3.140 * * [simplify]: Extracting #0: cost 1 inf + 0 3.140 * * [simplify]: Extracting #1: cost 8 inf + 0 3.140 * * [simplify]: Extracting #2: cost 14 inf + 1 3.140 * * [simplify]: Extracting #3: cost 15 inf + 2 3.140 * * [simplify]: Extracting #4: cost 11 inf + 257 3.141 * * [simplify]: Extracting #5: cost 5 inf + 1077 3.141 * * [simplify]: Extracting #6: cost 0 inf + 2147 3.141 * [simplify]: Simplified to (+ (log (cos re)) (+ im (log 0.5))) 3.141 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (exp (+ (log (cos re)) (+ im (log 0.5)))) (/ (* 0.5 (cos re)) (exp im)))) 3.141 * * * * [progress]: [ 31 / 51 ] simplifiying candidate # 3.142 * [simplify]: Simplifying (+ im (log (* 0.5 (cos re)))) 3.142 * * [simplify]: iters left: 6 (7 enodes) 3.144 * * [simplify]: iters left: 5 (26 enodes) 3.148 * * [simplify]: iters left: 4 (35 enodes) 3.158 * * [simplify]: iters left: 3 (44 enodes) 3.170 * * [simplify]: Extracting #0: cost 1 inf + 0 3.170 * * [simplify]: Extracting #1: cost 8 inf + 0 3.171 * * [simplify]: Extracting #2: cost 15 inf + 1 3.171 * * [simplify]: Extracting #3: cost 16 inf + 73 3.171 * * [simplify]: Extracting #4: cost 11 inf + 430 3.171 * * [simplify]: Extracting #5: cost 3 inf + 1473 3.172 * * [simplify]: Extracting #6: cost 0 inf + 2071 3.173 * [simplify]: Simplified to (+ (log (* (cos re) 0.5)) im) 3.173 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (exp (+ (log (* (cos re) 0.5)) im)) (/ (* 0.5 (cos re)) (exp im)))) 3.173 * * * * [progress]: [ 32 / 51 ] simplifiying candidate # 3.173 * * * * [progress]: [ 33 / 51 ] simplifiying candidate # 3.173 * * * * [progress]: [ 34 / 51 ] simplifiying candidate # 3.173 * [simplify]: Simplifying (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re)))) 3.173 * * [simplify]: iters left: 6 (13 enodes) 3.181 * * [simplify]: iters left: 5 (54 enodes) 3.204 * * [simplify]: iters left: 4 (134 enodes) 3.276 * * [simplify]: iters left: 3 (389 enodes) 3.484 * * [simplify]: Extracting #0: cost 1 inf + 0 3.484 * * [simplify]: Extracting #1: cost 79 inf + 0 3.486 * * [simplify]: Extracting #2: cost 248 inf + 123 3.492 * * [simplify]: Extracting #3: cost 180 inf + 18553 3.523 * * [simplify]: Extracting #4: cost 22 inf + 67836 3.552 * * [simplify]: Extracting #5: cost 0 inf + 72947 3.574 * * [simplify]: Extracting #6: cost 0 inf + 72787 3.588 * [simplify]: Simplified to (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re)))) 3.589 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (cbrt (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))))) (/ (* 0.5 (cos re)) (exp im)))) 3.589 * * * * [progress]: [ 35 / 51 ] simplifiying candidate # 3.589 * [simplify]: Simplifying (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re)))) 3.589 * * [simplify]: iters left: 6 (11 enodes) 3.593 * * [simplify]: iters left: 5 (52 enodes) 3.613 * * [simplify]: iters left: 4 (141 enodes) 3.671 * * [simplify]: iters left: 3 (450 enodes) 4.013 * * [simplify]: Extracting #0: cost 1 inf + 0 4.014 * * [simplify]: Extracting #1: cost 90 inf + 0 4.015 * * [simplify]: Extracting #2: cost 216 inf + 124 4.017 * * [simplify]: Extracting #3: cost 160 inf + 11537 4.041 * * [simplify]: Extracting #4: cost 22 inf + 53637 4.056 * * [simplify]: Extracting #5: cost 0 inf + 59847 4.071 * * [simplify]: Extracting #6: cost 0 inf + 59687 4.086 * [simplify]: Simplified to (* (* (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5))) (* (exp im) (* (cos re) 0.5))) 4.086 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (cbrt (* (* (* (exp im) (* (cos re) 0.5)) (* (exp im) (* (cos re) 0.5))) (* (exp im) (* (cos re) 0.5)))) (/ (* 0.5 (cos re)) (exp im)))) 4.086 * * * * [progress]: [ 36 / 51 ] simplifiying candidate # 4.086 * * * * [progress]: [ 37 / 51 ] simplifiying candidate # 4.086 * * * * [progress]: [ 38 / 51 ] simplifiying candidate # 4.086 * * * * [progress]: [ 39 / 51 ] simplifiying candidate # 4.086 * * * * [progress]: [ 40 / 51 ] simplifiying candidate # 4.087 * [simplify]: Simplifying (cos re) 4.087 * * [simplify]: iters left: 1 (2 enodes) 4.087 * * [simplify]: Extracting #0: cost 1 inf + 0 4.087 * * [simplify]: Extracting #1: cost 3 inf + 0 4.087 * * [simplify]: Extracting #2: cost 2 inf + 1 4.087 * * [simplify]: Extracting #3: cost 0 inf + 123 4.087 * [simplify]: Simplified to (cos re) 4.087 * [simplify]: Simplified (2 1 2) to (λ (re im) (+ (* (* (exp im) 0.5) (cos re)) (/ (* 0.5 (cos re)) (exp im)))) 4.087 * * * * [progress]: [ 41 / 51 ] simplifiying candidate # 4.088 * [simplify]: Simplifying (* (cbrt (exp im)) (cbrt (exp im))) 4.088 * * [simplify]: iters left: 4 (4 enodes) 4.088 * * [simplify]: iters left: 3 (12 enodes) 4.090 * * [simplify]: Extracting #0: cost 1 inf + 0 4.090 * * [simplify]: Extracting #1: cost 3 inf + 0 4.090 * * [simplify]: Extracting #2: cost 5 inf + 0 4.090 * * [simplify]: Extracting #3: cost 7 inf + 0 4.090 * * [simplify]: Extracting #4: cost 6 inf + 1 4.090 * * [simplify]: Extracting #5: cost 0 inf + 827 4.090 * [simplify]: Simplified to (* (cbrt (exp im)) (cbrt (exp im))) 4.091 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (* (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* 0.5 (cos re)))) (/ (* 0.5 (cos re)) (exp im)))) 4.091 * * * * [progress]: [ 42 / 51 ] simplifiying candidate # 4.091 * [simplify]: Simplifying (sqrt (exp im)) 4.091 * * [simplify]: iters left: 2 (3 enodes) 4.091 * * [simplify]: iters left: 1 (9 enodes) 4.093 * * [simplify]: Extracting #0: cost 1 inf + 0 4.093 * * [simplify]: Extracting #1: cost 3 inf + 0 4.093 * * [simplify]: Extracting #2: cost 5 inf + 0 4.093 * * [simplify]: Extracting #3: cost 4 inf + 1 4.093 * * [simplify]: Extracting #4: cost 0 inf + 365 4.093 * [simplify]: Simplified to (sqrt (exp im)) 4.093 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (cos re)))) (/ (* 0.5 (cos re)) (exp im)))) 4.093 * * * * [progress]: [ 43 / 51 ] simplifiying candidate # 4.093 * * * * [progress]: [ 44 / 51 ] simplifiying candidate #real (real->posit16 (* (exp im) (* 0.5 (cos re))))) (/ (* 0.5 (cos re)) (exp im))))> 4.093 * * * * [progress]: [ 45 / 51 ] simplifiying candidate # 4.093 * * * * [progress]: [ 46 / 51 ] simplifiying candidate # 4.093 * [simplify]: Simplifying (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) 4.093 * * [simplify]: iters left: 6 (10 enodes) 4.097 * * [simplify]: iters left: 5 (43 enodes) 4.104 * * [simplify]: iters left: 4 (67 enodes) 4.117 * * [simplify]: iters left: 3 (110 enodes) 4.138 * * [simplify]: iters left: 2 (186 enodes) 4.166 * * [simplify]: iters left: 1 (235 enodes) 4.216 * * [simplify]: Extracting #0: cost 1 inf + 0 4.216 * * [simplify]: Extracting #1: cost 27 inf + 0 4.217 * * [simplify]: Extracting #2: cost 45 inf + 250 4.218 * * [simplify]: Extracting #3: cost 20 inf + 2318 4.219 * * [simplify]: Extracting #4: cost 0 inf + 4347 4.221 * * [simplify]: Extracting #5: cost 0 inf + 4277 4.223 * [simplify]: Simplified to (- 0.5 (fma (* re re) 0.25 (* 0.5 im))) 4.223 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (- 0.5 (fma (* re re) 0.25 (* 0.5 im))))) 4.223 * * * * [progress]: [ 47 / 51 ] simplifiying candidate # 4.223 * [simplify]: Simplifying (* 0.5 (/ (cos re) (exp im))) 4.223 * * [simplify]: iters left: 5 (7 enodes) 4.225 * * [simplify]: iters left: 4 (24 enodes) 4.229 * * [simplify]: iters left: 3 (30 enodes) 4.233 * * [simplify]: iters left: 2 (34 enodes) 4.238 * * [simplify]: iters left: 1 (38 enodes) 4.243 * * [simplify]: Extracting #0: cost 1 inf + 0 4.243 * * [simplify]: Extracting #1: cost 10 inf + 0 4.243 * * [simplify]: Extracting #2: cost 18 inf + 1 4.243 * * [simplify]: Extracting #3: cost 16 inf + 3 4.243 * * [simplify]: Extracting #4: cost 4 inf + 1364 4.244 * * [simplify]: Extracting #5: cost 0 inf + 2033 4.244 * [simplify]: Simplified to (/ (cos re) (/ (exp im) 0.5)) 4.244 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (/ (cos re) (/ (exp im) 0.5)))) 4.244 * * * * [progress]: [ 48 / 51 ] simplifiying candidate # 4.244 * [simplify]: Simplifying (* 0.5 (/ (cos re) (exp im))) 4.244 * * [simplify]: iters left: 5 (7 enodes) 4.247 * * [simplify]: iters left: 4 (24 enodes) 4.255 * * [simplify]: iters left: 3 (30 enodes) 4.266 * * [simplify]: iters left: 2 (34 enodes) 4.274 * * [simplify]: iters left: 1 (38 enodes) 4.280 * * [simplify]: Extracting #0: cost 1 inf + 0 4.280 * * [simplify]: Extracting #1: cost 10 inf + 0 4.280 * * [simplify]: Extracting #2: cost 18 inf + 1 4.280 * * [simplify]: Extracting #3: cost 16 inf + 3 4.280 * * [simplify]: Extracting #4: cost 4 inf + 1364 4.280 * * [simplify]: Extracting #5: cost 0 inf + 2033 4.281 * [simplify]: Simplified to (/ (cos re) (/ (exp im) 0.5)) 4.281 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (cos re))) (/ (cos re) (/ (exp im) 0.5)))) 4.281 * * * * [progress]: [ 49 / 51 ] simplifiying candidate # 4.281 * [simplify]: Simplifying (+ (* 0.25 (pow im 2)) (+ (* 0.5 im) 0.5)) 4.281 * * [simplify]: iters left: 6 (9 enodes) 4.285 * * [simplify]: iters left: 5 (40 enodes) 4.292 * * [simplify]: iters left: 4 (62 enodes) 4.303 * * [simplify]: iters left: 3 (99 enodes) 4.328 * * [simplify]: iters left: 2 (126 enodes) 4.364 * * [simplify]: iters left: 1 (140 enodes) 4.381 * * [simplify]: Extracting #0: cost 1 inf + 0 4.381 * * [simplify]: Extracting #1: cost 14 inf + 0 4.382 * * [simplify]: Extracting #2: cost 20 inf + 101 4.382 * * [simplify]: Extracting #3: cost 5 inf + 1030 4.382 * * [simplify]: Extracting #4: cost 0 inf + 1351 4.383 * [simplify]: Simplified to (fma im (fma 0.25 im 0.5) 0.5) 4.383 * [simplify]: Simplified (2 1) to (λ (re im) (+ (fma im (fma 0.25 im 0.5) 0.5) (/ (* 0.5 (cos re)) (exp im)))) 4.383 * * * * [progress]: [ 50 / 51 ] simplifiying candidate # 4.383 * [simplify]: Simplifying (* 0.5 (* (exp im) (cos re))) 4.383 * * [simplify]: iters left: 5 (7 enodes) 4.386 * * [simplify]: iters left: 4 (25 enodes) 4.390 * * [simplify]: iters left: 3 (33 enodes) 4.396 * * [simplify]: iters left: 2 (39 enodes) 4.401 * * [simplify]: Extracting #0: cost 1 inf + 0 4.401 * * [simplify]: Extracting #1: cost 8 inf + 0 4.401 * * [simplify]: Extracting #2: cost 14 inf + 1 4.401 * * [simplify]: Extracting #3: cost 12 inf + 3 4.401 * * [simplify]: Extracting #4: cost 5 inf + 653 4.402 * * [simplify]: Extracting #5: cost 1 inf + 1252 4.402 * * [simplify]: Extracting #6: cost 0 inf + 1465 4.403 * [simplify]: Simplified to (* (* 0.5 (exp im)) (cos re)) 4.403 * [simplify]: Simplified (2 1) to (λ (re im) (+ (* (* 0.5 (exp im)) (cos re)) (/ (* 0.5 (cos re)) (exp im)))) 4.403 * * * * [progress]: [ 51 / 51 ] simplifiying candidate # 4.403 * [simplify]: Simplifying (* 0.5 (* (exp im) (cos re))) 4.403 * * [simplify]: iters left: 5 (7 enodes) 4.406 * * [simplify]: iters left: 4 (25 enodes) 4.413 * * [simplify]: iters left: 3 (33 enodes) 4.422 * * [simplify]: iters left: 2 (39 enodes) 4.431 * * [simplify]: Extracting #0: cost 1 inf + 0 4.431 * * [simplify]: Extracting #1: cost 8 inf + 0 4.432 * * [simplify]: Extracting #2: cost 14 inf + 1 4.432 * * [simplify]: Extracting #3: cost 12 inf + 3 4.432 * * [simplify]: Extracting #4: cost 5 inf + 653 4.432 * * [simplify]: Extracting #5: cost 1 inf + 1252 4.433 * * [simplify]: Extracting #6: cost 0 inf + 1465 4.433 * [simplify]: Simplified to (* (* 0.5 (exp im)) (cos re)) 4.433 * [simplify]: Simplified (2 1) to (λ (re im) (+ (* (* 0.5 (exp im)) (cos re)) (/ (* 0.5 (cos re)) (exp im)))) 4.433 * * * [progress]: adding candidates to table 4.889 * [progress]: [Phase 3 of 3] Extracting. 4.894 * [simplify]: Simplifying (+ (* (exp im) (* 0.5 (cos re))) (/ (* 0.5 (cos re)) (exp im))) 4.894 * * [simplify]: iters left: 6 (9 enodes) 4.895 * * [simplify]: iters left: 5 (12 enodes) 4.896 * * [simplify]: Extracting #0: cost 1 inf + 0 4.896 * * [simplify]: Extracting #1: cost 3 inf + 0 4.896 * * [simplify]: Extracting #2: cost 5 inf + 0 4.896 * * [simplify]: Extracting #3: cost 8 inf + 0 4.896 * * [simplify]: Extracting #4: cost 7 inf + 2 4.896 * * [simplify]: Extracting #5: cost 0 inf + 956 4.897 * [simplify]: Simplified to (+ (/ (* (cos re) 0.5) (exp im)) (* (* (cos re) 0.5) (exp im))) 13.923 * [regime-testing]: Baseline error score: 0.007625953244155519 13.925 * [regime-testing]: Oracle error score: 0.007625953244155519 13.926 * [regime-testing]: End program error score: 0.007625953244155519