0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.010 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.015 * * * * [points]: Setting MPFR precision to 64 0.017 * * * * [points]: Setting MPFR precision to 320 0.020 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.022 * * * * [points]: Setting MPFR precision to 64 0.026 * * * * [points]: Setting MPFR precision to 320 0.030 * * * * [points]: Computing exacts for 256 points 0.032 * * * * [points]: Setting MPFR precision to 64 0.054 * * * * [points]: Setting MPFR precision to 320 0.080 * * * * [points]: Filtering points with unrepresentable outputs 0.080 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256 0.082 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision 0.087 * * * * [points]: Setting MPFR precision to 64 0.088 * * * * [points]: Setting MPFR precision to 320 0.089 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision 0.094 * * * * [points]: Setting MPFR precision to 64 0.096 * * * * [points]: Setting MPFR precision to 320 0.098 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision 0.102 * * * * [points]: Setting MPFR precision to 64 0.105 * * * * [points]: Setting MPFR precision to 320 0.109 * * * * [points]: Computing exacts for 130 points 0.113 * * * * [points]: Setting MPFR precision to 64 0.122 * * * * [points]: Setting MPFR precision to 320 0.135 * * * * [points]: Filtering points with unrepresentable outputs 0.135 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256 0.136 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision 0.140 * * * * [points]: Setting MPFR precision to 64 0.142 * * * * [points]: Setting MPFR precision to 320 0.143 * * * * [points]: Computing exacts for 59 points 0.147 * * * * [points]: Setting MPFR precision to 64 0.189 * * * * [points]: Setting MPFR precision to 320 0.198 * * * * [points]: Filtering points with unrepresentable outputs 0.198 * * * * [points]: Sampling 28 additional inputs, on iter 3 have 228 / 256 0.199 * * * * [points]: Computing exacts for 28 points 0.203 * * * * [points]: Setting MPFR precision to 64 0.206 * * * * [points]: Setting MPFR precision to 320 0.208 * * * * [points]: Filtering points with unrepresentable outputs 0.209 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256 0.209 * * * * [points]: Computing exacts for 14 points 0.213 * * * * [points]: Setting MPFR precision to 64 0.215 * * * * [points]: Setting MPFR precision to 320 0.216 * * * * [points]: Filtering points with unrepresentable outputs 0.216 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 252 / 256 0.216 * * * * [points]: Computing exacts for 4 points 0.220 * * * * [points]: Setting MPFR precision to 64 0.221 * * * * [points]: Setting MPFR precision to 320 0.221 * * * * [points]: Filtering points with unrepresentable outputs 0.221 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.222 * * * * [points]: Computing exacts for 4 points 0.226 * * * * [points]: Setting MPFR precision to 64 0.226 * * * * [points]: Setting MPFR precision to 320 0.227 * * * * [points]: Filtering points with unrepresentable outputs 0.227 * * * * [points]: Sampled 256 points with exact outputs 0.227 * * * [progress]: [2/2] Setting up program. 0.234 * [progress]: [Phase 2 of 3] Improving. 0.234 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.235 * [simplify]: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 0.235 * * [simplify]: iters left: 6 (16 enodes) 0.243 * * [simplify]: iters left: 5 (58 enodes) 0.256 * * [simplify]: iters left: 4 (88 enodes) 0.270 * * [simplify]: iters left: 3 (132 enodes) 0.304 * * [simplify]: iters left: 2 (194 enodes) 0.705 * * [simplify]: iters left: 1 (263 enodes) 0.783 * * [simplify]: Extracting #0: cost 1 inf + 0 0.784 * * [simplify]: Extracting #1: cost 12 inf + 0 0.784 * * [simplify]: Extracting #2: cost 23 inf + 2 0.784 * * [simplify]: Extracting #3: cost 45 inf + 64 0.784 * * [simplify]: Extracting #4: cost 83 inf + 462 0.786 * * [simplify]: Extracting #5: cost 49 inf + 8524 0.788 * * [simplify]: Extracting #6: cost 4 inf + 15962 0.795 * * [simplify]: Extracting #7: cost 0 inf + 16990 0.798 * * [simplify]: Extracting #8: cost 0 inf + 16950 0.802 * [simplify]: Simplified to (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 0.802 * [simplify]: Simplified (2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 0.808 * * [progress]: iteration 1 / 4 0.808 * * * [progress]: picking best candidate 0.812 * * * * [pick]: Picked # 0.812 * * * [progress]: localizing error 0.840 * * * [progress]: generating rewritten candidates 0.840 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.850 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.861 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.896 * * * [progress]: generating series expansions 0.896 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.900 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 0.900 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 0.901 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 0.901 * [taylor]: Taking taylor expansion of (cos y) in x 0.901 * [taylor]: Taking taylor expansion of y in x 0.901 * [backup-simplify]: Simplify y into y 0.901 * [backup-simplify]: Simplify (cos y) into (cos y) 0.901 * [backup-simplify]: Simplify (sin y) into (sin y) 0.901 * [taylor]: Taking taylor expansion of (exp x) in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [backup-simplify]: Simplify 0 into 0 0.901 * [backup-simplify]: Simplify 1 into 1 0.902 * [backup-simplify]: Simplify (exp 0) into 1 0.902 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 0.902 * [backup-simplify]: Simplify (* (sin y) 0) into 0 0.903 * [backup-simplify]: Simplify (- 0) into 0 0.903 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 0.903 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 0.903 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.903 * [taylor]: Taking taylor expansion of (cos y) in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [backup-simplify]: Simplify 0 into 0 0.903 * [backup-simplify]: Simplify 1 into 1 0.903 * [taylor]: Taking taylor expansion of (exp x) in y 0.903 * [taylor]: Taking taylor expansion of x in y 0.903 * [backup-simplify]: Simplify x into x 0.903 * [backup-simplify]: Simplify (exp x) into (exp x) 0.903 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.903 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.904 * [taylor]: Taking taylor expansion of (cos y) in y 0.904 * [taylor]: Taking taylor expansion of y in y 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 1 into 1 0.904 * [taylor]: Taking taylor expansion of (exp x) in y 0.904 * [taylor]: Taking taylor expansion of x in y 0.904 * [backup-simplify]: Simplify x into x 0.904 * [backup-simplify]: Simplify (exp x) into (exp x) 0.904 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.904 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.904 * [taylor]: Taking taylor expansion of (exp x) in x 0.904 * [taylor]: Taking taylor expansion of x in x 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 1 into 1 0.904 * [backup-simplify]: Simplify (exp 0) into 1 0.905 * [backup-simplify]: Simplify (/ 1 1) into 1 0.905 * [backup-simplify]: Simplify 1 into 1 0.906 * [backup-simplify]: Simplify (+ 0) into 0 0.906 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.907 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 0.907 * [taylor]: Taking taylor expansion of 0 in x 0.907 * [backup-simplify]: Simplify 0 into 0 0.907 * [backup-simplify]: Simplify 0 into 0 0.907 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.908 * [backup-simplify]: Simplify -1 into -1 0.909 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.909 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.910 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 0.910 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 0.910 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 0.910 * [taylor]: Taking taylor expansion of 1/2 in x 0.910 * [backup-simplify]: Simplify 1/2 into 1/2 0.910 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.910 * [taylor]: Taking taylor expansion of (exp x) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [backup-simplify]: Simplify 0 into 0 0.910 * [backup-simplify]: Simplify 1 into 1 0.910 * [backup-simplify]: Simplify (exp 0) into 1 0.910 * [backup-simplify]: Simplify (/ 1 1) into 1 0.910 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.911 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.911 * [backup-simplify]: Simplify -1/2 into -1/2 0.911 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 0.912 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.912 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 0.912 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.912 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.912 * [taylor]: Taking taylor expansion of y in x 0.912 * [backup-simplify]: Simplify y into y 0.912 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.912 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.912 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.912 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [backup-simplify]: Simplify 0 into 0 0.912 * [backup-simplify]: Simplify 1 into 1 0.912 * [backup-simplify]: Simplify (/ 1 1) into 1 0.912 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.912 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.912 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.913 * [backup-simplify]: Simplify (- 0) into 0 0.913 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.913 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.913 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.913 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.913 * [taylor]: Taking taylor expansion of y in y 0.913 * [backup-simplify]: Simplify 0 into 0 0.913 * [backup-simplify]: Simplify 1 into 1 0.913 * [backup-simplify]: Simplify (/ 1 1) into 1 0.913 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.913 * [taylor]: Taking taylor expansion of x in y 0.913 * [backup-simplify]: Simplify x into x 0.913 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.913 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.914 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.914 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.914 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.914 * [taylor]: Taking taylor expansion of y in y 0.914 * [backup-simplify]: Simplify 0 into 0 0.914 * [backup-simplify]: Simplify 1 into 1 0.914 * [backup-simplify]: Simplify (/ 1 1) into 1 0.914 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.914 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.914 * [taylor]: Taking taylor expansion of x in y 0.914 * [backup-simplify]: Simplify x into x 0.914 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.914 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.914 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.914 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.914 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.914 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.914 * [taylor]: Taking taylor expansion of y in x 0.914 * [backup-simplify]: Simplify y into y 0.914 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.915 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.915 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.915 * [backup-simplify]: Simplify 0 into 0 0.915 * [backup-simplify]: Simplify 1 into 1 0.915 * [backup-simplify]: Simplify (/ 1 1) into 1 0.915 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.915 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.915 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.915 * [backup-simplify]: Simplify (- 0) into 0 0.915 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.915 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.916 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.916 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.916 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.916 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.916 * [taylor]: Taking taylor expansion of 0 in x 0.916 * [backup-simplify]: Simplify 0 into 0 0.916 * [backup-simplify]: Simplify 0 into 0 0.917 * [backup-simplify]: Simplify (+ 0) into 0 0.917 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.917 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.918 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.918 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.918 * [backup-simplify]: Simplify (- 0) into 0 0.919 * [backup-simplify]: Simplify (+ 0 0) into 0 0.919 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.919 * [backup-simplify]: Simplify 0 into 0 0.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.920 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.920 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 0.920 * [taylor]: Taking taylor expansion of 0 in x 0.920 * [backup-simplify]: Simplify 0 into 0 0.920 * [backup-simplify]: Simplify 0 into 0 0.920 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.921 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.922 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.922 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.923 * [backup-simplify]: Simplify (- 0) into 0 0.923 * [backup-simplify]: Simplify (+ 0 0) into 0 0.923 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 0.923 * [backup-simplify]: Simplify 0 into 0 0.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.925 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.925 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 0.925 * [taylor]: Taking taylor expansion of 0 in x 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 0.925 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.925 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 0.925 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.925 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.925 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.925 * [taylor]: Taking taylor expansion of -1 in x 0.925 * [backup-simplify]: Simplify -1 into -1 0.925 * [taylor]: Taking taylor expansion of y in x 0.925 * [backup-simplify]: Simplify y into y 0.925 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.925 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.925 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.925 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.925 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.925 * [taylor]: Taking taylor expansion of -1 in x 0.925 * [backup-simplify]: Simplify -1 into -1 0.925 * [taylor]: Taking taylor expansion of x in x 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify 1 into 1 0.926 * [backup-simplify]: Simplify (/ -1 1) into -1 0.926 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.926 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.926 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.926 * [backup-simplify]: Simplify (- 0) into 0 0.926 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.926 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.926 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.926 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.926 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.926 * [taylor]: Taking taylor expansion of -1 in y 0.926 * [backup-simplify]: Simplify -1 into -1 0.926 * [taylor]: Taking taylor expansion of y in y 0.926 * [backup-simplify]: Simplify 0 into 0 0.926 * [backup-simplify]: Simplify 1 into 1 0.927 * [backup-simplify]: Simplify (/ -1 1) into -1 0.927 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.927 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.927 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.927 * [taylor]: Taking taylor expansion of -1 in y 0.927 * [backup-simplify]: Simplify -1 into -1 0.927 * [taylor]: Taking taylor expansion of x in y 0.927 * [backup-simplify]: Simplify x into x 0.927 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.927 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.927 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.927 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.927 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.927 * [taylor]: Taking taylor expansion of -1 in y 0.927 * [backup-simplify]: Simplify -1 into -1 0.927 * [taylor]: Taking taylor expansion of y in y 0.927 * [backup-simplify]: Simplify 0 into 0 0.927 * [backup-simplify]: Simplify 1 into 1 0.927 * [backup-simplify]: Simplify (/ -1 1) into -1 0.927 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.928 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.928 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.928 * [taylor]: Taking taylor expansion of -1 in y 0.928 * [backup-simplify]: Simplify -1 into -1 0.928 * [taylor]: Taking taylor expansion of x in y 0.928 * [backup-simplify]: Simplify x into x 0.928 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.928 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.928 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.928 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.928 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.928 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.928 * [taylor]: Taking taylor expansion of -1 in x 0.928 * [backup-simplify]: Simplify -1 into -1 0.928 * [taylor]: Taking taylor expansion of y in x 0.928 * [backup-simplify]: Simplify y into y 0.928 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.928 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.928 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.928 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.928 * [taylor]: Taking taylor expansion of -1 in x 0.928 * [backup-simplify]: Simplify -1 into -1 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [backup-simplify]: Simplify 0 into 0 0.928 * [backup-simplify]: Simplify 1 into 1 0.928 * [backup-simplify]: Simplify (/ -1 1) into -1 0.928 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.929 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.929 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.929 * [backup-simplify]: Simplify (- 0) into 0 0.929 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.929 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.929 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.929 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.930 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.930 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.930 * [taylor]: Taking taylor expansion of 0 in x 0.930 * [backup-simplify]: Simplify 0 into 0 0.930 * [backup-simplify]: Simplify 0 into 0 0.930 * [backup-simplify]: Simplify (+ 0) into 0 0.931 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.931 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.931 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.931 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.932 * [backup-simplify]: Simplify (- 0) into 0 0.932 * [backup-simplify]: Simplify (+ 0 0) into 0 0.932 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.932 * [backup-simplify]: Simplify 0 into 0 0.932 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.933 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.934 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 0.934 * [taylor]: Taking taylor expansion of 0 in x 0.934 * [backup-simplify]: Simplify 0 into 0 0.934 * [backup-simplify]: Simplify 0 into 0 0.934 * [backup-simplify]: Simplify 0 into 0 0.935 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.936 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.936 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.937 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.937 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.938 * [backup-simplify]: Simplify (- 0) into 0 0.938 * [backup-simplify]: Simplify (+ 0 0) into 0 0.938 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 0.938 * [backup-simplify]: Simplify 0 into 0 0.939 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.940 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.941 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 0.941 * [taylor]: Taking taylor expansion of 0 in x 0.941 * [backup-simplify]: Simplify 0 into 0 0.941 * [backup-simplify]: Simplify 0 into 0 0.941 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 0.941 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.941 * [backup-simplify]: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y)) 0.941 * [approximate]: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0 0.941 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x 0.941 * [taylor]: Taking taylor expansion of (exp x) in x 0.941 * [taylor]: Taking taylor expansion of x in x 0.941 * [backup-simplify]: Simplify 0 into 0 0.941 * [backup-simplify]: Simplify 1 into 1 0.941 * [backup-simplify]: Simplify (exp 0) into 1 0.941 * [taylor]: Taking taylor expansion of (cos y) in x 0.941 * [taylor]: Taking taylor expansion of y in x 0.941 * [backup-simplify]: Simplify y into y 0.941 * [backup-simplify]: Simplify (cos y) into (cos y) 0.941 * [backup-simplify]: Simplify (sin y) into (sin y) 0.942 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.942 * [taylor]: Taking taylor expansion of (exp x) in y 0.942 * [taylor]: Taking taylor expansion of x in y 0.942 * [backup-simplify]: Simplify x into x 0.942 * [backup-simplify]: Simplify (exp x) into (exp x) 0.942 * [taylor]: Taking taylor expansion of (cos y) in y 0.942 * [taylor]: Taking taylor expansion of y in y 0.942 * [backup-simplify]: Simplify 0 into 0 0.942 * [backup-simplify]: Simplify 1 into 1 0.942 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.942 * [taylor]: Taking taylor expansion of (exp x) in y 0.942 * [taylor]: Taking taylor expansion of x in y 0.942 * [backup-simplify]: Simplify x into x 0.942 * [backup-simplify]: Simplify (exp x) into (exp x) 0.942 * [taylor]: Taking taylor expansion of (cos y) in y 0.942 * [taylor]: Taking taylor expansion of y in y 0.942 * [backup-simplify]: Simplify 0 into 0 0.942 * [backup-simplify]: Simplify 1 into 1 0.942 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x) 0.942 * [taylor]: Taking taylor expansion of (exp x) in x 0.942 * [taylor]: Taking taylor expansion of x in x 0.942 * [backup-simplify]: Simplify 0 into 0 0.942 * [backup-simplify]: Simplify 1 into 1 0.942 * [backup-simplify]: Simplify (exp 0) into 1 0.942 * [backup-simplify]: Simplify 1 into 1 0.943 * [backup-simplify]: Simplify (+ 0) into 0 0.944 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.944 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 0.944 * [taylor]: Taking taylor expansion of 0 in x 0.944 * [backup-simplify]: Simplify 0 into 0 0.944 * [backup-simplify]: Simplify 0 into 0 0.945 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.946 * [backup-simplify]: Simplify 1 into 1 0.947 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.948 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.949 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 0.949 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp x))) in x 0.949 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 0.949 * [taylor]: Taking taylor expansion of 1/2 in x 0.949 * [backup-simplify]: Simplify 1/2 into 1/2 0.949 * [taylor]: Taking taylor expansion of (exp x) in x 0.949 * [taylor]: Taking taylor expansion of x in x 0.949 * [backup-simplify]: Simplify 0 into 0 0.949 * [backup-simplify]: Simplify 1 into 1 0.949 * [backup-simplify]: Simplify (exp 0) into 1 0.949 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.950 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.950 * [backup-simplify]: Simplify -1/2 into -1/2 0.950 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2))) 0.950 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.950 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0 0.950 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 0.950 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.950 * [taylor]: Taking taylor expansion of x in x 0.950 * [backup-simplify]: Simplify 0 into 0 0.950 * [backup-simplify]: Simplify 1 into 1 0.951 * [backup-simplify]: Simplify (/ 1 1) into 1 0.951 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.951 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.951 * [taylor]: Taking taylor expansion of y in x 0.951 * [backup-simplify]: Simplify y into y 0.951 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.951 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.951 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.951 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 0.951 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.951 * [taylor]: Taking taylor expansion of x in y 0.951 * [backup-simplify]: Simplify x into x 0.951 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.951 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.951 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.951 * [taylor]: Taking taylor expansion of y in y 0.951 * [backup-simplify]: Simplify 0 into 0 0.951 * [backup-simplify]: Simplify 1 into 1 0.952 * [backup-simplify]: Simplify (/ 1 1) into 1 0.952 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.952 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 0.952 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.952 * [taylor]: Taking taylor expansion of x in y 0.952 * [backup-simplify]: Simplify x into x 0.952 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.952 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.952 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.952 * [taylor]: Taking taylor expansion of y in y 0.952 * [backup-simplify]: Simplify 0 into 0 0.952 * [backup-simplify]: Simplify 1 into 1 0.953 * [backup-simplify]: Simplify (/ 1 1) into 1 0.953 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.953 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.953 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 0.953 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.953 * [backup-simplify]: Simplify 0 into 0 0.953 * [backup-simplify]: Simplify 1 into 1 0.953 * [backup-simplify]: Simplify (/ 1 1) into 1 0.954 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.954 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.954 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.954 * [taylor]: Taking taylor expansion of y in x 0.954 * [backup-simplify]: Simplify y into y 0.954 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.954 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.954 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.954 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.954 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.954 * [backup-simplify]: Simplify (- 0) into 0 0.954 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.955 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.955 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.956 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.956 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 0.956 * [taylor]: Taking taylor expansion of 0 in x 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify (+ 0) into 0 0.957 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.957 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.958 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.958 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.959 * [backup-simplify]: Simplify (- 0) into 0 0.959 * [backup-simplify]: Simplify (+ 0 0) into 0 0.959 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 0.959 * [backup-simplify]: Simplify 0 into 0 0.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.961 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.961 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 0.961 * [taylor]: Taking taylor expansion of 0 in x 0.961 * [backup-simplify]: Simplify 0 into 0 0.961 * [backup-simplify]: Simplify 0 into 0 0.961 * [backup-simplify]: Simplify 0 into 0 0.962 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.963 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.964 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.964 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.965 * [backup-simplify]: Simplify (- 0) into 0 0.965 * [backup-simplify]: Simplify (+ 0 0) into 0 0.966 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.968 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.969 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 0.969 * [taylor]: Taking taylor expansion of 0 in x 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y)) 0.969 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.969 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0 0.969 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 0.969 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.969 * [taylor]: Taking taylor expansion of -1 in x 0.969 * [backup-simplify]: Simplify -1 into -1 0.969 * [taylor]: Taking taylor expansion of x in x 0.969 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 1 into 1 0.970 * [backup-simplify]: Simplify (/ -1 1) into -1 0.970 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.970 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.970 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.970 * [taylor]: Taking taylor expansion of -1 in x 0.970 * [backup-simplify]: Simplify -1 into -1 0.970 * [taylor]: Taking taylor expansion of y in x 0.970 * [backup-simplify]: Simplify y into y 0.970 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.970 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.970 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.970 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 0.970 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.970 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.971 * [taylor]: Taking taylor expansion of -1 in y 0.971 * [backup-simplify]: Simplify -1 into -1 0.971 * [taylor]: Taking taylor expansion of x in y 0.971 * [backup-simplify]: Simplify x into x 0.971 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.971 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.971 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.971 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.971 * [taylor]: Taking taylor expansion of -1 in y 0.971 * [backup-simplify]: Simplify -1 into -1 0.971 * [taylor]: Taking taylor expansion of y in y 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 1 into 1 0.971 * [backup-simplify]: Simplify (/ -1 1) into -1 0.972 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.972 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 0.972 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.972 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.972 * [taylor]: Taking taylor expansion of -1 in y 0.972 * [backup-simplify]: Simplify -1 into -1 0.972 * [taylor]: Taking taylor expansion of x in y 0.972 * [backup-simplify]: Simplify x into x 0.972 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.972 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.972 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.972 * [taylor]: Taking taylor expansion of -1 in y 0.972 * [backup-simplify]: Simplify -1 into -1 0.972 * [taylor]: Taking taylor expansion of y in y 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify 1 into 1 0.972 * [backup-simplify]: Simplify (/ -1 1) into -1 0.972 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.973 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.973 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 0.973 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.973 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.973 * [taylor]: Taking taylor expansion of -1 in x 0.973 * [backup-simplify]: Simplify -1 into -1 0.973 * [taylor]: Taking taylor expansion of x in x 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify 1 into 1 0.973 * [backup-simplify]: Simplify (/ -1 1) into -1 0.973 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.973 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.974 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.974 * [taylor]: Taking taylor expansion of -1 in x 0.974 * [backup-simplify]: Simplify -1 into -1 0.974 * [taylor]: Taking taylor expansion of y in x 0.974 * [backup-simplify]: Simplify y into y 0.974 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.974 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.974 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.974 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.974 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.974 * [backup-simplify]: Simplify (- 0) into 0 0.975 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.975 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.975 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.975 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.976 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.976 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 0.976 * [taylor]: Taking taylor expansion of 0 in x 0.976 * [backup-simplify]: Simplify 0 into 0 0.976 * [backup-simplify]: Simplify 0 into 0 0.977 * [backup-simplify]: Simplify (+ 0) into 0 0.977 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.977 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.978 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.979 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.979 * [backup-simplify]: Simplify (- 0) into 0 0.979 * [backup-simplify]: Simplify (+ 0 0) into 0 0.979 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.981 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.982 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.982 * [taylor]: Taking taylor expansion of 0 in x 0.982 * [backup-simplify]: Simplify 0 into 0 0.982 * [backup-simplify]: Simplify 0 into 0 0.982 * [backup-simplify]: Simplify 0 into 0 0.983 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.983 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.983 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.984 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.985 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.985 * [backup-simplify]: Simplify (- 0) into 0 0.986 * [backup-simplify]: Simplify (+ 0 0) into 0 0.986 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.986 * [backup-simplify]: Simplify 0 into 0 0.986 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.988 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.989 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 0.989 * [taylor]: Taking taylor expansion of 0 in x 0.989 * [backup-simplify]: Simplify 0 into 0 0.989 * [backup-simplify]: Simplify 0 into 0 0.989 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y)) 0.989 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.990 * [backup-simplify]: Simplify (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 0.990 * [approximate]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0 0.990 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x 0.990 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 0.990 * [taylor]: Taking taylor expansion of (cos y) in x 0.990 * [taylor]: Taking taylor expansion of y in x 0.990 * [backup-simplify]: Simplify y into y 0.990 * [backup-simplify]: Simplify (cos y) into (cos y) 0.990 * [backup-simplify]: Simplify (sin y) into (sin y) 0.990 * [taylor]: Taking taylor expansion of (exp x) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [backup-simplify]: Simplify 0 into 0 0.990 * [backup-simplify]: Simplify 1 into 1 0.990 * [backup-simplify]: Simplify (exp 0) into 1 0.990 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 0.990 * [backup-simplify]: Simplify (* (sin y) 0) into 0 0.991 * [backup-simplify]: Simplify (- 0) into 0 0.991 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 0.991 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 0.991 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x 0.991 * [taylor]: Taking taylor expansion of (exp x) in x 0.991 * [taylor]: Taking taylor expansion of x in x 0.991 * [backup-simplify]: Simplify 0 into 0 0.991 * [backup-simplify]: Simplify 1 into 1 0.991 * [backup-simplify]: Simplify (exp 0) into 1 0.991 * [taylor]: Taking taylor expansion of (cos y) in x 0.991 * [taylor]: Taking taylor expansion of y in x 0.991 * [backup-simplify]: Simplify y into y 0.991 * [backup-simplify]: Simplify (cos y) into (cos y) 0.991 * [backup-simplify]: Simplify (sin y) into (sin y) 0.991 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 0.991 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.991 * [taylor]: Taking taylor expansion of (cos y) in y 0.991 * [taylor]: Taking taylor expansion of y in y 0.991 * [backup-simplify]: Simplify 0 into 0 0.991 * [backup-simplify]: Simplify 1 into 1 0.991 * [taylor]: Taking taylor expansion of (exp x) in y 0.991 * [taylor]: Taking taylor expansion of x in y 0.991 * [backup-simplify]: Simplify x into x 0.991 * [backup-simplify]: Simplify (exp x) into (exp x) 0.992 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.992 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.992 * [taylor]: Taking taylor expansion of (exp x) in y 0.992 * [taylor]: Taking taylor expansion of x in y 0.992 * [backup-simplify]: Simplify x into x 0.992 * [backup-simplify]: Simplify (exp x) into (exp x) 0.992 * [taylor]: Taking taylor expansion of (cos y) in y 0.992 * [taylor]: Taking taylor expansion of y in y 0.992 * [backup-simplify]: Simplify 0 into 0 0.992 * [backup-simplify]: Simplify 1 into 1 0.992 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 0.992 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.992 * [taylor]: Taking taylor expansion of (cos y) in y 0.992 * [taylor]: Taking taylor expansion of y in y 0.992 * [backup-simplify]: Simplify 0 into 0 0.992 * [backup-simplify]: Simplify 1 into 1 0.992 * [taylor]: Taking taylor expansion of (exp x) in y 0.992 * [taylor]: Taking taylor expansion of x in y 0.992 * [backup-simplify]: Simplify x into x 0.992 * [backup-simplify]: Simplify (exp x) into (exp x) 0.992 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.992 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.992 * [taylor]: Taking taylor expansion of (exp x) in y 0.992 * [taylor]: Taking taylor expansion of x in y 0.992 * [backup-simplify]: Simplify x into x 0.993 * [backup-simplify]: Simplify (exp x) into (exp x) 0.993 * [taylor]: Taking taylor expansion of (cos y) in y 0.993 * [taylor]: Taking taylor expansion of y in y 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 1 into 1 0.993 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x) 0.993 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x))) 0.993 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 0.993 * [taylor]: Taking taylor expansion of (exp x) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 1 into 1 0.993 * [backup-simplify]: Simplify (exp 0) into 1 0.993 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.993 * [taylor]: Taking taylor expansion of (exp x) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 1 into 1 0.993 * [backup-simplify]: Simplify (exp 0) into 1 0.994 * [backup-simplify]: Simplify (/ 1 1) into 1 0.994 * [backup-simplify]: Simplify (+ 1 1) into 2 0.994 * [backup-simplify]: Simplify 2 into 2 0.995 * [backup-simplify]: Simplify (+ 0) into 0 0.996 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.996 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 0.996 * [backup-simplify]: Simplify (+ 0) into 0 0.997 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.997 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 0.998 * [backup-simplify]: Simplify (+ 0 0) into 0 0.998 * [taylor]: Taking taylor expansion of 0 in x 0.998 * [backup-simplify]: Simplify 0 into 0 0.998 * [backup-simplify]: Simplify 0 into 0 0.999 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.000 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1.001 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.001 * [backup-simplify]: Simplify 0 into 0 1.002 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1.003 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.004 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 1.011 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 1.013 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.014 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 1.014 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) 1.014 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x 1.014 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x 1.014 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 1.014 * [taylor]: Taking taylor expansion of 1/2 in x 1.014 * [backup-simplify]: Simplify 1/2 into 1/2 1.014 * [taylor]: Taking taylor expansion of (exp x) in x 1.014 * [taylor]: Taking taylor expansion of x in x 1.014 * [backup-simplify]: Simplify 0 into 0 1.014 * [backup-simplify]: Simplify 1 into 1 1.015 * [backup-simplify]: Simplify (exp 0) into 1 1.015 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 1.015 * [taylor]: Taking taylor expansion of 1/2 in x 1.015 * [backup-simplify]: Simplify 1/2 into 1/2 1.015 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 1.015 * [taylor]: Taking taylor expansion of (exp x) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.015 * [backup-simplify]: Simplify 0 into 0 1.015 * [backup-simplify]: Simplify 1 into 1 1.015 * [backup-simplify]: Simplify (exp 0) into 1 1.015 * [backup-simplify]: Simplify (/ 1 1) into 1 1.016 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.016 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.016 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 1.017 * [backup-simplify]: Simplify (- 1) into -1 1.017 * [backup-simplify]: Simplify -1 into -1 1.017 * [backup-simplify]: Simplify 0 into 0 1.019 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.020 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 1.022 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 1.022 * [backup-simplify]: Simplify 1 into 1 1.022 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2)) 1.022 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 y)) (exp (/ 1 x))) (* (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1.023 * [approximate]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0 1.023 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 1.023 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1.023 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.023 * [taylor]: Taking taylor expansion of x in x 1.023 * [backup-simplify]: Simplify 0 into 0 1.023 * [backup-simplify]: Simplify 1 into 1 1.023 * [backup-simplify]: Simplify (/ 1 1) into 1 1.023 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.023 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.023 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.023 * [taylor]: Taking taylor expansion of y in x 1.023 * [backup-simplify]: Simplify y into y 1.023 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.023 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.023 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.024 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1.024 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.024 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.024 * [taylor]: Taking taylor expansion of y in x 1.024 * [backup-simplify]: Simplify y into y 1.024 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.024 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.024 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.024 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.024 * [taylor]: Taking taylor expansion of x in x 1.024 * [backup-simplify]: Simplify 0 into 0 1.024 * [backup-simplify]: Simplify 1 into 1 1.024 * [backup-simplify]: Simplify (/ 1 1) into 1 1.024 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.025 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1.025 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 1.025 * [backup-simplify]: Simplify (- 0) into 0 1.025 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1.025 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1.025 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 1.025 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1.025 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.025 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.025 * [taylor]: Taking taylor expansion of x in y 1.025 * [backup-simplify]: Simplify x into x 1.025 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.026 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.026 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.026 * [taylor]: Taking taylor expansion of y in y 1.026 * [backup-simplify]: Simplify 0 into 0 1.026 * [backup-simplify]: Simplify 1 into 1 1.026 * [backup-simplify]: Simplify (/ 1 1) into 1 1.026 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.026 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1.026 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.026 * [taylor]: Taking taylor expansion of y in y 1.026 * [backup-simplify]: Simplify 0 into 0 1.026 * [backup-simplify]: Simplify 1 into 1 1.027 * [backup-simplify]: Simplify (/ 1 1) into 1 1.027 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.027 * [taylor]: Taking taylor expansion of x in y 1.027 * [backup-simplify]: Simplify x into x 1.027 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.027 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.027 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1.027 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 1.027 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 1.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.027 * [taylor]: Taking taylor expansion of x in y 1.027 * [backup-simplify]: Simplify x into x 1.027 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.027 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.027 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.027 * [taylor]: Taking taylor expansion of y in y 1.027 * [backup-simplify]: Simplify 0 into 0 1.027 * [backup-simplify]: Simplify 1 into 1 1.028 * [backup-simplify]: Simplify (/ 1 1) into 1 1.028 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.028 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 1.028 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.028 * [taylor]: Taking taylor expansion of y in y 1.028 * [backup-simplify]: Simplify 0 into 0 1.028 * [backup-simplify]: Simplify 1 into 1 1.028 * [backup-simplify]: Simplify (/ 1 1) into 1 1.029 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.029 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.029 * [taylor]: Taking taylor expansion of x in y 1.029 * [backup-simplify]: Simplify x into x 1.029 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.029 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.029 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1.029 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1.029 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1.029 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 1.029 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 1.029 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.029 * [backup-simplify]: Simplify 0 into 0 1.029 * [backup-simplify]: Simplify 1 into 1 1.029 * [backup-simplify]: Simplify (/ 1 1) into 1 1.029 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.030 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.030 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.030 * [taylor]: Taking taylor expansion of y in x 1.030 * [backup-simplify]: Simplify y into y 1.030 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.030 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.030 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.030 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 1.030 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.030 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.030 * [taylor]: Taking taylor expansion of y in x 1.030 * [backup-simplify]: Simplify y into y 1.030 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.030 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1.030 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1.030 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.030 * [taylor]: Taking taylor expansion of x in x 1.030 * [backup-simplify]: Simplify 0 into 0 1.030 * [backup-simplify]: Simplify 1 into 1 1.030 * [backup-simplify]: Simplify (/ 1 1) into 1 1.030 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.030 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1.030 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 1.031 * [backup-simplify]: Simplify (- 0) into 0 1.031 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1.031 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 1.031 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 1.031 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 1.031 * [backup-simplify]: Simplify (- 0) into 0 1.031 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 1.031 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 1.031 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1.032 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) 1.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.032 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1.032 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.033 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1.033 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1.033 * [backup-simplify]: Simplify (+ 0 0) into 0 1.033 * [taylor]: Taking taylor expansion of 0 in x 1.033 * [backup-simplify]: Simplify 0 into 0 1.033 * [backup-simplify]: Simplify 0 into 0 1.034 * [backup-simplify]: Simplify (+ 0) into 0 1.034 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.034 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.035 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1.035 * [backup-simplify]: Simplify (- 0) into 0 1.035 * [backup-simplify]: Simplify (+ 0 0) into 0 1.035 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 1.036 * [backup-simplify]: Simplify (+ 0) into 0 1.036 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 1.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.036 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.037 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 1.037 * [backup-simplify]: Simplify (- 0) into 0 1.037 * [backup-simplify]: Simplify (+ 0 0) into 0 1.037 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 1.038 * [backup-simplify]: Simplify (+ 0 0) into 0 1.038 * [backup-simplify]: Simplify 0 into 0 1.038 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.039 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.039 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1.039 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.040 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.041 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1.041 * [backup-simplify]: Simplify (+ 0 0) into 0 1.041 * [taylor]: Taking taylor expansion of 0 in x 1.041 * [backup-simplify]: Simplify 0 into 0 1.041 * [backup-simplify]: Simplify 0 into 0 1.041 * [backup-simplify]: Simplify 0 into 0 1.042 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.042 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.043 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.043 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1.044 * [backup-simplify]: Simplify (- 0) into 0 1.044 * [backup-simplify]: Simplify (+ 0 0) into 0 1.045 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 1.045 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.046 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.047 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.047 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1.047 * [backup-simplify]: Simplify (- 0) into 0 1.048 * [backup-simplify]: Simplify (+ 0 0) into 0 1.048 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1.048 * [backup-simplify]: Simplify (+ 0 0) into 0 1.048 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.050 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.050 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 1.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.052 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.052 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0 1.052 * [backup-simplify]: Simplify (+ 0 0) into 0 1.052 * [taylor]: Taking taylor expansion of 0 in x 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify 0 into 0 1.053 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1.053 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) (* (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1.053 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0 1.053 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 1.053 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1.053 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.053 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.053 * [taylor]: Taking taylor expansion of -1 in x 1.053 * [backup-simplify]: Simplify -1 into -1 1.053 * [taylor]: Taking taylor expansion of y in x 1.053 * [backup-simplify]: Simplify y into y 1.053 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.053 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.053 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.053 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.053 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.053 * [taylor]: Taking taylor expansion of -1 in x 1.053 * [backup-simplify]: Simplify -1 into -1 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [backup-simplify]: Simplify 0 into 0 1.053 * [backup-simplify]: Simplify 1 into 1 1.054 * [backup-simplify]: Simplify (/ -1 1) into -1 1.054 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.054 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1.054 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 1.054 * [backup-simplify]: Simplify (- 0) into 0 1.054 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1.054 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1.054 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1.054 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.054 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.055 * [taylor]: Taking taylor expansion of -1 in x 1.055 * [backup-simplify]: Simplify -1 into -1 1.055 * [taylor]: Taking taylor expansion of x in x 1.055 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify 1 into 1 1.055 * [backup-simplify]: Simplify (/ -1 1) into -1 1.055 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.055 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.055 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.055 * [taylor]: Taking taylor expansion of -1 in x 1.055 * [backup-simplify]: Simplify -1 into -1 1.055 * [taylor]: Taking taylor expansion of y in x 1.055 * [backup-simplify]: Simplify y into y 1.055 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.055 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.055 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.055 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 1.055 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1.055 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.055 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.055 * [taylor]: Taking taylor expansion of -1 in y 1.055 * [backup-simplify]: Simplify -1 into -1 1.055 * [taylor]: Taking taylor expansion of y in y 1.055 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify 1 into 1 1.056 * [backup-simplify]: Simplify (/ -1 1) into -1 1.056 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.056 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.056 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.056 * [taylor]: Taking taylor expansion of -1 in y 1.056 * [backup-simplify]: Simplify -1 into -1 1.056 * [taylor]: Taking taylor expansion of x in y 1.056 * [backup-simplify]: Simplify x into x 1.056 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.056 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.056 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1.056 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1.056 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.056 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.056 * [taylor]: Taking taylor expansion of -1 in y 1.056 * [backup-simplify]: Simplify -1 into -1 1.056 * [taylor]: Taking taylor expansion of x in y 1.056 * [backup-simplify]: Simplify x into x 1.056 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.056 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.056 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.056 * [taylor]: Taking taylor expansion of -1 in y 1.056 * [backup-simplify]: Simplify -1 into -1 1.056 * [taylor]: Taking taylor expansion of y in y 1.056 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.057 * [backup-simplify]: Simplify (/ -1 1) into -1 1.057 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.057 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 1.057 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 1.057 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.057 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.057 * [taylor]: Taking taylor expansion of -1 in y 1.057 * [backup-simplify]: Simplify -1 into -1 1.057 * [taylor]: Taking taylor expansion of y in y 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.057 * [backup-simplify]: Simplify (/ -1 1) into -1 1.058 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.058 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.058 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.058 * [taylor]: Taking taylor expansion of -1 in y 1.058 * [backup-simplify]: Simplify -1 into -1 1.058 * [taylor]: Taking taylor expansion of x in y 1.058 * [backup-simplify]: Simplify x into x 1.058 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.058 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.058 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1.058 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 1.058 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.058 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.058 * [taylor]: Taking taylor expansion of -1 in y 1.058 * [backup-simplify]: Simplify -1 into -1 1.058 * [taylor]: Taking taylor expansion of x in y 1.058 * [backup-simplify]: Simplify x into x 1.058 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.058 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.058 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.058 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.058 * [taylor]: Taking taylor expansion of -1 in y 1.058 * [backup-simplify]: Simplify -1 into -1 1.058 * [taylor]: Taking taylor expansion of y in y 1.058 * [backup-simplify]: Simplify 0 into 0 1.058 * [backup-simplify]: Simplify 1 into 1 1.058 * [backup-simplify]: Simplify (/ -1 1) into -1 1.058 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.059 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1.059 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1.059 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 1.059 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 1.059 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.059 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.059 * [taylor]: Taking taylor expansion of -1 in x 1.059 * [backup-simplify]: Simplify -1 into -1 1.059 * [taylor]: Taking taylor expansion of y in x 1.059 * [backup-simplify]: Simplify y into y 1.059 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.059 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.059 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.059 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.059 * [taylor]: Taking taylor expansion of -1 in x 1.059 * [backup-simplify]: Simplify -1 into -1 1.059 * [taylor]: Taking taylor expansion of x in x 1.059 * [backup-simplify]: Simplify 0 into 0 1.059 * [backup-simplify]: Simplify 1 into 1 1.059 * [backup-simplify]: Simplify (/ -1 1) into -1 1.060 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.060 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1.060 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 1.061 * [backup-simplify]: Simplify (- 0) into 0 1.061 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1.061 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 1.061 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 1.061 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.061 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.061 * [taylor]: Taking taylor expansion of -1 in x 1.061 * [backup-simplify]: Simplify -1 into -1 1.061 * [taylor]: Taking taylor expansion of x in x 1.061 * [backup-simplify]: Simplify 0 into 0 1.061 * [backup-simplify]: Simplify 1 into 1 1.062 * [backup-simplify]: Simplify (/ -1 1) into -1 1.062 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.062 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.062 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.062 * [taylor]: Taking taylor expansion of -1 in x 1.062 * [backup-simplify]: Simplify -1 into -1 1.062 * [taylor]: Taking taylor expansion of y in x 1.062 * [backup-simplify]: Simplify y into y 1.062 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.062 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1.062 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1.062 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 1.062 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 1.062 * [backup-simplify]: Simplify (- 0) into 0 1.063 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 1.063 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 1.063 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1.063 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) 1.063 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1.064 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1.064 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1.064 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1.064 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1.065 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1.065 * [backup-simplify]: Simplify (+ 0 0) into 0 1.065 * [taylor]: Taking taylor expansion of 0 in x 1.065 * [backup-simplify]: Simplify 0 into 0 1.065 * [backup-simplify]: Simplify 0 into 0 1.066 * [backup-simplify]: Simplify (+ 0) into 0 1.066 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1.066 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1.067 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.067 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1.068 * [backup-simplify]: Simplify (- 0) into 0 1.068 * [backup-simplify]: Simplify (+ 0 0) into 0 1.068 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 1.069 * [backup-simplify]: Simplify (+ 0) into 0 1.069 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 1.069 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1.070 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.071 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 1.071 * [backup-simplify]: Simplify (- 0) into 0 1.071 * [backup-simplify]: Simplify (+ 0 0) into 0 1.072 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 1.072 * [backup-simplify]: Simplify (+ 0 0) into 0 1.072 * [backup-simplify]: Simplify 0 into 0 1.072 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.074 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.074 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1.074 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.075 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.076 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1.076 * [backup-simplify]: Simplify (+ 0 0) into 0 1.076 * [taylor]: Taking taylor expansion of 0 in x 1.076 * [backup-simplify]: Simplify 0 into 0 1.077 * [backup-simplify]: Simplify 0 into 0 1.077 * [backup-simplify]: Simplify 0 into 0 1.078 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.078 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1.079 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.079 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.080 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1.080 * [backup-simplify]: Simplify (- 0) into 0 1.081 * [backup-simplify]: Simplify (+ 0 0) into 0 1.081 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1.082 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.083 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1.083 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.083 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.084 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1.084 * [backup-simplify]: Simplify (- 0) into 0 1.085 * [backup-simplify]: Simplify (+ 0 0) into 0 1.085 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 1.086 * [backup-simplify]: Simplify (+ 0 0) into 0 1.086 * [backup-simplify]: Simplify 0 into 0 1.086 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.088 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.088 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0 1.088 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.090 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.091 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 1.091 * [backup-simplify]: Simplify (+ 0 0) into 0 1.091 * [taylor]: Taking taylor expansion of 0 in x 1.091 * [backup-simplify]: Simplify 0 into 0 1.091 * [backup-simplify]: Simplify 0 into 0 1.092 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y)))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1.092 * * * [progress]: simplifying candidates 1.092 * * * * [progress]: [ 1 / 69 ] simplifiying candidate # 1.092 * * * * [progress]: [ 2 / 69 ] simplifiying candidate # 1.092 * [simplify]: Simplifying (- (log (cos y)) x) 1.092 * * [simplify]: iters left: 4 (5 enodes) 1.094 * * [simplify]: iters left: 3 (17 enodes) 1.099 * * [simplify]: iters left: 2 (20 enodes) 1.105 * * [simplify]: Extracting #0: cost 1 inf + 0 1.105 * * [simplify]: Extracting #1: cost 5 inf + 0 1.105 * * [simplify]: Extracting #2: cost 6 inf + 42 1.105 * * [simplify]: Extracting #3: cost 7 inf + 83 1.105 * * [simplify]: Extracting #4: cost 6 inf + 84 1.105 * * [simplify]: Extracting #5: cost 0 inf + 812 1.106 * [simplify]: Simplified to (- (log (cos y)) x) 1.106 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2)) 1.106 * * * * [progress]: [ 3 / 69 ] simplifiying candidate # 1.106 * [simplify]: Simplifying (log (/ (cos y) (exp x))) 1.106 * * [simplify]: iters left: 4 (6 enodes) 1.109 * * [simplify]: iters left: 3 (21 enodes) 1.115 * * [simplify]: iters left: 2 (25 enodes) 1.121 * * [simplify]: iters left: 1 (28 enodes) 1.128 * * [simplify]: Extracting #0: cost 1 inf + 0 1.128 * * [simplify]: Extracting #1: cost 6 inf + 0 1.128 * * [simplify]: Extracting #2: cost 9 inf + 42 1.128 * * [simplify]: Extracting #3: cost 10 inf + 154 1.128 * * [simplify]: Extracting #4: cost 8 inf + 226 1.129 * * [simplify]: Extracting #5: cost 6 inf + 348 1.129 * * [simplify]: Extracting #6: cost 1 inf + 1126 1.129 * * [simplify]: Extracting #7: cost 0 inf + 1298 1.129 * [simplify]: Simplified to (- (log (cos y)) x) 1.130 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2)) 1.130 * * * * [progress]: [ 4 / 69 ] simplifiying candidate # 1.130 * [simplify]: Simplifying (exp (/ (cos y) (exp x))) 1.130 * * [simplify]: iters left: 4 (6 enodes) 1.133 * * [simplify]: iters left: 3 (18 enodes) 1.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1.137 * * [simplify]: Extracting #1: cost 3 inf + 0 1.137 * * [simplify]: Extracting #2: cost 6 inf + 0 1.137 * * [simplify]: Extracting #3: cost 10 inf + 0 1.138 * * [simplify]: Extracting #4: cost 6 inf + 144 1.138 * * [simplify]: Extracting #5: cost 0 inf + 1094 1.138 * [simplify]: Simplified to (exp (/ (cos y) (exp x))) 1.138 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (log (exp (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2)) 1.138 * * * * [progress]: [ 5 / 69 ] simplifiying candidate # 1.138 * [simplify]: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1.139 * * [simplify]: iters left: 6 (9 enodes) 1.143 * * [simplify]: iters left: 5 (38 enodes) 1.156 * * [simplify]: iters left: 4 (84 enodes) 1.189 * * [simplify]: iters left: 3 (162 enodes) 1.254 * * [simplify]: iters left: 2 (263 enodes) 1.331 * * [simplify]: iters left: 1 (441 enodes) 1.542 * * [simplify]: Extracting #0: cost 1 inf + 0 1.542 * * [simplify]: Extracting #1: cost 85 inf + 0 1.543 * * [simplify]: Extracting #2: cost 209 inf + 1 1.544 * * [simplify]: Extracting #3: cost 180 inf + 7076 1.551 * * [simplify]: Extracting #4: cost 70 inf + 54816 1.560 * * [simplify]: Extracting #5: cost 3 inf + 93371 1.570 * * [simplify]: Extracting #6: cost 0 inf + 94729 1.586 * [simplify]: Simplified to (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) 1.586 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (cbrt (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2)) 1.586 * * * * [progress]: [ 6 / 69 ] simplifiying candidate # 1.587 * [simplify]: Simplifying (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) 1.587 * * [simplify]: iters left: 6 (7 enodes) 1.590 * * [simplify]: iters left: 5 (21 enodes) 1.596 * * [simplify]: Extracting #0: cost 1 inf + 0 1.596 * * [simplify]: Extracting #1: cost 3 inf + 0 1.596 * * [simplify]: Extracting #2: cost 5 inf + 0 1.596 * * [simplify]: Extracting #3: cost 8 inf + 0 1.596 * * [simplify]: Extracting #4: cost 12 inf + 0 1.596 * * [simplify]: Extracting #5: cost 10 inf + 2 1.597 * * [simplify]: Extracting #6: cost 1 inf + 1406 1.597 * * [simplify]: Extracting #7: cost 0 inf + 1698 1.597 * [simplify]: Simplified to (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) 1.598 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) (cbrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2)) 1.598 * [simplify]: Simplifying (cbrt (/ (cos y) (exp x))) 1.598 * * [simplify]: iters left: 4 (6 enodes) 1.600 * * [simplify]: iters left: 3 (18 enodes) 1.605 * * [simplify]: Extracting #0: cost 1 inf + 0 1.605 * * [simplify]: Extracting #1: cost 3 inf + 0 1.605 * * [simplify]: Extracting #2: cost 6 inf + 0 1.605 * * [simplify]: Extracting #3: cost 10 inf + 0 1.605 * * [simplify]: Extracting #4: cost 6 inf + 144 1.606 * * [simplify]: Extracting #5: cost 0 inf + 1114 1.606 * [simplify]: Simplified to (cbrt (/ (cos y) (exp x))) 1.606 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) (cbrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2)) 1.606 * * * * [progress]: [ 7 / 69 ] simplifiying candidate # 1.606 * [simplify]: Simplifying (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) 1.607 * * [simplify]: iters left: 6 (7 enodes) 1.610 * * [simplify]: iters left: 5 (28 enodes) 1.619 * * [simplify]: iters left: 4 (54 enodes) 1.636 * * [simplify]: iters left: 3 (96 enodes) 1.673 * * [simplify]: iters left: 2 (171 enodes) 1.736 * * [simplify]: iters left: 1 (266 enodes) 1.823 * * [simplify]: Extracting #0: cost 1 inf + 0 1.823 * * [simplify]: Extracting #1: cost 56 inf + 0 1.823 * * [simplify]: Extracting #2: cost 116 inf + 1 1.824 * * [simplify]: Extracting #3: cost 97 inf + 4121 1.827 * * [simplify]: Extracting #4: cost 25 inf + 28566 1.833 * * [simplify]: Extracting #5: cost 0 inf + 39351 1.842 * [simplify]: Simplified to (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x)))) 1.842 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (cbrt (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x))))) (* (cos y) (exp x))) 2)) 1.843 * * * * [progress]: [ 8 / 69 ] simplifiying candidate # 1.843 * [simplify]: Simplifying (sqrt (/ (cos y) (exp x))) 1.843 * * [simplify]: iters left: 4 (6 enodes) 1.846 * * [simplify]: iters left: 3 (18 enodes) 1.849 * * [simplify]: Extracting #0: cost 1 inf + 0 1.849 * * [simplify]: Extracting #1: cost 3 inf + 0 1.850 * * [simplify]: Extracting #2: cost 6 inf + 0 1.850 * * [simplify]: Extracting #3: cost 10 inf + 0 1.850 * * [simplify]: Extracting #4: cost 6 inf + 144 1.850 * * [simplify]: Extracting #5: cost 0 inf + 1034 1.850 * [simplify]: Simplified to (sqrt (/ (cos y) (exp x))) 1.850 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (sqrt (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2)) 1.850 * [simplify]: Simplifying (sqrt (/ (cos y) (exp x))) 1.850 * * [simplify]: iters left: 4 (6 enodes) 1.852 * * [simplify]: iters left: 3 (18 enodes) 1.854 * * [simplify]: Extracting #0: cost 1 inf + 0 1.854 * * [simplify]: Extracting #1: cost 3 inf + 0 1.854 * * [simplify]: Extracting #2: cost 6 inf + 0 1.854 * * [simplify]: Extracting #3: cost 10 inf + 0 1.854 * * [simplify]: Extracting #4: cost 6 inf + 144 1.854 * * [simplify]: Extracting #5: cost 0 inf + 1034 1.854 * [simplify]: Simplified to (sqrt (/ (cos y) (exp x))) 1.854 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (sqrt (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2)) 1.854 * * * * [progress]: [ 9 / 69 ] simplifiying candidate # 1.854 * [simplify]: Simplifying (- (cos y)) 1.854 * * [simplify]: iters left: 3 (3 enodes) 1.855 * * [simplify]: iters left: 2 (9 enodes) 1.856 * * [simplify]: Extracting #0: cost 1 inf + 0 1.856 * * [simplify]: Extracting #1: cost 3 inf + 0 1.856 * * [simplify]: Extracting #2: cost 5 inf + 0 1.856 * * [simplify]: Extracting #3: cost 4 inf + 1 1.856 * * [simplify]: Extracting #4: cost 0 inf + 325 1.856 * [simplify]: Simplified to (- (cos y)) 1.857 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (- (cos y)) (- (exp x))) (* (cos y) (exp x))) 2)) 1.857 * [simplify]: Simplifying (- (exp x)) 1.857 * * [simplify]: iters left: 3 (3 enodes) 1.857 * * [simplify]: iters left: 2 (9 enodes) 1.858 * * [simplify]: Extracting #0: cost 1 inf + 0 1.859 * * [simplify]: Extracting #1: cost 3 inf + 0 1.859 * * [simplify]: Extracting #2: cost 5 inf + 0 1.859 * * [simplify]: Extracting #3: cost 4 inf + 1 1.859 * * [simplify]: Extracting #4: cost 0 inf + 365 1.859 * [simplify]: Simplified to (- (exp x)) 1.859 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (- (cos y)) (- (exp x))) (* (cos y) (exp x))) 2)) 1.859 * * * * [progress]: [ 10 / 69 ] simplifiying candidate # 1.859 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 1.859 * * [simplify]: iters left: 6 (9 enodes) 1.861 * * [simplify]: iters left: 5 (33 enodes) 1.867 * * [simplify]: iters left: 4 (48 enodes) 1.874 * * [simplify]: iters left: 3 (55 enodes) 1.886 * * [simplify]: iters left: 2 (58 enodes) 1.901 * * [simplify]: Extracting #0: cost 1 inf + 0 1.901 * * [simplify]: Extracting #1: cost 11 inf + 0 1.901 * * [simplify]: Extracting #2: cost 22 inf + 0 1.902 * * [simplify]: Extracting #3: cost 26 inf + 0 1.902 * * [simplify]: Extracting #4: cost 22 inf + 134 1.903 * * [simplify]: Extracting #5: cost 7 inf + 3826 1.904 * * [simplify]: Extracting #6: cost 0 inf + 5898 1.905 * [simplify]: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) 1.905 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1.906 * [simplify]: Simplifying (/ (cbrt (cos y)) (cbrt (exp x))) 1.906 * * [simplify]: iters left: 4 (7 enodes) 1.909 * * [simplify]: iters left: 3 (21 enodes) 1.914 * * [simplify]: Extracting #0: cost 1 inf + 0 1.914 * * [simplify]: Extracting #1: cost 4 inf + 0 1.914 * * [simplify]: Extracting #2: cost 8 inf + 0 1.914 * * [simplify]: Extracting #3: cost 12 inf + 0 1.915 * * [simplify]: Extracting #4: cost 10 inf + 2 1.915 * * [simplify]: Extracting #5: cost 4 inf + 568 1.915 * * [simplify]: Extracting #6: cost 1 inf + 1182 1.915 * * [simplify]: Extracting #7: cost 0 inf + 1514 1.916 * [simplify]: Simplified to (/ (cbrt (cos y)) (cbrt (exp x))) 1.916 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1.916 * * * * [progress]: [ 11 / 69 ] simplifiying candidate # 1.916 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1.916 * * [simplify]: iters left: 6 (8 enodes) 1.920 * * [simplify]: iters left: 5 (26 enodes) 1.924 * * [simplify]: iters left: 4 (30 enodes) 1.928 * * [simplify]: iters left: 3 (33 enodes) 1.932 * * [simplify]: Extracting #0: cost 1 inf + 0 1.932 * * [simplify]: Extracting #1: cost 7 inf + 0 1.932 * * [simplify]: Extracting #2: cost 14 inf + 0 1.932 * * [simplify]: Extracting #3: cost 18 inf + 0 1.932 * * [simplify]: Extracting #4: cost 15 inf + 73 1.932 * * [simplify]: Extracting #5: cost 11 inf + 427 1.932 * * [simplify]: Extracting #6: cost 2 inf + 2451 1.933 * * [simplify]: Extracting #7: cost 0 inf + 2964 1.933 * [simplify]: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1.933 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1.933 * [simplify]: Simplifying (/ (cbrt (cos y)) (sqrt (exp x))) 1.933 * * [simplify]: iters left: 4 (7 enodes) 1.935 * * [simplify]: iters left: 3 (21 enodes) 1.938 * * [simplify]: Extracting #0: cost 1 inf + 0 1.938 * * [simplify]: Extracting #1: cost 4 inf + 0 1.938 * * [simplify]: Extracting #2: cost 8 inf + 0 1.938 * * [simplify]: Extracting #3: cost 12 inf + 0 1.938 * * [simplify]: Extracting #4: cost 10 inf + 2 1.938 * * [simplify]: Extracting #5: cost 4 inf + 488 1.938 * * [simplify]: Extracting #6: cost 1 inf + 1062 1.938 * * [simplify]: Extracting #7: cost 0 inf + 1354 1.938 * [simplify]: Simplified to (/ (cbrt (cos y)) (sqrt (exp x))) 1.938 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1.938 * * * * [progress]: [ 12 / 69 ] simplifiying candidate # 1.939 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1.939 * * [simplify]: iters left: 6 (6 enodes) 1.940 * * [simplify]: iters left: 5 (20 enodes) 1.944 * * [simplify]: iters left: 4 (30 enodes) 1.948 * * [simplify]: iters left: 3 (31 enodes) 1.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1.953 * * [simplify]: Extracting #1: cost 5 inf + 0 1.953 * * [simplify]: Extracting #2: cost 7 inf + 1 1.953 * * [simplify]: Extracting #3: cost 9 inf + 1 1.953 * * [simplify]: Extracting #4: cost 8 inf + 2 1.953 * * [simplify]: Extracting #5: cost 0 inf + 1132 1.953 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1.953 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1.954 * [simplify]: Simplifying (/ (cbrt (cos y)) (exp x)) 1.954 * * [simplify]: iters left: 4 (6 enodes) 1.955 * * [simplify]: iters left: 3 (18 enodes) 1.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1.957 * * [simplify]: Extracting #1: cost 4 inf + 0 1.957 * * [simplify]: Extracting #2: cost 8 inf + 0 1.957 * * [simplify]: Extracting #3: cost 7 inf + 143 1.957 * * [simplify]: Extracting #4: cost 6 inf + 144 1.957 * * [simplify]: Extracting #5: cost 0 inf + 1052 1.958 * [simplify]: Simplified to (/ (cbrt (cos y)) (exp x)) 1.958 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (cbrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1.958 * * * * [progress]: [ 13 / 69 ] simplifiying candidate # 1.958 * [simplify]: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) 1.958 * * [simplify]: iters left: 6 (8 enodes) 1.960 * * [simplify]: iters left: 5 (26 enodes) 1.964 * * [simplify]: iters left: 4 (28 enodes) 1.968 * * [simplify]: Extracting #0: cost 1 inf + 0 1.968 * * [simplify]: Extracting #1: cost 6 inf + 0 1.968 * * [simplify]: Extracting #2: cost 12 inf + 0 1.968 * * [simplify]: Extracting #3: cost 16 inf + 0 1.968 * * [simplify]: Extracting #4: cost 14 inf + 2 1.968 * * [simplify]: Extracting #5: cost 10 inf + 356 1.968 * * [simplify]: Extracting #6: cost 1 inf + 2068 1.969 * * [simplify]: Extracting #7: cost 0 inf + 2400 1.969 * [simplify]: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) 1.969 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1.969 * [simplify]: Simplifying (/ (sqrt (cos y)) (cbrt (exp x))) 1.969 * * [simplify]: iters left: 4 (7 enodes) 1.971 * * [simplify]: iters left: 3 (21 enodes) 1.973 * * [simplify]: Extracting #0: cost 1 inf + 0 1.973 * * [simplify]: Extracting #1: cost 4 inf + 0 1.973 * * [simplify]: Extracting #2: cost 8 inf + 0 1.973 * * [simplify]: Extracting #3: cost 12 inf + 0 1.973 * * [simplify]: Extracting #4: cost 10 inf + 2 1.974 * * [simplify]: Extracting #5: cost 4 inf + 568 1.974 * * [simplify]: Extracting #6: cost 1 inf + 1062 1.974 * * [simplify]: Extracting #7: cost 0 inf + 1354 1.974 * [simplify]: Simplified to (/ (sqrt (cos y)) (cbrt (exp x))) 1.974 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 1.974 * * * * [progress]: [ 14 / 69 ] simplifiying candidate # 1.974 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1.974 * * [simplify]: iters left: 4 (7 enodes) 1.976 * * [simplify]: iters left: 3 (21 enodes) 1.978 * * [simplify]: Extracting #0: cost 1 inf + 0 1.978 * * [simplify]: Extracting #1: cost 4 inf + 0 1.978 * * [simplify]: Extracting #2: cost 8 inf + 0 1.978 * * [simplify]: Extracting #3: cost 12 inf + 0 1.979 * * [simplify]: Extracting #4: cost 10 inf + 2 1.979 * * [simplify]: Extracting #5: cost 4 inf + 488 1.979 * * [simplify]: Extracting #6: cost 1 inf + 942 1.979 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.979 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1.979 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1.979 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1.979 * * [simplify]: iters left: 4 (7 enodes) 1.981 * * [simplify]: iters left: 3 (21 enodes) 1.983 * * [simplify]: Extracting #0: cost 1 inf + 0 1.983 * * [simplify]: Extracting #1: cost 4 inf + 0 1.983 * * [simplify]: Extracting #2: cost 8 inf + 0 1.983 * * [simplify]: Extracting #3: cost 12 inf + 0 1.984 * * [simplify]: Extracting #4: cost 10 inf + 2 1.984 * * [simplify]: Extracting #5: cost 4 inf + 488 1.984 * * [simplify]: Extracting #6: cost 1 inf + 942 1.984 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.984 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1.984 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1.984 * * * * [progress]: [ 15 / 69 ] simplifiying candidate # 1.984 * [simplify]: Simplifying (/ (sqrt (cos y)) 1) 1.984 * * [simplify]: iters left: 4 (5 enodes) 1.986 * * [simplify]: iters left: 3 (15 enodes) 1.988 * * [simplify]: iters left: 2 (17 enodes) 1.991 * * [simplify]: iters left: 1 (19 enodes) 1.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1.994 * * [simplify]: Extracting #1: cost 4 inf + 0 1.994 * * [simplify]: Extracting #2: cost 5 inf + 1 1.994 * * [simplify]: Extracting #3: cost 4 inf + 2 1.994 * * [simplify]: Extracting #4: cost 1 inf + 225 1.994 * * [simplify]: Extracting #5: cost 0 inf + 326 1.995 * [simplify]: Simplified to (sqrt (cos y)) 1.995 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1.995 * [simplify]: Simplifying (/ (sqrt (cos y)) (exp x)) 1.995 * * [simplify]: iters left: 4 (6 enodes) 1.996 * * [simplify]: iters left: 3 (18 enodes) 1.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1.998 * * [simplify]: Extracting #1: cost 4 inf + 0 1.998 * * [simplify]: Extracting #2: cost 8 inf + 0 1.998 * * [simplify]: Extracting #3: cost 7 inf + 143 1.998 * * [simplify]: Extracting #4: cost 6 inf + 144 1.999 * * [simplify]: Extracting #5: cost 0 inf + 892 1.999 * [simplify]: Simplified to (/ (sqrt (cos y)) (exp x)) 1.999 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1.999 * * * * [progress]: [ 16 / 69 ] simplifiying candidate # 1.999 * [simplify]: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1.999 * * [simplify]: iters left: 6 (6 enodes) 2.001 * * [simplify]: iters left: 5 (22 enodes) 2.008 * * [simplify]: iters left: 4 (26 enodes) 2.016 * * [simplify]: Extracting #0: cost 1 inf + 0 2.016 * * [simplify]: Extracting #1: cost 6 inf + 0 2.016 * * [simplify]: Extracting #2: cost 9 inf + 1 2.016 * * [simplify]: Extracting #3: cost 11 inf + 1 2.016 * * [simplify]: Extracting #4: cost 8 inf + 144 2.017 * * [simplify]: Extracting #5: cost 2 inf + 1253 2.017 * * [simplify]: Extracting #6: cost 0 inf + 1676 2.017 * [simplify]: Simplified to (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 2.017 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 2.018 * [simplify]: Simplifying (/ (cos y) (cbrt (exp x))) 2.018 * * [simplify]: iters left: 4 (6 enodes) 2.020 * * [simplify]: iters left: 3 (18 enodes) 2.025 * * [simplify]: Extracting #0: cost 1 inf + 0 2.025 * * [simplify]: Extracting #1: cost 4 inf + 0 2.025 * * [simplify]: Extracting #2: cost 8 inf + 0 2.026 * * [simplify]: Extracting #3: cost 9 inf + 1 2.026 * * [simplify]: Extracting #4: cost 0 inf + 1072 2.026 * [simplify]: Simplified to (/ (cos y) (cbrt (exp x))) 2.026 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x)))) (* (cos y) (exp x))) 2)) 2.026 * * * * [progress]: [ 17 / 69 ] simplifiying candidate # 2.027 * [simplify]: Simplifying (/ 1 (sqrt (exp x))) 2.027 * * [simplify]: iters left: 4 (5 enodes) 2.029 * * [simplify]: iters left: 3 (17 enodes) 2.035 * * [simplify]: iters left: 2 (19 enodes) 2.041 * * [simplify]: Extracting #0: cost 1 inf + 0 2.041 * * [simplify]: Extracting #1: cost 4 inf + 0 2.041 * * [simplify]: Extracting #2: cost 5 inf + 1 2.041 * * [simplify]: Extracting #3: cost 7 inf + 1 2.041 * * [simplify]: Extracting #4: cost 0 inf + 670 2.041 * [simplify]: Simplified to (/ 1 (sqrt (exp x))) 2.041 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 2.042 * [simplify]: Simplifying (/ (cos y) (sqrt (exp x))) 2.042 * * [simplify]: iters left: 4 (6 enodes) 2.044 * * [simplify]: iters left: 3 (18 enodes) 2.049 * * [simplify]: Extracting #0: cost 1 inf + 0 2.049 * * [simplify]: Extracting #1: cost 4 inf + 0 2.049 * * [simplify]: Extracting #2: cost 8 inf + 0 2.049 * * [simplify]: Extracting #3: cost 9 inf + 1 2.049 * * [simplify]: Extracting #4: cost 0 inf + 912 2.050 * [simplify]: Simplified to (/ (cos y) (sqrt (exp x))) 2.050 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 2.050 * * * * [progress]: [ 18 / 69 ] simplifiying candidate # 2.050 * [simplify]: Simplifying (/ 1 1) 2.050 * * [simplify]: iters left: 2 (2 enodes) 2.052 * * [simplify]: iters left: 1 (6 enodes) 2.054 * * [simplify]: Extracting #0: cost 1 inf + 0 2.054 * * [simplify]: Extracting #1: cost 0 inf + 1 2.054 * [simplify]: Simplified to 1 2.054 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 2.054 * [simplify]: Simplifying (/ (cos y) (exp x)) 2.055 * * [simplify]: iters left: 3 (5 enodes) 2.057 * * [simplify]: iters left: 2 (15 enodes) 2.061 * * [simplify]: Extracting #0: cost 1 inf + 0 2.061 * * [simplify]: Extracting #1: cost 4 inf + 0 2.061 * * [simplify]: Extracting #2: cost 8 inf + 0 2.061 * * [simplify]: Extracting #3: cost 4 inf + 144 2.061 * * [simplify]: Extracting #4: cost 0 inf + 610 2.061 * [simplify]: Simplified to (/ (cos y) (exp x)) 2.061 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 2.061 * * * * [progress]: [ 19 / 69 ] simplifiying candidate # 2.062 * * * * [progress]: [ 20 / 69 ] simplifiying candidate # 2.062 * [simplify]: Simplifying (/ 1 (exp x)) 2.062 * * [simplify]: iters left: 3 (4 enodes) 2.064 * * [simplify]: iters left: 2 (16 enodes) 2.070 * * [simplify]: iters left: 1 (20 enodes) 2.075 * * [simplify]: Extracting #0: cost 1 inf + 0 2.075 * * [simplify]: Extracting #1: cost 5 inf + 0 2.076 * * [simplify]: Extracting #2: cost 7 inf + 1 2.076 * * [simplify]: Extracting #3: cost 6 inf + 2 2.076 * * [simplify]: Extracting #4: cost 0 inf + 450 2.076 * * [simplify]: Extracting #5: cost 0 inf + 448 2.076 * [simplify]: Simplified to (exp (- x)) 2.076 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (cos y) (exp (- x))) (* (cos y) (exp x))) 2)) 2.076 * * * * [progress]: [ 21 / 69 ] simplifiying candidate # 2.077 * [simplify]: Simplifying (/ (exp x) (cos y)) 2.077 * * [simplify]: iters left: 3 (5 enodes) 2.079 * * [simplify]: iters left: 2 (15 enodes) 2.083 * * [simplify]: Extracting #0: cost 1 inf + 0 2.083 * * [simplify]: Extracting #1: cost 4 inf + 0 2.083 * * [simplify]: Extracting #2: cost 8 inf + 0 2.083 * * [simplify]: Extracting #3: cost 4 inf + 124 2.083 * * [simplify]: Extracting #4: cost 0 inf + 610 2.083 * [simplify]: Simplified to (/ (exp x) (cos y)) 2.083 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x))) 2)) 2.084 * * * * [progress]: [ 22 / 69 ] simplifiying candidate # 2.084 * [simplify]: Simplifying (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) 2.084 * * [simplify]: iters left: 6 (7 enodes) 2.088 * * [simplify]: iters left: 5 (23 enodes) 2.095 * * [simplify]: iters left: 4 (25 enodes) 2.102 * * [simplify]: Extracting #0: cost 1 inf + 0 2.102 * * [simplify]: Extracting #1: cost 6 inf + 0 2.102 * * [simplify]: Extracting #2: cost 12 inf + 0 2.102 * * [simplify]: Extracting #3: cost 13 inf + 1 2.102 * * [simplify]: Extracting #4: cost 8 inf + 266 2.102 * * [simplify]: Extracting #5: cost 4 inf + 1011 2.103 * * [simplify]: Extracting #6: cost 1 inf + 1746 2.103 * * [simplify]: Extracting #7: cost 0 inf + 2038 2.104 * [simplify]: Simplified to (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) 2.104 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (* (cos y) (exp x))) 2)) 2.104 * * * * [progress]: [ 23 / 69 ] simplifiying candidate # 2.104 * [simplify]: Simplifying (/ (cos y) (sqrt (exp x))) 2.105 * * [simplify]: iters left: 4 (6 enodes) 2.107 * * [simplify]: iters left: 3 (18 enodes) 2.112 * * [simplify]: Extracting #0: cost 1 inf + 0 2.112 * * [simplify]: Extracting #1: cost 4 inf + 0 2.112 * * [simplify]: Extracting #2: cost 8 inf + 0 2.112 * * [simplify]: Extracting #3: cost 9 inf + 1 2.112 * * [simplify]: Extracting #4: cost 0 inf + 912 2.113 * [simplify]: Simplified to (/ (cos y) (sqrt (exp x))) 2.113 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x))) 2)) 2.113 * * * * [progress]: [ 24 / 69 ] simplifiying candidate # 2.113 * [simplify]: Simplifying (/ (cos y) 1) 2.113 * * [simplify]: iters left: 3 (4 enodes) 2.117 * * [simplify]: iters left: 2 (12 enodes) 2.122 * * [simplify]: iters left: 1 (14 enodes) 2.126 * * [simplify]: Extracting #0: cost 1 inf + 0 2.126 * * [simplify]: Extracting #1: cost 4 inf + 0 2.126 * * [simplify]: Extracting #2: cost 2 inf + 2 2.126 * * [simplify]: Extracting #3: cost 1 inf + 63 2.127 * * [simplify]: Extracting #4: cost 0 inf + 124 2.127 * [simplify]: Simplified to (cos y) 2.127 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 2.127 * * * * [progress]: [ 25 / 69 ] simplifiying candidate # 2.127 * [simplify]: Simplifying (/ (exp x) (cbrt (cos y))) 2.127 * * [simplify]: iters left: 4 (6 enodes) 2.130 * * [simplify]: iters left: 3 (18 enodes) 2.134 * * [simplify]: Extracting #0: cost 1 inf + 0 2.134 * * [simplify]: Extracting #1: cost 4 inf + 0 2.135 * * [simplify]: Extracting #2: cost 8 inf + 0 2.135 * * [simplify]: Extracting #3: cost 9 inf + 1 2.135 * * [simplify]: Extracting #4: cost 0 inf + 1052 2.135 * [simplify]: Simplified to (/ (exp x) (cbrt (cos y))) 2.135 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y)))) (* (cos y) (exp x))) 2)) 2.135 * * * * [progress]: [ 26 / 69 ] simplifiying candidate # 2.136 * [simplify]: Simplifying (/ (exp x) (sqrt (cos y))) 2.136 * * [simplify]: iters left: 4 (6 enodes) 2.138 * * [simplify]: iters left: 3 (18 enodes) 2.143 * * [simplify]: Extracting #0: cost 1 inf + 0 2.143 * * [simplify]: Extracting #1: cost 4 inf + 0 2.143 * * [simplify]: Extracting #2: cost 8 inf + 0 2.143 * * [simplify]: Extracting #3: cost 9 inf + 1 2.143 * * [simplify]: Extracting #4: cost 0 inf + 892 2.143 * [simplify]: Simplified to (/ (exp x) (sqrt (cos y))) 2.143 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x))) 2)) 2.144 * * * * [progress]: [ 27 / 69 ] simplifiying candidate # 2.144 * [simplify]: Simplifying (/ (exp x) (cos y)) 2.144 * * [simplify]: iters left: 3 (5 enodes) 2.146 * * [simplify]: iters left: 2 (15 enodes) 2.150 * * [simplify]: Extracting #0: cost 1 inf + 0 2.150 * * [simplify]: Extracting #1: cost 4 inf + 0 2.150 * * [simplify]: Extracting #2: cost 8 inf + 0 2.150 * * [simplify]: Extracting #3: cost 4 inf + 124 2.150 * * [simplify]: Extracting #4: cost 0 inf + 610 2.150 * [simplify]: Simplified to (/ (exp x) (cos y)) 2.150 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x))) 2)) 2.151 * * * * [progress]: [ 28 / 69 ] simplifiying candidate #real (real->posit16 (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))> 2.151 * [simplify]: Simplifying (real->posit16 (/ (cos y) (exp x))) 2.151 * * [simplify]: iters left: 4 (6 enodes) 2.153 * * [simplify]: iters left: 3 (15 enodes) 2.157 * * [simplify]: Extracting #0: cost 1 inf + 0 2.157 * * [simplify]: Extracting #1: cost 2 inf + 0 2.157 * * [simplify]: Extracting #2: cost 4 inf + 0 2.157 * * [simplify]: Extracting #3: cost 8 inf + 0 2.157 * * [simplify]: Extracting #4: cost 4 inf + 144 2.158 * * [simplify]: Extracting #5: cost 0 inf + 610 2.158 * [simplify]: Simplified to (real->posit16 (/ (cos y) (exp x))) 2.158 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (posit16->real (real->posit16 (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2)) 2.158 * * * * [progress]: [ 29 / 69 ] simplifiying candidate # 2.158 * [simplify]: Simplifying (* (cos y) (exp x)) 2.158 * * [simplify]: iters left: 3 (5 enodes) 2.160 * * [simplify]: iters left: 2 (16 enodes) 2.165 * * [simplify]: Extracting #0: cost 1 inf + 0 2.165 * * [simplify]: Extracting #1: cost 4 inf + 0 2.165 * * [simplify]: Extracting #2: cost 8 inf + 0 2.165 * * [simplify]: Extracting #3: cost 4 inf + 144 2.165 * * [simplify]: Extracting #4: cost 0 inf + 610 2.165 * [simplify]: Simplified to (* (exp x) (cos y)) 2.165 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (exp x) (cos y)) 1)) 2)) 2.166 * * * * [progress]: [ 30 / 69 ] simplifiying candidate # 2.166 * * * * [progress]: [ 31 / 69 ] simplifiying candidate # 2.166 * [simplify]: Simplifying (+ (log (cos y)) x) 2.166 * * [simplify]: iters left: 4 (5 enodes) 2.168 * * [simplify]: iters left: 3 (16 enodes) 2.172 * * [simplify]: Extracting #0: cost 1 inf + 0 2.172 * * [simplify]: Extracting #1: cost 4 inf + 0 2.172 * * [simplify]: Extracting #2: cost 5 inf + 1 2.172 * * [simplify]: Extracting #3: cost 7 inf + 1 2.172 * * [simplify]: Extracting #4: cost 6 inf + 2 2.173 * * [simplify]: Extracting #5: cost 0 inf + 730 2.173 * [simplify]: Simplified to (+ x (log (cos y))) 2.173 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (+ x (log (cos y))))) 2)) 2.173 * * * * [progress]: [ 32 / 69 ] simplifiying candidate # 2.173 * [simplify]: Simplifying (log (* (cos y) (exp x))) 2.173 * * [simplify]: iters left: 4 (6 enodes) 2.176 * * [simplify]: iters left: 3 (22 enodes) 2.182 * * [simplify]: iters left: 2 (25 enodes) 2.188 * * [simplify]: Extracting #0: cost 1 inf + 0 2.188 * * [simplify]: Extracting #1: cost 5 inf + 0 2.188 * * [simplify]: Extracting #2: cost 8 inf + 1 2.188 * * [simplify]: Extracting #3: cost 10 inf + 72 2.189 * * [simplify]: Extracting #4: cost 8 inf + 144 2.189 * * [simplify]: Extracting #5: cost 6 inf + 266 2.189 * * [simplify]: Extracting #6: cost 1 inf + 1114 2.189 * * [simplify]: Extracting #7: cost 0 inf + 1286 2.190 * * [simplify]: Extracting #8: cost 0 inf + 1216 2.190 * [simplify]: Simplified to (+ x (log (cos y))) 2.190 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (+ x (log (cos y))))) 2)) 2.190 * * * * [progress]: [ 33 / 69 ] simplifiying candidate # 2.190 * [simplify]: Simplifying (exp (* (cos y) (exp x))) 2.191 * * [simplify]: iters left: 4 (6 enodes) 2.193 * * [simplify]: iters left: 3 (21 enodes) 2.199 * * [simplify]: iters left: 2 (29 enodes) 2.208 * * [simplify]: iters left: 1 (42 enodes) 2.221 * * [simplify]: Extracting #0: cost 1 inf + 0 2.221 * * [simplify]: Extracting #1: cost 14 inf + 0 2.221 * * [simplify]: Extracting #2: cost 32 inf + 0 2.221 * * [simplify]: Extracting #3: cost 26 inf + 1023 2.222 * * [simplify]: Extracting #4: cost 10 inf + 3702 2.223 * * [simplify]: Extracting #5: cost 2 inf + 6687 2.225 * * [simplify]: Extracting #6: cost 0 inf + 7884 2.226 * [simplify]: Simplified to (exp (* (exp x) (cos y))) 2.227 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (log (exp (* (exp x) (cos y))))) 2)) 2.227 * * * * [progress]: [ 34 / 69 ] simplifiying candidate # 2.227 * [simplify]: Simplifying (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 2.227 * * [simplify]: iters left: 6 (9 enodes) 2.231 * * [simplify]: iters left: 5 (36 enodes) 2.245 * * [simplify]: iters left: 4 (71 enodes) 2.258 * * [simplify]: iters left: 3 (127 enodes) 2.285 * * [simplify]: iters left: 2 (212 enodes) 2.351 * * [simplify]: iters left: 1 (408 enodes) 2.548 * * [simplify]: Extracting #0: cost 1 inf + 0 2.548 * * [simplify]: Extracting #1: cost 57 inf + 0 2.550 * * [simplify]: Extracting #2: cost 179 inf + 1 2.552 * * [simplify]: Extracting #3: cost 159 inf + 4359 2.562 * * [simplify]: Extracting #4: cost 64 inf + 47865 2.577 * * [simplify]: Extracting #5: cost 1 inf + 81118 2.589 * * [simplify]: Extracting #6: cost 0 inf + 79709 2.598 * [simplify]: Simplified to (* (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (exp x) (cos y))) 2.598 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (cbrt (* (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (exp x) (cos y))))) 2)) 2.599 * * * * [progress]: [ 35 / 69 ] simplifiying candidate # 2.599 * [simplify]: Simplifying (* (cbrt (* (cos y) (exp x))) (cbrt (* (cos y) (exp x)))) 2.599 * * [simplify]: iters left: 6 (7 enodes) 2.600 * * [simplify]: iters left: 5 (22 enodes) 2.606 * * [simplify]: Extracting #0: cost 1 inf + 0 2.606 * * [simplify]: Extracting #1: cost 3 inf + 0 2.606 * * [simplify]: Extracting #2: cost 5 inf + 0 2.606 * * [simplify]: Extracting #3: cost 8 inf + 0 2.606 * * [simplify]: Extracting #4: cost 12 inf + 0 2.606 * * [simplify]: Extracting #5: cost 10 inf + 2 2.606 * * [simplify]: Extracting #6: cost 1 inf + 1406 2.607 * * [simplify]: Extracting #7: cost 0 inf + 1698 2.607 * [simplify]: Simplified to (* (cbrt (* (exp x) (cos y))) (cbrt (* (exp x) (cos y)))) 2.607 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (* (exp x) (cos y))) (cbrt (* (exp x) (cos y)))) (cbrt (* (cos y) (exp x))))) 2)) 2.608 * [simplify]: Simplifying (cbrt (* (cos y) (exp x))) 2.608 * * [simplify]: iters left: 4 (6 enodes) 2.611 * * [simplify]: iters left: 3 (19 enodes) 2.615 * * [simplify]: Extracting #0: cost 1 inf + 0 2.615 * * [simplify]: Extracting #1: cost 3 inf + 0 2.616 * * [simplify]: Extracting #2: cost 6 inf + 0 2.616 * * [simplify]: Extracting #3: cost 10 inf + 0 2.616 * * [simplify]: Extracting #4: cost 6 inf + 144 2.616 * * [simplify]: Extracting #5: cost 0 inf + 1114 2.616 * [simplify]: Simplified to (cbrt (* (exp x) (cos y))) 2.616 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (* (cos y) (exp x))) (cbrt (* (cos y) (exp x)))) (cbrt (* (exp x) (cos y))))) 2)) 2.616 * * * * [progress]: [ 36 / 69 ] simplifiying candidate # 2.617 * [simplify]: Simplifying (* (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (cos y) (exp x))) 2.617 * * [simplify]: iters left: 6 (7 enodes) 2.618 * * [simplify]: iters left: 5 (32 enodes) 2.624 * * [simplify]: iters left: 4 (74 enodes) 2.640 * * [simplify]: iters left: 3 (133 enodes) 2.689 * * [simplify]: iters left: 2 (166 enodes) 2.730 * * [simplify]: iters left: 1 (234 enodes) 2.815 * * [simplify]: Extracting #0: cost 1 inf + 0 2.815 * * [simplify]: Extracting #1: cost 37 inf + 0 2.815 * * [simplify]: Extracting #2: cost 96 inf + 1 2.816 * * [simplify]: Extracting #3: cost 73 inf + 4404 2.819 * * [simplify]: Extracting #4: cost 12 inf + 27316 2.823 * * [simplify]: Extracting #5: cost 0 inf + 32430 2.827 * [simplify]: Simplified to (* (* (exp x) (cos y)) (* (* (exp x) (cos y)) (* (exp x) (cos y)))) 2.827 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (cbrt (* (* (exp x) (cos y)) (* (* (exp x) (cos y)) (* (exp x) (cos y)))))) 2)) 2.827 * * * * [progress]: [ 37 / 69 ] simplifiying candidate # 2.827 * [simplify]: Simplifying (sqrt (* (cos y) (exp x))) 2.827 * * [simplify]: iters left: 4 (6 enodes) 2.829 * * [simplify]: iters left: 3 (19 enodes) 2.831 * * [simplify]: Extracting #0: cost 1 inf + 0 2.831 * * [simplify]: Extracting #1: cost 3 inf + 0 2.831 * * [simplify]: Extracting #2: cost 6 inf + 0 2.831 * * [simplify]: Extracting #3: cost 10 inf + 0 2.832 * * [simplify]: Extracting #4: cost 6 inf + 144 2.832 * * [simplify]: Extracting #5: cost 0 inf + 1034 2.832 * [simplify]: Simplified to (sqrt (* (exp x) (cos y))) 2.832 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (* (exp x) (cos y))) (sqrt (* (cos y) (exp x))))) 2)) 2.832 * [simplify]: Simplifying (sqrt (* (cos y) (exp x))) 2.832 * * [simplify]: iters left: 4 (6 enodes) 2.833 * * [simplify]: iters left: 3 (19 enodes) 2.836 * * [simplify]: Extracting #0: cost 1 inf + 0 2.836 * * [simplify]: Extracting #1: cost 3 inf + 0 2.836 * * [simplify]: Extracting #2: cost 6 inf + 0 2.836 * * [simplify]: Extracting #3: cost 10 inf + 0 2.836 * * [simplify]: Extracting #4: cost 6 inf + 144 2.836 * * [simplify]: Extracting #5: cost 0 inf + 1034 2.836 * [simplify]: Simplified to (sqrt (* (exp x) (cos y))) 2.836 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (* (cos y) (exp x))) (sqrt (* (exp x) (cos y))))) 2)) 2.836 * * * * [progress]: [ 38 / 69 ] simplifiying candidate # 2.836 * * * * [progress]: [ 39 / 69 ] simplifiying candidate # 2.837 * [simplify]: Simplifying (* (sqrt (cos y)) (sqrt (exp x))) 2.837 * * [simplify]: iters left: 4 (7 enodes) 2.838 * * [simplify]: iters left: 3 (22 enodes) 2.841 * * [simplify]: Extracting #0: cost 1 inf + 0 2.841 * * [simplify]: Extracting #1: cost 4 inf + 0 2.842 * * [simplify]: Extracting #2: cost 8 inf + 0 2.842 * * [simplify]: Extracting #3: cost 12 inf + 0 2.842 * * [simplify]: Extracting #4: cost 10 inf + 2 2.842 * * [simplify]: Extracting #5: cost 4 inf + 488 2.842 * * [simplify]: Extracting #6: cost 1 inf + 942 2.842 * * [simplify]: Extracting #7: cost 0 inf + 1194 2.842 * [simplify]: Simplified to (* (sqrt (cos y)) (sqrt (exp x))) 2.843 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x))))) 2)) 2.843 * [simplify]: Simplifying (* (sqrt (cos y)) (sqrt (exp x))) 2.843 * * [simplify]: iters left: 4 (7 enodes) 2.844 * * [simplify]: iters left: 3 (22 enodes) 2.847 * * [simplify]: Extracting #0: cost 1 inf + 0 2.847 * * [simplify]: Extracting #1: cost 4 inf + 0 2.847 * * [simplify]: Extracting #2: cost 8 inf + 0 2.847 * * [simplify]: Extracting #3: cost 12 inf + 0 2.847 * * [simplify]: Extracting #4: cost 10 inf + 2 2.848 * * [simplify]: Extracting #5: cost 4 inf + 488 2.848 * * [simplify]: Extracting #6: cost 1 inf + 942 2.848 * * [simplify]: Extracting #7: cost 0 inf + 1194 2.848 * [simplify]: Simplified to (* (sqrt (cos y)) (sqrt (exp x))) 2.848 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x))))) 2)) 2.848 * * * * [progress]: [ 40 / 69 ] simplifiying candidate # 2.848 * [simplify]: Simplifying (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) 2.848 * * [simplify]: iters left: 6 (7 enodes) 2.851 * * [simplify]: iters left: 5 (24 enodes) 2.858 * * [simplify]: iters left: 4 (28 enodes) 2.866 * * [simplify]: Extracting #0: cost 1 inf + 0 2.866 * * [simplify]: Extracting #1: cost 6 inf + 0 2.866 * * [simplify]: Extracting #2: cost 12 inf + 0 2.866 * * [simplify]: Extracting #3: cost 13 inf + 1 2.866 * * [simplify]: Extracting #4: cost 8 inf + 266 2.866 * * [simplify]: Extracting #5: cost 3 inf + 1263 2.867 * * [simplify]: Extracting #6: cost 1 inf + 1746 2.867 * * [simplify]: Extracting #7: cost 0 inf + 2038 2.868 * [simplify]: Simplified to (* (* (cos y) (cbrt (exp x))) (cbrt (exp x))) 2.868 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (* (cos y) (cbrt (exp x))) (cbrt (exp x))) (cbrt (exp x)))) 2)) 2.868 * * * * [progress]: [ 41 / 69 ] simplifiying candidate # 2.868 * [simplify]: Simplifying (* (cos y) (sqrt (exp x))) 2.868 * * [simplify]: iters left: 4 (6 enodes) 2.871 * * [simplify]: iters left: 3 (19 enodes) 2.876 * * [simplify]: Extracting #0: cost 1 inf + 0 2.876 * * [simplify]: Extracting #1: cost 4 inf + 0 2.876 * * [simplify]: Extracting #2: cost 8 inf + 0 2.876 * * [simplify]: Extracting #3: cost 9 inf + 1 2.876 * * [simplify]: Extracting #4: cost 0 inf + 912 2.877 * [simplify]: Simplified to (* (cos y) (sqrt (exp x))) 2.877 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2)) 2.877 * * * * [progress]: [ 42 / 69 ] simplifiying candidate # 2.877 * [simplify]: Simplifying (* (cos y) 1) 2.877 * * [simplify]: iters left: 3 (4 enodes) 2.881 * * [simplify]: iters left: 2 (13 enodes) 2.883 * * [simplify]: iters left: 1 (17 enodes) 2.886 * * [simplify]: Extracting #0: cost 1 inf + 0 2.886 * * [simplify]: Extracting #1: cost 4 inf + 0 2.886 * * [simplify]: Extracting #2: cost 2 inf + 2 2.886 * * [simplify]: Extracting #3: cost 1 inf + 63 2.886 * * [simplify]: Extracting #4: cost 0 inf + 124 2.886 * [simplify]: Simplified to (cos y) 2.886 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 2.886 * * * * [progress]: [ 43 / 69 ] simplifiying candidate # 2.886 * [simplify]: Simplifying (* (cbrt (cos y)) (exp x)) 2.887 * * [simplify]: iters left: 4 (6 enodes) 2.888 * * [simplify]: iters left: 3 (19 enodes) 2.890 * * [simplify]: Extracting #0: cost 1 inf + 0 2.890 * * [simplify]: Extracting #1: cost 4 inf + 0 2.890 * * [simplify]: Extracting #2: cost 8 inf + 0 2.890 * * [simplify]: Extracting #3: cost 7 inf + 143 2.890 * * [simplify]: Extracting #4: cost 6 inf + 144 2.890 * * [simplify]: Extracting #5: cost 0 inf + 1052 2.891 * [simplify]: Simplified to (* (exp x) (cbrt (cos y))) 2.891 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (exp x) (cbrt (cos y))))) 2)) 2.891 * * * * [progress]: [ 44 / 69 ] simplifiying candidate # 2.891 * [simplify]: Simplifying (* (sqrt (cos y)) (exp x)) 2.891 * * [simplify]: iters left: 4 (6 enodes) 2.892 * * [simplify]: iters left: 3 (19 enodes) 2.895 * * [simplify]: Extracting #0: cost 1 inf + 0 2.895 * * [simplify]: Extracting #1: cost 4 inf + 0 2.895 * * [simplify]: Extracting #2: cost 8 inf + 0 2.895 * * [simplify]: Extracting #3: cost 7 inf + 143 2.895 * * [simplify]: Extracting #4: cost 6 inf + 144 2.895 * * [simplify]: Extracting #5: cost 0 inf + 892 2.895 * [simplify]: Simplified to (* (exp x) (sqrt (cos y))) 2.895 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (cos y)) (* (exp x) (sqrt (cos y))))) 2)) 2.895 * * * * [progress]: [ 45 / 69 ] simplifiying candidate # 2.895 * [simplify]: Simplifying (* (cos y) (exp x)) 2.895 * * [simplify]: iters left: 3 (5 enodes) 2.896 * * [simplify]: iters left: 2 (16 enodes) 2.898 * * [simplify]: Extracting #0: cost 1 inf + 0 2.898 * * [simplify]: Extracting #1: cost 4 inf + 0 2.898 * * [simplify]: Extracting #2: cost 8 inf + 0 2.898 * * [simplify]: Extracting #3: cost 4 inf + 144 2.899 * * [simplify]: Extracting #4: cost 0 inf + 610 2.899 * [simplify]: Simplified to (* (exp x) (cos y)) 2.899 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* 1 (* (exp x) (cos y)))) 2)) 2.899 * * * * [progress]: [ 46 / 69 ] simplifiying candidate #real (real->posit16 (* (cos y) (exp x))))) 2))> 2.899 * [simplify]: Simplifying (real->posit16 (* (cos y) (exp x))) 2.899 * * [simplify]: iters left: 4 (6 enodes) 2.900 * * [simplify]: iters left: 3 (16 enodes) 2.902 * * [simplify]: Extracting #0: cost 1 inf + 0 2.902 * * [simplify]: Extracting #1: cost 2 inf + 0 2.902 * * [simplify]: Extracting #2: cost 4 inf + 0 2.902 * * [simplify]: Extracting #3: cost 8 inf + 0 2.903 * * [simplify]: Extracting #4: cost 4 inf + 144 2.903 * * [simplify]: Extracting #5: cost 0 inf + 610 2.903 * [simplify]: Simplified to (real->posit16 (* (exp x) (cos y))) 2.903 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (posit16->real (real->posit16 (* (exp x) (cos y))))) 2)) 2.903 * * * * [progress]: [ 47 / 69 ] simplifiying candidate # 2.903 * * * * [progress]: [ 48 / 69 ] simplifiying candidate # 2.903 * [simplify]: Simplifying (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x)))) 2.903 * * [simplify]: iters left: 6 (9 enodes) 2.905 * * [simplify]: iters left: 5 (33 enodes) 2.910 * * [simplify]: iters left: 4 (45 enodes) 2.923 * * [simplify]: iters left: 3 (62 enodes) 2.942 * * [simplify]: iters left: 2 (99 enodes) 2.978 * * [simplify]: iters left: 1 (198 enodes) 3.036 * * [simplify]: Extracting #0: cost 1 inf + 0 3.037 * * [simplify]: Extracting #1: cost 37 inf + 0 3.037 * * [simplify]: Extracting #2: cost 117 inf + 0 3.037 * * [simplify]: Extracting #3: cost 152 inf + 2 3.038 * * [simplify]: Extracting #4: cost 138 inf + 2634 3.040 * * [simplify]: Extracting #5: cost 81 inf + 19972 3.046 * * [simplify]: Extracting #6: cost 31 inf + 51524 3.055 * * [simplify]: Extracting #7: cost 1 inf + 79652 3.072 * * [simplify]: Extracting #8: cost 0 inf + 80546 3.085 * [simplify]: Simplified to (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 3.085 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (log (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 3.085 * * * * [progress]: [ 49 / 69 ] simplifiying candidate # 3.085 * * * * [progress]: [ 50 / 69 ] simplifiying candidate # 3.086 * [simplify]: Simplifying (log (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 3.086 * * [simplify]: iters left: 6 (8 enodes) 3.087 * * [simplify]: iters left: 5 (26 enodes) 3.093 * * [simplify]: Extracting #0: cost 1 inf + 0 3.093 * * [simplify]: Extracting #1: cost 3 inf + 0 3.093 * * [simplify]: Extracting #2: cost 6 inf + 0 3.093 * * [simplify]: Extracting #3: cost 10 inf + 0 3.093 * * [simplify]: Extracting #4: cost 14 inf + 0 3.093 * * [simplify]: Extracting #5: cost 11 inf + 73 3.093 * * [simplify]: Extracting #6: cost 8 inf + 377 3.093 * * [simplify]: Extracting #7: cost 1 inf + 1780 3.094 * * [simplify]: Extracting #8: cost 0 inf + 2102 3.094 * [simplify]: Simplified to (log (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 3.094 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (exp (log (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 3.094 * * * * [progress]: [ 51 / 69 ] simplifiying candidate # 3.094 * [simplify]: Simplifying (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 3.094 * * [simplify]: iters left: 6 (8 enodes) 3.096 * * [simplify]: iters left: 5 (29 enodes) 3.100 * * [simplify]: iters left: 4 (38 enodes) 3.105 * * [simplify]: iters left: 3 (49 enodes) 3.120 * * [simplify]: iters left: 2 (77 enodes) 3.139 * * [simplify]: iters left: 1 (145 enodes) 3.167 * * [simplify]: Extracting #0: cost 1 inf + 0 3.168 * * [simplify]: Extracting #1: cost 24 inf + 0 3.168 * * [simplify]: Extracting #2: cost 86 inf + 0 3.168 * * [simplify]: Extracting #3: cost 116 inf + 1 3.169 * * [simplify]: Extracting #4: cost 100 inf + 2121 3.172 * * [simplify]: Extracting #5: cost 61 inf + 9741 3.178 * * [simplify]: Extracting #6: cost 22 inf + 30897 3.187 * * [simplify]: Extracting #7: cost 0 inf + 48410 3.200 * * [simplify]: Extracting #8: cost 0 inf + 48052 3.210 * [simplify]: Simplified to (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 3.210 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (log (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 3.211 * * * * [progress]: [ 52 / 69 ] simplifiying candidate # 3.211 * [simplify]: Simplifying (* (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 3.211 * * [simplify]: iters left: 6 (9 enodes) 3.214 * * [simplify]: iters left: 5 (29 enodes) 3.218 * * [simplify]: Extracting #0: cost 1 inf + 0 3.219 * * [simplify]: Extracting #1: cost 3 inf + 0 3.219 * * [simplify]: Extracting #2: cost 5 inf + 0 3.219 * * [simplify]: Extracting #3: cost 8 inf + 0 3.219 * * [simplify]: Extracting #4: cost 12 inf + 0 3.219 * * [simplify]: Extracting #5: cost 16 inf + 0 3.219 * * [simplify]: Extracting #6: cost 12 inf + 144 3.219 * * [simplify]: Extracting #7: cost 9 inf + 438 3.219 * * [simplify]: Extracting #8: cost 4 inf + 1538 3.219 * * [simplify]: Extracting #9: cost 1 inf + 2494 3.220 * * [simplify]: Extracting #10: cost 0 inf + 2866 3.220 * [simplify]: Simplified to (* (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 3.220 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (* (* (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2)) 3.220 * [simplify]: Simplifying (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 3.220 * * [simplify]: iters left: 6 (8 enodes) 3.222 * * [simplify]: iters left: 5 (26 enodes) 3.225 * * [simplify]: Extracting #0: cost 1 inf + 0 3.225 * * [simplify]: Extracting #1: cost 3 inf + 0 3.225 * * [simplify]: Extracting #2: cost 6 inf + 0 3.225 * * [simplify]: Extracting #3: cost 10 inf + 0 3.225 * * [simplify]: Extracting #4: cost 14 inf + 0 3.226 * * [simplify]: Extracting #5: cost 11 inf + 73 3.226 * * [simplify]: Extracting #6: cost 8 inf + 377 3.226 * * [simplify]: Extracting #7: cost 1 inf + 1790 3.226 * * [simplify]: Extracting #8: cost 0 inf + 2122 3.226 * [simplify]: Simplified to (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 3.226 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (* (* (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 3.226 * * * * [progress]: [ 53 / 69 ] simplifiying candidate # 3.227 * [simplify]: Simplifying (* (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 3.227 * * [simplify]: iters left: 6 (9 enodes) 3.229 * * [simplify]: iters left: 5 (42 enodes) 3.238 * * [simplify]: iters left: 4 (132 enodes) 3.304 * * [simplify]: iters left: 3 (450 enodes) 3.636 * * [simplify]: Extracting #0: cost 1 inf + 0 3.637 * * [simplify]: Extracting #1: cost 25 inf + 0 3.637 * * [simplify]: Extracting #2: cost 189 inf + 1 3.638 * * [simplify]: Extracting #3: cost 260 inf + 2 3.643 * * [simplify]: Extracting #4: cost 186 inf + 20562 3.669 * * [simplify]: Extracting #5: cost 24 inf + 76815 3.697 * * [simplify]: Extracting #6: cost 0 inf + 85263 3.731 * [simplify]: Simplified to (* (* (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 3.731 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (cbrt (* (* (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 3.731 * * * * [progress]: [ 54 / 69 ] simplifiying candidate # 3.732 * [simplify]: Simplifying (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 3.732 * * [simplify]: iters left: 6 (8 enodes) 3.734 * * [simplify]: iters left: 5 (26 enodes) 3.741 * * [simplify]: Extracting #0: cost 1 inf + 0 3.741 * * [simplify]: Extracting #1: cost 3 inf + 0 3.741 * * [simplify]: Extracting #2: cost 6 inf + 0 3.741 * * [simplify]: Extracting #3: cost 10 inf + 0 3.741 * * [simplify]: Extracting #4: cost 14 inf + 0 3.741 * * [simplify]: Extracting #5: cost 11 inf + 73 3.742 * * [simplify]: Extracting #6: cost 8 inf + 377 3.742 * * [simplify]: Extracting #7: cost 1 inf + 1750 3.742 * * [simplify]: Extracting #8: cost 0 inf + 2042 3.743 * [simplify]: Simplified to (sqrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 3.743 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (* (sqrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2)) 3.743 * [simplify]: Simplifying (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 3.744 * * [simplify]: iters left: 6 (8 enodes) 3.747 * * [simplify]: iters left: 5 (26 enodes) 3.754 * * [simplify]: Extracting #0: cost 1 inf + 0 3.754 * * [simplify]: Extracting #1: cost 3 inf + 0 3.754 * * [simplify]: Extracting #2: cost 6 inf + 0 3.754 * * [simplify]: Extracting #3: cost 10 inf + 0 3.754 * * [simplify]: Extracting #4: cost 14 inf + 0 3.754 * * [simplify]: Extracting #5: cost 11 inf + 73 3.754 * * [simplify]: Extracting #6: cost 8 inf + 377 3.755 * * [simplify]: Extracting #7: cost 1 inf + 1750 3.755 * * [simplify]: Extracting #8: cost 0 inf + 2042 3.756 * [simplify]: Simplified to (sqrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 3.756 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (* (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (sqrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 3.756 * * * * [progress]: [ 55 / 69 ] simplifiying candidate # 3.756 * [simplify]: Simplifying (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3)) 3.756 * * [simplify]: iters left: 6 (10 enodes) 3.762 * * [simplify]: iters left: 5 (49 enodes) 3.785 * * [simplify]: iters left: 4 (117 enodes) 3.844 * * [simplify]: iters left: 3 (294 enodes) 3.958 * * [simplify]: Extracting #0: cost 1 inf + 0 3.958 * * [simplify]: Extracting #1: cost 4 inf + 0 3.959 * * [simplify]: Extracting #2: cost 81 inf + 0 3.959 * * [simplify]: Extracting #3: cost 180 inf + 1 3.960 * * [simplify]: Extracting #4: cost 152 inf + 6246 3.965 * * [simplify]: Extracting #5: cost 38 inf + 48355 3.972 * * [simplify]: Extracting #6: cost 1 inf + 64701 3.981 * * [simplify]: Extracting #7: cost 0 inf + 65164 3.988 * [simplify]: Simplified to (+ (* (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (exp x) (cos y))) (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x))))) 3.989 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (/ (+ (* (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (exp x) (cos y))) (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x))))) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x)))))) 2)) 3.989 * [simplify]: Simplifying (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))) 3.989 * * [simplify]: iters left: 6 (11 enodes) 3.992 * * [simplify]: iters left: 5 (56 enodes) 4.002 * * [simplify]: iters left: 4 (122 enodes) 4.043 * * [simplify]: iters left: 3 (225 enodes) 4.090 * * [simplify]: iters left: 2 (300 enodes) 4.150 * * [simplify]: Extracting #0: cost 1 inf + 0 4.150 * * [simplify]: Extracting #1: cost 15 inf + 0 4.151 * * [simplify]: Extracting #2: cost 130 inf + 0 4.152 * * [simplify]: Extracting #3: cost 192 inf + 1 4.153 * * [simplify]: Extracting #4: cost 184 inf + 820 4.158 * * [simplify]: Extracting #5: cost 88 inf + 20777 4.170 * * [simplify]: Extracting #6: cost 6 inf + 39894 4.184 * * [simplify]: Extracting #7: cost 0 inf + 41526 4.197 * [simplify]: Simplified to (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (cos y) (cos y)))) 4.197 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (/ (+ (* (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (exp x) (cos y))) (* (/ (cos y) (exp x)) (* (/ (cos y) (exp x)) (/ (cos y) (exp x))))) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (cos y) (cos y))))) 2)) 4.198 * * * * [progress]: [ 56 / 69 ] simplifiying candidate # 4.198 * * * * [progress]: [ 57 / 69 ] simplifiying candidate # 4.198 * [simplify]: Simplifying (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) 4.198 * * [simplify]: iters left: 6 (9 enodes) 4.203 * * [simplify]: iters left: 5 (44 enodes) 4.222 * * [simplify]: iters left: 4 (97 enodes) 4.244 * * [simplify]: iters left: 3 (178 enodes) 4.285 * * [simplify]: iters left: 2 (258 enodes) 4.357 * * [simplify]: iters left: 1 (424 enodes) 4.474 * * [simplify]: Extracting #0: cost 1 inf + 0 4.474 * * [simplify]: Extracting #1: cost 22 inf + 0 4.475 * * [simplify]: Extracting #2: cost 108 inf + 0 4.476 * * [simplify]: Extracting #3: cost 134 inf + 466 4.478 * * [simplify]: Extracting #4: cost 119 inf + 3192 4.487 * * [simplify]: Extracting #5: cost 33 inf + 27177 4.503 * * [simplify]: Extracting #6: cost 1 inf + 36818 4.519 * * [simplify]: Extracting #7: cost 0 inf + 37150 4.534 * [simplify]: Simplified to (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (exp x) (cos y)) (* (exp x) (cos y)))) 4.534 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (/ (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (exp x) (cos y)) (* (exp x) (cos y)))) (- (/ (cos y) (exp x)) (* (cos y) (exp x)))) 2)) 4.534 * [simplify]: Simplifying (- (/ (cos y) (exp x)) (* (cos y) (exp x))) 4.534 * * [simplify]: iters left: 5 (7 enodes) 4.536 * * [simplify]: iters left: 4 (24 enodes) 4.539 * * [simplify]: iters left: 3 (33 enodes) 4.544 * * [simplify]: iters left: 2 (37 enodes) 4.549 * * [simplify]: Extracting #0: cost 1 inf + 0 4.549 * * [simplify]: Extracting #1: cost 5 inf + 0 4.549 * * [simplify]: Extracting #2: cost 12 inf + 0 4.549 * * [simplify]: Extracting #3: cost 18 inf + 0 4.549 * * [simplify]: Extracting #4: cost 13 inf + 255 4.549 * * [simplify]: Extracting #5: cost 6 inf + 1185 4.549 * * [simplify]: Extracting #6: cost 1 inf + 2054 4.550 * * [simplify]: Extracting #7: cost 0 inf + 2306 4.550 * [simplify]: Simplified to (- (/ (cos y) (exp x)) (* (exp x) (cos y))) 4.550 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (/ (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (- (/ (cos y) (exp x)) (* (exp x) (cos y)))) 2)) 4.550 * * * * [progress]: [ 58 / 69 ] simplifiying candidate # 4.550 * [simplify]: Simplifying (+ (/ 1 (exp x)) (exp x)) 4.551 * * [simplify]: iters left: 5 (5 enodes) 4.552 * * [simplify]: iters left: 4 (20 enodes) 4.555 * * [simplify]: iters left: 3 (24 enodes) 4.559 * * [simplify]: Extracting #0: cost 1 inf + 0 4.559 * * [simplify]: Extracting #1: cost 4 inf + 0 4.559 * * [simplify]: Extracting #2: cost 9 inf + 0 4.559 * * [simplify]: Extracting #3: cost 5 inf + 185 4.559 * * [simplify]: Extracting #4: cost 0 inf + 890 4.559 * [simplify]: Simplified to (+ (exp (- x)) (exp x)) 4.559 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (* (cos y) (+ (exp (- x)) (exp x))) 2)) 4.559 * * * * [progress]: [ 59 / 69 ] simplifiying candidate #real (real->posit16 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))> 4.560 * [simplify]: Simplifying (real->posit16 (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 4.560 * * [simplify]: iters left: 6 (8 enodes) 4.562 * * [simplify]: iters left: 5 (23 enodes) 4.568 * * [simplify]: Extracting #0: cost 1 inf + 0 4.568 * * [simplify]: Extracting #1: cost 2 inf + 0 4.568 * * [simplify]: Extracting #2: cost 4 inf + 0 4.568 * * [simplify]: Extracting #3: cost 8 inf + 0 4.568 * * [simplify]: Extracting #4: cost 12 inf + 0 4.569 * * [simplify]: Extracting #5: cost 10 inf + 2 4.569 * * [simplify]: Extracting #6: cost 0 inf + 1458 4.569 * [simplify]: Simplified to (real->posit16 (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 4.569 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (posit16->real (real->posit16 (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 4.569 * * * * [progress]: [ 60 / 69 ] simplifiying candidate # 4.570 * * * * [progress]: [ 61 / 69 ] simplifiying candidate # 4.570 * [simplify]: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 4.570 * * [simplify]: iters left: 6 (9 enodes) 4.576 * * [simplify]: iters left: 5 (39 enodes) 4.589 * * [simplify]: iters left: 4 (58 enodes) 4.610 * * [simplify]: iters left: 3 (96 enodes) 4.628 * * [simplify]: iters left: 2 (129 enodes) 4.646 * * [simplify]: iters left: 1 (147 enodes) 4.687 * * [simplify]: Extracting #0: cost 1 inf + 0 4.687 * * [simplify]: Extracting #1: cost 16 inf + 0 4.687 * * [simplify]: Extracting #2: cost 32 inf + 44 4.688 * * [simplify]: Extracting #3: cost 22 inf + 867 4.689 * * [simplify]: Extracting #4: cost 3 inf + 2552 4.691 * * [simplify]: Extracting #5: cost 0 inf + 3003 4.693 * [simplify]: Simplified to (- (* y (* y -1/2)) (- x 1)) 4.693 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (- (* y (* y -1/2)) (- x 1)) (* (cos y) (exp x))) 2)) 4.693 * * * * [progress]: [ 62 / 69 ] simplifiying candidate # 4.694 * [simplify]: Simplifying (/ (cos y) (exp x)) 4.694 * * [simplify]: iters left: 3 (5 enodes) 4.696 * * [simplify]: iters left: 2 (15 enodes) 4.700 * * [simplify]: Extracting #0: cost 1 inf + 0 4.700 * * [simplify]: Extracting #1: cost 4 inf + 0 4.700 * * [simplify]: Extracting #2: cost 8 inf + 0 4.700 * * [simplify]: Extracting #3: cost 4 inf + 144 4.700 * * [simplify]: Extracting #4: cost 0 inf + 610 4.701 * [simplify]: Simplified to (/ (cos y) (exp x)) 4.701 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 4.701 * * * * [progress]: [ 63 / 69 ] simplifiying candidate # 4.701 * [simplify]: Simplifying (/ (cos y) (exp x)) 4.701 * * [simplify]: iters left: 3 (5 enodes) 4.703 * * [simplify]: iters left: 2 (15 enodes) 4.709 * * [simplify]: Extracting #0: cost 1 inf + 0 4.709 * * [simplify]: Extracting #1: cost 4 inf + 0 4.709 * * [simplify]: Extracting #2: cost 8 inf + 0 4.709 * * [simplify]: Extracting #3: cost 4 inf + 144 4.709 * * [simplify]: Extracting #4: cost 0 inf + 610 4.710 * [simplify]: Simplified to (/ (cos y) (exp x)) 4.710 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 4.710 * * * * [progress]: [ 64 / 69 ] simplifiying candidate # 4.710 * [simplify]: Simplifying (- (+ x 1) (* 1/2 (pow y 2))) 4.710 * * [simplify]: iters left: 5 (9 enodes) 4.716 * * [simplify]: iters left: 4 (39 enodes) 4.730 * * [simplify]: iters left: 3 (64 enodes) 4.750 * * [simplify]: iters left: 2 (91 enodes) 4.775 * * [simplify]: iters left: 1 (103 enodes) 4.799 * * [simplify]: Extracting #0: cost 1 inf + 0 4.799 * * [simplify]: Extracting #1: cost 11 inf + 0 4.799 * * [simplify]: Extracting #2: cost 24 inf + 2 4.799 * * [simplify]: Extracting #3: cost 24 inf + 130 4.800 * * [simplify]: Extracting #4: cost 10 inf + 1117 4.801 * * [simplify]: Extracting #5: cost 0 inf + 2060 4.803 * [simplify]: Simplified to (- (+ 1 x) (* y (* 1/2 y))) 4.803 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (- (+ 1 x) (* y (* 1/2 y)))) 2)) 4.803 * * * * [progress]: [ 65 / 69 ] simplifiying candidate # 4.803 * [simplify]: Simplifying (* (exp x) (cos y)) 4.803 * * [simplify]: iters left: 3 (5 enodes) 4.805 * * [simplify]: iters left: 2 (16 enodes) 4.810 * * [simplify]: Extracting #0: cost 1 inf + 0 4.810 * * [simplify]: Extracting #1: cost 4 inf + 0 4.810 * * [simplify]: Extracting #2: cost 8 inf + 0 4.810 * * [simplify]: Extracting #3: cost 4 inf + 124 4.810 * * [simplify]: Extracting #4: cost 0 inf + 610 4.810 * [simplify]: Simplified to (* (cos y) (exp x)) 4.810 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 4.810 * * * * [progress]: [ 66 / 69 ] simplifiying candidate # 4.811 * [simplify]: Simplifying (* (exp x) (cos y)) 4.811 * * [simplify]: iters left: 3 (5 enodes) 4.813 * * [simplify]: iters left: 2 (16 enodes) 4.817 * * [simplify]: Extracting #0: cost 1 inf + 0 4.817 * * [simplify]: Extracting #1: cost 4 inf + 0 4.817 * * [simplify]: Extracting #2: cost 8 inf + 0 4.817 * * [simplify]: Extracting #3: cost 4 inf + 124 4.817 * * [simplify]: Extracting #4: cost 0 inf + 610 4.817 * [simplify]: Simplified to (* (cos y) (exp x)) 4.818 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 4.818 * * * * [progress]: [ 67 / 69 ] simplifiying candidate # 4.818 * [simplify]: Simplifying (- (+ (pow x 2) 2) (pow y 2)) 4.818 * * [simplify]: iters left: 5 (7 enodes) 4.822 * * [simplify]: iters left: 4 (34 enodes) 4.833 * * [simplify]: iters left: 3 (53 enodes) 4.849 * * [simplify]: iters left: 2 (69 enodes) 4.870 * * [simplify]: iters left: 1 (82 enodes) 4.890 * * [simplify]: Extracting #0: cost 1 inf + 0 4.890 * * [simplify]: Extracting #1: cost 11 inf + 0 4.890 * * [simplify]: Extracting #2: cost 33 inf + 1 4.891 * * [simplify]: Extracting #3: cost 29 inf + 331 4.892 * * [simplify]: Extracting #4: cost 4 inf + 2214 4.893 * * [simplify]: Extracting #5: cost 0 inf + 2744 4.894 * [simplify]: Simplified to (+ (- 2 (* y y)) (* x x)) 4.894 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (- 2 (* y y)) (* x x)) 2)) 4.895 * * * * [progress]: [ 68 / 69 ] simplifiying candidate # 4.895 * [simplify]: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 4.895 * * [simplify]: iters left: 5 (7 enodes) 4.898 * * [simplify]: iters left: 4 (23 enodes) 4.904 * * [simplify]: Extracting #0: cost 1 inf + 0 4.905 * * [simplify]: Extracting #1: cost 4 inf + 0 4.905 * * [simplify]: Extracting #2: cost 8 inf + 0 4.905 * * [simplify]: Extracting #3: cost 12 inf + 0 4.905 * * [simplify]: Extracting #4: cost 10 inf + 2 4.905 * * [simplify]: Extracting #5: cost 1 inf + 1206 4.905 * * [simplify]: Extracting #6: cost 0 inf + 1458 4.906 * [simplify]: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 4.906 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)) 4.906 * * * * [progress]: [ 69 / 69 ] simplifiying candidate # 4.906 * [simplify]: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 4.906 * * [simplify]: iters left: 5 (7 enodes) 4.909 * * [simplify]: iters left: 4 (23 enodes) 4.915 * * [simplify]: Extracting #0: cost 1 inf + 0 4.916 * * [simplify]: Extracting #1: cost 4 inf + 0 4.916 * * [simplify]: Extracting #2: cost 8 inf + 0 4.916 * * [simplify]: Extracting #3: cost 12 inf + 0 4.916 * * [simplify]: Extracting #4: cost 10 inf + 2 4.916 * * [simplify]: Extracting #5: cost 1 inf + 1206 4.916 * * [simplify]: Extracting #6: cost 0 inf + 1458 4.917 * [simplify]: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 4.917 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)) 4.917 * * * [progress]: adding candidates to table 5.527 * [progress]: [Phase 3 of 3] Extracting. 5.530 * [simplify]: Simplifying (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 5.530 * * [simplify]: iters left: 6 (9 enodes) 5.530 * * [simplify]: iters left: 5 (11 enodes) 5.531 * * [simplify]: Extracting #0: cost 1 inf + 0 5.531 * * [simplify]: Extracting #1: cost 3 inf + 0 5.531 * * [simplify]: Extracting #2: cost 4 inf + 1 5.531 * * [simplify]: Extracting #3: cost 6 inf + 1 5.531 * * [simplify]: Extracting #4: cost 8 inf + 1 5.531 * * [simplify]: Extracting #5: cost 5 inf + 74 5.531 * * [simplify]: Extracting #6: cost 0 inf + 1024 5.531 * [simplify]: Simplified to (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2) 5.531 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 5.620 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 5.625 * * * * [points]: Setting MPFR precision to 64 5.627 * * * * [points]: Setting MPFR precision to 320 5.628 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 5.633 * * * * [points]: Setting MPFR precision to 64 5.635 * * * * [points]: Setting MPFR precision to 320 5.638 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 5.640 * * * * [points]: Setting MPFR precision to 64 5.643 * * * * [points]: Setting MPFR precision to 320 5.646 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 5.648 * * * * [points]: Setting MPFR precision to 64 5.654 * * * * [points]: Setting MPFR precision to 320 5.660 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 5.662 * * * * [points]: Setting MPFR precision to 64 5.676 * * * * [points]: Setting MPFR precision to 320 5.710 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 5.712 * * * * [points]: Setting MPFR precision to 64 5.753 * * * * [points]: Setting MPFR precision to 320 5.782 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 5.785 * * * * [points]: Setting MPFR precision to 64 5.840 * * * * [points]: Setting MPFR precision to 320 5.949 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 5.952 * * * * [points]: Setting MPFR precision to 64 6.081 * * * * [points]: Setting MPFR precision to 320 6.286 * * * * [points]: Computing exacts for 8000 points 6.291 * * * * [points]: Setting MPFR precision to 64 7.012 * * * * [points]: Setting MPFR precision to 320 8.198 * * * * [points]: Filtering points with unrepresentable outputs 8.202 * * * * [points]: Sampling 3937 additional inputs, on iter 1 have 4063 / 8000 8.299 * * * * [points]: Computing exacts on every 246 of 3937 points to ramp up precision 8.302 * * * * [points]: Setting MPFR precision to 64 8.303 * * * * [points]: Setting MPFR precision to 320 8.304 * * * * [points]: Computing exacts on every 123 of 3937 points to ramp up precision 8.306 * * * * [points]: Setting MPFR precision to 64 8.307 * * * * [points]: Setting MPFR precision to 320 8.309 * * * * [points]: Computing exacts on every 61 of 3937 points to ramp up precision 8.311 * * * * [points]: Setting MPFR precision to 64 8.314 * * * * [points]: Setting MPFR precision to 320 8.317 * * * * [points]: Computing exacts on every 30 of 3937 points to ramp up precision 8.319 * * * * [points]: Setting MPFR precision to 64 8.325 * * * * [points]: Setting MPFR precision to 320 8.335 * * * * [points]: Computing exacts on every 15 of 3937 points to ramp up precision 8.338 * * * * [points]: Setting MPFR precision to 64 8.348 * * * * [points]: Setting MPFR precision to 320 8.360 * * * * [points]: Computing exacts on every 7 of 3937 points to ramp up precision 8.365 * * * * [points]: Setting MPFR precision to 64 8.403 * * * * [points]: Setting MPFR precision to 320 8.479 * * * * [points]: Computing exacts on every 3 of 3937 points to ramp up precision 8.481 * * * * [points]: Setting MPFR precision to 64 8.523 * * * * [points]: Setting MPFR precision to 320 8.599 * * * * [points]: Computing exacts for 3937 points 8.602 * * * * [points]: Setting MPFR precision to 64 8.944 * * * * [points]: Setting MPFR precision to 320 9.264 * * * * [points]: Filtering points with unrepresentable outputs 9.267 * * * * [points]: Sampling 1966 additional inputs, on iter 2 have 6034 / 8000 9.296 * * * * [points]: Computing exacts on every 122 of 1966 points to ramp up precision 9.301 * * * * [points]: Setting MPFR precision to 64 9.302 * * * * [points]: Setting MPFR precision to 320 9.303 * * * * [points]: Computing exacts on every 61 of 1966 points to ramp up precision 9.307 * * * * [points]: Setting MPFR precision to 64 9.309 * * * * [points]: Setting MPFR precision to 320 9.311 * * * * [points]: Computing exacts on every 30 of 1966 points to ramp up precision 9.344 * * * * [points]: Setting MPFR precision to 64 9.353 * * * * [points]: Setting MPFR precision to 320 9.359 * * * * [points]: Computing exacts on every 15 of 1966 points to ramp up precision 9.363 * * * * [points]: Setting MPFR precision to 64 9.373 * * * * [points]: Setting MPFR precision to 320 9.382 * * * * [points]: Computing exacts on every 7 of 1966 points to ramp up precision 9.385 * * * * [points]: Setting MPFR precision to 64 9.395 * * * * [points]: Setting MPFR precision to 320 9.406 * * * * [points]: Computing exacts on every 3 of 1966 points to ramp up precision 9.409 * * * * [points]: Setting MPFR precision to 64 9.443 * * * * [points]: Setting MPFR precision to 320 9.475 * * * * [points]: Computing exacts for 1966 points 9.477 * * * * [points]: Setting MPFR precision to 64 9.640 * * * * [points]: Setting MPFR precision to 320 9.869 * * * * [points]: Filtering points with unrepresentable outputs 9.870 * * * * [points]: Sampling 1011 additional inputs, on iter 3 have 6989 / 8000 9.886 * * * * [points]: Computing exacts on every 63 of 1011 points to ramp up precision 9.891 * * * * [points]: Setting MPFR precision to 64 9.892 * * * * [points]: Setting MPFR precision to 320 9.894 * * * * [points]: Computing exacts on every 31 of 1011 points to ramp up precision 9.898 * * * * [points]: Setting MPFR precision to 64 9.901 * * * * [points]: Setting MPFR precision to 320 9.904 * * * * [points]: Computing exacts on every 15 of 1011 points to ramp up precision 9.908 * * * * [points]: Setting MPFR precision to 64 9.914 * * * * [points]: Setting MPFR precision to 320 9.920 * * * * [points]: Computing exacts on every 7 of 1011 points to ramp up precision 9.924 * * * * [points]: Setting MPFR precision to 64 9.935 * * * * [points]: Setting MPFR precision to 320 9.947 * * * * [points]: Computing exacts on every 3 of 1011 points to ramp up precision 9.952 * * * * [points]: Setting MPFR precision to 64 9.973 * * * * [points]: Setting MPFR precision to 320 9.998 * * * * [points]: Computing exacts for 1011 points 10.003 * * * * [points]: Setting MPFR precision to 64 10.133 * * * * [points]: Setting MPFR precision to 320 10.200 * * * * [points]: Filtering points with unrepresentable outputs 10.201 * * * * [points]: Sampling 500 additional inputs, on iter 4 have 7500 / 8000 10.209 * * * * [points]: Computing exacts on every 31 of 500 points to ramp up precision 10.214 * * * * [points]: Setting MPFR precision to 64 10.215 * * * * [points]: Setting MPFR precision to 320 10.217 * * * * [points]: Computing exacts on every 15 of 500 points to ramp up precision 10.221 * * * * [points]: Setting MPFR precision to 64 10.223 * * * * [points]: Setting MPFR precision to 320 10.226 * * * * [points]: Computing exacts on every 7 of 500 points to ramp up precision 10.230 * * * * [points]: Setting MPFR precision to 64 10.235 * * * * [points]: Setting MPFR precision to 320 10.242 * * * * [points]: Computing exacts on every 3 of 500 points to ramp up precision 10.246 * * * * [points]: Setting MPFR precision to 64 10.256 * * * * [points]: Setting MPFR precision to 320 10.268 * * * * [points]: Computing exacts for 500 points 10.273 * * * * [points]: Setting MPFR precision to 64 10.362 * * * * [points]: Setting MPFR precision to 320 10.410 * * * * [points]: Filtering points with unrepresentable outputs 10.411 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000 10.415 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision 10.419 * * * * [points]: Setting MPFR precision to 64 10.420 * * * * [points]: Setting MPFR precision to 320 10.422 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision 10.426 * * * * [points]: Setting MPFR precision to 64 10.429 * * * * [points]: Setting MPFR precision to 320 10.432 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision 10.436 * * * * [points]: Setting MPFR precision to 64 10.441 * * * * [points]: Setting MPFR precision to 320 10.444 * * * * [points]: Computing exacts for 237 points 10.446 * * * * [points]: Setting MPFR precision to 64 10.456 * * * * [points]: Setting MPFR precision to 320 10.468 * * * * [points]: Filtering points with unrepresentable outputs 10.468 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 7873 / 8000 10.470 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision 10.475 * * * * [points]: Setting MPFR precision to 64 10.476 * * * * [points]: Setting MPFR precision to 320 10.478 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision 10.481 * * * * [points]: Setting MPFR precision to 64 10.484 * * * * [points]: Setting MPFR precision to 320 10.488 * * * * [points]: Computing exacts for 127 points 10.492 * * * * [points]: Setting MPFR precision to 64 10.500 * * * * [points]: Setting MPFR precision to 320 10.511 * * * * [points]: Filtering points with unrepresentable outputs 10.512 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000 10.513 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 10.516 * * * * [points]: Setting MPFR precision to 64 10.518 * * * * [points]: Setting MPFR precision to 320 10.519 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 10.523 * * * * [points]: Setting MPFR precision to 64 10.568 * * * * [points]: Setting MPFR precision to 320 10.571 * * * * [points]: Computing exacts for 70 points 10.575 * * * * [points]: Setting MPFR precision to 64 10.585 * * * * [points]: Setting MPFR precision to 320 10.592 * * * * [points]: Filtering points with unrepresentable outputs 10.592 * * * * [points]: Sampling 29 additional inputs, on iter 8 have 7971 / 8000 10.592 * * * * [points]: Computing exacts for 29 points 10.597 * * * * [points]: Setting MPFR precision to 64 10.599 * * * * [points]: Setting MPFR precision to 320 10.602 * * * * [points]: Filtering points with unrepresentable outputs 10.602 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 10.602 * * * * [points]: Computing exacts for 16 points 10.607 * * * * [points]: Setting MPFR precision to 64 10.608 * * * * [points]: Setting MPFR precision to 320 10.610 * * * * [points]: Filtering points with unrepresentable outputs 10.610 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 10.610 * * * * [points]: Computing exacts for 8 points 10.614 * * * * [points]: Setting MPFR precision to 64 10.615 * * * * [points]: Setting MPFR precision to 320 10.616 * * * * [points]: Filtering points with unrepresentable outputs 10.616 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 10.616 * * * * [points]: Computing exacts for 4 points 10.621 * * * * [points]: Setting MPFR precision to 64 10.622 * * * * [points]: Setting MPFR precision to 320 10.622 * * * * [points]: Filtering points with unrepresentable outputs 10.622 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 10.622 * * * * [points]: Computing exacts for 4 points 10.626 * * * * [points]: Setting MPFR precision to 64 10.627 * * * * [points]: Setting MPFR precision to 320 10.627 * * * * [points]: Filtering points with unrepresentable outputs 10.627 * * * * [points]: Sampled 8001 points with exact outputs 11.259 * [regime-testing]: Baseline error score: 0.010875 11.262 * [regime-testing]: Oracle error score: 0.010875 11.262 * [regime-testing]: End program error score: 0.010875