1552120600.870 * [progress]: [Phase 1 of 3] Setting up. 1552120600.870 * * * [progress]: [1/2] Preparing points 1552120600.955 * * * [progress]: [2/2] Setting up program. 1552120600.960 * [progress]: [Phase 2 of 3] Improving. 1552120600.960 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552120600.960 * [simplify]: Simplifying (* (exp re) (sin im)) 1552120600.961 * * [simplify]: iters left: 3 (5 enodes) 1552120600.963 * * [simplify]: iters left: 2 (16 enodes) 1552120600.967 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120600.967 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120600.967 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120600.967 * * [simplify]: Extracting #3: cost 4 inf + 124 1552120600.967 * * [simplify]: Extracting #4: cost 0 inf + 610 1552120600.968 * [simplify]: Simplified to (* (sin im) (exp re)) 1552120600.968 * [simplify]: Simplified (2) to (λ (re im) (* (sin im) (exp re))) 1552120600.973 * * [progress]: iteration 1 / 4 1552120600.973 * * * [progress]: picking best candidate 1552120601.019 * * * * [pick]: Picked # 1552120601.019 * * * [progress]: localizing error 1552120601.038 * * * [progress]: generating rewritten candidates 1552120601.038 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1552120601.046 * * * [progress]: generating series expansions 1552120601.047 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1552120601.047 * [backup-simplify]: Simplify (* (exp re) (sin im)) into (* (sin im) (exp re)) 1552120601.047 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 1552120601.047 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 1552120601.047 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.047 * [taylor]: Taking taylor expansion of im in im 1552120601.047 * [backup-simplify]: Simplify 0 into 0 1552120601.047 * [backup-simplify]: Simplify 1 into 1 1552120601.047 * [taylor]: Taking taylor expansion of (exp re) in im 1552120601.047 * [taylor]: Taking taylor expansion of re in im 1552120601.047 * [backup-simplify]: Simplify re into re 1552120601.047 * [backup-simplify]: Simplify (exp re) into (exp re) 1552120601.047 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1552120601.047 * [taylor]: Taking taylor expansion of (sin im) in re 1552120601.047 * [taylor]: Taking taylor expansion of im in re 1552120601.047 * [backup-simplify]: Simplify im into im 1552120601.047 * [backup-simplify]: Simplify (sin im) into (sin im) 1552120601.047 * [backup-simplify]: Simplify (cos im) into (cos im) 1552120601.047 * [taylor]: Taking taylor expansion of (exp re) in re 1552120601.047 * [taylor]: Taking taylor expansion of re in re 1552120601.047 * [backup-simplify]: Simplify 0 into 0 1552120601.047 * [backup-simplify]: Simplify 1 into 1 1552120601.047 * [backup-simplify]: Simplify (exp 0) into 1 1552120601.047 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1552120601.047 * [taylor]: Taking taylor expansion of (sin im) in re 1552120601.047 * [taylor]: Taking taylor expansion of im in re 1552120601.047 * [backup-simplify]: Simplify im into im 1552120601.047 * [backup-simplify]: Simplify (sin im) into (sin im) 1552120601.047 * [backup-simplify]: Simplify (cos im) into (cos im) 1552120601.047 * [taylor]: Taking taylor expansion of (exp re) in re 1552120601.047 * [taylor]: Taking taylor expansion of re in re 1552120601.047 * [backup-simplify]: Simplify 0 into 0 1552120601.047 * [backup-simplify]: Simplify 1 into 1 1552120601.047 * [backup-simplify]: Simplify (exp 0) into 1 1552120601.048 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1552120601.048 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1552120601.048 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1552120601.048 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1552120601.048 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.048 * [taylor]: Taking taylor expansion of im in im 1552120601.048 * [backup-simplify]: Simplify 0 into 0 1552120601.048 * [backup-simplify]: Simplify 1 into 1 1552120601.048 * [backup-simplify]: Simplify 0 into 0 1552120601.050 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552120601.050 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.051 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0 1552120601.051 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.052 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0 1552120601.052 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.052 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im) 1552120601.052 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.052 * [taylor]: Taking taylor expansion of im in im 1552120601.052 * [backup-simplify]: Simplify 0 into 0 1552120601.053 * [backup-simplify]: Simplify 1 into 1 1552120601.053 * [backup-simplify]: Simplify 0 into 0 1552120601.053 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.053 * [backup-simplify]: Simplify 1 into 1 1552120601.055 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552120601.055 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.056 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.057 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.057 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.057 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.058 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im)) 1552120601.058 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 1552120601.058 * [taylor]: Taking taylor expansion of 1/2 in im 1552120601.058 * [backup-simplify]: Simplify 1/2 into 1/2 1552120601.058 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.058 * [taylor]: Taking taylor expansion of im in im 1552120601.058 * [backup-simplify]: Simplify 0 into 0 1552120601.058 * [backup-simplify]: Simplify 1 into 1 1552120601.059 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120601.059 * [backup-simplify]: Simplify 0 into 0 1552120601.059 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.059 * [backup-simplify]: Simplify 1 into 1 1552120601.060 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.060 * [backup-simplify]: Simplify 0 into 0 1552120601.062 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1552120601.063 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.064 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.065 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.065 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.066 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.067 * [backup-simplify]: Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im)) 1552120601.067 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 1552120601.067 * [taylor]: Taking taylor expansion of 1/6 in im 1552120601.067 * [backup-simplify]: Simplify 1/6 into 1/6 1552120601.067 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.067 * [taylor]: Taking taylor expansion of im in im 1552120601.067 * [backup-simplify]: Simplify 0 into 0 1552120601.067 * [backup-simplify]: Simplify 1 into 1 1552120601.067 * [backup-simplify]: Simplify (* 1/6 0) into 0 1552120601.067 * [backup-simplify]: Simplify 0 into 0 1552120601.068 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.069 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1552120601.069 * [backup-simplify]: Simplify 1/2 into 1/2 1552120601.069 * [backup-simplify]: Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120601.069 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (sin (/ 1 im))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.069 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1552120601.069 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1552120601.069 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1552120601.069 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120601.069 * [taylor]: Taking taylor expansion of im in im 1552120601.069 * [backup-simplify]: Simplify 0 into 0 1552120601.069 * [backup-simplify]: Simplify 1 into 1 1552120601.070 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.070 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.070 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1552120601.070 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1552120601.070 * [taylor]: Taking taylor expansion of re in im 1552120601.070 * [backup-simplify]: Simplify re into re 1552120601.070 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120601.070 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.070 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1552120601.070 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1552120601.070 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120601.070 * [taylor]: Taking taylor expansion of im in re 1552120601.070 * [backup-simplify]: Simplify im into im 1552120601.070 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120601.070 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.070 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1552120601.070 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1552120601.070 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120601.070 * [taylor]: Taking taylor expansion of re in re 1552120601.070 * [backup-simplify]: Simplify 0 into 0 1552120601.070 * [backup-simplify]: Simplify 1 into 1 1552120601.071 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.071 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.071 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1552120601.071 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1552120601.071 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120601.071 * [taylor]: Taking taylor expansion of im in re 1552120601.071 * [backup-simplify]: Simplify im into im 1552120601.071 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120601.071 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.071 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1552120601.071 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1552120601.071 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120601.071 * [taylor]: Taking taylor expansion of re in re 1552120601.071 * [backup-simplify]: Simplify 0 into 0 1552120601.071 * [backup-simplify]: Simplify 1 into 1 1552120601.071 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.071 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.072 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1552120601.072 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1552120601.072 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1552120601.072 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.072 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1552120601.072 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1552120601.072 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120601.072 * [taylor]: Taking taylor expansion of im in im 1552120601.072 * [backup-simplify]: Simplify 0 into 0 1552120601.072 * [backup-simplify]: Simplify 1 into 1 1552120601.072 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.072 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.072 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1552120601.072 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1552120601.072 * [taylor]: Taking taylor expansion of re in im 1552120601.073 * [backup-simplify]: Simplify re into re 1552120601.073 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120601.073 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.073 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.073 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.073 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.074 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1552120601.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1552120601.074 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.075 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1552120601.075 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.075 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1552120601.075 * [taylor]: Taking taylor expansion of 0 in im 1552120601.075 * [backup-simplify]: Simplify 0 into 0 1552120601.075 * [backup-simplify]: Simplify 0 into 0 1552120601.075 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120601.076 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.076 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1552120601.076 * [backup-simplify]: Simplify 0 into 0 1552120601.077 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.078 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.079 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.079 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.079 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.080 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1552120601.080 * [taylor]: Taking taylor expansion of 0 in im 1552120601.080 * [backup-simplify]: Simplify 0 into 0 1552120601.080 * [backup-simplify]: Simplify 0 into 0 1552120601.080 * [backup-simplify]: Simplify 0 into 0 1552120601.080 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120601.081 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120601.082 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1552120601.082 * [backup-simplify]: Simplify 0 into 0 1552120601.082 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.083 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.083 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.084 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.085 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.085 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.086 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1552120601.086 * [taylor]: Taking taylor expansion of 0 in im 1552120601.086 * [backup-simplify]: Simplify 0 into 0 1552120601.086 * [backup-simplify]: Simplify 0 into 0 1552120601.086 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1552120601.086 * [backup-simplify]: Simplify (* (exp (/ 1 (- re))) (sin (/ 1 (- im)))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.087 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0 1552120601.087 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1552120601.087 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1552120601.087 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1552120601.087 * [taylor]: Taking taylor expansion of -1 in im 1552120601.087 * [backup-simplify]: Simplify -1 into -1 1552120601.087 * [taylor]: Taking taylor expansion of re in im 1552120601.087 * [backup-simplify]: Simplify re into re 1552120601.087 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1552120601.087 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.087 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1552120601.087 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1552120601.087 * [taylor]: Taking taylor expansion of -1 in im 1552120601.087 * [backup-simplify]: Simplify -1 into -1 1552120601.087 * [taylor]: Taking taylor expansion of im in im 1552120601.087 * [backup-simplify]: Simplify 0 into 0 1552120601.087 * [backup-simplify]: Simplify 1 into 1 1552120601.087 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.087 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.087 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1552120601.087 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1552120601.087 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1552120601.087 * [taylor]: Taking taylor expansion of -1 in re 1552120601.087 * [backup-simplify]: Simplify -1 into -1 1552120601.088 * [taylor]: Taking taylor expansion of re in re 1552120601.088 * [backup-simplify]: Simplify 0 into 0 1552120601.088 * [backup-simplify]: Simplify 1 into 1 1552120601.088 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.088 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.088 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1552120601.088 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1552120601.088 * [taylor]: Taking taylor expansion of -1 in re 1552120601.088 * [backup-simplify]: Simplify -1 into -1 1552120601.088 * [taylor]: Taking taylor expansion of im in re 1552120601.088 * [backup-simplify]: Simplify im into im 1552120601.088 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1552120601.088 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.088 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1552120601.088 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1552120601.088 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1552120601.088 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1552120601.088 * [taylor]: Taking taylor expansion of -1 in re 1552120601.088 * [backup-simplify]: Simplify -1 into -1 1552120601.088 * [taylor]: Taking taylor expansion of re in re 1552120601.088 * [backup-simplify]: Simplify 0 into 0 1552120601.088 * [backup-simplify]: Simplify 1 into 1 1552120601.089 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.089 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.089 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1552120601.089 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1552120601.089 * [taylor]: Taking taylor expansion of -1 in re 1552120601.089 * [backup-simplify]: Simplify -1 into -1 1552120601.089 * [taylor]: Taking taylor expansion of im in re 1552120601.089 * [backup-simplify]: Simplify im into im 1552120601.089 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1552120601.089 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.089 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1552120601.089 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1552120601.089 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1552120601.089 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1552120601.090 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.090 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1552120601.090 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1552120601.090 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1552120601.090 * [taylor]: Taking taylor expansion of -1 in im 1552120601.090 * [backup-simplify]: Simplify -1 into -1 1552120601.090 * [taylor]: Taking taylor expansion of re in im 1552120601.090 * [backup-simplify]: Simplify re into re 1552120601.090 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1552120601.090 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.090 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1552120601.090 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1552120601.090 * [taylor]: Taking taylor expansion of -1 in im 1552120601.090 * [backup-simplify]: Simplify -1 into -1 1552120601.090 * [taylor]: Taking taylor expansion of im in im 1552120601.090 * [backup-simplify]: Simplify 0 into 0 1552120601.090 * [backup-simplify]: Simplify 1 into 1 1552120601.090 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.090 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.091 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.091 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.091 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.091 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1552120601.092 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1552120601.092 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.093 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1552120601.093 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.093 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1552120601.093 * [taylor]: Taking taylor expansion of 0 in im 1552120601.093 * [backup-simplify]: Simplify 0 into 0 1552120601.093 * [backup-simplify]: Simplify 0 into 0 1552120601.093 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1552120601.094 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.094 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1552120601.094 * [backup-simplify]: Simplify 0 into 0 1552120601.095 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.096 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.096 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.097 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.097 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.098 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.098 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1552120601.098 * [taylor]: Taking taylor expansion of 0 in im 1552120601.098 * [backup-simplify]: Simplify 0 into 0 1552120601.099 * [backup-simplify]: Simplify 0 into 0 1552120601.099 * [backup-simplify]: Simplify 0 into 0 1552120601.099 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120601.100 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120601.101 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1552120601.101 * [backup-simplify]: Simplify 0 into 0 1552120601.102 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.103 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.103 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.104 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.105 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.105 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.106 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0 1552120601.106 * [taylor]: Taking taylor expansion of 0 in im 1552120601.107 * [backup-simplify]: Simplify 0 into 0 1552120601.107 * [backup-simplify]: Simplify 0 into 0 1552120601.107 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re)) 1552120601.107 * * * [progress]: simplifying candidates 1552120601.107 * * * * [progress]: [ 1 / 21 ] simplifiying candidate # 1552120601.107 * [simplify]: Simplifying (* (exp re) (sin im)) 1552120601.107 * * [simplify]: iters left: 3 (5 enodes) 1552120601.109 * * [simplify]: iters left: 2 (16 enodes) 1552120601.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.112 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120601.112 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120601.112 * * [simplify]: Extracting #3: cost 4 inf + 124 1552120601.112 * * [simplify]: Extracting #4: cost 0 inf + 610 1552120601.112 * [simplify]: Simplified to (* (sin im) (exp re)) 1552120601.112 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (sin im) (exp re)) 1)) 1552120601.112 * * * * [progress]: [ 2 / 21 ] simplifiying candidate # 1552120601.112 * * * * [progress]: [ 3 / 21 ] simplifiying candidate # 1552120601.112 * [simplify]: Simplifying (+ re (log (sin im))) 1552120601.112 * * [simplify]: iters left: 4 (5 enodes) 1552120601.114 * * [simplify]: iters left: 3 (16 enodes) 1552120601.116 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.116 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120601.116 * * [simplify]: Extracting #2: cost 5 inf + 1 1552120601.117 * * [simplify]: Extracting #3: cost 7 inf + 1 1552120601.117 * * [simplify]: Extracting #4: cost 0 inf + 730 1552120601.117 * [simplify]: Simplified to (+ (log (sin im)) re) 1552120601.117 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (sin im)) re))) 1552120601.117 * * * * [progress]: [ 4 / 21 ] simplifiying candidate # 1552120601.117 * * * * [progress]: [ 5 / 21 ] simplifiying candidate # 1552120601.117 * * * * [progress]: [ 6 / 21 ] simplifiying candidate # 1552120601.117 * [simplify]: Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))) 1552120601.117 * * [simplify]: iters left: 6 (9 enodes) 1552120601.120 * * [simplify]: iters left: 5 (36 enodes) 1552120601.127 * * [simplify]: iters left: 4 (71 enodes) 1552120601.150 * * [simplify]: iters left: 3 (119 enodes) 1552120601.181 * * [simplify]: iters left: 2 (142 enodes) 1552120601.199 * * [simplify]: iters left: 1 (143 enodes) 1552120601.215 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.215 * * [simplify]: Extracting #1: cost 17 inf + 0 1552120601.215 * * [simplify]: Extracting #2: cost 34 inf + 1 1552120601.216 * * [simplify]: Extracting #3: cost 30 inf + 348 1552120601.217 * * [simplify]: Extracting #4: cost 5 inf + 5066 1552120601.220 * * [simplify]: Extracting #5: cost 0 inf + 5926 1552120601.223 * * [simplify]: Extracting #6: cost 0 inf + 5655 1552120601.226 * [simplify]: Simplified to (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))) 1552120601.226 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))))) 1552120601.226 * * * * [progress]: [ 7 / 21 ] simplifiying candidate # 1552120601.226 * * * * [progress]: [ 8 / 21 ] simplifiying candidate # 1552120601.226 * * * * [progress]: [ 9 / 21 ] simplifiying candidate # 1552120601.226 * * * * [progress]: [ 10 / 21 ] simplifiying candidate # 1552120601.226 * * * * [progress]: [ 11 / 21 ] simplifiying candidate # 1552120601.226 * [simplify]: Simplifying (cbrt (sin im)) 1552120601.227 * * [simplify]: iters left: 2 (3 enodes) 1552120601.228 * * [simplify]: iters left: 1 (9 enodes) 1552120601.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.230 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120601.230 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120601.230 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120601.231 * * [simplify]: Extracting #4: cost 0 inf + 405 1552120601.231 * [simplify]: Simplified to (cbrt (sin im)) 1552120601.231 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im)))) 1552120601.231 * * * * [progress]: [ 12 / 21 ] simplifiying candidate # 1552120601.231 * [simplify]: Simplifying (sqrt (sin im)) 1552120601.231 * * [simplify]: iters left: 2 (3 enodes) 1552120601.232 * * [simplify]: iters left: 1 (9 enodes) 1552120601.235 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.235 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120601.235 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120601.235 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120601.235 * * [simplify]: Extracting #4: cost 0 inf + 325 1552120601.235 * [simplify]: Simplified to (sqrt (sin im)) 1552120601.235 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (sin im))) (sqrt (sin im)))) 1552120601.235 * * * * [progress]: [ 13 / 21 ] simplifiying candidate # 1552120601.235 * [simplify]: Simplifying (sin im) 1552120601.236 * * [simplify]: iters left: 1 (2 enodes) 1552120601.236 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.236 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120601.236 * * [simplify]: Extracting #2: cost 2 inf + 1 1552120601.237 * * [simplify]: Extracting #3: cost 0 inf + 123 1552120601.237 * [simplify]: Simplified to (sin im) 1552120601.237 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (sin im))) 1552120601.237 * * * * [progress]: [ 14 / 21 ] simplifiying candidate # 1552120601.237 * [simplify]: Simplifying (* (cbrt (exp re)) (cbrt (exp re))) 1552120601.237 * * [simplify]: iters left: 4 (4 enodes) 1552120601.239 * * [simplify]: iters left: 3 (12 enodes) 1552120601.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.242 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120601.242 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120601.242 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120601.242 * * [simplify]: Extracting #4: cost 6 inf + 1 1552120601.242 * * [simplify]: Extracting #5: cost 0 inf + 827 1552120601.242 * [simplify]: Simplified to (* (cbrt (exp re)) (cbrt (exp re))) 1552120601.242 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sin im)))) 1552120601.243 * * * * [progress]: [ 15 / 21 ] simplifiying candidate # 1552120601.243 * [simplify]: Simplifying (sqrt (exp re)) 1552120601.243 * * [simplify]: iters left: 2 (3 enodes) 1552120601.244 * * [simplify]: iters left: 1 (9 enodes) 1552120601.246 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.246 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120601.247 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120601.247 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120601.247 * * [simplify]: Extracting #4: cost 0 inf + 365 1552120601.247 * [simplify]: Simplified to (sqrt (exp re)) 1552120601.247 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) 1552120601.247 * * * * [progress]: [ 16 / 21 ] simplifiying candidate # 1552120601.247 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #real (real->posit16 (* (exp re) (sin im)))))> 1552120601.247 * * * * [progress]: [ 18 / 21 ] simplifiying candidate # 1552120601.247 * * * * [progress]: [ 19 / 21 ] simplifiying candidate # 1552120601.247 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120601.247 * * [simplify]: iters left: 6 (10 enodes) 1552120601.253 * * [simplify]: iters left: 5 (43 enodes) 1552120601.269 * * [simplify]: iters left: 4 (77 enodes) 1552120601.287 * * [simplify]: iters left: 3 (128 enodes) 1552120601.309 * * [simplify]: iters left: 2 (173 enodes) 1552120601.344 * * [simplify]: iters left: 1 (199 enodes) 1552120601.375 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.375 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120601.375 * * [simplify]: Extracting #2: cost 30 inf + 1 1552120601.376 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120601.376 * * [simplify]: Extracting #4: cost 23 inf + 834 1552120601.378 * * [simplify]: Extracting #5: cost 4 inf + 3207 1552120601.380 * * [simplify]: Extracting #6: cost 0 inf + 3779 1552120601.382 * [simplify]: Simplified to (+ im (* (+ (* im (* 1/2 re)) im) re)) 1552120601.382 * [simplify]: Simplified (2) to (λ (re im) (+ im (* (+ (* im (* 1/2 re)) im) re))) 1552120601.383 * * * * [progress]: [ 20 / 21 ] simplifiying candidate # 1552120601.383 * [simplify]: Simplifying (* (sin im) (exp re)) 1552120601.383 * * [simplify]: iters left: 3 (5 enodes) 1552120601.385 * * [simplify]: iters left: 2 (16 enodes) 1552120601.389 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.389 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120601.389 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120601.390 * * [simplify]: Extracting #3: cost 4 inf + 144 1552120601.390 * * [simplify]: Extracting #4: cost 0 inf + 610 1552120601.390 * [simplify]: Simplified to (* (exp re) (sin im)) 1552120601.390 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1552120601.390 * * * * [progress]: [ 21 / 21 ] simplifiying candidate # 1552120601.390 * [simplify]: Simplifying (* (sin im) (exp re)) 1552120601.390 * * [simplify]: iters left: 3 (5 enodes) 1552120601.392 * * [simplify]: iters left: 2 (16 enodes) 1552120601.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.397 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120601.397 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120601.397 * * [simplify]: Extracting #3: cost 4 inf + 144 1552120601.397 * * [simplify]: Extracting #4: cost 0 inf + 610 1552120601.397 * [simplify]: Simplified to (* (exp re) (sin im)) 1552120601.397 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1552120601.397 * * * [progress]: adding candidates to table 1552120601.556 * * [progress]: iteration 2 / 4 1552120601.556 * * * [progress]: picking best candidate 1552120601.560 * * * * [pick]: Picked # 1552120601.560 * * * [progress]: localizing error 1552120601.566 * * * [progress]: generating rewritten candidates 1552120601.566 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1552120601.587 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1552120601.599 * * * [progress]: generating series expansions 1552120601.600 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1552120601.600 * [backup-simplify]: Simplify (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) into (* (sin im) (exp re)) 1552120601.600 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 1552120601.600 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 1552120601.600 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.600 * [taylor]: Taking taylor expansion of im in im 1552120601.600 * [backup-simplify]: Simplify 0 into 0 1552120601.600 * [backup-simplify]: Simplify 1 into 1 1552120601.600 * [taylor]: Taking taylor expansion of (exp re) in im 1552120601.600 * [taylor]: Taking taylor expansion of re in im 1552120601.600 * [backup-simplify]: Simplify re into re 1552120601.600 * [backup-simplify]: Simplify (exp re) into (exp re) 1552120601.600 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1552120601.600 * [taylor]: Taking taylor expansion of (sin im) in re 1552120601.600 * [taylor]: Taking taylor expansion of im in re 1552120601.600 * [backup-simplify]: Simplify im into im 1552120601.600 * [backup-simplify]: Simplify (sin im) into (sin im) 1552120601.600 * [backup-simplify]: Simplify (cos im) into (cos im) 1552120601.600 * [taylor]: Taking taylor expansion of (exp re) in re 1552120601.600 * [taylor]: Taking taylor expansion of re in re 1552120601.600 * [backup-simplify]: Simplify 0 into 0 1552120601.600 * [backup-simplify]: Simplify 1 into 1 1552120601.600 * [backup-simplify]: Simplify (exp 0) into 1 1552120601.600 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1552120601.600 * [taylor]: Taking taylor expansion of (sin im) in re 1552120601.600 * [taylor]: Taking taylor expansion of im in re 1552120601.601 * [backup-simplify]: Simplify im into im 1552120601.601 * [backup-simplify]: Simplify (sin im) into (sin im) 1552120601.601 * [backup-simplify]: Simplify (cos im) into (cos im) 1552120601.601 * [taylor]: Taking taylor expansion of (exp re) in re 1552120601.601 * [taylor]: Taking taylor expansion of re in re 1552120601.601 * [backup-simplify]: Simplify 0 into 0 1552120601.601 * [backup-simplify]: Simplify 1 into 1 1552120601.601 * [backup-simplify]: Simplify (exp 0) into 1 1552120601.601 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1552120601.601 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1552120601.601 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1552120601.601 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1552120601.601 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.601 * [taylor]: Taking taylor expansion of im in im 1552120601.601 * [backup-simplify]: Simplify 0 into 0 1552120601.601 * [backup-simplify]: Simplify 1 into 1 1552120601.601 * [backup-simplify]: Simplify 0 into 0 1552120601.603 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552120601.603 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.604 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0 1552120601.604 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.605 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0 1552120601.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.605 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im) 1552120601.605 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.605 * [taylor]: Taking taylor expansion of im in im 1552120601.605 * [backup-simplify]: Simplify 0 into 0 1552120601.606 * [backup-simplify]: Simplify 1 into 1 1552120601.606 * [backup-simplify]: Simplify 0 into 0 1552120601.606 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.606 * [backup-simplify]: Simplify 1 into 1 1552120601.607 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552120601.607 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.608 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.608 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.609 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.609 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.609 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im)) 1552120601.609 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 1552120601.609 * [taylor]: Taking taylor expansion of 1/2 in im 1552120601.609 * [backup-simplify]: Simplify 1/2 into 1/2 1552120601.609 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.609 * [taylor]: Taking taylor expansion of im in im 1552120601.609 * [backup-simplify]: Simplify 0 into 0 1552120601.609 * [backup-simplify]: Simplify 1 into 1 1552120601.610 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120601.610 * [backup-simplify]: Simplify 0 into 0 1552120601.610 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.610 * [backup-simplify]: Simplify 1 into 1 1552120601.610 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.610 * [backup-simplify]: Simplify 0 into 0 1552120601.612 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1552120601.612 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.613 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.614 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.614 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.615 * [backup-simplify]: Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im)) 1552120601.615 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 1552120601.615 * [taylor]: Taking taylor expansion of 1/6 in im 1552120601.615 * [backup-simplify]: Simplify 1/6 into 1/6 1552120601.615 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.615 * [taylor]: Taking taylor expansion of im in im 1552120601.615 * [backup-simplify]: Simplify 0 into 0 1552120601.615 * [backup-simplify]: Simplify 1 into 1 1552120601.615 * [backup-simplify]: Simplify (* 1/6 0) into 0 1552120601.615 * [backup-simplify]: Simplify 0 into 0 1552120601.616 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.616 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1552120601.616 * [backup-simplify]: Simplify 1/2 into 1/2 1552120601.616 * [backup-simplify]: Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120601.616 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 re))) (* (sqrt (exp (/ 1 re))) (sin (/ 1 im)))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.616 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1552120601.616 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1552120601.616 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1552120601.616 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120601.616 * [taylor]: Taking taylor expansion of im in im 1552120601.616 * [backup-simplify]: Simplify 0 into 0 1552120601.616 * [backup-simplify]: Simplify 1 into 1 1552120601.617 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.617 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.617 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1552120601.617 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1552120601.617 * [taylor]: Taking taylor expansion of re in im 1552120601.617 * [backup-simplify]: Simplify re into re 1552120601.617 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120601.617 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.617 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1552120601.617 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1552120601.617 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120601.617 * [taylor]: Taking taylor expansion of im in re 1552120601.617 * [backup-simplify]: Simplify im into im 1552120601.617 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120601.617 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.617 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1552120601.617 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1552120601.617 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120601.617 * [taylor]: Taking taylor expansion of re in re 1552120601.617 * [backup-simplify]: Simplify 0 into 0 1552120601.617 * [backup-simplify]: Simplify 1 into 1 1552120601.617 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.617 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.617 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1552120601.617 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1552120601.617 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120601.617 * [taylor]: Taking taylor expansion of im in re 1552120601.618 * [backup-simplify]: Simplify im into im 1552120601.618 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120601.618 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.618 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1552120601.618 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1552120601.618 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120601.618 * [taylor]: Taking taylor expansion of re in re 1552120601.618 * [backup-simplify]: Simplify 0 into 0 1552120601.618 * [backup-simplify]: Simplify 1 into 1 1552120601.618 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.618 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.618 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1552120601.618 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1552120601.618 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1552120601.618 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.618 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1552120601.618 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1552120601.618 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120601.618 * [taylor]: Taking taylor expansion of im in im 1552120601.618 * [backup-simplify]: Simplify 0 into 0 1552120601.618 * [backup-simplify]: Simplify 1 into 1 1552120601.619 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.619 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.619 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1552120601.619 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1552120601.619 * [taylor]: Taking taylor expansion of re in im 1552120601.619 * [backup-simplify]: Simplify re into re 1552120601.619 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120601.619 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.619 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.619 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1552120601.619 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.619 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1552120601.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1552120601.620 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.620 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1552120601.621 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.621 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1552120601.621 * [taylor]: Taking taylor expansion of 0 in im 1552120601.621 * [backup-simplify]: Simplify 0 into 0 1552120601.621 * [backup-simplify]: Simplify 0 into 0 1552120601.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120601.621 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.621 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1552120601.621 * [backup-simplify]: Simplify 0 into 0 1552120601.622 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.622 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.623 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.623 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.623 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.624 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1552120601.624 * [taylor]: Taking taylor expansion of 0 in im 1552120601.624 * [backup-simplify]: Simplify 0 into 0 1552120601.624 * [backup-simplify]: Simplify 0 into 0 1552120601.624 * [backup-simplify]: Simplify 0 into 0 1552120601.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120601.625 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120601.625 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1552120601.625 * [backup-simplify]: Simplify 0 into 0 1552120601.625 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.626 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.627 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.627 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.628 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.628 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1552120601.628 * [taylor]: Taking taylor expansion of 0 in im 1552120601.628 * [backup-simplify]: Simplify 0 into 0 1552120601.628 * [backup-simplify]: Simplify 0 into 0 1552120601.628 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1552120601.629 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (- re)))) (* (sqrt (exp (/ 1 (- re)))) (sin (/ 1 (- im))))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.629 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0 1552120601.629 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1552120601.629 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1552120601.629 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1552120601.629 * [taylor]: Taking taylor expansion of -1 in im 1552120601.629 * [backup-simplify]: Simplify -1 into -1 1552120601.629 * [taylor]: Taking taylor expansion of re in im 1552120601.629 * [backup-simplify]: Simplify re into re 1552120601.629 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1552120601.629 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.629 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1552120601.629 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1552120601.629 * [taylor]: Taking taylor expansion of -1 in im 1552120601.629 * [backup-simplify]: Simplify -1 into -1 1552120601.629 * [taylor]: Taking taylor expansion of im in im 1552120601.629 * [backup-simplify]: Simplify 0 into 0 1552120601.629 * [backup-simplify]: Simplify 1 into 1 1552120601.629 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.629 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.629 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1552120601.629 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1552120601.629 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1552120601.629 * [taylor]: Taking taylor expansion of -1 in re 1552120601.629 * [backup-simplify]: Simplify -1 into -1 1552120601.629 * [taylor]: Taking taylor expansion of re in re 1552120601.629 * [backup-simplify]: Simplify 0 into 0 1552120601.629 * [backup-simplify]: Simplify 1 into 1 1552120601.630 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.630 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.630 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1552120601.630 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1552120601.630 * [taylor]: Taking taylor expansion of -1 in re 1552120601.630 * [backup-simplify]: Simplify -1 into -1 1552120601.630 * [taylor]: Taking taylor expansion of im in re 1552120601.630 * [backup-simplify]: Simplify im into im 1552120601.630 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1552120601.630 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.630 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1552120601.630 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1552120601.630 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1552120601.630 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1552120601.630 * [taylor]: Taking taylor expansion of -1 in re 1552120601.630 * [backup-simplify]: Simplify -1 into -1 1552120601.630 * [taylor]: Taking taylor expansion of re in re 1552120601.630 * [backup-simplify]: Simplify 0 into 0 1552120601.630 * [backup-simplify]: Simplify 1 into 1 1552120601.630 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.630 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.630 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1552120601.630 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1552120601.630 * [taylor]: Taking taylor expansion of -1 in re 1552120601.630 * [backup-simplify]: Simplify -1 into -1 1552120601.630 * [taylor]: Taking taylor expansion of im in re 1552120601.630 * [backup-simplify]: Simplify im into im 1552120601.630 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1552120601.630 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.630 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1552120601.631 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1552120601.631 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1552120601.631 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1552120601.631 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.631 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1552120601.631 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1552120601.631 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1552120601.631 * [taylor]: Taking taylor expansion of -1 in im 1552120601.631 * [backup-simplify]: Simplify -1 into -1 1552120601.631 * [taylor]: Taking taylor expansion of re in im 1552120601.631 * [backup-simplify]: Simplify re into re 1552120601.631 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1552120601.631 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.631 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1552120601.631 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1552120601.631 * [taylor]: Taking taylor expansion of -1 in im 1552120601.631 * [backup-simplify]: Simplify -1 into -1 1552120601.631 * [taylor]: Taking taylor expansion of im in im 1552120601.631 * [backup-simplify]: Simplify 0 into 0 1552120601.631 * [backup-simplify]: Simplify 1 into 1 1552120601.631 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.631 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.631 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.631 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1552120601.632 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.632 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1552120601.632 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1552120601.633 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.633 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1552120601.633 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.633 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1552120601.633 * [taylor]: Taking taylor expansion of 0 in im 1552120601.633 * [backup-simplify]: Simplify 0 into 0 1552120601.633 * [backup-simplify]: Simplify 0 into 0 1552120601.633 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1552120601.634 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.634 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1552120601.634 * [backup-simplify]: Simplify 0 into 0 1552120601.634 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.635 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.635 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.635 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.636 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.636 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.636 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1552120601.636 * [taylor]: Taking taylor expansion of 0 in im 1552120601.636 * [backup-simplify]: Simplify 0 into 0 1552120601.636 * [backup-simplify]: Simplify 0 into 0 1552120601.636 * [backup-simplify]: Simplify 0 into 0 1552120601.636 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120601.637 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120601.637 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1552120601.638 * [backup-simplify]: Simplify 0 into 0 1552120601.638 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.639 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.639 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.640 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.640 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.640 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.641 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0 1552120601.641 * [taylor]: Taking taylor expansion of 0 in im 1552120601.641 * [backup-simplify]: Simplify 0 into 0 1552120601.641 * [backup-simplify]: Simplify 0 into 0 1552120601.641 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re)) 1552120601.641 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1552120601.641 * [backup-simplify]: Simplify (* (sqrt (exp re)) (sin im)) into (* (sin im) (sqrt (exp re))) 1552120601.641 * [approximate]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0 1552120601.641 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 1552120601.641 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.641 * [taylor]: Taking taylor expansion of im in im 1552120601.641 * [backup-simplify]: Simplify 0 into 0 1552120601.641 * [backup-simplify]: Simplify 1 into 1 1552120601.641 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 1552120601.641 * [taylor]: Taking taylor expansion of (exp re) in im 1552120601.641 * [taylor]: Taking taylor expansion of re in im 1552120601.641 * [backup-simplify]: Simplify re into re 1552120601.641 * [backup-simplify]: Simplify (exp re) into (exp re) 1552120601.641 * [backup-simplify]: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1552120601.642 * [backup-simplify]: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.642 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp re)))) into 0 1552120601.642 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 1552120601.642 * [taylor]: Taking taylor expansion of (sin im) in re 1552120601.642 * [taylor]: Taking taylor expansion of im in re 1552120601.642 * [backup-simplify]: Simplify im into im 1552120601.642 * [backup-simplify]: Simplify (sin im) into (sin im) 1552120601.642 * [backup-simplify]: Simplify (cos im) into (cos im) 1552120601.642 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1552120601.642 * [taylor]: Taking taylor expansion of (exp re) in re 1552120601.642 * [taylor]: Taking taylor expansion of re in re 1552120601.642 * [backup-simplify]: Simplify 0 into 0 1552120601.642 * [backup-simplify]: Simplify 1 into 1 1552120601.642 * [backup-simplify]: Simplify (exp 0) into 1 1552120601.642 * [backup-simplify]: Simplify (sqrt 1) into 1 1552120601.643 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552120601.643 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552120601.643 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 1552120601.643 * [taylor]: Taking taylor expansion of (sin im) in re 1552120601.643 * [taylor]: Taking taylor expansion of im in re 1552120601.643 * [backup-simplify]: Simplify im into im 1552120601.643 * [backup-simplify]: Simplify (sin im) into (sin im) 1552120601.643 * [backup-simplify]: Simplify (cos im) into (cos im) 1552120601.643 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1552120601.643 * [taylor]: Taking taylor expansion of (exp re) in re 1552120601.643 * [taylor]: Taking taylor expansion of re in re 1552120601.643 * [backup-simplify]: Simplify 0 into 0 1552120601.643 * [backup-simplify]: Simplify 1 into 1 1552120601.643 * [backup-simplify]: Simplify (exp 0) into 1 1552120601.644 * [backup-simplify]: Simplify (sqrt 1) into 1 1552120601.644 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552120601.644 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552120601.645 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1552120601.645 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1552120601.645 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1552120601.645 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1552120601.645 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.645 * [taylor]: Taking taylor expansion of im in im 1552120601.645 * [backup-simplify]: Simplify 0 into 0 1552120601.645 * [backup-simplify]: Simplify 1 into 1 1552120601.645 * [backup-simplify]: Simplify 0 into 0 1552120601.645 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.645 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0 1552120601.646 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.646 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0 1552120601.646 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.647 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (* 0 1)) into (* 1/2 (sin im)) 1552120601.647 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 1552120601.647 * [taylor]: Taking taylor expansion of 1/2 in im 1552120601.647 * [backup-simplify]: Simplify 1/2 into 1/2 1552120601.647 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.647 * [taylor]: Taking taylor expansion of im in im 1552120601.647 * [backup-simplify]: Simplify 0 into 0 1552120601.647 * [backup-simplify]: Simplify 1 into 1 1552120601.647 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120601.647 * [backup-simplify]: Simplify 0 into 0 1552120601.647 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.647 * [backup-simplify]: Simplify 1 into 1 1552120601.648 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552120601.649 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1552120601.649 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.650 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.650 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.651 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.651 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.651 * [backup-simplify]: Simplify (+ (* (sin im) 1/8) (+ (* 0 1/2) (* 0 1))) into (* 1/8 (sin im)) 1552120601.651 * [taylor]: Taking taylor expansion of (* 1/8 (sin im)) in im 1552120601.651 * [taylor]: Taking taylor expansion of 1/8 in im 1552120601.651 * [backup-simplify]: Simplify 1/8 into 1/8 1552120601.651 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.651 * [taylor]: Taking taylor expansion of im in im 1552120601.651 * [backup-simplify]: Simplify 0 into 0 1552120601.651 * [backup-simplify]: Simplify 1 into 1 1552120601.652 * [backup-simplify]: Simplify (* 1/8 0) into 0 1552120601.652 * [backup-simplify]: Simplify 0 into 0 1552120601.652 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.653 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1552120601.653 * [backup-simplify]: Simplify 1/2 into 1/2 1552120601.653 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.653 * [backup-simplify]: Simplify 0 into 0 1552120601.654 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1552120601.655 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 1552120601.656 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.656 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.657 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.657 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.658 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.658 * [backup-simplify]: Simplify (+ (* (sin im) 1/48) (+ (* 0 1/8) (+ (* 0 1/2) (* 0 1)))) into (* 1/48 (sin im)) 1552120601.658 * [taylor]: Taking taylor expansion of (* 1/48 (sin im)) in im 1552120601.658 * [taylor]: Taking taylor expansion of 1/48 in im 1552120601.658 * [backup-simplify]: Simplify 1/48 into 1/48 1552120601.658 * [taylor]: Taking taylor expansion of (sin im) in im 1552120601.658 * [taylor]: Taking taylor expansion of im in im 1552120601.658 * [backup-simplify]: Simplify 0 into 0 1552120601.658 * [backup-simplify]: Simplify 1 into 1 1552120601.659 * [backup-simplify]: Simplify (* 1/48 0) into 0 1552120601.659 * [backup-simplify]: Simplify 0 into 0 1552120601.659 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120601.660 * [backup-simplify]: Simplify (+ (* 1/8 1) (* 0 0)) into 1/8 1552120601.660 * [backup-simplify]: Simplify 1/8 into 1/8 1552120601.660 * [backup-simplify]: Simplify (+ (* 1/8 (* im (pow re 2))) (+ (* 1/2 (* im re)) (* 1 (* im 1)))) into (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) 1552120601.660 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) 1552120601.660 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in (re im) around 0 1552120601.660 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in im 1552120601.660 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1552120601.660 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120601.660 * [taylor]: Taking taylor expansion of im in im 1552120601.660 * [backup-simplify]: Simplify 0 into 0 1552120601.660 * [backup-simplify]: Simplify 1 into 1 1552120601.660 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.660 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.660 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1552120601.660 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1552120601.661 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1552120601.661 * [taylor]: Taking taylor expansion of re in im 1552120601.661 * [backup-simplify]: Simplify re into re 1552120601.661 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120601.661 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.661 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1552120601.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120601.661 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.661 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1552120601.661 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in re 1552120601.661 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1552120601.661 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120601.661 * [taylor]: Taking taylor expansion of im in re 1552120601.661 * [backup-simplify]: Simplify im into im 1552120601.661 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120601.661 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.661 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1552120601.661 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1552120601.661 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1552120601.662 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120601.662 * [taylor]: Taking taylor expansion of re in re 1552120601.662 * [backup-simplify]: Simplify 0 into 0 1552120601.662 * [backup-simplify]: Simplify 1 into 1 1552120601.662 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.662 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.662 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1552120601.662 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1552120601.662 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in re 1552120601.662 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1552120601.662 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120601.662 * [taylor]: Taking taylor expansion of im in re 1552120601.662 * [backup-simplify]: Simplify im into im 1552120601.662 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120601.662 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.662 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1552120601.662 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1552120601.662 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1552120601.662 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120601.662 * [taylor]: Taking taylor expansion of re in re 1552120601.662 * [backup-simplify]: Simplify 0 into 0 1552120601.662 * [backup-simplify]: Simplify 1 into 1 1552120601.662 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.662 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.663 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1552120601.663 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1552120601.663 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1552120601.663 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1552120601.663 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1552120601.663 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) 1552120601.663 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in im 1552120601.663 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1552120601.663 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120601.663 * [taylor]: Taking taylor expansion of im in im 1552120601.663 * [backup-simplify]: Simplify 0 into 0 1552120601.663 * [backup-simplify]: Simplify 1 into 1 1552120601.663 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120601.663 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1552120601.663 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1552120601.663 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1552120601.663 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1552120601.663 * [taylor]: Taking taylor expansion of re in im 1552120601.663 * [backup-simplify]: Simplify re into re 1552120601.663 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120601.663 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1552120601.663 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1552120601.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120601.664 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.664 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1552120601.664 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) 1552120601.664 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) 1552120601.664 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.665 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1552120601.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1552120601.665 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.666 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1552120601.666 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.666 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0 1552120601.666 * [taylor]: Taking taylor expansion of 0 in im 1552120601.666 * [backup-simplify]: Simplify 0 into 0 1552120601.666 * [backup-simplify]: Simplify 0 into 0 1552120601.666 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0 1552120601.666 * [backup-simplify]: Simplify 0 into 0 1552120601.667 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1552120601.667 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.668 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.668 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.668 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.669 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.669 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0 1552120601.669 * [taylor]: Taking taylor expansion of 0 in im 1552120601.669 * [backup-simplify]: Simplify 0 into 0 1552120601.669 * [backup-simplify]: Simplify 0 into 0 1552120601.669 * [backup-simplify]: Simplify 0 into 0 1552120601.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120601.670 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120601.670 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1552120601.671 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0 1552120601.671 * [backup-simplify]: Simplify 0 into 0 1552120601.671 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1552120601.672 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.672 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.673 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.674 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.674 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.675 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re))))))) into 0 1552120601.675 * [taylor]: Taking taylor expansion of 0 in im 1552120601.675 * [backup-simplify]: Simplify 0 into 0 1552120601.675 * [backup-simplify]: Simplify 0 into 0 1552120601.675 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (sqrt (exp (/ 1 (/ 1 re))))) into (* (sin im) (sqrt (exp re))) 1552120601.675 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (- re)))) (sin (/ 1 (- im)))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) 1552120601.675 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in (re im) around 0 1552120601.675 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in im 1552120601.675 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1552120601.675 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1552120601.675 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1552120601.675 * [taylor]: Taking taylor expansion of -1 in im 1552120601.675 * [backup-simplify]: Simplify -1 into -1 1552120601.675 * [taylor]: Taking taylor expansion of re in im 1552120601.675 * [backup-simplify]: Simplify re into re 1552120601.675 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1552120601.675 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.675 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1552120601.675 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1552120601.676 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.676 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1552120601.676 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1552120601.676 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1552120601.676 * [taylor]: Taking taylor expansion of -1 in im 1552120601.676 * [backup-simplify]: Simplify -1 into -1 1552120601.676 * [taylor]: Taking taylor expansion of im in im 1552120601.676 * [backup-simplify]: Simplify 0 into 0 1552120601.676 * [backup-simplify]: Simplify 1 into 1 1552120601.678 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.678 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.678 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in re 1552120601.678 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1552120601.678 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1552120601.678 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1552120601.678 * [taylor]: Taking taylor expansion of -1 in re 1552120601.678 * [backup-simplify]: Simplify -1 into -1 1552120601.678 * [taylor]: Taking taylor expansion of re in re 1552120601.678 * [backup-simplify]: Simplify 0 into 0 1552120601.678 * [backup-simplify]: Simplify 1 into 1 1552120601.679 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.679 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.679 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1552120601.679 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1552120601.679 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1552120601.679 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1552120601.679 * [taylor]: Taking taylor expansion of -1 in re 1552120601.679 * [backup-simplify]: Simplify -1 into -1 1552120601.679 * [taylor]: Taking taylor expansion of im in re 1552120601.679 * [backup-simplify]: Simplify im into im 1552120601.679 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1552120601.679 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.679 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1552120601.679 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in re 1552120601.679 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1552120601.679 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1552120601.679 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1552120601.679 * [taylor]: Taking taylor expansion of -1 in re 1552120601.679 * [backup-simplify]: Simplify -1 into -1 1552120601.679 * [taylor]: Taking taylor expansion of re in re 1552120601.679 * [backup-simplify]: Simplify 0 into 0 1552120601.679 * [backup-simplify]: Simplify 1 into 1 1552120601.679 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.680 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.680 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1552120601.680 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1552120601.680 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1552120601.680 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1552120601.680 * [taylor]: Taking taylor expansion of -1 in re 1552120601.680 * [backup-simplify]: Simplify -1 into -1 1552120601.680 * [taylor]: Taking taylor expansion of im in re 1552120601.680 * [backup-simplify]: Simplify im into im 1552120601.680 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1552120601.680 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.680 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1552120601.680 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1552120601.680 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1552120601.680 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1552120601.680 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) 1552120601.680 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in im 1552120601.680 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1552120601.680 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1552120601.680 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1552120601.680 * [taylor]: Taking taylor expansion of -1 in im 1552120601.680 * [backup-simplify]: Simplify -1 into -1 1552120601.680 * [taylor]: Taking taylor expansion of re in im 1552120601.680 * [backup-simplify]: Simplify re into re 1552120601.680 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1552120601.680 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1552120601.680 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1552120601.680 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1552120601.681 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120601.681 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1552120601.681 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1552120601.681 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1552120601.681 * [taylor]: Taking taylor expansion of -1 in im 1552120601.681 * [backup-simplify]: Simplify -1 into -1 1552120601.681 * [taylor]: Taking taylor expansion of im in im 1552120601.681 * [backup-simplify]: Simplify 0 into 0 1552120601.681 * [backup-simplify]: Simplify 1 into 1 1552120601.681 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120601.682 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1552120601.682 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) 1552120601.682 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) 1552120601.682 * [backup-simplify]: Simplify (+ 0) into 0 1552120601.682 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1552120601.682 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1552120601.683 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120601.683 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1552120601.683 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.683 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (sin (/ -1 im)))) into 0 1552120601.683 * [taylor]: Taking taylor expansion of 0 in im 1552120601.683 * [backup-simplify]: Simplify 0 into 0 1552120601.684 * [backup-simplify]: Simplify 0 into 0 1552120601.684 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (sin (/ -1 im)))) into 0 1552120601.684 * [backup-simplify]: Simplify 0 into 0 1552120601.684 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120601.685 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120601.685 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.685 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.686 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120601.686 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.686 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1552120601.687 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1552120601.687 * [taylor]: Taking taylor expansion of 0 in im 1552120601.687 * [backup-simplify]: Simplify 0 into 0 1552120601.687 * [backup-simplify]: Simplify 0 into 0 1552120601.687 * [backup-simplify]: Simplify 0 into 0 1552120601.687 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120601.688 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120601.688 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1552120601.688 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1552120601.688 * [backup-simplify]: Simplify 0 into 0 1552120601.689 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120601.690 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120601.690 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1552120601.691 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120601.691 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120601.692 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120601.692 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1552120601.693 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0 1552120601.693 * [taylor]: Taking taylor expansion of 0 in im 1552120601.693 * [backup-simplify]: Simplify 0 into 0 1552120601.693 * [backup-simplify]: Simplify 0 into 0 1552120601.693 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 (/ 1 (- re))))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (sqrt (exp re))) 1552120601.693 * * * [progress]: simplifying candidates 1552120601.693 * * * * [progress]: [ 1 / 49 ] simplifiying candidate # 1552120601.693 * [simplify]: Simplifying (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) 1552120601.694 * * [simplify]: iters left: 6 (7 enodes) 1552120601.695 * * [simplify]: iters left: 5 (25 enodes) 1552120601.699 * * [simplify]: iters left: 4 (26 enodes) 1552120601.702 * * [simplify]: iters left: 3 (27 enodes) 1552120601.705 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.705 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120601.705 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120601.705 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120601.705 * * [simplify]: Extracting #4: cost 1 inf + 1084 1552120601.706 * * [simplify]: Extracting #5: cost 0 inf + 1256 1552120601.706 * [simplify]: Simplified to (* (exp re) (sin im)) 1552120601.706 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (exp re) (sin im)) 1)) 1552120601.706 * * * * [progress]: [ 2 / 49 ] simplifiying candidate # 1552120601.706 * [simplify]: Simplifying (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) 1552120601.706 * * [simplify]: iters left: 6 (7 enodes) 1552120601.708 * * [simplify]: iters left: 5 (25 enodes) 1552120601.711 * * [simplify]: iters left: 4 (26 enodes) 1552120601.714 * * [simplify]: iters left: 3 (27 enodes) 1552120601.718 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.718 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120601.718 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120601.718 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120601.718 * * [simplify]: Extracting #4: cost 1 inf + 1084 1552120601.718 * * [simplify]: Extracting #5: cost 0 inf + 1256 1552120601.718 * [simplify]: Simplified to (* (exp re) (sin im)) 1552120601.718 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (exp re) (sin im)) 1)) 1552120601.718 * * * * [progress]: [ 3 / 49 ] simplifiying candidate # 1552120601.719 * * * * [progress]: [ 4 / 49 ] simplifiying candidate # 1552120601.719 * [simplify]: Simplifying (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im)))) 1552120601.719 * * [simplify]: iters left: 6 (9 enodes) 1552120601.721 * * [simplify]: iters left: 5 (31 enodes) 1552120601.725 * * [simplify]: iters left: 4 (34 enodes) 1552120601.729 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.729 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120601.729 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120601.729 * * [simplify]: Extracting #3: cost 16 inf + 0 1552120601.730 * * [simplify]: Extracting #4: cost 16 inf + 62 1552120601.730 * * [simplify]: Extracting #5: cost 11 inf + 397 1552120601.730 * * [simplify]: Extracting #6: cost 3 inf + 1906 1552120601.730 * * [simplify]: Extracting #7: cost 0 inf + 3042 1552120601.731 * [simplify]: Simplified to (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im)))) 1552120601.731 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im)))))) 1552120601.731 * * * * [progress]: [ 5 / 49 ] simplifiying candidate # 1552120601.731 * [simplify]: Simplifying (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im)))) 1552120601.731 * * [simplify]: iters left: 6 (9 enodes) 1552120601.733 * * [simplify]: iters left: 5 (31 enodes) 1552120601.737 * * [simplify]: iters left: 4 (36 enodes) 1552120601.742 * * [simplify]: iters left: 3 (39 enodes) 1552120601.747 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120601.747 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120601.747 * * [simplify]: Extracting #2: cost 13 inf + 0 1552120601.747 * * [simplify]: Extracting #3: cost 18 inf + 0 1552120601.747 * * [simplify]: Extracting #4: cost 17 inf + 193 1552120601.747 * * [simplify]: Extracting #5: cost 12 inf + 528 1552120601.747 * * [simplify]: Extracting #6: cost 4 inf + 2039 1552120601.748 * * [simplify]: Extracting #7: cost 0 inf + 3326 1552120601.748 * [simplify]: Simplified to (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im)))) 1552120601.748 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im)))))) 1552120601.748 * * * * [progress]: [ 6 / 49 ] simplifiying candidate # 1552120601.748 * * * * [progress]: [ 7 / 49 ] simplifiying candidate # 1552120601.748 * * * * [progress]: [ 8 / 49 ] simplifiying candidate # 1552120601.749 * [simplify]: Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im)))) 1552120601.749 * * [simplify]: iters left: 6 (11 enodes) 1552120601.751 * * [simplify]: iters left: 5 (43 enodes) 1552120601.762 * * [simplify]: iters left: 4 (107 enodes) 1552120601.794 * * [simplify]: iters left: 3 (259 enodes) 1552120601.894 * * [simplify]: iters left: 2 (473 enodes) 1552120602.032 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.033 * * [simplify]: Extracting #1: cost 28 inf + 0 1552120602.033 * * [simplify]: Extracting #2: cost 63 inf + 0 1552120602.033 * * [simplify]: Extracting #3: cost 55 inf + 309 1552120602.034 * * [simplify]: Extracting #4: cost 38 inf + 3003 1552120602.037 * * [simplify]: Extracting #5: cost 6 inf + 10468 1552120602.041 * * [simplify]: Extracting #6: cost 0 inf + 11700 1552120602.046 * * [simplify]: Extracting #7: cost 0 inf + 11660 1552120602.050 * [simplify]: Simplified to (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))) 1552120602.050 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))) 1552120602.050 * * * * [progress]: [ 9 / 49 ] simplifiying candidate # 1552120602.050 * [simplify]: Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im)))) 1552120602.050 * * [simplify]: iters left: 6 (11 enodes) 1552120602.053 * * [simplify]: iters left: 5 (45 enodes) 1552120602.062 * * [simplify]: iters left: 4 (112 enodes) 1552120602.092 * * [simplify]: iters left: 3 (274 enodes) 1552120602.294 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.295 * * [simplify]: Extracting #1: cost 38 inf + 0 1552120602.295 * * [simplify]: Extracting #2: cost 75 inf + 1 1552120602.296 * * [simplify]: Extracting #3: cost 70 inf + 126 1552120602.298 * * [simplify]: Extracting #4: cost 48 inf + 4092 1552120602.301 * * [simplify]: Extracting #5: cost 8 inf + 14363 1552120602.306 * * [simplify]: Extracting #6: cost 0 inf + 16417 1552120602.311 * [simplify]: Simplified to (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))) 1552120602.311 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))) 1552120602.311 * * * * [progress]: [ 10 / 49 ] simplifiying candidate # 1552120602.311 * * * * [progress]: [ 11 / 49 ] simplifiying candidate # 1552120602.311 * * * * [progress]: [ 12 / 49 ] simplifiying candidate # 1552120602.311 * * * * [progress]: [ 13 / 49 ] simplifiying candidate # 1552120602.311 * * * * [progress]: [ 14 / 49 ] simplifiying candidate # 1552120602.311 * [simplify]: Simplifying (sin im) 1552120602.311 * * [simplify]: iters left: 1 (2 enodes) 1552120602.312 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.312 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.312 * * [simplify]: Extracting #2: cost 2 inf + 1 1552120602.312 * * [simplify]: Extracting #3: cost 0 inf + 123 1552120602.312 * [simplify]: Simplified to (sin im) 1552120602.312 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (exp re)) (sqrt (exp re))) (sin im))) 1552120602.312 * * * * [progress]: [ 15 / 49 ] simplifiying candidate # 1552120602.312 * [simplify]: Simplifying (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1552120602.312 * * [simplify]: iters left: 5 (5 enodes) 1552120602.314 * * [simplify]: iters left: 4 (15 enodes) 1552120602.316 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.316 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.316 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.316 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120602.316 * * [simplify]: Extracting #4: cost 9 inf + 0 1552120602.316 * * [simplify]: Extracting #5: cost 8 inf + 1 1552120602.316 * * [simplify]: Extracting #6: cost 0 inf + 1209 1552120602.316 * [simplify]: Simplified to (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1552120602.316 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))) 1552120602.316 * * * * [progress]: [ 16 / 49 ] simplifiying candidate # 1552120602.316 * [simplify]: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1552120602.316 * * [simplify]: iters left: 5 (5 enodes) 1552120602.317 * * [simplify]: iters left: 4 (16 enodes) 1552120602.319 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.319 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.319 * * [simplify]: Extracting #2: cost 7 inf + 0 1552120602.319 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120602.319 * * [simplify]: Extracting #4: cost 8 inf + 1 1552120602.320 * * [simplify]: Extracting #5: cost 0 inf + 1209 1552120602.320 * [simplify]: Simplified to (fabs (cbrt (exp re))) 1552120602.320 * [simplify]: Simplified (2 1) to (λ (re im) (* (fabs (cbrt (exp re))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (sin im))))) 1552120602.320 * * * * [progress]: [ 17 / 49 ] simplifiying candidate # 1552120602.320 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1552120602.320 * * [simplify]: iters left: 3 (4 enodes) 1552120602.321 * * [simplify]: iters left: 2 (12 enodes) 1552120602.322 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.323 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.323 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.323 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120602.323 * * [simplify]: Extracting #4: cost 6 inf + 1 1552120602.323 * * [simplify]: Extracting #5: cost 0 inf + 667 1552120602.323 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1552120602.323 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))) 1552120602.323 * * * * [progress]: [ 18 / 49 ] simplifiying candidate # 1552120602.323 * [simplify]: Simplifying (sqrt 1) 1552120602.323 * * [simplify]: iters left: 1 (2 enodes) 1552120602.325 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.325 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120602.326 * [simplify]: Simplified to 1 1552120602.326 * [simplify]: Simplified (2 1) to (λ (re im) (* 1 (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))) 1552120602.326 * * * * [progress]: [ 19 / 49 ] simplifiying candidate # 1552120602.326 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1552120602.326 * * [simplify]: iters left: 3 (4 enodes) 1552120602.327 * * [simplify]: iters left: 2 (12 enodes) 1552120602.328 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.328 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.328 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.328 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120602.328 * * [simplify]: Extracting #4: cost 6 inf + 1 1552120602.328 * * [simplify]: Extracting #5: cost 0 inf + 667 1552120602.328 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1552120602.328 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))) 1552120602.329 * * * * [progress]: [ 20 / 49 ] simplifiying candidate # 1552120602.329 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #real (real->posit16 (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))> 1552120602.329 * * * * [progress]: [ 22 / 49 ] simplifiying candidate # 1552120602.329 * * * * [progress]: [ 23 / 49 ] simplifiying candidate # 1552120602.329 * [simplify]: Simplifying (* (sqrt (exp re)) (sin im)) 1552120602.329 * * [simplify]: iters left: 4 (6 enodes) 1552120602.330 * * [simplify]: iters left: 3 (19 enodes) 1552120602.335 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.335 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.335 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120602.335 * * [simplify]: Extracting #3: cost 7 inf + 123 1552120602.335 * * [simplify]: Extracting #4: cost 6 inf + 124 1552120602.335 * * [simplify]: Extracting #5: cost 0 inf + 912 1552120602.335 * [simplify]: Simplified to (* (sin im) (sqrt (exp re))) 1552120602.335 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (pow (* (sin im) (sqrt (exp re))) 1))) 1552120602.335 * * * * [progress]: [ 24 / 49 ] simplifiying candidate # 1552120602.335 * * * * [progress]: [ 25 / 49 ] simplifiying candidate # 1552120602.335 * [simplify]: Simplifying (+ (log (sqrt (exp re))) (log (sin im))) 1552120602.335 * * [simplify]: iters left: 5 (8 enodes) 1552120602.337 * * [simplify]: iters left: 4 (25 enodes) 1552120602.340 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.340 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.340 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120602.340 * * [simplify]: Extracting #3: cost 12 inf + 0 1552120602.340 * * [simplify]: Extracting #4: cost 12 inf + 62 1552120602.340 * * [simplify]: Extracting #5: cost 8 inf + 386 1552120602.340 * * [simplify]: Extracting #6: cost 7 inf + 457 1552120602.341 * * [simplify]: Extracting #7: cost 2 inf + 1283 1552120602.341 * * [simplify]: Extracting #8: cost 0 inf + 1816 1552120602.341 * [simplify]: Simplified to (+ (log (sqrt (exp re))) (log (sin im))) 1552120602.341 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (exp (+ (log (sqrt (exp re))) (log (sin im)))))) 1552120602.341 * * * * [progress]: [ 26 / 49 ] simplifiying candidate # 1552120602.341 * * * * [progress]: [ 27 / 49 ] simplifiying candidate # 1552120602.341 * * * * [progress]: [ 28 / 49 ] simplifiying candidate # 1552120602.341 * [simplify]: Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))) 1552120602.342 * * [simplify]: iters left: 6 (10 enodes) 1552120602.346 * * [simplify]: iters left: 5 (35 enodes) 1552120602.357 * * [simplify]: iters left: 4 (65 enodes) 1552120602.381 * * [simplify]: iters left: 3 (112 enodes) 1552120602.416 * * [simplify]: iters left: 2 (136 enodes) 1552120602.438 * * [simplify]: iters left: 1 (137 enodes) 1552120602.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.452 * * [simplify]: Extracting #1: cost 17 inf + 0 1552120602.453 * * [simplify]: Extracting #2: cost 32 inf + 1 1552120602.453 * * [simplify]: Extracting #3: cost 30 inf + 3 1552120602.453 * * [simplify]: Extracting #4: cost 21 inf + 1074 1552120602.454 * * [simplify]: Extracting #5: cost 5 inf + 4591 1552120602.455 * * [simplify]: Extracting #6: cost 0 inf + 5811 1552120602.457 * [simplify]: Simplified to (* (* (sqrt (exp re)) (* (* (sin im) (sin im)) (sin im))) (exp re)) 1552120602.457 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (cbrt (* (* (sqrt (exp re)) (* (* (sin im) (sin im)) (sin im))) (exp re))))) 1552120602.457 * * * * [progress]: [ 29 / 49 ] simplifiying candidate # 1552120602.457 * * * * [progress]: [ 30 / 49 ] simplifiying candidate # 1552120602.457 * * * * [progress]: [ 31 / 49 ] simplifiying candidate # 1552120602.457 * * * * [progress]: [ 32 / 49 ] simplifiying candidate # 1552120602.457 * * * * [progress]: [ 33 / 49 ] simplifiying candidate # 1552120602.457 * [simplify]: Simplifying (cbrt (sin im)) 1552120602.457 * * [simplify]: iters left: 2 (3 enodes) 1552120602.458 * * [simplify]: iters left: 1 (9 enodes) 1552120602.459 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.459 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.459 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.459 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120602.459 * * [simplify]: Extracting #4: cost 0 inf + 405 1552120602.459 * [simplify]: Simplified to (cbrt (sin im)) 1552120602.459 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im))))) 1552120602.459 * * * * [progress]: [ 34 / 49 ] simplifiying candidate # 1552120602.459 * [simplify]: Simplifying (sqrt (sin im)) 1552120602.459 * * [simplify]: iters left: 2 (3 enodes) 1552120602.460 * * [simplify]: iters left: 1 (9 enodes) 1552120602.461 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.461 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.461 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.461 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120602.461 * * [simplify]: Extracting #4: cost 0 inf + 325 1552120602.461 * [simplify]: Simplified to (sqrt (sin im)) 1552120602.461 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (sqrt (sin im))) (sqrt (sin im))))) 1552120602.461 * * * * [progress]: [ 35 / 49 ] simplifiying candidate # 1552120602.461 * [simplify]: Simplifying (sin im) 1552120602.461 * * [simplify]: iters left: 1 (2 enodes) 1552120602.462 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.462 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.462 * * [simplify]: Extracting #2: cost 2 inf + 1 1552120602.462 * * [simplify]: Extracting #3: cost 0 inf + 123 1552120602.462 * [simplify]: Simplified to (sin im) 1552120602.462 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) 1) (sin im)))) 1552120602.462 * * * * [progress]: [ 36 / 49 ] simplifiying candidate # 1552120602.462 * [simplify]: Simplifying (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1552120602.462 * * [simplify]: iters left: 5 (5 enodes) 1552120602.463 * * [simplify]: iters left: 4 (15 enodes) 1552120602.465 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.465 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.465 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.465 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120602.465 * * [simplify]: Extracting #4: cost 9 inf + 0 1552120602.465 * * [simplify]: Extracting #5: cost 8 inf + 1 1552120602.466 * * [simplify]: Extracting #6: cost 0 inf + 1209 1552120602.466 * [simplify]: Simplified to (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1552120602.466 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (sin im))))) 1552120602.466 * * * * [progress]: [ 37 / 49 ] simplifiying candidate # 1552120602.466 * [simplify]: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1552120602.466 * * [simplify]: iters left: 5 (5 enodes) 1552120602.467 * * [simplify]: iters left: 4 (16 enodes) 1552120602.469 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.469 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.469 * * [simplify]: Extracting #2: cost 7 inf + 0 1552120602.469 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120602.469 * * [simplify]: Extracting #4: cost 8 inf + 1 1552120602.469 * * [simplify]: Extracting #5: cost 0 inf + 1209 1552120602.470 * [simplify]: Simplified to (fabs (cbrt (exp re))) 1552120602.470 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (fabs (cbrt (exp re))) (* (sqrt (cbrt (exp re))) (sin im))))) 1552120602.470 * * * * [progress]: [ 38 / 49 ] simplifiying candidate # 1552120602.470 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1552120602.470 * * [simplify]: iters left: 3 (4 enodes) 1552120602.471 * * [simplify]: iters left: 2 (12 enodes) 1552120602.472 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.472 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.472 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.472 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120602.472 * * [simplify]: Extracting #4: cost 6 inf + 1 1552120602.472 * * [simplify]: Extracting #5: cost 0 inf + 667 1552120602.472 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1552120602.473 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (sin im))))) 1552120602.473 * * * * [progress]: [ 39 / 49 ] simplifiying candidate # 1552120602.473 * [simplify]: Simplifying (sqrt 1) 1552120602.473 * * [simplify]: iters left: 1 (2 enodes) 1552120602.475 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.475 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120602.475 * [simplify]: Simplified to 1 1552120602.475 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* 1 (* (sqrt (exp re)) (sin im))))) 1552120602.475 * * * * [progress]: [ 40 / 49 ] simplifiying candidate # 1552120602.475 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1552120602.475 * * [simplify]: iters left: 3 (4 enodes) 1552120602.476 * * [simplify]: iters left: 2 (12 enodes) 1552120602.477 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.477 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120602.477 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120602.478 * * [simplify]: Extracting #3: cost 7 inf + 0 1552120602.478 * * [simplify]: Extracting #4: cost 6 inf + 1 1552120602.478 * * [simplify]: Extracting #5: cost 0 inf + 667 1552120602.478 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1552120602.478 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (sin im))))) 1552120602.478 * * * * [progress]: [ 41 / 49 ] simplifiying candidate # 1552120602.478 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #real (real->posit16 (* (sqrt (exp re)) (sin im))))))> 1552120602.478 * * * * [progress]: [ 43 / 49 ] simplifiying candidate # 1552120602.478 * * * * [progress]: [ 44 / 49 ] simplifiying candidate # 1552120602.478 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120602.478 * * [simplify]: iters left: 6 (10 enodes) 1552120602.481 * * [simplify]: iters left: 5 (43 enodes) 1552120602.488 * * [simplify]: iters left: 4 (77 enodes) 1552120602.515 * * [simplify]: iters left: 3 (128 enodes) 1552120602.542 * * [simplify]: iters left: 2 (173 enodes) 1552120602.566 * * [simplify]: iters left: 1 (199 enodes) 1552120602.593 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.593 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120602.593 * * [simplify]: Extracting #2: cost 30 inf + 1 1552120602.594 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120602.594 * * [simplify]: Extracting #4: cost 23 inf + 834 1552120602.595 * * [simplify]: Extracting #5: cost 4 inf + 3207 1552120602.596 * * [simplify]: Extracting #6: cost 0 inf + 3779 1552120602.597 * [simplify]: Simplified to (+ im (* (+ (* im (* 1/2 re)) im) re)) 1552120602.597 * [simplify]: Simplified (2) to (λ (re im) (+ im (* (+ (* im (* 1/2 re)) im) re))) 1552120602.597 * * * * [progress]: [ 45 / 49 ] simplifiying candidate # 1552120602.597 * [simplify]: Simplifying (* (sin im) (exp re)) 1552120602.597 * * [simplify]: iters left: 3 (5 enodes) 1552120602.599 * * [simplify]: iters left: 2 (16 enodes) 1552120602.601 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.601 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.601 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120602.601 * * [simplify]: Extracting #3: cost 4 inf + 144 1552120602.601 * * [simplify]: Extracting #4: cost 0 inf + 610 1552120602.601 * [simplify]: Simplified to (* (exp re) (sin im)) 1552120602.601 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1552120602.601 * * * * [progress]: [ 46 / 49 ] simplifiying candidate # 1552120602.601 * [simplify]: Simplifying (* (sin im) (exp re)) 1552120602.601 * * [simplify]: iters left: 3 (5 enodes) 1552120602.602 * * [simplify]: iters left: 2 (16 enodes) 1552120602.604 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.604 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.604 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120602.604 * * [simplify]: Extracting #3: cost 4 inf + 144 1552120602.605 * * [simplify]: Extracting #4: cost 0 inf + 610 1552120602.605 * [simplify]: Simplified to (* (exp re) (sin im)) 1552120602.605 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1552120602.605 * * * * [progress]: [ 47 / 49 ] simplifiying candidate # 1552120602.605 * [simplify]: Simplifying (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) 1552120602.605 * * [simplify]: iters left: 6 (12 enodes) 1552120602.609 * * [simplify]: iters left: 5 (49 enodes) 1552120602.620 * * [simplify]: iters left: 4 (82 enodes) 1552120602.650 * * [simplify]: iters left: 3 (129 enodes) 1552120602.693 * * [simplify]: iters left: 2 (184 enodes) 1552120602.753 * * [simplify]: iters left: 1 (217 enodes) 1552120602.809 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.809 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120602.810 * * [simplify]: Extracting #2: cost 32 inf + 1 1552120602.810 * * [simplify]: Extracting #3: cost 40 inf + 172 1552120602.811 * * [simplify]: Extracting #4: cost 22 inf + 1493 1552120602.813 * * [simplify]: Extracting #5: cost 2 inf + 3994 1552120602.815 * * [simplify]: Extracting #6: cost 0 inf + 4122 1552120602.817 * [simplify]: Simplified to (+ im (* (* (+ (* 1/8 re) 1/2) re) im)) 1552120602.817 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (+ im (* (* (+ (* 1/8 re) 1/2) re) im)))) 1552120602.817 * * * * [progress]: [ 48 / 49 ] simplifiying candidate # 1552120602.818 * [simplify]: Simplifying (* (sin im) (sqrt (exp re))) 1552120602.818 * * [simplify]: iters left: 4 (6 enodes) 1552120602.820 * * [simplify]: iters left: 3 (19 enodes) 1552120602.824 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.824 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.824 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120602.825 * * [simplify]: Extracting #3: cost 9 inf + 1 1552120602.825 * * [simplify]: Extracting #4: cost 0 inf + 912 1552120602.825 * [simplify]: Simplified to (* (sin im) (sqrt (exp re))) 1552120602.825 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (* (sin im) (sqrt (exp re))))) 1552120602.825 * * * * [progress]: [ 49 / 49 ] simplifiying candidate # 1552120602.825 * [simplify]: Simplifying (* (sin im) (sqrt (exp re))) 1552120602.825 * * [simplify]: iters left: 4 (6 enodes) 1552120602.828 * * [simplify]: iters left: 3 (19 enodes) 1552120602.833 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120602.833 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120602.833 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120602.833 * * [simplify]: Extracting #3: cost 9 inf + 1 1552120602.834 * * [simplify]: Extracting #4: cost 0 inf + 912 1552120602.834 * [simplify]: Simplified to (* (sin im) (sqrt (exp re))) 1552120602.834 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (* (sin im) (sqrt (exp re))))) 1552120602.834 * * * [progress]: adding candidates to table 1552120603.322 * * [progress]: iteration 3 / 4 1552120603.322 * * * [progress]: picking best candidate 1552120603.323 * * * * [pick]: Picked # 1552120603.324 * * * [progress]: localizing error 1552120603.344 * * * [progress]: generating rewritten candidates 1552120603.344 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1552120603.357 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1552120603.361 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 1552120603.367 * * * [progress]: generating series expansions 1552120603.367 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1552120603.367 * [backup-simplify]: Simplify (* (+ (* im (* 1/2 re)) im) re) into (* re (+ (* 1/2 (* re im)) im)) 1552120603.367 * [approximate]: Taking taylor expansion of (* re (+ (* 1/2 (* re im)) im)) in (im re) around 0 1552120603.367 * [taylor]: Taking taylor expansion of (* re (+ (* 1/2 (* re im)) im)) in re 1552120603.367 * [taylor]: Taking taylor expansion of re in re 1552120603.367 * [backup-simplify]: Simplify 0 into 0 1552120603.367 * [backup-simplify]: Simplify 1 into 1 1552120603.367 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in re 1552120603.367 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in re 1552120603.367 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.367 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.367 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.367 * [taylor]: Taking taylor expansion of re in re 1552120603.368 * [backup-simplify]: Simplify 0 into 0 1552120603.368 * [backup-simplify]: Simplify 1 into 1 1552120603.368 * [taylor]: Taking taylor expansion of im in re 1552120603.368 * [backup-simplify]: Simplify im into im 1552120603.368 * [taylor]: Taking taylor expansion of im in re 1552120603.368 * [backup-simplify]: Simplify im into im 1552120603.368 * [taylor]: Taking taylor expansion of (* re (+ (* 1/2 (* re im)) im)) in im 1552120603.368 * [taylor]: Taking taylor expansion of re in im 1552120603.368 * [backup-simplify]: Simplify re into re 1552120603.368 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in im 1552120603.368 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in im 1552120603.368 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.368 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.368 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.368 * [taylor]: Taking taylor expansion of re in im 1552120603.368 * [backup-simplify]: Simplify re into re 1552120603.368 * [taylor]: Taking taylor expansion of im in im 1552120603.368 * [backup-simplify]: Simplify 0 into 0 1552120603.368 * [backup-simplify]: Simplify 1 into 1 1552120603.368 * [taylor]: Taking taylor expansion of im in im 1552120603.368 * [backup-simplify]: Simplify 0 into 0 1552120603.368 * [backup-simplify]: Simplify 1 into 1 1552120603.368 * [taylor]: Taking taylor expansion of (* re (+ (* 1/2 (* re im)) im)) in im 1552120603.368 * [taylor]: Taking taylor expansion of re in im 1552120603.368 * [backup-simplify]: Simplify re into re 1552120603.368 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in im 1552120603.368 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in im 1552120603.368 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.368 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.368 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.368 * [taylor]: Taking taylor expansion of re in im 1552120603.368 * [backup-simplify]: Simplify re into re 1552120603.368 * [taylor]: Taking taylor expansion of im in im 1552120603.368 * [backup-simplify]: Simplify 0 into 0 1552120603.368 * [backup-simplify]: Simplify 1 into 1 1552120603.368 * [taylor]: Taking taylor expansion of im in im 1552120603.368 * [backup-simplify]: Simplify 0 into 0 1552120603.368 * [backup-simplify]: Simplify 1 into 1 1552120603.369 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.369 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120603.370 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.370 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.370 * [taylor]: Taking taylor expansion of 0 in re 1552120603.370 * [backup-simplify]: Simplify 0 into 0 1552120603.370 * [backup-simplify]: Simplify 0 into 0 1552120603.370 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.371 * [backup-simplify]: Simplify (+ (* 1/2 re) (* 0 0)) into (* 1/2 re) 1552120603.371 * [backup-simplify]: Simplify (+ (* 1/2 re) 1) into (+ (* 1/2 re) 1) 1552120603.371 * [backup-simplify]: Simplify (+ (* re (+ (* 1/2 re) 1)) (* 0 0)) into (+ re (* 1/2 (pow re 2))) 1552120603.371 * [taylor]: Taking taylor expansion of (+ re (* 1/2 (pow re 2))) in re 1552120603.371 * [taylor]: Taking taylor expansion of re in re 1552120603.371 * [backup-simplify]: Simplify 0 into 0 1552120603.372 * [backup-simplify]: Simplify 1 into 1 1552120603.372 * [taylor]: Taking taylor expansion of (* 1/2 (pow re 2)) in re 1552120603.372 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.372 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.372 * [taylor]: Taking taylor expansion of (pow re 2) in re 1552120603.372 * [taylor]: Taking taylor expansion of re in re 1552120603.372 * [backup-simplify]: Simplify 0 into 0 1552120603.372 * [backup-simplify]: Simplify 1 into 1 1552120603.372 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.372 * [backup-simplify]: Simplify 0 into 0 1552120603.372 * [backup-simplify]: Simplify 0 into 0 1552120603.373 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.374 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 re) (* 0 0))) into 0 1552120603.374 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.375 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 (+ (* 1/2 re) 1)) (* 0 0))) into 0 1552120603.375 * [taylor]: Taking taylor expansion of 0 in re 1552120603.375 * [backup-simplify]: Simplify 0 into 0 1552120603.375 * [backup-simplify]: Simplify 0 into 0 1552120603.375 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120603.375 * [backup-simplify]: Simplify 1 into 1 1552120603.375 * [backup-simplify]: Simplify 0 into 0 1552120603.376 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.377 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 re) (* 0 0)))) into 0 1552120603.378 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.379 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 (+ (* 1/2 re) 1)) (* 0 0)))) into 0 1552120603.379 * [taylor]: Taking taylor expansion of 0 in re 1552120603.379 * [backup-simplify]: Simplify 0 into 0 1552120603.379 * [backup-simplify]: Simplify 0 into 0 1552120603.379 * [backup-simplify]: Simplify 0 into 0 1552120603.379 * [backup-simplify]: Simplify (* 1 1) into 1 1552120603.380 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.380 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1552120603.380 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.380 * [backup-simplify]: Simplify 0 into 0 1552120603.381 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552120603.383 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 re) (* 0 0))))) into 0 1552120603.383 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.384 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (+ (* 1/2 re) 1)) (* 0 0))))) into 0 1552120603.384 * [taylor]: Taking taylor expansion of 0 in re 1552120603.384 * [backup-simplify]: Simplify 0 into 0 1552120603.384 * [backup-simplify]: Simplify 0 into 0 1552120603.384 * [backup-simplify]: Simplify 0 into 0 1552120603.384 * [backup-simplify]: Simplify 0 into 0 1552120603.385 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120603.386 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120603.386 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.386 * [backup-simplify]: Simplify 0 into 0 1552120603.386 * [backup-simplify]: Simplify 0 into 0 1552120603.386 * [backup-simplify]: Simplify (+ (* 1/2 (* (pow re 2) im)) (* 1 (* re im))) into (+ (* 1/2 (* (pow re 2) im)) (* re im)) 1552120603.387 * [backup-simplify]: Simplify (* (+ (* (/ 1 im) (* 1/2 (/ 1 re))) (/ 1 im)) (/ 1 re)) into (/ (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) 1552120603.387 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) in (im re) around 0 1552120603.387 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) in re 1552120603.387 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) in re 1552120603.387 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1552120603.387 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.387 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.387 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1552120603.387 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.387 * [taylor]: Taking taylor expansion of re in re 1552120603.387 * [backup-simplify]: Simplify 0 into 0 1552120603.387 * [backup-simplify]: Simplify 1 into 1 1552120603.387 * [taylor]: Taking taylor expansion of im in re 1552120603.387 * [backup-simplify]: Simplify im into im 1552120603.387 * [backup-simplify]: Simplify (* 0 im) into 0 1552120603.388 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1552120603.388 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.388 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120603.388 * [taylor]: Taking taylor expansion of im in re 1552120603.388 * [backup-simplify]: Simplify im into im 1552120603.388 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.388 * [taylor]: Taking taylor expansion of re in re 1552120603.388 * [backup-simplify]: Simplify 0 into 0 1552120603.388 * [backup-simplify]: Simplify 1 into 1 1552120603.388 * [backup-simplify]: Simplify (* 1/2 (/ 1 im)) into (/ 1/2 im) 1552120603.388 * [backup-simplify]: Simplify (+ (/ 1/2 im) 0) into (* 1/2 (/ 1 im)) 1552120603.388 * [backup-simplify]: Simplify (/ (* 1/2 (/ 1 im)) 1) into (/ 1/2 im) 1552120603.388 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) in im 1552120603.388 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.388 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.388 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.388 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.388 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.388 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.388 * [taylor]: Taking taylor expansion of re in im 1552120603.388 * [backup-simplify]: Simplify re into re 1552120603.388 * [taylor]: Taking taylor expansion of im in im 1552120603.388 * [backup-simplify]: Simplify 0 into 0 1552120603.388 * [backup-simplify]: Simplify 1 into 1 1552120603.389 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.389 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.389 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.389 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.389 * [taylor]: Taking taylor expansion of im in im 1552120603.389 * [backup-simplify]: Simplify 0 into 0 1552120603.389 * [backup-simplify]: Simplify 1 into 1 1552120603.390 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.390 * [taylor]: Taking taylor expansion of re in im 1552120603.390 * [backup-simplify]: Simplify re into re 1552120603.390 * [backup-simplify]: Simplify (* 1/2 (/ 1 re)) into (/ 1/2 re) 1552120603.390 * [backup-simplify]: Simplify (+ (/ 1/2 re) 1) into (+ (* 1/2 (/ 1 re)) 1) 1552120603.390 * [backup-simplify]: Simplify (/ (+ (* 1/2 (/ 1 re)) 1) re) into (/ (+ (* 1/2 (/ 1 re)) 1) re) 1552120603.390 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) in im 1552120603.390 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.390 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.390 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.390 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.390 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.390 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.390 * [taylor]: Taking taylor expansion of re in im 1552120603.390 * [backup-simplify]: Simplify re into re 1552120603.390 * [taylor]: Taking taylor expansion of im in im 1552120603.390 * [backup-simplify]: Simplify 0 into 0 1552120603.390 * [backup-simplify]: Simplify 1 into 1 1552120603.390 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.391 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.391 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.391 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.391 * [taylor]: Taking taylor expansion of im in im 1552120603.391 * [backup-simplify]: Simplify 0 into 0 1552120603.391 * [backup-simplify]: Simplify 1 into 1 1552120603.391 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.391 * [taylor]: Taking taylor expansion of re in im 1552120603.391 * [backup-simplify]: Simplify re into re 1552120603.391 * [backup-simplify]: Simplify (* 1/2 (/ 1 re)) into (/ 1/2 re) 1552120603.391 * [backup-simplify]: Simplify (+ (/ 1/2 re) 1) into (+ (* 1/2 (/ 1 re)) 1) 1552120603.392 * [backup-simplify]: Simplify (/ (+ (* 1/2 (/ 1 re)) 1) re) into (/ (+ (* 1/2 (/ 1 re)) 1) re) 1552120603.392 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 re)) 1) re) in re 1552120603.392 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 re)) 1) in re 1552120603.392 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1552120603.392 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.392 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.392 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120603.392 * [taylor]: Taking taylor expansion of re in re 1552120603.392 * [backup-simplify]: Simplify 0 into 0 1552120603.392 * [backup-simplify]: Simplify 1 into 1 1552120603.392 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.392 * [taylor]: Taking taylor expansion of 1 in re 1552120603.392 * [backup-simplify]: Simplify 1 into 1 1552120603.392 * [taylor]: Taking taylor expansion of re in re 1552120603.392 * [backup-simplify]: Simplify 0 into 0 1552120603.392 * [backup-simplify]: Simplify 1 into 1 1552120603.393 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.393 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.394 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1552120603.394 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.395 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.395 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120603.395 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 re))) into 0 1552120603.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.396 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.397 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (+ (* 1/2 (/ 1 re)) 1) re) (/ 0 re)))) into 0 1552120603.397 * [taylor]: Taking taylor expansion of 0 in re 1552120603.397 * [backup-simplify]: Simplify 0 into 0 1552120603.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.398 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120603.399 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.400 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1/2 (/ 0 1)))) into 1 1552120603.400 * [backup-simplify]: Simplify 1 into 1 1552120603.401 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.402 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 1552120603.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.403 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.404 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (+ (* 1/2 (/ 1 re)) 1) re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.404 * [taylor]: Taking taylor expansion of 0 in re 1552120603.404 * [backup-simplify]: Simplify 0 into 0 1552120603.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.406 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.406 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1552120603.408 * [backup-simplify]: Simplify 0 into 0 1552120603.409 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552120603.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.410 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 1552120603.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.411 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.412 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (+ (* 1/2 (/ 1 re)) 1) re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.412 * [taylor]: Taking taylor expansion of 0 in re 1552120603.412 * [backup-simplify]: Simplify 0 into 0 1552120603.412 * [backup-simplify]: Simplify 0 into 0 1552120603.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.419 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120603.420 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.422 * [backup-simplify]: Simplify 0 into 0 1552120603.423 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1552120603.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.426 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re)))))) into 0 1552120603.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.427 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.428 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (+ (* 1/2 (/ 1 re)) 1) re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.428 * [taylor]: Taking taylor expansion of 0 in re 1552120603.428 * [backup-simplify]: Simplify 0 into 0 1552120603.428 * [backup-simplify]: Simplify 0 into 0 1552120603.428 * [backup-simplify]: Simplify 0 into 0 1552120603.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.430 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120603.430 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.432 * [backup-simplify]: Simplify 0 into 0 1552120603.432 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 re)) (/ 1 (/ 1 im)))) (* 1/2 (* (pow (/ 1 re) -2) (/ 1 (/ 1 im))))) into (+ (* 1/2 (* (pow re 2) im)) (* re im)) 1552120603.432 * [backup-simplify]: Simplify (* (+ (* (/ 1 (- im)) (* 1/2 (/ 1 (- re)))) (/ 1 (- im))) (/ 1 (- re))) into (* -1 (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re)) 1552120603.432 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re)) in (im re) around 0 1552120603.432 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re)) in re 1552120603.432 * [taylor]: Taking taylor expansion of -1 in re 1552120603.432 * [backup-simplify]: Simplify -1 into -1 1552120603.432 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) in re 1552120603.432 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) in re 1552120603.432 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1552120603.433 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.433 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.433 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1552120603.433 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.433 * [taylor]: Taking taylor expansion of re in re 1552120603.433 * [backup-simplify]: Simplify 0 into 0 1552120603.433 * [backup-simplify]: Simplify 1 into 1 1552120603.433 * [taylor]: Taking taylor expansion of im in re 1552120603.433 * [backup-simplify]: Simplify im into im 1552120603.433 * [backup-simplify]: Simplify (* 0 im) into 0 1552120603.433 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1552120603.433 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.433 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120603.433 * [taylor]: Taking taylor expansion of im in re 1552120603.433 * [backup-simplify]: Simplify im into im 1552120603.433 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.433 * [taylor]: Taking taylor expansion of re in re 1552120603.434 * [backup-simplify]: Simplify 0 into 0 1552120603.434 * [backup-simplify]: Simplify 1 into 1 1552120603.434 * [backup-simplify]: Simplify (* 1/2 (/ 1 im)) into (/ 1/2 im) 1552120603.434 * [backup-simplify]: Simplify (+ (/ 1/2 im) 0) into (* 1/2 (/ 1 im)) 1552120603.434 * [backup-simplify]: Simplify (/ (* 1/2 (/ 1 im)) 1) into (/ 1/2 im) 1552120603.434 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re)) in im 1552120603.434 * [taylor]: Taking taylor expansion of -1 in im 1552120603.434 * [backup-simplify]: Simplify -1 into -1 1552120603.434 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) in im 1552120603.434 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.434 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.434 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.434 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.434 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.434 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.434 * [taylor]: Taking taylor expansion of re in im 1552120603.434 * [backup-simplify]: Simplify re into re 1552120603.434 * [taylor]: Taking taylor expansion of im in im 1552120603.434 * [backup-simplify]: Simplify 0 into 0 1552120603.434 * [backup-simplify]: Simplify 1 into 1 1552120603.434 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.435 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.435 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.435 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.435 * [taylor]: Taking taylor expansion of im in im 1552120603.435 * [backup-simplify]: Simplify 0 into 0 1552120603.435 * [backup-simplify]: Simplify 1 into 1 1552120603.435 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.435 * [taylor]: Taking taylor expansion of re in im 1552120603.435 * [backup-simplify]: Simplify re into re 1552120603.435 * [backup-simplify]: Simplify (* 1/2 (/ 1 re)) into (/ 1/2 re) 1552120603.436 * [backup-simplify]: Simplify (- 1) into -1 1552120603.436 * [backup-simplify]: Simplify (+ (/ 1/2 re) -1) into (- (* 1/2 (/ 1 re)) 1) 1552120603.436 * [backup-simplify]: Simplify (/ (- (* 1/2 (/ 1 re)) 1) re) into (/ (- (* 1/2 (/ 1 re)) 1) re) 1552120603.436 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re)) in im 1552120603.436 * [taylor]: Taking taylor expansion of -1 in im 1552120603.436 * [backup-simplify]: Simplify -1 into -1 1552120603.436 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) re) in im 1552120603.436 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.436 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.436 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.436 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.436 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.436 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.436 * [taylor]: Taking taylor expansion of re in im 1552120603.436 * [backup-simplify]: Simplify re into re 1552120603.436 * [taylor]: Taking taylor expansion of im in im 1552120603.436 * [backup-simplify]: Simplify 0 into 0 1552120603.436 * [backup-simplify]: Simplify 1 into 1 1552120603.437 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.437 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.437 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.437 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.437 * [taylor]: Taking taylor expansion of im in im 1552120603.437 * [backup-simplify]: Simplify 0 into 0 1552120603.437 * [backup-simplify]: Simplify 1 into 1 1552120603.438 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.438 * [taylor]: Taking taylor expansion of re in im 1552120603.438 * [backup-simplify]: Simplify re into re 1552120603.438 * [backup-simplify]: Simplify (* 1/2 (/ 1 re)) into (/ 1/2 re) 1552120603.438 * [backup-simplify]: Simplify (- 1) into -1 1552120603.438 * [backup-simplify]: Simplify (+ (/ 1/2 re) -1) into (- (* 1/2 (/ 1 re)) 1) 1552120603.438 * [backup-simplify]: Simplify (/ (- (* 1/2 (/ 1 re)) 1) re) into (/ (- (* 1/2 (/ 1 re)) 1) re) 1552120603.438 * [backup-simplify]: Simplify (* -1 (/ (- (* 1/2 (/ 1 re)) 1) re)) into (* -1 (/ (- (* 1/2 (/ 1 re)) 1) re)) 1552120603.439 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 re)) 1) re)) in re 1552120603.439 * [taylor]: Taking taylor expansion of -1 in re 1552120603.439 * [backup-simplify]: Simplify -1 into -1 1552120603.439 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 re)) 1) re) in re 1552120603.439 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 re)) 1) in re 1552120603.439 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1552120603.439 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.439 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.439 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120603.439 * [taylor]: Taking taylor expansion of re in re 1552120603.439 * [backup-simplify]: Simplify 0 into 0 1552120603.439 * [backup-simplify]: Simplify 1 into 1 1552120603.439 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.439 * [taylor]: Taking taylor expansion of 1 in re 1552120603.439 * [backup-simplify]: Simplify 1 into 1 1552120603.439 * [taylor]: Taking taylor expansion of re in re 1552120603.439 * [backup-simplify]: Simplify 0 into 0 1552120603.439 * [backup-simplify]: Simplify 1 into 1 1552120603.440 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.440 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.441 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1552120603.441 * [backup-simplify]: Simplify (* -1 1/2) into -1/2 1552120603.441 * [backup-simplify]: Simplify -1/2 into -1/2 1552120603.442 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120603.443 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 re))) into 0 1552120603.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.444 * [backup-simplify]: Simplify (- 0) into 0 1552120603.444 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.444 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (- (* 1/2 (/ 1 re)) 1) re) (/ 0 re)))) into 0 1552120603.445 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (- (* 1/2 (/ 1 re)) 1) re))) into 0 1552120603.445 * [taylor]: Taking taylor expansion of 0 in re 1552120603.445 * [backup-simplify]: Simplify 0 into 0 1552120603.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.446 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120603.447 * [backup-simplify]: Simplify (- 1) into -1 1552120603.447 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120603.448 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1/2 (/ 0 1)))) into -1 1552120603.449 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 1/2)) into 1 1552120603.449 * [backup-simplify]: Simplify 1 into 1 1552120603.450 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.451 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 1552120603.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.453 * [backup-simplify]: Simplify (- 0) into 0 1552120603.453 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.453 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (- (* 1/2 (/ 1 re)) 1) re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.454 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (- (* 1/2 (/ 1 re)) 1) re)))) into 0 1552120603.454 * [taylor]: Taking taylor expansion of 0 in re 1552120603.454 * [backup-simplify]: Simplify 0 into 0 1552120603.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.456 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.456 * [backup-simplify]: Simplify (- 0) into 0 1552120603.457 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* -1 (/ 0 1)))) into 0 1552120603.459 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 -1) (* 0 1/2))) into 0 1552120603.459 * [backup-simplify]: Simplify 0 into 0 1552120603.460 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552120603.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.461 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 1552120603.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.463 * [backup-simplify]: Simplify (- 0) into 0 1552120603.463 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.463 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (- (* 1/2 (/ 1 re)) 1) re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.464 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (- (* 1/2 (/ 1 re)) 1) re))))) into 0 1552120603.464 * [taylor]: Taking taylor expansion of 0 in re 1552120603.465 * [backup-simplify]: Simplify 0 into 0 1552120603.465 * [backup-simplify]: Simplify 0 into 0 1552120603.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.467 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120603.467 * [backup-simplify]: Simplify (- 0) into 0 1552120603.467 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.470 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1/2)))) into 0 1552120603.470 * [backup-simplify]: Simplify 0 into 0 1552120603.471 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1552120603.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.473 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re)))))) into 0 1552120603.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.474 * [backup-simplify]: Simplify (- 0) into 0 1552120603.475 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.475 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ (- (* 1/2 (/ 1 re)) 1) re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.477 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (- (* 1/2 (/ 1 re)) 1) re)))))) into 0 1552120603.477 * [taylor]: Taking taylor expansion of 0 in re 1552120603.477 * [backup-simplify]: Simplify 0 into 0 1552120603.477 * [backup-simplify]: Simplify 0 into 0 1552120603.477 * [backup-simplify]: Simplify 0 into 0 1552120603.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.479 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120603.480 * [backup-simplify]: Simplify (- 0) into 0 1552120603.480 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.483 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1/2))))) into 0 1552120603.483 * [backup-simplify]: Simplify 0 into 0 1552120603.483 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- re))) (/ 1 (/ 1 (- im))))) (* -1/2 (* (pow (/ 1 (- re)) -2) (/ 1 (/ 1 (- im)))))) into (+ (* 1/2 (* (pow re 2) im)) (* re im)) 1552120603.483 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1552120603.484 * [backup-simplify]: Simplify (+ im (* (+ (* im (* 1/2 re)) im) re)) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120603.484 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in (im re) around 0 1552120603.484 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in re 1552120603.484 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in re 1552120603.484 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.484 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.484 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1552120603.484 * [taylor]: Taking taylor expansion of (pow re 2) in re 1552120603.484 * [taylor]: Taking taylor expansion of re in re 1552120603.484 * [backup-simplify]: Simplify 0 into 0 1552120603.484 * [backup-simplify]: Simplify 1 into 1 1552120603.484 * [taylor]: Taking taylor expansion of im in re 1552120603.484 * [backup-simplify]: Simplify im into im 1552120603.484 * [taylor]: Taking taylor expansion of (+ (* re im) im) in re 1552120603.484 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.484 * [taylor]: Taking taylor expansion of re in re 1552120603.484 * [backup-simplify]: Simplify 0 into 0 1552120603.484 * [backup-simplify]: Simplify 1 into 1 1552120603.484 * [taylor]: Taking taylor expansion of im in re 1552120603.484 * [backup-simplify]: Simplify im into im 1552120603.484 * [taylor]: Taking taylor expansion of im in re 1552120603.484 * [backup-simplify]: Simplify im into im 1552120603.484 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in im 1552120603.484 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in im 1552120603.484 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.484 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.484 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1552120603.484 * [taylor]: Taking taylor expansion of (pow re 2) in im 1552120603.485 * [taylor]: Taking taylor expansion of re in im 1552120603.485 * [backup-simplify]: Simplify re into re 1552120603.485 * [taylor]: Taking taylor expansion of im in im 1552120603.485 * [backup-simplify]: Simplify 0 into 0 1552120603.485 * [backup-simplify]: Simplify 1 into 1 1552120603.485 * [taylor]: Taking taylor expansion of (+ (* re im) im) in im 1552120603.485 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.485 * [taylor]: Taking taylor expansion of re in im 1552120603.485 * [backup-simplify]: Simplify re into re 1552120603.485 * [taylor]: Taking taylor expansion of im in im 1552120603.485 * [backup-simplify]: Simplify 0 into 0 1552120603.485 * [backup-simplify]: Simplify 1 into 1 1552120603.485 * [taylor]: Taking taylor expansion of im in im 1552120603.485 * [backup-simplify]: Simplify 0 into 0 1552120603.485 * [backup-simplify]: Simplify 1 into 1 1552120603.485 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) in im 1552120603.485 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow re 2) im)) in im 1552120603.485 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.485 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.485 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1552120603.485 * [taylor]: Taking taylor expansion of (pow re 2) in im 1552120603.485 * [taylor]: Taking taylor expansion of re in im 1552120603.485 * [backup-simplify]: Simplify re into re 1552120603.485 * [taylor]: Taking taylor expansion of im in im 1552120603.485 * [backup-simplify]: Simplify 0 into 0 1552120603.485 * [backup-simplify]: Simplify 1 into 1 1552120603.485 * [taylor]: Taking taylor expansion of (+ (* re im) im) in im 1552120603.485 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.485 * [taylor]: Taking taylor expansion of re in im 1552120603.485 * [backup-simplify]: Simplify re into re 1552120603.485 * [taylor]: Taking taylor expansion of im in im 1552120603.485 * [backup-simplify]: Simplify 0 into 0 1552120603.485 * [backup-simplify]: Simplify 1 into 1 1552120603.485 * [taylor]: Taking taylor expansion of im in im 1552120603.485 * [backup-simplify]: Simplify 0 into 0 1552120603.485 * [backup-simplify]: Simplify 1 into 1 1552120603.486 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1552120603.486 * [backup-simplify]: Simplify (* (pow re 2) 0) into 0 1552120603.486 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120603.486 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.487 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.487 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.487 * [taylor]: Taking taylor expansion of 0 in re 1552120603.487 * [backup-simplify]: Simplify 0 into 0 1552120603.487 * [backup-simplify]: Simplify 0 into 0 1552120603.487 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1552120603.488 * [backup-simplify]: Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2) 1552120603.488 * [backup-simplify]: Simplify (+ (* 1/2 (pow re 2)) (* 0 0)) into (* 1/2 (pow re 2)) 1552120603.489 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.489 * [backup-simplify]: Simplify (+ re 1) into (+ re 1) 1552120603.489 * [backup-simplify]: Simplify (+ (* 1/2 (pow re 2)) (+ re 1)) into (+ re (+ (* 1/2 (pow re 2)) 1)) 1552120603.489 * [taylor]: Taking taylor expansion of (+ re (+ (* 1/2 (pow re 2)) 1)) in re 1552120603.489 * [taylor]: Taking taylor expansion of re in re 1552120603.489 * [backup-simplify]: Simplify 0 into 0 1552120603.489 * [backup-simplify]: Simplify 1 into 1 1552120603.489 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow re 2)) 1) in re 1552120603.489 * [taylor]: Taking taylor expansion of (* 1/2 (pow re 2)) in re 1552120603.489 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.489 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.489 * [taylor]: Taking taylor expansion of (pow re 2) in re 1552120603.489 * [taylor]: Taking taylor expansion of re in re 1552120603.489 * [backup-simplify]: Simplify 0 into 0 1552120603.489 * [backup-simplify]: Simplify 1 into 1 1552120603.489 * [taylor]: Taking taylor expansion of 1 in re 1552120603.489 * [backup-simplify]: Simplify 1 into 1 1552120603.490 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.490 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.490 * [backup-simplify]: Simplify 1 into 1 1552120603.490 * [backup-simplify]: Simplify 0 into 0 1552120603.491 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (* 0 re))) into 0 1552120603.491 * [backup-simplify]: Simplify (+ (* (pow re 2) 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.492 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 (pow re 2)) (* 0 0))) into 0 1552120603.493 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.493 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.494 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.494 * [taylor]: Taking taylor expansion of 0 in re 1552120603.494 * [backup-simplify]: Simplify 0 into 0 1552120603.494 * [backup-simplify]: Simplify 0 into 0 1552120603.494 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.494 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120603.495 * [backup-simplify]: Simplify 1 into 1 1552120603.495 * [backup-simplify]: Simplify 0 into 0 1552120603.495 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (* 0 re)))) into 0 1552120603.496 * [backup-simplify]: Simplify (+ (* (pow re 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.497 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 (pow re 2)) (* 0 0)))) into 0 1552120603.498 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.499 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.499 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.499 * [taylor]: Taking taylor expansion of 0 in re 1552120603.499 * [backup-simplify]: Simplify 0 into 0 1552120603.499 * [backup-simplify]: Simplify 0 into 0 1552120603.499 * [backup-simplify]: Simplify 0 into 0 1552120603.499 * [backup-simplify]: Simplify (* 1 1) into 1 1552120603.500 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.500 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.501 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1552120603.501 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.501 * [backup-simplify]: Simplify (+ (* 1/2 (* (pow re 2) im)) (+ (* 1 (* re im)) (* 1 (* 1 im)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120603.501 * [backup-simplify]: Simplify (+ (/ 1 im) (* (+ (* (/ 1 im) (* 1/2 (/ 1 re))) (/ 1 im)) (/ 1 re))) into (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) 1552120603.501 * [approximate]: Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in (im re) around 0 1552120603.502 * [taylor]: Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in re 1552120603.502 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1552120603.502 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.502 * [taylor]: Taking taylor expansion of re in re 1552120603.502 * [backup-simplify]: Simplify 0 into 0 1552120603.502 * [backup-simplify]: Simplify 1 into 1 1552120603.502 * [taylor]: Taking taylor expansion of im in re 1552120603.502 * [backup-simplify]: Simplify im into im 1552120603.502 * [backup-simplify]: Simplify (* 0 im) into 0 1552120603.502 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1552120603.502 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.502 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in re 1552120603.502 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in re 1552120603.502 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.502 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.502 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1552120603.502 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1552120603.502 * [taylor]: Taking taylor expansion of (pow re 2) in re 1552120603.502 * [taylor]: Taking taylor expansion of re in re 1552120603.502 * [backup-simplify]: Simplify 0 into 0 1552120603.502 * [backup-simplify]: Simplify 1 into 1 1552120603.503 * [taylor]: Taking taylor expansion of im in re 1552120603.503 * [backup-simplify]: Simplify im into im 1552120603.503 * [backup-simplify]: Simplify (* 1 1) into 1 1552120603.503 * [backup-simplify]: Simplify (* 1 im) into im 1552120603.503 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.503 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120603.503 * [taylor]: Taking taylor expansion of im in re 1552120603.503 * [backup-simplify]: Simplify im into im 1552120603.503 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.503 * [taylor]: Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in im 1552120603.503 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.503 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.503 * [taylor]: Taking taylor expansion of re in im 1552120603.503 * [backup-simplify]: Simplify re into re 1552120603.503 * [taylor]: Taking taylor expansion of im in im 1552120603.503 * [backup-simplify]: Simplify 0 into 0 1552120603.503 * [backup-simplify]: Simplify 1 into 1 1552120603.503 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.504 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.504 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.504 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in im 1552120603.504 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in im 1552120603.504 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.504 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.504 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1552120603.504 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1552120603.504 * [taylor]: Taking taylor expansion of (pow re 2) in im 1552120603.504 * [taylor]: Taking taylor expansion of re in im 1552120603.504 * [backup-simplify]: Simplify re into re 1552120603.504 * [taylor]: Taking taylor expansion of im in im 1552120603.504 * [backup-simplify]: Simplify 0 into 0 1552120603.504 * [backup-simplify]: Simplify 1 into 1 1552120603.504 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1552120603.504 * [backup-simplify]: Simplify (* (pow re 2) 0) into 0 1552120603.504 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1552120603.505 * [backup-simplify]: Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2) 1552120603.505 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1552120603.505 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.505 * [taylor]: Taking taylor expansion of im in im 1552120603.505 * [backup-simplify]: Simplify 0 into 0 1552120603.505 * [backup-simplify]: Simplify 1 into 1 1552120603.505 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.506 * [taylor]: Taking taylor expansion of (+ (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in im 1552120603.506 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.506 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.506 * [taylor]: Taking taylor expansion of re in im 1552120603.506 * [backup-simplify]: Simplify re into re 1552120603.506 * [taylor]: Taking taylor expansion of im in im 1552120603.506 * [backup-simplify]: Simplify 0 into 0 1552120603.506 * [backup-simplify]: Simplify 1 into 1 1552120603.506 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.506 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.506 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.506 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in im 1552120603.506 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in im 1552120603.506 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.506 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.506 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1552120603.506 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1552120603.506 * [taylor]: Taking taylor expansion of (pow re 2) in im 1552120603.506 * [taylor]: Taking taylor expansion of re in im 1552120603.506 * [backup-simplify]: Simplify re into re 1552120603.506 * [taylor]: Taking taylor expansion of im in im 1552120603.507 * [backup-simplify]: Simplify 0 into 0 1552120603.507 * [backup-simplify]: Simplify 1 into 1 1552120603.507 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1552120603.507 * [backup-simplify]: Simplify (* (pow re 2) 0) into 0 1552120603.507 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1552120603.507 * [backup-simplify]: Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2) 1552120603.507 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1552120603.507 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.507 * [taylor]: Taking taylor expansion of im in im 1552120603.507 * [backup-simplify]: Simplify 0 into 0 1552120603.507 * [backup-simplify]: Simplify 1 into 1 1552120603.508 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.508 * [backup-simplify]: Simplify (* 1/2 (/ 1 (pow re 2))) into (/ 1/2 (pow re 2)) 1552120603.508 * [backup-simplify]: Simplify (+ (/ 1/2 (pow re 2)) 1) into (+ (* 1/2 (/ 1 (pow re 2))) 1) 1552120603.508 * [backup-simplify]: Simplify (+ (/ 1 re) (+ (* 1/2 (/ 1 (pow re 2))) 1)) into (+ (/ 1 re) (+ (* 1/2 (/ 1 (pow re 2))) 1)) 1552120603.508 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (+ (* 1/2 (/ 1 (pow re 2))) 1)) in re 1552120603.508 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120603.508 * [taylor]: Taking taylor expansion of re in re 1552120603.508 * [backup-simplify]: Simplify 0 into 0 1552120603.508 * [backup-simplify]: Simplify 1 into 1 1552120603.509 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.509 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow re 2))) 1) in re 1552120603.509 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1552120603.509 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.509 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.509 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1552120603.509 * [taylor]: Taking taylor expansion of (pow re 2) in re 1552120603.509 * [taylor]: Taking taylor expansion of re in re 1552120603.509 * [backup-simplify]: Simplify 0 into 0 1552120603.509 * [backup-simplify]: Simplify 1 into 1 1552120603.509 * [backup-simplify]: Simplify (* 1 1) into 1 1552120603.510 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.510 * [taylor]: Taking taylor expansion of 1 in re 1552120603.510 * [backup-simplify]: Simplify 1 into 1 1552120603.511 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.511 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.512 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1552120603.512 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.512 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.512 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120603.513 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (* 0 re))) into 0 1552120603.513 * [backup-simplify]: Simplify (+ (* (pow re 2) 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.514 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow re 2)) (/ 0 (pow re 2))))) into 0 1552120603.514 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 (pow re 2)))) into 0 1552120603.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.515 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.516 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.516 * [taylor]: Taking taylor expansion of 0 in re 1552120603.516 * [backup-simplify]: Simplify 0 into 0 1552120603.516 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120603.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.518 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120603.518 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.519 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120603.519 * [backup-simplify]: Simplify 1 into 1 1552120603.519 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.520 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (* 0 re)))) into 0 1552120603.521 * [backup-simplify]: Simplify (+ (* (pow re 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow re 2)) (/ 0 (pow re 2))) (* 0 (/ 0 (pow re 2))))) into 0 1552120603.522 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 (pow re 2))))) into 0 1552120603.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.524 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.524 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.524 * [taylor]: Taking taylor expansion of 0 in re 1552120603.524 * [backup-simplify]: Simplify 0 into 0 1552120603.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.528 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.528 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.529 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.529 * [backup-simplify]: Simplify 1 into 1 1552120603.529 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 im)))) (+ (* 1 (* (/ 1 (/ 1 re)) (/ 1 (/ 1 im)))) (* 1/2 (* (pow (/ 1 re) -2) (/ 1 (/ 1 im)))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120603.530 * [backup-simplify]: Simplify (+ (/ 1 (- im)) (* (+ (* (/ 1 (- im)) (* 1/2 (/ 1 (- re)))) (/ 1 (- im))) (/ 1 (- re)))) into (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) 1552120603.530 * [approximate]: Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in (im re) around 0 1552120603.530 * [taylor]: Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in re 1552120603.530 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1552120603.530 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.530 * [taylor]: Taking taylor expansion of re in re 1552120603.530 * [backup-simplify]: Simplify 0 into 0 1552120603.530 * [backup-simplify]: Simplify 1 into 1 1552120603.530 * [taylor]: Taking taylor expansion of im in re 1552120603.530 * [backup-simplify]: Simplify im into im 1552120603.530 * [backup-simplify]: Simplify (* 0 im) into 0 1552120603.530 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1552120603.531 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.531 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in re 1552120603.531 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in re 1552120603.531 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.531 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.531 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1552120603.531 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1552120603.531 * [taylor]: Taking taylor expansion of (pow re 2) in re 1552120603.531 * [taylor]: Taking taylor expansion of re in re 1552120603.531 * [backup-simplify]: Simplify 0 into 0 1552120603.531 * [backup-simplify]: Simplify 1 into 1 1552120603.531 * [taylor]: Taking taylor expansion of im in re 1552120603.531 * [backup-simplify]: Simplify im into im 1552120603.531 * [backup-simplify]: Simplify (* 1 1) into 1 1552120603.531 * [backup-simplify]: Simplify (* 1 im) into im 1552120603.531 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.531 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120603.531 * [taylor]: Taking taylor expansion of im in re 1552120603.531 * [backup-simplify]: Simplify im into im 1552120603.531 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.531 * [taylor]: Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in im 1552120603.532 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.532 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.532 * [taylor]: Taking taylor expansion of re in im 1552120603.532 * [backup-simplify]: Simplify re into re 1552120603.532 * [taylor]: Taking taylor expansion of im in im 1552120603.532 * [backup-simplify]: Simplify 0 into 0 1552120603.532 * [backup-simplify]: Simplify 1 into 1 1552120603.532 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.532 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.532 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.532 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in im 1552120603.532 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in im 1552120603.532 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.532 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.532 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1552120603.532 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1552120603.532 * [taylor]: Taking taylor expansion of (pow re 2) in im 1552120603.532 * [taylor]: Taking taylor expansion of re in im 1552120603.532 * [backup-simplify]: Simplify re into re 1552120603.532 * [taylor]: Taking taylor expansion of im in im 1552120603.532 * [backup-simplify]: Simplify 0 into 0 1552120603.533 * [backup-simplify]: Simplify 1 into 1 1552120603.533 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1552120603.533 * [backup-simplify]: Simplify (* (pow re 2) 0) into 0 1552120603.533 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1552120603.533 * [backup-simplify]: Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2) 1552120603.533 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1552120603.533 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.533 * [taylor]: Taking taylor expansion of im in im 1552120603.533 * [backup-simplify]: Simplify 0 into 0 1552120603.533 * [backup-simplify]: Simplify 1 into 1 1552120603.534 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.534 * [taylor]: Taking taylor expansion of (- (/ 1 (* re im)) (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im))) in im 1552120603.534 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.534 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.534 * [taylor]: Taking taylor expansion of re in im 1552120603.534 * [backup-simplify]: Simplify re into re 1552120603.534 * [taylor]: Taking taylor expansion of im in im 1552120603.534 * [backup-simplify]: Simplify 0 into 0 1552120603.534 * [backup-simplify]: Simplify 1 into 1 1552120603.534 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.535 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.535 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.535 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow re 2) im))) (/ 1 im)) in im 1552120603.535 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) im))) in im 1552120603.535 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.535 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.535 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1552120603.535 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1552120603.535 * [taylor]: Taking taylor expansion of (pow re 2) in im 1552120603.535 * [taylor]: Taking taylor expansion of re in im 1552120603.535 * [backup-simplify]: Simplify re into re 1552120603.535 * [taylor]: Taking taylor expansion of im in im 1552120603.535 * [backup-simplify]: Simplify 0 into 0 1552120603.535 * [backup-simplify]: Simplify 1 into 1 1552120603.535 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1552120603.535 * [backup-simplify]: Simplify (* (pow re 2) 0) into 0 1552120603.535 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1552120603.536 * [backup-simplify]: Simplify (+ (* (pow re 2) 1) (* 0 0)) into (pow re 2) 1552120603.536 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1552120603.536 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.536 * [taylor]: Taking taylor expansion of im in im 1552120603.536 * [backup-simplify]: Simplify 0 into 0 1552120603.536 * [backup-simplify]: Simplify 1 into 1 1552120603.536 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.536 * [backup-simplify]: Simplify (* 1/2 (/ 1 (pow re 2))) into (/ 1/2 (pow re 2)) 1552120603.536 * [backup-simplify]: Simplify (+ (/ 1/2 (pow re 2)) 1) into (+ (* 1/2 (/ 1 (pow re 2))) 1) 1552120603.537 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 1 (pow re 2))) 1)) into (- (+ (* 1/2 (/ 1 (pow re 2))) 1)) 1552120603.537 * [backup-simplify]: Simplify (+ (/ 1 re) (- (+ (* 1/2 (/ 1 (pow re 2))) 1))) into (- (/ 1 re) (+ (* 1/2 (/ 1 (pow re 2))) 1)) 1552120603.537 * [taylor]: Taking taylor expansion of (- (/ 1 re) (+ (* 1/2 (/ 1 (pow re 2))) 1)) in re 1552120603.537 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120603.537 * [taylor]: Taking taylor expansion of re in re 1552120603.537 * [backup-simplify]: Simplify 0 into 0 1552120603.537 * [backup-simplify]: Simplify 1 into 1 1552120603.537 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.537 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow re 2))) 1) in re 1552120603.538 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1552120603.538 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.538 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.538 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1552120603.538 * [taylor]: Taking taylor expansion of (pow re 2) in re 1552120603.538 * [taylor]: Taking taylor expansion of re in re 1552120603.538 * [backup-simplify]: Simplify 0 into 0 1552120603.538 * [backup-simplify]: Simplify 1 into 1 1552120603.538 * [backup-simplify]: Simplify (* 1 1) into 1 1552120603.538 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.539 * [taylor]: Taking taylor expansion of 1 in re 1552120603.539 * [backup-simplify]: Simplify 1 into 1 1552120603.539 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.539 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.540 * [backup-simplify]: Simplify (- 1/2) into -1/2 1552120603.540 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1552120603.540 * [backup-simplify]: Simplify -1/2 into -1/2 1552120603.541 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120603.541 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (* 0 re))) into 0 1552120603.542 * [backup-simplify]: Simplify (+ (* (pow re 2) 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow re 2)) (/ 0 (pow re 2))))) into 0 1552120603.543 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 (pow re 2)))) into 0 1552120603.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.544 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.544 * [backup-simplify]: Simplify (- 0) into 0 1552120603.544 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.544 * [taylor]: Taking taylor expansion of 0 in re 1552120603.544 * [backup-simplify]: Simplify 0 into 0 1552120603.545 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120603.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.546 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120603.547 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.547 * [backup-simplify]: Simplify (- 0) into 0 1552120603.547 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120603.547 * [backup-simplify]: Simplify 1 into 1 1552120603.548 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.549 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (* 0 re)))) into 0 1552120603.550 * [backup-simplify]: Simplify (+ (* (pow re 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.550 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow re 2)) (/ 0 (pow re 2))) (* 0 (/ 0 (pow re 2))))) into 0 1552120603.551 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 (pow re 2))))) into 0 1552120603.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.552 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.553 * [backup-simplify]: Simplify (- 0) into 0 1552120603.553 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.553 * [taylor]: Taking taylor expansion of 0 in re 1552120603.553 * [backup-simplify]: Simplify 0 into 0 1552120603.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.557 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.557 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.558 * [backup-simplify]: Simplify (- 1) into -1 1552120603.558 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120603.558 * [backup-simplify]: Simplify -1 into -1 1552120603.559 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- im))))) (+ (* 1 (* (/ 1 (/ 1 (- re))) (/ 1 (/ 1 (- im))))) (* -1/2 (* (pow (/ 1 (- re)) -2) (/ 1 (/ 1 (- im))))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120603.559 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 1552120603.559 * [backup-simplify]: Simplify (+ (* im (* 1/2 re)) im) into (+ (* 1/2 (* re im)) im) 1552120603.559 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in (im re) around 0 1552120603.559 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in re 1552120603.559 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in re 1552120603.559 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.559 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.559 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.559 * [taylor]: Taking taylor expansion of re in re 1552120603.559 * [backup-simplify]: Simplify 0 into 0 1552120603.559 * [backup-simplify]: Simplify 1 into 1 1552120603.560 * [taylor]: Taking taylor expansion of im in re 1552120603.560 * [backup-simplify]: Simplify im into im 1552120603.560 * [taylor]: Taking taylor expansion of im in re 1552120603.560 * [backup-simplify]: Simplify im into im 1552120603.560 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in im 1552120603.560 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in im 1552120603.560 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.560 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.560 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.560 * [taylor]: Taking taylor expansion of re in im 1552120603.560 * [backup-simplify]: Simplify re into re 1552120603.560 * [taylor]: Taking taylor expansion of im in im 1552120603.560 * [backup-simplify]: Simplify 0 into 0 1552120603.560 * [backup-simplify]: Simplify 1 into 1 1552120603.560 * [taylor]: Taking taylor expansion of im in im 1552120603.560 * [backup-simplify]: Simplify 0 into 0 1552120603.560 * [backup-simplify]: Simplify 1 into 1 1552120603.560 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in im 1552120603.560 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in im 1552120603.560 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.560 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.560 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.560 * [taylor]: Taking taylor expansion of re in im 1552120603.560 * [backup-simplify]: Simplify re into re 1552120603.560 * [taylor]: Taking taylor expansion of im in im 1552120603.560 * [backup-simplify]: Simplify 0 into 0 1552120603.560 * [backup-simplify]: Simplify 1 into 1 1552120603.560 * [taylor]: Taking taylor expansion of im in im 1552120603.561 * [backup-simplify]: Simplify 0 into 0 1552120603.561 * [backup-simplify]: Simplify 1 into 1 1552120603.561 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.561 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120603.562 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.562 * [taylor]: Taking taylor expansion of 0 in re 1552120603.562 * [backup-simplify]: Simplify 0 into 0 1552120603.562 * [backup-simplify]: Simplify 0 into 0 1552120603.563 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.563 * [backup-simplify]: Simplify (+ (* 1/2 re) (* 0 0)) into (* 1/2 re) 1552120603.563 * [backup-simplify]: Simplify (+ (* 1/2 re) 1) into (+ (* 1/2 re) 1) 1552120603.563 * [taylor]: Taking taylor expansion of (+ (* 1/2 re) 1) in re 1552120603.563 * [taylor]: Taking taylor expansion of (* 1/2 re) in re 1552120603.564 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.564 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.564 * [taylor]: Taking taylor expansion of re in re 1552120603.564 * [backup-simplify]: Simplify 0 into 0 1552120603.564 * [backup-simplify]: Simplify 1 into 1 1552120603.564 * [taylor]: Taking taylor expansion of 1 in re 1552120603.564 * [backup-simplify]: Simplify 1 into 1 1552120603.564 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120603.567 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.567 * [backup-simplify]: Simplify 1 into 1 1552120603.567 * [backup-simplify]: Simplify 0 into 0 1552120603.568 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.569 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 re) (* 0 0))) into 0 1552120603.569 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.569 * [taylor]: Taking taylor expansion of 0 in re 1552120603.569 * [backup-simplify]: Simplify 0 into 0 1552120603.569 * [backup-simplify]: Simplify 0 into 0 1552120603.570 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1552120603.571 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.571 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.571 * [backup-simplify]: Simplify 0 into 0 1552120603.572 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.573 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 re) (* 0 0)))) into 0 1552120603.573 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.573 * [taylor]: Taking taylor expansion of 0 in re 1552120603.573 * [backup-simplify]: Simplify 0 into 0 1552120603.573 * [backup-simplify]: Simplify 0 into 0 1552120603.573 * [backup-simplify]: Simplify 0 into 0 1552120603.574 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.575 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.575 * [backup-simplify]: Simplify 0 into 0 1552120603.575 * [backup-simplify]: Simplify 0 into 0 1552120603.576 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552120603.577 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 re) (* 0 0))))) into 0 1552120603.577 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.577 * [taylor]: Taking taylor expansion of 0 in re 1552120603.577 * [backup-simplify]: Simplify 0 into 0 1552120603.578 * [backup-simplify]: Simplify 0 into 0 1552120603.578 * [backup-simplify]: Simplify (+ (* 1/2 (* re im)) (* 1 (* 1 im))) into (+ (* 1/2 (* re im)) im) 1552120603.578 * [backup-simplify]: Simplify (+ (* (/ 1 im) (* 1/2 (/ 1 re))) (/ 1 im)) into (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) 1552120603.578 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) in (im re) around 0 1552120603.578 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) in re 1552120603.578 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1552120603.578 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.578 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.578 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1552120603.578 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.578 * [taylor]: Taking taylor expansion of re in re 1552120603.578 * [backup-simplify]: Simplify 0 into 0 1552120603.578 * [backup-simplify]: Simplify 1 into 1 1552120603.578 * [taylor]: Taking taylor expansion of im in re 1552120603.578 * [backup-simplify]: Simplify im into im 1552120603.578 * [backup-simplify]: Simplify (* 0 im) into 0 1552120603.579 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1552120603.579 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.579 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120603.579 * [taylor]: Taking taylor expansion of im in re 1552120603.579 * [backup-simplify]: Simplify im into im 1552120603.579 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.579 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.579 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.579 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.579 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.579 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.579 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.579 * [taylor]: Taking taylor expansion of re in im 1552120603.579 * [backup-simplify]: Simplify re into re 1552120603.579 * [taylor]: Taking taylor expansion of im in im 1552120603.579 * [backup-simplify]: Simplify 0 into 0 1552120603.579 * [backup-simplify]: Simplify 1 into 1 1552120603.579 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.580 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.580 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.580 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.580 * [taylor]: Taking taylor expansion of im in im 1552120603.580 * [backup-simplify]: Simplify 0 into 0 1552120603.580 * [backup-simplify]: Simplify 1 into 1 1552120603.580 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.580 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.580 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.580 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.580 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.580 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.580 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.580 * [taylor]: Taking taylor expansion of re in im 1552120603.580 * [backup-simplify]: Simplify re into re 1552120603.580 * [taylor]: Taking taylor expansion of im in im 1552120603.580 * [backup-simplify]: Simplify 0 into 0 1552120603.580 * [backup-simplify]: Simplify 1 into 1 1552120603.581 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.581 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.581 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.581 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.581 * [taylor]: Taking taylor expansion of im in im 1552120603.581 * [backup-simplify]: Simplify 0 into 0 1552120603.581 * [backup-simplify]: Simplify 1 into 1 1552120603.581 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.582 * [backup-simplify]: Simplify (* 1/2 (/ 1 re)) into (/ 1/2 re) 1552120603.582 * [backup-simplify]: Simplify (+ (/ 1/2 re) 1) into (+ (* 1/2 (/ 1 re)) 1) 1552120603.582 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 re)) 1) in re 1552120603.582 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1552120603.582 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.582 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.582 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120603.582 * [taylor]: Taking taylor expansion of re in re 1552120603.582 * [backup-simplify]: Simplify 0 into 0 1552120603.582 * [backup-simplify]: Simplify 1 into 1 1552120603.582 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.582 * [taylor]: Taking taylor expansion of 1 in re 1552120603.582 * [backup-simplify]: Simplify 1 into 1 1552120603.583 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.583 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.583 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.584 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120603.585 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 re))) into 0 1552120603.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.586 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.586 * [taylor]: Taking taylor expansion of 0 in re 1552120603.586 * [backup-simplify]: Simplify 0 into 0 1552120603.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.587 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120603.588 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120603.588 * [backup-simplify]: Simplify 1 into 1 1552120603.589 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.590 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 1552120603.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.591 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.591 * [taylor]: Taking taylor expansion of 0 in re 1552120603.591 * [backup-simplify]: Simplify 0 into 0 1552120603.591 * [backup-simplify]: Simplify 0 into 0 1552120603.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.593 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.594 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.594 * [backup-simplify]: Simplify 0 into 0 1552120603.595 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552120603.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.596 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 1552120603.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.598 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.598 * [taylor]: Taking taylor expansion of 0 in re 1552120603.598 * [backup-simplify]: Simplify 0 into 0 1552120603.598 * [backup-simplify]: Simplify 0 into 0 1552120603.598 * [backup-simplify]: Simplify 0 into 0 1552120603.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.600 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120603.600 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.600 * [backup-simplify]: Simplify 0 into 0 1552120603.601 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1552120603.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.602 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re)))))) into 0 1552120603.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.603 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.603 * [taylor]: Taking taylor expansion of 0 in re 1552120603.603 * [backup-simplify]: Simplify 0 into 0 1552120603.603 * [backup-simplify]: Simplify 0 into 0 1552120603.603 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 im)))) (* 1/2 (* (/ 1 (/ 1 re)) (/ 1 (/ 1 im))))) into (+ (* 1/2 (* re im)) im) 1552120603.603 * [backup-simplify]: Simplify (+ (* (/ 1 (- im)) (* 1/2 (/ 1 (- re)))) (/ 1 (- im))) into (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) 1552120603.603 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) in (im re) around 0 1552120603.603 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) in re 1552120603.603 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1552120603.604 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.604 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.604 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1552120603.604 * [taylor]: Taking taylor expansion of (* re im) in re 1552120603.604 * [taylor]: Taking taylor expansion of re in re 1552120603.604 * [backup-simplify]: Simplify 0 into 0 1552120603.604 * [backup-simplify]: Simplify 1 into 1 1552120603.604 * [taylor]: Taking taylor expansion of im in re 1552120603.604 * [backup-simplify]: Simplify im into im 1552120603.604 * [backup-simplify]: Simplify (* 0 im) into 0 1552120603.604 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1552120603.604 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.604 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1552120603.604 * [taylor]: Taking taylor expansion of im in re 1552120603.604 * [backup-simplify]: Simplify im into im 1552120603.604 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1552120603.604 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.604 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.604 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.604 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.604 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.604 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.604 * [taylor]: Taking taylor expansion of re in im 1552120603.604 * [backup-simplify]: Simplify re into re 1552120603.604 * [taylor]: Taking taylor expansion of im in im 1552120603.604 * [backup-simplify]: Simplify 0 into 0 1552120603.604 * [backup-simplify]: Simplify 1 into 1 1552120603.604 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.604 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.605 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.605 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.605 * [taylor]: Taking taylor expansion of im in im 1552120603.605 * [backup-simplify]: Simplify 0 into 0 1552120603.605 * [backup-simplify]: Simplify 1 into 1 1552120603.605 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.605 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (/ 1 im)) in im 1552120603.605 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1552120603.605 * [taylor]: Taking taylor expansion of 1/2 in im 1552120603.605 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.605 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1552120603.605 * [taylor]: Taking taylor expansion of (* re im) in im 1552120603.605 * [taylor]: Taking taylor expansion of re in im 1552120603.605 * [backup-simplify]: Simplify re into re 1552120603.605 * [taylor]: Taking taylor expansion of im in im 1552120603.605 * [backup-simplify]: Simplify 0 into 0 1552120603.605 * [backup-simplify]: Simplify 1 into 1 1552120603.605 * [backup-simplify]: Simplify (* re 0) into 0 1552120603.605 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1552120603.605 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1552120603.605 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1552120603.605 * [taylor]: Taking taylor expansion of im in im 1552120603.605 * [backup-simplify]: Simplify 0 into 0 1552120603.605 * [backup-simplify]: Simplify 1 into 1 1552120603.606 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.606 * [backup-simplify]: Simplify (* 1/2 (/ 1 re)) into (/ 1/2 re) 1552120603.606 * [backup-simplify]: Simplify (- 1) into -1 1552120603.606 * [backup-simplify]: Simplify (+ (/ 1/2 re) -1) into (- (* 1/2 (/ 1 re)) 1) 1552120603.606 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 re)) 1) in re 1552120603.606 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1552120603.606 * [taylor]: Taking taylor expansion of 1/2 in re 1552120603.606 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.606 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1552120603.606 * [taylor]: Taking taylor expansion of re in re 1552120603.606 * [backup-simplify]: Simplify 0 into 0 1552120603.606 * [backup-simplify]: Simplify 1 into 1 1552120603.606 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120603.606 * [taylor]: Taking taylor expansion of 1 in re 1552120603.606 * [backup-simplify]: Simplify 1 into 1 1552120603.607 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120603.607 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120603.607 * [backup-simplify]: Simplify 1/2 into 1/2 1552120603.607 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1552120603.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1552120603.608 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 re))) into 0 1552120603.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.608 * [backup-simplify]: Simplify (- 0) into 0 1552120603.609 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.609 * [taylor]: Taking taylor expansion of 0 in re 1552120603.609 * [backup-simplify]: Simplify 0 into 0 1552120603.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120603.610 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120603.610 * [backup-simplify]: Simplify (- 1) into -1 1552120603.610 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120603.610 * [backup-simplify]: Simplify -1 into -1 1552120603.611 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552120603.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.611 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 1552120603.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.612 * [backup-simplify]: Simplify (- 0) into 0 1552120603.612 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.612 * [taylor]: Taking taylor expansion of 0 in re 1552120603.612 * [backup-simplify]: Simplify 0 into 0 1552120603.612 * [backup-simplify]: Simplify 0 into 0 1552120603.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.613 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1552120603.614 * [backup-simplify]: Simplify (- 0) into 0 1552120603.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.614 * [backup-simplify]: Simplify 0 into 0 1552120603.615 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552120603.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.615 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 1552120603.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.616 * [backup-simplify]: Simplify (- 0) into 0 1552120603.616 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.616 * [taylor]: Taking taylor expansion of 0 in re 1552120603.616 * [backup-simplify]: Simplify 0 into 0 1552120603.616 * [backup-simplify]: Simplify 0 into 0 1552120603.616 * [backup-simplify]: Simplify 0 into 0 1552120603.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.618 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120603.618 * [backup-simplify]: Simplify (- 0) into 0 1552120603.618 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.618 * [backup-simplify]: Simplify 0 into 0 1552120603.619 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1552120603.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1552120603.620 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re)))))) into 0 1552120603.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120603.621 * [backup-simplify]: Simplify (- 0) into 0 1552120603.621 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120603.621 * [taylor]: Taking taylor expansion of 0 in re 1552120603.621 * [backup-simplify]: Simplify 0 into 0 1552120603.621 * [backup-simplify]: Simplify 0 into 0 1552120603.621 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- im))))) (* 1/2 (* (/ 1 (/ 1 (- re))) (/ 1 (/ 1 (- im)))))) into (+ (* 1/2 (* re im)) im) 1552120603.621 * * * [progress]: simplifying candidates 1552120603.621 * * * * [progress]: [ 1 / 45 ] simplifiying candidate # 1552120603.621 * * * * [progress]: [ 2 / 45 ] simplifiying candidate # 1552120603.621 * * * * [progress]: [ 3 / 45 ] simplifiying candidate # 1552120603.621 * * * * [progress]: [ 4 / 45 ] simplifiying candidate # 1552120603.621 * * * * [progress]: [ 5 / 45 ] simplifiying candidate # 1552120603.621 * * * * [progress]: [ 6 / 45 ] simplifiying candidate # 1552120603.621 * * * * [progress]: [ 7 / 45 ] simplifiying candidate # 1552120603.621 * * * * [progress]: [ 8 / 45 ] simplifiying candidate # 1552120603.622 * [simplify]: Simplifying (* (cbrt (+ (* im (* 1/2 re)) im)) (cbrt (+ (* im (* 1/2 re)) im))) 1552120603.622 * * [simplify]: iters left: 6 (8 enodes) 1552120603.624 * * [simplify]: iters left: 5 (29 enodes) 1552120603.629 * * [simplify]: iters left: 4 (40 enodes) 1552120603.637 * * [simplify]: iters left: 3 (53 enodes) 1552120603.653 * * [simplify]: iters left: 2 (61 enodes) 1552120603.669 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120603.669 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120603.669 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120603.669 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120603.669 * * [simplify]: Extracting #4: cost 16 inf + 1 1552120603.670 * * [simplify]: Extracting #5: cost 13 inf + 171 1552120603.670 * * [simplify]: Extracting #6: cost 5 inf + 711 1552120603.671 * * [simplify]: Extracting #7: cost 1 inf + 1483 1552120603.672 * * [simplify]: Extracting #8: cost 0 inf + 1726 1552120603.672 * [simplify]: Simplified to (* (cbrt (+ im (* (* re 1/2) im))) (cbrt (+ im (* (* re 1/2) im)))) 1552120603.672 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ im (* (* (cbrt (+ im (* (* re 1/2) im))) (cbrt (+ im (* (* re 1/2) im)))) (* (cbrt (+ (* im (* 1/2 re)) im)) re)))) 1552120603.672 * * * * [progress]: [ 9 / 45 ] simplifiying candidate # 1552120603.673 * [simplify]: Simplifying (sqrt (+ (* im (* 1/2 re)) im)) 1552120603.673 * * [simplify]: iters left: 6 (7 enodes) 1552120603.677 * * [simplify]: iters left: 5 (26 enodes) 1552120603.681 * * [simplify]: iters left: 4 (37 enodes) 1552120603.688 * * [simplify]: iters left: 3 (50 enodes) 1552120603.695 * * [simplify]: iters left: 2 (58 enodes) 1552120603.703 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120603.703 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120603.703 * * [simplify]: Extracting #2: cost 7 inf + 0 1552120603.703 * * [simplify]: Extracting #3: cost 14 inf + 1 1552120603.703 * * [simplify]: Extracting #4: cost 11 inf + 130 1552120603.704 * * [simplify]: Extracting #5: cost 4 inf + 628 1552120603.704 * * [simplify]: Extracting #6: cost 1 inf + 997 1552120603.705 * * [simplify]: Extracting #7: cost 0 inf + 1160 1552120603.705 * [simplify]: Simplified to (sqrt (+ im (* (* re 1/2) im))) 1552120603.706 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ im (* (sqrt (+ im (* (* re 1/2) im))) (* (sqrt (+ (* im (* 1/2 re)) im)) re)))) 1552120603.706 * * * * [progress]: [ 10 / 45 ] simplifiying candidate # 1552120603.706 * * * * [progress]: [ 11 / 45 ] simplifiying candidate # 1552120603.706 * [simplify]: Simplifying (* (+ (pow (* im (* 1/2 re)) 3) (pow im 3)) re) 1552120603.706 * * [simplify]: iters left: 6 (10 enodes) 1552120603.712 * * [simplify]: iters left: 5 (44 enodes) 1552120603.728 * * [simplify]: iters left: 4 (105 enodes) 1552120603.775 * * [simplify]: iters left: 3 (371 enodes) 1552120604.045 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120604.045 * * [simplify]: Extracting #1: cost 17 inf + 0 1552120604.045 * * [simplify]: Extracting #2: cost 118 inf + 2 1552120604.049 * * [simplify]: Extracting #3: cost 191 inf + 5940 1552120604.059 * * [simplify]: Extracting #4: cost 49 inf + 29372 1552120604.071 * * [simplify]: Extracting #5: cost 0 inf + 37189 1552120604.086 * * [simplify]: Extracting #6: cost 0 inf + 36388 1552120604.109 * [simplify]: Simplified to (* re (* (* im im) (+ (* im (* 1/8 (* (* re re) re))) im))) 1552120604.109 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ im (/ (* re (* (* im im) (+ (* im (* 1/8 (* (* re re) re))) im))) (+ (* (* im (* 1/2 re)) (* im (* 1/2 re))) (- (* im im) (* (* im (* 1/2 re)) im)))))) 1552120604.109 * * * * [progress]: [ 12 / 45 ] simplifiying candidate # 1552120604.110 * [simplify]: Simplifying (* (- (* (* im (* 1/2 re)) (* im (* 1/2 re))) (* im im)) re) 1552120604.110 * * [simplify]: iters left: 6 (9 enodes) 1552120604.112 * * [simplify]: iters left: 5 (41 enodes) 1552120604.120 * * [simplify]: iters left: 4 (102 enodes) 1552120604.147 * * [simplify]: iters left: 3 (282 enodes) 1552120604.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120604.262 * * [simplify]: Extracting #1: cost 39 inf + 0 1552120604.263 * * [simplify]: Extracting #2: cost 113 inf + 2 1552120604.264 * * [simplify]: Extracting #3: cost 151 inf + 2174 1552120604.270 * * [simplify]: Extracting #4: cost 20 inf + 22787 1552120604.278 * * [simplify]: Extracting #5: cost 1 inf + 25077 1552120604.286 * * [simplify]: Extracting #6: cost 0 inf + 25200 1552120604.293 * [simplify]: Simplified to (* (- (* (* (* re 1/2) im) (* (* re 1/2) im)) (* im im)) re) 1552120604.293 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ im (/ (* (- (* (* (* re 1/2) im) (* (* re 1/2) im)) (* im im)) re) (- (* im (* 1/2 re)) im)))) 1552120604.293 * * * * [progress]: [ 13 / 45 ] simplifiying candidate #real (real->posit16 (* (+ (* im (* 1/2 re)) im) re)))))> 1552120604.294 * * * * [progress]: [ 14 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 15 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 16 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 17 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 18 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 19 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 20 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 21 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 22 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 23 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 24 / 45 ] simplifiying candidate #real (real->posit16 (+ im (* (+ (* im (* 1/2 re)) im) re)))))> 1552120604.294 * * * * [progress]: [ 25 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 26 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 27 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 28 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 29 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 30 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 31 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 32 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 33 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 34 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 35 / 45 ] simplifiying candidate #real (real->posit16 (+ (* im (* 1/2 re)) im))) re)))> 1552120604.294 * * * * [progress]: [ 36 / 45 ] simplifiying candidate # 1552120604.294 * * * * [progress]: [ 37 / 45 ] simplifiying candidate # 1552120604.295 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (* re im)) 1552120604.295 * * [simplify]: iters left: 6 (9 enodes) 1552120604.298 * * [simplify]: iters left: 5 (34 enodes) 1552120604.306 * * [simplify]: iters left: 4 (50 enodes) 1552120604.319 * * [simplify]: iters left: 3 (77 enodes) 1552120604.335 * * [simplify]: iters left: 2 (109 enodes) 1552120604.352 * * [simplify]: iters left: 1 (150 enodes) 1552120604.394 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120604.394 * * [simplify]: Extracting #1: cost 11 inf + 0 1552120604.394 * * [simplify]: Extracting #2: cost 22 inf + 2 1552120604.395 * * [simplify]: Extracting #3: cost 21 inf + 336 1552120604.395 * * [simplify]: Extracting #4: cost 3 inf + 1820 1552120604.396 * * [simplify]: Extracting #5: cost 0 inf + 2227 1552120604.396 * [simplify]: Simplified to (* re (+ (* (* re im) 1/2) im)) 1552120604.396 * [simplify]: Simplified (2 2) to (λ (re im) (+ im (* re (+ (* (* re im) 1/2) im)))) 1552120604.397 * * * * [progress]: [ 38 / 45 ] simplifiying candidate # 1552120604.397 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (* re im)) 1552120604.397 * * [simplify]: iters left: 6 (9 enodes) 1552120604.401 * * [simplify]: iters left: 5 (34 enodes) 1552120604.408 * * [simplify]: iters left: 4 (50 enodes) 1552120604.418 * * [simplify]: iters left: 3 (77 enodes) 1552120604.434 * * [simplify]: iters left: 2 (109 enodes) 1552120604.466 * * [simplify]: iters left: 1 (150 enodes) 1552120604.496 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120604.496 * * [simplify]: Extracting #1: cost 11 inf + 0 1552120604.496 * * [simplify]: Extracting #2: cost 22 inf + 2 1552120604.497 * * [simplify]: Extracting #3: cost 21 inf + 336 1552120604.497 * * [simplify]: Extracting #4: cost 3 inf + 1820 1552120604.498 * * [simplify]: Extracting #5: cost 0 inf + 2227 1552120604.499 * [simplify]: Simplified to (* re (+ (* (* re im) 1/2) im)) 1552120604.499 * [simplify]: Simplified (2 2) to (λ (re im) (+ im (* re (+ (* (* re im) 1/2) im)))) 1552120604.499 * * * * [progress]: [ 39 / 45 ] simplifiying candidate # 1552120604.500 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (* re im)) 1552120604.500 * * [simplify]: iters left: 6 (9 enodes) 1552120604.503 * * [simplify]: iters left: 5 (34 enodes) 1552120604.512 * * [simplify]: iters left: 4 (50 enodes) 1552120604.527 * * [simplify]: iters left: 3 (77 enodes) 1552120604.540 * * [simplify]: iters left: 2 (109 enodes) 1552120604.558 * * [simplify]: iters left: 1 (150 enodes) 1552120604.586 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120604.586 * * [simplify]: Extracting #1: cost 11 inf + 0 1552120604.587 * * [simplify]: Extracting #2: cost 22 inf + 2 1552120604.587 * * [simplify]: Extracting #3: cost 21 inf + 336 1552120604.587 * * [simplify]: Extracting #4: cost 3 inf + 1820 1552120604.589 * * [simplify]: Extracting #5: cost 0 inf + 2227 1552120604.590 * [simplify]: Simplified to (* re (+ (* (* re im) 1/2) im)) 1552120604.590 * [simplify]: Simplified (2 2) to (λ (re im) (+ im (* re (+ (* (* re im) 1/2) im)))) 1552120604.590 * * * * [progress]: [ 40 / 45 ] simplifiying candidate # 1552120604.590 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120604.590 * * [simplify]: iters left: 6 (10 enodes) 1552120604.593 * * [simplify]: iters left: 5 (43 enodes) 1552120604.601 * * [simplify]: iters left: 4 (77 enodes) 1552120604.629 * * [simplify]: iters left: 3 (128 enodes) 1552120604.670 * * [simplify]: iters left: 2 (173 enodes) 1552120604.695 * * [simplify]: iters left: 1 (199 enodes) 1552120604.742 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120604.742 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120604.742 * * [simplify]: Extracting #2: cost 30 inf + 1 1552120604.742 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120604.742 * * [simplify]: Extracting #4: cost 23 inf + 834 1552120604.743 * * [simplify]: Extracting #5: cost 4 inf + 3207 1552120604.744 * * [simplify]: Extracting #6: cost 0 inf + 3779 1552120604.745 * [simplify]: Simplified to (+ im (* (+ (* im (* 1/2 re)) im) re)) 1552120604.745 * [simplify]: Simplified (2) to (λ (re im) (+ im (* (+ (* im (* 1/2 re)) im) re))) 1552120604.746 * * * * [progress]: [ 41 / 45 ] simplifiying candidate # 1552120604.746 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120604.746 * * [simplify]: iters left: 6 (10 enodes) 1552120604.749 * * [simplify]: iters left: 5 (43 enodes) 1552120604.757 * * [simplify]: iters left: 4 (77 enodes) 1552120604.779 * * [simplify]: iters left: 3 (128 enodes) 1552120604.815 * * [simplify]: iters left: 2 (173 enodes) 1552120604.845 * * [simplify]: iters left: 1 (199 enodes) 1552120604.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120604.871 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120604.871 * * [simplify]: Extracting #2: cost 30 inf + 1 1552120604.871 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120604.872 * * [simplify]: Extracting #4: cost 23 inf + 834 1552120604.872 * * [simplify]: Extracting #5: cost 4 inf + 3207 1552120604.874 * * [simplify]: Extracting #6: cost 0 inf + 3779 1552120604.875 * [simplify]: Simplified to (+ im (* (+ (* im (* 1/2 re)) im) re)) 1552120604.875 * [simplify]: Simplified (2) to (λ (re im) (+ im (* (+ (* im (* 1/2 re)) im) re))) 1552120604.876 * * * * [progress]: [ 42 / 45 ] simplifiying candidate # 1552120604.876 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1552120604.876 * * [simplify]: iters left: 6 (10 enodes) 1552120604.879 * * [simplify]: iters left: 5 (43 enodes) 1552120604.889 * * [simplify]: iters left: 4 (77 enodes) 1552120604.904 * * [simplify]: iters left: 3 (128 enodes) 1552120604.946 * * [simplify]: iters left: 2 (173 enodes) 1552120604.971 * * [simplify]: iters left: 1 (199 enodes) 1552120605.007 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120605.007 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120605.008 * * [simplify]: Extracting #2: cost 30 inf + 1 1552120605.008 * * [simplify]: Extracting #3: cost 39 inf + 4 1552120605.008 * * [simplify]: Extracting #4: cost 23 inf + 834 1552120605.009 * * [simplify]: Extracting #5: cost 4 inf + 3207 1552120605.010 * * [simplify]: Extracting #6: cost 0 inf + 3779 1552120605.011 * [simplify]: Simplified to (+ im (* (+ (* im (* 1/2 re)) im) re)) 1552120605.012 * [simplify]: Simplified (2) to (λ (re im) (+ im (* (+ (* im (* 1/2 re)) im) re))) 1552120605.012 * * * * [progress]: [ 43 / 45 ] simplifiying candidate # 1552120605.012 * [simplify]: Simplifying (+ (* 1/2 (* re im)) im) 1552120605.012 * * [simplify]: iters left: 6 (6 enodes) 1552120605.014 * * [simplify]: iters left: 5 (23 enodes) 1552120605.017 * * [simplify]: iters left: 4 (34 enodes) 1552120605.023 * * [simplify]: iters left: 3 (47 enodes) 1552120605.034 * * [simplify]: iters left: 2 (55 enodes) 1552120605.050 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120605.050 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120605.050 * * [simplify]: Extracting #2: cost 12 inf + 1 1552120605.050 * * [simplify]: Extracting #3: cost 11 inf + 46 1552120605.050 * * [simplify]: Extracting #4: cost 3 inf + 627 1552120605.051 * * [simplify]: Extracting #5: cost 0 inf + 834 1552120605.052 * [simplify]: Simplified to (+ im (* (* im re) 1/2)) 1552120605.052 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ im (* (+ im (* (* im re) 1/2)) re))) 1552120605.052 * * * * [progress]: [ 44 / 45 ] simplifiying candidate # 1552120605.052 * [simplify]: Simplifying (+ (* 1/2 (* re im)) im) 1552120605.052 * * [simplify]: iters left: 6 (6 enodes) 1552120605.055 * * [simplify]: iters left: 5 (23 enodes) 1552120605.058 * * [simplify]: iters left: 4 (34 enodes) 1552120605.064 * * [simplify]: iters left: 3 (47 enodes) 1552120605.071 * * [simplify]: iters left: 2 (55 enodes) 1552120605.080 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120605.080 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120605.080 * * [simplify]: Extracting #2: cost 12 inf + 1 1552120605.081 * * [simplify]: Extracting #3: cost 11 inf + 46 1552120605.081 * * [simplify]: Extracting #4: cost 3 inf + 627 1552120605.081 * * [simplify]: Extracting #5: cost 0 inf + 834 1552120605.082 * [simplify]: Simplified to (+ im (* (* im re) 1/2)) 1552120605.082 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ im (* (+ im (* (* im re) 1/2)) re))) 1552120605.082 * * * * [progress]: [ 45 / 45 ] simplifiying candidate # 1552120605.084 * [simplify]: Simplifying (+ (* 1/2 (* re im)) im) 1552120605.084 * * [simplify]: iters left: 6 (6 enodes) 1552120605.088 * * [simplify]: iters left: 5 (23 enodes) 1552120605.095 * * [simplify]: iters left: 4 (34 enodes) 1552120605.108 * * [simplify]: iters left: 3 (47 enodes) 1552120605.118 * * [simplify]: iters left: 2 (55 enodes) 1552120605.126 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120605.127 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120605.127 * * [simplify]: Extracting #2: cost 12 inf + 1 1552120605.127 * * [simplify]: Extracting #3: cost 11 inf + 46 1552120605.127 * * [simplify]: Extracting #4: cost 3 inf + 627 1552120605.127 * * [simplify]: Extracting #5: cost 0 inf + 834 1552120605.127 * [simplify]: Simplified to (+ im (* (* im re) 1/2)) 1552120605.127 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ im (* (+ im (* (* im re) 1/2)) re))) 1552120605.128 * * * [progress]: adding candidates to table 1552120605.431 * [progress]: [Phase 3 of 3] Extracting. 1552120605.431 * * [regime]: Finding splitpoints for: (# # #) 1552120605.432 * * * [regime-changes]: Trying 5 branch expressions: (im (sin im) re (exp re) (* (exp re) (sin im))) 1552120605.432 * * * * [regimes]: Trying to branch on im from (# # #) 1552120605.456 * * * * [regimes]: Trying to branch on (sin im) from (# # #) 1552120605.486 * * * * [regimes]: Trying to branch on re from (# # #) 1552120605.514 * * * * [regimes]: Trying to branch on (exp re) from (# # #) 1552120605.560 * * * * [regimes]: Trying to branch on (* (exp re) (sin im)) from (# # #) 1552120605.611 * * * [regime]: Found split indices: #