1539424824.939 * [misc]progress: [Phase 1 of 3] Setting up. 1539424824.939 * * * [misc]progress: [1/2] Preparing points 1539424824.939 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539424824.942 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539424824.944 * * * * [misc]points: Setting MPFR precision to 64 1539424824.945 * * * * [misc]points: Setting MPFR precision to 320 1539424824.946 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539424824.949 * * * * [misc]points: Setting MPFR precision to 64 1539424824.951 * * * * [misc]points: Setting MPFR precision to 320 1539424824.952 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539424824.955 * * * * [misc]points: Setting MPFR precision to 64 1539424824.958 * * * * [misc]points: Setting MPFR precision to 320 1539424824.961 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539424824.964 * * * * [misc]points: Setting MPFR precision to 64 1539424824.969 * * * * [misc]points: Setting MPFR precision to 320 1539424824.974 * * * * [misc]points: Computing exacts for 256 points 1539424824.976 * * * * [misc]points: Setting MPFR precision to 64 1539424824.992 * * * * [misc]points: Setting MPFR precision to 320 1539424825.009 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.009 * * * * [misc]points: Sampling 132 additional inputs, on iter 1 have 124 / 256 1539424825.010 * * * * [misc]points: Computing exacts on every 8 of 132 points to ramp up precision 1539424825.013 * * * * [misc]points: Setting MPFR precision to 64 1539424825.014 * * * * [misc]points: Setting MPFR precision to 320 1539424825.015 * * * * [misc]points: Computing exacts on every 4 of 132 points to ramp up precision 1539424825.017 * * * * [misc]points: Setting MPFR precision to 64 1539424825.019 * * * * [misc]points: Setting MPFR precision to 320 1539424825.020 * * * * [misc]points: Computing exacts on every 2 of 132 points to ramp up precision 1539424825.021 * * * * [misc]points: Setting MPFR precision to 64 1539424825.022 * * * * [misc]points: Setting MPFR precision to 320 1539424825.024 * * * * [misc]points: Computing exacts for 132 points 1539424825.025 * * * * [misc]points: Setting MPFR precision to 64 1539424825.042 * * * * [misc]points: Setting MPFR precision to 320 1539424825.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.047 * * * * [misc]points: Sampling 70 additional inputs, on iter 2 have 186 / 256 1539424825.047 * * * * [misc]points: Computing exacts on every 4 of 70 points to ramp up precision 1539424825.049 * * * * [misc]points: Setting MPFR precision to 64 1539424825.050 * * * * [misc]points: Setting MPFR precision to 320 1539424825.051 * * * * [misc]points: Computing exacts on every 2 of 70 points to ramp up precision 1539424825.056 * * * * [misc]points: Setting MPFR precision to 64 1539424825.057 * * * * [misc]points: Setting MPFR precision to 320 1539424825.059 * * * * [misc]points: Computing exacts for 70 points 1539424825.060 * * * * [misc]points: Setting MPFR precision to 64 1539424825.062 * * * * [misc]points: Setting MPFR precision to 320 1539424825.065 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.065 * * * * [misc]points: Sampling 33 additional inputs, on iter 3 have 223 / 256 1539424825.065 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539424825.067 * * * * [misc]points: Setting MPFR precision to 64 1539424825.067 * * * * [misc]points: Setting MPFR precision to 320 1539424825.067 * * * * [misc]points: Computing exacts for 33 points 1539424825.068 * * * * [misc]points: Setting MPFR precision to 64 1539424825.069 * * * * [misc]points: Setting MPFR precision to 320 1539424825.071 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.071 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1539424825.071 * * * * [misc]points: Computing exacts for 15 points 1539424825.072 * * * * [misc]points: Setting MPFR precision to 64 1539424825.073 * * * * [misc]points: Setting MPFR precision to 320 1539424825.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.073 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1539424825.073 * * * * [misc]points: Computing exacts for 7 points 1539424825.074 * * * * [misc]points: Setting MPFR precision to 64 1539424825.075 * * * * [misc]points: Setting MPFR precision to 320 1539424825.075 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.075 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1539424825.075 * * * * [misc]points: Computing exacts for 4 points 1539424825.076 * * * * [misc]points: Setting MPFR precision to 64 1539424825.076 * * * * [misc]points: Setting MPFR precision to 320 1539424825.077 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.077 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 252 / 256 1539424825.077 * * * * [misc]points: Computing exacts for 4 points 1539424825.078 * * * * [misc]points: Setting MPFR precision to 64 1539424825.078 * * * * [misc]points: Setting MPFR precision to 320 1539424825.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424825.078 * * * * [exit]points: Sampled 256 points with exact outputs 1539424825.078 * * * [misc]progress: [2/2] Setting up program. 1539424825.081 * [misc]progress: [Phase 2 of 3] Improving. 1539424825.081 * [enter]simplify: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 1539424825.081 * * [misc]simplify: iters left: 6 (10 enodes) 1539424825.083 * * [misc]simplify: iters left: 5 (23 enodes) 1539424825.087 * * [misc]simplify: iters left: 4 (59 enodes) 1539424825.100 * * [misc]simplify: iters left: 3 (102 enodes) 1539424825.155 * * [misc]simplify: iters left: 2 (225 enodes) 1539424825.282 * [exit]simplify: Simplified to (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) 1539424825.288 * * [misc]progress: iteration 1 / 4 1539424825.288 * * * [misc]progress: picking best candidate 1539424825.299 * * * * [misc]pick: Picked # 1539424825.299 * * * [misc]progress: localizing error 1539424825.331 * * * [misc]progress: generating rewritten candidates 1539424825.332 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 3) 1539424825.339 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1539424825.339 * * * [misc]progress: generating series expansions 1539424825.339 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 3) 1539424825.339 * [misc]backup-simplify: Simplify (/ (* (cos re) 0.5) (exp im)) into (* 0.5 (/ (cos re) (exp im))) 1539424825.339 * [misc]approximate: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0 1539424825.339 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 1539424825.339 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.339 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.339 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in im 1539424825.339 * [misc]taylor: Taking taylor expansion of (cos re) in im 1539424825.339 * [misc]taylor: Taking taylor expansion of re in im 1539424825.339 * [misc]backup-simplify: Simplify re into re 1539424825.339 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1539424825.339 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1539424825.339 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424825.339 * [misc]taylor: Taking taylor expansion of im in im 1539424825.339 * [misc]backup-simplify: Simplify 0 into 0 1539424825.339 * [misc]backup-simplify: Simplify 1 into 1 1539424825.339 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424825.339 * [misc]backup-simplify: Simplify (* (cos re) 1) into (cos re) 1539424825.339 * [misc]backup-simplify: Simplify (* (sin re) 0) into 0 1539424825.340 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.340 * [misc]backup-simplify: Simplify (+ (cos re) 0) into (cos re) 1539424825.340 * [misc]backup-simplify: Simplify (/ (cos re) 1) into (cos re) 1539424825.340 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.340 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.340 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of re in re 1539424825.340 * [misc]backup-simplify: Simplify 0 into 0 1539424825.340 * [misc]backup-simplify: Simplify 1 into 1 1539424825.340 * [misc]taylor: Taking taylor expansion of (exp im) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of im in re 1539424825.340 * [misc]backup-simplify: Simplify im into im 1539424825.340 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1539424825.340 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1539424825.340 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.340 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.340 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of re in re 1539424825.340 * [misc]backup-simplify: Simplify 0 into 0 1539424825.340 * [misc]backup-simplify: Simplify 1 into 1 1539424825.340 * [misc]taylor: Taking taylor expansion of (exp im) in re 1539424825.340 * [misc]taylor: Taking taylor expansion of im in re 1539424825.340 * [misc]backup-simplify: Simplify im into im 1539424825.340 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1539424825.340 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1539424825.340 * [misc]backup-simplify: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im)) 1539424825.340 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp im)) in im 1539424825.340 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.340 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.340 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424825.340 * [misc]taylor: Taking taylor expansion of im in im 1539424825.340 * [misc]backup-simplify: Simplify 0 into 0 1539424825.340 * [misc]backup-simplify: Simplify 1 into 1 1539424825.340 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424825.341 * [misc]backup-simplify: Simplify (/ 0.5 1) into 0.5 1539424825.341 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.341 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.342 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 1539424825.342 * [misc]backup-simplify: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 1539424825.342 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0 1539424825.342 * [misc]taylor: Taking taylor expansion of 0 in im 1539424825.342 * [misc]backup-simplify: Simplify 0 into 0 1539424825.342 * [misc]backup-simplify: Simplify 0 into 0 1539424825.343 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539424825.343 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 1539424825.343 * [misc]backup-simplify: Simplify (- 0.5) into (- 0.5) 1539424825.344 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1539424825.345 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424825.345 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im)))) 1539424825.345 * [misc]backup-simplify: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im)))) 1539424825.345 * [misc]taylor: Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im 1539424825.345 * [misc]taylor: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im 1539424825.345 * [misc]taylor: Taking taylor expansion of 0.25 in im 1539424825.345 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424825.346 * [misc]taylor: Taking taylor expansion of (/ 1 (exp im)) in im 1539424825.346 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424825.346 * [misc]taylor: Taking taylor expansion of im in im 1539424825.346 * [misc]backup-simplify: Simplify 0 into 0 1539424825.346 * [misc]backup-simplify: Simplify 1 into 1 1539424825.346 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424825.346 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.346 * [misc]backup-simplify: Simplify (* 0.25 1) into 0.25 1539424825.346 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1539424825.346 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1539424825.346 * [misc]backup-simplify: Simplify (+ (* (- 0.25) (pow (* 1 re) 2)) (+ (* (- 0.5) (* im 1)) 0.5)) into (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) 1539424825.347 * [misc]backup-simplify: Simplify (/ (* (cos (/ 1 re)) 0.5) (exp (/ 1 im))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.347 * [misc]approximate: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 1539424825.347 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 1539424825.347 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.347 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.347 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 1539424825.347 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424825.347 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424825.347 * [misc]taylor: Taking taylor expansion of re in im 1539424825.347 * [misc]backup-simplify: Simplify re into re 1539424825.347 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424825.347 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.347 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424825.347 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424825.347 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424825.347 * [misc]taylor: Taking taylor expansion of im in im 1539424825.347 * [misc]backup-simplify: Simplify 0 into 0 1539424825.347 * [misc]backup-simplify: Simplify 1 into 1 1539424825.347 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.347 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.347 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1539424825.347 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1539424825.347 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.347 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1539424825.347 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.347 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 1539424825.347 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.347 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.347 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of re in re 1539424825.348 * [misc]backup-simplify: Simplify 0 into 0 1539424825.348 * [misc]backup-simplify: Simplify 1 into 1 1539424825.348 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.348 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.348 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of im in re 1539424825.348 * [misc]backup-simplify: Simplify im into im 1539424825.348 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424825.348 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.348 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.348 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.348 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.348 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of re in re 1539424825.348 * [misc]backup-simplify: Simplify 0 into 0 1539424825.348 * [misc]backup-simplify: Simplify 1 into 1 1539424825.348 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.348 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.348 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424825.348 * [misc]taylor: Taking taylor expansion of im in re 1539424825.348 * [misc]backup-simplify: Simplify im into im 1539424825.348 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424825.348 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.348 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.349 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.349 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 1539424825.349 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.349 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.349 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 1539424825.349 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424825.349 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424825.349 * [misc]taylor: Taking taylor expansion of re in im 1539424825.349 * [misc]backup-simplify: Simplify re into re 1539424825.349 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424825.349 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.349 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424825.349 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424825.349 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424825.349 * [misc]taylor: Taking taylor expansion of im in im 1539424825.349 * [misc]backup-simplify: Simplify 0 into 0 1539424825.349 * [misc]backup-simplify: Simplify 1 into 1 1539424825.349 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.349 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.349 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1539424825.349 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1539424825.349 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.349 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1539424825.349 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.350 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.350 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.350 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1539424825.351 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424825.351 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1539424825.351 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 1539424825.351 * [misc]taylor: Taking taylor expansion of 0 in im 1539424825.351 * [misc]backup-simplify: Simplify 0 into 0 1539424825.351 * [misc]backup-simplify: Simplify 0 into 0 1539424825.351 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.352 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 1539424825.352 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1539424825.352 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.352 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 1539424825.353 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.353 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.353 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1539424825.353 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 1539424825.353 * [misc]backup-simplify: Simplify 0 into 0 1539424825.353 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.354 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424825.354 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424825.355 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 1539424825.355 * [misc]taylor: Taking taylor expansion of 0 in im 1539424825.355 * [misc]backup-simplify: Simplify 0 into 0 1539424825.355 * [misc]backup-simplify: Simplify 0 into 0 1539424825.355 * [misc]backup-simplify: Simplify 0 into 0 1539424825.355 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.356 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.356 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.356 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.357 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.357 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.357 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.357 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424825.357 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 1539424825.357 * [misc]backup-simplify: Simplify 0 into 0 1539424825.357 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.359 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539424825.360 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424825.360 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 1539424825.360 * [misc]taylor: Taking taylor expansion of 0 in im 1539424825.360 * [misc]backup-simplify: Simplify 0 into 0 1539424825.360 * [misc]backup-simplify: Simplify 0 into 0 1539424825.361 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im))) 1539424825.361 * [misc]backup-simplify: Simplify (/ (* (cos (/ 1 (- re))) 0.5) (exp (/ 1 (- im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.361 * [misc]approximate: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 1539424825.361 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 1539424825.361 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.361 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.361 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 1539424825.361 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424825.361 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424825.361 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.361 * [misc]backup-simplify: Simplify -1 into -1 1539424825.361 * [misc]taylor: Taking taylor expansion of re in im 1539424825.361 * [misc]backup-simplify: Simplify re into re 1539424825.361 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424825.361 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.361 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424825.361 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424825.362 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424825.362 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.362 * [misc]backup-simplify: Simplify -1 into -1 1539424825.362 * [misc]taylor: Taking taylor expansion of im in im 1539424825.362 * [misc]backup-simplify: Simplify 0 into 0 1539424825.362 * [misc]backup-simplify: Simplify 1 into 1 1539424825.362 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.362 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.362 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1539424825.362 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1539424825.362 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.362 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1539424825.363 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.363 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 1539424825.363 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.363 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.363 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 1539424825.363 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424825.363 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424825.363 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.363 * [misc]backup-simplify: Simplify -1 into -1 1539424825.363 * [misc]taylor: Taking taylor expansion of re in re 1539424825.363 * [misc]backup-simplify: Simplify 0 into 0 1539424825.363 * [misc]backup-simplify: Simplify 1 into 1 1539424825.363 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.363 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.363 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424825.363 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424825.363 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.363 * [misc]backup-simplify: Simplify -1 into -1 1539424825.363 * [misc]taylor: Taking taylor expansion of im in re 1539424825.363 * [misc]backup-simplify: Simplify im into im 1539424825.363 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424825.363 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.364 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.364 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 1539424825.364 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.364 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.364 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 1539424825.364 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424825.364 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424825.364 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.364 * [misc]backup-simplify: Simplify -1 into -1 1539424825.364 * [misc]taylor: Taking taylor expansion of re in re 1539424825.364 * [misc]backup-simplify: Simplify 0 into 0 1539424825.364 * [misc]backup-simplify: Simplify 1 into 1 1539424825.364 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.364 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.364 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424825.364 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424825.364 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.364 * [misc]backup-simplify: Simplify -1 into -1 1539424825.364 * [misc]taylor: Taking taylor expansion of im in re 1539424825.364 * [misc]backup-simplify: Simplify im into im 1539424825.364 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424825.365 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.365 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.365 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.365 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 1539424825.365 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.365 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.365 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 1539424825.365 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424825.365 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424825.365 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.365 * [misc]backup-simplify: Simplify -1 into -1 1539424825.365 * [misc]taylor: Taking taylor expansion of re in im 1539424825.365 * [misc]backup-simplify: Simplify re into re 1539424825.365 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424825.366 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.366 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424825.366 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424825.366 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424825.366 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.366 * [misc]backup-simplify: Simplify -1 into -1 1539424825.366 * [misc]taylor: Taking taylor expansion of im in im 1539424825.366 * [misc]backup-simplify: Simplify 0 into 0 1539424825.366 * [misc]backup-simplify: Simplify 1 into 1 1539424825.366 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.366 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.366 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1539424825.366 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1539424825.366 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.367 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1539424825.367 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.367 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.367 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.367 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1539424825.369 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424825.369 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1539424825.369 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 1539424825.369 * [misc]taylor: Taking taylor expansion of 0 in im 1539424825.369 * [misc]backup-simplify: Simplify 0 into 0 1539424825.370 * [misc]backup-simplify: Simplify 0 into 0 1539424825.370 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.370 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 1539424825.370 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1539424825.371 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.371 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 1539424825.372 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.372 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.372 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1539424825.372 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 1539424825.372 * [misc]backup-simplify: Simplify 0 into 0 1539424825.373 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.375 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424825.375 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424825.375 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 1539424825.375 * [misc]taylor: Taking taylor expansion of 0 in im 1539424825.375 * [misc]backup-simplify: Simplify 0 into 0 1539424825.376 * [misc]backup-simplify: Simplify 0 into 0 1539424825.376 * [misc]backup-simplify: Simplify 0 into 0 1539424825.377 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.377 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.377 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.378 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.379 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.379 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.379 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.379 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424825.380 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 1539424825.380 * [misc]backup-simplify: Simplify 0 into 0 1539424825.380 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.383 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539424825.383 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424825.384 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 1539424825.384 * [misc]taylor: Taking taylor expansion of 0 in im 1539424825.384 * [misc]backup-simplify: Simplify 0 into 0 1539424825.384 * [misc]backup-simplify: Simplify 0 into 0 1539424825.384 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im))) 1539424825.384 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1539424825.384 * [misc]backup-simplify: Simplify (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) into (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) 1539424825.384 * [misc]approximate: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in (im re) around 0 1539424825.384 * [misc]taylor: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in re 1539424825.384 * [misc]taylor: Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1539424825.384 * [misc]taylor: Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in re 1539424825.384 * [misc]taylor: Taking taylor expansion of (exp im) in re 1539424825.384 * [misc]taylor: Taking taylor expansion of im in re 1539424825.384 * [misc]backup-simplify: Simplify im into im 1539424825.384 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1539424825.384 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos re)) in re 1539424825.384 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.384 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.384 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424825.384 * [misc]taylor: Taking taylor expansion of re in re 1539424825.384 * [misc]backup-simplify: Simplify 0 into 0 1539424825.384 * [misc]backup-simplify: Simplify 1 into 1 1539424825.384 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 1539424825.384 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.384 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.384 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in re 1539424825.385 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424825.385 * [misc]taylor: Taking taylor expansion of re in re 1539424825.385 * [misc]backup-simplify: Simplify 0 into 0 1539424825.385 * [misc]backup-simplify: Simplify 1 into 1 1539424825.385 * [misc]taylor: Taking taylor expansion of (exp im) in re 1539424825.385 * [misc]taylor: Taking taylor expansion of im in re 1539424825.385 * [misc]backup-simplify: Simplify im into im 1539424825.385 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1539424825.385 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1539424825.385 * [misc]taylor: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in im 1539424825.385 * [misc]taylor: Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1539424825.385 * [misc]taylor: Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of im in im 1539424825.385 * [misc]backup-simplify: Simplify 0 into 0 1539424825.385 * [misc]backup-simplify: Simplify 1 into 1 1539424825.385 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424825.385 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos re)) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.385 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.385 * [misc]taylor: Taking taylor expansion of (cos re) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of re in im 1539424825.385 * [misc]backup-simplify: Simplify re into re 1539424825.385 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1539424825.385 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1539424825.385 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.385 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.385 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of (cos re) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of re in im 1539424825.385 * [misc]backup-simplify: Simplify re into re 1539424825.385 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1539424825.385 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1539424825.385 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424825.385 * [misc]taylor: Taking taylor expansion of im in im 1539424825.385 * [misc]backup-simplify: Simplify 0 into 0 1539424825.385 * [misc]backup-simplify: Simplify 1 into 1 1539424825.385 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424825.385 * [misc]backup-simplify: Simplify (* (cos re) 1) into (cos re) 1539424825.385 * [misc]backup-simplify: Simplify (* (sin re) 0) into 0 1539424825.385 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.385 * [misc]backup-simplify: Simplify (+ (cos re) 0) into (cos re) 1539424825.386 * [misc]backup-simplify: Simplify (/ (cos re) 1) into (cos re) 1539424825.386 * [misc]taylor: Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in im 1539424825.386 * [misc]taylor: Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1539424825.386 * [misc]taylor: Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of im in im 1539424825.386 * [misc]backup-simplify: Simplify 0 into 0 1539424825.386 * [misc]backup-simplify: Simplify 1 into 1 1539424825.386 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424825.386 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos re)) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.386 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.386 * [misc]taylor: Taking taylor expansion of (cos re) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of re in im 1539424825.386 * [misc]backup-simplify: Simplify re into re 1539424825.386 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1539424825.386 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1539424825.386 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.386 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.386 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of (cos re) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of re in im 1539424825.386 * [misc]backup-simplify: Simplify re into re 1539424825.386 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1539424825.386 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1539424825.386 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424825.386 * [misc]taylor: Taking taylor expansion of im in im 1539424825.386 * [misc]backup-simplify: Simplify 0 into 0 1539424825.386 * [misc]backup-simplify: Simplify 1 into 1 1539424825.386 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424825.386 * [misc]backup-simplify: Simplify (* (cos re) 1) into (cos re) 1539424825.386 * [misc]backup-simplify: Simplify (* (sin re) 0) into 0 1539424825.386 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.386 * [misc]backup-simplify: Simplify (+ (cos re) 0) into (cos re) 1539424825.386 * [misc]backup-simplify: Simplify (/ (cos re) 1) into (cos re) 1539424825.386 * [misc]backup-simplify: Simplify (* (cos re) 1) into (cos re) 1539424825.386 * [misc]backup-simplify: Simplify (* (sin re) 0) into 0 1539424825.387 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.387 * [misc]backup-simplify: Simplify (+ (cos re) 0) into (cos re) 1539424825.387 * [misc]backup-simplify: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 1539424825.387 * [misc]backup-simplify: Simplify (* 1 (* 0.5 (cos re))) into (* 0.5 (cos re)) 1539424825.387 * [misc]backup-simplify: Simplify (* 0.5 (cos re)) into (* 0.5 (cos re)) 1539424825.387 * [misc]backup-simplify: Simplify (+ (* 0.5 (cos re)) (* 0.5 (cos re))) into (* 1.0 (cos re)) 1539424825.387 * [misc]taylor: Taking taylor expansion of (* 1.0 (cos re)) in re 1539424825.387 * [misc]taylor: Taking taylor expansion of 1.0 in re 1539424825.387 * [misc]backup-simplify: Simplify 1.0 into 1.0 1539424825.387 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424825.387 * [misc]taylor: Taking taylor expansion of re in re 1539424825.387 * [misc]backup-simplify: Simplify 0 into 0 1539424825.387 * [misc]backup-simplify: Simplify 1 into 1 1539424825.387 * [misc]backup-simplify: Simplify (* 1.0 1) into 1.0 1539424825.387 * [misc]backup-simplify: Simplify 1.0 into 1.0 1539424825.387 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.387 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 1539424825.388 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.388 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 1539424825.389 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.389 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.389 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (cos re))) into 0 1539424825.390 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539424825.390 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 1 (* 0.5 (cos re)))) into (* 0.5 (cos re)) 1539424825.390 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.390 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 1539424825.391 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.391 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 1539424825.391 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.391 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.392 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539424825.392 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1 1)))) into (- (cos re)) 1539424825.392 * [misc]backup-simplify: Simplify (+ (* 0.5 (- (cos re))) (* 0 (cos re))) into (- (* 0.5 (cos re))) 1539424825.392 * [misc]backup-simplify: Simplify (+ (* 0.5 (cos re)) (- (* 0.5 (cos re)))) into 0 1539424825.392 * [misc]taylor: Taking taylor expansion of 0 in re 1539424825.392 * [misc]backup-simplify: Simplify 0 into 0 1539424825.392 * [misc]backup-simplify: Simplify 0 into 0 1539424825.392 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.392 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (* 0 1)) into 0 1539424825.392 * [misc]backup-simplify: Simplify 0 into 0 1539424825.393 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.393 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.394 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.394 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.394 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.394 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.395 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos re)))) into 0 1539424825.396 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539424825.396 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (* 0.5 (cos re))))) into (* 0.25 (cos re)) 1539424825.397 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.397 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.397 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.398 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.398 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.398 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.399 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539424825.400 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (cos re) (/ 1/2 1)) (* (- (cos re)) (/ 1 1)))) into (* 1/2 (cos re)) 1539424825.400 * [misc]backup-simplify: Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (- (cos re))) (* 0 (cos re)))) into (* 0.25 (cos re)) 1539424825.400 * [misc]backup-simplify: Simplify (+ (* 0.25 (cos re)) (* 0.25 (cos re))) into (* 0.5 (cos re)) 1539424825.400 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos re)) in re 1539424825.400 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.400 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.400 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424825.400 * [misc]taylor: Taking taylor expansion of re in re 1539424825.400 * [misc]backup-simplify: Simplify 0 into 0 1539424825.400 * [misc]backup-simplify: Simplify 1 into 1 1539424825.400 * [misc]backup-simplify: Simplify (* 0.5 1) into 0.5 1539424825.400 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.400 * [misc]backup-simplify: Simplify 0 into 0 1539424825.401 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1539424825.402 * [misc]backup-simplify: Simplify (+ (* 1.0 (- 1/2)) (+ (* 0 0) (* 0 1))) into (- 0.5) 1539424825.402 * [misc]backup-simplify: Simplify (- 0.5) into (- 0.5) 1539424825.402 * [misc]backup-simplify: Simplify (+ (* (- 0.5) (pow (* re 1) 2)) (+ (* 0.5 (pow (* 1 im) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 1539424825.402 * [misc]backup-simplify: Simplify (fma (exp (/ 1 im)) (* (cos (/ 1 re)) 0.5) (/ (* (cos (/ 1 re)) 0.5) (exp (/ 1 im)))) into (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 1539424825.402 * [misc]approximate: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 1539424825.402 * [misc]taylor: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in re 1539424825.402 * [misc]taylor: Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 1539424825.402 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in re 1539424825.402 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of im in re 1539424825.403 * [misc]backup-simplify: Simplify im into im 1539424825.403 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424825.403 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.403 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.403 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.403 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of re in re 1539424825.403 * [misc]backup-simplify: Simplify 0 into 0 1539424825.403 * [misc]backup-simplify: Simplify 1 into 1 1539424825.403 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.403 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.403 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.403 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.403 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of re in re 1539424825.403 * [misc]backup-simplify: Simplify 0 into 0 1539424825.403 * [misc]backup-simplify: Simplify 1 into 1 1539424825.403 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.403 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.403 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424825.403 * [misc]taylor: Taking taylor expansion of im in re 1539424825.403 * [misc]backup-simplify: Simplify im into im 1539424825.403 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424825.403 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.404 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.404 * [misc]taylor: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im 1539424825.404 * [misc]taylor: Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 1539424825.404 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of im in im 1539424825.404 * [misc]backup-simplify: Simplify 0 into 0 1539424825.404 * [misc]backup-simplify: Simplify 1 into 1 1539424825.404 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.404 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.404 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.404 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.404 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of re in im 1539424825.404 * [misc]backup-simplify: Simplify re into re 1539424825.404 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424825.404 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.404 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424825.404 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.404 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.404 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of re in im 1539424825.404 * [misc]backup-simplify: Simplify re into re 1539424825.404 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424825.404 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.404 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424825.404 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424825.404 * [misc]taylor: Taking taylor expansion of im in im 1539424825.404 * [misc]backup-simplify: Simplify 0 into 0 1539424825.404 * [misc]backup-simplify: Simplify 1 into 1 1539424825.405 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.405 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.405 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1539424825.405 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1539424825.405 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.405 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1539424825.405 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.405 * [misc]taylor: Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im 1539424825.405 * [misc]taylor: Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) 1539424825.405 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in im 1539424825.405 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424825.405 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424825.405 * [misc]taylor: Taking taylor expansion of im in im 1539424825.405 * [misc]backup-simplify: Simplify 0 into 0 1539424825.405 * [misc]backup-simplify: Simplify 1 into 1 1539424825.405 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.405 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.405 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in im 1539424825.405 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.405 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.405 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424825.405 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424825.405 * [misc]taylor: Taking taylor expansion of re in im 1539424825.405 * [misc]backup-simplify: Simplify re into re 1539424825.405 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424825.405 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.406 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424825.406 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 1539424825.406 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.406 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.406 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 1539424825.406 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424825.406 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424825.406 * [misc]taylor: Taking taylor expansion of re in im 1539424825.406 * [misc]backup-simplify: Simplify re into re 1539424825.406 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424825.406 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.406 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424825.406 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424825.406 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424825.406 * [misc]taylor: Taking taylor expansion of im in im 1539424825.406 * [misc]backup-simplify: Simplify 0 into 0 1539424825.406 * [misc]backup-simplify: Simplify 1 into 1 1539424825.406 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.406 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.406 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1539424825.406 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1539424825.406 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.406 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1539424825.406 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.406 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1539424825.406 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1539424825.407 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.407 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1539424825.407 * [misc]backup-simplify: Simplify (* 0.5 (cos (/ 1 re))) into (* 0.5 (cos (/ 1 re))) 1539424825.407 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.407 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.407 * [misc]backup-simplify: Simplify (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) 1539424825.407 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re 1539424825.407 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 1539424825.407 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.407 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.407 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 1539424825.407 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424825.407 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424825.407 * [misc]taylor: Taking taylor expansion of re in re 1539424825.407 * [misc]backup-simplify: Simplify 0 into 0 1539424825.407 * [misc]backup-simplify: Simplify 1 into 1 1539424825.407 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.407 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.407 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424825.407 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424825.407 * [misc]taylor: Taking taylor expansion of im in re 1539424825.407 * [misc]backup-simplify: Simplify im into im 1539424825.407 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424825.408 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.408 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.408 * [misc]taylor: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re 1539424825.408 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.408 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.408 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re 1539424825.408 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424825.408 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424825.408 * [misc]taylor: Taking taylor expansion of re in re 1539424825.408 * [misc]backup-simplify: Simplify 0 into 0 1539424825.408 * [misc]backup-simplify: Simplify 1 into 1 1539424825.408 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424825.408 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424825.408 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424825.408 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424825.408 * [misc]taylor: Taking taylor expansion of im in re 1539424825.408 * [misc]backup-simplify: Simplify im into im 1539424825.408 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424825.408 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424825.408 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.408 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im))) 1539424825.408 * [misc]backup-simplify: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) 1539424825.408 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) 1539424825.409 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) 1539424825.409 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.409 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 1539424825.409 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1539424825.410 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.410 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 1539424825.410 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.410 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.410 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (cos (/ 1 re)))) into 0 1539424825.410 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (* 0.5 (cos (/ 1 re))))) into 0 1539424825.410 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.411 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 1539424825.411 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1539424825.411 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.411 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 1539424825.412 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.412 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.412 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1539424825.412 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 1539424825.412 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.412 * [misc]taylor: Taking taylor expansion of 0 in re 1539424825.412 * [misc]backup-simplify: Simplify 0 into 0 1539424825.412 * [misc]backup-simplify: Simplify 0 into 0 1539424825.412 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1539424825.413 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424825.413 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1539424825.413 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 1539424825.413 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1539424825.414 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424825.414 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 1539424825.414 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0 1539424825.414 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.414 * [misc]backup-simplify: Simplify 0 into 0 1539424825.415 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.415 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.416 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.416 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.416 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.416 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.417 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.417 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 1539424825.417 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ 1 re)))))) into 0 1539424825.418 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.418 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.418 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.418 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.419 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.419 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.419 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.419 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424825.419 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 1539424825.420 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.420 * [misc]taylor: Taking taylor expansion of 0 in re 1539424825.420 * [misc]backup-simplify: Simplify 0 into 0 1539424825.420 * [misc]backup-simplify: Simplify 0 into 0 1539424825.420 * [misc]backup-simplify: Simplify 0 into 0 1539424825.420 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.426 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424825.427 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424825.427 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 1539424825.427 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.428 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424825.429 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 1539424825.429 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 1539424825.429 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.429 * [misc]backup-simplify: Simplify 0 into 0 1539424825.430 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1539424825.430 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539424825.430 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.432 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.432 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1539424825.432 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.432 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.432 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 1539424825.433 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ 1 re))))))) into 0 1539424825.434 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1539424825.434 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539424825.434 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.435 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.435 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1539424825.435 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.435 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.436 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424825.436 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 1539424825.436 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.436 * [misc]taylor: Taking taylor expansion of 0 in re 1539424825.436 * [misc]backup-simplify: Simplify 0 into 0 1539424825.436 * [misc]backup-simplify: Simplify 0 into 0 1539424825.436 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1539424825.437 * [misc]backup-simplify: Simplify (fma (exp (/ 1 (- im))) (* (cos (/ 1 (- re))) 0.5) (/ (* (cos (/ 1 (- re))) 0.5) (exp (/ 1 (- im))))) into (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 1539424825.437 * [misc]approximate: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in (im re) around 0 1539424825.437 * [misc]taylor: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in re 1539424825.437 * [misc]taylor: Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 1539424825.437 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.437 * [misc]backup-simplify: Simplify -1 into -1 1539424825.437 * [misc]taylor: Taking taylor expansion of im in re 1539424825.437 * [misc]backup-simplify: Simplify im into im 1539424825.437 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424825.437 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.437 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.437 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.437 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.437 * [misc]backup-simplify: Simplify -1 into -1 1539424825.437 * [misc]taylor: Taking taylor expansion of re in re 1539424825.437 * [misc]backup-simplify: Simplify 0 into 0 1539424825.437 * [misc]backup-simplify: Simplify 1 into 1 1539424825.437 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.437 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.437 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.437 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.437 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424825.437 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.437 * [misc]backup-simplify: Simplify -1 into -1 1539424825.437 * [misc]taylor: Taking taylor expansion of re in re 1539424825.437 * [misc]backup-simplify: Simplify 0 into 0 1539424825.437 * [misc]backup-simplify: Simplify 1 into 1 1539424825.437 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.438 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.438 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424825.438 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424825.438 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.438 * [misc]backup-simplify: Simplify -1 into -1 1539424825.438 * [misc]taylor: Taking taylor expansion of im in re 1539424825.438 * [misc]backup-simplify: Simplify im into im 1539424825.438 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424825.438 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.438 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.438 * [misc]taylor: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in im 1539424825.438 * [misc]taylor: Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 1539424825.438 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in im 1539424825.438 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424825.438 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424825.438 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.438 * [misc]backup-simplify: Simplify -1 into -1 1539424825.438 * [misc]taylor: Taking taylor expansion of im in im 1539424825.438 * [misc]backup-simplify: Simplify 0 into 0 1539424825.438 * [misc]backup-simplify: Simplify 1 into 1 1539424825.438 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.438 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.438 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in im 1539424825.438 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.438 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.438 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424825.438 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424825.438 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.439 * [misc]backup-simplify: Simplify -1 into -1 1539424825.439 * [misc]taylor: Taking taylor expansion of re in im 1539424825.439 * [misc]backup-simplify: Simplify re into re 1539424825.439 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424825.439 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.439 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424825.439 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 1539424825.439 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.439 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.439 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 1539424825.439 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424825.439 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424825.439 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.439 * [misc]backup-simplify: Simplify -1 into -1 1539424825.439 * [misc]taylor: Taking taylor expansion of re in im 1539424825.439 * [misc]backup-simplify: Simplify re into re 1539424825.439 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424825.439 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.439 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424825.439 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424825.439 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424825.439 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.439 * [misc]backup-simplify: Simplify -1 into -1 1539424825.439 * [misc]taylor: Taking taylor expansion of im in im 1539424825.439 * [misc]backup-simplify: Simplify 0 into 0 1539424825.439 * [misc]backup-simplify: Simplify 1 into 1 1539424825.439 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.439 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.439 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1539424825.439 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1539424825.439 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.439 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1539424825.440 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.440 * [misc]taylor: Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in im 1539424825.440 * [misc]taylor: Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) 1539424825.440 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.440 * [misc]backup-simplify: Simplify -1 into -1 1539424825.440 * [misc]taylor: Taking taylor expansion of im in im 1539424825.440 * [misc]backup-simplify: Simplify 0 into 0 1539424825.440 * [misc]backup-simplify: Simplify 1 into 1 1539424825.440 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.440 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.440 * [misc]taylor: Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.440 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.440 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.440 * [misc]backup-simplify: Simplify -1 into -1 1539424825.440 * [misc]taylor: Taking taylor expansion of re in im 1539424825.440 * [misc]backup-simplify: Simplify re into re 1539424825.440 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424825.440 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.440 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424825.440 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of 0.5 in im 1539424825.440 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.440 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.440 * [misc]backup-simplify: Simplify -1 into -1 1539424825.440 * [misc]taylor: Taking taylor expansion of re in im 1539424825.440 * [misc]backup-simplify: Simplify re into re 1539424825.440 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424825.440 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.440 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424825.440 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424825.440 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424825.441 * [misc]taylor: Taking taylor expansion of -1 in im 1539424825.441 * [misc]backup-simplify: Simplify -1 into -1 1539424825.441 * [misc]taylor: Taking taylor expansion of im in im 1539424825.441 * [misc]backup-simplify: Simplify 0 into 0 1539424825.441 * [misc]backup-simplify: Simplify 1 into 1 1539424825.441 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.441 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.441 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1539424825.441 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1539424825.441 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.441 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1539424825.441 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.441 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1539424825.441 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1539424825.441 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.441 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1539424825.441 * [misc]backup-simplify: Simplify (* 0.5 (cos (/ -1 re))) into (* 0.5 (cos (/ -1 re))) 1539424825.442 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.442 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.442 * [misc]backup-simplify: Simplify (+ (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) 1539424825.442 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.442 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.442 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.442 * [misc]backup-simplify: Simplify -1 into -1 1539424825.442 * [misc]taylor: Taking taylor expansion of re in re 1539424825.442 * [misc]backup-simplify: Simplify 0 into 0 1539424825.442 * [misc]backup-simplify: Simplify 1 into 1 1539424825.442 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.442 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.442 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.442 * [misc]backup-simplify: Simplify -1 into -1 1539424825.442 * [misc]taylor: Taking taylor expansion of im in re 1539424825.442 * [misc]backup-simplify: Simplify im into im 1539424825.442 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424825.442 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.442 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.442 * [misc]taylor: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re 1539424825.442 * [misc]taylor: Taking taylor expansion of 0.5 in re 1539424825.442 * [misc]backup-simplify: Simplify 0.5 into 0.5 1539424825.442 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re 1539424825.443 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424825.443 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424825.443 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.443 * [misc]backup-simplify: Simplify -1 into -1 1539424825.443 * [misc]taylor: Taking taylor expansion of re in re 1539424825.443 * [misc]backup-simplify: Simplify 0 into 0 1539424825.443 * [misc]backup-simplify: Simplify 1 into 1 1539424825.443 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424825.443 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424825.443 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424825.443 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424825.443 * [misc]taylor: Taking taylor expansion of -1 in re 1539424825.443 * [misc]backup-simplify: Simplify -1 into -1 1539424825.443 * [misc]taylor: Taking taylor expansion of im in re 1539424825.443 * [misc]backup-simplify: Simplify im into im 1539424825.443 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424825.443 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424825.443 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.443 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im))) 1539424825.443 * [misc]backup-simplify: Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) 1539424825.443 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) 1539424825.444 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) 1539424825.444 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.444 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 1539424825.444 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1539424825.445 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.445 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 1539424825.445 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.445 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.445 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (cos (/ -1 re)))) into 0 1539424825.445 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (* 0.5 (cos (/ -1 re))))) into 0 1539424825.445 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424825.446 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 1539424825.446 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1539424825.446 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424825.446 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 1539424825.446 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.447 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.447 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1539424825.447 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 1539424825.447 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.447 * [misc]taylor: Taking taylor expansion of 0 in re 1539424825.447 * [misc]backup-simplify: Simplify 0 into 0 1539424825.447 * [misc]backup-simplify: Simplify 0 into 0 1539424825.447 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1539424825.448 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424825.448 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1539424825.448 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 1539424825.448 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1539424825.449 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424825.449 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 1539424825.449 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0 1539424825.449 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.449 * [misc]backup-simplify: Simplify 0 into 0 1539424825.450 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.450 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.450 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.451 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.451 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.451 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.451 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.452 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 1539424825.452 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ -1 re)))))) into 0 1539424825.452 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424825.453 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424825.453 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.453 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.454 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424825.454 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.454 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.454 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424825.454 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 1539424825.454 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.454 * [misc]taylor: Taking taylor expansion of 0 in re 1539424825.454 * [misc]backup-simplify: Simplify 0 into 0 1539424825.454 * [misc]backup-simplify: Simplify 0 into 0 1539424825.454 * [misc]backup-simplify: Simplify 0 into 0 1539424825.455 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.456 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424825.456 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424825.456 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 1539424825.456 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424825.457 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424825.458 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 1539424825.458 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 1539424825.458 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.458 * [misc]backup-simplify: Simplify 0 into 0 1539424825.459 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1539424825.459 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539424825.460 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.461 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.461 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1539424825.461 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.461 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.461 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 1539424825.462 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ -1 re))))))) into 0 1539424825.462 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1539424825.463 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539424825.463 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424825.464 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424825.464 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1539424825.464 * [misc]backup-simplify: Simplify (- 0) into 0 1539424825.464 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.465 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424825.465 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 1539424825.465 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424825.465 * [misc]taylor: Taking taylor expansion of 0 in re 1539424825.465 * [misc]backup-simplify: Simplify 0 into 0 1539424825.465 * [misc]backup-simplify: Simplify 0 into 0 1539424825.465 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1539424825.465 * * * [misc]progress: simplifying candidates 1539424825.465 * * * * [misc]progress: [ 1 / 37 ] simplifiying candidate # 1539424825.465 * * * * [misc]progress: [ 2 / 37 ] simplifiying candidate # 1539424825.466 * * * * [misc]progress: [ 3 / 37 ] simplifiying candidate # 1539424825.466 * * * * [misc]progress: [ 4 / 37 ] simplifiying candidate # 1539424825.466 * [enter]simplify: Simplifying (- (log (* (cos re) 0.5)) im) 1539424825.466 * * [misc]simplify: iters left: 6 (7 enodes) 1539424825.467 * * [misc]simplify: iters left: 5 (13 enodes) 1539424825.469 * * [misc]simplify: iters left: 4 (19 enodes) 1539424825.473 * * [misc]simplify: iters left: 3 (27 enodes) 1539424825.481 * * [misc]simplify: iters left: 2 (31 enodes) 1539424825.489 * * [misc]simplify: iters left: 1 (35 enodes) 1539424825.499 * [exit]simplify: Simplified to (+ (- (log 0.5) im) (log (cos re))) 1539424825.499 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (exp (+ (- (log 0.5) im) (log (cos re)))))) 1539424825.499 * * * * [misc]progress: [ 5 / 37 ] simplifiying candidate # 1539424825.499 * * * * [misc]progress: [ 6 / 37 ] simplifiying candidate # 1539424825.500 * * * * [misc]progress: [ 7 / 37 ] simplifiying candidate # 1539424825.500 * [enter]simplify: Simplifying (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im))) 1539424825.500 * * [misc]simplify: iters left: 6 (11 enodes) 1539424825.504 * * [misc]simplify: iters left: 5 (29 enodes) 1539424825.517 * * [misc]simplify: iters left: 4 (105 enodes) 1539424825.557 * * [misc]simplify: iters left: 3 (398 enodes) 1539424826.076 * [exit]simplify: Simplified to (* (* (/ (cos re) (exp im)) (* 0.5 (cos re))) (* (/ (* 0.5 0.5) (exp im)) (/ (cos re) (exp im)))) 1539424826.076 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (* (* (/ (cos re) (exp im)) (* 0.5 (cos re))) (* (/ (* 0.5 0.5) (exp im)) (/ (cos re) (exp im))))))) 1539424826.076 * * * * [misc]progress: [ 8 / 37 ] simplifiying candidate # 1539424826.077 * * * * [misc]progress: [ 9 / 37 ] simplifiying candidate # 1539424826.077 * * * * [misc]progress: [ 10 / 37 ] simplifiying candidate # 1539424826.077 * * * * [misc]progress: [ 11 / 37 ] simplifiying candidate # 1539424826.077 * * * * [misc]progress: [ 12 / 37 ] simplifiying candidate # 1539424826.077 * [enter]simplify: Simplifying (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) 1539424826.077 * * [misc]simplify: iters left: 6 (7 enodes) 1539424826.078 * * [misc]simplify: iters left: 5 (9 enodes) 1539424826.082 * [exit]simplify: Simplified to (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) 1539424826.082 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im)))))) 1539424826.082 * [enter]simplify: Simplifying (/ 0.5 (cbrt (exp im))) 1539424826.082 * * [misc]simplify: iters left: 4 (5 enodes) 1539424826.083 * [exit]simplify: Simplified to (/ 0.5 (cbrt (exp im))) 1539424826.083 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im)))))) 1539424826.083 * * * * [misc]progress: [ 13 / 37 ] simplifiying candidate # 1539424826.083 * [enter]simplify: Simplifying (/ (cos re) (sqrt (exp im))) 1539424826.083 * * [misc]simplify: iters left: 4 (6 enodes) 1539424826.084 * [exit]simplify: Simplified to (/ (cos re) (sqrt (exp im))) 1539424826.084 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))))) 1539424826.084 * [enter]simplify: Simplifying (/ 0.5 (sqrt (exp im))) 1539424826.084 * * [misc]simplify: iters left: 4 (5 enodes) 1539424826.085 * [exit]simplify: Simplified to (/ 0.5 (sqrt (exp im))) 1539424826.085 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))))) 1539424826.085 * * * * [misc]progress: [ 14 / 37 ] simplifiying candidate # 1539424826.085 * [enter]simplify: Simplifying (/ (cos re) 1) 1539424826.085 * * [misc]simplify: iters left: 3 (4 enodes) 1539424826.086 * * [misc]simplify: iters left: 2 (6 enodes) 1539424826.087 * * [misc]simplify: iters left: 1 (8 enodes) 1539424826.088 * [exit]simplify: Simplified to (cos re) 1539424826.088 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cos re) (/ 0.5 (exp im))))) 1539424826.088 * [enter]simplify: Simplifying (/ 0.5 (exp im)) 1539424826.088 * * [misc]simplify: iters left: 3 (4 enodes) 1539424826.089 * [exit]simplify: Simplified to (/ 0.5 (exp im)) 1539424826.089 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cos re) (/ 0.5 (exp im))))) 1539424826.089 * * * * [misc]progress: [ 15 / 37 ] simplifiying candidate # 1539424826.089 * * * * [misc]progress: [ 16 / 37 ] simplifiying candidate # 1539424826.089 * * * * [misc]progress: [ 17 / 37 ] simplifiying candidate # 1539424826.089 * * * * [misc]progress: [ 18 / 37 ] simplifiying candidate # 1539424826.089 * [enter]simplify: Simplifying (cbrt (exp im)) 1539424826.089 * * [misc]simplify: iters left: 2 (3 enodes) 1539424826.089 * [exit]simplify: Simplified to (cbrt (exp im)) 1539424826.089 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))))) 1539424826.089 * * * * [misc]progress: [ 19 / 37 ] simplifiying candidate # 1539424826.090 * [enter]simplify: Simplifying (sqrt (exp im)) 1539424826.090 * * [misc]simplify: iters left: 2 (3 enodes) 1539424826.090 * [exit]simplify: Simplified to (sqrt (exp im)) 1539424826.090 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (sqrt (exp im))) (sqrt (exp im))))) 1539424826.090 * * * * [misc]progress: [ 20 / 37 ] simplifiying candidate # 1539424826.090 * [enter]simplify: Simplifying (exp im) 1539424826.090 * * [misc]simplify: iters left: 1 (2 enodes) 1539424826.091 * [exit]simplify: Simplified to (exp im) 1539424826.091 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) 1) (exp im)))) 1539424826.091 * * * * [misc]progress: [ 21 / 37 ] simplifiying candidate # 1539424826.091 * [enter]simplify: Simplifying (cos re) 1539424826.091 * * [misc]simplify: iters left: 1 (2 enodes) 1539424826.091 * [exit]simplify: Simplified to (cos re) 1539424826.091 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (cos re) (/ (exp im) 0.5)))) 1539424826.091 * * * * [misc]progress: [ 22 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 23 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 24 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 25 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 26 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 27 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 28 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 29 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 30 / 37 ] simplifiying candidate # 1539424826.091 * * * * [misc]progress: [ 31 / 37 ] simplifiying candidate # 1539424826.092 * * * * [misc]progress: [ 32 / 37 ] simplifiying candidate # 1539424826.092 * [enter]simplify: Simplifying (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) 1539424826.092 * * [misc]simplify: iters left: 6 (10 enodes) 1539424826.093 * * [misc]simplify: iters left: 5 (19 enodes) 1539424826.097 * * [misc]simplify: iters left: 4 (34 enodes) 1539424826.108 * * [misc]simplify: iters left: 3 (64 enodes) 1539424826.132 * * [misc]simplify: iters left: 2 (123 enodes) 1539424826.151 * * [misc]simplify: iters left: 1 (166 enodes) 1539424826.192 * [exit]simplify: Simplified to (- 0.5 (fma (* re re) 0.25 (* 0.5 im))) 1539424826.193 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (- 0.5 (fma (* re re) 0.25 (* 0.5 im))))) 1539424826.193 * * * * [misc]progress: [ 33 / 37 ] simplifiying candidate # 1539424826.193 * [enter]simplify: Simplifying (* 0.5 (/ (cos re) (exp im))) 1539424826.193 * * [misc]simplify: iters left: 5 (7 enodes) 1539424826.194 * * [misc]simplify: iters left: 4 (10 enodes) 1539424826.195 * * [misc]simplify: iters left: 3 (14 enodes) 1539424826.197 * * [misc]simplify: iters left: 2 (16 enodes) 1539424826.199 * * [misc]simplify: iters left: 1 (18 enodes) 1539424826.201 * [exit]simplify: Simplified to (* (/ (cos re) (exp im)) 0.5) 1539424826.201 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) 0.5))) 1539424826.201 * * * * [misc]progress: [ 34 / 37 ] simplifiying candidate # 1539424826.201 * [enter]simplify: Simplifying (* 0.5 (/ (cos re) (exp im))) 1539424826.201 * * [misc]simplify: iters left: 5 (7 enodes) 1539424826.202 * * [misc]simplify: iters left: 4 (10 enodes) 1539424826.204 * * [misc]simplify: iters left: 3 (14 enodes) 1539424826.208 * * [misc]simplify: iters left: 2 (16 enodes) 1539424826.212 * * [misc]simplify: iters left: 1 (18 enodes) 1539424826.216 * [exit]simplify: Simplified to (* (/ (cos re) (exp im)) 0.5) 1539424826.216 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) 0.5))) 1539424826.216 * * * * [misc]progress: [ 35 / 37 ] simplifiying candidate # 1539424826.217 * [enter]simplify: Simplifying (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 1539424826.217 * * [misc]simplify: iters left: 6 (11 enodes) 1539424826.220 * * [misc]simplify: iters left: 5 (21 enodes) 1539424826.228 * * [misc]simplify: iters left: 4 (46 enodes) 1539424826.244 * * [misc]simplify: iters left: 3 (79 enodes) 1539424826.258 * * [misc]simplify: iters left: 2 (119 enodes) 1539424826.281 * * [misc]simplify: iters left: 1 (151 enodes) 1539424826.328 * [exit]simplify: Simplified to (fma 0.5 (* (+ re im) (- im re)) 1.0) 1539424826.328 * [misc]simplify: Simplified (2) to (λ (re im) (fma 0.5 (* (+ re im) (- im re)) 1.0)) 1539424826.328 * * * * [misc]progress: [ 36 / 37 ] simplifiying candidate # 1539424826.328 * [enter]simplify: Simplifying (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1539424826.328 * * [misc]simplify: iters left: 6 (10 enodes) 1539424826.330 * * [misc]simplify: iters left: 5 (21 enodes) 1539424826.334 * * [misc]simplify: iters left: 4 (38 enodes) 1539424826.338 * * [misc]simplify: iters left: 3 (43 enodes) 1539424826.342 * * [misc]simplify: iters left: 2 (45 enodes) 1539424826.347 * * [misc]simplify: iters left: 1 (46 enodes) 1539424826.351 * [exit]simplify: Simplified to (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5) 1539424826.351 * [misc]simplify: Simplified (2) to (λ (re im) (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5)) 1539424826.351 * * * * [misc]progress: [ 37 / 37 ] simplifiying candidate # 1539424826.352 * [enter]simplify: Simplifying (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) 1539424826.352 * * [misc]simplify: iters left: 6 (10 enodes) 1539424826.353 * * [misc]simplify: iters left: 5 (21 enodes) 1539424826.358 * * [misc]simplify: iters left: 4 (38 enodes) 1539424826.368 * * [misc]simplify: iters left: 3 (43 enodes) 1539424826.379 * * [misc]simplify: iters left: 2 (45 enodes) 1539424826.388 * * [misc]simplify: iters left: 1 (46 enodes) 1539424826.394 * [exit]simplify: Simplified to (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5) 1539424826.394 * [misc]simplify: Simplified (2) to (λ (re im) (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5)) 1539424826.394 * * * [misc]progress: adding candidates to table 1539424826.716 * * [misc]progress: iteration 2 / 4 1539424826.716 * * * [misc]progress: picking best candidate 1539424826.719 * * * * [misc]pick: Picked # 1539424826.719 * * * [misc]progress: localizing error 1539424826.747 * * * [misc]progress: generating rewritten candidates 1539424826.747 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 3) 1539424826.788 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 3 1 1 1) 1539424826.799 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 3 1 1) 1539424826.857 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 3 1 2 1) 1539424826.864 * * * [misc]progress: generating series expansions 1539424826.864 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 3) 1539424826.864 * [misc]backup-simplify: Simplify (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))) into (/ (* (cbrt 0.125) (cos re)) (exp im)) 1539424826.864 * [misc]approximate: Taking taylor expansion of (/ (* (cbrt 0.125) (cos re)) (exp im)) in (re im) around 0 1539424826.864 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos re)) (exp im)) in im 1539424826.864 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos re)) in im 1539424826.864 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in im 1539424826.864 * [misc]taylor: Taking taylor expansion of 0.125 in im 1539424826.865 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.865 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.866 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.866 * [misc]taylor: Taking taylor expansion of (cos re) in im 1539424826.866 * [misc]taylor: Taking taylor expansion of re in im 1539424826.866 * [misc]backup-simplify: Simplify re into re 1539424826.866 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1539424826.866 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1539424826.866 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424826.866 * [misc]taylor: Taking taylor expansion of im in im 1539424826.866 * [misc]backup-simplify: Simplify 0 into 0 1539424826.866 * [misc]backup-simplify: Simplify 1 into 1 1539424826.866 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424826.866 * [misc]backup-simplify: Simplify (* (cos re) 1) into (cos re) 1539424826.866 * [misc]backup-simplify: Simplify (* (sin re) 0) into 0 1539424826.866 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.866 * [misc]backup-simplify: Simplify (+ (cos re) 0) into (cos re) 1539424826.866 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos re)) into (* (cbrt 0.125) (cos re)) 1539424826.867 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos re)) 1) into (* (cbrt 0.125) (cos re)) 1539424826.867 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos re)) (exp im)) in re 1539424826.867 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos re)) in re 1539424826.867 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in re 1539424826.867 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.867 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.867 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.867 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.867 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424826.867 * [misc]taylor: Taking taylor expansion of re in re 1539424826.867 * [misc]backup-simplify: Simplify 0 into 0 1539424826.867 * [misc]backup-simplify: Simplify 1 into 1 1539424826.867 * [misc]taylor: Taking taylor expansion of (exp im) in re 1539424826.867 * [misc]taylor: Taking taylor expansion of im in re 1539424826.867 * [misc]backup-simplify: Simplify im into im 1539424826.867 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1539424826.868 * [misc]backup-simplify: Simplify (* (cbrt 0.125) 1) into (cbrt 0.125) 1539424826.868 * [misc]backup-simplify: Simplify (/ (cbrt 0.125) (exp im)) into (/ (cbrt 0.125) (exp im)) 1539424826.868 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos re)) (exp im)) in re 1539424826.868 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos re)) in re 1539424826.868 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in re 1539424826.868 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.868 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.868 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.869 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.869 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424826.869 * [misc]taylor: Taking taylor expansion of re in re 1539424826.869 * [misc]backup-simplify: Simplify 0 into 0 1539424826.869 * [misc]backup-simplify: Simplify 1 into 1 1539424826.869 * [misc]taylor: Taking taylor expansion of (exp im) in re 1539424826.869 * [misc]taylor: Taking taylor expansion of im in re 1539424826.869 * [misc]backup-simplify: Simplify im into im 1539424826.869 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1539424826.869 * [misc]backup-simplify: Simplify (* (cbrt 0.125) 1) into (cbrt 0.125) 1539424826.869 * [misc]backup-simplify: Simplify (/ (cbrt 0.125) (exp im)) into (/ (cbrt 0.125) (exp im)) 1539424826.869 * [misc]taylor: Taking taylor expansion of (/ (cbrt 0.125) (exp im)) in im 1539424826.869 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in im 1539424826.869 * [misc]taylor: Taking taylor expansion of 0.125 in im 1539424826.869 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.870 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.870 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.870 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424826.870 * [misc]taylor: Taking taylor expansion of im in im 1539424826.870 * [misc]backup-simplify: Simplify 0 into 0 1539424826.870 * [misc]backup-simplify: Simplify 1 into 1 1539424826.870 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424826.870 * [misc]backup-simplify: Simplify (/ (cbrt 0.125) 1) into (cbrt 0.125) 1539424826.871 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.871 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424826.871 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (* 0 1)) into 0 1539424826.872 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 1539424826.872 * [misc]backup-simplify: Simplify (- (/ 0 (exp im)) (+ (* (/ (cbrt 0.125) (exp im)) (/ 0 (exp im))))) into 0 1539424826.872 * [misc]taylor: Taking taylor expansion of 0 in im 1539424826.872 * [misc]backup-simplify: Simplify 0 into 0 1539424826.872 * [misc]backup-simplify: Simplify 0 into 0 1539424826.873 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539424826.874 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (cbrt 0.125) (/ 1 1)))) into (- (cbrt 0.125)) 1539424826.874 * [misc]backup-simplify: Simplify (- (cbrt 0.125)) into (- (cbrt 0.125)) 1539424826.875 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1539424826.876 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 0.125))))) (* 3 (cbrt 0.125))) into 0 1539424826.877 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) (- 1/2)) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cbrt 0.125))) 1539424826.878 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424826.879 * [misc]backup-simplify: Simplify (- (/ (- (* 1/2 (cbrt 0.125))) (exp im)) (+ (* (/ (cbrt 0.125) (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ (cbrt 0.125) (exp im)))) 1539424826.879 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (/ (cbrt 0.125) (exp im)))) in im 1539424826.879 * [misc]taylor: Taking taylor expansion of (* 1/2 (/ (cbrt 0.125) (exp im))) in im 1539424826.879 * [misc]taylor: Taking taylor expansion of 1/2 in im 1539424826.879 * [misc]backup-simplify: Simplify 1/2 into 1/2 1539424826.879 * [misc]taylor: Taking taylor expansion of (/ (cbrt 0.125) (exp im)) in im 1539424826.879 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in im 1539424826.879 * [misc]taylor: Taking taylor expansion of 0.125 in im 1539424826.879 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.879 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.880 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.880 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424826.880 * [misc]taylor: Taking taylor expansion of im in im 1539424826.880 * [misc]backup-simplify: Simplify 0 into 0 1539424826.880 * [misc]backup-simplify: Simplify 1 into 1 1539424826.880 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424826.880 * [misc]backup-simplify: Simplify (/ (cbrt 0.125) 1) into (cbrt 0.125) 1539424826.880 * [misc]backup-simplify: Simplify (* 1/2 (cbrt 0.125)) into (* 1/2 (cbrt 0.125)) 1539424826.881 * [misc]backup-simplify: Simplify (- (* 1/2 (cbrt 0.125))) into (- (* 1/2 (cbrt 0.125))) 1539424826.881 * [misc]backup-simplify: Simplify (- (* 1/2 (cbrt 0.125))) into (- (* 1/2 (cbrt 0.125))) 1539424826.882 * [misc]backup-simplify: Simplify (+ (* (- (* 1/2 (cbrt 0.125))) (pow (* 1 re) 2)) (+ (* (- (cbrt 0.125)) (* im 1)) (cbrt 0.125))) into (- (cbrt 0.125) (+ (* (cbrt 0.125) im) (* 1/2 (* (cbrt 0.125) (pow re 2))))) 1539424826.882 * [misc]backup-simplify: Simplify (cbrt (/ (* (* (* (cos (/ 1 re)) 0.5) (* (cos (/ 1 re)) 0.5)) (* (cos (/ 1 re)) 0.5)) (* (* (exp (/ 1 im)) (exp (/ 1 im))) (exp (/ 1 im))))) into (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) 1539424826.882 * [misc]approximate: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) in (re im) around 0 1539424826.882 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) in im 1539424826.882 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ 1 re))) in im 1539424826.882 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in im 1539424826.882 * [misc]taylor: Taking taylor expansion of 0.125 in im 1539424826.883 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.883 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.883 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.883 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424826.883 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424826.883 * [misc]taylor: Taking taylor expansion of re in im 1539424826.883 * [misc]backup-simplify: Simplify re into re 1539424826.883 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424826.883 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.883 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424826.883 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424826.884 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424826.884 * [misc]taylor: Taking taylor expansion of im in im 1539424826.884 * [misc]backup-simplify: Simplify 0 into 0 1539424826.884 * [misc]backup-simplify: Simplify 1 into 1 1539424826.884 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.884 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424826.884 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1539424826.884 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1539424826.884 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.884 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1539424826.884 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ 1 re))) into (* (cbrt 0.125) (cos (/ 1 re))) 1539424826.884 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) into (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) 1539424826.884 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) in re 1539424826.884 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ 1 re))) in re 1539424826.884 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in re 1539424826.884 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.885 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.885 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.885 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.885 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424826.885 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424826.885 * [misc]taylor: Taking taylor expansion of re in re 1539424826.885 * [misc]backup-simplify: Simplify 0 into 0 1539424826.885 * [misc]backup-simplify: Simplify 1 into 1 1539424826.885 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.885 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.885 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424826.885 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424826.885 * [misc]taylor: Taking taylor expansion of im in re 1539424826.885 * [misc]backup-simplify: Simplify im into im 1539424826.885 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424826.885 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424826.886 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ 1 re))) into (* (cbrt 0.125) (cos (/ 1 re))) 1539424826.886 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) into (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) 1539424826.886 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) in re 1539424826.886 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ 1 re))) in re 1539424826.886 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in re 1539424826.886 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.886 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.886 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.887 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.887 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424826.887 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424826.887 * [misc]taylor: Taking taylor expansion of re in re 1539424826.887 * [misc]backup-simplify: Simplify 0 into 0 1539424826.887 * [misc]backup-simplify: Simplify 1 into 1 1539424826.887 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.887 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.887 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1539424826.887 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1539424826.887 * [misc]taylor: Taking taylor expansion of im in re 1539424826.887 * [misc]backup-simplify: Simplify im into im 1539424826.887 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1539424826.887 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424826.887 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ 1 re))) into (* (cbrt 0.125) (cos (/ 1 re))) 1539424826.888 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) into (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) 1539424826.888 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) in im 1539424826.888 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ 1 re))) in im 1539424826.888 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in im 1539424826.888 * [misc]taylor: Taking taylor expansion of 0.125 in im 1539424826.888 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.889 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.889 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.889 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1539424826.889 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1539424826.889 * [misc]taylor: Taking taylor expansion of re in im 1539424826.889 * [misc]backup-simplify: Simplify re into re 1539424826.889 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1539424826.889 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.890 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1539424826.890 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424826.890 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424826.890 * [misc]taylor: Taking taylor expansion of im in im 1539424826.890 * [misc]backup-simplify: Simplify 0 into 0 1539424826.890 * [misc]backup-simplify: Simplify 1 into 1 1539424826.890 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.890 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424826.890 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1539424826.890 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1539424826.890 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.890 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1539424826.891 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ 1 re))) into (* (cbrt 0.125) (cos (/ 1 re))) 1539424826.891 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) into (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) 1539424826.891 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) into (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) 1539424826.892 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (* 0 (cos (/ 1 re)))) into 0 1539424826.892 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1539424826.893 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424826.893 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1539424826.893 * [misc]taylor: Taking taylor expansion of 0 in im 1539424826.893 * [misc]backup-simplify: Simplify 0 into 0 1539424826.894 * [misc]backup-simplify: Simplify 0 into 0 1539424826.894 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424826.894 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 1539424826.894 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1539424826.895 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424826.895 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 1539424826.895 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424826.896 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (* 0 (cos (/ 1 re)))) into 0 1539424826.896 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1539424826.897 * [misc]backup-simplify: Simplify 0 into 0 1539424826.898 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 0.125))))) (* 3 (cbrt 0.125))) into 0 1539424826.899 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 1539424826.899 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424826.901 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424826.901 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424826.902 * [misc]taylor: Taking taylor expansion of 0 in im 1539424826.902 * [misc]backup-simplify: Simplify 0 into 0 1539424826.902 * [misc]backup-simplify: Simplify 0 into 0 1539424826.902 * [misc]backup-simplify: Simplify 0 into 0 1539424826.903 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424826.903 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424826.903 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424826.904 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424826.904 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424826.904 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.905 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424826.906 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 0.125))))) (* 3 (cbrt 0.125))) into 0 1539424826.907 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 1539424826.908 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424826.908 * [misc]backup-simplify: Simplify 0 into 0 1539424826.909 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 0.125))) into 0 1539424826.910 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 1539424826.910 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424826.913 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539424826.913 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ 1 re))) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1539424826.913 * [misc]taylor: Taking taylor expansion of 0 in im 1539424826.913 * [misc]backup-simplify: Simplify 0 into 0 1539424826.913 * [misc]backup-simplify: Simplify 0 into 0 1539424826.914 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ 1 (/ 1 re)))) (exp (/ 1 (/ 1 im)))) into (/ (* (cbrt 0.125) (cos re)) (exp im)) 1539424826.914 * [misc]backup-simplify: Simplify (cbrt (/ (* (* (* (cos (/ 1 (- re))) 0.5) (* (cos (/ 1 (- re))) 0.5)) (* (cos (/ 1 (- re))) 0.5)) (* (* (exp (/ 1 (- im))) (exp (/ 1 (- im)))) (exp (/ 1 (- im)))))) into (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) 1539424826.914 * [misc]approximate: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) in (re im) around 0 1539424826.914 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) in im 1539424826.914 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ -1 re))) in im 1539424826.915 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in im 1539424826.915 * [misc]taylor: Taking taylor expansion of 0.125 in im 1539424826.915 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.915 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.916 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.916 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424826.916 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424826.916 * [misc]taylor: Taking taylor expansion of -1 in im 1539424826.916 * [misc]backup-simplify: Simplify -1 into -1 1539424826.916 * [misc]taylor: Taking taylor expansion of re in im 1539424826.916 * [misc]backup-simplify: Simplify re into re 1539424826.916 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424826.916 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424826.916 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424826.916 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424826.916 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424826.916 * [misc]taylor: Taking taylor expansion of -1 in im 1539424826.916 * [misc]backup-simplify: Simplify -1 into -1 1539424826.916 * [misc]taylor: Taking taylor expansion of im in im 1539424826.916 * [misc]backup-simplify: Simplify 0 into 0 1539424826.916 * [misc]backup-simplify: Simplify 1 into 1 1539424826.916 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424826.916 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424826.916 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1539424826.917 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1539424826.917 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.917 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1539424826.917 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ -1 re))) into (* (cbrt 0.125) (cos (/ -1 re))) 1539424826.917 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) into (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) 1539424826.918 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) in re 1539424826.918 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ -1 re))) in re 1539424826.918 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in re 1539424826.918 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.918 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.918 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.919 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.919 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424826.919 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424826.919 * [misc]taylor: Taking taylor expansion of -1 in re 1539424826.919 * [misc]backup-simplify: Simplify -1 into -1 1539424826.919 * [misc]taylor: Taking taylor expansion of re in re 1539424826.919 * [misc]backup-simplify: Simplify 0 into 0 1539424826.919 * [misc]backup-simplify: Simplify 1 into 1 1539424826.919 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424826.919 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424826.919 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424826.919 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424826.919 * [misc]taylor: Taking taylor expansion of -1 in re 1539424826.919 * [misc]backup-simplify: Simplify -1 into -1 1539424826.919 * [misc]taylor: Taking taylor expansion of im in re 1539424826.919 * [misc]backup-simplify: Simplify im into im 1539424826.919 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424826.919 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424826.920 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ -1 re))) into (* (cbrt 0.125) (cos (/ -1 re))) 1539424826.920 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) into (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) 1539424826.920 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) in re 1539424826.920 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ -1 re))) in re 1539424826.920 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in re 1539424826.920 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.920 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.920 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.921 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.921 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424826.921 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424826.921 * [misc]taylor: Taking taylor expansion of -1 in re 1539424826.921 * [misc]backup-simplify: Simplify -1 into -1 1539424826.921 * [misc]taylor: Taking taylor expansion of re in re 1539424826.921 * [misc]backup-simplify: Simplify 0 into 0 1539424826.921 * [misc]backup-simplify: Simplify 1 into 1 1539424826.921 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424826.922 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424826.922 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1539424826.922 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1539424826.922 * [misc]taylor: Taking taylor expansion of -1 in re 1539424826.922 * [misc]backup-simplify: Simplify -1 into -1 1539424826.922 * [misc]taylor: Taking taylor expansion of im in re 1539424826.922 * [misc]backup-simplify: Simplify im into im 1539424826.922 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1539424826.922 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424826.922 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ -1 re))) into (* (cbrt 0.125) (cos (/ -1 re))) 1539424826.922 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) into (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) 1539424826.922 * [misc]taylor: Taking taylor expansion of (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) in im 1539424826.923 * [misc]taylor: Taking taylor expansion of (* (cbrt 0.125) (cos (/ -1 re))) in im 1539424826.923 * [misc]taylor: Taking taylor expansion of (cbrt 0.125) in im 1539424826.923 * [misc]taylor: Taking taylor expansion of 0.125 in im 1539424826.923 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.923 * [misc]backup-simplify: Simplify (cbrt 0.125) into (cbrt 0.125) 1539424826.923 * [misc]backup-simplify: Simplify (/ 0 (* 3 (cbrt 0.125))) into 0 1539424826.924 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1539424826.924 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1539424826.924 * [misc]taylor: Taking taylor expansion of -1 in im 1539424826.924 * [misc]backup-simplify: Simplify -1 into -1 1539424826.924 * [misc]taylor: Taking taylor expansion of re in im 1539424826.924 * [misc]backup-simplify: Simplify re into re 1539424826.924 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1539424826.924 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424826.924 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1539424826.924 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424826.924 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424826.924 * [misc]taylor: Taking taylor expansion of -1 in im 1539424826.924 * [misc]backup-simplify: Simplify -1 into -1 1539424826.924 * [misc]taylor: Taking taylor expansion of im in im 1539424826.924 * [misc]backup-simplify: Simplify 0 into 0 1539424826.924 * [misc]backup-simplify: Simplify 1 into 1 1539424826.924 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424826.924 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424826.924 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1539424826.924 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1539424826.925 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.925 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1539424826.925 * [misc]backup-simplify: Simplify (* (cbrt 0.125) (cos (/ -1 re))) into (* (cbrt 0.125) (cos (/ -1 re))) 1539424826.925 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) into (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) 1539424826.926 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) into (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) 1539424826.926 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (* 0 (cos (/ -1 re)))) into 0 1539424826.926 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1539424826.927 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1539424826.928 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1539424826.928 * [misc]taylor: Taking taylor expansion of 0 in im 1539424826.928 * [misc]backup-simplify: Simplify 0 into 0 1539424826.928 * [misc]backup-simplify: Simplify 0 into 0 1539424826.928 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424826.928 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 1539424826.928 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1539424826.929 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1539424826.929 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 1539424826.930 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.930 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424826.930 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (* 0 (cos (/ -1 re)))) into 0 1539424826.931 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1539424826.931 * [misc]backup-simplify: Simplify 0 into 0 1539424826.933 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 0.125))))) (* 3 (cbrt 0.125))) into 0 1539424826.933 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 1539424826.933 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424826.935 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1539424826.935 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424826.936 * [misc]taylor: Taking taylor expansion of 0 in im 1539424826.936 * [misc]backup-simplify: Simplify 0 into 0 1539424826.936 * [misc]backup-simplify: Simplify 0 into 0 1539424826.936 * [misc]backup-simplify: Simplify 0 into 0 1539424826.937 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1539424826.937 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1539424826.937 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1539424826.938 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1539424826.939 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1539424826.939 * [misc]backup-simplify: Simplify (- 0) into 0 1539424826.939 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539424826.941 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 0.125))))) (* 3 (cbrt 0.125))) into 0 1539424826.942 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 1539424826.942 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424826.942 * [misc]backup-simplify: Simplify 0 into 0 1539424826.943 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 0.125))) into 0 1539424826.944 * [misc]backup-simplify: Simplify (+ (* (cbrt 0.125) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 1539424826.944 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1539424826.947 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1539424826.948 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (* (cbrt 0.125) (cos (/ -1 re))) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1539424826.948 * [misc]taylor: Taking taylor expansion of 0 in im 1539424826.948 * [misc]backup-simplify: Simplify 0 into 0 1539424826.948 * [misc]backup-simplify: Simplify 0 into 0 1539424826.948 * [misc]backup-simplify: Simplify (/ (* (cbrt 0.125) (cos (/ -1 (/ 1 (- re))))) (exp (/ -1 (/ 1 (- im))))) into (/ (* (cbrt 0.125) (cos re)) (exp im)) 1539424826.948 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 3 1 1 1) 1539424826.948 * [misc]backup-simplify: Simplify (* (* (cos re) 0.5) (* (cos re) 0.5)) into (* 0.25 (pow (cos re) 2)) 1539424826.948 * [misc]approximate: Taking taylor expansion of (* 0.25 (pow (cos re) 2)) in (re) around 0 1539424826.948 * [misc]taylor: Taking taylor expansion of (* 0.25 (pow (cos re) 2)) in re 1539424826.948 * [misc]taylor: Taking taylor expansion of 0.25 in re 1539424826.948 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424826.948 * [misc]taylor: Taking taylor expansion of (pow (cos re) 2) in re 1539424826.948 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424826.949 * [misc]taylor: Taking taylor expansion of re in re 1539424826.949 * [misc]backup-simplify: Simplify 0 into 0 1539424826.949 * [misc]backup-simplify: Simplify 1 into 1 1539424826.949 * [misc]taylor: Taking taylor expansion of (* 0.25 (pow (cos re) 2)) in re 1539424826.949 * [misc]taylor: Taking taylor expansion of 0.25 in re 1539424826.949 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424826.949 * [misc]taylor: Taking taylor expansion of (pow (cos re) 2) in re 1539424826.949 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424826.949 * [misc]taylor: Taking taylor expansion of re in re 1539424826.949 * [misc]backup-simplify: Simplify 0 into 0 1539424826.949 * [misc]backup-simplify: Simplify 1 into 1 1539424826.949 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539424826.949 * [misc]backup-simplify: Simplify (* 0.25 1) into 0.25 1539424826.949 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424826.949 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424826.950 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539424826.950 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (* 0 1)) into 0 1539424826.950 * [misc]backup-simplify: Simplify 0 into 0 1539424826.951 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1539424826.951 * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 1539424826.952 * [misc]backup-simplify: Simplify (+ (* 0.25 -1) (+ (* 0 0) (* 0 1))) into (- 0.25) 1539424826.952 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1539424826.954 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 1539424826.954 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1/2)) (+ (* (- 1/2) 0) (* 0 1)))) into 0 1539424826.954 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1)))) into 0 1539424826.954 * [misc]backup-simplify: Simplify 0 into 0 1539424826.957 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 1539424826.958 * [misc]backup-simplify: Simplify (+ (* 1 1/24) (+ (* 0 0) (+ (* (- 1/2) (- 1/2)) (+ (* 0 0) (* 1/24 1))))) into 1/3 1539424826.959 * [misc]backup-simplify: Simplify (+ (* 0.25 1/3) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1))))) into 0.08333333333333333 1539424826.959 * [misc]backup-simplify: Simplify 0.08333333333333333 into 0.08333333333333333 1539424826.959 * [misc]backup-simplify: Simplify (+ (* 0.08333333333333333 (pow re 4)) (+ (* (- 0.25) (pow re 2)) 0.25)) into (- (+ 0.25 (* 0.08333333333333333 (pow re 4))) (* 0.25 (pow re 2))) 1539424826.959 * [misc]backup-simplify: Simplify (* (* (cos (/ 1 re)) 0.5) (* (cos (/ 1 re)) 0.5)) into (* 0.25 (pow (cos (/ 1 re)) 2)) 1539424826.959 * [misc]approximate: Taking taylor expansion of (* 0.25 (pow (cos (/ 1 re)) 2)) in (re) around 0 1539424826.959 * [misc]taylor: Taking taylor expansion of (* 0.25 (pow (cos (/ 1 re)) 2)) in re 1539424826.959 * [misc]taylor: Taking taylor expansion of 0.25 in re 1539424826.959 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424826.959 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 re)) 2) in re 1539424826.959 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424826.959 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424826.959 * [misc]taylor: Taking taylor expansion of re in re 1539424826.960 * [misc]backup-simplify: Simplify 0 into 0 1539424826.960 * [misc]backup-simplify: Simplify 1 into 1 1539424826.960 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.960 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.960 * [misc]taylor: Taking taylor expansion of (* 0.25 (pow (cos (/ 1 re)) 2)) in re 1539424826.960 * [misc]taylor: Taking taylor expansion of 0.25 in re 1539424826.960 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424826.960 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 re)) 2) in re 1539424826.960 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424826.960 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424826.960 * [misc]taylor: Taking taylor expansion of re in re 1539424826.960 * [misc]backup-simplify: Simplify 0 into 0 1539424826.960 * [misc]backup-simplify: Simplify 1 into 1 1539424826.960 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.960 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.960 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) (cos (/ 1 re))) into (pow (cos (/ 1 re)) 2) 1539424826.961 * [misc]backup-simplify: Simplify (* 0.25 (pow (cos (/ 1 re)) 2)) into (* 0.25 (pow (cos (/ 1 re)) 2)) 1539424826.961 * [misc]backup-simplify: Simplify (* 0.25 (pow (cos (/ 1 re)) 2)) into (* 0.25 (pow (cos (/ 1 re)) 2)) 1539424826.961 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (cos (/ 1 re)))) into 0 1539424826.961 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (* 0 (pow (cos (/ 1 re)) 2))) into 0 1539424826.961 * [misc]backup-simplify: Simplify 0 into 0 1539424826.961 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 1539424826.962 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2)))) into 0 1539424826.962 * [misc]backup-simplify: Simplify 0 into 0 1539424826.962 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 1539424826.963 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2))))) into 0 1539424826.963 * [misc]backup-simplify: Simplify 0 into 0 1539424826.963 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))))) into 0 1539424826.964 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2)))))) into 0 1539424826.964 * [misc]backup-simplify: Simplify 0 into 0 1539424826.965 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))))) into 0 1539424826.966 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2))))))) into 0 1539424826.966 * [misc]backup-simplify: Simplify 0 into 0 1539424826.966 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))))))) into 0 1539424826.967 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2)))))))) into 0 1539424826.967 * [misc]backup-simplify: Simplify 0 into 0 1539424826.967 * [misc]backup-simplify: Simplify (* 0.25 (pow (cos (/ 1 (/ 1 re))) 2)) into (* 0.25 (pow (cos re) 2)) 1539424826.968 * [misc]backup-simplify: Simplify (* (* (cos (/ 1 (- re))) 0.5) (* (cos (/ 1 (- re))) 0.5)) into (* 0.25 (pow (cos (/ -1 re)) 2)) 1539424826.968 * [misc]approximate: Taking taylor expansion of (* 0.25 (pow (cos (/ -1 re)) 2)) in (re) around 0 1539424826.968 * [misc]taylor: Taking taylor expansion of (* 0.25 (pow (cos (/ -1 re)) 2)) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of 0.25 in re 1539424826.968 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424826.968 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 re)) 2) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of -1 in re 1539424826.968 * [misc]backup-simplify: Simplify -1 into -1 1539424826.968 * [misc]taylor: Taking taylor expansion of re in re 1539424826.968 * [misc]backup-simplify: Simplify 0 into 0 1539424826.968 * [misc]backup-simplify: Simplify 1 into 1 1539424826.968 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424826.968 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424826.968 * [misc]taylor: Taking taylor expansion of (* 0.25 (pow (cos (/ -1 re)) 2)) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of 0.25 in re 1539424826.968 * [misc]backup-simplify: Simplify 0.25 into 0.25 1539424826.968 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 re)) 2) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424826.968 * [misc]taylor: Taking taylor expansion of -1 in re 1539424826.969 * [misc]backup-simplify: Simplify -1 into -1 1539424826.969 * [misc]taylor: Taking taylor expansion of re in re 1539424826.969 * [misc]backup-simplify: Simplify 0 into 0 1539424826.969 * [misc]backup-simplify: Simplify 1 into 1 1539424826.969 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424826.969 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424826.969 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) (cos (/ -1 re))) into (pow (cos (/ -1 re)) 2) 1539424826.969 * [misc]backup-simplify: Simplify (* 0.25 (pow (cos (/ -1 re)) 2)) into (* 0.25 (pow (cos (/ -1 re)) 2)) 1539424826.969 * [misc]backup-simplify: Simplify (* 0.25 (pow (cos (/ -1 re)) 2)) into (* 0.25 (pow (cos (/ -1 re)) 2)) 1539424826.969 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (cos (/ -1 re)))) into 0 1539424826.970 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (* 0 (pow (cos (/ -1 re)) 2))) into 0 1539424826.970 * [misc]backup-simplify: Simplify 0 into 0 1539424826.970 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 1539424826.970 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2)))) into 0 1539424826.970 * [misc]backup-simplify: Simplify 0 into 0 1539424826.971 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 1539424826.971 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2))))) into 0 1539424826.971 * [misc]backup-simplify: Simplify 0 into 0 1539424826.972 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))))) into 0 1539424826.973 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2)))))) into 0 1539424826.973 * [misc]backup-simplify: Simplify 0 into 0 1539424826.973 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))))) into 0 1539424826.974 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2))))))) into 0 1539424826.974 * [misc]backup-simplify: Simplify 0 into 0 1539424826.975 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))))))) into 0 1539424826.976 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2)))))))) into 0 1539424826.976 * [misc]backup-simplify: Simplify 0 into 0 1539424826.976 * [misc]backup-simplify: Simplify (* 0.25 (pow (cos (/ -1 (/ 1 (- re)))) 2)) into (* 0.25 (pow (cos re) 2)) 1539424826.976 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 3 1 1) 1539424826.976 * [misc]backup-simplify: Simplify (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) into (* 0.125 (pow (cos re) 3)) 1539424826.976 * [misc]approximate: Taking taylor expansion of (* 0.125 (pow (cos re) 3)) in (re) around 0 1539424826.976 * [misc]taylor: Taking taylor expansion of (* 0.125 (pow (cos re) 3)) in re 1539424826.976 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.976 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.976 * [misc]taylor: Taking taylor expansion of (pow (cos re) 3) in re 1539424826.976 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424826.976 * [misc]taylor: Taking taylor expansion of re in re 1539424826.976 * [misc]backup-simplify: Simplify 0 into 0 1539424826.976 * [misc]backup-simplify: Simplify 1 into 1 1539424826.977 * [misc]taylor: Taking taylor expansion of (* 0.125 (pow (cos re) 3)) in re 1539424826.977 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.977 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.977 * [misc]taylor: Taking taylor expansion of (pow (cos re) 3) in re 1539424826.977 * [misc]taylor: Taking taylor expansion of (cos re) in re 1539424826.977 * [misc]taylor: Taking taylor expansion of re in re 1539424826.977 * [misc]backup-simplify: Simplify 0 into 0 1539424826.977 * [misc]backup-simplify: Simplify 1 into 1 1539424826.977 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539424826.977 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539424826.978 * [misc]backup-simplify: Simplify (* 0.125 1) into 0.125 1539424826.978 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.978 * [misc]backup-simplify: Simplify (+ 0) into 0 1539424826.978 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539424826.978 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539424826.978 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (* 0 1)) into 0 1539424826.978 * [misc]backup-simplify: Simplify 0 into 0 1539424826.979 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1539424826.980 * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 1539424826.980 * [misc]backup-simplify: Simplify (+ (* 1 -1) (+ (* 0 0) (* (- 1/2) 1))) into -3/2 1539424826.980 * [misc]backup-simplify: Simplify (+ (* 0.125 -3/2) (+ (* 0 0) (* 0 1))) into (- 0.1875) 1539424826.981 * [misc]backup-simplify: Simplify (- 0.1875) into (- 0.1875) 1539424826.982 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 1539424826.983 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1/2)) (+ (* (- 1/2) 0) (* 0 1)))) into 0 1539424826.983 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1) (+ (* (- 1/2) 0) (* 0 1)))) into 0 1539424826.983 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 -3/2) (+ (* 0 0) (* 0 1)))) into 0 1539424826.983 * [misc]backup-simplify: Simplify 0 into 0 1539424826.987 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 1539424826.987 * [misc]backup-simplify: Simplify (+ (* 1 1/24) (+ (* 0 0) (+ (* (- 1/2) (- 1/2)) (+ (* 0 0) (* 1/24 1))))) into 1/3 1539424826.988 * [misc]backup-simplify: Simplify (+ (* 1 1/3) (+ (* 0 0) (+ (* (- 1/2) -1) (+ (* 0 0) (* 1/24 1))))) into 7/8 1539424826.989 * [misc]backup-simplify: Simplify (+ (* 0.125 7/8) (+ (* 0 0) (+ (* 0 -3/2) (+ (* 0 0) (* 0 1))))) into 0.109375 1539424826.989 * [misc]backup-simplify: Simplify 0.109375 into 0.109375 1539424826.989 * [misc]backup-simplify: Simplify (+ (* 0.109375 (pow re 4)) (+ (* (- 0.1875) (pow re 2)) 0.125)) into (- (+ 0.125 (* 0.109375 (pow re 4))) (* 0.1875 (pow re 2))) 1539424826.989 * [misc]backup-simplify: Simplify (* (* (* (cos (/ 1 re)) 0.5) (* (cos (/ 1 re)) 0.5)) (* (cos (/ 1 re)) 0.5)) into (* 0.125 (pow (cos (/ 1 re)) 3)) 1539424826.990 * [misc]approximate: Taking taylor expansion of (* 0.125 (pow (cos (/ 1 re)) 3)) in (re) around 0 1539424826.990 * [misc]taylor: Taking taylor expansion of (* 0.125 (pow (cos (/ 1 re)) 3)) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.990 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.990 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 re)) 3) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of re in re 1539424826.990 * [misc]backup-simplify: Simplify 0 into 0 1539424826.990 * [misc]backup-simplify: Simplify 1 into 1 1539424826.990 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.990 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.990 * [misc]taylor: Taking taylor expansion of (* 0.125 (pow (cos (/ 1 re)) 3)) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424826.990 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424826.990 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 re)) 3) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1539424826.990 * [misc]taylor: Taking taylor expansion of re in re 1539424826.990 * [misc]backup-simplify: Simplify 0 into 0 1539424826.990 * [misc]backup-simplify: Simplify 1 into 1 1539424826.990 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424826.990 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1539424826.991 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) (cos (/ 1 re))) into (pow (cos (/ 1 re)) 2) 1539424826.991 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) (pow (cos (/ 1 re)) 2)) into (pow (cos (/ 1 re)) 3) 1539424826.991 * [misc]backup-simplify: Simplify (* 0.125 (pow (cos (/ 1 re)) 3)) into (* 0.125 (pow (cos (/ 1 re)) 3)) 1539424826.991 * [misc]backup-simplify: Simplify (* 0.125 (pow (cos (/ 1 re)) 3)) into (* 0.125 (pow (cos (/ 1 re)) 3)) 1539424826.991 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (cos (/ 1 re)))) into 0 1539424826.991 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (pow (cos (/ 1 re)) 2))) into 0 1539424826.992 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (* 0 (pow (cos (/ 1 re)) 3))) into 0 1539424826.992 * [misc]backup-simplify: Simplify 0 into 0 1539424826.992 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0 1539424826.992 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2)))) into 0 1539424826.993 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 3)))) into 0 1539424826.993 * [misc]backup-simplify: Simplify 0 into 0 1539424826.993 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0 1539424826.993 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2))))) into 0 1539424826.994 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 3))))) into 0 1539424826.994 * [misc]backup-simplify: Simplify 0 into 0 1539424826.994 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))))) into 0 1539424826.995 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2)))))) into 0 1539424826.996 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 3)))))) into 0 1539424826.996 * [misc]backup-simplify: Simplify 0 into 0 1539424826.996 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))))) into 0 1539424826.997 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2))))))) into 0 1539424826.998 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 3))))))) into 0 1539424826.998 * [misc]backup-simplify: Simplify 0 into 0 1539424826.999 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))))))) into 0 1539424826.999 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 2)))))))) into 0 1539424827.000 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 re)) 3)))))))) into 0 1539424827.000 * [misc]backup-simplify: Simplify 0 into 0 1539424827.000 * [misc]backup-simplify: Simplify (* 0.125 (pow (cos (/ 1 (/ 1 re))) 3)) into (* 0.125 (pow (cos re) 3)) 1539424827.001 * [misc]backup-simplify: Simplify (* (* (* (cos (/ 1 (- re))) 0.5) (* (cos (/ 1 (- re))) 0.5)) (* (cos (/ 1 (- re))) 0.5)) into (* 0.125 (pow (cos (/ -1 re)) 3)) 1539424827.001 * [misc]approximate: Taking taylor expansion of (* 0.125 (pow (cos (/ -1 re)) 3)) in (re) around 0 1539424827.001 * [misc]taylor: Taking taylor expansion of (* 0.125 (pow (cos (/ -1 re)) 3)) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424827.001 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424827.001 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 re)) 3) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of -1 in re 1539424827.001 * [misc]backup-simplify: Simplify -1 into -1 1539424827.001 * [misc]taylor: Taking taylor expansion of re in re 1539424827.001 * [misc]backup-simplify: Simplify 0 into 0 1539424827.001 * [misc]backup-simplify: Simplify 1 into 1 1539424827.001 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424827.001 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424827.001 * [misc]taylor: Taking taylor expansion of (* 0.125 (pow (cos (/ -1 re)) 3)) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of 0.125 in re 1539424827.001 * [misc]backup-simplify: Simplify 0.125 into 0.125 1539424827.001 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 re)) 3) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1539424827.001 * [misc]taylor: Taking taylor expansion of -1 in re 1539424827.001 * [misc]backup-simplify: Simplify -1 into -1 1539424827.001 * [misc]taylor: Taking taylor expansion of re in re 1539424827.001 * [misc]backup-simplify: Simplify 0 into 0 1539424827.001 * [misc]backup-simplify: Simplify 1 into 1 1539424827.002 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424827.002 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1539424827.002 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) (cos (/ -1 re))) into (pow (cos (/ -1 re)) 2) 1539424827.002 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) (pow (cos (/ -1 re)) 2)) into (pow (cos (/ -1 re)) 3) 1539424827.002 * [misc]backup-simplify: Simplify (* 0.125 (pow (cos (/ -1 re)) 3)) into (* 0.125 (pow (cos (/ -1 re)) 3)) 1539424827.002 * [misc]backup-simplify: Simplify (* 0.125 (pow (cos (/ -1 re)) 3)) into (* 0.125 (pow (cos (/ -1 re)) 3)) 1539424827.002 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (cos (/ -1 re)))) into 0 1539424827.003 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (pow (cos (/ -1 re)) 2))) into 0 1539424827.003 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (* 0 (pow (cos (/ -1 re)) 3))) into 0 1539424827.003 * [misc]backup-simplify: Simplify 0 into 0 1539424827.005 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 1539424827.005 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2)))) into 0 1539424827.006 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 3)))) into 0 1539424827.006 * [misc]backup-simplify: Simplify 0 into 0 1539424827.006 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 1539424827.007 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2))))) into 0 1539424827.007 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 3))))) into 0 1539424827.007 * [misc]backup-simplify: Simplify 0 into 0 1539424827.008 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))))) into 0 1539424827.008 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2)))))) into 0 1539424827.008 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 3)))))) into 0 1539424827.008 * [misc]backup-simplify: Simplify 0 into 0 1539424827.009 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))))) into 0 1539424827.009 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2))))))) into 0 1539424827.010 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 3))))))) into 0 1539424827.010 * [misc]backup-simplify: Simplify 0 into 0 1539424827.010 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))))))) into 0 1539424827.011 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 2)))))))) into 0 1539424827.011 * [misc]backup-simplify: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 re)) 3)))))))) into 0 1539424827.011 * [misc]backup-simplify: Simplify 0 into 0 1539424827.011 * [misc]backup-simplify: Simplify (* 0.125 (pow (cos (/ -1 (/ 1 (- re)))) 3)) into (* 0.125 (pow (cos re) 3)) 1539424827.011 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 3 1 2 1) 1539424827.011 * [misc]backup-simplify: Simplify (* (exp im) (exp im)) into (pow (exp im) 2) 1539424827.012 * [misc]approximate: Taking taylor expansion of (pow (exp im) 2) in (im) around 0 1539424827.012 * [misc]taylor: Taking taylor expansion of (pow (exp im) 2) in im 1539424827.012 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424827.012 * [misc]taylor: Taking taylor expansion of im in im 1539424827.012 * [misc]backup-simplify: Simplify 0 into 0 1539424827.012 * [misc]backup-simplify: Simplify 1 into 1 1539424827.012 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424827.012 * [misc]taylor: Taking taylor expansion of (pow (exp im) 2) in im 1539424827.012 * [misc]taylor: Taking taylor expansion of (exp im) in im 1539424827.012 * [misc]taylor: Taking taylor expansion of im in im 1539424827.012 * [misc]backup-simplify: Simplify 0 into 0 1539424827.012 * [misc]backup-simplify: Simplify 1 into 1 1539424827.012 * [misc]backup-simplify: Simplify (exp 0) into 1 1539424827.012 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539424827.012 * [misc]backup-simplify: Simplify 1 into 1 1539424827.013 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1539424827.013 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1539424827.013 * [misc]backup-simplify: Simplify 2 into 2 1539424827.014 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1539424827.015 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 1539424827.015 * [misc]backup-simplify: Simplify 2 into 2 1539424827.015 * [misc]backup-simplify: Simplify (+ (* 2 (pow im 2)) (+ (* 2 im) 1)) into (+ (* 2 (pow im 2)) (+ (* 2 im) 1)) 1539424827.015 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (exp (/ 1 im))) into (pow (exp (/ 1 im)) 2) 1539424827.015 * [misc]approximate: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in (im) around 0 1539424827.015 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1539424827.015 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424827.015 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424827.015 * [misc]taylor: Taking taylor expansion of im in im 1539424827.015 * [misc]backup-simplify: Simplify 0 into 0 1539424827.015 * [misc]backup-simplify: Simplify 1 into 1 1539424827.015 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424827.015 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424827.015 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1539424827.015 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1539424827.015 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1539424827.015 * [misc]taylor: Taking taylor expansion of im in im 1539424827.015 * [misc]backup-simplify: Simplify 0 into 0 1539424827.015 * [misc]backup-simplify: Simplify 1 into 1 1539424827.015 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539424827.015 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1539424827.015 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (exp (/ 1 im))) into (pow (exp (/ 1 im)) 2) 1539424827.016 * [misc]backup-simplify: Simplify (pow (exp (/ 1 im)) 2) into (pow (exp (/ 1 im)) 2) 1539424827.016 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (exp (/ 1 im)))) into 0 1539424827.016 * [misc]backup-simplify: Simplify 0 into 0 1539424827.016 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 1539424827.016 * [misc]backup-simplify: Simplify 0 into 0 1539424827.016 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 1539424827.016 * [misc]backup-simplify: Simplify 0 into 0 1539424827.017 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))) into 0 1539424827.017 * [misc]backup-simplify: Simplify 0 into 0 1539424827.017 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))))) into 0 1539424827.017 * [misc]backup-simplify: Simplify 0 into 0 1539424827.017 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))))) into 0 1539424827.018 * [misc]backup-simplify: Simplify 0 into 0 1539424827.018 * [misc]backup-simplify: Simplify (pow (exp (/ 1 (/ 1 im))) 2) into (pow (exp im) 2) 1539424827.018 * [misc]backup-simplify: Simplify (* (exp (/ 1 (- im))) (exp (/ 1 (- im)))) into (pow (exp (/ -1 im)) 2) 1539424827.018 * [misc]approximate: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in (im) around 0 1539424827.018 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1539424827.018 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424827.018 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424827.018 * [misc]taylor: Taking taylor expansion of -1 in im 1539424827.018 * [misc]backup-simplify: Simplify -1 into -1 1539424827.018 * [misc]taylor: Taking taylor expansion of im in im 1539424827.018 * [misc]backup-simplify: Simplify 0 into 0 1539424827.018 * [misc]backup-simplify: Simplify 1 into 1 1539424827.018 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424827.018 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424827.018 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1539424827.018 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1539424827.018 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1539424827.018 * [misc]taylor: Taking taylor expansion of -1 in im 1539424827.018 * [misc]backup-simplify: Simplify -1 into -1 1539424827.018 * [misc]taylor: Taking taylor expansion of im in im 1539424827.018 * [misc]backup-simplify: Simplify 0 into 0 1539424827.018 * [misc]backup-simplify: Simplify 1 into 1 1539424827.018 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539424827.018 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1539424827.018 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (exp (/ -1 im))) into (pow (exp (/ -1 im)) 2) 1539424827.018 * [misc]backup-simplify: Simplify (pow (exp (/ -1 im)) 2) into (pow (exp (/ -1 im)) 2) 1539424827.019 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (exp (/ -1 im)))) into 0 1539424827.019 * [misc]backup-simplify: Simplify 0 into 0 1539424827.019 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 1539424827.019 * [misc]backup-simplify: Simplify 0 into 0 1539424827.019 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 1539424827.019 * [misc]backup-simplify: Simplify 0 into 0 1539424827.019 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))) into 0 1539424827.019 * [misc]backup-simplify: Simplify 0 into 0 1539424827.020 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))))) into 0 1539424827.020 * [misc]backup-simplify: Simplify 0 into 0 1539424827.020 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))))) into 0 1539424827.020 * [misc]backup-simplify: Simplify 0 into 0 1539424827.021 * [misc]backup-simplify: Simplify (pow (exp (/ -1 (/ 1 (- im)))) 2) into (pow (exp im) 2) 1539424827.021 * * * [misc]progress: simplifying candidates 1539424827.021 * * * * [misc]progress: [ 1 / 93 ] simplifiying candidate # 1539424827.021 * * * * [misc]progress: [ 2 / 93 ] simplifiying candidate # 1539424827.021 * * * * [misc]progress: [ 3 / 93 ] simplifiying candidate # 1539424827.021 * * * * [misc]progress: [ 4 / 93 ] simplifiying candidate # 1539424827.021 * * * * [misc]progress: [ 5 / 93 ] simplifiying candidate # 1539424827.021 * * * * [misc]progress: [ 6 / 93 ] simplifiying candidate # 1539424827.021 * * * * [misc]progress: [ 7 / 93 ] simplifiying candidate # 1539424827.021 * [enter]simplify: Simplifying (cbrt (* (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424827.021 * * [misc]simplify: iters left: 6 (14 enodes) 1539424827.024 * * [misc]simplify: iters left: 5 (32 enodes) 1539424827.030 * * [misc]simplify: iters left: 4 (108 enodes) 1539424827.061 * * [misc]simplify: iters left: 3 (398 enodes) 1539424827.589 * [exit]simplify: Simplified to (cbrt (* (/ (cos re) (/ (exp im) 0.5)) (/ (cos re) (/ (exp im) 0.5)))) 1539424827.589 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cbrt (* (/ (cos re) (/ (exp im) 0.5)) (/ (cos re) (/ (exp im) 0.5)))) (cbrt (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))))) 1539424827.589 * * * * [misc]progress: [ 8 / 93 ] simplifiying candidate # 1539424827.589 * [enter]simplify: Simplifying (cbrt (sqrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im))))) 1539424827.589 * * [misc]simplify: iters left: 6 (13 enodes) 1539424827.591 * * [misc]simplify: iters left: 5 (31 enodes) 1539424827.598 * * [misc]simplify: iters left: 4 (107 enodes) 1539424827.637 * * [misc]simplify: iters left: 3 (397 enodes) 1539424827.954 * [exit]simplify: Simplified to (cbrt (sqrt (* (* (/ (cos re) (exp im)) (/ (cos re) (exp im))) (/ (* 0.5 (cos re)) (/ (exp im) (* 0.5 0.5)))))) 1539424827.954 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cbrt (sqrt (* (* (/ (cos re) (exp im)) (/ (cos re) (exp im))) (/ (* 0.5 (cos re)) (/ (exp im) (* 0.5 0.5)))))) (cbrt (sqrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))))) 1539424827.954 * * * * [misc]progress: [ 9 / 93 ] simplifiying candidate # 1539424827.955 * [enter]simplify: Simplifying (cbrt (/ (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (exp im) (exp im)))) 1539424827.955 * * [misc]simplify: iters left: 6 (10 enodes) 1539424827.956 * * [misc]simplify: iters left: 5 (23 enodes) 1539424827.964 * * [misc]simplify: iters left: 4 (58 enodes) 1539424827.974 * * [misc]simplify: iters left: 3 (135 enodes) 1539424828.005 * * [misc]simplify: iters left: 2 (276 enodes) 1539424828.101 * * [misc]simplify: iters left: 1 (403 enodes) 1539424828.237 * [exit]simplify: Simplified to (cbrt (* (/ (cos re) (/ (exp im) 0.5)) (/ (cos re) (/ (exp im) 0.5)))) 1539424828.237 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cbrt (* (/ (cos re) (/ (exp im) 0.5)) (/ (cos re) (/ (exp im) 0.5)))) (cbrt (/ (* (cos re) 0.5) (exp im)))))) 1539424828.237 * * * * [misc]progress: [ 10 / 93 ] simplifiying candidate # 1539424828.237 * [enter]simplify: Simplifying (cbrt 1) 1539424828.237 * * [misc]simplify: iters left: 1 (2 enodes) 1539424828.238 * [exit]simplify: Simplified to 1 1539424828.238 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* 1 (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im))))))) 1539424828.238 * * * * [misc]progress: [ 11 / 93 ] simplifiying candidate # 1539424828.238 * [enter]simplify: Simplifying (cbrt (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5))) 1539424828.238 * * [misc]simplify: iters left: 6 (7 enodes) 1539424828.239 * * [misc]simplify: iters left: 5 (15 enodes) 1539424828.242 * * [misc]simplify: iters left: 4 (31 enodes) 1539424828.247 * * [misc]simplify: iters left: 3 (58 enodes) 1539424828.260 * * [misc]simplify: iters left: 2 (86 enodes) 1539424828.273 * * [misc]simplify: iters left: 1 (89 enodes) 1539424828.284 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.284 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (* 0.5 (cos re)) (cbrt (/ 1 (* (* (exp im) (exp im)) (exp im))))))) 1539424828.284 * * * * [misc]progress: [ 12 / 93 ] simplifiying candidate # 1539424828.284 * [enter]simplify: Simplifying (cbrt (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5))) 1539424828.284 * * [misc]simplify: iters left: 6 (7 enodes) 1539424828.286 * * [misc]simplify: iters left: 5 (15 enodes) 1539424828.288 * * [misc]simplify: iters left: 4 (31 enodes) 1539424828.293 * * [misc]simplify: iters left: 3 (58 enodes) 1539424828.305 * * [misc]simplify: iters left: 2 (86 enodes) 1539424828.317 * * [misc]simplify: iters left: 1 (89 enodes) 1539424828.329 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.329 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (* 0.5 (cos re)) (cbrt (* (* (exp im) (exp im)) (exp im)))))) 1539424828.329 * * * * [misc]progress: [ 13 / 93 ] simplifiying candidate # 1539424828.329 * * * * [misc]progress: [ 14 / 93 ] simplifiying candidate # 1539424828.330 * * * * [misc]progress: [ 15 / 93 ] simplifiying candidate # 1539424828.330 * * * * [misc]progress: [ 16 / 93 ] simplifiying candidate # 1539424828.330 * * * * [misc]progress: [ 17 / 93 ] simplifiying candidate # 1539424828.330 * * * * [misc]progress: [ 18 / 93 ] simplifiying candidate # 1539424828.330 * * * * [misc]progress: [ 19 / 93 ] simplifiying candidate # 1539424828.330 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.330 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.331 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.331 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.331 * [misc]simplify: Simplified (2 3 1 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (pow (* 0.5 (cos re)) (+ 1 1)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.332 * [enter]simplify: Simplifying (+ 1 1) 1539424828.332 * * [misc]simplify: iters left: 2 (2 enodes) 1539424828.332 * * [misc]simplify: iters left: 1 (5 enodes) 1539424828.333 * [exit]simplify: Simplified to 2 1539424828.333 * [misc]simplify: Simplified (2 3 1 1 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (pow (* (cos re) 0.5) 2) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.333 * * * * [misc]progress: [ 20 / 93 ] simplifiying candidate # 1539424828.333 * [enter]simplify: Simplifying (* (* (cos re) 0.5) (* (cos re) 0.5)) 1539424828.333 * * [misc]simplify: iters left: 5 (5 enodes) 1539424828.334 * * [misc]simplify: iters left: 4 (10 enodes) 1539424828.336 * * [misc]simplify: iters left: 3 (17 enodes) 1539424828.338 * * [misc]simplify: iters left: 2 (21 enodes) 1539424828.341 * * [misc]simplify: iters left: 1 (22 enodes) 1539424828.344 * [exit]simplify: Simplified to (* (* 0.5 (cos re)) (* 0.5 (cos re))) 1539424828.344 * [misc]simplify: Simplified (2 3 1 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (pow (* (* 0.5 (cos re)) (* 0.5 (cos re))) 1) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.344 * * * * [misc]progress: [ 21 / 93 ] simplifiying candidate # 1539424828.344 * * * * [misc]progress: [ 22 / 93 ] simplifiying candidate # 1539424828.344 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.344 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.345 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.346 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.346 * [misc]simplify: Simplified (2 3 1 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (pow (* 0.5 (cos re)) (+ 1 1)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.346 * * * * [misc]progress: [ 23 / 93 ] simplifiying candidate # 1539424828.346 * * * * [misc]progress: [ 24 / 93 ] simplifiying candidate # 1539424828.346 * [enter]simplify: Simplifying (+ (log (* (cos re) 0.5)) (log (* (cos re) 0.5))) 1539424828.346 * * [misc]simplify: iters left: 6 (6 enodes) 1539424828.347 * * [misc]simplify: iters left: 5 (10 enodes) 1539424828.349 * * [misc]simplify: iters left: 4 (15 enodes) 1539424828.351 * * [misc]simplify: iters left: 3 (23 enodes) 1539424828.354 * * [misc]simplify: iters left: 2 (27 enodes) 1539424828.357 * * [misc]simplify: iters left: 1 (28 enodes) 1539424828.361 * [exit]simplify: Simplified to (+ (log (* 0.5 (cos re))) (log (* 0.5 (cos re)))) 1539424828.361 * [misc]simplify: Simplified (2 3 1 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (exp (+ (log (* 0.5 (cos re))) (log (* 0.5 (cos re))))) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.361 * * * * [misc]progress: [ 25 / 93 ] simplifiying candidate # 1539424828.361 * * * * [misc]progress: [ 26 / 93 ] simplifiying candidate # 1539424828.361 * * * * [misc]progress: [ 27 / 93 ] simplifiying candidate # 1539424828.361 * [enter]simplify: Simplifying (* (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5))) 1539424828.362 * * [misc]simplify: iters left: 6 (7 enodes) 1539424828.363 * * [misc]simplify: iters left: 5 (19 enodes) 1539424828.367 * * [misc]simplify: iters left: 4 (59 enodes) 1539424828.382 * * [misc]simplify: iters left: 3 (167 enodes) 1539424828.456 * * [misc]simplify: iters left: 2 (494 enodes) 1539424828.783 * [exit]simplify: Simplified to (pow (* 0.5 (cos re)) 6) 1539424828.783 * [misc]simplify: Simplified (2 3 1 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (cbrt (pow (* 0.5 (cos re)) 6)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.783 * * * * [misc]progress: [ 28 / 93 ] simplifiying candidate # 1539424828.783 * * * * [misc]progress: [ 29 / 93 ] simplifiying candidate # 1539424828.783 * * * * [misc]progress: [ 30 / 93 ] simplifiying candidate # 1539424828.783 * * * * [misc]progress: [ 31 / 93 ] simplifiying candidate # 1539424828.784 * * * * [misc]progress: [ 32 / 93 ] simplifiying candidate # 1539424828.784 * * * * [misc]progress: [ 33 / 93 ] simplifiying candidate # 1539424828.784 * [enter]simplify: Simplifying (cos re) 1539424828.784 * * [misc]simplify: iters left: 1 (2 enodes) 1539424828.784 * [exit]simplify: Simplified to (cos re) 1539424828.784 * [misc]simplify: Simplified (2 3 1 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (cos re) (* 0.5 (* (cos re) 0.5))) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.784 * * * * [misc]progress: [ 34 / 93 ] simplifiying candidate # 1539424828.784 * * * * [misc]progress: [ 35 / 93 ] simplifiying candidate # 1539424828.784 * * * * [misc]progress: [ 36 / 93 ] simplifiying candidate # 1539424828.784 * * * * [misc]progress: [ 37 / 93 ] simplifiying candidate # 1539424828.784 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.784 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.785 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.786 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.786 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* 0.5 (cos re)) (+ (+ 1 1) 1)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.786 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1539424828.786 * * [misc]simplify: iters left: 4 (3 enodes) 1539424828.787 * * [misc]simplify: iters left: 3 (8 enodes) 1539424828.790 * [exit]simplify: Simplified to 3 1539424828.790 * [misc]simplify: Simplified (2 3 1 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* (cos re) 0.5) 3) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.791 * * * * [misc]progress: [ 38 / 93 ] simplifiying candidate # 1539424828.791 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.791 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.791 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.792 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.792 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* 0.5 (cos re)) (+ 2 1)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.792 * [enter]simplify: Simplifying (+ 2 1) 1539424828.792 * * [misc]simplify: iters left: 2 (3 enodes) 1539424828.793 * * [misc]simplify: iters left: 1 (7 enodes) 1539424828.794 * [exit]simplify: Simplified to 3 1539424828.794 * [misc]simplify: Simplified (2 3 1 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* (cos re) 0.5) 3) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.794 * * * * [misc]progress: [ 39 / 93 ] simplifiying candidate # 1539424828.794 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.794 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.795 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.796 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.796 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* 0.5 (cos re)) (+ (+ 1 1) 1)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.796 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1539424828.796 * * [misc]simplify: iters left: 4 (3 enodes) 1539424828.797 * * [misc]simplify: iters left: 3 (8 enodes) 1539424828.798 * [exit]simplify: Simplified to 3 1539424828.798 * [misc]simplify: Simplified (2 3 1 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* (cos re) 0.5) 3) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.798 * * * * [misc]progress: [ 40 / 93 ] simplifiying candidate # 1539424828.798 * [enter]simplify: Simplifying (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) 1539424828.798 * * [misc]simplify: iters left: 6 (6 enodes) 1539424828.799 * * [misc]simplify: iters left: 5 (14 enodes) 1539424828.802 * * [misc]simplify: iters left: 4 (30 enodes) 1539424828.810 * * [misc]simplify: iters left: 3 (56 enodes) 1539424828.829 * * [misc]simplify: iters left: 2 (87 enodes) 1539424828.853 * * [misc]simplify: iters left: 1 (90 enodes) 1539424828.870 * [exit]simplify: Simplified to (pow (* 0.5 (cos re)) 3) 1539424828.870 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (pow (* 0.5 (cos re)) 3) 1) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.870 * * * * [misc]progress: [ 41 / 93 ] simplifiying candidate # 1539424828.870 * [enter]simplify: Simplifying (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) 1539424828.870 * * [misc]simplify: iters left: 6 (6 enodes) 1539424828.873 * * [misc]simplify: iters left: 5 (14 enodes) 1539424828.878 * * [misc]simplify: iters left: 4 (30 enodes) 1539424828.884 * * [misc]simplify: iters left: 3 (56 enodes) 1539424828.896 * * [misc]simplify: iters left: 2 (87 enodes) 1539424828.909 * * [misc]simplify: iters left: 1 (90 enodes) 1539424828.918 * [exit]simplify: Simplified to (pow (* 0.5 (cos re)) 3) 1539424828.918 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (pow (* 0.5 (cos re)) 3) 1) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.918 * * * * [misc]progress: [ 42 / 93 ] simplifiying candidate # 1539424828.919 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.919 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.919 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.920 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.920 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* 0.5 (cos re)) 3) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.920 * * * * [misc]progress: [ 43 / 93 ] simplifiying candidate # 1539424828.920 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.920 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.921 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.921 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.921 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* 0.5 (cos re)) (+ (+ 1 1) 1)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.921 * * * * [misc]progress: [ 44 / 93 ] simplifiying candidate # 1539424828.922 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.922 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.922 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.923 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.923 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* 0.5 (cos re)) (+ 2 1)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.923 * * * * [misc]progress: [ 45 / 93 ] simplifiying candidate # 1539424828.923 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424828.923 * * [misc]simplify: iters left: 3 (4 enodes) 1539424828.924 * * [misc]simplify: iters left: 2 (5 enodes) 1539424828.924 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424828.924 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (pow (* 0.5 (cos re)) (+ (+ 1 1) 1)) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.924 * * * * [misc]progress: [ 46 / 93 ] simplifiying candidate # 1539424828.925 * * * * [misc]progress: [ 47 / 93 ] simplifiying candidate # 1539424828.925 * [enter]simplify: Simplifying (+ (+ (log (* (cos re) 0.5)) (log (* (cos re) 0.5))) (log (* (cos re) 0.5))) 1539424828.925 * * [misc]simplify: iters left: 6 (7 enodes) 1539424828.926 * * [misc]simplify: iters left: 5 (12 enodes) 1539424828.928 * * [misc]simplify: iters left: 4 (19 enodes) 1539424828.931 * * [misc]simplify: iters left: 3 (36 enodes) 1539424828.937 * * [misc]simplify: iters left: 2 (59 enodes) 1539424828.946 * * [misc]simplify: iters left: 1 (82 enodes) 1539424828.958 * [exit]simplify: Simplified to (+ (+ (log (* 0.5 (cos re))) (log (* 0.5 (cos re)))) (log (* 0.5 (cos re)))) 1539424828.958 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (exp (+ (+ (log (* 0.5 (cos re))) (log (* 0.5 (cos re)))) (log (* 0.5 (cos re))))) (* (* (exp im) (exp im)) (exp im)))))) 1539424828.958 * * * * [misc]progress: [ 48 / 93 ] simplifiying candidate # 1539424828.959 * [enter]simplify: Simplifying (+ (log (* (* (cos re) 0.5) (* (cos re) 0.5))) (log (* (cos re) 0.5))) 1539424828.959 * * [misc]simplify: iters left: 6 (8 enodes) 1539424828.960 * * [misc]simplify: iters left: 5 (18 enodes) 1539424828.965 * * [misc]simplify: iters left: 4 (34 enodes) 1539424828.971 * * [misc]simplify: iters left: 3 (63 enodes) 1539424828.981 * * [misc]simplify: iters left: 2 (99 enodes) 1539424828.996 * * [misc]simplify: iters left: 1 (124 enodes) 1539424829.011 * [exit]simplify: Simplified to (+ (log (* (* 0.5 (cos re)) (* 0.5 (cos re)))) (log (* 0.5 (cos re)))) 1539424829.011 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (exp (+ (log (* (* 0.5 (cos re)) (* 0.5 (cos re)))) (log (* 0.5 (cos re))))) (* (* (exp im) (exp im)) (exp im)))))) 1539424829.011 * * * * [misc]progress: [ 49 / 93 ] simplifiying candidate # 1539424829.012 * * * * [misc]progress: [ 50 / 93 ] simplifiying candidate # 1539424829.012 * * * * [misc]progress: [ 51 / 93 ] simplifiying candidate # 1539424829.012 * [enter]simplify: Simplifying (* (* (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5))) (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5))) 1539424829.012 * * [misc]simplify: iters left: 6 (8 enodes) 1539424829.013 * * [misc]simplify: iters left: 5 (23 enodes) 1539424829.019 * * [misc]simplify: iters left: 4 (82 enodes) 1539424829.044 * * [misc]simplify: iters left: 3 (281 enodes) 1539424829.297 * [exit]simplify: Simplified to (pow (pow (* 0.5 (cos re)) 3) 3) 1539424829.297 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (cbrt (pow (pow (* 0.5 (cos re)) 3) 3)) (* (* (exp im) (exp im)) (exp im)))))) 1539424829.297 * * * * [misc]progress: [ 52 / 93 ] simplifiying candidate # 1539424829.297 * [enter]simplify: Simplifying (* (* (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (* (cos re) 0.5) (* (cos re) 0.5))) (* (* (cos re) 0.5) (* (cos re) 0.5))) (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5))) 1539424829.297 * * [misc]simplify: iters left: 6 (9 enodes) 1539424829.301 * * [misc]simplify: iters left: 5 (27 enodes) 1539424829.312 * * [misc]simplify: iters left: 4 (105 enodes) 1539424829.356 * * [misc]simplify: iters left: 3 (351 enodes) 1539424829.738 * [exit]simplify: Simplified to (pow (pow (* 0.5 (cos re)) 3) 3) 1539424829.738 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (cbrt (pow (pow (* 0.5 (cos re)) 3) 3)) (* (* (exp im) (exp im)) (exp im)))))) 1539424829.738 * * * * [misc]progress: [ 53 / 93 ] simplifiying candidate # 1539424829.738 * * * * [misc]progress: [ 54 / 93 ] simplifiying candidate # 1539424829.738 * * * * [misc]progress: [ 55 / 93 ] simplifiying candidate # 1539424829.738 * * * * [misc]progress: [ 56 / 93 ] simplifiying candidate # 1539424829.738 * * * * [misc]progress: [ 57 / 93 ] simplifiying candidate # 1539424829.738 * * * * [misc]progress: [ 58 / 93 ] simplifiying candidate # 1539424829.738 * [enter]simplify: Simplifying (* (cos re) 0.5) 1539424829.738 * * [misc]simplify: iters left: 3 (4 enodes) 1539424829.739 * * [misc]simplify: iters left: 2 (5 enodes) 1539424829.740 * [exit]simplify: Simplified to (* 0.5 (cos re)) 1539424829.740 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* 0.5 (cos re)) (* (* (cos re) 0.5) (* (cos re) 0.5))) (* (* (exp im) (exp im)) (exp im)))))) 1539424829.740 * * * * [misc]progress: [ 59 / 93 ] simplifiying candidate # 1539424829.740 * * * * [misc]progress: [ 60 / 93 ] simplifiying candidate # 1539424829.740 * * * * [misc]progress: [ 61 / 93 ] simplifiying candidate # 1539424829.740 * * * * [misc]progress: [ 62 / 93 ] simplifiying candidate # 1539424829.740 * [enter]simplify: Simplifying (exp im) 1539424829.740 * * [misc]simplify: iters left: 1 (2 enodes) 1539424829.740 * [exit]simplify: Simplified to (exp im) 1539424829.740 * [misc]simplify: Simplified (2 3 1 2 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (pow (exp im) (+ 1 1)) (exp im)))))) 1539424829.740 * [enter]simplify: Simplifying (+ 1 1) 1539424829.740 * * [misc]simplify: iters left: 2 (2 enodes) 1539424829.741 * * [misc]simplify: iters left: 1 (5 enodes) 1539424829.742 * [exit]simplify: Simplified to 2 1539424829.742 * [misc]simplify: Simplified (2 3 1 2 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (pow (exp im) 2) (exp im)))))) 1539424829.742 * * * * [misc]progress: [ 63 / 93 ] simplifiying candidate # 1539424829.742 * [enter]simplify: Simplifying (* (exp im) (exp im)) 1539424829.742 * * [misc]simplify: iters left: 3 (3 enodes) 1539424829.742 * * [misc]simplify: iters left: 2 (5 enodes) 1539424829.743 * [exit]simplify: Simplified to (* (exp im) (exp im)) 1539424829.743 * [misc]simplify: Simplified (2 3 1 2 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (pow (* (exp im) (exp im)) 1) (exp im)))))) 1539424829.743 * * * * [misc]progress: [ 64 / 93 ] simplifiying candidate # 1539424829.743 * * * * [misc]progress: [ 65 / 93 ] simplifiying candidate # 1539424829.743 * [enter]simplify: Simplifying (exp im) 1539424829.743 * * [misc]simplify: iters left: 1 (2 enodes) 1539424829.744 * [exit]simplify: Simplified to (exp im) 1539424829.744 * [misc]simplify: Simplified (2 3 1 2 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (pow (exp im) (+ 1 1)) (exp im)))))) 1539424829.744 * * * * [misc]progress: [ 66 / 93 ] simplifiying candidate # 1539424829.744 * * * * [misc]progress: [ 67 / 93 ] simplifiying candidate # 1539424829.744 * [enter]simplify: Simplifying (+ im im) 1539424829.744 * * [misc]simplify: iters left: 2 (2 enodes) 1539424829.744 * [exit]simplify: Simplified to (+ im im) 1539424829.744 * [misc]simplify: Simplified (2 3 1 2 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (exp (+ im im)) (exp im)))))) 1539424829.744 * * * * [misc]progress: [ 68 / 93 ] simplifiying candidate # 1539424829.744 * * * * [misc]progress: [ 69 / 93 ] simplifiying candidate # 1539424829.744 * * * * [misc]progress: [ 70 / 93 ] simplifiying candidate # 1539424829.745 * [enter]simplify: Simplifying (* (* (* (exp im) (exp im)) (exp im)) (* (* (exp im) (exp im)) (exp im))) 1539424829.745 * * [misc]simplify: iters left: 6 (5 enodes) 1539424829.746 * * [misc]simplify: iters left: 5 (12 enodes) 1539424829.747 * * [misc]simplify: iters left: 4 (24 enodes) 1539424829.752 * * [misc]simplify: iters left: 3 (56 enodes) 1539424829.760 * * [misc]simplify: iters left: 2 (104 enodes) 1539424829.773 * * [misc]simplify: iters left: 1 (107 enodes) 1539424829.779 * [exit]simplify: Simplified to (pow (exp im) 6) 1539424829.779 * [misc]simplify: Simplified (2 3 1 2 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (cbrt (pow (exp im) 6)) (exp im)))))) 1539424829.779 * * * * [misc]progress: [ 71 / 93 ] simplifiying candidate # 1539424829.779 * * * * [misc]progress: [ 72 / 93 ] simplifiying candidate # 1539424829.779 * * * * [misc]progress: [ 73 / 93 ] simplifiying candidate # 1539424829.779 * * * * [misc]progress: [ 74 / 93 ] simplifiying candidate # 1539424829.779 * * * * [misc]progress: [ 75 / 93 ] simplifiying candidate # 1539424829.779 * [enter]simplify: Simplifying (cbrt (exp im)) 1539424829.779 * * [misc]simplify: iters left: 2 (3 enodes) 1539424829.780 * [exit]simplify: Simplified to (cbrt (exp im)) 1539424829.780 * [misc]simplify: Simplified (2 3 1 2 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (* (exp im) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))) (exp im)))))) 1539424829.780 * * * * [misc]progress: [ 76 / 93 ] simplifiying candidate # 1539424829.780 * [enter]simplify: Simplifying (sqrt (exp im)) 1539424829.780 * * [misc]simplify: iters left: 2 (3 enodes) 1539424829.780 * [exit]simplify: Simplified to (sqrt (exp im)) 1539424829.780 * [misc]simplify: Simplified (2 3 1 2 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (* (exp im) (sqrt (exp im))) (sqrt (exp im))) (exp im)))))) 1539424829.780 * * * * [misc]progress: [ 77 / 93 ] simplifiying candidate # 1539424829.780 * [enter]simplify: Simplifying (exp im) 1539424829.780 * * [misc]simplify: iters left: 1 (2 enodes) 1539424829.781 * [exit]simplify: Simplified to (exp im) 1539424829.781 * [misc]simplify: Simplified (2 3 1 2 1 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (* (exp im) 1) (exp im)) (exp im)))))) 1539424829.781 * * * * [misc]progress: [ 78 / 93 ] simplifiying candidate # 1539424829.781 * [enter]simplify: Simplifying (* (cbrt (exp im)) (cbrt (exp im))) 1539424829.781 * * [misc]simplify: iters left: 4 (4 enodes) 1539424829.782 * [exit]simplify: Simplified to (* (cbrt (exp im)) (cbrt (exp im))) 1539424829.782 * [misc]simplify: Simplified (2 3 1 2 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (exp im))) (exp im)))))) 1539424829.782 * * * * [misc]progress: [ 79 / 93 ] simplifiying candidate # 1539424829.782 * [enter]simplify: Simplifying (sqrt (exp im)) 1539424829.782 * * [misc]simplify: iters left: 2 (3 enodes) 1539424829.782 * [exit]simplify: Simplified to (sqrt (exp im)) 1539424829.782 * [misc]simplify: Simplified (2 3 1 2 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (sqrt (exp im)) (* (sqrt (exp im)) (exp im))) (exp im)))))) 1539424829.782 * * * * [misc]progress: [ 80 / 93 ] simplifiying candidate # 1539424829.782 * * * * [misc]progress: [ 81 / 93 ] simplifiying candidate # 1539424829.782 * * * * [misc]progress: [ 82 / 93 ] simplifiying candidate # 1539424829.782 * [enter]simplify: Simplifying (- (cbrt 0.125) (+ (* (cbrt 0.125) im) (* 1/2 (* (cbrt 0.125) (pow re 2))))) 1539424829.783 * * [misc]simplify: iters left: 6 (12 enodes) 1539424829.785 * * [misc]simplify: iters left: 5 (24 enodes) 1539424829.789 * * [misc]simplify: iters left: 4 (48 enodes) 1539424829.798 * * [misc]simplify: iters left: 3 (109 enodes) 1539424829.824 * * [misc]simplify: iters left: 2 (273 enodes) 1539424829.898 * * [misc]simplify: iters left: 1 (458 enodes) 1539424830.046 * [exit]simplify: Simplified to (* (fma -1/2 (* re re) (- 1 im)) (cbrt 0.125)) 1539424830.046 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (fma -1/2 (* re re) (- 1 im)) (cbrt 0.125)))) 1539424830.046 * * * * [misc]progress: [ 83 / 93 ] simplifiying candidate # 1539424830.046 * [enter]simplify: Simplifying (/ (* (cbrt 0.125) (cos re)) (exp im)) 1539424830.046 * * [misc]simplify: iters left: 5 (8 enodes) 1539424830.048 * * [misc]simplify: iters left: 4 (11 enodes) 1539424830.049 * * [misc]simplify: iters left: 3 (13 enodes) 1539424830.051 * * [misc]simplify: iters left: 2 (16 enodes) 1539424830.054 * * [misc]simplify: iters left: 1 (18 enodes) 1539424830.056 * [exit]simplify: Simplified to (* (/ (cos re) (exp im)) (cbrt 0.125)) 1539424830.056 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) (cbrt 0.125)))) 1539424830.056 * * * * [misc]progress: [ 84 / 93 ] simplifiying candidate # 1539424830.057 * [enter]simplify: Simplifying (/ (* (cbrt 0.125) (cos re)) (exp im)) 1539424830.057 * * [misc]simplify: iters left: 5 (8 enodes) 1539424830.058 * * [misc]simplify: iters left: 4 (11 enodes) 1539424830.060 * * [misc]simplify: iters left: 3 (13 enodes) 1539424830.062 * * [misc]simplify: iters left: 2 (16 enodes) 1539424830.064 * * [misc]simplify: iters left: 1 (18 enodes) 1539424830.069 * [exit]simplify: Simplified to (* (/ (cos re) (exp im)) (cbrt 0.125)) 1539424830.069 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) (cbrt 0.125)))) 1539424830.069 * * * * [misc]progress: [ 85 / 93 ] simplifiying candidate # 1539424830.070 * [enter]simplify: Simplifying (- (+ 0.25 (* 0.08333333333333333 (pow re 4))) (* 0.25 (pow re 2))) 1539424830.070 * * [misc]simplify: iters left: 6 (11 enodes) 1539424830.071 * * [misc]simplify: iters left: 5 (19 enodes) 1539424830.075 * * [misc]simplify: iters left: 4 (41 enodes) 1539424830.082 * * [misc]simplify: iters left: 3 (70 enodes) 1539424830.099 * * [misc]simplify: iters left: 2 (111 enodes) 1539424830.120 * * [misc]simplify: iters left: 1 (128 enodes) 1539424830.203 * [exit]simplify: Simplified to (- (fma 0.08333333333333333 (pow re 4) 0.25) (* 0.25 (* re re))) 1539424830.203 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (- (fma 0.08333333333333333 (pow re 4) 0.25) (* 0.25 (* re re))) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.205 * * * * [misc]progress: [ 86 / 93 ] simplifiying candidate # 1539424830.205 * [enter]simplify: Simplifying (* 0.25 (pow (cos re) 2)) 1539424830.205 * * [misc]simplify: iters left: 4 (6 enodes) 1539424830.206 * * [misc]simplify: iters left: 3 (8 enodes) 1539424830.207 * * [misc]simplify: iters left: 2 (12 enodes) 1539424830.209 * * [misc]simplify: iters left: 1 (14 enodes) 1539424830.210 * [exit]simplify: Simplified to (* (* (cos re) (cos re)) 0.25) 1539424830.210 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) (cos re)) 0.25) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.210 * * * * [misc]progress: [ 87 / 93 ] simplifiying candidate # 1539424830.211 * [enter]simplify: Simplifying (* 0.25 (pow (cos re) 2)) 1539424830.211 * * [misc]simplify: iters left: 4 (6 enodes) 1539424830.211 * * [misc]simplify: iters left: 3 (8 enodes) 1539424830.213 * * [misc]simplify: iters left: 2 (12 enodes) 1539424830.214 * * [misc]simplify: iters left: 1 (14 enodes) 1539424830.216 * [exit]simplify: Simplified to (* (* (cos re) (cos re)) 0.25) 1539424830.216 * [misc]simplify: Simplified (2 3 1 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) (cos re)) 0.25) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.216 * * * * [misc]progress: [ 88 / 93 ] simplifiying candidate # 1539424830.216 * [enter]simplify: Simplifying (- (+ 0.125 (* 0.109375 (pow re 4))) (* 0.1875 (pow re 2))) 1539424830.216 * * [misc]simplify: iters left: 6 (12 enodes) 1539424830.218 * * [misc]simplify: iters left: 5 (20 enodes) 1539424830.222 * * [misc]simplify: iters left: 4 (42 enodes) 1539424830.229 * * [misc]simplify: iters left: 3 (68 enodes) 1539424830.245 * * [misc]simplify: iters left: 2 (101 enodes) 1539424830.260 * * [misc]simplify: iters left: 1 (109 enodes) 1539424830.277 * [exit]simplify: Simplified to (- (fma 0.109375 (pow re 4) 0.125) (* (* re re) 0.1875)) 1539424830.278 * [misc]simplify: Simplified (2 3 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (- (fma 0.109375 (pow re 4) 0.125) (* (* re re) 0.1875)) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.278 * * * * [misc]progress: [ 89 / 93 ] simplifiying candidate # 1539424830.278 * [enter]simplify: Simplifying (* 0.125 (pow (cos re) 3)) 1539424830.278 * * [misc]simplify: iters left: 4 (6 enodes) 1539424830.279 * * [misc]simplify: iters left: 3 (10 enodes) 1539424830.280 * * [misc]simplify: iters left: 2 (18 enodes) 1539424830.283 * * [misc]simplify: iters left: 1 (22 enodes) 1539424830.286 * [exit]simplify: Simplified to (* (* 0.125 (cos re)) (* (cos re) (cos re))) 1539424830.286 * [misc]simplify: Simplified (2 3 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* 0.125 (cos re)) (* (cos re) (cos re))) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.286 * * * * [misc]progress: [ 90 / 93 ] simplifiying candidate # 1539424830.286 * [enter]simplify: Simplifying (* 0.125 (pow (cos re) 3)) 1539424830.286 * * [misc]simplify: iters left: 4 (6 enodes) 1539424830.287 * * [misc]simplify: iters left: 3 (10 enodes) 1539424830.288 * * [misc]simplify: iters left: 2 (18 enodes) 1539424830.291 * * [misc]simplify: iters left: 1 (22 enodes) 1539424830.294 * [exit]simplify: Simplified to (* (* 0.125 (cos re)) (* (cos re) (cos re))) 1539424830.294 * [misc]simplify: Simplified (2 3 1 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* 0.125 (cos re)) (* (cos re) (cos re))) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.294 * * * * [misc]progress: [ 91 / 93 ] simplifiying candidate # 1539424830.294 * [enter]simplify: Simplifying (+ (* 2 (pow im 2)) (+ (* 2 im) 1)) 1539424830.294 * * [misc]simplify: iters left: 6 (8 enodes) 1539424830.295 * * [misc]simplify: iters left: 5 (19 enodes) 1539424830.298 * * [misc]simplify: iters left: 4 (33 enodes) 1539424830.304 * * [misc]simplify: iters left: 3 (59 enodes) 1539424830.311 * * [misc]simplify: iters left: 2 (71 enodes) 1539424830.331 * * [misc]simplify: iters left: 1 (84 enodes) 1539424830.397 * [exit]simplify: Simplified to (fma im (fma im 2 2) 1) 1539424830.397 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (fma im (fma im 2 2) 1) (exp im)))))) 1539424830.397 * * * * [misc]progress: [ 92 / 93 ] simplifiying candidate # 1539424830.397 * [enter]simplify: Simplifying (pow (exp im) 2) 1539424830.397 * * [misc]simplify: iters left: 2 (4 enodes) 1539424830.398 * * [misc]simplify: iters left: 1 (5 enodes) 1539424830.399 * [exit]simplify: Simplified to (* (exp im) (exp im)) 1539424830.399 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.399 * * * * [misc]progress: [ 93 / 93 ] simplifiying candidate # 1539424830.399 * [enter]simplify: Simplifying (pow (exp im) 2) 1539424830.399 * * [misc]simplify: iters left: 2 (4 enodes) 1539424830.400 * * [misc]simplify: iters left: 1 (5 enodes) 1539424830.400 * [exit]simplify: Simplified to (* (exp im) (exp im)) 1539424830.401 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))))) 1539424830.401 * * * [misc]progress: adding candidates to table 1539424831.428 * [misc]progress: [Phase 3 of 3] Extracting. 1539424831.428 * * [misc]regime: Finding splitpoints for: (# #) 1539424831.428 * * * [misc]regime-changes: Trying 3 branch expressions: (im re (cos re)) 1539424831.428 * * * * [misc]regimes: Trying to branch on im from (# #) 1539424831.451 * * * * [misc]regimes: Trying to branch on re from (# #) 1539424831.472 * * * * [misc]regimes: Trying to branch on (cos re) from (# #) 1539424831.495 * * * [misc]regime: Found split indices: #