1536828427.899 * [misc]progress: [Phase 1 of 3] Setting up. 1536828427.899 * * * [misc]progress: [1/2] Preparing points 1536828427.899 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536828427.902 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536828427.905 * * * * [misc]points: Setting MPFR precision to 64 1536828427.907 * * * * [misc]points: Setting MPFR precision to 320 1536828427.909 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536828427.912 * * * * [misc]points: Setting MPFR precision to 64 1536828427.915 * * * * [misc]points: Setting MPFR precision to 320 1536828427.918 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536828427.920 * * * * [misc]points: Setting MPFR precision to 64 1536828427.925 * * * * [misc]points: Setting MPFR precision to 320 1536828427.930 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536828427.933 * * * * [misc]points: Setting MPFR precision to 64 1536828427.941 * * * * [misc]points: Setting MPFR precision to 320 1536828427.949 * * * * [misc]points: Computing exacts for 256 points 1536828427.952 * * * * [misc]points: Setting MPFR precision to 64 1536828427.974 * * * * [misc]points: Setting MPFR precision to 320 1536828427.987 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828427.987 * * * * [misc]points: Sampling 119 additional inputs, on iter 1 have 137 / 256 1536828427.988 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1536828427.990 * * * * [misc]points: Setting MPFR precision to 64 1536828427.992 * * * * [misc]points: Setting MPFR precision to 320 1536828427.993 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1536828427.996 * * * * [misc]points: Setting MPFR precision to 64 1536828427.998 * * * * [misc]points: Setting MPFR precision to 320 1536828428.001 * * * * [misc]points: Computing exacts for 119 points 1536828428.004 * * * * [misc]points: Setting MPFR precision to 64 1536828428.014 * * * * [misc]points: Setting MPFR precision to 320 1536828428.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828428.025 * * * * [misc]points: Sampling 58 additional inputs, on iter 2 have 198 / 256 1536828428.025 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1536828428.028 * * * * [misc]points: Setting MPFR precision to 64 1536828428.029 * * * * [misc]points: Setting MPFR precision to 320 1536828428.031 * * * * [misc]points: Computing exacts for 58 points 1536828428.034 * * * * [misc]points: Setting MPFR precision to 64 1536828428.038 * * * * [misc]points: Setting MPFR precision to 320 1536828428.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828428.044 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1536828428.045 * * * * [misc]points: Computing exacts for 31 points 1536828428.047 * * * * [misc]points: Setting MPFR precision to 64 1536828428.050 * * * * [misc]points: Setting MPFR precision to 320 1536828428.053 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828428.053 * * * * [misc]points: Sampling 25 additional inputs, on iter 4 have 231 / 256 1536828428.053 * * * * [misc]points: Computing exacts for 25 points 1536828428.056 * * * * [misc]points: Setting MPFR precision to 64 1536828428.058 * * * * [misc]points: Setting MPFR precision to 320 1536828428.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828428.061 * * * * [misc]points: Sampling 14 additional inputs, on iter 5 have 242 / 256 1536828428.061 * * * * [misc]points: Computing exacts for 14 points 1536828428.063 * * * * [misc]points: Setting MPFR precision to 64 1536828428.065 * * * * [misc]points: Setting MPFR precision to 320 1536828428.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828428.066 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1536828428.066 * * * * [misc]points: Computing exacts for 7 points 1536828428.069 * * * * [misc]points: Setting MPFR precision to 64 1536828428.070 * * * * [misc]points: Setting MPFR precision to 320 1536828428.070 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828428.070 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1536828428.071 * * * * [misc]points: Computing exacts for 4 points 1536828428.074 * * * * [misc]points: Setting MPFR precision to 64 1536828428.074 * * * * [misc]points: Setting MPFR precision to 320 1536828428.075 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828428.075 * * * * [exit]points: Sampled 257 points with exact outputs 1536828428.075 * * * [misc]progress: [2/2] Setting up program. 1536828428.086 * [misc]progress: [Phase 2 of 3] Improving. 1536828428.087 * [enter]simplify: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1536828428.088 * * [misc]simplify: iters left: 6 (11 enodes) 1536828428.096 * * [misc]simplify: iters left: 5 (27 enodes) 1536828428.113 * * [misc]simplify: iters left: 4 (62 enodes) 1536828428.160 * * [misc]simplify: iters left: 3 (115 enodes) 1536828428.194 * * [misc]simplify: iters left: 2 (202 enodes) 1536828428.320 * * [misc]simplify: iters left: 1 (417 enodes) 1536828428.730 * [exit]simplify: Simplified to (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))) 1536828428.752 * * [misc]progress: iteration 1 / 4 1536828428.752 * * * [misc]progress: picking best candidate 1536828428.761 * * * * [misc]pick: Picked # 1536828428.761 * * * [misc]progress: localizing error 1536828428.803 * * * [misc]progress: generating rewritten candidates 1536828428.803 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 3) 1536828428.854 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1536828428.854 * * * [misc]progress: generating series expansions 1536828428.855 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 3) 1536828428.859 * [misc]backup-simplify: Simplify (/ (sin re) (exp im)) into (/ (sin re) (exp im)) 1536828428.859 * [misc]approximate: Taking taylor expansion of (/ (sin re) (exp im)) in (re im) around 0 1536828428.860 * [misc]taylor: Taking taylor expansion of (/ (sin re) (exp im)) in im 1536828428.860 * [misc]taylor: Taking taylor expansion of (sin re) in im 1536828428.860 * [misc]taylor: Taking taylor expansion of re in im 1536828428.860 * [misc]backup-simplify: Simplify re into re 1536828428.860 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1536828428.860 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1536828428.860 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536828428.860 * [misc]taylor: Taking taylor expansion of im in im 1536828428.861 * [misc]backup-simplify: Simplify 0 into 0 1536828428.861 * [misc]backup-simplify: Simplify 1 into 1 1536828428.861 * [misc]backup-simplify: Simplify (exp 0) into 1 1536828428.861 * [misc]backup-simplify: Simplify (* (sin re) 1) into (sin re) 1536828428.861 * [misc]backup-simplify: Simplify (* (cos re) 0) into 0 1536828428.862 * [misc]backup-simplify: Simplify (+ (sin re) 0) into (sin re) 1536828428.862 * [misc]backup-simplify: Simplify (/ (sin re) 1) into (sin re) 1536828428.862 * [misc]taylor: Taking taylor expansion of (/ (sin re) (exp im)) in re 1536828428.862 * [misc]taylor: Taking taylor expansion of (sin re) in re 1536828428.862 * [misc]taylor: Taking taylor expansion of re in re 1536828428.862 * [misc]backup-simplify: Simplify 0 into 0 1536828428.862 * [misc]backup-simplify: Simplify 1 into 1 1536828428.862 * [misc]taylor: Taking taylor expansion of (exp im) in re 1536828428.862 * [misc]taylor: Taking taylor expansion of im in re 1536828428.862 * [misc]backup-simplify: Simplify im into im 1536828428.862 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1536828428.863 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1536828428.864 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1536828428.864 * [misc]taylor: Taking taylor expansion of (/ (sin re) (exp im)) in re 1536828428.864 * [misc]taylor: Taking taylor expansion of (sin re) in re 1536828428.864 * [misc]taylor: Taking taylor expansion of re in re 1536828428.864 * [misc]backup-simplify: Simplify 0 into 0 1536828428.864 * [misc]backup-simplify: Simplify 1 into 1 1536828428.864 * [misc]taylor: Taking taylor expansion of (exp im) in re 1536828428.864 * [misc]taylor: Taking taylor expansion of im in re 1536828428.864 * [misc]backup-simplify: Simplify im into im 1536828428.864 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1536828428.864 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1536828428.864 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1536828428.865 * [misc]taylor: Taking taylor expansion of (/ 1 (exp im)) in im 1536828428.865 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536828428.865 * [misc]taylor: Taking taylor expansion of im in im 1536828428.865 * [misc]backup-simplify: Simplify 0 into 0 1536828428.865 * [misc]backup-simplify: Simplify 1 into 1 1536828428.865 * [misc]backup-simplify: Simplify (exp 0) into 1 1536828428.865 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.865 * [misc]backup-simplify: Simplify 1 into 1 1536828428.866 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.867 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 1536828428.867 * [misc]backup-simplify: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 1536828428.867 * [misc]taylor: Taking taylor expansion of 0 in im 1536828428.874 * [misc]backup-simplify: Simplify 0 into 0 1536828428.875 * [misc]backup-simplify: Simplify 0 into 0 1536828428.876 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536828428.876 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1536828428.876 * [misc]backup-simplify: Simplify -1 into -1 1536828428.877 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6) 1536828428.879 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536828428.879 * [misc]backup-simplify: Simplify (- (/ (- 1/6) (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/6 (/ 1 (exp im)))) 1536828428.879 * [misc]taylor: Taking taylor expansion of (- (* 1/6 (/ 1 (exp im)))) in im 1536828428.879 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 (exp im))) in im 1536828428.879 * [misc]taylor: Taking taylor expansion of 1/6 in im 1536828428.879 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536828428.879 * [misc]taylor: Taking taylor expansion of (/ 1 (exp im)) in im 1536828428.879 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536828428.879 * [misc]taylor: Taking taylor expansion of im in im 1536828428.879 * [misc]backup-simplify: Simplify 0 into 0 1536828428.879 * [misc]backup-simplify: Simplify 1 into 1 1536828428.879 * [misc]backup-simplify: Simplify (exp 0) into 1 1536828428.880 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.880 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1536828428.880 * [misc]backup-simplify: Simplify (- 1/6) into -1/6 1536828428.880 * [misc]backup-simplify: Simplify -1/6 into -1/6 1536828428.881 * [misc]backup-simplify: Simplify (+ (* -1/6 (pow (* 1 re) 3)) (+ (* -1 (* im re)) (* 1 (* 1 re)))) into (- re (+ (* re im) (* 1/6 (pow re 3)))) 1536828428.881 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.881 * [misc]approximate: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in (re im) around 0 1536828428.881 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 1536828428.881 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in im 1536828428.881 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1536828428.881 * [misc]taylor: Taking taylor expansion of re in im 1536828428.881 * [misc]backup-simplify: Simplify re into re 1536828428.881 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1536828428.882 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.882 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1536828428.882 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536828428.882 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536828428.882 * [misc]taylor: Taking taylor expansion of im in im 1536828428.882 * [misc]backup-simplify: Simplify 0 into 0 1536828428.882 * [misc]backup-simplify: Simplify 1 into 1 1536828428.882 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.882 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.882 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 1536828428.882 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 0) into 0 1536828428.882 * [misc]backup-simplify: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 1536828428.882 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.882 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 1536828428.882 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in re 1536828428.882 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1536828428.882 * [misc]taylor: Taking taylor expansion of re in re 1536828428.882 * [misc]backup-simplify: Simplify 0 into 0 1536828428.882 * [misc]backup-simplify: Simplify 1 into 1 1536828428.882 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.882 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.882 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1536828428.882 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1536828428.882 * [misc]taylor: Taking taylor expansion of im in re 1536828428.883 * [misc]backup-simplify: Simplify im into im 1536828428.883 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1536828428.883 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.883 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.883 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 1536828428.883 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in re 1536828428.883 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1536828428.883 * [misc]taylor: Taking taylor expansion of re in re 1536828428.883 * [misc]backup-simplify: Simplify 0 into 0 1536828428.883 * [misc]backup-simplify: Simplify 1 into 1 1536828428.883 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.883 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.883 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1536828428.883 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1536828428.883 * [misc]taylor: Taking taylor expansion of im in re 1536828428.883 * [misc]backup-simplify: Simplify im into im 1536828428.883 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1536828428.883 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.883 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.883 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 1536828428.883 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in im 1536828428.883 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1536828428.883 * [misc]taylor: Taking taylor expansion of re in im 1536828428.884 * [misc]backup-simplify: Simplify re into re 1536828428.884 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1536828428.884 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.884 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1536828428.884 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536828428.884 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536828428.884 * [misc]taylor: Taking taylor expansion of im in im 1536828428.884 * [misc]backup-simplify: Simplify 0 into 0 1536828428.884 * [misc]backup-simplify: Simplify 1 into 1 1536828428.884 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.884 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.884 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 1536828428.884 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 0) into 0 1536828428.884 * [misc]backup-simplify: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 1536828428.885 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.885 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.885 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1536828428.886 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1536828428.887 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1536828428.887 * [misc]taylor: Taking taylor expansion of 0 in im 1536828428.887 * [misc]backup-simplify: Simplify 0 into 0 1536828428.887 * [misc]backup-simplify: Simplify 0 into 0 1536828428.887 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828428.888 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 1536828428.888 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1536828428.889 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828428.889 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 1536828428.889 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.890 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1536828428.890 * [misc]backup-simplify: Simplify 0 into 0 1536828428.890 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828428.892 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536828428.892 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536828428.892 * [misc]taylor: Taking taylor expansion of 0 in im 1536828428.892 * [misc]backup-simplify: Simplify 0 into 0 1536828428.892 * [misc]backup-simplify: Simplify 0 into 0 1536828428.892 * [misc]backup-simplify: Simplify 0 into 0 1536828428.893 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828428.894 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1536828428.894 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828428.895 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.895 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1536828428.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.896 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536828428.896 * [misc]backup-simplify: Simplify 0 into 0 1536828428.897 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828428.900 * [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 1536828428.900 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536828428.901 * [misc]taylor: Taking taylor expansion of 0 in im 1536828428.901 * [misc]backup-simplify: Simplify 0 into 0 1536828428.901 * [misc]backup-simplify: Simplify 0 into 0 1536828428.901 * [misc]backup-simplify: Simplify (/ (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))) into (/ (sin re) (exp im)) 1536828428.901 * [misc]backup-simplify: Simplify (/ (sin (/ 1 (- re))) (exp (/ 1 (- im)))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828428.901 * [misc]approximate: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in (re im) around 0 1536828428.901 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 1536828428.901 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in im 1536828428.901 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1536828428.901 * [misc]taylor: Taking taylor expansion of -1 in im 1536828428.901 * [misc]backup-simplify: Simplify -1 into -1 1536828428.901 * [misc]taylor: Taking taylor expansion of re in im 1536828428.901 * [misc]backup-simplify: Simplify re into re 1536828428.901 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1536828428.901 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828428.902 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1536828428.902 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536828428.902 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536828428.902 * [misc]taylor: Taking taylor expansion of -1 in im 1536828428.902 * [misc]backup-simplify: Simplify -1 into -1 1536828428.902 * [misc]taylor: Taking taylor expansion of im in im 1536828428.902 * [misc]backup-simplify: Simplify 0 into 0 1536828428.902 * [misc]backup-simplify: Simplify 1 into 1 1536828428.902 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828428.902 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828428.902 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 1536828428.902 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 0) into 0 1536828428.902 * [misc]backup-simplify: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 1536828428.903 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828428.903 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 1536828428.903 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in re 1536828428.903 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1536828428.903 * [misc]taylor: Taking taylor expansion of -1 in re 1536828428.903 * [misc]backup-simplify: Simplify -1 into -1 1536828428.903 * [misc]taylor: Taking taylor expansion of re in re 1536828428.903 * [misc]backup-simplify: Simplify 0 into 0 1536828428.903 * [misc]backup-simplify: Simplify 1 into 1 1536828428.903 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828428.903 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828428.903 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1536828428.903 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1536828428.903 * [misc]taylor: Taking taylor expansion of -1 in re 1536828428.903 * [misc]backup-simplify: Simplify -1 into -1 1536828428.903 * [misc]taylor: Taking taylor expansion of im in re 1536828428.903 * [misc]backup-simplify: Simplify im into im 1536828428.903 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1536828428.903 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828428.904 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828428.904 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 1536828428.904 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in re 1536828428.904 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1536828428.904 * [misc]taylor: Taking taylor expansion of -1 in re 1536828428.904 * [misc]backup-simplify: Simplify -1 into -1 1536828428.904 * [misc]taylor: Taking taylor expansion of re in re 1536828428.904 * [misc]backup-simplify: Simplify 0 into 0 1536828428.904 * [misc]backup-simplify: Simplify 1 into 1 1536828428.904 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828428.904 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828428.904 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1536828428.904 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1536828428.904 * [misc]taylor: Taking taylor expansion of -1 in re 1536828428.904 * [misc]backup-simplify: Simplify -1 into -1 1536828428.904 * [misc]taylor: Taking taylor expansion of im in re 1536828428.904 * [misc]backup-simplify: Simplify im into im 1536828428.904 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1536828428.904 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828428.905 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828428.905 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 1536828428.905 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in im 1536828428.905 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1536828428.905 * [misc]taylor: Taking taylor expansion of -1 in im 1536828428.905 * [misc]backup-simplify: Simplify -1 into -1 1536828428.905 * [misc]taylor: Taking taylor expansion of re in im 1536828428.905 * [misc]backup-simplify: Simplify re into re 1536828428.905 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1536828428.905 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828428.905 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1536828428.905 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536828428.905 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536828428.905 * [misc]taylor: Taking taylor expansion of -1 in im 1536828428.905 * [misc]backup-simplify: Simplify -1 into -1 1536828428.905 * [misc]taylor: Taking taylor expansion of im in im 1536828428.905 * [misc]backup-simplify: Simplify 0 into 0 1536828428.905 * [misc]backup-simplify: Simplify 1 into 1 1536828428.906 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828428.906 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828428.906 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 1536828428.906 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 0) into 0 1536828428.906 * [misc]backup-simplify: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 1536828428.906 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828428.906 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828428.906 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1536828428.908 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1536828428.908 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1536828428.908 * [misc]taylor: Taking taylor expansion of 0 in im 1536828428.908 * [misc]backup-simplify: Simplify 0 into 0 1536828428.908 * [misc]backup-simplify: Simplify 0 into 0 1536828428.908 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828428.909 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 1536828428.909 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1536828428.910 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828428.910 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 1536828428.910 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.911 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1536828428.911 * [misc]backup-simplify: Simplify 0 into 0 1536828428.911 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828428.913 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536828428.913 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536828428.913 * [misc]taylor: Taking taylor expansion of 0 in im 1536828428.913 * [misc]backup-simplify: Simplify 0 into 0 1536828428.913 * [misc]backup-simplify: Simplify 0 into 0 1536828428.913 * [misc]backup-simplify: Simplify 0 into 0 1536828428.914 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828428.915 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1536828428.915 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828428.916 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.916 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1536828428.917 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.917 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536828428.917 * [misc]backup-simplify: Simplify 0 into 0 1536828428.917 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828428.920 * [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 1536828428.921 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536828428.921 * [misc]taylor: Taking taylor expansion of 0 in im 1536828428.921 * [misc]backup-simplify: Simplify 0 into 0 1536828428.921 * [misc]backup-simplify: Simplify 0 into 0 1536828428.921 * [misc]backup-simplify: Simplify (/ (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))) into (/ (sin re) (exp im)) 1536828428.921 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1536828428.922 * [misc]backup-simplify: Simplify (fma (exp im) (sin re) (/ (sin re) (exp im))) into (fma (exp im) (sin re) (/ (sin re) (exp im))) 1536828428.922 * [misc]approximate: Taking taylor expansion of (fma (exp im) (sin re) (/ (sin re) (exp im))) in (im re) around 0 1536828428.922 * [misc]taylor: Taking taylor expansion of (fma (exp im) (sin re) (/ (sin re) (exp im))) in re 1536828428.924 * [misc]taylor: Rewrote expression to (+ (* (exp im) (sin re)) (/ (sin re) (exp im))) 1536828428.924 * [misc]taylor: Taking taylor expansion of (* (exp im) (sin re)) in re 1536828428.924 * [misc]taylor: Taking taylor expansion of (exp im) in re 1536828428.924 * [misc]taylor: Taking taylor expansion of im in re 1536828428.924 * [misc]backup-simplify: Simplify im into im 1536828428.924 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1536828428.924 * [misc]taylor: Taking taylor expansion of (sin re) in re 1536828428.924 * [misc]taylor: Taking taylor expansion of re in re 1536828428.924 * [misc]backup-simplify: Simplify 0 into 0 1536828428.924 * [misc]backup-simplify: Simplify 1 into 1 1536828428.924 * [misc]taylor: Taking taylor expansion of (/ (sin re) (exp im)) in re 1536828428.924 * [misc]taylor: Taking taylor expansion of (sin re) in re 1536828428.924 * [misc]taylor: Taking taylor expansion of re in re 1536828428.924 * [misc]backup-simplify: Simplify 0 into 0 1536828428.924 * [misc]backup-simplify: Simplify 1 into 1 1536828428.924 * [misc]taylor: Taking taylor expansion of (exp im) in re 1536828428.924 * [misc]taylor: Taking taylor expansion of im in re 1536828428.924 * [misc]backup-simplify: Simplify im into im 1536828428.924 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1536828428.926 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1536828428.926 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1536828428.926 * [misc]taylor: Taking taylor expansion of (fma (exp im) (sin re) (/ (sin re) (exp im))) in im 1536828428.926 * [misc]taylor: Rewrote expression to (+ (* (exp im) (sin re)) (/ (sin re) (exp im))) 1536828428.926 * [misc]taylor: Taking taylor expansion of (* (exp im) (sin re)) in im 1536828428.926 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536828428.926 * [misc]taylor: Taking taylor expansion of im in im 1536828428.926 * [misc]backup-simplify: Simplify 0 into 0 1536828428.926 * [misc]backup-simplify: Simplify 1 into 1 1536828428.926 * [misc]backup-simplify: Simplify (exp 0) into 1 1536828428.926 * [misc]taylor: Taking taylor expansion of (sin re) in im 1536828428.926 * [misc]taylor: Taking taylor expansion of re in im 1536828428.926 * [misc]backup-simplify: Simplify re into re 1536828428.926 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1536828428.926 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1536828428.926 * [misc]taylor: Taking taylor expansion of (/ (sin re) (exp im)) in im 1536828428.926 * [misc]taylor: Taking taylor expansion of (sin re) in im 1536828428.926 * [misc]taylor: Taking taylor expansion of re in im 1536828428.926 * [misc]backup-simplify: Simplify re into re 1536828428.926 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1536828428.926 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1536828428.926 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536828428.926 * [misc]taylor: Taking taylor expansion of im in im 1536828428.926 * [misc]backup-simplify: Simplify 0 into 0 1536828428.926 * [misc]backup-simplify: Simplify 1 into 1 1536828428.927 * [misc]backup-simplify: Simplify (exp 0) into 1 1536828428.927 * [misc]backup-simplify: Simplify (* (sin re) 1) into (sin re) 1536828428.927 * [misc]backup-simplify: Simplify (* (cos re) 0) into 0 1536828428.927 * [misc]backup-simplify: Simplify (+ (sin re) 0) into (sin re) 1536828428.927 * [misc]backup-simplify: Simplify (/ (sin re) 1) into (sin re) 1536828428.927 * [misc]taylor: Taking taylor expansion of (fma (exp im) (sin re) (/ (sin re) (exp im))) in im 1536828428.927 * [misc]taylor: Rewrote expression to (+ (* (exp im) (sin re)) (/ (sin re) (exp im))) 1536828428.927 * [misc]taylor: Taking taylor expansion of (* (exp im) (sin re)) in im 1536828428.927 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536828428.927 * [misc]taylor: Taking taylor expansion of im in im 1536828428.927 * [misc]backup-simplify: Simplify 0 into 0 1536828428.927 * [misc]backup-simplify: Simplify 1 into 1 1536828428.927 * [misc]backup-simplify: Simplify (exp 0) into 1 1536828428.927 * [misc]taylor: Taking taylor expansion of (sin re) in im 1536828428.927 * [misc]taylor: Taking taylor expansion of re in im 1536828428.927 * [misc]backup-simplify: Simplify re into re 1536828428.927 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1536828428.927 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1536828428.927 * [misc]taylor: Taking taylor expansion of (/ (sin re) (exp im)) in im 1536828428.927 * [misc]taylor: Taking taylor expansion of (sin re) in im 1536828428.927 * [misc]taylor: Taking taylor expansion of re in im 1536828428.928 * [misc]backup-simplify: Simplify re into re 1536828428.928 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1536828428.928 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1536828428.928 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536828428.928 * [misc]taylor: Taking taylor expansion of im in im 1536828428.928 * [misc]backup-simplify: Simplify 0 into 0 1536828428.928 * [misc]backup-simplify: Simplify 1 into 1 1536828428.928 * [misc]backup-simplify: Simplify (exp 0) into 1 1536828428.928 * [misc]backup-simplify: Simplify (* (sin re) 1) into (sin re) 1536828428.928 * [misc]backup-simplify: Simplify (* (cos re) 0) into 0 1536828428.928 * [misc]backup-simplify: Simplify (+ (sin re) 0) into (sin re) 1536828428.928 * [misc]backup-simplify: Simplify (/ (sin re) 1) into (sin re) 1536828428.928 * [misc]backup-simplify: Simplify (* (sin re) 1) into (sin re) 1536828428.928 * [misc]backup-simplify: Simplify (* (cos re) 0) into 0 1536828428.928 * [misc]backup-simplify: Simplify (+ (sin re) 0) into (sin re) 1536828428.929 * [misc]backup-simplify: Simplify (* 1 (sin re)) into (sin re) 1536828428.929 * [misc]backup-simplify: Simplify (+ (sin re) (sin re)) into (* 2 (sin re)) 1536828428.929 * [misc]taylor: Taking taylor expansion of (* 2 (sin re)) in re 1536828428.929 * [misc]taylor: Taking taylor expansion of 2 in re 1536828428.929 * [misc]backup-simplify: Simplify 2 into 2 1536828428.929 * [misc]taylor: Taking taylor expansion of (sin re) in re 1536828428.929 * [misc]taylor: Taking taylor expansion of re in re 1536828428.929 * [misc]backup-simplify: Simplify 0 into 0 1536828428.929 * [misc]backup-simplify: Simplify 1 into 1 1536828428.929 * [misc]backup-simplify: Simplify (* 2 0) into 0 1536828428.929 * [misc]backup-simplify: Simplify 0 into 0 1536828428.929 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828428.930 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (* 0 1)) into 0 1536828428.931 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828428.931 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (* 0 0)) into 0 1536828428.931 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.932 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536828428.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 1 (sin re))) into (sin re) 1536828428.933 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828428.933 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (* 0 1)) into 0 1536828428.934 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828428.935 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (* 0 0)) into 0 1536828428.935 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.936 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536828428.937 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (sin re) (/ 1 1)))) into (- (sin re)) 1536828428.937 * [misc]backup-simplify: Simplify (+ (sin re) (- (sin re))) into 0 1536828428.937 * [misc]taylor: Taking taylor expansion of 0 in re 1536828428.937 * [misc]backup-simplify: Simplify 0 into 0 1536828428.937 * [misc]backup-simplify: Simplify 0 into 0 1536828428.938 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1536828428.938 * [misc]backup-simplify: Simplify (+ (* 2 1) (* 0 0)) into 2 1536828428.938 * [misc]backup-simplify: Simplify 2 into 2 1536828428.940 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828428.940 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 1))) into 0 1536828428.941 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.941 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 0))) into 0 1536828428.941 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.943 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536828428.944 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (sin re)))) into (* 1/2 (sin re)) 1536828428.945 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828428.945 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 1))) into 0 1536828428.946 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.947 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 0))) into 0 1536828428.947 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.949 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536828428.950 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (sin re) (/ 1/2 1)) (* (- (sin re)) (/ 1 1)))) into (* 1/2 (sin re)) 1536828428.950 * [misc]backup-simplify: Simplify (+ (* 1/2 (sin re)) (* 1/2 (sin re))) into (sin re) 1536828428.950 * [misc]taylor: Taking taylor expansion of (sin re) in re 1536828428.950 * [misc]taylor: Taking taylor expansion of re in re 1536828428.950 * [misc]backup-simplify: Simplify 0 into 0 1536828428.950 * [misc]backup-simplify: Simplify 1 into 1 1536828428.950 * [misc]backup-simplify: Simplify 0 into 0 1536828428.950 * [misc]backup-simplify: Simplify 0 into 0 1536828428.951 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.951 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1536828428.951 * [misc]backup-simplify: Simplify 0 into 0 1536828428.953 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1536828428.954 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536828428.956 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.956 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1536828428.956 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.960 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1536828428.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 1/2 0) (* 1/6 (sin re))))) into (* 1/6 (sin re)) 1536828428.962 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1536828428.962 * [misc]backup-simplify: Simplify (+ (* (sin re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536828428.964 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.965 * [misc]backup-simplify: Simplify (+ (* (cos re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1536828428.965 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.968 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1536828428.969 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (sin re) (/ 1/6 1)) (* (- (sin re)) (/ 1/2 1)) (* (* 1/2 (sin re)) (/ 1 1)))) into (- (* 1/6 (sin re))) 1536828428.969 * [misc]backup-simplify: Simplify (+ (* 1/6 (sin re)) (- (* 1/6 (sin re)))) into 0 1536828428.970 * [misc]taylor: Taking taylor expansion of 0 in re 1536828428.970 * [misc]backup-simplify: Simplify 0 into 0 1536828428.970 * [misc]backup-simplify: Simplify 0 into 0 1536828428.971 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1536828428.971 * [misc]backup-simplify: Simplify 1 into 1 1536828428.971 * [misc]backup-simplify: Simplify 0 into 0 1536828428.973 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6) 1536828428.973 * [misc]backup-simplify: Simplify (+ (* 2 (- 1/6)) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into -1/3 1536828428.973 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536828428.974 * [misc]backup-simplify: Simplify (+ (* -1/3 (pow (* re 1) 3)) (+ (* 1 (* re (pow im 2))) (* 2 (* re 1)))) into (- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3))) 1536828428.974 * [misc]backup-simplify: Simplify (fma (exp (/ 1 im)) (sin (/ 1 re)) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (fma (exp (/ 1 im)) (sin (/ 1 re)) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 1536828428.974 * [misc]approximate: Taking taylor expansion of (fma (exp (/ 1 im)) (sin (/ 1 re)) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 1536828428.974 * [misc]taylor: Taking taylor expansion of (fma (exp (/ 1 im)) (sin (/ 1 re)) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 1536828428.974 * [misc]taylor: Rewrote expression to (+ (* (exp (/ 1 im)) (sin (/ 1 re))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 1536828428.974 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 im)) (sin (/ 1 re))) in re 1536828428.974 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1536828428.974 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1536828428.975 * [misc]taylor: Taking taylor expansion of im in re 1536828428.975 * [misc]backup-simplify: Simplify im into im 1536828428.975 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1536828428.975 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.975 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in re 1536828428.975 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1536828428.975 * [misc]taylor: Taking taylor expansion of re in re 1536828428.975 * [misc]backup-simplify: Simplify 0 into 0 1536828428.975 * [misc]backup-simplify: Simplify 1 into 1 1536828428.975 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.975 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.975 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 1536828428.975 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in re 1536828428.975 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1536828428.975 * [misc]taylor: Taking taylor expansion of re in re 1536828428.975 * [misc]backup-simplify: Simplify 0 into 0 1536828428.975 * [misc]backup-simplify: Simplify 1 into 1 1536828428.975 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.976 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.976 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1536828428.976 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1536828428.976 * [misc]taylor: Taking taylor expansion of im in re 1536828428.976 * [misc]backup-simplify: Simplify im into im 1536828428.976 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1536828428.976 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.976 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.976 * [misc]taylor: Taking taylor expansion of (fma (exp (/ 1 im)) (sin (/ 1 re)) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 1536828428.976 * [misc]taylor: Rewrote expression to (+ (* (exp (/ 1 im)) (sin (/ 1 re))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 1536828428.976 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 im)) (sin (/ 1 re))) in im 1536828428.976 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536828428.976 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536828428.976 * [misc]taylor: Taking taylor expansion of im in im 1536828428.976 * [misc]backup-simplify: Simplify 0 into 0 1536828428.976 * [misc]backup-simplify: Simplify 1 into 1 1536828428.976 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.977 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.977 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in im 1536828428.977 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1536828428.977 * [misc]taylor: Taking taylor expansion of re in im 1536828428.977 * [misc]backup-simplify: Simplify re into re 1536828428.977 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1536828428.977 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.977 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1536828428.977 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 1536828428.977 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in im 1536828428.977 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1536828428.977 * [misc]taylor: Taking taylor expansion of re in im 1536828428.977 * [misc]backup-simplify: Simplify re into re 1536828428.977 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1536828428.977 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.977 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1536828428.977 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536828428.977 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536828428.977 * [misc]taylor: Taking taylor expansion of im in im 1536828428.977 * [misc]backup-simplify: Simplify 0 into 0 1536828428.977 * [misc]backup-simplify: Simplify 1 into 1 1536828428.978 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.978 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.978 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 1536828428.978 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 0) into 0 1536828428.978 * [misc]backup-simplify: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 1536828428.978 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.978 * [misc]taylor: Taking taylor expansion of (fma (exp (/ 1 im)) (sin (/ 1 re)) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 1536828428.978 * [misc]taylor: Rewrote expression to (+ (* (exp (/ 1 im)) (sin (/ 1 re))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 1536828428.978 * [misc]taylor: Taking taylor expansion of (* (exp (/ 1 im)) (sin (/ 1 re))) in im 1536828428.978 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536828428.978 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536828428.978 * [misc]taylor: Taking taylor expansion of im in im 1536828428.978 * [misc]backup-simplify: Simplify 0 into 0 1536828428.978 * [misc]backup-simplify: Simplify 1 into 1 1536828428.979 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.979 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.979 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in im 1536828428.979 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1536828428.979 * [misc]taylor: Taking taylor expansion of re in im 1536828428.979 * [misc]backup-simplify: Simplify re into re 1536828428.979 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1536828428.979 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.979 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1536828428.979 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 1536828428.979 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in im 1536828428.979 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1536828428.979 * [misc]taylor: Taking taylor expansion of re in im 1536828428.979 * [misc]backup-simplify: Simplify re into re 1536828428.979 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1536828428.979 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.979 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1536828428.979 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536828428.979 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536828428.979 * [misc]taylor: Taking taylor expansion of im in im 1536828428.980 * [misc]backup-simplify: Simplify 0 into 0 1536828428.980 * [misc]backup-simplify: Simplify 1 into 1 1536828428.980 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.980 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.980 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 1536828428.980 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 0) into 0 1536828428.980 * [misc]backup-simplify: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 1536828428.980 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.980 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 1536828428.981 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 0) into 0 1536828428.981 * [misc]backup-simplify: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 1536828428.981 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (sin (/ 1 re))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.981 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 1536828428.981 * [misc]taylor: Taking taylor expansion of (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 1536828428.981 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 1536828428.981 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in re 1536828428.981 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1536828428.981 * [misc]taylor: Taking taylor expansion of re in re 1536828428.981 * [misc]backup-simplify: Simplify 0 into 0 1536828428.981 * [misc]backup-simplify: Simplify 1 into 1 1536828428.982 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.982 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.982 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1536828428.982 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1536828428.982 * [misc]taylor: Taking taylor expansion of im in re 1536828428.982 * [misc]backup-simplify: Simplify im into im 1536828428.982 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1536828428.982 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.982 * [misc]taylor: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 1536828428.982 * [misc]taylor: Taking taylor expansion of (sin (/ 1 re)) in re 1536828428.982 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1536828428.982 * [misc]taylor: Taking taylor expansion of re in re 1536828428.982 * [misc]backup-simplify: Simplify 0 into 0 1536828428.982 * [misc]backup-simplify: Simplify 1 into 1 1536828428.982 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536828428.982 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1536828428.982 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1536828428.982 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1536828428.982 * [misc]taylor: Taking taylor expansion of im in re 1536828428.982 * [misc]backup-simplify: Simplify im into im 1536828428.983 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1536828428.983 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536828428.983 * [misc]backup-simplify: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.983 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 1536828428.983 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 1536828428.984 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 1536828428.984 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828428.984 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 1536828428.984 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1536828428.985 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828428.986 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 1536828428.986 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.986 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (sin (/ 1 re)))) into 0 1536828428.986 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828428.986 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 1536828428.986 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1536828428.988 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828428.988 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 1536828428.988 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.989 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1536828428.989 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.989 * [misc]taylor: Taking taylor expansion of 0 in re 1536828428.989 * [misc]backup-simplify: Simplify 0 into 0 1536828428.989 * [misc]backup-simplify: Simplify 0 into 0 1536828428.989 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1536828428.990 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1536828428.991 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 1536828428.991 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1536828428.992 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1536828428.992 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1536828428.992 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.992 * [misc]backup-simplify: Simplify 0 into 0 1536828428.994 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828428.994 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1536828428.994 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828428.995 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.995 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1536828428.996 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.996 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0 1536828428.997 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828428.997 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1536828428.997 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828428.998 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828428.999 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1536828428.999 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828428.999 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536828429.000 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.000 * [misc]taylor: Taking taylor expansion of 0 in re 1536828429.000 * [misc]backup-simplify: Simplify 0 into 0 1536828429.000 * [misc]backup-simplify: Simplify 0 into 0 1536828429.000 * [misc]backup-simplify: Simplify 0 into 0 1536828429.000 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828429.003 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536828429.003 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 1536828429.003 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828429.005 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536828429.005 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536828429.006 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.006 * [misc]backup-simplify: Simplify 0 into 0 1536828429.008 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1536828429.008 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536828429.008 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828429.010 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828429.010 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1536828429.011 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.011 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0 1536828429.013 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1536828429.013 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536828429.013 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828429.015 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828429.015 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1536828429.016 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.016 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536828429.016 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.016 * [misc]taylor: Taking taylor expansion of 0 in re 1536828429.016 * [misc]backup-simplify: Simplify 0 into 0 1536828429.016 * [misc]backup-simplify: Simplify 0 into 0 1536828429.016 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))) (/ (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 1536828429.016 * [misc]backup-simplify: Simplify (fma (exp (/ 1 (- im))) (sin (/ 1 (- re))) (/ (sin (/ 1 (- re))) (exp (/ 1 (- im))))) into (fma (exp (/ -1 im)) (sin (/ -1 re)) (/ (sin (/ -1 re)) (exp (/ -1 im)))) 1536828429.016 * [misc]approximate: Taking taylor expansion of (fma (exp (/ -1 im)) (sin (/ -1 re)) (/ (sin (/ -1 re)) (exp (/ -1 im)))) in (im re) around 0 1536828429.017 * [misc]taylor: Taking taylor expansion of (fma (exp (/ -1 im)) (sin (/ -1 re)) (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re 1536828429.017 * [misc]taylor: Rewrote expression to (+ (* (exp (/ -1 im)) (sin (/ -1 re))) (/ (sin (/ -1 re)) (exp (/ -1 im)))) 1536828429.017 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.017 * [misc]backup-simplify: Simplify -1 into -1 1536828429.017 * [misc]taylor: Taking taylor expansion of im in re 1536828429.017 * [misc]backup-simplify: Simplify im into im 1536828429.017 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1536828429.017 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.017 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.017 * [misc]backup-simplify: Simplify -1 into -1 1536828429.017 * [misc]taylor: Taking taylor expansion of re in re 1536828429.017 * [misc]backup-simplify: Simplify 0 into 0 1536828429.017 * [misc]backup-simplify: Simplify 1 into 1 1536828429.017 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.017 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.017 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.017 * [misc]backup-simplify: Simplify -1 into -1 1536828429.017 * [misc]taylor: Taking taylor expansion of re in re 1536828429.017 * [misc]backup-simplify: Simplify 0 into 0 1536828429.017 * [misc]backup-simplify: Simplify 1 into 1 1536828429.017 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.017 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.017 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1536828429.017 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.017 * [misc]backup-simplify: Simplify -1 into -1 1536828429.017 * [misc]taylor: Taking taylor expansion of im in re 1536828429.017 * [misc]backup-simplify: Simplify im into im 1536828429.018 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1536828429.018 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.018 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828429.018 * [misc]taylor: Taking taylor expansion of (fma (exp (/ -1 im)) (sin (/ -1 re)) (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im 1536828429.018 * [misc]taylor: Rewrote expression to (+ (* (exp (/ -1 im)) (sin (/ -1 re))) (/ (sin (/ -1 re)) (exp (/ -1 im)))) 1536828429.018 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.018 * [misc]backup-simplify: Simplify -1 into -1 1536828429.018 * [misc]taylor: Taking taylor expansion of im in im 1536828429.018 * [misc]backup-simplify: Simplify 0 into 0 1536828429.018 * [misc]backup-simplify: Simplify 1 into 1 1536828429.018 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.018 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.018 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.018 * [misc]backup-simplify: Simplify -1 into -1 1536828429.018 * [misc]taylor: Taking taylor expansion of re in im 1536828429.018 * [misc]backup-simplify: Simplify re into re 1536828429.018 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1536828429.018 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.018 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1536828429.018 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1536828429.018 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.018 * [misc]backup-simplify: Simplify -1 into -1 1536828429.018 * [misc]taylor: Taking taylor expansion of re in im 1536828429.018 * [misc]backup-simplify: Simplify re into re 1536828429.018 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1536828429.018 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.018 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1536828429.019 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536828429.019 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536828429.019 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.019 * [misc]backup-simplify: Simplify -1 into -1 1536828429.019 * [misc]taylor: Taking taylor expansion of im in im 1536828429.019 * [misc]backup-simplify: Simplify 0 into 0 1536828429.019 * [misc]backup-simplify: Simplify 1 into 1 1536828429.019 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.019 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.019 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 1536828429.019 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 0) into 0 1536828429.019 * [misc]backup-simplify: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 1536828429.019 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828429.019 * [misc]taylor: Taking taylor expansion of (fma (exp (/ -1 im)) (sin (/ -1 re)) (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im 1536828429.019 * [misc]taylor: Rewrote expression to (+ (* (exp (/ -1 im)) (sin (/ -1 re))) (/ (sin (/ -1 re)) (exp (/ -1 im)))) 1536828429.019 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 1536828429.019 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536828429.019 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536828429.019 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.019 * [misc]backup-simplify: Simplify -1 into -1 1536828429.019 * [misc]taylor: Taking taylor expansion of im in im 1536828429.019 * [misc]backup-simplify: Simplify 0 into 0 1536828429.019 * [misc]backup-simplify: Simplify 1 into 1 1536828429.019 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.019 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.019 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in im 1536828429.020 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1536828429.020 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.020 * [misc]backup-simplify: Simplify -1 into -1 1536828429.020 * [misc]taylor: Taking taylor expansion of re in im 1536828429.020 * [misc]backup-simplify: Simplify re into re 1536828429.020 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1536828429.020 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.020 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1536828429.020 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 1536828429.020 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in im 1536828429.020 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1536828429.020 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.020 * [misc]backup-simplify: Simplify -1 into -1 1536828429.020 * [misc]taylor: Taking taylor expansion of re in im 1536828429.020 * [misc]backup-simplify: Simplify re into re 1536828429.020 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1536828429.020 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.020 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1536828429.020 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536828429.020 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536828429.020 * [misc]taylor: Taking taylor expansion of -1 in im 1536828429.020 * [misc]backup-simplify: Simplify -1 into -1 1536828429.020 * [misc]taylor: Taking taylor expansion of im in im 1536828429.020 * [misc]backup-simplify: Simplify 0 into 0 1536828429.020 * [misc]backup-simplify: Simplify 1 into 1 1536828429.020 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.020 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.020 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 1536828429.020 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 0) into 0 1536828429.020 * [misc]backup-simplify: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 1536828429.021 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828429.021 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 1536828429.021 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 0) into 0 1536828429.021 * [misc]backup-simplify: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 1536828429.021 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (sin (/ -1 re))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 1536828429.021 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) (exp (/ -1 im))) (/ (sin (/ -1 re)) (exp (/ -1 im)))) into (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) 1536828429.021 * [misc]taylor: Taking taylor expansion of (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) in re 1536828429.021 * [misc]taylor: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 1536828429.021 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in re 1536828429.021 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1536828429.021 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.021 * [misc]backup-simplify: Simplify -1 into -1 1536828429.021 * [misc]taylor: Taking taylor expansion of re in re 1536828429.021 * [misc]backup-simplify: Simplify 0 into 0 1536828429.021 * [misc]backup-simplify: Simplify 1 into 1 1536828429.021 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.021 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.021 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1536828429.021 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1536828429.021 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.021 * [misc]backup-simplify: Simplify -1 into -1 1536828429.022 * [misc]taylor: Taking taylor expansion of im in re 1536828429.022 * [misc]backup-simplify: Simplify im into im 1536828429.022 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1536828429.022 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.022 * [misc]backup-simplify: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 1536828429.022 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 1536828429.022 * [misc]taylor: Taking taylor expansion of (sin (/ -1 re)) in re 1536828429.022 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1536828429.022 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.022 * [misc]backup-simplify: Simplify -1 into -1 1536828429.022 * [misc]taylor: Taking taylor expansion of re in re 1536828429.022 * [misc]backup-simplify: Simplify 0 into 0 1536828429.022 * [misc]backup-simplify: Simplify 1 into 1 1536828429.022 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536828429.022 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1536828429.022 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1536828429.022 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1536828429.022 * [misc]taylor: Taking taylor expansion of -1 in re 1536828429.022 * [misc]backup-simplify: Simplify -1 into -1 1536828429.022 * [misc]taylor: Taking taylor expansion of im in re 1536828429.022 * [misc]backup-simplify: Simplify im into im 1536828429.022 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1536828429.022 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536828429.022 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 1536828429.022 * [misc]backup-simplify: Simplify (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) into (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) 1536828429.023 * [misc]backup-simplify: Simplify (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) into (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) 1536828429.023 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828429.023 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 1536828429.023 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1536828429.024 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828429.024 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 1536828429.024 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.024 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (sin (/ -1 re)))) into 0 1536828429.024 * [misc]backup-simplify: Simplify (+ 0) into 0 1536828429.025 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 1536828429.025 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1536828429.025 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1536828429.025 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 1536828429.026 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.026 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1536828429.026 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.026 * [misc]taylor: Taking taylor expansion of 0 in re 1536828429.026 * [misc]backup-simplify: Simplify 0 into 0 1536828429.026 * [misc]backup-simplify: Simplify 0 into 0 1536828429.026 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1536828429.027 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1536828429.027 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1536828429.027 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1536828429.028 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1536828429.028 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 1536828429.028 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.028 * [misc]backup-simplify: Simplify 0 into 0 1536828429.029 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828429.029 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1536828429.029 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828429.030 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828429.030 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1536828429.030 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.030 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0 1536828429.031 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1536828429.031 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1536828429.031 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828429.032 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828429.032 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1536828429.032 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.032 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536828429.032 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.033 * [misc]taylor: Taking taylor expansion of 0 in re 1536828429.033 * [misc]backup-simplify: Simplify 0 into 0 1536828429.033 * [misc]backup-simplify: Simplify 0 into 0 1536828429.033 * [misc]backup-simplify: Simplify 0 into 0 1536828429.033 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828429.034 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536828429.034 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536828429.034 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1536828429.035 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1536828429.036 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 1536828429.036 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.036 * [misc]backup-simplify: Simplify 0 into 0 1536828429.037 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1536828429.037 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536828429.037 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828429.038 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828429.039 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1536828429.039 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.041 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0 1536828429.043 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1536828429.043 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536828429.043 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1536828429.044 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1536828429.044 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1536828429.044 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.045 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536828429.045 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536828429.045 * [misc]taylor: Taking taylor expansion of 0 in re 1536828429.045 * [misc]backup-simplify: Simplify 0 into 0 1536828429.045 * [misc]backup-simplify: Simplify 0 into 0 1536828429.045 * [misc]backup-simplify: Simplify (+ (/ (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))) (* (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 1536828429.045 * * * [misc]progress: simplifying candidates 1536828429.045 * * * * [misc]progress: [ 1 / 45 ] simplifiying candidate # 1536828429.045 * * * * [misc]progress: [ 2 / 45 ] simplifiying candidate # 1536828429.045 * * * * [misc]progress: [ 3 / 45 ] simplifiying candidate # 1536828429.045 * * * * [misc]progress: [ 4 / 45 ] simplifiying candidate # 1536828429.046 * [enter]simplify: Simplifying (- (log (sin re)) im) 1536828429.046 * * [misc]simplify: iters left: 4 (5 enodes) 1536828429.047 * * [misc]simplify: iters left: 3 (7 enodes) 1536828429.048 * * [misc]simplify: iters left: 2 (8 enodes) 1536828429.050 * [exit]simplify: Simplified to (- (log (sin re)) im) 1536828429.050 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (exp (- (log (sin re)) im))))) 1536828429.050 * * * * [misc]progress: [ 5 / 45 ] simplifiying candidate # 1536828429.050 * * * * [misc]progress: [ 6 / 45 ] simplifiying candidate # 1536828429.050 * * * * [misc]progress: [ 7 / 45 ] simplifiying candidate # 1536828429.050 * [enter]simplify: Simplifying (/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im))) 1536828429.051 * * [misc]simplify: iters left: 6 (9 enodes) 1536828429.056 * * [misc]simplify: iters left: 5 (20 enodes) 1536828429.064 * * [misc]simplify: iters left: 4 (52 enodes) 1536828429.078 * * [misc]simplify: iters left: 3 (102 enodes) 1536828429.105 * * [misc]simplify: iters left: 2 (157 enodes) 1536828429.176 * * [misc]simplify: iters left: 1 (174 enodes) 1536828429.224 * [exit]simplify: Simplified to (pow (/ (sin re) (exp im)) 3) 1536828429.224 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (cbrt (pow (/ (sin re) (exp im)) 3))))) 1536828429.224 * * * * [misc]progress: [ 8 / 45 ] simplifiying candidate # 1536828429.224 * * * * [misc]progress: [ 9 / 45 ] simplifiying candidate # 1536828429.224 * * * * [misc]progress: [ 10 / 45 ] simplifiying candidate # 1536828429.224 * * * * [misc]progress: [ 11 / 45 ] simplifiying candidate # 1536828429.224 * * * * [misc]progress: [ 12 / 45 ] simplifiying candidate # 1536828429.224 * [enter]simplify: Simplifying (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) 1536828429.225 * * [misc]simplify: iters left: 6 (9 enodes) 1536828429.229 * * [misc]simplify: iters left: 5 (15 enodes) 1536828429.236 * * [misc]simplify: iters left: 4 (24 enodes) 1536828429.244 * * [misc]simplify: iters left: 3 (27 enodes) 1536828429.253 * * [misc]simplify: iters left: 2 (30 enodes) 1536828429.268 * [exit]simplify: Simplified to (* (/ (cbrt (sin re)) (cbrt (exp im))) (/ (cbrt (sin re)) (cbrt (exp im)))) 1536828429.268 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (* (/ (cbrt (sin re)) (cbrt (exp im))) (/ (cbrt (sin re)) (cbrt (exp im)))) (/ (cbrt (sin re)) (cbrt (exp im))))))) 1536828429.268 * [enter]simplify: Simplifying (/ (cbrt (sin re)) (cbrt (exp im))) 1536828429.269 * * [misc]simplify: iters left: 4 (7 enodes) 1536828429.272 * [exit]simplify: Simplified to (/ (cbrt (sin re)) (cbrt (exp im))) 1536828429.272 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt (sin re)) (cbrt (exp im))))))) 1536828429.272 * * * * [misc]progress: [ 13 / 45 ] simplifiying candidate # 1536828429.273 * [enter]simplify: Simplifying (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im))) 1536828429.273 * * [misc]simplify: iters left: 6 (8 enodes) 1536828429.276 * * [misc]simplify: iters left: 5 (10 enodes) 1536828429.280 * * [misc]simplify: iters left: 4 (12 enodes) 1536828429.284 * * [misc]simplify: iters left: 3 (13 enodes) 1536828429.290 * [exit]simplify: Simplified to (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im))) 1536828429.290 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im))) (/ (cbrt (sin re)) (sqrt (exp im))))))) 1536828429.290 * [enter]simplify: Simplifying (/ (cbrt (sin re)) (sqrt (exp im))) 1536828429.291 * * [misc]simplify: iters left: 4 (7 enodes) 1536828429.294 * [exit]simplify: Simplified to (/ (cbrt (sin re)) (sqrt (exp im))) 1536828429.294 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im))) (/ (cbrt (sin re)) (sqrt (exp im))))))) 1536828429.294 * * * * [misc]progress: [ 14 / 45 ] simplifiying candidate # 1536828429.294 * [enter]simplify: Simplifying (/ (* (cbrt (sin re)) (cbrt (sin re))) 1) 1536828429.295 * * [misc]simplify: iters left: 6 (6 enodes) 1536828429.296 * * [misc]simplify: iters left: 5 (10 enodes) 1536828429.299 * * [misc]simplify: iters left: 4 (16 enodes) 1536828429.301 * * [misc]simplify: iters left: 3 (18 enodes) 1536828429.303 * * [misc]simplify: iters left: 2 (23 enodes) 1536828429.307 * [exit]simplify: Simplified to (* (cbrt (sin re)) (cbrt (sin re))) 1536828429.307 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (* (cbrt (sin re)) (cbrt (sin re))) (/ (cbrt (sin re)) (exp im)))))) 1536828429.307 * [enter]simplify: Simplifying (/ (cbrt (sin re)) (exp im)) 1536828429.307 * * [misc]simplify: iters left: 4 (6 enodes) 1536828429.308 * [exit]simplify: Simplified to (/ (cbrt (sin re)) (exp im)) 1536828429.308 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (* (cbrt (sin re)) (cbrt (sin re))) (/ (cbrt (sin re)) (exp im)))))) 1536828429.308 * * * * [misc]progress: [ 15 / 45 ] simplifiying candidate # 1536828429.309 * [enter]simplify: Simplifying (/ (sqrt (sin re)) (* (cbrt (exp im)) (cbrt (exp im)))) 1536828429.309 * * [misc]simplify: iters left: 6 (8 enodes) 1536828429.311 * * [misc]simplify: iters left: 5 (10 enodes) 1536828429.313 * [exit]simplify: Simplified to (/ (/ (sqrt (sin re)) (cbrt (exp im))) (cbrt (exp im))) 1536828429.313 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (/ (sqrt (sin re)) (cbrt (exp im))) (cbrt (exp im))) (/ (sqrt (sin re)) (cbrt (exp im))))))) 1536828429.313 * [enter]simplify: Simplifying (/ (sqrt (sin re)) (cbrt (exp im))) 1536828429.314 * * [misc]simplify: iters left: 4 (7 enodes) 1536828429.315 * [exit]simplify: Simplified to (/ (sqrt (sin re)) (cbrt (exp im))) 1536828429.315 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt (sin re)) (cbrt (exp im))))))) 1536828429.315 * * * * [misc]progress: [ 16 / 45 ] simplifiying candidate # 1536828429.315 * [enter]simplify: Simplifying (/ (sqrt (sin re)) (sqrt (exp im))) 1536828429.315 * * [misc]simplify: iters left: 4 (7 enodes) 1536828429.317 * [exit]simplify: Simplified to (/ (sqrt (sin re)) (sqrt (exp im))) 1536828429.317 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (sqrt (exp im))) (/ (sqrt (sin re)) (sqrt (exp im))))))) 1536828429.317 * [enter]simplify: Simplifying (/ (sqrt (sin re)) (sqrt (exp im))) 1536828429.317 * * [misc]simplify: iters left: 4 (7 enodes) 1536828429.319 * [exit]simplify: Simplified to (/ (sqrt (sin re)) (sqrt (exp im))) 1536828429.319 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (sqrt (exp im))) (/ (sqrt (sin re)) (sqrt (exp im))))))) 1536828429.319 * * * * [misc]progress: [ 17 / 45 ] simplifiying candidate # 1536828429.319 * [enter]simplify: Simplifying (/ (sqrt (sin re)) 1) 1536828429.319 * * [misc]simplify: iters left: 4 (5 enodes) 1536828429.320 * * [misc]simplify: iters left: 3 (7 enodes) 1536828429.322 * * [misc]simplify: iters left: 2 (9 enodes) 1536828429.323 * [exit]simplify: Simplified to (sqrt (sin re)) 1536828429.323 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (sqrt (sin re)) (/ (sqrt (sin re)) (exp im)))))) 1536828429.323 * [enter]simplify: Simplifying (/ (sqrt (sin re)) (exp im)) 1536828429.323 * * [misc]simplify: iters left: 4 (6 enodes) 1536828429.324 * [exit]simplify: Simplified to (/ (sqrt (sin re)) (exp im)) 1536828429.324 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (sqrt (sin re)) (/ (sqrt (sin re)) (exp im)))))) 1536828429.324 * * * * [misc]progress: [ 18 / 45 ] simplifiying candidate # 1536828429.324 * [enter]simplify: Simplifying (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) 1536828429.325 * * [misc]simplify: iters left: 6 (6 enodes) 1536828429.326 * * [misc]simplify: iters left: 5 (10 enodes) 1536828429.328 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (exp im))) (cbrt (exp im))) 1536828429.328 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (/ 1 (cbrt (exp im))) (cbrt (exp im))) (/ (sin re) (cbrt (exp im))))))) 1536828429.328 * [enter]simplify: Simplifying (/ (sin re) (cbrt (exp im))) 1536828429.328 * * [misc]simplify: iters left: 4 (6 enodes) 1536828429.330 * [exit]simplify: Simplified to (/ (sin re) (cbrt (exp im))) 1536828429.330 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sin re) (cbrt (exp im))))))) 1536828429.330 * * * * [misc]progress: [ 19 / 45 ] simplifiying candidate # 1536828429.330 * [enter]simplify: Simplifying (/ 1 (sqrt (exp im))) 1536828429.330 * * [misc]simplify: iters left: 4 (5 enodes) 1536828429.331 * * [misc]simplify: iters left: 3 (7 enodes) 1536828429.333 * [exit]simplify: Simplified to (/ 1 (sqrt (exp im))) 1536828429.333 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (sqrt (exp im))) (/ (sin re) (sqrt (exp im))))))) 1536828429.333 * [enter]simplify: Simplifying (/ (sin re) (sqrt (exp im))) 1536828429.334 * * [misc]simplify: iters left: 4 (6 enodes) 1536828429.336 * [exit]simplify: Simplified to (/ (sin re) (sqrt (exp im))) 1536828429.336 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (sqrt (exp im))) (/ (sin re) (sqrt (exp im))))))) 1536828429.336 * * * * [misc]progress: [ 20 / 45 ] simplifiying candidate # 1536828429.336 * [enter]simplify: Simplifying (/ 1 1) 1536828429.337 * * [misc]simplify: iters left: 2 (2 enodes) 1536828429.338 * * [misc]simplify: iters left: 1 (4 enodes) 1536828429.338 * [exit]simplify: Simplified to 1 1536828429.338 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* 1 (/ (sin re) (exp im)))))) 1536828429.339 * [enter]simplify: Simplifying (/ (sin re) (exp im)) 1536828429.339 * * [misc]simplify: iters left: 3 (5 enodes) 1536828429.341 * [exit]simplify: Simplified to (/ (sin re) (exp im)) 1536828429.341 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* 1 (/ (sin re) (exp im)))))) 1536828429.341 * * * * [misc]progress: [ 21 / 45 ] simplifiying candidate # 1536828429.341 * * * * [misc]progress: [ 22 / 45 ] simplifiying candidate # 1536828429.341 * * * * [misc]progress: [ 23 / 45 ] simplifiying candidate # 1536828429.341 * * * * [misc]progress: [ 24 / 45 ] simplifiying candidate # 1536828429.342 * [enter]simplify: Simplifying (cbrt (exp im)) 1536828429.342 * * [misc]simplify: iters left: 2 (3 enodes) 1536828429.343 * [exit]simplify: Simplified to (cbrt (exp im)) 1536828429.343 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im)))))) 1536828429.343 * * * * [misc]progress: [ 25 / 45 ] simplifiying candidate # 1536828429.343 * [enter]simplify: Simplifying (sqrt (exp im)) 1536828429.344 * * [misc]simplify: iters left: 2 (3 enodes) 1536828429.345 * [exit]simplify: Simplified to (sqrt (exp im)) 1536828429.345 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im)))))) 1536828429.345 * * * * [misc]progress: [ 26 / 45 ] simplifiying candidate # 1536828429.345 * [enter]simplify: Simplifying (exp im) 1536828429.345 * * [misc]simplify: iters left: 1 (2 enodes) 1536828429.346 * [exit]simplify: Simplified to (exp im) 1536828429.346 * [misc]simplify: Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) 1) (exp im))))) 1536828429.346 * * * * [misc]progress: [ 27 / 45 ] simplifiying candidate # 1536828429.346 * [enter]simplify: Simplifying (* (cbrt (sin re)) (cbrt (sin re))) 1536828429.347 * * [misc]simplify: iters left: 4 (4 enodes) 1536828429.349 * [exit]simplify: Simplified to (* (cbrt (sin re)) (cbrt (sin re))) 1536828429.349 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (* (cbrt (sin re)) (cbrt (sin re))) (/ (exp im) (cbrt (sin re))))))) 1536828429.349 * * * * [misc]progress: [ 28 / 45 ] simplifiying candidate # 1536828429.349 * [enter]simplify: Simplifying (sqrt (sin re)) 1536828429.349 * * [misc]simplify: iters left: 2 (3 enodes) 1536828429.350 * [exit]simplify: Simplified to (sqrt (sin re)) 1536828429.351 * [misc]simplify: Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sqrt (sin re)) (/ (exp im) (sqrt (sin re))))))) 1536828429.351 * * * * [misc]progress: [ 29 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 30 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 31 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 32 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 33 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 34 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 35 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 36 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 37 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 38 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 39 / 45 ] simplifiying candidate # 1536828429.351 * * * * [misc]progress: [ 40 / 45 ] simplifiying candidate # 1536828429.352 * [enter]simplify: Simplifying (- re (+ (* re im) (* 1/6 (pow re 3)))) 1536828429.352 * * [misc]simplify: iters left: 6 (9 enodes) 1536828429.358 * * [misc]simplify: iters left: 5 (20 enodes) 1536828429.370 * * [misc]simplify: iters left: 4 (39 enodes) 1536828429.385 * * [misc]simplify: iters left: 3 (90 enodes) 1536828429.419 * * [misc]simplify: iters left: 2 (219 enodes) 1536828429.512 * * [misc]simplify: iters left: 1 (335 enodes) 1536828429.642 * [exit]simplify: Simplified to (* (fma -1/6 (* re re) (- 1 im)) re) 1536828429.642 * [misc]simplify: Simplified (2 2 3) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (fma -1/6 (* re re) (- 1 im)) re)))) 1536828429.642 * * * * [misc]progress: [ 41 / 45 ] simplifiying candidate # 1536828429.643 * [enter]simplify: Simplifying (/ (sin re) (exp im)) 1536828429.643 * * [misc]simplify: iters left: 3 (5 enodes) 1536828429.644 * [exit]simplify: Simplified to (/ (sin re) (exp im)) 1536828429.644 * [misc]simplify: Simplified (2 2 3) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im))))) 1536828429.644 * * * * [misc]progress: [ 42 / 45 ] simplifiying candidate # 1536828429.644 * [enter]simplify: Simplifying (/ (sin re) (exp im)) 1536828429.645 * * [misc]simplify: iters left: 3 (5 enodes) 1536828429.646 * [exit]simplify: Simplified to (/ (sin re) (exp im)) 1536828429.646 * [misc]simplify: Simplified (2 2 3) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im))))) 1536828429.646 * * * * [misc]progress: [ 43 / 45 ] simplifiying candidate # 1536828429.646 * [enter]simplify: Simplifying (- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3))) 1536828429.646 * * [misc]simplify: iters left: 6 (12 enodes) 1536828429.650 * * [misc]simplify: iters left: 5 (25 enodes) 1536828429.658 * * [misc]simplify: iters left: 4 (63 enodes) 1536828429.677 * * [misc]simplify: iters left: 3 (125 enodes) 1536828429.724 * * [misc]simplify: iters left: 2 (225 enodes) 1536828429.817 * * [misc]simplify: iters left: 1 (316 enodes) 1536828429.922 * [exit]simplify: Simplified to (* (fma re (* re -1/3) (fma im im 2)) re) 1536828429.922 * [misc]simplify: Simplified (2 2) to (λ (re im) (* 0.5 (* (fma re (* re -1/3) (fma im im 2)) re))) 1536828429.923 * * * * [misc]progress: [ 44 / 45 ] simplifiying candidate # 1536828429.923 * [enter]simplify: Simplifying (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 1536828429.923 * * [misc]simplify: iters left: 5 (7 enodes) 1536828429.925 * * [misc]simplify: iters left: 4 (9 enodes) 1536828429.926 * * [misc]simplify: iters left: 3 (11 enodes) 1536828429.928 * [exit]simplify: Simplified to (fma (sin re) (exp im) (/ (sin re) (exp im))) 1536828429.928 * [misc]simplify: Simplified (2 2) to (λ (re im) (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im))))) 1536828429.928 * * * * [misc]progress: [ 45 / 45 ] simplifiying candidate # 1536828429.928 * [enter]simplify: Simplifying (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 1536828429.929 * * [misc]simplify: iters left: 5 (7 enodes) 1536828429.930 * * [misc]simplify: iters left: 4 (9 enodes) 1536828429.932 * * [misc]simplify: iters left: 3 (11 enodes) 1536828429.934 * [exit]simplify: Simplified to (fma (sin re) (exp im) (/ (sin re) (exp im))) 1536828429.934 * [misc]simplify: Simplified (2 2) to (λ (re im) (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im))))) 1536828429.934 * * * [misc]progress: adding candidates to table 1536828430.683 * [misc]progress: [Phase 3 of 3] Extracting. 1536828430.688 * [enter]simplify: Simplifying (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))) 1536828430.689 * * [misc]simplify: iters left: 6 (8 enodes) 1536828430.689 * * [misc]simplify: iters left: 5 (9 enodes) 1536828430.690 * [exit]simplify: Simplified to (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))) 1536828430.690 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536828430.744 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536828430.746 * * * * [misc]points: Setting MPFR precision to 64 1536828430.748 * * * * [misc]points: Setting MPFR precision to 320 1536828430.750 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536828430.752 * * * * [misc]points: Setting MPFR precision to 64 1536828430.755 * * * * [misc]points: Setting MPFR precision to 320 1536828430.758 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536828430.761 * * * * [misc]points: Setting MPFR precision to 64 1536828430.766 * * * * [misc]points: Setting MPFR precision to 320 1536828430.772 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536828430.775 * * * * [misc]points: Setting MPFR precision to 64 1536828430.785 * * * * [misc]points: Setting MPFR precision to 320 1536828430.797 * * * * [misc]points: Setting MPFR precision to 576 1536828430.811 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536828430.814 * * * * [misc]points: Setting MPFR precision to 320 1536828430.838 * * * * [misc]points: Setting MPFR precision to 576 1536828430.867 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536828430.870 * * * * [misc]points: Setting MPFR precision to 320 1536828430.898 * * * * [misc]points: Setting MPFR precision to 576 1536828430.954 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536828430.957 * * * * [misc]points: Setting MPFR precision to 320 1536828431.075 * * * * [misc]points: Setting MPFR precision to 576 1536828431.190 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536828431.193 * * * * [misc]points: Setting MPFR precision to 320 1536828431.400 * * * * [misc]points: Setting MPFR precision to 576 1536828431.582 * * * * [misc]points: Computing exacts for 8000 points 1536828431.584 * * * * [misc]points: Setting MPFR precision to 320 1536828432.270 * * * * [misc]points: Setting MPFR precision to 576 1536828433.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828433.497 * * * * [misc]points: Sampling 3951 additional inputs, on iter 1 have 4049 / 8000 1536828433.514 * * * * [misc]points: Computing exacts on every 246 of 3951 points to ramp up precision 1536828433.516 * * * * [misc]points: Setting MPFR precision to 320 1536828433.517 * * * * [misc]points: Setting MPFR precision to 576 1536828433.518 * * * * [misc]points: Computing exacts on every 123 of 3951 points to ramp up precision 1536828433.520 * * * * [misc]points: Setting MPFR precision to 320 1536828433.521 * * * * [misc]points: Setting MPFR precision to 576 1536828433.523 * * * * [misc]points: Computing exacts on every 61 of 3951 points to ramp up precision 1536828433.525 * * * * [misc]points: Setting MPFR precision to 320 1536828433.528 * * * * [misc]points: Setting MPFR precision to 576 1536828433.532 * * * * [misc]points: Computing exacts on every 30 of 3951 points to ramp up precision 1536828433.533 * * * * [misc]points: Setting MPFR precision to 320 1536828433.544 * * * * [misc]points: Setting MPFR precision to 576 1536828433.587 * * * * [misc]points: Computing exacts on every 15 of 3951 points to ramp up precision 1536828433.589 * * * * [misc]points: Setting MPFR precision to 320 1536828433.614 * * * * [misc]points: Setting MPFR precision to 576 1536828433.641 * * * * [misc]points: Computing exacts on every 7 of 3951 points to ramp up precision 1536828433.644 * * * * [misc]points: Setting MPFR precision to 320 1536828433.670 * * * * [misc]points: Setting MPFR precision to 576 1536828433.698 * * * * [misc]points: Computing exacts on every 3 of 3951 points to ramp up precision 1536828433.700 * * * * [misc]points: Setting MPFR precision to 320 1536828433.794 * * * * [misc]points: Setting MPFR precision to 576 1536828433.958 * * * * [misc]points: Computing exacts for 3951 points 1536828433.960 * * * * [misc]points: Setting MPFR precision to 320 1536828434.274 * * * * [misc]points: Setting MPFR precision to 576 1536828434.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828434.758 * * * * [misc]points: Sampling 1987 additional inputs, on iter 2 have 6013 / 8000 1536828434.767 * * * * [misc]points: Computing exacts on every 124 of 1987 points to ramp up precision 1536828434.768 * * * * [misc]points: Setting MPFR precision to 320 1536828434.769 * * * * [misc]points: Setting MPFR precision to 576 1536828434.770 * * * * [misc]points: Computing exacts on every 62 of 1987 points to ramp up precision 1536828434.772 * * * * [misc]points: Setting MPFR precision to 320 1536828434.773 * * * * [misc]points: Setting MPFR precision to 576 1536828434.775 * * * * [misc]points: Computing exacts on every 31 of 1987 points to ramp up precision 1536828434.778 * * * * [misc]points: Setting MPFR precision to 320 1536828434.784 * * * * [misc]points: Setting MPFR precision to 576 1536828434.787 * * * * [misc]points: Computing exacts on every 15 of 1987 points to ramp up precision 1536828434.789 * * * * [misc]points: Setting MPFR precision to 320 1536828434.795 * * * * [misc]points: Setting MPFR precision to 576 1536828434.802 * * * * [misc]points: Computing exacts on every 7 of 1987 points to ramp up precision 1536828434.804 * * * * [misc]points: Setting MPFR precision to 320 1536828434.815 * * * * [misc]points: Setting MPFR precision to 576 1536828434.830 * * * * [misc]points: Computing exacts on every 3 of 1987 points to ramp up precision 1536828434.832 * * * * [misc]points: Setting MPFR precision to 320 1536828434.920 * * * * [misc]points: Setting MPFR precision to 576 1536828434.977 * * * * [misc]points: Computing exacts for 1987 points 1536828434.981 * * * * [misc]points: Setting MPFR precision to 320 1536828435.187 * * * * [misc]points: Setting MPFR precision to 576 1536828435.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828435.367 * * * * [misc]points: Sampling 989 additional inputs, on iter 3 have 7011 / 8000 1536828435.372 * * * * [misc]points: Computing exacts on every 61 of 989 points to ramp up precision 1536828435.373 * * * * [misc]points: Setting MPFR precision to 320 1536828435.374 * * * * [misc]points: Setting MPFR precision to 576 1536828435.375 * * * * [misc]points: Computing exacts on every 30 of 989 points to ramp up precision 1536828435.377 * * * * [misc]points: Setting MPFR precision to 320 1536828435.378 * * * * [misc]points: Setting MPFR precision to 576 1536828435.380 * * * * [misc]points: Computing exacts on every 15 of 989 points to ramp up precision 1536828435.382 * * * * [misc]points: Setting MPFR precision to 320 1536828435.432 * * * * [misc]points: Setting MPFR precision to 576 1536828435.445 * * * * [misc]points: Computing exacts on every 7 of 989 points to ramp up precision 1536828435.448 * * * * [misc]points: Setting MPFR precision to 320 1536828435.460 * * * * [misc]points: Setting MPFR precision to 576 1536828435.475 * * * * [misc]points: Computing exacts on every 3 of 989 points to ramp up precision 1536828435.478 * * * * [misc]points: Setting MPFR precision to 320 1536828435.502 * * * * [misc]points: Setting MPFR precision to 576 1536828435.518 * * * * [misc]points: Computing exacts for 989 points 1536828435.519 * * * * [misc]points: Setting MPFR precision to 320 1536828435.566 * * * * [misc]points: Setting MPFR precision to 576 1536828436.114 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.114 * * * * [misc]points: Sampling 485 additional inputs, on iter 4 have 7515 / 8000 1536828436.123 * * * * [misc]points: Computing exacts on every 30 of 485 points to ramp up precision 1536828436.126 * * * * [misc]points: Setting MPFR precision to 320 1536828436.128 * * * * [misc]points: Setting MPFR precision to 576 1536828436.130 * * * * [misc]points: Computing exacts on every 15 of 485 points to ramp up precision 1536828436.132 * * * * [misc]points: Setting MPFR precision to 320 1536828436.135 * * * * [misc]points: Setting MPFR precision to 576 1536828436.139 * * * * [misc]points: Computing exacts on every 7 of 485 points to ramp up precision 1536828436.142 * * * * [misc]points: Setting MPFR precision to 320 1536828436.148 * * * * [misc]points: Setting MPFR precision to 576 1536828436.156 * * * * [misc]points: Computing exacts on every 3 of 485 points to ramp up precision 1536828436.158 * * * * [misc]points: Setting MPFR precision to 320 1536828436.171 * * * * [misc]points: Setting MPFR precision to 576 1536828436.184 * * * * [misc]points: Computing exacts for 485 points 1536828436.187 * * * * [misc]points: Setting MPFR precision to 320 1536828436.233 * * * * [misc]points: Setting MPFR precision to 576 1536828436.290 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.290 * * * * [misc]points: Sampling 229 additional inputs, on iter 5 have 7771 / 8000 1536828436.292 * * * * [misc]points: Computing exacts on every 14 of 229 points to ramp up precision 1536828436.295 * * * * [misc]points: Setting MPFR precision to 320 1536828436.297 * * * * [misc]points: Setting MPFR precision to 576 1536828436.298 * * * * [misc]points: Computing exacts on every 7 of 229 points to ramp up precision 1536828436.300 * * * * [misc]points: Setting MPFR precision to 320 1536828436.302 * * * * [misc]points: Setting MPFR precision to 576 1536828436.303 * * * * [misc]points: Computing exacts on every 3 of 229 points to ramp up precision 1536828436.305 * * * * [misc]points: Setting MPFR precision to 320 1536828436.308 * * * * [misc]points: Setting MPFR precision to 576 1536828436.311 * * * * [misc]points: Computing exacts for 229 points 1536828436.313 * * * * [misc]points: Setting MPFR precision to 320 1536828436.324 * * * * [misc]points: Setting MPFR precision to 576 1536828436.378 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.378 * * * * [misc]points: Sampling 109 additional inputs, on iter 6 have 7891 / 8000 1536828436.380 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1536828436.382 * * * * [misc]points: Setting MPFR precision to 320 1536828436.384 * * * * [misc]points: Setting MPFR precision to 576 1536828436.386 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1536828436.389 * * * * [misc]points: Setting MPFR precision to 320 1536828436.391 * * * * [misc]points: Setting MPFR precision to 576 1536828436.394 * * * * [misc]points: Computing exacts for 109 points 1536828436.397 * * * * [misc]points: Setting MPFR precision to 320 1536828436.406 * * * * [misc]points: Setting MPFR precision to 576 1536828436.418 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.419 * * * * [misc]points: Sampling 53 additional inputs, on iter 7 have 7947 / 8000 1536828436.419 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1536828436.422 * * * * [misc]points: Setting MPFR precision to 320 1536828436.423 * * * * [misc]points: Setting MPFR precision to 576 1536828436.425 * * * * [misc]points: Computing exacts for 53 points 1536828436.426 * * * * [misc]points: Setting MPFR precision to 320 1536828436.429 * * * * [misc]points: Setting MPFR precision to 576 1536828436.432 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.433 * * * * [misc]points: Sampling 26 additional inputs, on iter 8 have 7974 / 8000 1536828436.433 * * * * [misc]points: Computing exacts for 26 points 1536828436.434 * * * * [misc]points: Setting MPFR precision to 320 1536828436.436 * * * * [misc]points: Setting MPFR precision to 576 1536828436.438 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.438 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 1536828436.438 * * * * [misc]points: Computing exacts for 14 points 1536828436.439 * * * * [misc]points: Setting MPFR precision to 320 1536828436.440 * * * * [misc]points: Setting MPFR precision to 576 1536828436.441 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.441 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1536828436.441 * * * * [misc]points: Computing exacts for 5 points 1536828436.443 * * * * [misc]points: Setting MPFR precision to 320 1536828436.443 * * * * [misc]points: Setting MPFR precision to 576 1536828436.443 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.443 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1536828436.443 * * * * [misc]points: Computing exacts for 4 points 1536828436.445 * * * * [misc]points: Setting MPFR precision to 320 1536828436.445 * * * * [misc]points: Setting MPFR precision to 576 1536828436.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1536828436.445 * * * * [exit]points: Sampled 8000 points with exact outputs