0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [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.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.012 * * * * [points]: Setting MPFR precision to 320 0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.017 * * * * [points]: Setting MPFR precision to 64 0.019 * * * * [points]: Setting MPFR precision to 320 0.021 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.023 * * * * [points]: Setting MPFR precision to 64 0.030 * * * * [points]: Setting MPFR precision to 320 0.037 * * * * [points]: Computing exacts for 256 points 0.042 * * * * [points]: Setting MPFR precision to 64 0.055 * * * * [points]: Setting MPFR precision to 320 0.067 * * * * [points]: Filtering points with unrepresentable outputs 0.067 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256 0.068 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision 0.071 * * * * [points]: Setting MPFR precision to 64 0.071 * * * * [points]: Setting MPFR precision to 320 0.072 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision 0.075 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.078 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision 0.082 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.091 * * * * [points]: Computing exacts for 133 points 0.095 * * * * [points]: Setting MPFR precision to 64 0.106 * * * * [points]: Setting MPFR precision to 320 0.151 * * * * [points]: Filtering points with unrepresentable outputs 0.151 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256 0.152 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 0.160 * * * * [points]: Setting MPFR precision to 64 0.161 * * * * [points]: Setting MPFR precision to 320 0.162 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 0.167 * * * * [points]: Setting MPFR precision to 64 0.169 * * * * [points]: Setting MPFR precision to 320 0.171 * * * * [points]: Computing exacts for 64 points 0.175 * * * * [points]: Setting MPFR precision to 64 0.181 * * * * [points]: Setting MPFR precision to 320 0.187 * * * * [points]: Filtering points with unrepresentable outputs 0.187 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 0.188 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.193 * * * * [points]: Setting MPFR precision to 64 0.194 * * * * [points]: Setting MPFR precision to 320 0.195 * * * * [points]: Computing exacts for 33 points 0.198 * * * * [points]: Setting MPFR precision to 64 0.199 * * * * [points]: Setting MPFR precision to 320 0.201 * * * * [points]: Filtering points with unrepresentable outputs 0.201 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256 0.201 * * * * [points]: Computing exacts for 10 points 0.203 * * * * [points]: Setting MPFR precision to 64 0.204 * * * * [points]: Setting MPFR precision to 320 0.204 * * * * [points]: Filtering points with unrepresentable outputs 0.204 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256 0.204 * * * * [points]: Computing exacts for 4 points 0.207 * * * * [points]: Setting MPFR precision to 64 0.207 * * * * [points]: Setting MPFR precision to 320 0.207 * * * * [points]: Filtering points with unrepresentable outputs 0.207 * * * * [points]: Sampled 256 points with exact outputs 0.207 * * * [progress]: [2/2] Setting up program. 0.211 * [progress]: [Phase 2 of 3] Improving. 0.211 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.212 * [simplify]: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 0.212 * * [simplify]: iters left: 6 (16 enodes) 0.215 * * [simplify]: iters left: 5 (58 enodes) 0.225 * * [simplify]: iters left: 4 (88 enodes) 0.250 * * [simplify]: iters left: 3 (132 enodes) 0.309 * * [simplify]: iters left: 2 (194 enodes) 0.339 * * [simplify]: iters left: 1 (263 enodes) 0.416 * * [simplify]: Extracting #0: cost 1 inf + 0 0.416 * * [simplify]: Extracting #1: cost 12 inf + 0 0.417 * * [simplify]: Extracting #2: cost 23 inf + 2 0.417 * * [simplify]: Extracting #3: cost 45 inf + 64 0.417 * * [simplify]: Extracting #4: cost 83 inf + 462 0.420 * * [simplify]: Extracting #5: cost 49 inf + 8524 0.425 * * [simplify]: Extracting #6: cost 4 inf + 15962 0.431 * * [simplify]: Extracting #7: cost 0 inf + 16990 0.437 * * [simplify]: Extracting #8: cost 0 inf + 16950 0.443 * [simplify]: Simplified to (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 0.443 * [simplify]: Simplified (2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 0.452 * * [progress]: iteration 1 / 4 0.452 * * * [progress]: picking best candidate 0.455 * * * * [pick]: Picked # 0.455 * * * [progress]: localizing error 0.473 * * * [progress]: generating rewritten candidates 0.473 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.485 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.512 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.551 * * * [progress]: generating series expansions 0.551 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.551 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x)) 0.552 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0 0.552 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 0.552 * [taylor]: Taking taylor expansion of (cos y) in x 0.552 * [taylor]: Taking taylor expansion of y in x 0.552 * [backup-simplify]: Simplify y into y 0.552 * [backup-simplify]: Simplify (cos y) into (cos y) 0.552 * [backup-simplify]: Simplify (sin y) into (sin y) 0.552 * [taylor]: Taking taylor expansion of (exp x) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.552 * [backup-simplify]: Simplify 0 into 0 0.552 * [backup-simplify]: Simplify 1 into 1 0.552 * [backup-simplify]: Simplify (exp 0) into 1 0.553 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 0.553 * [backup-simplify]: Simplify (* (sin y) 0) into 0 0.554 * [backup-simplify]: Simplify (- 0) into 0 0.554 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 0.554 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 0.554 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.554 * [taylor]: Taking taylor expansion of (cos y) in y 0.554 * [taylor]: Taking taylor expansion of y in y 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [backup-simplify]: Simplify 1 into 1 0.554 * [taylor]: Taking taylor expansion of (exp x) in y 0.554 * [taylor]: Taking taylor expansion of x in y 0.554 * [backup-simplify]: Simplify x into x 0.554 * [backup-simplify]: Simplify (exp x) into (exp x) 0.554 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.554 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.554 * [taylor]: Taking taylor expansion of (cos y) in y 0.554 * [taylor]: Taking taylor expansion of y in y 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [backup-simplify]: Simplify 1 into 1 0.554 * [taylor]: Taking taylor expansion of (exp x) in y 0.554 * [taylor]: Taking taylor expansion of x in y 0.554 * [backup-simplify]: Simplify x into x 0.554 * [backup-simplify]: Simplify (exp x) into (exp x) 0.554 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.555 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.555 * [taylor]: Taking taylor expansion of (exp x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify 1 into 1 0.555 * [backup-simplify]: Simplify (exp 0) into 1 0.555 * [backup-simplify]: Simplify (/ 1 1) into 1 0.555 * [backup-simplify]: Simplify 1 into 1 0.557 * [backup-simplify]: Simplify (+ 0) into 0 0.558 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.558 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 0.558 * [taylor]: Taking taylor expansion of 0 in x 0.558 * [backup-simplify]: Simplify 0 into 0 0.558 * [backup-simplify]: Simplify 0 into 0 0.560 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.561 * [backup-simplify]: Simplify -1 into -1 0.563 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.564 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.565 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 0.565 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x 0.565 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 0.565 * [taylor]: Taking taylor expansion of 1/2 in x 0.565 * [backup-simplify]: Simplify 1/2 into 1/2 0.565 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.565 * [taylor]: Taking taylor expansion of (exp x) in x 0.565 * [taylor]: Taking taylor expansion of x in x 0.565 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify 1 into 1 0.565 * [backup-simplify]: Simplify (exp 0) into 1 0.565 * [backup-simplify]: Simplify (/ 1 1) into 1 0.566 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.567 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.567 * [backup-simplify]: Simplify -1/2 into -1/2 0.567 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x)) 0.567 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.567 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0 0.567 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.567 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.567 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.567 * [taylor]: Taking taylor expansion of y in x 0.567 * [backup-simplify]: Simplify y into y 0.567 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.567 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.568 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.568 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify 1 into 1 0.568 * [backup-simplify]: Simplify (/ 1 1) into 1 0.568 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.568 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.568 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.569 * [backup-simplify]: Simplify (- 0) into 0 0.569 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.569 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.569 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.569 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.569 * [taylor]: Taking taylor expansion of y in y 0.569 * [backup-simplify]: Simplify 0 into 0 0.569 * [backup-simplify]: Simplify 1 into 1 0.570 * [backup-simplify]: Simplify (/ 1 1) into 1 0.570 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.570 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.570 * [taylor]: Taking taylor expansion of x in y 0.570 * [backup-simplify]: Simplify x into x 0.570 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.570 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.570 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.570 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.570 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.570 * [taylor]: Taking taylor expansion of y in y 0.570 * [backup-simplify]: Simplify 0 into 0 0.570 * [backup-simplify]: Simplify 1 into 1 0.571 * [backup-simplify]: Simplify (/ 1 1) into 1 0.571 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.571 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.571 * [taylor]: Taking taylor expansion of x in y 0.571 * [backup-simplify]: Simplify x into x 0.571 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.571 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.571 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.571 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.571 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.571 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.571 * [taylor]: Taking taylor expansion of y in x 0.571 * [backup-simplify]: Simplify y into y 0.571 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.572 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.572 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify 1 into 1 0.572 * [backup-simplify]: Simplify (/ 1 1) into 1 0.572 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.572 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.573 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.573 * [backup-simplify]: Simplify (- 0) into 0 0.573 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.573 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.573 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.574 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.575 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.575 * [taylor]: Taking taylor expansion of 0 in x 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify (+ 0) into 0 0.576 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.577 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.578 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.578 * [backup-simplify]: Simplify (- 0) into 0 0.578 * [backup-simplify]: Simplify (+ 0 0) into 0 0.579 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.581 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.581 * [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.581 * [taylor]: Taking taylor expansion of 0 in x 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 0 into 0 0.582 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.583 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.584 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.585 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.585 * [backup-simplify]: Simplify (- 0) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.586 * [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.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.588 * [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.589 * [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.589 * [taylor]: Taking taylor expansion of 0 in x 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x)) 0.589 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.589 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0 0.589 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.589 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.589 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.589 * [taylor]: Taking taylor expansion of -1 in x 0.589 * [backup-simplify]: Simplify -1 into -1 0.589 * [taylor]: Taking taylor expansion of y in x 0.589 * [backup-simplify]: Simplify y into y 0.589 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.589 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.590 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.590 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.590 * [taylor]: Taking taylor expansion of -1 in x 0.590 * [backup-simplify]: Simplify -1 into -1 0.590 * [taylor]: Taking taylor expansion of x in x 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 1 into 1 0.590 * [backup-simplify]: Simplify (/ -1 1) into -1 0.590 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.590 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.591 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.591 * [backup-simplify]: Simplify (- 0) into 0 0.591 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.591 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.591 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.591 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.591 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.591 * [taylor]: Taking taylor expansion of -1 in y 0.591 * [backup-simplify]: Simplify -1 into -1 0.591 * [taylor]: Taking taylor expansion of y in y 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.592 * [backup-simplify]: Simplify (/ -1 1) into -1 0.592 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.592 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.592 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.592 * [taylor]: Taking taylor expansion of -1 in y 0.592 * [backup-simplify]: Simplify -1 into -1 0.592 * [taylor]: Taking taylor expansion of x in y 0.592 * [backup-simplify]: Simplify x into x 0.592 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.592 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.592 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.593 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.593 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.593 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.593 * [taylor]: Taking taylor expansion of -1 in y 0.593 * [backup-simplify]: Simplify -1 into -1 0.593 * [taylor]: Taking taylor expansion of y in y 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify 1 into 1 0.593 * [backup-simplify]: Simplify (/ -1 1) into -1 0.593 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.593 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.593 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.593 * [taylor]: Taking taylor expansion of -1 in y 0.593 * [backup-simplify]: Simplify -1 into -1 0.593 * [taylor]: Taking taylor expansion of x in y 0.593 * [backup-simplify]: Simplify x into x 0.594 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.594 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.594 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.594 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.594 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.594 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.594 * [taylor]: Taking taylor expansion of -1 in x 0.594 * [backup-simplify]: Simplify -1 into -1 0.594 * [taylor]: Taking taylor expansion of y in x 0.594 * [backup-simplify]: Simplify y into y 0.594 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.594 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.594 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.594 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.594 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.594 * [taylor]: Taking taylor expansion of -1 in x 0.594 * [backup-simplify]: Simplify -1 into -1 0.594 * [taylor]: Taking taylor expansion of x in x 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify 1 into 1 0.595 * [backup-simplify]: Simplify (/ -1 1) into -1 0.595 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.595 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.595 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.596 * [backup-simplify]: Simplify (- 0) into 0 0.596 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.596 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.596 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.596 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.597 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.598 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.598 * [taylor]: Taking taylor expansion of 0 in x 0.598 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify (+ 0) into 0 0.599 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.599 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.600 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.601 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.601 * [backup-simplify]: Simplify (- 0) into 0 0.601 * [backup-simplify]: Simplify (+ 0 0) into 0 0.602 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.602 * [backup-simplify]: Simplify 0 into 0 0.602 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.603 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.604 * [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.604 * [taylor]: Taking taylor expansion of 0 in x 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 0 into 0 0.605 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.606 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.606 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.607 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.607 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.608 * [backup-simplify]: Simplify (- 0) into 0 0.608 * [backup-simplify]: Simplify (+ 0 0) into 0 0.608 * [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.609 * [backup-simplify]: Simplify 0 into 0 0.609 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.610 * [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.611 * [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.611 * [taylor]: Taking taylor expansion of 0 in x 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x)) 0.611 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.611 * [backup-simplify]: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y)) 0.611 * [approximate]: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0 0.611 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x 0.611 * [taylor]: Taking taylor expansion of (exp x) in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 1 into 1 0.611 * [backup-simplify]: Simplify (exp 0) into 1 0.612 * [taylor]: Taking taylor expansion of (cos y) in x 0.612 * [taylor]: Taking taylor expansion of y in x 0.612 * [backup-simplify]: Simplify y into y 0.612 * [backup-simplify]: Simplify (cos y) into (cos y) 0.612 * [backup-simplify]: Simplify (sin y) into (sin y) 0.612 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.612 * [taylor]: Taking taylor expansion of (exp x) in y 0.612 * [taylor]: Taking taylor expansion of x in y 0.612 * [backup-simplify]: Simplify x into x 0.612 * [backup-simplify]: Simplify (exp x) into (exp x) 0.612 * [taylor]: Taking taylor expansion of (cos y) in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify 1 into 1 0.612 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.612 * [taylor]: Taking taylor expansion of (exp x) in y 0.612 * [taylor]: Taking taylor expansion of x in y 0.612 * [backup-simplify]: Simplify x into x 0.612 * [backup-simplify]: Simplify (exp x) into (exp x) 0.612 * [taylor]: Taking taylor expansion of (cos y) in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify 1 into 1 0.612 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x) 0.612 * [taylor]: Taking taylor expansion of (exp x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify 1 into 1 0.612 * [backup-simplify]: Simplify (exp 0) into 1 0.612 * [backup-simplify]: Simplify 1 into 1 0.613 * [backup-simplify]: Simplify (+ 0) into 0 0.614 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.614 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 0.614 * [taylor]: Taking taylor expansion of 0 in x 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.615 * [backup-simplify]: Simplify 1 into 1 0.616 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.618 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.618 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 0.619 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp x))) in x 0.619 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 0.619 * [taylor]: Taking taylor expansion of 1/2 in x 0.619 * [backup-simplify]: Simplify 1/2 into 1/2 0.619 * [taylor]: Taking taylor expansion of (exp x) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.619 * [backup-simplify]: Simplify (exp 0) into 1 0.619 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.620 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.620 * [backup-simplify]: Simplify -1/2 into -1/2 0.620 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2))) 0.620 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.620 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0 0.620 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 0.620 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.620 * [taylor]: Taking taylor expansion of x in x 0.620 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify 1 into 1 0.621 * [backup-simplify]: Simplify (/ 1 1) into 1 0.621 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.621 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.621 * [taylor]: Taking taylor expansion of y in x 0.621 * [backup-simplify]: Simplify y into y 0.621 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.621 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.621 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.621 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 0.621 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.621 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.621 * [taylor]: Taking taylor expansion of x in y 0.621 * [backup-simplify]: Simplify x into x 0.621 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.621 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.621 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.621 * [taylor]: Taking taylor expansion of y in y 0.621 * [backup-simplify]: Simplify 0 into 0 0.621 * [backup-simplify]: Simplify 1 into 1 0.622 * [backup-simplify]: Simplify (/ 1 1) into 1 0.622 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.622 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 0.622 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.622 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.622 * [taylor]: Taking taylor expansion of x in y 0.622 * [backup-simplify]: Simplify x into x 0.622 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.622 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.622 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.622 * [taylor]: Taking taylor expansion of y in y 0.622 * [backup-simplify]: Simplify 0 into 0 0.622 * [backup-simplify]: Simplify 1 into 1 0.623 * [backup-simplify]: Simplify (/ 1 1) into 1 0.623 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.623 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.623 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 0.623 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.623 * [taylor]: Taking taylor expansion of x in x 0.623 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify 1 into 1 0.624 * [backup-simplify]: Simplify (/ 1 1) into 1 0.624 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.624 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.624 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.624 * [taylor]: Taking taylor expansion of y in x 0.624 * [backup-simplify]: Simplify y into y 0.624 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.624 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.624 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.624 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.624 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.625 * [backup-simplify]: Simplify (- 0) into 0 0.625 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.625 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.625 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.625 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.626 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.626 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 0.626 * [taylor]: Taking taylor expansion of 0 in x 0.626 * [backup-simplify]: Simplify 0 into 0 0.626 * [backup-simplify]: Simplify 0 into 0 0.627 * [backup-simplify]: Simplify (+ 0) into 0 0.627 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.628 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.628 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.629 * [backup-simplify]: Simplify (- 0) into 0 0.629 * [backup-simplify]: Simplify (+ 0 0) into 0 0.629 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 0.629 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.631 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.631 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 0.631 * [taylor]: Taking taylor expansion of 0 in x 0.631 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.633 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.634 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.635 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.635 * [backup-simplify]: Simplify (- 0) into 0 0.635 * [backup-simplify]: Simplify (+ 0 0) into 0 0.636 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 0.636 * [backup-simplify]: Simplify 0 into 0 0.636 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.638 * [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.639 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 0.639 * [taylor]: Taking taylor expansion of 0 in x 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y)) 0.639 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.639 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0 0.639 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 0.639 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.639 * [taylor]: Taking taylor expansion of -1 in x 0.639 * [backup-simplify]: Simplify -1 into -1 0.639 * [taylor]: Taking taylor expansion of x in x 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify (/ -1 1) into -1 0.640 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.640 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.640 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.640 * [taylor]: Taking taylor expansion of -1 in x 0.640 * [backup-simplify]: Simplify -1 into -1 0.640 * [taylor]: Taking taylor expansion of y in x 0.640 * [backup-simplify]: Simplify y into y 0.640 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.640 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.640 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.640 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 0.640 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.640 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.640 * [taylor]: Taking taylor expansion of -1 in y 0.641 * [backup-simplify]: Simplify -1 into -1 0.641 * [taylor]: Taking taylor expansion of x in y 0.641 * [backup-simplify]: Simplify x into x 0.641 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.641 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.641 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.641 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.641 * [taylor]: Taking taylor expansion of -1 in y 0.641 * [backup-simplify]: Simplify -1 into -1 0.641 * [taylor]: Taking taylor expansion of y in y 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.641 * [backup-simplify]: Simplify (/ -1 1) into -1 0.641 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.641 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 0.641 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.642 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.642 * [taylor]: Taking taylor expansion of -1 in y 0.642 * [backup-simplify]: Simplify -1 into -1 0.642 * [taylor]: Taking taylor expansion of x in y 0.642 * [backup-simplify]: Simplify x into x 0.642 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.642 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.642 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.642 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.642 * [taylor]: Taking taylor expansion of -1 in y 0.642 * [backup-simplify]: Simplify -1 into -1 0.642 * [taylor]: Taking taylor expansion of y in y 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify 1 into 1 0.642 * [backup-simplify]: Simplify (/ -1 1) into -1 0.642 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.643 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.643 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 0.643 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.643 * [taylor]: Taking taylor expansion of -1 in x 0.643 * [backup-simplify]: Simplify -1 into -1 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [backup-simplify]: Simplify 0 into 0 0.643 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify (/ -1 1) into -1 0.643 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.643 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.643 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.643 * [taylor]: Taking taylor expansion of -1 in x 0.643 * [backup-simplify]: Simplify -1 into -1 0.643 * [taylor]: Taking taylor expansion of y in x 0.644 * [backup-simplify]: Simplify y into y 0.644 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.644 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.644 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.644 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.644 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.644 * [backup-simplify]: Simplify (- 0) into 0 0.644 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.644 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.645 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.645 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.646 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.646 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 0.646 * [taylor]: Taking taylor expansion of 0 in x 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify (+ 0) into 0 0.647 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.647 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.648 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.648 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.649 * [backup-simplify]: Simplify (- 0) into 0 0.649 * [backup-simplify]: Simplify (+ 0 0) into 0 0.649 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.651 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.651 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.652 * [taylor]: Taking taylor expansion of 0 in x 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.653 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.654 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.654 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.655 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.655 * [backup-simplify]: Simplify (- 0) into 0 0.656 * [backup-simplify]: Simplify (+ 0 0) into 0 0.656 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.659 * [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.659 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 0.659 * [taylor]: Taking taylor expansion of 0 in x 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y)) 0.660 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.660 * [backup-simplify]: Simplify (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 0.660 * [approximate]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0 0.660 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x 0.660 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x 0.660 * [taylor]: Taking taylor expansion of (cos y) in x 0.660 * [taylor]: Taking taylor expansion of y in x 0.660 * [backup-simplify]: Simplify y into y 0.660 * [backup-simplify]: Simplify (cos y) into (cos y) 0.660 * [backup-simplify]: Simplify (sin y) into (sin y) 0.660 * [taylor]: Taking taylor expansion of (exp x) in x 0.660 * [taylor]: Taking taylor expansion of x in x 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 1 into 1 0.660 * [backup-simplify]: Simplify (exp 0) into 1 0.661 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 0.661 * [backup-simplify]: Simplify (* (sin y) 0) into 0 0.661 * [backup-simplify]: Simplify (- 0) into 0 0.661 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 0.661 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y) 0.661 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x 0.661 * [taylor]: Taking taylor expansion of (exp x) in x 0.661 * [taylor]: Taking taylor expansion of x in x 0.661 * [backup-simplify]: Simplify 0 into 0 0.661 * [backup-simplify]: Simplify 1 into 1 0.661 * [backup-simplify]: Simplify (exp 0) into 1 0.661 * [taylor]: Taking taylor expansion of (cos y) in x 0.661 * [taylor]: Taking taylor expansion of y in x 0.661 * [backup-simplify]: Simplify y into y 0.661 * [backup-simplify]: Simplify (cos y) into (cos y) 0.661 * [backup-simplify]: Simplify (sin y) into (sin y) 0.662 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 0.662 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.662 * [taylor]: Taking taylor expansion of (cos y) in y 0.662 * [taylor]: Taking taylor expansion of y in y 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [taylor]: Taking taylor expansion of (exp x) in y 0.662 * [taylor]: Taking taylor expansion of x in y 0.662 * [backup-simplify]: Simplify x into x 0.662 * [backup-simplify]: Simplify (exp x) into (exp x) 0.662 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.662 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.662 * [taylor]: Taking taylor expansion of (exp x) in y 0.662 * [taylor]: Taking taylor expansion of x in y 0.662 * [backup-simplify]: Simplify x into x 0.662 * [backup-simplify]: Simplify (exp x) into (exp x) 0.662 * [taylor]: Taking taylor expansion of (cos y) in y 0.662 * [taylor]: Taking taylor expansion of y in y 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y 0.662 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y 0.662 * [taylor]: Taking taylor expansion of (cos y) in y 0.662 * [taylor]: Taking taylor expansion of y in y 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [taylor]: Taking taylor expansion of (exp x) in y 0.662 * [taylor]: Taking taylor expansion of x in y 0.662 * [backup-simplify]: Simplify x into x 0.662 * [backup-simplify]: Simplify (exp x) into (exp x) 0.663 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x)) 0.663 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y 0.663 * [taylor]: Taking taylor expansion of (exp x) in y 0.663 * [taylor]: Taking taylor expansion of x in y 0.663 * [backup-simplify]: Simplify x into x 0.663 * [backup-simplify]: Simplify (exp x) into (exp x) 0.663 * [taylor]: Taking taylor expansion of (cos y) in y 0.663 * [taylor]: Taking taylor expansion of y in y 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x) 0.663 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x))) 0.663 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x 0.663 * [taylor]: Taking taylor expansion of (exp x) in x 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (exp 0) into 1 0.663 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.663 * [taylor]: Taking taylor expansion of (exp x) in x 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (exp 0) into 1 0.664 * [backup-simplify]: Simplify (/ 1 1) into 1 0.664 * [backup-simplify]: Simplify (+ 1 1) into 2 0.664 * [backup-simplify]: Simplify 2 into 2 0.665 * [backup-simplify]: Simplify (+ 0) into 0 0.666 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.666 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0 0.666 * [backup-simplify]: Simplify (+ 0) into 0 0.671 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0 0.672 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0 0.672 * [backup-simplify]: Simplify (+ 0 0) into 0 0.672 * [taylor]: Taking taylor expansion of 0 in x 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.674 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 0.676 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.676 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.678 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.678 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x)))) 0.679 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.681 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.681 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x))) 0.682 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) 0.682 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x 0.682 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x 0.682 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 0.682 * [taylor]: Taking taylor expansion of 1/2 in x 0.682 * [backup-simplify]: Simplify 1/2 into 1/2 0.682 * [taylor]: Taking taylor expansion of (exp x) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 1 into 1 0.682 * [backup-simplify]: Simplify (exp 0) into 1 0.682 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x 0.682 * [taylor]: Taking taylor expansion of 1/2 in x 0.682 * [backup-simplify]: Simplify 1/2 into 1/2 0.682 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.682 * [taylor]: Taking taylor expansion of (exp x) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 1 into 1 0.682 * [backup-simplify]: Simplify (exp 0) into 1 0.683 * [backup-simplify]: Simplify (/ 1 1) into 1 0.683 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.683 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.684 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 0.684 * [backup-simplify]: Simplify (- 1) into -1 0.684 * [backup-simplify]: Simplify -1 into -1 0.684 * [backup-simplify]: Simplify 0 into 0 0.686 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.688 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 0.689 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 0.689 * [backup-simplify]: Simplify 1 into 1 0.689 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2)) 0.690 * [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)))) 0.690 * [approximate]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0 0.690 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 0.690 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 0.690 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 1 into 1 0.690 * [backup-simplify]: Simplify (/ 1 1) into 1 0.690 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.690 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.690 * [taylor]: Taking taylor expansion of y in x 0.691 * [backup-simplify]: Simplify y into y 0.691 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.691 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.691 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.691 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.691 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.691 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.691 * [taylor]: Taking taylor expansion of y in x 0.691 * [backup-simplify]: Simplify y into y 0.691 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.691 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.691 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.691 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.691 * [taylor]: Taking taylor expansion of x in x 0.691 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify 1 into 1 0.692 * [backup-simplify]: Simplify (/ 1 1) into 1 0.692 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.692 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.692 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.692 * [backup-simplify]: Simplify (- 0) into 0 0.692 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.692 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.692 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 0.692 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 0.692 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.692 * [taylor]: Taking taylor expansion of x in y 0.693 * [backup-simplify]: Simplify x into x 0.693 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.693 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.693 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.693 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.693 * [taylor]: Taking taylor expansion of y in y 0.693 * [backup-simplify]: Simplify 0 into 0 0.693 * [backup-simplify]: Simplify 1 into 1 0.693 * [backup-simplify]: Simplify (/ 1 1) into 1 0.693 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.693 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.693 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.693 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.693 * [taylor]: Taking taylor expansion of y in y 0.693 * [backup-simplify]: Simplify 0 into 0 0.693 * [backup-simplify]: Simplify 1 into 1 0.694 * [backup-simplify]: Simplify (/ 1 1) into 1 0.694 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.694 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.694 * [taylor]: Taking taylor expansion of x in y 0.694 * [backup-simplify]: Simplify x into x 0.694 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.694 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.694 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.694 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y 0.694 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y 0.694 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.694 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.694 * [taylor]: Taking taylor expansion of x in y 0.694 * [backup-simplify]: Simplify x into x 0.694 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.694 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.694 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.695 * [taylor]: Taking taylor expansion of y in y 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [backup-simplify]: Simplify (/ 1 1) into 1 0.695 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.695 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y 0.695 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.695 * [taylor]: Taking taylor expansion of y in y 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.696 * [backup-simplify]: Simplify (/ 1 1) into 1 0.696 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.696 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.696 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.696 * [taylor]: Taking taylor expansion of x in y 0.696 * [backup-simplify]: Simplify x into x 0.696 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.696 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.696 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.696 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.696 * [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)))) 0.696 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x 0.696 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x 0.697 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 1 into 1 0.697 * [backup-simplify]: Simplify (/ 1 1) into 1 0.697 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.697 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.697 * [taylor]: Taking taylor expansion of y in x 0.697 * [backup-simplify]: Simplify y into y 0.697 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.697 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.697 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.697 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x 0.697 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.697 * [taylor]: Taking taylor expansion of y in x 0.697 * [backup-simplify]: Simplify y into y 0.698 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.698 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.698 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.698 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify 1 into 1 0.698 * [backup-simplify]: Simplify (/ 1 1) into 1 0.698 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.698 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.698 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.699 * [backup-simplify]: Simplify (- 0) into 0 0.699 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.699 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x))) 0.699 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.699 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.700 * [backup-simplify]: Simplify (- 0) into 0 0.700 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.700 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y))) 0.700 * [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)))) 0.700 * [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)))) 0.701 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.701 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.702 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 0.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.702 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.703 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.703 * [backup-simplify]: Simplify (+ 0 0) into 0 0.703 * [taylor]: Taking taylor expansion of 0 in x 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify (+ 0) into 0 0.704 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.705 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.705 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.706 * [backup-simplify]: Simplify (- 0) into 0 0.706 * [backup-simplify]: Simplify (+ 0 0) into 0 0.706 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0 0.707 * [backup-simplify]: Simplify (+ 0) into 0 0.707 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.708 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.709 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.709 * [backup-simplify]: Simplify (- 0) into 0 0.709 * [backup-simplify]: Simplify (+ 0 0) into 0 0.710 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0 0.710 * [backup-simplify]: Simplify (+ 0 0) into 0 0.710 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.711 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.712 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 0.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.713 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.713 * [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.713 * [backup-simplify]: Simplify (+ 0 0) into 0 0.713 * [taylor]: Taking taylor expansion of 0 in x 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.714 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.714 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.715 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.715 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.715 * [backup-simplify]: Simplify (- 0) into 0 0.716 * [backup-simplify]: Simplify (+ 0 0) into 0 0.716 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0 0.716 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.717 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.718 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.718 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.718 * [backup-simplify]: Simplify (- 0) into 0 0.719 * [backup-simplify]: Simplify (+ 0 0) into 0 0.719 * [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.719 * [backup-simplify]: Simplify (+ 0 0) into 0 0.719 * [backup-simplify]: Simplify 0 into 0 0.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.720 * [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.721 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0 0.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.722 * [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.722 * [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.722 * [backup-simplify]: Simplify (+ 0 0) into 0 0.722 * [taylor]: Taking taylor expansion of 0 in x 0.722 * [backup-simplify]: Simplify 0 into 0 0.722 * [backup-simplify]: Simplify 0 into 0 0.722 * [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))) 0.723 * [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)))) 0.723 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0 0.723 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 0.723 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.723 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.723 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.723 * [taylor]: Taking taylor expansion of -1 in x 0.723 * [backup-simplify]: Simplify -1 into -1 0.723 * [taylor]: Taking taylor expansion of y in x 0.723 * [backup-simplify]: Simplify y into y 0.723 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.723 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.723 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.723 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.723 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.723 * [taylor]: Taking taylor expansion of -1 in x 0.723 * [backup-simplify]: Simplify -1 into -1 0.723 * [taylor]: Taking taylor expansion of x in x 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 1 into 1 0.723 * [backup-simplify]: Simplify (/ -1 1) into -1 0.723 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.723 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.723 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.724 * [backup-simplify]: Simplify (- 0) into 0 0.724 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.724 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.724 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 0.724 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.724 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.724 * [taylor]: Taking taylor expansion of -1 in x 0.724 * [backup-simplify]: Simplify -1 into -1 0.724 * [taylor]: Taking taylor expansion of x in x 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify 1 into 1 0.724 * [backup-simplify]: Simplify (/ -1 1) into -1 0.724 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.724 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.724 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.724 * [taylor]: Taking taylor expansion of -1 in x 0.724 * [backup-simplify]: Simplify -1 into -1 0.724 * [taylor]: Taking taylor expansion of y in x 0.724 * [backup-simplify]: Simplify y into y 0.724 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.724 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.724 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.724 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 0.724 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.724 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.724 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.724 * [taylor]: Taking taylor expansion of -1 in y 0.724 * [backup-simplify]: Simplify -1 into -1 0.724 * [taylor]: Taking taylor expansion of y in y 0.724 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 1 into 1 0.725 * [backup-simplify]: Simplify (/ -1 1) into -1 0.725 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.725 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.725 * [taylor]: Taking taylor expansion of -1 in y 0.725 * [backup-simplify]: Simplify -1 into -1 0.725 * [taylor]: Taking taylor expansion of x in y 0.725 * [backup-simplify]: Simplify x into x 0.725 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.725 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.725 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.725 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 0.725 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.725 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.725 * [taylor]: Taking taylor expansion of -1 in y 0.725 * [backup-simplify]: Simplify -1 into -1 0.725 * [taylor]: Taking taylor expansion of x in y 0.725 * [backup-simplify]: Simplify x into x 0.725 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.725 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.725 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.725 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.725 * [taylor]: Taking taylor expansion of -1 in y 0.725 * [backup-simplify]: Simplify -1 into -1 0.725 * [taylor]: Taking taylor expansion of y in y 0.725 * [backup-simplify]: Simplify 0 into 0 0.725 * [backup-simplify]: Simplify 1 into 1 0.726 * [backup-simplify]: Simplify (/ -1 1) into -1 0.726 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.726 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y 0.726 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y 0.726 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.726 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.726 * [taylor]: Taking taylor expansion of -1 in y 0.726 * [backup-simplify]: Simplify -1 into -1 0.726 * [taylor]: Taking taylor expansion of y in y 0.726 * [backup-simplify]: Simplify 0 into 0 0.726 * [backup-simplify]: Simplify 1 into 1 0.726 * [backup-simplify]: Simplify (/ -1 1) into -1 0.726 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.726 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.726 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.726 * [taylor]: Taking taylor expansion of -1 in y 0.726 * [backup-simplify]: Simplify -1 into -1 0.726 * [taylor]: Taking taylor expansion of x in y 0.726 * [backup-simplify]: Simplify x into x 0.726 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.726 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.726 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.726 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y 0.726 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.726 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.726 * [taylor]: Taking taylor expansion of -1 in y 0.726 * [backup-simplify]: Simplify -1 into -1 0.726 * [taylor]: Taking taylor expansion of x in y 0.726 * [backup-simplify]: Simplify x into x 0.727 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.727 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.727 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.727 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.727 * [taylor]: Taking taylor expansion of -1 in y 0.727 * [backup-simplify]: Simplify -1 into -1 0.727 * [taylor]: Taking taylor expansion of y in y 0.727 * [backup-simplify]: Simplify 0 into 0 0.727 * [backup-simplify]: Simplify 1 into 1 0.727 * [backup-simplify]: Simplify (/ -1 1) into -1 0.727 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.727 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.727 * [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)))) 0.727 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x 0.727 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x 0.727 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.727 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.727 * [taylor]: Taking taylor expansion of -1 in x 0.727 * [backup-simplify]: Simplify -1 into -1 0.727 * [taylor]: Taking taylor expansion of y in x 0.727 * [backup-simplify]: Simplify y into y 0.727 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.728 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.728 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.728 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.728 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.728 * [taylor]: Taking taylor expansion of -1 in x 0.728 * [backup-simplify]: Simplify -1 into -1 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [backup-simplify]: Simplify 1 into 1 0.728 * [backup-simplify]: Simplify (/ -1 1) into -1 0.728 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.728 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.728 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.728 * [backup-simplify]: Simplify (- 0) into 0 0.728 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.728 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x))) 0.728 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x 0.729 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.729 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.729 * [taylor]: Taking taylor expansion of -1 in x 0.729 * [backup-simplify]: Simplify -1 into -1 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [backup-simplify]: Simplify 0 into 0 0.729 * [backup-simplify]: Simplify 1 into 1 0.729 * [backup-simplify]: Simplify (/ -1 1) into -1 0.729 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.729 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.729 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.729 * [taylor]: Taking taylor expansion of -1 in x 0.729 * [backup-simplify]: Simplify -1 into -1 0.729 * [taylor]: Taking taylor expansion of y in x 0.729 * [backup-simplify]: Simplify y into y 0.729 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.729 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.729 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.729 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.729 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.729 * [backup-simplify]: Simplify (- 0) into 0 0.730 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.730 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y))) 0.730 * [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)))) 0.730 * [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)))) 0.730 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.730 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.731 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.731 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.731 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 0.731 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 0.732 * [backup-simplify]: Simplify (+ 0 0) into 0 0.732 * [taylor]: Taking taylor expansion of 0 in x 0.732 * [backup-simplify]: Simplify 0 into 0 0.732 * [backup-simplify]: Simplify 0 into 0 0.732 * [backup-simplify]: Simplify (+ 0) into 0 0.732 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.732 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.733 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.733 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.733 * [backup-simplify]: Simplify (- 0) into 0 0.733 * [backup-simplify]: Simplify (+ 0 0) into 0 0.734 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0 0.734 * [backup-simplify]: Simplify (+ 0) into 0 0.734 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.734 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.735 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.735 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.735 * [backup-simplify]: Simplify (- 0) into 0 0.735 * [backup-simplify]: Simplify (+ 0 0) into 0 0.736 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0 0.736 * [backup-simplify]: Simplify (+ 0 0) into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.737 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.737 * [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.737 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.738 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.738 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.738 * [backup-simplify]: Simplify (+ 0 0) into 0 0.738 * [taylor]: Taking taylor expansion of 0 in x 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.739 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.739 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.740 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.740 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.740 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.741 * [backup-simplify]: Simplify (- 0) into 0 0.741 * [backup-simplify]: Simplify (+ 0 0) into 0 0.741 * [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.741 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.742 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.742 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.742 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.743 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.743 * [backup-simplify]: Simplify (- 0) into 0 0.743 * [backup-simplify]: Simplify (+ 0 0) into 0 0.744 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.744 * [backup-simplify]: Simplify (+ 0 0) into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.745 * [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.745 * [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.745 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.746 * [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.747 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 0.747 * [backup-simplify]: Simplify (+ 0 0) into 0 0.747 * [taylor]: Taking taylor expansion of 0 in x 0.747 * [backup-simplify]: Simplify 0 into 0 0.747 * [backup-simplify]: Simplify 0 into 0 0.747 * [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))) 0.748 * * * [progress]: simplifying candidates 0.748 * * * * [progress]: [ 1 / 69 ] simplifiying candidate # 0.748 * * * * [progress]: [ 2 / 69 ] simplifiying candidate # 0.748 * [simplify]: Simplifying (- (log (cos y)) x) 0.748 * * [simplify]: iters left: 4 (5 enodes) 0.749 * * [simplify]: iters left: 3 (17 enodes) 0.751 * * [simplify]: iters left: 2 (20 enodes) 0.754 * * [simplify]: Extracting #0: cost 1 inf + 0 0.754 * * [simplify]: Extracting #1: cost 5 inf + 0 0.754 * * [simplify]: Extracting #2: cost 6 inf + 42 0.754 * * [simplify]: Extracting #3: cost 7 inf + 83 0.754 * * [simplify]: Extracting #4: cost 6 inf + 84 0.754 * * [simplify]: Extracting #5: cost 0 inf + 812 0.754 * [simplify]: Simplified to (- (log (cos y)) x) 0.754 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2)) 0.754 * * * * [progress]: [ 3 / 69 ] simplifiying candidate # 0.755 * * * * [progress]: [ 4 / 69 ] simplifiying candidate # 0.755 * * * * [progress]: [ 5 / 69 ] simplifiying candidate # 0.755 * [simplify]: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 0.755 * * [simplify]: iters left: 6 (9 enodes) 0.757 * * [simplify]: iters left: 5 (38 enodes) 0.766 * * [simplify]: iters left: 4 (84 enodes) 0.796 * * [simplify]: iters left: 3 (162 enodes) 0.844 * * [simplify]: iters left: 2 (263 enodes) 0.917 * * [simplify]: iters left: 1 (441 enodes) 1.120 * * [simplify]: Extracting #0: cost 1 inf + 0 1.120 * * [simplify]: Extracting #1: cost 85 inf + 0 1.120 * * [simplify]: Extracting #2: cost 209 inf + 1 1.122 * * [simplify]: Extracting #3: cost 180 inf + 7076 1.129 * * [simplify]: Extracting #4: cost 70 inf + 54816 1.141 * * [simplify]: Extracting #5: cost 3 inf + 93371 1.164 * * [simplify]: Extracting #6: cost 0 inf + 94729 1.183 * [simplify]: Simplified to (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) 1.184 * [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.184 * * * * [progress]: [ 6 / 69 ] simplifiying candidate # 1.184 * * * * [progress]: [ 7 / 69 ] simplifiying candidate # 1.184 * * * * [progress]: [ 8 / 69 ] simplifiying candidate # 1.184 * * * * [progress]: [ 9 / 69 ] simplifiying candidate # 1.184 * * * * [progress]: [ 10 / 69 ] simplifiying candidate # 1.184 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) 1.185 * * [simplify]: iters left: 6 (9 enodes) 1.188 * * [simplify]: iters left: 5 (33 enodes) 1.197 * * [simplify]: iters left: 4 (48 enodes) 1.209 * * [simplify]: iters left: 3 (55 enodes) 1.217 * * [simplify]: iters left: 2 (58 enodes) 1.225 * * [simplify]: Extracting #0: cost 1 inf + 0 1.225 * * [simplify]: Extracting #1: cost 11 inf + 0 1.225 * * [simplify]: Extracting #2: cost 22 inf + 0 1.225 * * [simplify]: Extracting #3: cost 26 inf + 0 1.225 * * [simplify]: Extracting #4: cost 22 inf + 134 1.225 * * [simplify]: Extracting #5: cost 7 inf + 3826 1.226 * * [simplify]: Extracting #6: cost 0 inf + 5898 1.226 * [simplify]: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x)))) 1.226 * [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.227 * [simplify]: Simplifying (/ (cbrt (cos y)) (cbrt (exp x))) 1.227 * * [simplify]: iters left: 4 (7 enodes) 1.228 * * [simplify]: iters left: 3 (21 enodes) 1.231 * * [simplify]: Extracting #0: cost 1 inf + 0 1.231 * * [simplify]: Extracting #1: cost 4 inf + 0 1.231 * * [simplify]: Extracting #2: cost 8 inf + 0 1.231 * * [simplify]: Extracting #3: cost 12 inf + 0 1.231 * * [simplify]: Extracting #4: cost 10 inf + 2 1.231 * * [simplify]: Extracting #5: cost 4 inf + 568 1.231 * * [simplify]: Extracting #6: cost 1 inf + 1182 1.231 * * [simplify]: Extracting #7: cost 0 inf + 1514 1.232 * [simplify]: Simplified to (/ (cbrt (cos y)) (cbrt (exp x))) 1.232 * [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.232 * * * * [progress]: [ 11 / 69 ] simplifiying candidate # 1.232 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1.232 * * [simplify]: iters left: 6 (8 enodes) 1.234 * * [simplify]: iters left: 5 (26 enodes) 1.238 * * [simplify]: iters left: 4 (30 enodes) 1.248 * * [simplify]: iters left: 3 (33 enodes) 1.257 * * [simplify]: Extracting #0: cost 1 inf + 0 1.257 * * [simplify]: Extracting #1: cost 7 inf + 0 1.257 * * [simplify]: Extracting #2: cost 14 inf + 0 1.257 * * [simplify]: Extracting #3: cost 18 inf + 0 1.257 * * [simplify]: Extracting #4: cost 15 inf + 73 1.257 * * [simplify]: Extracting #5: cost 11 inf + 427 1.257 * * [simplify]: Extracting #6: cost 2 inf + 2451 1.258 * * [simplify]: Extracting #7: cost 0 inf + 2964 1.258 * [simplify]: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) 1.258 * [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.258 * [simplify]: Simplifying (/ (cbrt (cos y)) (sqrt (exp x))) 1.258 * * [simplify]: iters left: 4 (7 enodes) 1.260 * * [simplify]: iters left: 3 (21 enodes) 1.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1.262 * * [simplify]: Extracting #1: cost 4 inf + 0 1.262 * * [simplify]: Extracting #2: cost 8 inf + 0 1.263 * * [simplify]: Extracting #3: cost 12 inf + 0 1.263 * * [simplify]: Extracting #4: cost 10 inf + 2 1.263 * * [simplify]: Extracting #5: cost 4 inf + 488 1.263 * * [simplify]: Extracting #6: cost 1 inf + 1062 1.263 * * [simplify]: Extracting #7: cost 0 inf + 1354 1.263 * [simplify]: Simplified to (/ (cbrt (cos y)) (sqrt (exp x))) 1.263 * [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.263 * * * * [progress]: [ 12 / 69 ] simplifiying candidate # 1.264 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1.264 * * [simplify]: iters left: 6 (6 enodes) 1.265 * * [simplify]: iters left: 5 (20 enodes) 1.269 * * [simplify]: iters left: 4 (30 enodes) 1.274 * * [simplify]: iters left: 3 (31 enodes) 1.278 * * [simplify]: Extracting #0: cost 1 inf + 0 1.278 * * [simplify]: Extracting #1: cost 5 inf + 0 1.278 * * [simplify]: Extracting #2: cost 7 inf + 1 1.278 * * [simplify]: Extracting #3: cost 9 inf + 1 1.278 * * [simplify]: Extracting #4: cost 8 inf + 2 1.278 * * [simplify]: Extracting #5: cost 0 inf + 1132 1.278 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1.278 * [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.278 * [simplify]: Simplifying (/ (cbrt (cos y)) (exp x)) 1.279 * * [simplify]: iters left: 4 (6 enodes) 1.280 * * [simplify]: iters left: 3 (18 enodes) 1.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1.284 * * [simplify]: Extracting #1: cost 4 inf + 0 1.284 * * [simplify]: Extracting #2: cost 8 inf + 0 1.284 * * [simplify]: Extracting #3: cost 7 inf + 143 1.284 * * [simplify]: Extracting #4: cost 6 inf + 144 1.284 * * [simplify]: Extracting #5: cost 0 inf + 1052 1.285 * [simplify]: Simplified to (/ (cbrt (cos y)) (exp x)) 1.285 * [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.285 * * * * [progress]: [ 13 / 69 ] simplifiying candidate # 1.285 * [simplify]: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) 1.285 * * [simplify]: iters left: 6 (8 enodes) 1.288 * * [simplify]: iters left: 5 (26 enodes) 1.296 * * [simplify]: iters left: 4 (28 enodes) 1.303 * * [simplify]: Extracting #0: cost 1 inf + 0 1.303 * * [simplify]: Extracting #1: cost 6 inf + 0 1.303 * * [simplify]: Extracting #2: cost 12 inf + 0 1.303 * * [simplify]: Extracting #3: cost 16 inf + 0 1.304 * * [simplify]: Extracting #4: cost 14 inf + 2 1.304 * * [simplify]: Extracting #5: cost 10 inf + 356 1.304 * * [simplify]: Extracting #6: cost 1 inf + 2068 1.305 * * [simplify]: Extracting #7: cost 0 inf + 2400 1.305 * [simplify]: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x))) 1.305 * [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.305 * [simplify]: Simplifying (/ (sqrt (cos y)) (cbrt (exp x))) 1.306 * * [simplify]: iters left: 4 (7 enodes) 1.308 * * [simplify]: iters left: 3 (21 enodes) 1.314 * * [simplify]: Extracting #0: cost 1 inf + 0 1.314 * * [simplify]: Extracting #1: cost 4 inf + 0 1.314 * * [simplify]: Extracting #2: cost 8 inf + 0 1.314 * * [simplify]: Extracting #3: cost 12 inf + 0 1.314 * * [simplify]: Extracting #4: cost 10 inf + 2 1.314 * * [simplify]: Extracting #5: cost 4 inf + 568 1.315 * * [simplify]: Extracting #6: cost 1 inf + 1062 1.315 * * [simplify]: Extracting #7: cost 0 inf + 1354 1.315 * [simplify]: Simplified to (/ (sqrt (cos y)) (cbrt (exp x))) 1.315 * [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.315 * * * * [progress]: [ 14 / 69 ] simplifiying candidate # 1.316 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1.316 * * [simplify]: iters left: 4 (7 enodes) 1.319 * * [simplify]: iters left: 3 (21 enodes) 1.325 * * [simplify]: Extracting #0: cost 1 inf + 0 1.325 * * [simplify]: Extracting #1: cost 4 inf + 0 1.325 * * [simplify]: Extracting #2: cost 8 inf + 0 1.325 * * [simplify]: Extracting #3: cost 12 inf + 0 1.325 * * [simplify]: Extracting #4: cost 10 inf + 2 1.325 * * [simplify]: Extracting #5: cost 4 inf + 488 1.325 * * [simplify]: Extracting #6: cost 1 inf + 942 1.325 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.326 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1.326 * [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.326 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x))) 1.326 * * [simplify]: iters left: 4 (7 enodes) 1.329 * * [simplify]: iters left: 3 (21 enodes) 1.334 * * [simplify]: Extracting #0: cost 1 inf + 0 1.334 * * [simplify]: Extracting #1: cost 4 inf + 0 1.335 * * [simplify]: Extracting #2: cost 8 inf + 0 1.335 * * [simplify]: Extracting #3: cost 12 inf + 0 1.335 * * [simplify]: Extracting #4: cost 10 inf + 2 1.335 * * [simplify]: Extracting #5: cost 4 inf + 488 1.335 * * [simplify]: Extracting #6: cost 1 inf + 942 1.335 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.336 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x))) 1.336 * [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.336 * * * * [progress]: [ 15 / 69 ] simplifiying candidate # 1.336 * [simplify]: Simplifying (/ (sqrt (cos y)) 1) 1.336 * * [simplify]: iters left: 4 (5 enodes) 1.339 * * [simplify]: iters left: 3 (15 enodes) 1.344 * * [simplify]: iters left: 2 (17 enodes) 1.349 * * [simplify]: iters left: 1 (19 enodes) 1.354 * * [simplify]: Extracting #0: cost 1 inf + 0 1.355 * * [simplify]: Extracting #1: cost 4 inf + 0 1.355 * * [simplify]: Extracting #2: cost 5 inf + 1 1.355 * * [simplify]: Extracting #3: cost 4 inf + 2 1.355 * * [simplify]: Extracting #4: cost 1 inf + 225 1.355 * * [simplify]: Extracting #5: cost 0 inf + 326 1.355 * [simplify]: Simplified to (sqrt (cos y)) 1.355 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1.355 * [simplify]: Simplifying (/ (sqrt (cos y)) (exp x)) 1.356 * * [simplify]: iters left: 4 (6 enodes) 1.357 * * [simplify]: iters left: 3 (18 enodes) 1.359 * * [simplify]: Extracting #0: cost 1 inf + 0 1.359 * * [simplify]: Extracting #1: cost 4 inf + 0 1.359 * * [simplify]: Extracting #2: cost 8 inf + 0 1.359 * * [simplify]: Extracting #3: cost 7 inf + 143 1.359 * * [simplify]: Extracting #4: cost 6 inf + 144 1.359 * * [simplify]: Extracting #5: cost 0 inf + 892 1.359 * [simplify]: Simplified to (/ (sqrt (cos y)) (exp x)) 1.360 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2)) 1.360 * * * * [progress]: [ 16 / 69 ] simplifiying candidate # 1.360 * [simplify]: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1.360 * * [simplify]: iters left: 6 (6 enodes) 1.361 * * [simplify]: iters left: 5 (22 enodes) 1.365 * * [simplify]: iters left: 4 (26 enodes) 1.370 * * [simplify]: Extracting #0: cost 1 inf + 0 1.370 * * [simplify]: Extracting #1: cost 6 inf + 0 1.370 * * [simplify]: Extracting #2: cost 9 inf + 1 1.370 * * [simplify]: Extracting #3: cost 11 inf + 1 1.370 * * [simplify]: Extracting #4: cost 8 inf + 144 1.370 * * [simplify]: Extracting #5: cost 2 inf + 1253 1.370 * * [simplify]: Extracting #6: cost 0 inf + 1676 1.371 * [simplify]: Simplified to (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) 1.371 * [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)) 1.371 * [simplify]: Simplifying (/ (cos y) (cbrt (exp x))) 1.371 * * [simplify]: iters left: 4 (6 enodes) 1.372 * * [simplify]: iters left: 3 (18 enodes) 1.374 * * [simplify]: Extracting #0: cost 1 inf + 0 1.374 * * [simplify]: Extracting #1: cost 4 inf + 0 1.374 * * [simplify]: Extracting #2: cost 8 inf + 0 1.374 * * [simplify]: Extracting #3: cost 9 inf + 1 1.375 * * [simplify]: Extracting #4: cost 0 inf + 1072 1.375 * [simplify]: Simplified to (/ (cos y) (cbrt (exp x))) 1.375 * [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)) 1.375 * * * * [progress]: [ 17 / 69 ] simplifiying candidate # 1.375 * [simplify]: Simplifying (/ 1 (sqrt (exp x))) 1.375 * * [simplify]: iters left: 4 (5 enodes) 1.377 * * [simplify]: iters left: 3 (17 enodes) 1.379 * * [simplify]: iters left: 2 (19 enodes) 1.382 * * [simplify]: Extracting #0: cost 1 inf + 0 1.383 * * [simplify]: Extracting #1: cost 4 inf + 0 1.383 * * [simplify]: Extracting #2: cost 5 inf + 1 1.383 * * [simplify]: Extracting #3: cost 7 inf + 1 1.383 * * [simplify]: Extracting #4: cost 0 inf + 670 1.383 * [simplify]: Simplified to (/ 1 (sqrt (exp x))) 1.383 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1.383 * [simplify]: Simplifying (/ (cos y) (sqrt (exp x))) 1.383 * * [simplify]: iters left: 4 (6 enodes) 1.385 * * [simplify]: iters left: 3 (18 enodes) 1.389 * * [simplify]: Extracting #0: cost 1 inf + 0 1.389 * * [simplify]: Extracting #1: cost 4 inf + 0 1.389 * * [simplify]: Extracting #2: cost 8 inf + 0 1.390 * * [simplify]: Extracting #3: cost 9 inf + 1 1.390 * * [simplify]: Extracting #4: cost 0 inf + 912 1.390 * [simplify]: Simplified to (/ (cos y) (sqrt (exp x))) 1.390 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2)) 1.390 * * * * [progress]: [ 18 / 69 ] simplifiying candidate # 1.390 * [simplify]: Simplifying (/ 1 1) 1.391 * * [simplify]: iters left: 2 (2 enodes) 1.392 * * [simplify]: iters left: 1 (6 enodes) 1.394 * * [simplify]: Extracting #0: cost 1 inf + 0 1.394 * * [simplify]: Extracting #1: cost 0 inf + 1 1.394 * [simplify]: Simplified to 1 1.394 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 1.394 * [simplify]: Simplifying (/ (cos y) (exp x)) 1.395 * * [simplify]: iters left: 3 (5 enodes) 1.396 * * [simplify]: iters left: 2 (15 enodes) 1.400 * * [simplify]: Extracting #0: cost 1 inf + 0 1.400 * * [simplify]: Extracting #1: cost 4 inf + 0 1.401 * * [simplify]: Extracting #2: cost 8 inf + 0 1.401 * * [simplify]: Extracting #3: cost 4 inf + 144 1.401 * * [simplify]: Extracting #4: cost 0 inf + 610 1.401 * [simplify]: Simplified to (/ (cos y) (exp x)) 1.401 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2)) 1.401 * * * * [progress]: [ 19 / 69 ] simplifiying candidate # 1.401 * * * * [progress]: [ 20 / 69 ] simplifiying candidate # 1.401 * * * * [progress]: [ 21 / 69 ] simplifiying candidate # 1.401 * * * * [progress]: [ 22 / 69 ] simplifiying candidate # 1.402 * [simplify]: Simplifying (cbrt (exp x)) 1.402 * * [simplify]: iters left: 2 (3 enodes) 1.403 * * [simplify]: iters left: 1 (9 enodes) 1.406 * * [simplify]: Extracting #0: cost 1 inf + 0 1.406 * * [simplify]: Extracting #1: cost 3 inf + 0 1.406 * * [simplify]: Extracting #2: cost 5 inf + 0 1.406 * * [simplify]: Extracting #3: cost 4 inf + 1 1.406 * * [simplify]: Extracting #4: cost 0 inf + 445 1.406 * [simplify]: Simplified to (cbrt (exp x)) 1.406 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (* (cos y) (exp x))) 2)) 1.407 * * * * [progress]: [ 23 / 69 ] simplifiying candidate # 1.407 * [simplify]: Simplifying (sqrt (exp x)) 1.407 * * [simplify]: iters left: 2 (3 enodes) 1.408 * * [simplify]: iters left: 1 (9 enodes) 1.410 * * [simplify]: Extracting #0: cost 1 inf + 0 1.410 * * [simplify]: Extracting #1: cost 3 inf + 0 1.411 * * [simplify]: Extracting #2: cost 5 inf + 0 1.411 * * [simplify]: Extracting #3: cost 4 inf + 1 1.411 * * [simplify]: Extracting #4: cost 0 inf + 365 1.411 * [simplify]: Simplified to (sqrt (exp x)) 1.411 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x))) 2)) 1.411 * * * * [progress]: [ 24 / 69 ] simplifiying candidate # 1.411 * [simplify]: Simplifying (exp x) 1.411 * * [simplify]: iters left: 1 (2 enodes) 1.412 * * [simplify]: Extracting #0: cost 1 inf + 0 1.412 * * [simplify]: Extracting #1: cost 3 inf + 0 1.412 * * [simplify]: Extracting #2: cost 2 inf + 1 1.412 * * [simplify]: Extracting #3: cost 0 inf + 143 1.412 * [simplify]: Simplified to (exp x) 1.412 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) 1) (exp x)) (* (cos y) (exp x))) 2)) 1.412 * * * * [progress]: [ 25 / 69 ] simplifiying candidate # 1.413 * [simplify]: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1.413 * * [simplify]: iters left: 4 (4 enodes) 1.414 * * [simplify]: iters left: 3 (12 enodes) 1.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1.418 * * [simplify]: Extracting #1: cost 3 inf + 0 1.418 * * [simplify]: Extracting #2: cost 5 inf + 0 1.418 * * [simplify]: Extracting #3: cost 7 inf + 0 1.418 * * [simplify]: Extracting #4: cost 6 inf + 1 1.418 * * [simplify]: Extracting #5: cost 0 inf + 767 1.418 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1.418 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y)))) (* (cos y) (exp x))) 2)) 1.419 * * * * [progress]: [ 26 / 69 ] simplifiying candidate # 1.419 * [simplify]: Simplifying (sqrt (cos y)) 1.419 * * [simplify]: iters left: 2 (3 enodes) 1.420 * * [simplify]: iters left: 1 (9 enodes) 1.422 * * [simplify]: Extracting #0: cost 1 inf + 0 1.422 * * [simplify]: Extracting #1: cost 3 inf + 0 1.422 * * [simplify]: Extracting #2: cost 5 inf + 0 1.423 * * [simplify]: Extracting #3: cost 4 inf + 1 1.423 * * [simplify]: Extracting #4: cost 0 inf + 325 1.423 * [simplify]: Simplified to (sqrt (cos y)) 1.423 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x))) 2)) 1.423 * * * * [progress]: [ 27 / 69 ] simplifiying candidate # 1.423 * * * * [progress]: [ 28 / 69 ] simplifiying candidate #real (real->posit16 (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))> 1.423 * * * * [progress]: [ 29 / 69 ] simplifiying candidate # 1.423 * [simplify]: Simplifying (* (cos y) (exp x)) 1.423 * * [simplify]: iters left: 3 (5 enodes) 1.425 * * [simplify]: iters left: 2 (16 enodes) 1.430 * * [simplify]: Extracting #0: cost 1 inf + 0 1.430 * * [simplify]: Extracting #1: cost 4 inf + 0 1.430 * * [simplify]: Extracting #2: cost 8 inf + 0 1.430 * * [simplify]: Extracting #3: cost 4 inf + 144 1.430 * * [simplify]: Extracting #4: cost 0 inf + 610 1.430 * [simplify]: Simplified to (* (exp x) (cos y)) 1.430 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (exp x) (cos y)) 1)) 2)) 1.430 * * * * [progress]: [ 30 / 69 ] simplifiying candidate # 1.430 * * * * [progress]: [ 31 / 69 ] simplifiying candidate # 1.431 * [simplify]: Simplifying (+ (log (cos y)) x) 1.431 * * [simplify]: iters left: 4 (5 enodes) 1.433 * * [simplify]: iters left: 3 (16 enodes) 1.437 * * [simplify]: Extracting #0: cost 1 inf + 0 1.437 * * [simplify]: Extracting #1: cost 4 inf + 0 1.437 * * [simplify]: Extracting #2: cost 5 inf + 1 1.437 * * [simplify]: Extracting #3: cost 7 inf + 1 1.437 * * [simplify]: Extracting #4: cost 6 inf + 2 1.437 * * [simplify]: Extracting #5: cost 0 inf + 730 1.438 * [simplify]: Simplified to (+ x (log (cos y))) 1.438 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (+ x (log (cos y))))) 2)) 1.438 * * * * [progress]: [ 32 / 69 ] simplifiying candidate # 1.438 * * * * [progress]: [ 33 / 69 ] simplifiying candidate # 1.438 * * * * [progress]: [ 34 / 69 ] simplifiying candidate # 1.438 * [simplify]: Simplifying (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))) 1.438 * * [simplify]: iters left: 6 (9 enodes) 1.443 * * [simplify]: iters left: 5 (36 enodes) 1.455 * * [simplify]: iters left: 4 (71 enodes) 1.482 * * [simplify]: iters left: 3 (127 enodes) 1.523 * * [simplify]: iters left: 2 (212 enodes) 1.609 * * [simplify]: iters left: 1 (408 enodes) 1.802 * * [simplify]: Extracting #0: cost 1 inf + 0 1.802 * * [simplify]: Extracting #1: cost 57 inf + 0 1.803 * * [simplify]: Extracting #2: cost 179 inf + 1 1.804 * * [simplify]: Extracting #3: cost 159 inf + 4359 1.809 * * [simplify]: Extracting #4: cost 64 inf + 47865 1.818 * * [simplify]: Extracting #5: cost 1 inf + 81118 1.829 * * [simplify]: Extracting #6: cost 0 inf + 79709 1.848 * [simplify]: Simplified to (* (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (exp x) (cos y))) 1.848 * [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)) 1.849 * * * * [progress]: [ 35 / 69 ] simplifiying candidate # 1.849 * * * * [progress]: [ 36 / 69 ] simplifiying candidate # 1.849 * * * * [progress]: [ 37 / 69 ] simplifiying candidate # 1.849 * * * * [progress]: [ 38 / 69 ] simplifiying candidate # 1.849 * * * * [progress]: [ 39 / 69 ] simplifiying candidate # 1.849 * [simplify]: Simplifying (* (sqrt (cos y)) (sqrt (exp x))) 1.849 * * [simplify]: iters left: 4 (7 enodes) 1.852 * * [simplify]: iters left: 3 (22 enodes) 1.857 * * [simplify]: Extracting #0: cost 1 inf + 0 1.857 * * [simplify]: Extracting #1: cost 4 inf + 0 1.857 * * [simplify]: Extracting #2: cost 8 inf + 0 1.857 * * [simplify]: Extracting #3: cost 12 inf + 0 1.857 * * [simplify]: Extracting #4: cost 10 inf + 2 1.857 * * [simplify]: Extracting #5: cost 4 inf + 488 1.857 * * [simplify]: Extracting #6: cost 1 inf + 942 1.858 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.858 * [simplify]: Simplified to (* (sqrt (cos y)) (sqrt (exp x))) 1.858 * [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)) 1.858 * [simplify]: Simplifying (* (sqrt (cos y)) (sqrt (exp x))) 1.858 * * [simplify]: iters left: 4 (7 enodes) 1.859 * * [simplify]: iters left: 3 (22 enodes) 1.862 * * [simplify]: Extracting #0: cost 1 inf + 0 1.862 * * [simplify]: Extracting #1: cost 4 inf + 0 1.862 * * [simplify]: Extracting #2: cost 8 inf + 0 1.862 * * [simplify]: Extracting #3: cost 12 inf + 0 1.862 * * [simplify]: Extracting #4: cost 10 inf + 2 1.862 * * [simplify]: Extracting #5: cost 4 inf + 488 1.862 * * [simplify]: Extracting #6: cost 1 inf + 942 1.863 * * [simplify]: Extracting #7: cost 0 inf + 1194 1.863 * [simplify]: Simplified to (* (sqrt (cos y)) (sqrt (exp x))) 1.863 * [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)) 1.863 * * * * [progress]: [ 40 / 69 ] simplifiying candidate # 1.863 * [simplify]: Simplifying (cbrt (exp x)) 1.863 * * [simplify]: iters left: 2 (3 enodes) 1.864 * * [simplify]: iters left: 1 (9 enodes) 1.865 * * [simplify]: Extracting #0: cost 1 inf + 0 1.865 * * [simplify]: Extracting #1: cost 3 inf + 0 1.865 * * [simplify]: Extracting #2: cost 5 inf + 0 1.865 * * [simplify]: Extracting #3: cost 4 inf + 1 1.865 * * [simplify]: Extracting #4: cost 0 inf + 445 1.865 * [simplify]: Simplified to (cbrt (exp x)) 1.865 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 2)) 1.865 * * * * [progress]: [ 41 / 69 ] simplifiying candidate # 1.868 * [simplify]: Simplifying (sqrt (exp x)) 1.868 * * [simplify]: iters left: 2 (3 enodes) 1.868 * * [simplify]: iters left: 1 (9 enodes) 1.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1.870 * * [simplify]: Extracting #1: cost 3 inf + 0 1.870 * * [simplify]: Extracting #2: cost 5 inf + 0 1.870 * * [simplify]: Extracting #3: cost 4 inf + 1 1.870 * * [simplify]: Extracting #4: cost 0 inf + 365 1.870 * [simplify]: Simplified to (sqrt (exp x)) 1.870 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2)) 1.870 * * * * [progress]: [ 42 / 69 ] simplifiying candidate # 1.870 * [simplify]: Simplifying (exp x) 1.870 * * [simplify]: iters left: 1 (2 enodes) 1.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1.871 * * [simplify]: Extracting #1: cost 3 inf + 0 1.871 * * [simplify]: Extracting #2: cost 2 inf + 1 1.871 * * [simplify]: Extracting #3: cost 0 inf + 143 1.871 * [simplify]: Simplified to (exp x) 1.871 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) 1) (exp x))) 2)) 1.871 * * * * [progress]: [ 43 / 69 ] simplifiying candidate # 1.871 * [simplify]: Simplifying (* (cbrt (cos y)) (cbrt (cos y))) 1.871 * * [simplify]: iters left: 4 (4 enodes) 1.872 * * [simplify]: iters left: 3 (12 enodes) 1.873 * * [simplify]: Extracting #0: cost 1 inf + 0 1.873 * * [simplify]: Extracting #1: cost 3 inf + 0 1.873 * * [simplify]: Extracting #2: cost 5 inf + 0 1.873 * * [simplify]: Extracting #3: cost 7 inf + 0 1.874 * * [simplify]: Extracting #4: cost 6 inf + 1 1.874 * * [simplify]: Extracting #5: cost 0 inf + 767 1.874 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y))) 1.874 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (exp x)))) 2)) 1.874 * * * * [progress]: [ 44 / 69 ] simplifiying candidate # 1.874 * [simplify]: Simplifying (sqrt (cos y)) 1.874 * * [simplify]: iters left: 2 (3 enodes) 1.875 * * [simplify]: iters left: 1 (9 enodes) 1.876 * * [simplify]: Extracting #0: cost 1 inf + 0 1.876 * * [simplify]: Extracting #1: cost 3 inf + 0 1.876 * * [simplify]: Extracting #2: cost 5 inf + 0 1.876 * * [simplify]: Extracting #3: cost 4 inf + 1 1.876 * * [simplify]: Extracting #4: cost 0 inf + 325 1.876 * [simplify]: Simplified to (sqrt (cos y)) 1.876 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (cos y)) (* (sqrt (cos y)) (exp x)))) 2)) 1.876 * * * * [progress]: [ 45 / 69 ] simplifiying candidate # 1.876 * * * * [progress]: [ 46 / 69 ] simplifiying candidate #real (real->posit16 (* (cos y) (exp x))))) 2))> 1.876 * * * * [progress]: [ 47 / 69 ] simplifiying candidate # 1.876 * * * * [progress]: [ 48 / 69 ] simplifiying candidate # 1.877 * [simplify]: Simplifying (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x)))) 1.877 * * [simplify]: iters left: 6 (9 enodes) 1.878 * * [simplify]: iters left: 5 (33 enodes) 1.883 * * [simplify]: iters left: 4 (45 enodes) 1.890 * * [simplify]: iters left: 3 (62 enodes) 1.899 * * [simplify]: iters left: 2 (99 enodes) 1.917 * * [simplify]: iters left: 1 (198 enodes) 1.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1.998 * * [simplify]: Extracting #1: cost 37 inf + 0 1.998 * * [simplify]: Extracting #2: cost 117 inf + 0 1.999 * * [simplify]: Extracting #3: cost 152 inf + 2 2.001 * * [simplify]: Extracting #4: cost 138 inf + 2634 2.005 * * [simplify]: Extracting #5: cost 81 inf + 19972 2.015 * * [simplify]: Extracting #6: cost 31 inf + 51524 2.030 * * [simplify]: Extracting #7: cost 1 inf + 79652 2.046 * * [simplify]: Extracting #8: cost 0 inf + 80546 2.062 * [simplify]: Simplified to (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) 2.062 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (log (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2)) 2.062 * * * * [progress]: [ 49 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 50 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 51 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 52 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 53 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 54 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 55 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 56 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 57 / 69 ] simplifiying candidate # 2.063 * * * * [progress]: [ 58 / 69 ] simplifiying candidate # 2.063 * [simplify]: Simplifying (cos y) 2.063 * * [simplify]: iters left: 1 (2 enodes) 2.064 * * [simplify]: Extracting #0: cost 1 inf + 0 2.064 * * [simplify]: Extracting #1: cost 3 inf + 0 2.064 * * [simplify]: Extracting #2: cost 2 inf + 1 2.064 * * [simplify]: Extracting #3: cost 0 inf + 123 2.065 * [simplify]: Simplified to (cos y) 2.065 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2)) 2.065 * [simplify]: Simplifying (+ (/ 1 (exp x)) (exp x)) 2.065 * * [simplify]: iters left: 5 (5 enodes) 2.068 * * [simplify]: iters left: 4 (20 enodes) 2.074 * * [simplify]: iters left: 3 (24 enodes) 2.080 * * [simplify]: Extracting #0: cost 1 inf + 0 2.081 * * [simplify]: Extracting #1: cost 4 inf + 0 2.081 * * [simplify]: Extracting #2: cost 9 inf + 0 2.081 * * [simplify]: Extracting #3: cost 5 inf + 185 2.081 * * [simplify]: Extracting #4: cost 0 inf + 890 2.081 * [simplify]: Simplified to (+ (exp (- x)) (exp x)) 2.081 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (* (cos y) (+ (exp (- x)) (exp x))) 2)) 2.081 * * * * [progress]: [ 59 / 69 ] simplifiying candidate #real (real->posit16 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))> 2.081 * * * * [progress]: [ 60 / 69 ] simplifiying candidate # 2.081 * * * * [progress]: [ 61 / 69 ] simplifiying candidate # 2.082 * [simplify]: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x)) 2.082 * * [simplify]: iters left: 6 (9 enodes) 2.088 * * [simplify]: iters left: 5 (39 enodes) 2.100 * * [simplify]: iters left: 4 (58 enodes) 2.122 * * [simplify]: iters left: 3 (96 enodes) 2.136 * * [simplify]: iters left: 2 (129 enodes) 2.154 * * [simplify]: iters left: 1 (147 enodes) 2.174 * * [simplify]: Extracting #0: cost 1 inf + 0 2.174 * * [simplify]: Extracting #1: cost 16 inf + 0 2.174 * * [simplify]: Extracting #2: cost 32 inf + 44 2.175 * * [simplify]: Extracting #3: cost 22 inf + 867 2.175 * * [simplify]: Extracting #4: cost 3 inf + 2552 2.176 * * [simplify]: Extracting #5: cost 0 inf + 3003 2.177 * [simplify]: Simplified to (- (* y (* y -1/2)) (- x 1)) 2.177 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (- (* y (* y -1/2)) (- x 1)) (* (cos y) (exp x))) 2)) 2.177 * * * * [progress]: [ 62 / 69 ] simplifiying candidate # 2.178 * [simplify]: Simplifying (/ (cos y) (exp x)) 2.178 * * [simplify]: iters left: 3 (5 enodes) 2.179 * * [simplify]: iters left: 2 (15 enodes) 2.181 * * [simplify]: Extracting #0: cost 1 inf + 0 2.181 * * [simplify]: Extracting #1: cost 4 inf + 0 2.181 * * [simplify]: Extracting #2: cost 8 inf + 0 2.181 * * [simplify]: Extracting #3: cost 4 inf + 144 2.181 * * [simplify]: Extracting #4: cost 0 inf + 610 2.181 * [simplify]: Simplified to (/ (cos y) (exp x)) 2.181 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 2.181 * * * * [progress]: [ 63 / 69 ] simplifiying candidate # 2.181 * [simplify]: Simplifying (/ (cos y) (exp x)) 2.181 * * [simplify]: iters left: 3 (5 enodes) 2.184 * * [simplify]: iters left: 2 (15 enodes) 2.186 * * [simplify]: Extracting #0: cost 1 inf + 0 2.186 * * [simplify]: Extracting #1: cost 4 inf + 0 2.186 * * [simplify]: Extracting #2: cost 8 inf + 0 2.186 * * [simplify]: Extracting #3: cost 4 inf + 144 2.186 * * [simplify]: Extracting #4: cost 0 inf + 610 2.187 * [simplify]: Simplified to (/ (cos y) (exp x)) 2.187 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 2.187 * * * * [progress]: [ 64 / 69 ] simplifiying candidate # 2.187 * [simplify]: Simplifying (- (+ x 1) (* 1/2 (pow y 2))) 2.187 * * [simplify]: iters left: 5 (9 enodes) 2.190 * * [simplify]: iters left: 4 (39 enodes) 2.198 * * [simplify]: iters left: 3 (64 enodes) 2.208 * * [simplify]: iters left: 2 (91 enodes) 2.222 * * [simplify]: iters left: 1 (103 enodes) 2.234 * * [simplify]: Extracting #0: cost 1 inf + 0 2.234 * * [simplify]: Extracting #1: cost 11 inf + 0 2.235 * * [simplify]: Extracting #2: cost 24 inf + 2 2.235 * * [simplify]: Extracting #3: cost 24 inf + 130 2.235 * * [simplify]: Extracting #4: cost 10 inf + 1117 2.236 * * [simplify]: Extracting #5: cost 0 inf + 2060 2.236 * [simplify]: Simplified to (- (+ 1 x) (* y (* 1/2 y))) 2.236 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (- (+ 1 x) (* y (* 1/2 y)))) 2)) 2.236 * * * * [progress]: [ 65 / 69 ] simplifiying candidate # 2.236 * [simplify]: Simplifying (* (exp x) (cos y)) 2.236 * * [simplify]: iters left: 3 (5 enodes) 2.238 * * [simplify]: iters left: 2 (16 enodes) 2.239 * * [simplify]: Extracting #0: cost 1 inf + 0 2.240 * * [simplify]: Extracting #1: cost 4 inf + 0 2.240 * * [simplify]: Extracting #2: cost 8 inf + 0 2.240 * * [simplify]: Extracting #3: cost 4 inf + 124 2.240 * * [simplify]: Extracting #4: cost 0 inf + 610 2.240 * [simplify]: Simplified to (* (cos y) (exp x)) 2.240 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 2.240 * * * * [progress]: [ 66 / 69 ] simplifiying candidate # 2.240 * [simplify]: Simplifying (* (exp x) (cos y)) 2.240 * * [simplify]: iters left: 3 (5 enodes) 2.241 * * [simplify]: iters left: 2 (16 enodes) 2.243 * * [simplify]: Extracting #0: cost 1 inf + 0 2.243 * * [simplify]: Extracting #1: cost 4 inf + 0 2.243 * * [simplify]: Extracting #2: cost 8 inf + 0 2.243 * * [simplify]: Extracting #3: cost 4 inf + 124 2.243 * * [simplify]: Extracting #4: cost 0 inf + 610 2.243 * [simplify]: Simplified to (* (cos y) (exp x)) 2.243 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 2.243 * * * * [progress]: [ 67 / 69 ] simplifiying candidate # 2.244 * [simplify]: Simplifying (- (+ (pow x 2) 2) (pow y 2)) 2.244 * * [simplify]: iters left: 5 (7 enodes) 2.247 * * [simplify]: iters left: 4 (34 enodes) 2.257 * * [simplify]: iters left: 3 (53 enodes) 2.271 * * [simplify]: iters left: 2 (69 enodes) 2.292 * * [simplify]: iters left: 1 (82 enodes) 2.312 * * [simplify]: Extracting #0: cost 1 inf + 0 2.312 * * [simplify]: Extracting #1: cost 11 inf + 0 2.313 * * [simplify]: Extracting #2: cost 33 inf + 1 2.313 * * [simplify]: Extracting #3: cost 29 inf + 331 2.314 * * [simplify]: Extracting #4: cost 4 inf + 2214 2.315 * * [simplify]: Extracting #5: cost 0 inf + 2744 2.316 * [simplify]: Simplified to (+ (- 2 (* y y)) (* x x)) 2.316 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (- 2 (* y y)) (* x x)) 2)) 2.317 * * * * [progress]: [ 68 / 69 ] simplifiying candidate # 2.317 * [simplify]: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2.317 * * [simplify]: iters left: 5 (7 enodes) 2.320 * * [simplify]: iters left: 4 (23 enodes) 2.326 * * [simplify]: Extracting #0: cost 1 inf + 0 2.326 * * [simplify]: Extracting #1: cost 4 inf + 0 2.326 * * [simplify]: Extracting #2: cost 8 inf + 0 2.326 * * [simplify]: Extracting #3: cost 12 inf + 0 2.326 * * [simplify]: Extracting #4: cost 10 inf + 2 2.326 * * [simplify]: Extracting #5: cost 1 inf + 1206 2.327 * * [simplify]: Extracting #6: cost 0 inf + 1458 2.327 * [simplify]: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2.327 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)) 2.327 * * * * [progress]: [ 69 / 69 ] simplifiying candidate # 2.328 * [simplify]: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2.328 * * [simplify]: iters left: 5 (7 enodes) 2.331 * * [simplify]: iters left: 4 (23 enodes) 2.337 * * [simplify]: Extracting #0: cost 1 inf + 0 2.337 * * [simplify]: Extracting #1: cost 4 inf + 0 2.337 * * [simplify]: Extracting #2: cost 8 inf + 0 2.337 * * [simplify]: Extracting #3: cost 12 inf + 0 2.337 * * [simplify]: Extracting #4: cost 10 inf + 2 2.337 * * [simplify]: Extracting #5: cost 1 inf + 1206 2.338 * * [simplify]: Extracting #6: cost 0 inf + 1458 2.338 * [simplify]: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2.338 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)) 2.339 * * * [progress]: adding candidates to table 2.993 * [progress]: [Phase 3 of 3] Extracting. 2.996 * [simplify]: Simplifying (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 2.996 * * [simplify]: iters left: 6 (9 enodes) 2.996 * * [simplify]: iters left: 5 (11 enodes) 2.997 * * [simplify]: Extracting #0: cost 1 inf + 0 2.997 * * [simplify]: Extracting #1: cost 3 inf + 0 2.997 * * [simplify]: Extracting #2: cost 4 inf + 1 2.997 * * [simplify]: Extracting #3: cost 6 inf + 1 2.997 * * [simplify]: Extracting #4: cost 8 inf + 1 2.997 * * [simplify]: Extracting #5: cost 5 inf + 74 2.997 * * [simplify]: Extracting #6: cost 0 inf + 1024 2.997 * [simplify]: Simplified to (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2) 2.997 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 3.080 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 3.082 * * * * [points]: Setting MPFR precision to 64 3.083 * * * * [points]: Setting MPFR precision to 320 3.084 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 3.086 * * * * [points]: Setting MPFR precision to 64 3.087 * * * * [points]: Setting MPFR precision to 320 3.089 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 3.091 * * * * [points]: Setting MPFR precision to 64 3.093 * * * * [points]: Setting MPFR precision to 320 3.097 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 3.102 * * * * [points]: Setting MPFR precision to 64 3.112 * * * * [points]: Setting MPFR precision to 320 3.125 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 3.130 * * * * [points]: Setting MPFR precision to 64 3.150 * * * * [points]: Setting MPFR precision to 320 3.195 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 3.198 * * * * [points]: Setting MPFR precision to 64 3.219 * * * * [points]: Setting MPFR precision to 320 3.254 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 3.258 * * * * [points]: Setting MPFR precision to 64 3.330 * * * * [points]: Setting MPFR precision to 320 3.454 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.459 * * * * [points]: Setting MPFR precision to 64 3.613 * * * * [points]: Setting MPFR precision to 320 3.845 * * * * [points]: Computing exacts for 8000 points 3.850 * * * * [points]: Setting MPFR precision to 64 4.542 * * * * [points]: Setting MPFR precision to 320 5.638 * * * * [points]: Filtering points with unrepresentable outputs 5.642 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000 5.707 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision 5.712 * * * * [points]: Setting MPFR precision to 64 5.713 * * * * [points]: Setting MPFR precision to 320 5.713 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision 5.716 * * * * [points]: Setting MPFR precision to 64 5.717 * * * * [points]: Setting MPFR precision to 320 5.719 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision 5.721 * * * * [points]: Setting MPFR precision to 64 5.724 * * * * [points]: Setting MPFR precision to 320 5.730 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision 5.733 * * * * [points]: Setting MPFR precision to 64 5.739 * * * * [points]: Setting MPFR precision to 320 5.746 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision 5.749 * * * * [points]: Setting MPFR precision to 64 5.759 * * * * [points]: Setting MPFR precision to 320 5.771 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision 5.773 * * * * [points]: Setting MPFR precision to 64 5.792 * * * * [points]: Setting MPFR precision to 320 5.874 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision 5.882 * * * * [points]: Setting MPFR precision to 64 5.961 * * * * [points]: Setting MPFR precision to 320 6.047 * * * * [points]: Computing exacts for 3962 points 6.052 * * * * [points]: Setting MPFR precision to 64 6.403 * * * * [points]: Setting MPFR precision to 320 6.686 * * * * [points]: Filtering points with unrepresentable outputs 6.690 * * * * [points]: Sampling 2012 additional inputs, on iter 2 have 5988 / 8000 6.718 * * * * [points]: Computing exacts on every 125 of 2012 points to ramp up precision 6.722 * * * * [points]: Setting MPFR precision to 64 6.723 * * * * [points]: Setting MPFR precision to 320 6.725 * * * * [points]: Computing exacts on every 62 of 2012 points to ramp up precision 6.729 * * * * [points]: Setting MPFR precision to 64 6.731 * * * * [points]: Setting MPFR precision to 320 6.734 * * * * [points]: Computing exacts on every 31 of 2012 points to ramp up precision 6.737 * * * * [points]: Setting MPFR precision to 64 6.769 * * * * [points]: Setting MPFR precision to 320 6.778 * * * * [points]: Computing exacts on every 15 of 2012 points to ramp up precision 6.782 * * * * [points]: Setting MPFR precision to 64 6.792 * * * * [points]: Setting MPFR precision to 320 6.797 * * * * [points]: Computing exacts on every 7 of 2012 points to ramp up precision 6.801 * * * * [points]: Setting MPFR precision to 64 6.819 * * * * [points]: Setting MPFR precision to 320 6.831 * * * * [points]: Computing exacts on every 3 of 2012 points to ramp up precision 6.835 * * * * [points]: Setting MPFR precision to 64 6.868 * * * * [points]: Setting MPFR precision to 320 6.891 * * * * [points]: Computing exacts for 2012 points 6.895 * * * * [points]: Setting MPFR precision to 64 7.040 * * * * [points]: Setting MPFR precision to 320 7.220 * * * * [points]: Filtering points with unrepresentable outputs 7.222 * * * * [points]: Sampling 994 additional inputs, on iter 3 have 7006 / 8000 7.236 * * * * [points]: Computing exacts on every 62 of 994 points to ramp up precision 7.240 * * * * [points]: Setting MPFR precision to 64 7.241 * * * * [points]: Setting MPFR precision to 320 7.242 * * * * [points]: Computing exacts on every 31 of 994 points to ramp up precision 7.244 * * * * [points]: Setting MPFR precision to 64 7.246 * * * * [points]: Setting MPFR precision to 320 7.247 * * * * [points]: Computing exacts on every 15 of 994 points to ramp up precision 7.249 * * * * [points]: Setting MPFR precision to 64 7.252 * * * * [points]: Setting MPFR precision to 320 7.255 * * * * [points]: Computing exacts on every 7 of 994 points to ramp up precision 7.257 * * * * [points]: Setting MPFR precision to 64 7.262 * * * * [points]: Setting MPFR precision to 320 7.269 * * * * [points]: Computing exacts on every 3 of 994 points to ramp up precision 7.271 * * * * [points]: Setting MPFR precision to 64 7.281 * * * * [points]: Setting MPFR precision to 320 7.295 * * * * [points]: Computing exacts for 994 points 7.297 * * * * [points]: Setting MPFR precision to 64 7.400 * * * * [points]: Setting MPFR precision to 320 7.460 * * * * [points]: Filtering points with unrepresentable outputs 7.460 * * * * [points]: Sampling 505 additional inputs, on iter 4 have 7495 / 8000 7.464 * * * * [points]: Computing exacts on every 31 of 505 points to ramp up precision 7.469 * * * * [points]: Setting MPFR precision to 64 7.470 * * * * [points]: Setting MPFR precision to 320 7.472 * * * * [points]: Computing exacts on every 15 of 505 points to ramp up precision 7.476 * * * * [points]: Setting MPFR precision to 64 7.478 * * * * [points]: Setting MPFR precision to 320 7.481 * * * * [points]: Computing exacts on every 7 of 505 points to ramp up precision 7.486 * * * * [points]: Setting MPFR precision to 64 7.490 * * * * [points]: Setting MPFR precision to 320 7.496 * * * * [points]: Computing exacts on every 3 of 505 points to ramp up precision 7.501 * * * * [points]: Setting MPFR precision to 64 7.511 * * * * [points]: Setting MPFR precision to 320 7.523 * * * * [points]: Computing exacts for 505 points 7.527 * * * * [points]: Setting MPFR precision to 64 7.905 * * * * [points]: Setting MPFR precision to 320 7.934 * * * * [points]: Filtering points with unrepresentable outputs 7.934 * * * * [points]: Sampling 268 additional inputs, on iter 5 have 7732 / 8000 7.936 * * * * [points]: Computing exacts on every 16 of 268 points to ramp up precision 7.939 * * * * [points]: Setting MPFR precision to 64 7.939 * * * * [points]: Setting MPFR precision to 320 7.940 * * * * [points]: Computing exacts on every 8 of 268 points to ramp up precision 7.943 * * * * [points]: Setting MPFR precision to 64 7.944 * * * * [points]: Setting MPFR precision to 320 7.945 * * * * [points]: Computing exacts on every 4 of 268 points to ramp up precision 7.948 * * * * [points]: Setting MPFR precision to 64 7.950 * * * * [points]: Setting MPFR precision to 320 7.952 * * * * [points]: Computing exacts on every 2 of 268 points to ramp up precision 7.955 * * * * [points]: Setting MPFR precision to 64 7.961 * * * * [points]: Setting MPFR precision to 320 7.968 * * * * [points]: Computing exacts for 268 points 7.972 * * * * [points]: Setting MPFR precision to 64 7.983 * * * * [points]: Setting MPFR precision to 320 7.995 * * * * [points]: Filtering points with unrepresentable outputs 7.995 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 7.996 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 7.999 * * * * [points]: Setting MPFR precision to 64 7.999 * * * * [points]: Setting MPFR precision to 320 8.000 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 8.005 * * * * [points]: Setting MPFR precision to 64 8.007 * * * * [points]: Setting MPFR precision to 320 8.009 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 8.014 * * * * [points]: Setting MPFR precision to 64 8.017 * * * * [points]: Setting MPFR precision to 320 8.021 * * * * [points]: Computing exacts for 131 points 8.065 * * * * [points]: Setting MPFR precision to 64 8.070 * * * * [points]: Setting MPFR precision to 320 8.078 * * * * [points]: Filtering points with unrepresentable outputs 8.079 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 8.079 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision 8.082 * * * * [points]: Setting MPFR precision to 64 8.082 * * * * [points]: Setting MPFR precision to 320 8.083 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision 8.086 * * * * [points]: Setting MPFR precision to 64 8.088 * * * * [points]: Setting MPFR precision to 320 8.090 * * * * [points]: Computing exacts for 66 points 8.095 * * * * [points]: Setting MPFR precision to 64 8.100 * * * * [points]: Setting MPFR precision to 320 8.103 * * * * [points]: Filtering points with unrepresentable outputs 8.104 * * * * [points]: Sampling 24 additional inputs, on iter 8 have 7976 / 8000 8.104 * * * * [points]: Computing exacts for 24 points 8.106 * * * * [points]: Setting MPFR precision to 64 8.107 * * * * [points]: Setting MPFR precision to 320 8.109 * * * * [points]: Filtering points with unrepresentable outputs 8.109 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000 8.109 * * * * [points]: Computing exacts for 7 points 8.111 * * * * [points]: Setting MPFR precision to 64 8.112 * * * * [points]: Setting MPFR precision to 320 8.112 * * * * [points]: Filtering points with unrepresentable outputs 8.112 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000 8.112 * * * * [points]: Computing exacts for 6 points 8.114 * * * * [points]: Setting MPFR precision to 64 8.115 * * * * [points]: Setting MPFR precision to 320 8.115 * * * * [points]: Filtering points with unrepresentable outputs 8.115 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 8.115 * * * * [points]: Computing exacts for 5 points 8.117 * * * * [points]: Setting MPFR precision to 64 8.118 * * * * [points]: Setting MPFR precision to 320 8.118 * * * * [points]: Filtering points with unrepresentable outputs 8.118 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 8.118 * * * * [points]: Computing exacts for 4 points 8.120 * * * * [points]: Setting MPFR precision to 64 8.121 * * * * [points]: Setting MPFR precision to 320 8.121 * * * * [points]: Filtering points with unrepresentable outputs 8.121 * * * * [points]: Sampled 8001 points with exact outputs 8.347 * [regime-testing]: Baseline error score: 0.009625 8.349 * [regime-testing]: Oracle error score: 0.009625 8.349 * [regime-testing]: End program error score: 0.009625