0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.182 * * * [progress]: [2/2] Setting up program. 0.189 * [progress]: [Phase 2 of 3] Improving. 0.189 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.189 * [simplify]: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.189 * * [simplify]: iters left: 6 (10 enodes) 0.236 * * [simplify]: iters left: 5 (43 enodes) 0.257 * * [simplify]: iters left: 4 (91 enodes) 0.291 * * [simplify]: iters left: 3 (156 enodes) 0.315 * * [simplify]: iters left: 2 (201 enodes) 0.822 * * [simplify]: iters left: 1 (246 enodes) 0.895 * * [simplify]: Extracting #0: cost 1 inf + 0 0.895 * * [simplify]: Extracting #1: cost 17 inf + 0 0.896 * * [simplify]: Extracting #2: cost 44 inf + 2 0.896 * * [simplify]: Extracting #3: cost 43 inf + 129 0.898 * * [simplify]: Extracting #4: cost 25 inf + 2386 0.901 * * [simplify]: Extracting #5: cost 4 inf + 6641 0.906 * * [simplify]: Extracting #6: cost 0 inf + 6871 0.910 * [simplify]: Simplified to (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))) 0.910 * [simplify]: Simplified (2) to (λ (re im) (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im)))) 0.923 * * [progress]: iteration 1 / 4 0.923 * * * [progress]: picking best candidate 0.928 * * * * [pick]: Picked # 0.928 * * * [progress]: localizing error 0.946 * * * [progress]: generating rewritten candidates 0.946 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.012 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.037 * * * [progress]: generating series expansions 1.037 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.037 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) into (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) 1.037 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in (re im) around 0 1.037 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in im 1.037 * [taylor]: Taking taylor expansion of 0.5 in im 1.037 * [backup-simplify]: Simplify 0.5 into 0.5 1.037 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in im 1.037 * [taylor]: Taking taylor expansion of (cos re) in im 1.037 * [taylor]: Taking taylor expansion of re in im 1.037 * [backup-simplify]: Simplify re into re 1.037 * [backup-simplify]: Simplify (cos re) into (cos re) 1.037 * [backup-simplify]: Simplify (sin re) into (sin re) 1.038 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 1.038 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.038 * [taylor]: Taking taylor expansion of (- im) in im 1.038 * [taylor]: Taking taylor expansion of im in im 1.038 * [backup-simplify]: Simplify 0 into 0 1.038 * [backup-simplify]: Simplify 1 into 1 1.038 * [backup-simplify]: Simplify (- 0) into 0 1.039 * [backup-simplify]: Simplify (- 1) into -1 1.039 * [backup-simplify]: Simplify (exp 0) into 1 1.039 * [taylor]: Taking taylor expansion of (exp im) in im 1.039 * [taylor]: Taking taylor expansion of im in im 1.039 * [backup-simplify]: Simplify 0 into 0 1.039 * [backup-simplify]: Simplify 1 into 1 1.039 * [backup-simplify]: Simplify (exp 0) into 1 1.039 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re 1.039 * [taylor]: Taking taylor expansion of 0.5 in re 1.039 * [backup-simplify]: Simplify 0.5 into 0.5 1.039 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re 1.039 * [taylor]: Taking taylor expansion of (cos re) in re 1.039 * [taylor]: Taking taylor expansion of re in re 1.039 * [backup-simplify]: Simplify 0 into 0 1.039 * [backup-simplify]: Simplify 1 into 1 1.039 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 1.039 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.039 * [taylor]: Taking taylor expansion of (- im) in re 1.039 * [taylor]: Taking taylor expansion of im in re 1.039 * [backup-simplify]: Simplify im into im 1.039 * [backup-simplify]: Simplify (- im) into (- im) 1.039 * [backup-simplify]: Simplify (- im) into (- im) 1.039 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 1.040 * [taylor]: Taking taylor expansion of (exp im) in re 1.040 * [taylor]: Taking taylor expansion of im in re 1.040 * [backup-simplify]: Simplify im into im 1.040 * [backup-simplify]: Simplify (exp im) into (exp im) 1.040 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) in re 1.040 * [taylor]: Taking taylor expansion of 0.5 in re 1.040 * [backup-simplify]: Simplify 0.5 into 0.5 1.040 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp (- im)) (exp im))) in re 1.040 * [taylor]: Taking taylor expansion of (cos re) in re 1.040 * [taylor]: Taking taylor expansion of re in re 1.040 * [backup-simplify]: Simplify 0 into 0 1.040 * [backup-simplify]: Simplify 1 into 1 1.040 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 1.040 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.040 * [taylor]: Taking taylor expansion of (- im) in re 1.040 * [taylor]: Taking taylor expansion of im in re 1.040 * [backup-simplify]: Simplify im into im 1.040 * [backup-simplify]: Simplify (- im) into (- im) 1.040 * [backup-simplify]: Simplify (- im) into (- im) 1.040 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 1.040 * [taylor]: Taking taylor expansion of (exp im) in re 1.040 * [taylor]: Taking taylor expansion of im in re 1.040 * [backup-simplify]: Simplify im into im 1.040 * [backup-simplify]: Simplify (exp im) into (exp im) 1.040 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im)) 1.041 * [backup-simplify]: Simplify (* 1 (+ (exp (- im)) (exp im))) into (+ (exp (- im)) (exp im)) 1.041 * [backup-simplify]: Simplify (* 0.5 (+ (exp (- im)) (exp im))) into (* 0.5 (+ (exp (- im)) (exp im))) 1.041 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- im)) (exp im))) in im 1.041 * [taylor]: Taking taylor expansion of 0.5 in im 1.041 * [backup-simplify]: Simplify 0.5 into 0.5 1.041 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 1.041 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.041 * [taylor]: Taking taylor expansion of (- im) in im 1.041 * [taylor]: Taking taylor expansion of im in im 1.041 * [backup-simplify]: Simplify 0 into 0 1.041 * [backup-simplify]: Simplify 1 into 1 1.041 * [backup-simplify]: Simplify (- 0) into 0 1.042 * [backup-simplify]: Simplify (- 1) into -1 1.042 * [backup-simplify]: Simplify (exp 0) into 1 1.042 * [taylor]: Taking taylor expansion of (exp im) in im 1.042 * [taylor]: Taking taylor expansion of im in im 1.042 * [backup-simplify]: Simplify 0 into 0 1.042 * [backup-simplify]: Simplify 1 into 1 1.042 * [backup-simplify]: Simplify (exp 0) into 1 1.042 * [backup-simplify]: Simplify (+ 1 1) into 2 1.043 * [backup-simplify]: Simplify (* 0.5 2) into 1.0 1.043 * [backup-simplify]: Simplify 1.0 into 1.0 1.043 * [backup-simplify]: Simplify (- im) into (- im) 1.043 * [backup-simplify]: Simplify (- 0) into 0 1.044 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 1.045 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 1.045 * [backup-simplify]: Simplify (+ 0 0) into 0 1.046 * [backup-simplify]: Simplify (+ 0) into 0 1.047 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im)))) into 0 1.047 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp (- im)) (exp im)))) into 0 1.047 * [taylor]: Taking taylor expansion of 0 in im 1.047 * [backup-simplify]: Simplify 0 into 0 1.047 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify (- 1) into -1 1.049 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.050 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.050 * [backup-simplify]: Simplify (+ -1 1) into 0 1.051 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify (- im) into (- im) 1.052 * [backup-simplify]: Simplify (- 0) into 0 1.052 * [backup-simplify]: Simplify (- 0) into 0 1.054 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.055 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.056 * [backup-simplify]: Simplify (+ 0 0) into 0 1.058 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp (- im)) (exp im))))) into (- (+ (* 1/2 (exp (- im))) (* 1/2 (exp im)))) 1.060 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/2 (exp (- im))) (* 1/2 (exp im))))) (+ (* 0 0) (* 0 (+ (exp (- im)) (exp im))))) into (- (+ (* 0.25 (exp (- im))) (* 0.25 (exp im)))) 1.060 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp (- im))) (* 0.25 (exp im)))) in im 1.060 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp (- im))) (* 0.25 (exp im))) in im 1.060 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 1.060 * [taylor]: Taking taylor expansion of 0.25 in im 1.060 * [backup-simplify]: Simplify 0.25 into 0.25 1.060 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.060 * [taylor]: Taking taylor expansion of (- im) in im 1.060 * [taylor]: Taking taylor expansion of im in im 1.060 * [backup-simplify]: Simplify 0 into 0 1.060 * [backup-simplify]: Simplify 1 into 1 1.061 * [backup-simplify]: Simplify (- 0) into 0 1.061 * [backup-simplify]: Simplify (- 1) into -1 1.061 * [backup-simplify]: Simplify (exp 0) into 1 1.061 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 1.061 * [taylor]: Taking taylor expansion of 0.25 in im 1.061 * [backup-simplify]: Simplify 0.25 into 0.25 1.061 * [taylor]: Taking taylor expansion of (exp im) in im 1.061 * [taylor]: Taking taylor expansion of im in im 1.061 * [backup-simplify]: Simplify 0 into 0 1.061 * [backup-simplify]: Simplify 1 into 1 1.061 * [backup-simplify]: Simplify (exp 0) into 1 1.062 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 1.062 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 1.063 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5 1.063 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 1.063 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 1.063 * [backup-simplify]: Simplify 0 into 0 1.064 * [backup-simplify]: Simplify (- 1) into -1 1.064 * [backup-simplify]: Simplify (- 0) into 0 1.066 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.068 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.068 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 1.070 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5 1.070 * [backup-simplify]: Simplify 0.5 into 0.5 1.071 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* im 1) 2)) (+ (* (- 0.5) (pow (* 1 re) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 1.071 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 re))) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) 1.071 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in (re im) around 0 1.071 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 1.071 * [taylor]: Taking taylor expansion of 0.5 in im 1.071 * [backup-simplify]: Simplify 0.5 into 0.5 1.071 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im 1.071 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.072 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.072 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.072 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.072 * [taylor]: Taking taylor expansion of im in im 1.072 * [backup-simplify]: Simplify 0 into 0 1.072 * [backup-simplify]: Simplify 1 into 1 1.072 * [backup-simplify]: Simplify (/ 1 1) into 1 1.072 * [backup-simplify]: Simplify (- 1) into -1 1.073 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1.073 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.073 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.073 * [taylor]: Taking taylor expansion of im in im 1.073 * [backup-simplify]: Simplify 0 into 0 1.073 * [backup-simplify]: Simplify 1 into 1 1.073 * [backup-simplify]: Simplify (/ 1 1) into 1 1.073 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.073 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 1.073 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.073 * [taylor]: Taking taylor expansion of re in im 1.073 * [backup-simplify]: Simplify re into re 1.073 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1.073 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1.074 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1.074 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 1.074 * [taylor]: Taking taylor expansion of 0.5 in re 1.074 * [backup-simplify]: Simplify 0.5 into 0.5 1.074 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 1.074 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.074 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.074 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.074 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.074 * [taylor]: Taking taylor expansion of im in re 1.074 * [backup-simplify]: Simplify im into im 1.074 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.074 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1.074 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1.074 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1.074 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.074 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.074 * [taylor]: Taking taylor expansion of im in re 1.074 * [backup-simplify]: Simplify im into im 1.075 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.075 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.075 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 1.075 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.075 * [taylor]: Taking taylor expansion of re in re 1.075 * [backup-simplify]: Simplify 0 into 0 1.075 * [backup-simplify]: Simplify 1 into 1 1.075 * [backup-simplify]: Simplify (/ 1 1) into 1 1.076 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1.076 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 1.076 * [taylor]: Taking taylor expansion of 0.5 in re 1.076 * [backup-simplify]: Simplify 0.5 into 0.5 1.076 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 1.076 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.076 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.076 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.076 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.076 * [taylor]: Taking taylor expansion of im in re 1.076 * [backup-simplify]: Simplify im into im 1.076 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.076 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1.076 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1.076 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1.076 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.076 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.076 * [taylor]: Taking taylor expansion of im in re 1.076 * [backup-simplify]: Simplify im into im 1.076 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.076 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.077 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 1.077 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.077 * [taylor]: Taking taylor expansion of re in re 1.077 * [backup-simplify]: Simplify 0 into 0 1.077 * [backup-simplify]: Simplify 1 into 1 1.077 * [backup-simplify]: Simplify (/ 1 1) into 1 1.077 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1.077 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1.078 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) 1.078 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) 1.078 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 1.078 * [taylor]: Taking taylor expansion of 0.5 in im 1.078 * [backup-simplify]: Simplify 0.5 into 0.5 1.078 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im 1.078 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.078 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.078 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.078 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.078 * [taylor]: Taking taylor expansion of im in im 1.078 * [backup-simplify]: Simplify 0 into 0 1.078 * [backup-simplify]: Simplify 1 into 1 1.079 * [backup-simplify]: Simplify (/ 1 1) into 1 1.079 * [backup-simplify]: Simplify (- 1) into -1 1.079 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1.079 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.079 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.079 * [taylor]: Taking taylor expansion of im in im 1.079 * [backup-simplify]: Simplify 0 into 0 1.079 * [backup-simplify]: Simplify 1 into 1 1.080 * [backup-simplify]: Simplify (/ 1 1) into 1 1.080 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.080 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 1.080 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.080 * [taylor]: Taking taylor expansion of re in im 1.080 * [backup-simplify]: Simplify re into re 1.080 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1.080 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1.080 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1.080 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1.081 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1.081 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 1.081 * [backup-simplify]: Simplify (- 0) into 0 1.081 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1.082 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) 1.082 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) 1.082 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) 1.082 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1.082 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1.083 * [backup-simplify]: Simplify (- 0) into 0 1.083 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 1.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1.084 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1.085 * [backup-simplify]: Simplify (+ 0 0) into 0 1.085 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0 1.086 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0 1.086 * [taylor]: Taking taylor expansion of 0 in im 1.086 * [backup-simplify]: Simplify 0 into 0 1.086 * [backup-simplify]: Simplify 0 into 0 1.086 * [backup-simplify]: Simplify (+ 0) into 0 1.087 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 1.087 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1.088 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.088 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 1.089 * [backup-simplify]: Simplify (- 0) into 0 1.089 * [backup-simplify]: Simplify (+ 0 0) into 0 1.089 * [backup-simplify]: Simplify (+ 0 0) into 0 1.090 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (cos (/ 1 re)))) into 0 1.090 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))) into 0 1.090 * [backup-simplify]: Simplify 0 into 0 1.090 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1.091 * [backup-simplify]: Simplify (- 0) into 0 1.091 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.091 * [backup-simplify]: Simplify (- 0) into 0 1.093 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.093 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.094 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.095 * [backup-simplify]: Simplify (+ 0 0) into 0 1.095 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 1.097 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0 1.097 * [taylor]: Taking taylor expansion of 0 in im 1.097 * [backup-simplify]: Simplify 0 into 0 1.097 * [backup-simplify]: Simplify 0 into 0 1.097 * [backup-simplify]: Simplify 0 into 0 1.101 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.102 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1.103 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.104 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1.104 * [backup-simplify]: Simplify (- 0) into 0 1.104 * [backup-simplify]: Simplify (+ 0 0) into 0 1.105 * [backup-simplify]: Simplify (+ 0 0) into 0 1.105 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 1.106 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))))) into 0 1.107 * [backup-simplify]: Simplify 0 into 0 1.107 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1.107 * [backup-simplify]: Simplify (- 0) into 0 1.107 * [backup-simplify]: Simplify (- 0) into 0 1.108 * [backup-simplify]: Simplify (- 0) into 0 1.108 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.108 * [backup-simplify]: Simplify (- 0) into 0 1.110 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.112 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.112 * [backup-simplify]: Simplify (+ 0 0) into 0 1.113 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 1.115 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))))))) into 0 1.115 * [taylor]: Taking taylor expansion of 0 in im 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) (cos (/ 1 (/ 1 re))))) into (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) 1.115 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 (- re)))) (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 1.115 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (re im) around 0 1.115 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 1.115 * [taylor]: Taking taylor expansion of 0.5 in im 1.115 * [backup-simplify]: Simplify 0.5 into 0.5 1.115 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 1.116 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.116 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.116 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.116 * [taylor]: Taking taylor expansion of -1 in im 1.116 * [backup-simplify]: Simplify -1 into -1 1.116 * [taylor]: Taking taylor expansion of im in im 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 1 into 1 1.116 * [backup-simplify]: Simplify (/ -1 1) into -1 1.116 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1.116 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.116 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.116 * [taylor]: Taking taylor expansion of im in im 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 1 into 1 1.117 * [backup-simplify]: Simplify (/ 1 1) into 1 1.117 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.117 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 1.117 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.117 * [taylor]: Taking taylor expansion of -1 in im 1.117 * [backup-simplify]: Simplify -1 into -1 1.117 * [taylor]: Taking taylor expansion of re in im 1.117 * [backup-simplify]: Simplify re into re 1.117 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1.117 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1.117 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1.117 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 1.117 * [taylor]: Taking taylor expansion of 0.5 in re 1.117 * [backup-simplify]: Simplify 0.5 into 0.5 1.117 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 1.117 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.117 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.117 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.117 * [taylor]: Taking taylor expansion of -1 in re 1.117 * [backup-simplify]: Simplify -1 into -1 1.117 * [taylor]: Taking taylor expansion of im in re 1.117 * [backup-simplify]: Simplify im into im 1.117 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1.118 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1.118 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.118 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.118 * [taylor]: Taking taylor expansion of im in re 1.118 * [backup-simplify]: Simplify im into im 1.118 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.118 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.118 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 1.118 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.118 * [taylor]: Taking taylor expansion of -1 in re 1.118 * [backup-simplify]: Simplify -1 into -1 1.118 * [taylor]: Taking taylor expansion of re in re 1.118 * [backup-simplify]: Simplify 0 into 0 1.118 * [backup-simplify]: Simplify 1 into 1 1.118 * [backup-simplify]: Simplify (/ -1 1) into -1 1.119 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1.119 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 1.119 * [taylor]: Taking taylor expansion of 0.5 in re 1.119 * [backup-simplify]: Simplify 0.5 into 0.5 1.119 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 1.119 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.119 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.119 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.119 * [taylor]: Taking taylor expansion of -1 in re 1.119 * [backup-simplify]: Simplify -1 into -1 1.119 * [taylor]: Taking taylor expansion of im in re 1.119 * [backup-simplify]: Simplify im into im 1.119 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1.119 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1.119 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.119 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.119 * [taylor]: Taking taylor expansion of im in re 1.119 * [backup-simplify]: Simplify im into im 1.119 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.119 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.119 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 1.119 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.119 * [taylor]: Taking taylor expansion of -1 in re 1.119 * [backup-simplify]: Simplify -1 into -1 1.119 * [taylor]: Taking taylor expansion of re in re 1.119 * [backup-simplify]: Simplify 0 into 0 1.119 * [backup-simplify]: Simplify 1 into 1 1.120 * [backup-simplify]: Simplify (/ -1 1) into -1 1.120 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1.120 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im))) 1.120 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) 1.120 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) 1.120 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 1.120 * [taylor]: Taking taylor expansion of 0.5 in im 1.120 * [backup-simplify]: Simplify 0.5 into 0.5 1.120 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 1.120 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im 1.120 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.120 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.120 * [taylor]: Taking taylor expansion of im in im 1.120 * [backup-simplify]: Simplify 0 into 0 1.120 * [backup-simplify]: Simplify 1 into 1 1.120 * [backup-simplify]: Simplify (/ 1 1) into 1 1.121 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.121 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.121 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.121 * [taylor]: Taking taylor expansion of -1 in im 1.121 * [backup-simplify]: Simplify -1 into -1 1.121 * [taylor]: Taking taylor expansion of im in im 1.121 * [backup-simplify]: Simplify 0 into 0 1.121 * [backup-simplify]: Simplify 1 into 1 1.121 * [backup-simplify]: Simplify (/ -1 1) into -1 1.121 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1.121 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 1.121 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.121 * [taylor]: Taking taylor expansion of -1 in im 1.121 * [backup-simplify]: Simplify -1 into -1 1.121 * [taylor]: Taking taylor expansion of re in im 1.121 * [backup-simplify]: Simplify re into re 1.121 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1.121 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1.121 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1.121 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 1.121 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1.121 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 1.122 * [backup-simplify]: Simplify (- 0) into 0 1.122 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1.122 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) 1.122 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 1.122 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) 1.122 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1.123 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1.123 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1.123 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1.123 * [backup-simplify]: Simplify (+ 0 0) into 0 1.123 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 1.124 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0 1.124 * [taylor]: Taking taylor expansion of 0 in im 1.124 * [backup-simplify]: Simplify 0 into 0 1.124 * [backup-simplify]: Simplify 0 into 0 1.124 * [backup-simplify]: Simplify (+ 0) into 0 1.124 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 1.125 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1.125 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.125 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 1.125 * [backup-simplify]: Simplify (- 0) into 0 1.126 * [backup-simplify]: Simplify (+ 0 0) into 0 1.126 * [backup-simplify]: Simplify (+ 0 0) into 0 1.126 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 1.126 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))))) into 0 1.126 * [backup-simplify]: Simplify 0 into 0 1.127 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.127 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.127 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.128 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.128 * [backup-simplify]: Simplify (+ 0 0) into 0 1.129 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 1.129 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0 1.129 * [taylor]: Taking taylor expansion of 0 in im 1.129 * [backup-simplify]: Simplify 0 into 0 1.129 * [backup-simplify]: Simplify 0 into 0 1.129 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.130 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1.130 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1.131 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.131 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1.131 * [backup-simplify]: Simplify (- 0) into 0 1.132 * [backup-simplify]: Simplify (+ 0 0) into 0 1.132 * [backup-simplify]: Simplify (+ 0 0) into 0 1.132 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 1.133 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))))) into 0 1.133 * [backup-simplify]: Simplify 0 into 0 1.133 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.134 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.134 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1.135 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.135 * [backup-simplify]: Simplify (+ 0 0) into 0 1.136 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 1.136 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))))) into 0 1.136 * [taylor]: Taking taylor expansion of 0 in im 1.136 * [backup-simplify]: Simplify 0 into 0 1.136 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- im))))) (cos (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re))) 1.137 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.137 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im)) 1.137 * [approximate]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in (im) around 0 1.137 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 1.137 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.137 * [taylor]: Taking taylor expansion of (- im) in im 1.137 * [taylor]: Taking taylor expansion of im in im 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 1 into 1 1.137 * [backup-simplify]: Simplify (- 0) into 0 1.137 * [backup-simplify]: Simplify (- 1) into -1 1.137 * [backup-simplify]: Simplify (exp 0) into 1 1.137 * [taylor]: Taking taylor expansion of (exp im) in im 1.137 * [taylor]: Taking taylor expansion of im in im 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 1 into 1 1.137 * [backup-simplify]: Simplify (exp 0) into 1 1.137 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 1.137 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.137 * [taylor]: Taking taylor expansion of (- im) in im 1.137 * [taylor]: Taking taylor expansion of im in im 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 1 into 1 1.138 * [backup-simplify]: Simplify (- 0) into 0 1.138 * [backup-simplify]: Simplify (- 1) into -1 1.138 * [backup-simplify]: Simplify (exp 0) into 1 1.138 * [taylor]: Taking taylor expansion of (exp im) in im 1.138 * [taylor]: Taking taylor expansion of im in im 1.138 * [backup-simplify]: Simplify 0 into 0 1.138 * [backup-simplify]: Simplify 1 into 1 1.138 * [backup-simplify]: Simplify (exp 0) into 1 1.138 * [backup-simplify]: Simplify (+ 1 1) into 2 1.138 * [backup-simplify]: Simplify 2 into 2 1.139 * [backup-simplify]: Simplify (- 1) into -1 1.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.140 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.140 * [backup-simplify]: Simplify (+ -1 1) into 0 1.140 * [backup-simplify]: Simplify 0 into 0 1.140 * [backup-simplify]: Simplify (- 1) into -1 1.141 * [backup-simplify]: Simplify (- 0) into 0 1.141 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.142 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.143 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 1.143 * [backup-simplify]: Simplify 1 into 1 1.143 * [backup-simplify]: Simplify (- 1) into -1 1.143 * [backup-simplify]: Simplify (- 1) into -1 1.143 * [backup-simplify]: Simplify (- 0) into 0 1.144 * [backup-simplify]: Simplify (- 0) into 0 1.145 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.146 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.146 * [backup-simplify]: Simplify (+ -1/6 1/6) into 0 1.146 * [backup-simplify]: Simplify 0 into 0 1.147 * [backup-simplify]: Simplify (- 1) into -1 1.147 * [backup-simplify]: Simplify (- 1) into -1 1.147 * [backup-simplify]: Simplify (- 0) into 0 1.147 * [backup-simplify]: Simplify (- 1) into -1 1.148 * [backup-simplify]: Simplify (- 0) into 0 1.148 * [backup-simplify]: Simplify (- 0) into 0 1.148 * [backup-simplify]: Simplify (- 0) into 0 1.150 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.153 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.153 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 1.153 * [backup-simplify]: Simplify 1/12 into 1/12 1.154 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2)) 1.155 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1.155 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 1.155 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.155 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.155 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.155 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.155 * [taylor]: Taking taylor expansion of im in im 1.155 * [backup-simplify]: Simplify 0 into 0 1.155 * [backup-simplify]: Simplify 1 into 1 1.155 * [backup-simplify]: Simplify (/ 1 1) into 1 1.156 * [backup-simplify]: Simplify (- 1) into -1 1.156 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1.156 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.156 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.156 * [taylor]: Taking taylor expansion of im in im 1.156 * [backup-simplify]: Simplify 0 into 0 1.156 * [backup-simplify]: Simplify 1 into 1 1.156 * [backup-simplify]: Simplify (/ 1 1) into 1 1.156 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.156 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.156 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.156 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.156 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.156 * [taylor]: Taking taylor expansion of im in im 1.156 * [backup-simplify]: Simplify 0 into 0 1.156 * [backup-simplify]: Simplify 1 into 1 1.157 * [backup-simplify]: Simplify (/ 1 1) into 1 1.157 * [backup-simplify]: Simplify (- 1) into -1 1.157 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1.157 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.157 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.157 * [taylor]: Taking taylor expansion of im in im 1.157 * [backup-simplify]: Simplify 0 into 0 1.157 * [backup-simplify]: Simplify 1 into 1 1.158 * [backup-simplify]: Simplify (/ 1 1) into 1 1.158 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.158 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1.158 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1.158 * [backup-simplify]: Simplify (+ 0 0) into 0 1.159 * [backup-simplify]: Simplify 0 into 0 1.159 * [backup-simplify]: Simplify (+ 0 0) into 0 1.159 * [backup-simplify]: Simplify 0 into 0 1.159 * [backup-simplify]: Simplify (+ 0 0) into 0 1.159 * [backup-simplify]: Simplify 0 into 0 1.160 * [backup-simplify]: Simplify (+ 0 0) into 0 1.160 * [backup-simplify]: Simplify 0 into 0 1.160 * [backup-simplify]: Simplify (+ 0 0) into 0 1.160 * [backup-simplify]: Simplify 0 into 0 1.160 * [backup-simplify]: Simplify (+ 0 0) into 0 1.161 * [backup-simplify]: Simplify 0 into 0 1.161 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp (- im)) (exp im)) 1.161 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 1.161 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 1.161 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.161 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.161 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.161 * [taylor]: Taking taylor expansion of -1 in im 1.161 * [backup-simplify]: Simplify -1 into -1 1.161 * [taylor]: Taking taylor expansion of im in im 1.161 * [backup-simplify]: Simplify 0 into 0 1.161 * [backup-simplify]: Simplify 1 into 1 1.162 * [backup-simplify]: Simplify (/ -1 1) into -1 1.162 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1.162 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.162 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.162 * [taylor]: Taking taylor expansion of im in im 1.162 * [backup-simplify]: Simplify 0 into 0 1.162 * [backup-simplify]: Simplify 1 into 1 1.162 * [backup-simplify]: Simplify (/ 1 1) into 1 1.162 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.162 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.162 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.162 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.162 * [taylor]: Taking taylor expansion of -1 in im 1.162 * [backup-simplify]: Simplify -1 into -1 1.162 * [taylor]: Taking taylor expansion of im in im 1.162 * [backup-simplify]: Simplify 0 into 0 1.162 * [backup-simplify]: Simplify 1 into 1 1.163 * [backup-simplify]: Simplify (/ -1 1) into -1 1.163 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.163 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.163 * [taylor]: Taking taylor expansion of im in im 1.163 * [backup-simplify]: Simplify 0 into 0 1.163 * [backup-simplify]: Simplify 1 into 1 1.164 * [backup-simplify]: Simplify (/ 1 1) into 1 1.164 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1.164 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im))) 1.164 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 1.164 * [backup-simplify]: Simplify (+ 0 0) into 0 1.164 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify (+ 0 0) into 0 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify (+ 0 0) into 0 1.165 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify (+ 0 0) into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify (+ 0 0) into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify (+ 0 0) into 0 1.167 * [backup-simplify]: Simplify 0 into 0 1.167 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp im) (exp (* -1 im))) 1.167 * * * [progress]: simplifying candidates 1.167 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 1.167 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 1.167 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 1.167 * [simplify]: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 1.167 * * [simplify]: iters left: 6 (10 enodes) 1.172 * * [simplify]: iters left: 5 (43 enodes) 1.188 * * [simplify]: iters left: 4 (91 enodes) 1.219 * * [simplify]: iters left: 3 (156 enodes) 1.244 * * [simplify]: iters left: 2 (201 enodes) 1.291 * * [simplify]: iters left: 1 (246 enodes) 1.350 * * [simplify]: Extracting #0: cost 1 inf + 0 1.350 * * [simplify]: Extracting #1: cost 17 inf + 0 1.350 * * [simplify]: Extracting #2: cost 44 inf + 2 1.351 * * [simplify]: Extracting #3: cost 43 inf + 129 1.352 * * [simplify]: Extracting #4: cost 25 inf + 2386 1.356 * * [simplify]: Extracting #5: cost 4 inf + 6641 1.360 * * [simplify]: Extracting #6: cost 0 inf + 6871 1.365 * [simplify]: Simplified to (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))) 1.365 * [simplify]: Simplified (2 1) to (λ (re im) (pow (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))) 1)) 1.366 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 1.366 * [simplify]: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 1.366 * * [simplify]: iters left: 6 (10 enodes) 1.372 * * [simplify]: iters left: 5 (43 enodes) 1.388 * * [simplify]: iters left: 4 (91 enodes) 1.426 * * [simplify]: iters left: 3 (156 enodes) 1.465 * * [simplify]: iters left: 2 (201 enodes) 1.503 * * [simplify]: iters left: 1 (246 enodes) 1.572 * * [simplify]: Extracting #0: cost 1 inf + 0 1.574 * * [simplify]: Extracting #1: cost 17 inf + 0 1.575 * * [simplify]: Extracting #2: cost 44 inf + 2 1.575 * * [simplify]: Extracting #3: cost 43 inf + 129 1.577 * * [simplify]: Extracting #4: cost 25 inf + 2386 1.581 * * [simplify]: Extracting #5: cost 4 inf + 6641 1.586 * * [simplify]: Extracting #6: cost 0 inf + 6871 1.590 * [simplify]: Simplified to (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))) 1.590 * [simplify]: Simplified (2 1) to (λ (re im) (pow (fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im))) 1)) 1.590 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 1.590 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 1.591 * [simplify]: Simplifying (+ (+ (log 0.5) (log (cos re))) (log (+ (exp (- im)) (exp im)))) 1.591 * * [simplify]: iters left: 6 (13 enodes) 1.597 * * [simplify]: iters left: 5 (46 enodes) 1.604 * * [simplify]: iters left: 4 (58 enodes) 1.613 * * [simplify]: iters left: 3 (65 enodes) 1.622 * * [simplify]: Extracting #0: cost 1 inf + 0 1.622 * * [simplify]: Extracting #1: cost 8 inf + 0 1.622 * * [simplify]: Extracting #2: cost 17 inf + 0 1.622 * * [simplify]: Extracting #3: cost 21 inf + 1 1.622 * * [simplify]: Extracting #4: cost 23 inf + 134 1.622 * * [simplify]: Extracting #5: cost 15 inf + 864 1.623 * * [simplify]: Extracting #6: cost 3 inf + 3981 1.623 * * [simplify]: Extracting #7: cost 0 inf + 5358 1.624 * [simplify]: Simplified to (+ (+ (log (cos re)) (log (+ (exp (- im)) (exp im)))) (log 0.5)) 1.624 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (+ (log (cos re)) (log (+ (exp (- im)) (exp im)))) (log 0.5)))) 1.624 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 1.624 * [simplify]: Simplifying (+ (log (* 0.5 (cos re))) (log (+ (exp (- im)) (exp im)))) 1.624 * * [simplify]: iters left: 6 (12 enodes) 1.627 * * [simplify]: iters left: 5 (44 enodes) 1.634 * * [simplify]: iters left: 4 (57 enodes) 1.649 * * [simplify]: iters left: 3 (67 enodes) 1.667 * * [simplify]: Extracting #0: cost 1 inf + 0 1.667 * * [simplify]: Extracting #1: cost 8 inf + 0 1.667 * * [simplify]: Extracting #2: cost 18 inf + 0 1.667 * * [simplify]: Extracting #3: cost 23 inf + 1 1.667 * * [simplify]: Extracting #4: cost 26 inf + 73 1.667 * * [simplify]: Extracting #5: cost 18 inf + 775 1.668 * * [simplify]: Extracting #6: cost 10 inf + 1674 1.669 * * [simplify]: Extracting #7: cost 4 inf + 3453 1.670 * * [simplify]: Extracting #8: cost 0 inf + 5282 1.671 * [simplify]: Simplified to (+ (log (+ (exp (- im)) (exp im))) (log (* 0.5 (cos re)))) 1.671 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (+ (exp (- im)) (exp im))) (log (* 0.5 (cos re)))))) 1.671 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 1.672 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 1.672 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 1.672 * [simplify]: Simplifying (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im)))) 1.672 * * [simplify]: iters left: 6 (16 enodes) 1.682 * * [simplify]: iters left: 5 (76 enodes) 1.723 * * [simplify]: iters left: 4 (277 enodes) 1.881 * * [simplify]: Extracting #0: cost 1 inf + 0 1.881 * * [simplify]: Extracting #1: cost 54 inf + 0 1.882 * * [simplify]: Extracting #2: cost 306 inf + 42 1.884 * * [simplify]: Extracting #3: cost 415 inf + 3050 1.888 * * [simplify]: Extracting #4: cost 333 inf + 28021 1.913 * * [simplify]: Extracting #5: cost 65 inf + 128662 1.961 * * [simplify]: Extracting #6: cost 1 inf + 151551 2.006 * * [simplify]: Extracting #7: cost 0 inf + 149584 2.073 * * [simplify]: Extracting #8: cost 0 inf + 149570 2.127 * [simplify]: Simplified to (* (* (* (/ (* (fma (exp im) (exp im) 1) 1) (exp im)) (/ (* (fma (exp im) (exp im) 1) 1) (exp im))) (/ (* (fma (exp im) (exp im) 1) 1) (exp im))) (* (* (cos re) 0.5) (* (* (cos re) 0.5) (* (cos re) 0.5)))) 2.127 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (/ (* (fma (exp im) (exp im) 1) 1) (exp im)) (/ (* (fma (exp im) (exp im) 1) 1) (exp im))) (/ (* (fma (exp im) (exp im) 1) 1) (exp im))) (* (* (cos re) 0.5) (* (* (cos re) 0.5) (* (cos re) 0.5)))))) 2.128 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 2.128 * [simplify]: Simplifying (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im)))) 2.128 * * [simplify]: iters left: 6 (14 enodes) 2.134 * * [simplify]: iters left: 5 (74 enodes) 2.155 * * [simplify]: iters left: 4 (284 enodes) 2.386 * * [simplify]: Extracting #0: cost 1 inf + 0 2.387 * * [simplify]: Extracting #1: cost 68 inf + 0 2.389 * * [simplify]: Extracting #2: cost 359 inf + 42 2.393 * * [simplify]: Extracting #3: cost 443 inf + 3478 2.409 * * [simplify]: Extracting #4: cost 292 inf + 53924 2.456 * * [simplify]: Extracting #5: cost 55 inf + 145849 2.490 * * [simplify]: Extracting #6: cost 0 inf + 166805 2.532 * * [simplify]: Extracting #7: cost 0 inf + 166483 2.597 * [simplify]: Simplified to (* (* (+ (exp (- im)) (exp im)) (* 0.5 (cos re))) (* (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))) 2.597 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (+ (exp (- im)) (exp im)) (* 0.5 (cos re))) (* (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))))) 2.598 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 2.598 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 2.598 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 2.598 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 2.598 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 2.598 * [simplify]: Simplifying (* (* 0.5 (cos re)) (exp im)) 2.599 * * [simplify]: iters left: 5 (7 enodes) 2.603 * * [simplify]: iters left: 4 (25 enodes) 2.609 * * [simplify]: iters left: 3 (33 enodes) 2.614 * * [simplify]: iters left: 2 (39 enodes) 2.619 * * [simplify]: Extracting #0: cost 1 inf + 0 2.619 * * [simplify]: Extracting #1: cost 8 inf + 0 2.619 * * [simplify]: Extracting #2: cost 14 inf + 1 2.619 * * [simplify]: Extracting #3: cost 11 inf + 74 2.619 * * [simplify]: Extracting #4: cost 4 inf + 755 2.620 * * [simplify]: Extracting #5: cost 1 inf + 1252 2.620 * * [simplify]: Extracting #6: cost 0 inf + 1465 2.620 * [simplify]: Simplified to (* (* 0.5 (cos re)) (exp im)) 2.620 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (* 0.5 (cos re)) (exp (- im))) (* (* 0.5 (cos re)) (exp im)))) 2.620 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 2.620 * [simplify]: Simplifying (* (exp im) (* 0.5 (cos re))) 2.621 * * [simplify]: iters left: 5 (7 enodes) 2.622 * * [simplify]: iters left: 4 (25 enodes) 2.628 * * [simplify]: iters left: 3 (33 enodes) 2.633 * * [simplify]: iters left: 2 (39 enodes) 2.638 * * [simplify]: Extracting #0: cost 1 inf + 0 2.638 * * [simplify]: Extracting #1: cost 8 inf + 0 2.638 * * [simplify]: Extracting #2: cost 14 inf + 1 2.638 * * [simplify]: Extracting #3: cost 12 inf + 3 2.638 * * [simplify]: Extracting #4: cost 6 inf + 481 2.639 * * [simplify]: Extracting #5: cost 2 inf + 1080 2.639 * * [simplify]: Extracting #6: cost 0 inf + 1465 2.639 * [simplify]: Simplified to (* (* 0.5 (exp im)) (cos re)) 2.639 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp (- im)) (* 0.5 (cos re))) (* (* 0.5 (exp im)) (cos re)))) 2.639 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 2.639 * [simplify]: Simplifying (cbrt (+ (exp (- im)) (exp im))) 2.640 * * [simplify]: iters left: 6 (6 enodes) 2.642 * * [simplify]: iters left: 5 (21 enodes) 2.650 * * [simplify]: iters left: 4 (25 enodes) 2.658 * * [simplify]: iters left: 3 (27 enodes) 2.666 * * [simplify]: Extracting #0: cost 1 inf + 0 2.666 * * [simplify]: Extracting #1: cost 3 inf + 0 2.666 * * [simplify]: Extracting #2: cost 6 inf + 0 2.666 * * [simplify]: Extracting #3: cost 11 inf + 0 2.666 * * [simplify]: Extracting #4: cost 10 inf + 2 2.667 * * [simplify]: Extracting #5: cost 0 inf + 1492 2.667 * [simplify]: Simplified to (cbrt (+ (exp im) (exp (- im)))) 2.667 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (cos re)) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im))))) (cbrt (+ (exp im) (exp (- im)))))) 2.667 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 2.667 * [simplify]: Simplifying (sqrt (+ (exp (- im)) (exp im))) 2.668 * * [simplify]: iters left: 6 (6 enodes) 2.670 * * [simplify]: iters left: 5 (21 enodes) 2.677 * * [simplify]: iters left: 4 (25 enodes) 2.682 * * [simplify]: iters left: 3 (27 enodes) 2.686 * * [simplify]: Extracting #0: cost 1 inf + 0 2.686 * * [simplify]: Extracting #1: cost 3 inf + 0 2.686 * * [simplify]: Extracting #2: cost 6 inf + 0 2.686 * * [simplify]: Extracting #3: cost 11 inf + 0 2.686 * * [simplify]: Extracting #4: cost 10 inf + 2 2.686 * * [simplify]: Extracting #5: cost 0 inf + 1412 2.686 * [simplify]: Simplified to (sqrt (+ (exp im) (exp (- im)))) 2.686 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (cos re)) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp im) (exp (- im)))))) 2.686 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 2.687 * [simplify]: Simplifying (+ (exp (- im)) (exp im)) 2.687 * * [simplify]: iters left: 5 (5 enodes) 2.688 * * [simplify]: iters left: 4 (18 enodes) 2.691 * * [simplify]: iters left: 3 (22 enodes) 2.694 * * [simplify]: iters left: 2 (24 enodes) 2.698 * * [simplify]: Extracting #0: cost 1 inf + 0 2.698 * * [simplify]: Extracting #1: cost 4 inf + 0 2.698 * * [simplify]: Extracting #2: cost 9 inf + 0 2.698 * * [simplify]: Extracting #3: cost 8 inf + 2 2.698 * * [simplify]: Extracting #4: cost 0 inf + 890 2.698 * [simplify]: Simplified to (+ (exp im) (exp (- im))) 2.698 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (cos re)) 1) (+ (exp im) (exp (- im))))) 2.698 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 2.699 * [simplify]: Simplifying (+ (exp (- im)) (exp im)) 2.699 * * [simplify]: iters left: 5 (5 enodes) 2.700 * * [simplify]: iters left: 4 (18 enodes) 2.702 * * [simplify]: iters left: 3 (22 enodes) 2.708 * * [simplify]: iters left: 2 (24 enodes) 2.715 * * [simplify]: Extracting #0: cost 1 inf + 0 2.715 * * [simplify]: Extracting #1: cost 4 inf + 0 2.715 * * [simplify]: Extracting #2: cost 9 inf + 0 2.715 * * [simplify]: Extracting #3: cost 8 inf + 2 2.715 * * [simplify]: Extracting #4: cost 0 inf + 890 2.715 * [simplify]: Simplified to (+ (exp im) (exp (- im))) 2.715 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (cos re)) 1) (+ (exp im) (exp (- im))))) 2.715 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 2.716 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 2.716 * [simplify]: Simplifying (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) 2.716 * * [simplify]: iters left: 6 (9 enodes) 2.720 * * [simplify]: iters left: 5 (45 enodes) 2.738 * * [simplify]: iters left: 4 (88 enodes) 2.765 * * [simplify]: iters left: 3 (129 enodes) 2.785 * * [simplify]: iters left: 2 (173 enodes) 2.842 * * [simplify]: iters left: 1 (260 enodes) 2.903 * * [simplify]: Extracting #0: cost 1 inf + 0 2.903 * * [simplify]: Extracting #1: cost 26 inf + 0 2.904 * * [simplify]: Extracting #2: cost 67 inf + 2 2.904 * * [simplify]: Extracting #3: cost 69 inf + 227 2.905 * * [simplify]: Extracting #4: cost 31 inf + 5946 2.907 * * [simplify]: Extracting #5: cost 2 inf + 10064 2.910 * * [simplify]: Extracting #6: cost 0 inf + 10445 2.912 * [simplify]: Simplified to (+ (- (exp (+ im im)) (/ -1 (exp (+ im im)))) -1) 2.912 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (cos re)) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (+ (- (exp (+ im im)) (/ -1 (exp (+ im im)))) -1))) 2.913 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 2.913 * [simplify]: Simplifying (- (exp (- im)) (exp im)) 2.913 * * [simplify]: iters left: 5 (5 enodes) 2.914 * * [simplify]: iters left: 4 (19 enodes) 2.917 * * [simplify]: iters left: 3 (26 enodes) 2.921 * * [simplify]: iters left: 2 (28 enodes) 2.925 * * [simplify]: Extracting #0: cost 1 inf + 0 2.925 * * [simplify]: Extracting #1: cost 5 inf + 0 2.925 * * [simplify]: Extracting #2: cost 11 inf + 0 2.925 * * [simplify]: Extracting #3: cost 10 inf + 2 2.925 * * [simplify]: Extracting #4: cost 0 inf + 1112 2.925 * [simplify]: Simplified to (- (exp (- im)) (exp im)) 2.925 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (cos re)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (- (exp (- im)) (exp im)))) 2.925 * * * * [progress]: [ 25 / 50 ] simplifiying candidate #real (real->posit16 (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))))> 2.925 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 2.926 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 2.926 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 2.926 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 2.926 * [simplify]: Simplifying (* (cbrt (exp (- im))) (cbrt (exp (- im)))) 2.926 * * [simplify]: iters left: 6 (5 enodes) 2.927 * * [simplify]: iters left: 5 (18 enodes) 2.931 * * [simplify]: iters left: 4 (24 enodes) 2.935 * * [simplify]: iters left: 3 (26 enodes) 2.939 * * [simplify]: Extracting #0: cost 1 inf + 0 2.939 * * [simplify]: Extracting #1: cost 3 inf + 0 2.939 * * [simplify]: Extracting #2: cost 5 inf + 0 2.939 * * [simplify]: Extracting #3: cost 9 inf + 0 2.939 * * [simplify]: Extracting #4: cost 11 inf + 1 2.939 * * [simplify]: Extracting #5: cost 10 inf + 2 2.939 * * [simplify]: Extracting #6: cost 0 inf + 1292 2.940 * [simplify]: Simplified to (* (cbrt (exp (- im))) (cbrt (exp (- im)))) 2.940 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (exp im)))) 2.940 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 2.940 * [simplify]: Simplifying (sqrt (exp (- im))) 2.940 * * [simplify]: iters left: 4 (4 enodes) 2.942 * * [simplify]: iters left: 3 (15 enodes) 2.946 * * [simplify]: iters left: 2 (21 enodes) 2.952 * * [simplify]: iters left: 1 (23 enodes) 2.959 * * [simplify]: Extracting #0: cost 1 inf + 0 2.959 * * [simplify]: Extracting #1: cost 3 inf + 0 2.959 * * [simplify]: Extracting #2: cost 7 inf + 0 2.959 * * [simplify]: Extracting #3: cost 9 inf + 1 2.959 * * [simplify]: Extracting #4: cost 8 inf + 2 2.959 * * [simplify]: Extracting #5: cost 0 inf + 750 2.959 * [simplify]: Simplified to (sqrt (exp (- im))) 2.960 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)))) 2.960 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 2.960 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 2.960 * [simplify]: Simplifying (* (exp (exp (- im))) (exp (exp im))) 2.960 * * [simplify]: iters left: 6 (7 enodes) 2.963 * * [simplify]: iters left: 5 (26 enodes) 2.971 * * [simplify]: iters left: 4 (34 enodes) 2.978 * * [simplify]: iters left: 3 (36 enodes) 2.983 * * [simplify]: Extracting #0: cost 1 inf + 0 2.983 * * [simplify]: Extracting #1: cost 5 inf + 0 2.983 * * [simplify]: Extracting #2: cost 10 inf + 0 2.983 * * [simplify]: Extracting #3: cost 15 inf + 0 2.983 * * [simplify]: Extracting #4: cost 14 inf + 2 2.983 * * [simplify]: Extracting #5: cost 10 inf + 296 2.984 * * [simplify]: Extracting #6: cost 2 inf + 1534 2.984 * * [simplify]: Extracting #7: cost 1 inf + 1825 2.984 * * [simplify]: Extracting #8: cost 0 inf + 2116 2.984 * [simplify]: Simplified to (exp (+ (exp (- im)) (exp im))) 2.984 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (log (exp (+ (exp (- im)) (exp im)))))) 2.984 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 2.984 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 2.984 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 2.984 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 2.985 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 2.985 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 2.985 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 2.985 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 2.985 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 2.985 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 2.985 * [simplify]: Simplifying (+ (exp (- im)) (exp im)) 2.985 * * [simplify]: iters left: 5 (5 enodes) 2.986 * * [simplify]: iters left: 4 (18 enodes) 2.989 * * [simplify]: iters left: 3 (22 enodes) 2.992 * * [simplify]: iters left: 2 (24 enodes) 2.995 * * [simplify]: Extracting #0: cost 1 inf + 0 2.995 * * [simplify]: Extracting #1: cost 4 inf + 0 2.995 * * [simplify]: Extracting #2: cost 9 inf + 0 2.995 * * [simplify]: Extracting #3: cost 8 inf + 2 2.995 * * [simplify]: Extracting #4: cost 0 inf + 890 2.996 * [simplify]: Simplified to (+ (exp im) (exp (- im))) 2.996 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (* 0.5 (cos re)) (* 1 (+ (exp im) (exp (- im)))))) 2.996 * * * * [progress]: [ 43 / 50 ] simplifiying candidate #real (real->posit16 (+ (exp (- im)) (exp im))))))> 2.996 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 2.996 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 2.996 * [simplify]: Simplifying (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 2.996 * * [simplify]: iters left: 6 (11 enodes) 3.000 * * [simplify]: iters left: 5 (49 enodes) 3.008 * * [simplify]: iters left: 4 (82 enodes) 3.036 * * [simplify]: iters left: 3 (134 enodes) 3.062 * * [simplify]: iters left: 2 (189 enodes) 3.102 * * [simplify]: iters left: 1 (228 enodes) 3.169 * * [simplify]: Extracting #0: cost 1 inf + 0 3.169 * * [simplify]: Extracting #1: cost 32 inf + 0 3.170 * * [simplify]: Extracting #2: cost 65 inf + 333 3.172 * * [simplify]: Extracting #3: cost 20 inf + 5287 3.177 * * [simplify]: Extracting #4: cost 1 inf + 7467 3.182 * * [simplify]: Extracting #5: cost 0 inf + 7509 3.185 * [simplify]: Simplified to (fma 0.5 (- (* im im) (* re re)) 1.0) 3.185 * [simplify]: Simplified (2) to (λ (re im) (fma 0.5 (- (* im im) (* re re)) 1.0)) 3.185 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 3.186 * [simplify]: Simplifying (* 0.5 (* (cos re) (+ (exp (- im)) (exp im)))) 3.186 * * [simplify]: iters left: 6 (10 enodes) 3.188 * * [simplify]: iters left: 5 (43 enodes) 3.196 * * [simplify]: iters left: 4 (91 enodes) 3.213 * * [simplify]: iters left: 3 (152 enodes) 3.277 * * [simplify]: iters left: 2 (241 enodes) 3.356 * * [simplify]: iters left: 1 (269 enodes) 3.430 * * [simplify]: Extracting #0: cost 1 inf + 0 3.430 * * [simplify]: Extracting #1: cost 17 inf + 0 3.430 * * [simplify]: Extracting #2: cost 42 inf + 2 3.431 * * [simplify]: Extracting #3: cost 40 inf + 351 3.433 * * [simplify]: Extracting #4: cost 14 inf + 4376 3.437 * * [simplify]: Extracting #5: cost 0 inf + 6871 3.440 * [simplify]: Simplified to (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im)))) 3.440 * [simplify]: Simplified (2) to (λ (re im) (* 0.5 (fma (exp im) (cos re) (/ (cos re) (exp im))))) 3.440 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 3.440 * [simplify]: Simplifying (* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re))) 3.441 * * [simplify]: iters left: 6 (11 enodes) 3.444 * * [simplify]: iters left: 5 (42 enodes) 3.450 * * [simplify]: iters left: 4 (75 enodes) 3.469 * * [simplify]: iters left: 3 (177 enodes) 3.534 * * [simplify]: iters left: 2 (320 enodes) 3.681 * * [simplify]: Extracting #0: cost 1 inf + 0 3.681 * * [simplify]: Extracting #1: cost 20 inf + 0 3.681 * * [simplify]: Extracting #2: cost 104 inf + 1 3.682 * * [simplify]: Extracting #3: cost 129 inf + 1218 3.688 * * [simplify]: Extracting #4: cost 99 inf + 6490 3.695 * * [simplify]: Extracting #5: cost 36 inf + 28275 3.706 * * [simplify]: Extracting #6: cost 1 inf + 47536 3.717 * * [simplify]: Extracting #7: cost 0 inf + 47233 3.732 * * [simplify]: Extracting #8: cost 0 inf + 47192 3.744 * [simplify]: Simplified to (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 3.744 * [simplify]: Simplified (2) to (λ (re im) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) 3.744 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 3.745 * [simplify]: Simplifying (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2)) 3.745 * * [simplify]: iters left: 6 (9 enodes) 3.751 * * [simplify]: iters left: 5 (41 enodes) 3.765 * * [simplify]: iters left: 4 (60 enodes) 3.781 * * [simplify]: iters left: 3 (72 enodes) 3.798 * * [simplify]: Extracting #0: cost 1 inf + 0 3.798 * * [simplify]: Extracting #1: cost 11 inf + 0 3.799 * * [simplify]: Extracting #2: cost 15 inf + 3 3.799 * * [simplify]: Extracting #3: cost 9 inf + 362 3.800 * * [simplify]: Extracting #4: cost 0 inf + 1512 3.802 * [simplify]: Simplified to (+ (fma (* (* im im) (* im im)) 1/12 2) (* im im)) 3.802 * [simplify]: Simplified (2 2) to (λ (re im) (* (* 0.5 (cos re)) (+ (fma (* (* im im) (* im im)) 1/12 2) (* im im)))) 3.802 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 3.802 * [simplify]: Simplifying (+ (exp (- im)) (exp im)) 3.802 * * [simplify]: iters left: 5 (5 enodes) 3.805 * * [simplify]: iters left: 4 (18 enodes) 3.813 * * [simplify]: iters left: 3 (22 enodes) 3.821 * * [simplify]: iters left: 2 (24 enodes) 3.828 * * [simplify]: Extracting #0: cost 1 inf + 0 3.828 * * [simplify]: Extracting #1: cost 4 inf + 0 3.828 * * [simplify]: Extracting #2: cost 9 inf + 0 3.828 * * [simplify]: Extracting #3: cost 8 inf + 2 3.828 * * [simplify]: Extracting #4: cost 0 inf + 890 3.829 * [simplify]: Simplified to (+ (exp im) (exp (- im))) 3.829 * [simplify]: Simplified (2 2) to (λ (re im) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) 3.829 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 3.829 * [simplify]: Simplifying (+ (exp im) (exp (* -1 im))) 3.830 * * [simplify]: iters left: 5 (6 enodes) 3.833 * * [simplify]: iters left: 4 (23 enodes) 3.840 * * [simplify]: iters left: 3 (32 enodes) 3.852 * * [simplify]: iters left: 2 (48 enodes) 3.863 * * [simplify]: iters left: 1 (78 enodes) 3.878 * * [simplify]: Extracting #0: cost 1 inf + 0 3.878 * * [simplify]: Extracting #1: cost 5 inf + 0 3.878 * * [simplify]: Extracting #2: cost 25 inf + 0 3.879 * * [simplify]: Extracting #3: cost 41 inf + 890 3.879 * * [simplify]: Extracting #4: cost 35 inf + 1203 3.880 * * [simplify]: Extracting #5: cost 14 inf + 4557 3.881 * * [simplify]: Extracting #6: cost 0 inf + 10384 3.882 * * [simplify]: Extracting #7: cost 0 inf + 10142 3.883 * [simplify]: Simplified to (+ (exp im) (exp (- im))) 3.883 * [simplify]: Simplified (2 2) to (λ (re im) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im))))) 3.883 * * * [progress]: adding candidates to table 4.420 * [progress]: [Phase 3 of 3] Extracting. 4.426 * [simplify]: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 4.426 * * [simplify]: iters left: 6 (10 enodes) 4.427 * * [simplify]: iters left: 5 (13 enodes) 4.428 * * [simplify]: Extracting #0: cost 1 inf + 0 4.428 * * [simplify]: Extracting #1: cost 3 inf + 0 4.428 * * [simplify]: Extracting #2: cost 7 inf + 0 4.428 * * [simplify]: Extracting #3: cost 9 inf + 1 4.428 * * [simplify]: Extracting #4: cost 0 inf + 973 4.428 * [simplify]: Simplified to (* (+ (exp im) (exp (- im))) (* 0.5 (cos re))) 13.116 * [regime-testing]: Baseline error score: 0.009043611701823304 13.118 * [regime-testing]: Oracle error score: 0.009043611701823304 13.118 * [regime-testing]: End program error score: 0.009043611701823304