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.008 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.021 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.036 * * * * [points]: Setting MPFR precision to 320
0.040 * * * * [points]: Computing exacts for 256 points
0.043 * * * * [points]: Setting MPFR precision to 64
0.053 * * * * [points]: Setting MPFR precision to 320
0.081 * * * * [points]: Filtering points with unrepresentable outputs
0.082 * * * * [points]: Sampling 127 additional inputs, on iter 1 have 129 / 256
0.084 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.091 * * * * [points]: Setting MPFR precision to 64
0.092 * * * * [points]: Setting MPFR precision to 320
0.094 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.098 * * * * [points]: Setting MPFR precision to 64
0.101 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Computing exacts for 127 points
0.109 * * * * [points]: Setting MPFR precision to 64
0.118 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Filtering points with unrepresentable outputs
0.129 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256
0.130 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
0.134 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
0.141 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.146 * * * * [points]: Computing exacts for 64 points
0.151 * * * * [points]: Setting MPFR precision to 64
0.156 * * * * [points]: Setting MPFR precision to 320
0.162 * * * * [points]: Filtering points with unrepresentable outputs
0.162 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256
0.162 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.167 * * * * [points]: Setting MPFR precision to 64
0.167 * * * * [points]: Setting MPFR precision to 320
0.168 * * * * [points]: Computing exacts for 33 points
0.170 * * * * [points]: Setting MPFR precision to 64
0.172 * * * * [points]: Setting MPFR precision to 320
0.173 * * * * [points]: Filtering points with unrepresentable outputs
0.173 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.173 * * * * [points]: Computing exacts for 12 points
0.176 * * * * [points]: Setting MPFR precision to 64
0.176 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Filtering points with unrepresentable outputs
0.177 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.177 * * * * [points]: Computing exacts for 7 points
0.179 * * * * [points]: Setting MPFR precision to 64
0.180 * * * * [points]: Setting MPFR precision to 320
0.180 * * * * [points]: Filtering points with unrepresentable outputs
0.180 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.180 * * * * [points]: Computing exacts for 4 points
0.182 * * * * [points]: Setting MPFR precision to 64
0.183 * * * * [points]: Setting MPFR precision to 320
0.183 * * * * [points]: Filtering points with unrepresentable outputs
0.183 * * * * [points]: Sampled 259 points with exact outputs
0.183 * * * [progress]: [2/2] Setting up program.
0.187 * [progress]: [Phase 2 of 3] Improving.
0.187 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
0.187 * [simplify]: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))
0.188 * * [simplify]: iters left: 6 (16 enodes)
0.192 * * [simplify]: iters left: 5 (58 enodes)
0.211 * * [simplify]: iters left: 4 (88 enodes)
0.255 * * [simplify]: iters left: 3 (132 enodes)
0.300 * * [simplify]: iters left: 2 (194 enodes)
0.353 * * [simplify]: iters left: 1 (263 enodes)
0.418 * * [simplify]: Extracting #0: cost 1 inf + 0
0.418 * * [simplify]: Extracting #1: cost 12 inf + 0
0.418 * * [simplify]: Extracting #2: cost 23 inf + 2
0.418 * * [simplify]: Extracting #3: cost 45 inf + 64
0.418 * * [simplify]: Extracting #4: cost 83 inf + 462
0.420 * * [simplify]: Extracting #5: cost 49 inf + 8524
0.422 * * [simplify]: Extracting #6: cost 4 inf + 15962
0.425 * * [simplify]: Extracting #7: cost 0 inf + 16990
0.431 * * [simplify]: Extracting #8: cost 0 inf + 16950
0.437 * [simplify]: Simplified to (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)
0.437 * [simplify]: Simplified (2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))
0.446 * * [progress]: iteration 1 / 4
0.446 * * * [progress]: picking best candidate
0.449 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>
0.449 * * * [progress]: localizing error
0.468 * * * [progress]: generating rewritten candidates
0.468 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.482 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.500 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.512 * * * [progress]: generating series expansions
0.512 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.512 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x))
0.512 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0
0.512 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
0.512 * [taylor]: Taking taylor expansion of (cos y) in x
0.512 * [taylor]: Taking taylor expansion of y in x
0.512 * [backup-simplify]: Simplify y into y
0.512 * [backup-simplify]: Simplify (cos y) into (cos y)
0.512 * [backup-simplify]: Simplify (sin y) into (sin y)
0.513 * [taylor]: Taking taylor expansion of (exp x) in x
0.513 * [taylor]: Taking taylor expansion of x in x
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [backup-simplify]: Simplify (exp 0) into 1
0.513 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
0.513 * [backup-simplify]: Simplify (* (sin y) 0) into 0
0.514 * [backup-simplify]: Simplify (- 0) into 0
0.514 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
0.514 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
0.514 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
0.514 * [taylor]: Taking taylor expansion of (cos y) in y
0.514 * [taylor]: Taking taylor expansion of y in y
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify 1 into 1
0.514 * [taylor]: Taking taylor expansion of (exp x) in y
0.514 * [taylor]: Taking taylor expansion of x in y
0.514 * [backup-simplify]: Simplify x into x
0.514 * [backup-simplify]: Simplify (exp x) into (exp x)
0.514 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
0.514 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
0.514 * [taylor]: Taking taylor expansion of (cos y) in y
0.514 * [taylor]: Taking taylor expansion of y in y
0.514 * [backup-simplify]: Simplify 0 into 0
0.514 * [backup-simplify]: Simplify 1 into 1
0.514 * [taylor]: Taking taylor expansion of (exp x) in y
0.514 * [taylor]: Taking taylor expansion of x in y
0.514 * [backup-simplify]: Simplify x into x
0.514 * [backup-simplify]: Simplify (exp x) into (exp x)
0.515 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
0.515 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.515 * [taylor]: Taking taylor expansion of (exp x) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 1 into 1
0.515 * [backup-simplify]: Simplify (exp 0) into 1
0.515 * [backup-simplify]: Simplify (/ 1 1) into 1
0.515 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify (+ 0) into 0
0.517 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
0.517 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
0.517 * [taylor]: Taking taylor expansion of 0 in x
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [backup-simplify]: Simplify 0 into 0
0.519 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
0.520 * [backup-simplify]: Simplify -1 into -1
0.521 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.522 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.522 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
0.522 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x
0.522 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
0.522 * [taylor]: Taking taylor expansion of 1/2 in x
0.522 * [backup-simplify]: Simplify 1/2 into 1/2
0.522 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.522 * [taylor]: Taking taylor expansion of (exp x) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.522 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify 1 into 1
0.522 * [backup-simplify]: Simplify (exp 0) into 1
0.523 * [backup-simplify]: Simplify (/ 1 1) into 1
0.523 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
0.524 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.524 * [backup-simplify]: Simplify -1/2 into -1/2
0.524 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x))
0.524 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.524 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0
0.524 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
0.524 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.524 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.524 * [taylor]: Taking taylor expansion of y in x
0.524 * [backup-simplify]: Simplify y into y
0.524 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.524 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.524 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.525 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify 1 into 1
0.525 * [backup-simplify]: Simplify (/ 1 1) into 1
0.525 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.525 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
0.525 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
0.526 * [backup-simplify]: Simplify (- 0) into 0
0.526 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
0.526 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.526 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
0.526 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.526 * [taylor]: Taking taylor expansion of y in y
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify 1 into 1
0.526 * [backup-simplify]: Simplify (/ 1 1) into 1
0.527 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.527 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.527 * [taylor]: Taking taylor expansion of x in y
0.527 * [backup-simplify]: Simplify x into x
0.527 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.527 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.527 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.527 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
0.527 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify 1 into 1
0.527 * [backup-simplify]: Simplify (/ 1 1) into 1
0.528 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.528 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [backup-simplify]: Simplify x into x
0.528 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.528 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.528 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.528 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
0.528 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [backup-simplify]: Simplify y into y
0.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.528 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.528 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.528 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 1 into 1
0.529 * [backup-simplify]: Simplify (/ 1 1) into 1
0.529 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.529 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
0.529 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
0.530 * [backup-simplify]: Simplify (- 0) into 0
0.530 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
0.530 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.530 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.531 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.531 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
0.531 * [taylor]: Taking taylor expansion of 0 in x
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify 0 into 0
0.532 * [backup-simplify]: Simplify (+ 0) into 0
0.532 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
0.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.534 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.534 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
0.534 * [backup-simplify]: Simplify (- 0) into 0
0.535 * [backup-simplify]: Simplify (+ 0 0) into 0
0.535 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
0.535 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.537 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.537 * [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.537 * [taylor]: Taking taylor expansion of 0 in x
0.537 * [backup-simplify]: Simplify 0 into 0
0.537 * [backup-simplify]: Simplify 0 into 0
0.537 * [backup-simplify]: Simplify 0 into 0
0.538 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.539 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.540 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.541 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.541 * [backup-simplify]: Simplify (- 0) into 0
0.541 * [backup-simplify]: Simplify (+ 0 0) into 0
0.542 * [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.542 * [backup-simplify]: Simplify 0 into 0
0.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.544 * [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.544 * [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.544 * [taylor]: Taking taylor expansion of 0 in x
0.544 * [backup-simplify]: Simplify 0 into 0
0.544 * [backup-simplify]: Simplify 0 into 0
0.545 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x))
0.545 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.545 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0
0.545 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
0.545 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.545 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.545 * [taylor]: Taking taylor expansion of -1 in x
0.545 * [backup-simplify]: Simplify -1 into -1
0.545 * [taylor]: Taking taylor expansion of y in x
0.545 * [backup-simplify]: Simplify y into y
0.545 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.545 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.545 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.545 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.545 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.545 * [taylor]: Taking taylor expansion of -1 in x
0.545 * [backup-simplify]: Simplify -1 into -1
0.545 * [taylor]: Taking taylor expansion of x in x
0.545 * [backup-simplify]: Simplify 0 into 0
0.545 * [backup-simplify]: Simplify 1 into 1
0.546 * [backup-simplify]: Simplify (/ -1 1) into -1
0.546 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.546 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
0.546 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
0.546 * [backup-simplify]: Simplify (- 0) into 0
0.547 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
0.547 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.547 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
0.547 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.547 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.547 * [taylor]: Taking taylor expansion of -1 in y
0.547 * [backup-simplify]: Simplify -1 into -1
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [backup-simplify]: Simplify 0 into 0
0.547 * [backup-simplify]: Simplify 1 into 1
0.547 * [backup-simplify]: Simplify (/ -1 1) into -1
0.547 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.547 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.547 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.547 * [taylor]: Taking taylor expansion of -1 in y
0.547 * [backup-simplify]: Simplify -1 into -1
0.548 * [taylor]: Taking taylor expansion of x in y
0.548 * [backup-simplify]: Simplify x into x
0.548 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.548 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.548 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.548 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
0.548 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.548 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.548 * [taylor]: Taking taylor expansion of -1 in y
0.548 * [backup-simplify]: Simplify -1 into -1
0.548 * [taylor]: Taking taylor expansion of y in y
0.548 * [backup-simplify]: Simplify 0 into 0
0.548 * [backup-simplify]: Simplify 1 into 1
0.548 * [backup-simplify]: Simplify (/ -1 1) into -1
0.549 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.549 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.549 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.549 * [taylor]: Taking taylor expansion of -1 in y
0.549 * [backup-simplify]: Simplify -1 into -1
0.549 * [taylor]: Taking taylor expansion of x in y
0.549 * [backup-simplify]: Simplify x into x
0.549 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.549 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.549 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.549 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
0.549 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.549 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.549 * [taylor]: Taking taylor expansion of -1 in x
0.549 * [backup-simplify]: Simplify -1 into -1
0.549 * [taylor]: Taking taylor expansion of y in x
0.549 * [backup-simplify]: Simplify y into y
0.549 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.549 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.549 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.549 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.549 * [taylor]: Taking taylor expansion of -1 in x
0.549 * [backup-simplify]: Simplify -1 into -1
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 1 into 1
0.550 * [backup-simplify]: Simplify (/ -1 1) into -1
0.550 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.550 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
0.550 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
0.551 * [backup-simplify]: Simplify (- 0) into 0
0.551 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
0.551 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.551 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.551 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.551 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.552 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
0.552 * [taylor]: Taking taylor expansion of 0 in x
0.552 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify (+ 0) into 0
0.552 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
0.552 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.553 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.553 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
0.553 * [backup-simplify]: Simplify (- 0) into 0
0.554 * [backup-simplify]: Simplify (+ 0 0) into 0
0.554 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
0.554 * [backup-simplify]: Simplify 0 into 0
0.554 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.555 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.555 * [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.555 * [taylor]: Taking taylor expansion of 0 in x
0.555 * [backup-simplify]: Simplify 0 into 0
0.555 * [backup-simplify]: Simplify 0 into 0
0.555 * [backup-simplify]: Simplify 0 into 0
0.555 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.556 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.556 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.557 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.557 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.557 * [backup-simplify]: Simplify (- 0) into 0
0.557 * [backup-simplify]: Simplify (+ 0 0) into 0
0.558 * [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.558 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.559 * [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.559 * [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.559 * [taylor]: Taking taylor expansion of 0 in x
0.559 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x))
0.559 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.559 * [backup-simplify]: Simplify (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
0.559 * [approximate]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0
0.559 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x
0.559 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
0.559 * [taylor]: Taking taylor expansion of (cos y) in x
0.559 * [taylor]: Taking taylor expansion of y in x
0.559 * [backup-simplify]: Simplify y into y
0.559 * [backup-simplify]: Simplify (cos y) into (cos y)
0.559 * [backup-simplify]: Simplify (sin y) into (sin y)
0.559 * [taylor]: Taking taylor expansion of (exp x) in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.559 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify 1 into 1
0.559 * [backup-simplify]: Simplify (exp 0) into 1
0.559 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
0.560 * [backup-simplify]: Simplify (* (sin y) 0) into 0
0.560 * [backup-simplify]: Simplify (- 0) into 0
0.560 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
0.560 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
0.560 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
0.560 * [taylor]: Taking taylor expansion of (exp x) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.560 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify 1 into 1
0.560 * [backup-simplify]: Simplify (exp 0) into 1
0.560 * [taylor]: Taking taylor expansion of (cos y) in x
0.560 * [taylor]: Taking taylor expansion of y in x
0.560 * [backup-simplify]: Simplify y into y
0.560 * [backup-simplify]: Simplify (cos y) into (cos y)
0.560 * [backup-simplify]: Simplify (sin y) into (sin y)
0.560 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
0.560 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
0.560 * [taylor]: Taking taylor expansion of (cos y) in y
0.560 * [taylor]: Taking taylor expansion of y in y
0.560 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify 1 into 1
0.560 * [taylor]: Taking taylor expansion of (exp x) in y
0.560 * [taylor]: Taking taylor expansion of x in y
0.560 * [backup-simplify]: Simplify x into x
0.560 * [backup-simplify]: Simplify (exp x) into (exp x)
0.560 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
0.560 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
0.560 * [taylor]: Taking taylor expansion of (exp x) in y
0.560 * [taylor]: Taking taylor expansion of x in y
0.560 * [backup-simplify]: Simplify x into x
0.560 * [backup-simplify]: Simplify (exp x) into (exp x)
0.560 * [taylor]: Taking taylor expansion of (cos y) in y
0.560 * [taylor]: Taking taylor expansion of y in y
0.560 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify 1 into 1
0.560 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
0.560 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
0.560 * [taylor]: Taking taylor expansion of (cos y) in y
0.560 * [taylor]: Taking taylor expansion of y in y
0.560 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify 1 into 1
0.560 * [taylor]: Taking taylor expansion of (exp x) in y
0.560 * [taylor]: Taking taylor expansion of x in y
0.561 * [backup-simplify]: Simplify x into x
0.561 * [backup-simplify]: Simplify (exp x) into (exp x)
0.561 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
0.561 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
0.561 * [taylor]: Taking taylor expansion of (exp x) in y
0.561 * [taylor]: Taking taylor expansion of x in y
0.561 * [backup-simplify]: Simplify x into x
0.561 * [backup-simplify]: Simplify (exp x) into (exp x)
0.561 * [taylor]: Taking taylor expansion of (cos y) in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.561 * [backup-simplify]: Simplify 0 into 0
0.561 * [backup-simplify]: Simplify 1 into 1
0.561 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x)
0.561 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x)))
0.561 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
0.561 * [taylor]: Taking taylor expansion of (exp x) in x
0.561 * [taylor]: Taking taylor expansion of x in x
0.561 * [backup-simplify]: Simplify 0 into 0
0.561 * [backup-simplify]: Simplify 1 into 1
0.561 * [backup-simplify]: Simplify (exp 0) into 1
0.561 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.561 * [taylor]: Taking taylor expansion of (exp x) in x
0.561 * [taylor]: Taking taylor expansion of x in x
0.561 * [backup-simplify]: Simplify 0 into 0
0.561 * [backup-simplify]: Simplify 1 into 1
0.561 * [backup-simplify]: Simplify (exp 0) into 1
0.561 * [backup-simplify]: Simplify (/ 1 1) into 1
0.562 * [backup-simplify]: Simplify (+ 1 1) into 2
0.562 * [backup-simplify]: Simplify 2 into 2
0.562 * [backup-simplify]: Simplify (+ 0) into 0
0.562 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
0.562 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
0.563 * [backup-simplify]: Simplify (+ 0) into 0
0.563 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
0.563 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0
0.564 * [backup-simplify]: Simplify (+ 0 0) into 0
0.564 * [taylor]: Taking taylor expansion of 0 in x
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.565 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
0.566 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.566 * [backup-simplify]: Simplify 0 into 0
0.566 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.567 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.567 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
0.568 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.571 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.572 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x)))
0.572 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))))
0.572 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x
0.572 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x
0.572 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
0.573 * [taylor]: Taking taylor expansion of 1/2 in x
0.573 * [backup-simplify]: Simplify 1/2 into 1/2
0.573 * [taylor]: Taking taylor expansion of (exp x) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.573 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify 1 into 1
0.573 * [backup-simplify]: Simplify (exp 0) into 1
0.573 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
0.573 * [taylor]: Taking taylor expansion of 1/2 in x
0.573 * [backup-simplify]: Simplify 1/2 into 1/2
0.573 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
0.573 * [taylor]: Taking taylor expansion of (exp x) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.573 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify 1 into 1
0.573 * [backup-simplify]: Simplify (exp 0) into 1
0.573 * [backup-simplify]: Simplify (/ 1 1) into 1
0.574 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
0.574 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
0.575 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.575 * [backup-simplify]: Simplify (- 1) into -1
0.575 * [backup-simplify]: Simplify -1 into -1
0.575 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.579 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
0.580 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.580 * [backup-simplify]: Simplify 1 into 1
0.581 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2))
0.581 * [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.581 * [approximate]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0
0.581 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
0.581 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
0.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.581 * [backup-simplify]: Simplify 0 into 0
0.581 * [backup-simplify]: Simplify 1 into 1
0.581 * [backup-simplify]: Simplify (/ 1 1) into 1
0.582 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.582 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [backup-simplify]: Simplify y into y
0.582 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.582 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.582 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.582 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
0.582 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [backup-simplify]: Simplify y into y
0.582 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.582 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.582 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [backup-simplify]: Simplify 0 into 0
0.582 * [backup-simplify]: Simplify 1 into 1
0.583 * [backup-simplify]: Simplify (/ 1 1) into 1
0.583 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.583 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
0.583 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
0.583 * [backup-simplify]: Simplify (- 0) into 0
0.584 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
0.584 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.584 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
0.584 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
0.584 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.584 * [taylor]: Taking taylor expansion of x in y
0.584 * [backup-simplify]: Simplify x into x
0.584 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.584 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.584 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.584 * [taylor]: Taking taylor expansion of y in y
0.584 * [backup-simplify]: Simplify 0 into 0
0.584 * [backup-simplify]: Simplify 1 into 1
0.585 * [backup-simplify]: Simplify (/ 1 1) into 1
0.585 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.585 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
0.585 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [backup-simplify]: Simplify 0 into 0
0.585 * [backup-simplify]: Simplify 1 into 1
0.585 * [backup-simplify]: Simplify (/ 1 1) into 1
0.585 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.585 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.585 * [taylor]: Taking taylor expansion of x in y
0.585 * [backup-simplify]: Simplify x into x
0.585 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.585 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.586 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.586 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
0.586 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
0.586 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.586 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.586 * [taylor]: Taking taylor expansion of x in y
0.586 * [backup-simplify]: Simplify x into x
0.586 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.586 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.586 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.586 * [taylor]: Taking taylor expansion of y in y
0.586 * [backup-simplify]: Simplify 0 into 0
0.586 * [backup-simplify]: Simplify 1 into 1
0.586 * [backup-simplify]: Simplify (/ 1 1) into 1
0.587 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.587 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
0.587 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.587 * [taylor]: Taking taylor expansion of y in y
0.587 * [backup-simplify]: Simplify 0 into 0
0.587 * [backup-simplify]: Simplify 1 into 1
0.587 * [backup-simplify]: Simplify (/ 1 1) into 1
0.587 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.587 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.587 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.587 * [taylor]: Taking taylor expansion of x in y
0.587 * [backup-simplify]: Simplify x into x
0.587 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.587 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.587 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
0.588 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
0.588 * [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.588 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
0.588 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
0.588 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.588 * [backup-simplify]: Simplify 0 into 0
0.588 * [backup-simplify]: Simplify 1 into 1
0.589 * [backup-simplify]: Simplify (/ 1 1) into 1
0.589 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 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 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.589 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
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 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.589 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.589 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.589 * [taylor]: Taking taylor expansion of x in x
0.589 * [backup-simplify]: Simplify 0 into 0
0.589 * [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.590 * [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 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
0.591 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
0.592 * [backup-simplify]: Simplify (- 0) into 0
0.592 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
0.592 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
0.592 * [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.593 * [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.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.594 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.594 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
0.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.595 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.595 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
0.596 * [backup-simplify]: Simplify (+ 0 0) into 0
0.596 * [taylor]: Taking taylor expansion of 0 in x
0.596 * [backup-simplify]: Simplify 0 into 0
0.596 * [backup-simplify]: Simplify 0 into 0
0.596 * [backup-simplify]: Simplify (+ 0) into 0
0.597 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
0.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.598 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.598 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
0.599 * [backup-simplify]: Simplify (- 0) into 0
0.599 * [backup-simplify]: Simplify (+ 0 0) into 0
0.599 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
0.600 * [backup-simplify]: Simplify (+ 0) into 0
0.600 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
0.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.601 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.602 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
0.602 * [backup-simplify]: Simplify (- 0) into 0
0.603 * [backup-simplify]: Simplify (+ 0 0) into 0
0.603 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
0.603 * [backup-simplify]: Simplify (+ 0 0) into 0
0.603 * [backup-simplify]: Simplify 0 into 0
0.604 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.605 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.605 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
0.606 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.607 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.607 * [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.608 * [backup-simplify]: Simplify (+ 0 0) into 0
0.608 * [taylor]: Taking taylor expansion of 0 in x
0.608 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify 0 into 0
0.609 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.609 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.610 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.611 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.611 * [backup-simplify]: Simplify (- 0) into 0
0.612 * [backup-simplify]: Simplify (+ 0 0) into 0
0.612 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
0.613 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.614 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.615 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.616 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.616 * [backup-simplify]: Simplify (- 0) into 0
0.616 * [backup-simplify]: Simplify (+ 0 0) into 0
0.617 * [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.617 * [backup-simplify]: Simplify (+ 0 0) into 0
0.617 * [backup-simplify]: Simplify 0 into 0
0.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.619 * [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.620 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
0.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.622 * [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.622 * [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.623 * [backup-simplify]: Simplify (+ 0 0) into 0
0.623 * [taylor]: Taking taylor expansion of 0 in x
0.623 * [backup-simplify]: Simplify 0 into 0
0.623 * [backup-simplify]: Simplify 0 into 0
0.623 * [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.623 * [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.623 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0
0.623 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
0.623 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
0.623 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.623 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.623 * [taylor]: Taking taylor expansion of -1 in x
0.623 * [backup-simplify]: Simplify -1 into -1
0.623 * [taylor]: Taking taylor expansion of y in x
0.623 * [backup-simplify]: Simplify y into y
0.623 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.623 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.623 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
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 -1 in x
0.623 * [backup-simplify]: Simplify -1 into -1
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 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
0.624 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
0.624 * [backup-simplify]: Simplify (- 0) into 0
0.624 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
0.624 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.624 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
0.624 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.624 * [taylor]: Taking taylor expansion of -1 in x
0.624 * [backup-simplify]: Simplify -1 into -1
0.624 * [taylor]: Taking taylor expansion of x in x
0.624 * [backup-simplify]: Simplify 0 into 0
0.624 * [backup-simplify]: Simplify 1 into 1
0.625 * [backup-simplify]: Simplify (/ -1 1) into -1
0.625 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.625 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.625 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.625 * [taylor]: Taking taylor expansion of -1 in x
0.625 * [backup-simplify]: Simplify -1 into -1
0.625 * [taylor]: Taking taylor expansion of y in x
0.625 * [backup-simplify]: Simplify y into y
0.625 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.625 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.625 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.625 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
0.625 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
0.625 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.625 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.625 * [taylor]: Taking taylor expansion of -1 in y
0.625 * [backup-simplify]: Simplify -1 into -1
0.625 * [taylor]: Taking taylor expansion of y in y
0.625 * [backup-simplify]: Simplify 0 into 0
0.625 * [backup-simplify]: Simplify 1 into 1
0.625 * [backup-simplify]: Simplify (/ -1 1) into -1
0.625 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.626 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.626 * [taylor]: Taking taylor expansion of -1 in y
0.626 * [backup-simplify]: Simplify -1 into -1
0.626 * [taylor]: Taking taylor expansion of x in y
0.626 * [backup-simplify]: Simplify x into x
0.626 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.626 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.626 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.626 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
0.626 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.626 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.626 * [taylor]: Taking taylor expansion of -1 in y
0.626 * [backup-simplify]: Simplify -1 into -1
0.626 * [taylor]: Taking taylor expansion of x in y
0.626 * [backup-simplify]: Simplify x into x
0.626 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.626 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.626 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.626 * [taylor]: Taking taylor expansion of -1 in y
0.626 * [backup-simplify]: Simplify -1 into -1
0.626 * [taylor]: Taking taylor expansion of y in y
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [backup-simplify]: Simplify 1 into 1
0.626 * [backup-simplify]: Simplify (/ -1 1) into -1
0.626 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.626 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
0.626 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
0.626 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.626 * [taylor]: Taking taylor expansion of -1 in y
0.626 * [backup-simplify]: Simplify -1 into -1
0.626 * [taylor]: Taking taylor expansion of y in y
0.626 * [backup-simplify]: Simplify 0 into 0
0.626 * [backup-simplify]: Simplify 1 into 1
0.627 * [backup-simplify]: Simplify (/ -1 1) into -1
0.627 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.627 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.627 * [taylor]: Taking taylor expansion of -1 in y
0.627 * [backup-simplify]: Simplify -1 into -1
0.627 * [taylor]: Taking taylor expansion of x in y
0.627 * [backup-simplify]: Simplify x into x
0.627 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.627 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.627 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.627 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
0.627 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.627 * [taylor]: Taking taylor expansion of -1 in y
0.627 * [backup-simplify]: Simplify -1 into -1
0.627 * [taylor]: Taking taylor expansion of x in y
0.627 * [backup-simplify]: Simplify x into x
0.627 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.627 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.627 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.627 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.627 * [taylor]: Taking taylor expansion of -1 in y
0.627 * [backup-simplify]: Simplify -1 into -1
0.627 * [taylor]: Taking taylor expansion of y in y
0.627 * [backup-simplify]: Simplify 0 into 0
0.627 * [backup-simplify]: Simplify 1 into 1
0.628 * [backup-simplify]: Simplify (/ -1 1) into -1
0.628 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.628 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
0.628 * [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.628 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
0.628 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
0.628 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.628 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.628 * [taylor]: Taking taylor expansion of -1 in x
0.628 * [backup-simplify]: Simplify -1 into -1
0.628 * [taylor]: Taking taylor expansion of y in x
0.628 * [backup-simplify]: Simplify y into y
0.628 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.628 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.628 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.628 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.628 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.628 * [taylor]: Taking taylor expansion of -1 in x
0.628 * [backup-simplify]: Simplify -1 into -1
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [backup-simplify]: Simplify 0 into 0
0.628 * [backup-simplify]: Simplify 1 into 1
0.629 * [backup-simplify]: Simplify (/ -1 1) into -1
0.629 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.629 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
0.629 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
0.629 * [backup-simplify]: Simplify (- 0) into 0
0.629 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
0.629 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
0.629 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
0.629 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.629 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.629 * [taylor]: Taking taylor expansion of -1 in x
0.629 * [backup-simplify]: Simplify -1 into -1
0.629 * [taylor]: Taking taylor expansion of x in x
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 1 into 1
0.629 * [backup-simplify]: Simplify (/ -1 1) into -1
0.630 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.630 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.630 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.630 * [taylor]: Taking taylor expansion of -1 in x
0.630 * [backup-simplify]: Simplify -1 into -1
0.630 * [taylor]: Taking taylor expansion of y in x
0.630 * [backup-simplify]: Simplify y into y
0.630 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.630 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.630 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.630 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
0.630 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
0.630 * [backup-simplify]: Simplify (- 0) into 0
0.630 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
0.630 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
0.630 * [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.630 * [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.631 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.631 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.631 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
0.631 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.632 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.632 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
0.632 * [backup-simplify]: Simplify (+ 0 0) into 0
0.632 * [taylor]: Taking taylor expansion of 0 in x
0.632 * [backup-simplify]: Simplify 0 into 0
0.632 * [backup-simplify]: Simplify 0 into 0
0.633 * [backup-simplify]: Simplify (+ 0) into 0
0.633 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
0.633 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.633 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.634 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
0.634 * [backup-simplify]: Simplify (- 0) into 0
0.634 * [backup-simplify]: Simplify (+ 0 0) into 0
0.634 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
0.635 * [backup-simplify]: Simplify (+ 0) into 0
0.635 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
0.635 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.636 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.636 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
0.636 * [backup-simplify]: Simplify (- 0) into 0
0.636 * [backup-simplify]: Simplify (+ 0 0) into 0
0.637 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
0.637 * [backup-simplify]: Simplify (+ 0 0) into 0
0.637 * [backup-simplify]: Simplify 0 into 0
0.637 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.638 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.638 * [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.638 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.639 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.639 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
0.639 * [backup-simplify]: Simplify (+ 0 0) 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 0 into 0
0.640 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.640 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.641 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.641 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.641 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.642 * [backup-simplify]: Simplify (- 0) into 0
0.642 * [backup-simplify]: Simplify (+ 0 0) into 0
0.642 * [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.643 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.643 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.643 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.644 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.644 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.644 * [backup-simplify]: Simplify (- 0) into 0
0.644 * [backup-simplify]: Simplify (+ 0 0) into 0
0.645 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
0.645 * [backup-simplify]: Simplify (+ 0 0) into 0
0.645 * [backup-simplify]: Simplify 0 into 0
0.645 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.646 * [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.646 * [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.647 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.648 * [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.648 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
0.648 * [backup-simplify]: Simplify (+ 0 0) into 0
0.648 * [taylor]: Taking taylor expansion of 0 in x
0.648 * [backup-simplify]: Simplify 0 into 0
0.648 * [backup-simplify]: Simplify 0 into 0
0.649 * [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.649 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.649 * [backup-simplify]: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y))
0.649 * [approximate]: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0
0.649 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
0.649 * [taylor]: Taking taylor expansion of (exp x) in x
0.649 * [taylor]: Taking taylor expansion of x in x
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [backup-simplify]: Simplify 1 into 1
0.649 * [backup-simplify]: Simplify (exp 0) into 1
0.649 * [taylor]: Taking taylor expansion of (cos y) in x
0.649 * [taylor]: Taking taylor expansion of y in x
0.649 * [backup-simplify]: Simplify y into y
0.649 * [backup-simplify]: Simplify (cos y) into (cos y)
0.649 * [backup-simplify]: Simplify (sin y) into (sin y)
0.649 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
0.649 * [taylor]: Taking taylor expansion of (exp x) in y
0.649 * [taylor]: Taking taylor expansion of x in y
0.649 * [backup-simplify]: Simplify x into x
0.649 * [backup-simplify]: Simplify (exp x) into (exp x)
0.649 * [taylor]: Taking taylor expansion of (cos y) in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [backup-simplify]: Simplify 1 into 1
0.649 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
0.649 * [taylor]: Taking taylor expansion of (exp x) in y
0.649 * [taylor]: Taking taylor expansion of x in y
0.649 * [backup-simplify]: Simplify x into x
0.649 * [backup-simplify]: Simplify (exp x) into (exp x)
0.649 * [taylor]: Taking taylor expansion of (cos y) in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [backup-simplify]: Simplify 1 into 1
0.649 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x)
0.649 * [taylor]: Taking taylor expansion of (exp x) in x
0.649 * [taylor]: Taking taylor expansion of x in x
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [backup-simplify]: Simplify 1 into 1
0.649 * [backup-simplify]: Simplify (exp 0) into 1
0.649 * [backup-simplify]: Simplify 1 into 1
0.650 * [backup-simplify]: Simplify (+ 0) into 0
0.650 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
0.650 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0
0.651 * [taylor]: Taking taylor expansion of 0 in x
0.651 * [backup-simplify]: Simplify 0 into 0
0.651 * [backup-simplify]: Simplify 0 into 0
0.652 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.652 * [backup-simplify]: Simplify 1 into 1
0.653 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.654 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.655 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x)))
0.655 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp x))) in x
0.655 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
0.655 * [taylor]: Taking taylor expansion of 1/2 in x
0.655 * [backup-simplify]: Simplify 1/2 into 1/2
0.655 * [taylor]: Taking taylor expansion of (exp x) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [backup-simplify]: Simplify 0 into 0
0.655 * [backup-simplify]: Simplify 1 into 1
0.655 * [backup-simplify]: Simplify (exp 0) into 1
0.655 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
0.656 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.656 * [backup-simplify]: Simplify -1/2 into -1/2
0.656 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2)))
0.656 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
0.656 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0
0.656 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
0.656 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [backup-simplify]: Simplify 0 into 0
0.656 * [backup-simplify]: Simplify 1 into 1
0.657 * [backup-simplify]: Simplify (/ 1 1) into 1
0.657 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.657 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.657 * [taylor]: Taking taylor expansion of y in x
0.657 * [backup-simplify]: Simplify y into y
0.657 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.657 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.657 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.657 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
0.657 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.657 * [taylor]: Taking taylor expansion of x in y
0.657 * [backup-simplify]: Simplify x into x
0.657 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.657 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.657 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.657 * [backup-simplify]: Simplify 0 into 0
0.657 * [backup-simplify]: Simplify 1 into 1
0.658 * [backup-simplify]: Simplify (/ 1 1) into 1
0.658 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.658 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
0.658 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.658 * [taylor]: Taking taylor expansion of x in y
0.658 * [backup-simplify]: Simplify x into x
0.658 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.658 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.658 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.658 * [taylor]: Taking taylor expansion of y in y
0.658 * [backup-simplify]: Simplify 0 into 0
0.658 * [backup-simplify]: Simplify 1 into 1
0.659 * [backup-simplify]: Simplify (/ 1 1) into 1
0.659 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.659 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
0.659 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
0.659 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [backup-simplify]: Simplify 0 into 0
0.659 * [backup-simplify]: Simplify 1 into 1
0.660 * [backup-simplify]: Simplify (/ 1 1) into 1
0.660 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.660 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 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 (/ 1 y) into (/ 1 y)
0.660 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
0.660 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
0.660 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
0.660 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
0.661 * [backup-simplify]: Simplify (- 0) into 0
0.661 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
0.661 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
0.661 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
0.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.662 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.662 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
0.662 * [taylor]: Taking taylor expansion of 0 in x
0.662 * [backup-simplify]: Simplify 0 into 0
0.662 * [backup-simplify]: Simplify 0 into 0
0.663 * [backup-simplify]: Simplify (+ 0) into 0
0.663 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
0.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.664 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.664 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
0.665 * [backup-simplify]: Simplify (- 0) into 0
0.665 * [backup-simplify]: Simplify (+ 0 0) into 0
0.665 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
0.665 * [backup-simplify]: Simplify 0 into 0
0.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.667 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.667 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
0.667 * [taylor]: Taking taylor expansion of 0 in x
0.668 * [backup-simplify]: Simplify 0 into 0
0.668 * [backup-simplify]: Simplify 0 into 0
0.668 * [backup-simplify]: Simplify 0 into 0
0.669 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.669 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.670 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.671 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.671 * [backup-simplify]: Simplify (- 0) into 0
0.671 * [backup-simplify]: Simplify (+ 0 0) into 0
0.672 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
0.672 * [backup-simplify]: Simplify 0 into 0
0.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.674 * [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.675 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
0.675 * [taylor]: Taking taylor expansion of 0 in x
0.675 * [backup-simplify]: Simplify 0 into 0
0.675 * [backup-simplify]: Simplify 0 into 0
0.675 * [backup-simplify]: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y))
0.675 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
0.675 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0
0.675 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
0.675 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.675 * [taylor]: Taking taylor expansion of -1 in x
0.675 * [backup-simplify]: Simplify -1 into -1
0.675 * [taylor]: Taking taylor expansion of x in x
0.675 * [backup-simplify]: Simplify 0 into 0
0.675 * [backup-simplify]: Simplify 1 into 1
0.676 * [backup-simplify]: Simplify (/ -1 1) into -1
0.676 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.676 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.676 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.676 * [taylor]: Taking taylor expansion of -1 in x
0.676 * [backup-simplify]: Simplify -1 into -1
0.676 * [taylor]: Taking taylor expansion of y in x
0.676 * [backup-simplify]: Simplify y into y
0.676 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.676 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.676 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.676 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
0.676 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.676 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.676 * [taylor]: Taking taylor expansion of -1 in y
0.676 * [backup-simplify]: Simplify -1 into -1
0.676 * [taylor]: Taking taylor expansion of x in y
0.677 * [backup-simplify]: Simplify x into x
0.677 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.677 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.677 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.677 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.677 * [taylor]: Taking taylor expansion of -1 in y
0.677 * [backup-simplify]: Simplify -1 into -1
0.677 * [taylor]: Taking taylor expansion of y in y
0.677 * [backup-simplify]: Simplify 0 into 0
0.677 * [backup-simplify]: Simplify 1 into 1
0.677 * [backup-simplify]: Simplify (/ -1 1) into -1
0.677 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.677 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
0.677 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.677 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.677 * [taylor]: Taking taylor expansion of -1 in y
0.677 * [backup-simplify]: Simplify -1 into -1
0.677 * [taylor]: Taking taylor expansion of x in y
0.678 * [backup-simplify]: Simplify x into x
0.678 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.678 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.678 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.678 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.678 * [taylor]: Taking taylor expansion of -1 in y
0.678 * [backup-simplify]: Simplify -1 into -1
0.678 * [taylor]: Taking taylor expansion of y in y
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [backup-simplify]: Simplify 1 into 1
0.678 * [backup-simplify]: Simplify (/ -1 1) into -1
0.678 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.679 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
0.679 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
0.679 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.679 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.679 * [taylor]: Taking taylor expansion of -1 in x
0.679 * [backup-simplify]: Simplify -1 into -1
0.679 * [taylor]: Taking taylor expansion of x in x
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [backup-simplify]: Simplify 1 into 1
0.679 * [backup-simplify]: Simplify (/ -1 1) into -1
0.679 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.679 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.679 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.679 * [taylor]: Taking taylor expansion of -1 in x
0.679 * [backup-simplify]: Simplify -1 into -1
0.679 * [taylor]: Taking taylor expansion of y in x
0.679 * [backup-simplify]: Simplify y into y
0.679 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.680 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
0.680 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
0.680 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
0.680 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
0.680 * [backup-simplify]: Simplify (- 0) into 0
0.680 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
0.680 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
0.681 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
0.681 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.682 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
0.682 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
0.682 * [taylor]: Taking taylor expansion of 0 in x
0.682 * [backup-simplify]: Simplify 0 into 0
0.682 * [backup-simplify]: Simplify 0 into 0
0.682 * [backup-simplify]: Simplify (+ 0) into 0
0.683 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
0.683 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.684 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.684 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
0.684 * [backup-simplify]: Simplify (- 0) into 0
0.685 * [backup-simplify]: Simplify (+ 0 0) into 0
0.685 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
0.685 * [backup-simplify]: Simplify 0 into 0
0.685 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.687 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.687 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
0.687 * [taylor]: Taking taylor expansion of 0 in x
0.687 * [backup-simplify]: Simplify 0 into 0
0.687 * [backup-simplify]: Simplify 0 into 0
0.687 * [backup-simplify]: Simplify 0 into 0
0.688 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.689 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
0.689 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.690 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.691 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
0.691 * [backup-simplify]: Simplify (- 0) into 0
0.691 * [backup-simplify]: Simplify (+ 0 0) into 0
0.692 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
0.692 * [backup-simplify]: Simplify 0 into 0
0.692 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.694 * [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.695 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
0.695 * [taylor]: Taking taylor expansion of 0 in x
0.695 * [backup-simplify]: Simplify 0 into 0
0.695 * [backup-simplify]: Simplify 0 into 0
0.695 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y))
0.695 * * * [progress]: simplifying candidates
0.695 * * * * [progress]: [ 1 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow (/ (cos y) (exp x)) 1) (* (cos y) (exp x))) 2))>
0.695 * * * * [progress]: [ 2 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2))>
0.695 * [simplify]: Simplifying (- (log (cos y)) x)
0.695 * * [simplify]: iters left: 4 (5 enodes)
0.697 * * [simplify]: iters left: 3 (17 enodes)
0.702 * * [simplify]: iters left: 2 (20 enodes)
0.707 * * [simplify]: Extracting #0: cost 1 inf + 0
0.707 * * [simplify]: Extracting #1: cost 5 inf + 0
0.707 * * [simplify]: Extracting #2: cost 6 inf + 42
0.707 * * [simplify]: Extracting #3: cost 7 inf + 83
0.707 * * [simplify]: Extracting #4: cost 6 inf + 84
0.708 * * [simplify]: Extracting #5: cost 0 inf + 812
0.708 * [simplify]: Simplified to (- (log (cos y)) x)
0.708 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2))
0.708 * * * * [progress]: [ 3 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (exp (log (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
0.708 * * * * [progress]: [ 4 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (log (exp (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
0.708 * * * * [progress]: [ 5 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (cbrt (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))) (* (cos y) (exp x))) 2))>
0.708 * [simplify]: Simplifying (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))
0.709 * * [simplify]: iters left: 6 (9 enodes)
0.713 * * [simplify]: iters left: 5 (38 enodes)
0.727 * * [simplify]: iters left: 4 (84 enodes)
0.757 * * [simplify]: iters left: 3 (162 enodes)
0.821 * * [simplify]: iters left: 2 (263 enodes)
0.909 * * [simplify]: iters left: 1 (440 enodes)
1.094 * * [simplify]: Extracting #0: cost 1 inf + 0
1.094 * * [simplify]: Extracting #1: cost 79 inf + 0
1.095 * * [simplify]: Extracting #2: cost 198 inf + 1
1.099 * * [simplify]: Extracting #3: cost 177 inf + 5504
1.112 * * [simplify]: Extracting #4: cost 90 inf + 41299
1.128 * * [simplify]: Extracting #5: cost 8 inf + 86550
1.147 * * [simplify]: Extracting #6: cost 0 inf + 91409
1.166 * [simplify]: Simplified to (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))
1.166 * [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.166 * * * * [progress]: [ 6 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) (cbrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
1.166 * * * * [progress]: [ 7 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (cbrt (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
1.166 * * * * [progress]: [ 8 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (sqrt (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
1.166 * * * * [progress]: [ 9 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (- (cos y)) (- (exp x))) (* (cos y) (exp x))) 2))>
1.166 * * * * [progress]: [ 10 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2))>
1.167 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x))))
1.167 * * [simplify]: iters left: 6 (9 enodes)
1.171 * * [simplify]: iters left: 5 (33 enodes)
1.180 * * [simplify]: iters left: 4 (48 enodes)
1.188 * * [simplify]: iters left: 3 (55 enodes)
1.196 * * [simplify]: iters left: 2 (58 enodes)
1.203 * * [simplify]: Extracting #0: cost 1 inf + 0
1.203 * * [simplify]: Extracting #1: cost 11 inf + 0
1.203 * * [simplify]: Extracting #2: cost 22 inf + 0
1.203 * * [simplify]: Extracting #3: cost 26 inf + 0
1.203 * * [simplify]: Extracting #4: cost 22 inf + 134
1.204 * * [simplify]: Extracting #5: cost 7 inf + 3826
1.204 * * [simplify]: Extracting #6: cost 0 inf + 5898
1.205 * [simplify]: Simplified to (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x))))
1.205 * [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.205 * [simplify]: Simplifying (/ (cbrt (cos y)) (cbrt (exp x)))
1.205 * * [simplify]: iters left: 4 (7 enodes)
1.207 * * [simplify]: iters left: 3 (21 enodes)
1.209 * * [simplify]: Extracting #0: cost 1 inf + 0
1.209 * * [simplify]: Extracting #1: cost 4 inf + 0
1.209 * * [simplify]: Extracting #2: cost 8 inf + 0
1.209 * * [simplify]: Extracting #3: cost 12 inf + 0
1.209 * * [simplify]: Extracting #4: cost 10 inf + 2
1.210 * * [simplify]: Extracting #5: cost 4 inf + 568
1.210 * * [simplify]: Extracting #6: cost 1 inf + 1182
1.210 * * [simplify]: Extracting #7: cost 0 inf + 1514
1.210 * [simplify]: Simplified to (/ (cbrt (cos y)) (cbrt (exp x)))
1.210 * [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.210 * * * * [progress]: [ 11 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2))>
1.210 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
1.210 * * [simplify]: iters left: 6 (8 enodes)
1.212 * * [simplify]: iters left: 5 (26 enodes)
1.216 * * [simplify]: iters left: 4 (30 enodes)
1.226 * * [simplify]: iters left: 3 (33 enodes)
1.233 * * [simplify]: Extracting #0: cost 1 inf + 0
1.233 * * [simplify]: Extracting #1: cost 7 inf + 0
1.233 * * [simplify]: Extracting #2: cost 14 inf + 0
1.233 * * [simplify]: Extracting #3: cost 18 inf + 0
1.233 * * [simplify]: Extracting #4: cost 15 inf + 73
1.233 * * [simplify]: Extracting #5: cost 11 inf + 427
1.233 * * [simplify]: Extracting #6: cost 2 inf + 2451
1.234 * * [simplify]: Extracting #7: cost 0 inf + 2964
1.234 * [simplify]: Simplified to (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
1.234 * [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.234 * [simplify]: Simplifying (/ (cbrt (cos y)) (sqrt (exp x)))
1.234 * * [simplify]: iters left: 4 (7 enodes)
1.236 * * [simplify]: iters left: 3 (21 enodes)
1.238 * * [simplify]: Extracting #0: cost 1 inf + 0
1.238 * * [simplify]: Extracting #1: cost 4 inf + 0
1.238 * * [simplify]: Extracting #2: cost 8 inf + 0
1.238 * * [simplify]: Extracting #3: cost 12 inf + 0
1.239 * * [simplify]: Extracting #4: cost 10 inf + 2
1.239 * * [simplify]: Extracting #5: cost 4 inf + 488
1.239 * * [simplify]: Extracting #6: cost 1 inf + 1062
1.239 * * [simplify]: Extracting #7: cost 0 inf + 1354
1.239 * [simplify]: Simplified to (/ (cbrt (cos y)) (sqrt (exp x)))
1.239 * [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.239 * * * * [progress]: [ 12 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (/ (cbrt (cos y)) (exp x))) (* (cos y) (exp x))) 2))>
1.239 * [simplify]: Simplifying (/ (* (cbrt (cos y)) (cbrt (cos y))) 1)
1.239 * * [simplify]: iters left: 6 (6 enodes)
1.241 * * [simplify]: iters left: 5 (20 enodes)
1.245 * * [simplify]: iters left: 4 (30 enodes)
1.249 * * [simplify]: iters left: 3 (31 enodes)
1.254 * * [simplify]: Extracting #0: cost 1 inf + 0
1.254 * * [simplify]: Extracting #1: cost 5 inf + 0
1.254 * * [simplify]: Extracting #2: cost 7 inf + 1
1.254 * * [simplify]: Extracting #3: cost 9 inf + 1
1.254 * * [simplify]: Extracting #4: cost 8 inf + 2
1.254 * * [simplify]: Extracting #5: cost 0 inf + 1132
1.254 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y)))
1.254 * [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.254 * [simplify]: Simplifying (/ (cbrt (cos y)) (exp x))
1.254 * * [simplify]: iters left: 4 (6 enodes)
1.256 * * [simplify]: iters left: 3 (18 enodes)
1.258 * * [simplify]: Extracting #0: cost 1 inf + 0
1.258 * * [simplify]: Extracting #1: cost 4 inf + 0
1.258 * * [simplify]: Extracting #2: cost 8 inf + 0
1.258 * * [simplify]: Extracting #3: cost 7 inf + 143
1.258 * * [simplify]: Extracting #4: cost 6 inf + 144
1.258 * * [simplify]: Extracting #5: cost 0 inf + 1052
1.258 * [simplify]: Simplified to (/ (cbrt (cos y)) (exp x))
1.258 * [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.258 * * * * [progress]: [ 13 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2))>
1.259 * [simplify]: Simplifying (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x))))
1.259 * * [simplify]: iters left: 6 (8 enodes)
1.262 * * [simplify]: iters left: 5 (26 enodes)
1.269 * * [simplify]: iters left: 4 (28 enodes)
1.276 * * [simplify]: Extracting #0: cost 1 inf + 0
1.276 * * [simplify]: Extracting #1: cost 6 inf + 0
1.276 * * [simplify]: Extracting #2: cost 12 inf + 0
1.276 * * [simplify]: Extracting #3: cost 16 inf + 0
1.276 * * [simplify]: Extracting #4: cost 14 inf + 2
1.276 * * [simplify]: Extracting #5: cost 10 inf + 356
1.276 * * [simplify]: Extracting #6: cost 1 inf + 2068
1.276 * * [simplify]: Extracting #7: cost 0 inf + 2400
1.277 * [simplify]: Simplified to (/ (/ (sqrt (cos y)) (cbrt (exp x))) (cbrt (exp x)))
1.277 * [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.277 * [simplify]: Simplifying (/ (sqrt (cos y)) (cbrt (exp x)))
1.277 * * [simplify]: iters left: 4 (7 enodes)
1.278 * * [simplify]: iters left: 3 (21 enodes)
1.281 * * [simplify]: Extracting #0: cost 1 inf + 0
1.281 * * [simplify]: Extracting #1: cost 4 inf + 0
1.281 * * [simplify]: Extracting #2: cost 8 inf + 0
1.281 * * [simplify]: Extracting #3: cost 12 inf + 0
1.281 * * [simplify]: Extracting #4: cost 10 inf + 2
1.281 * * [simplify]: Extracting #5: cost 4 inf + 568
1.281 * * [simplify]: Extracting #6: cost 1 inf + 1062
1.281 * * [simplify]: Extracting #7: cost 0 inf + 1354
1.282 * [simplify]: Simplified to (/ (sqrt (cos y)) (cbrt (exp x)))
1.282 * [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.282 * * * * [progress]: [ 14 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2))>
1.282 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x)))
1.282 * * [simplify]: iters left: 4 (7 enodes)
1.283 * * [simplify]: iters left: 3 (21 enodes)
1.286 * * [simplify]: Extracting #0: cost 1 inf + 0
1.286 * * [simplify]: Extracting #1: cost 4 inf + 0
1.286 * * [simplify]: Extracting #2: cost 8 inf + 0
1.286 * * [simplify]: Extracting #3: cost 12 inf + 0
1.286 * * [simplify]: Extracting #4: cost 10 inf + 2
1.286 * * [simplify]: Extracting #5: cost 4 inf + 488
1.286 * * [simplify]: Extracting #6: cost 1 inf + 942
1.286 * * [simplify]: Extracting #7: cost 0 inf + 1194
1.286 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x)))
1.286 * [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.287 * [simplify]: Simplifying (/ (sqrt (cos y)) (sqrt (exp x)))
1.287 * * [simplify]: iters left: 4 (7 enodes)
1.288 * * [simplify]: iters left: 3 (21 enodes)
1.290 * * [simplify]: Extracting #0: cost 1 inf + 0
1.291 * * [simplify]: Extracting #1: cost 4 inf + 0
1.291 * * [simplify]: Extracting #2: cost 8 inf + 0
1.291 * * [simplify]: Extracting #3: cost 12 inf + 0
1.291 * * [simplify]: Extracting #4: cost 10 inf + 2
1.291 * * [simplify]: Extracting #5: cost 4 inf + 488
1.291 * * [simplify]: Extracting #6: cost 1 inf + 942
1.291 * * [simplify]: Extracting #7: cost 0 inf + 1194
1.291 * [simplify]: Simplified to (/ (sqrt (cos y)) (sqrt (exp x)))
1.291 * [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.291 * * * * [progress]: [ 15 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (sqrt (cos y)) 1) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2))>
1.291 * [simplify]: Simplifying (/ (sqrt (cos y)) 1)
1.291 * * [simplify]: iters left: 4 (5 enodes)
1.293 * * [simplify]: iters left: 3 (15 enodes)
1.295 * * [simplify]: iters left: 2 (17 enodes)
1.297 * * [simplify]: Extracting #0: cost 1 inf + 0
1.298 * * [simplify]: Extracting #1: cost 4 inf + 0
1.298 * * [simplify]: Extracting #2: cost 5 inf + 1
1.298 * * [simplify]: Extracting #3: cost 4 inf + 2
1.298 * * [simplify]: Extracting #4: cost 1 inf + 225
1.298 * * [simplify]: Extracting #5: cost 0 inf + 326
1.298 * [simplify]: Simplified to (sqrt (cos y))
1.298 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2))
1.298 * [simplify]: Simplifying (/ (sqrt (cos y)) (exp x))
1.298 * * [simplify]: iters left: 4 (6 enodes)
1.299 * * [simplify]: iters left: 3 (18 enodes)
1.302 * * [simplify]: Extracting #0: cost 1 inf + 0
1.302 * * [simplify]: Extracting #1: cost 4 inf + 0
1.302 * * [simplify]: Extracting #2: cost 8 inf + 0
1.302 * * [simplify]: Extracting #3: cost 7 inf + 143
1.302 * * [simplify]: Extracting #4: cost 6 inf + 144
1.302 * * [simplify]: Extracting #5: cost 0 inf + 892
1.302 * [simplify]: Simplified to (/ (sqrt (cos y)) (exp x))
1.302 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (sqrt (cos y)) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2))
1.302 * * * * [progress]: [ 16 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x)))) (* (cos y) (exp x))) 2))>
1.302 * [simplify]: Simplifying (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
1.302 * * [simplify]: iters left: 6 (6 enodes)
1.305 * * [simplify]: iters left: 5 (22 enodes)
1.312 * * [simplify]: iters left: 4 (26 enodes)
1.321 * * [simplify]: Extracting #0: cost 1 inf + 0
1.321 * * [simplify]: Extracting #1: cost 6 inf + 0
1.321 * * [simplify]: Extracting #2: cost 9 inf + 1
1.321 * * [simplify]: Extracting #3: cost 11 inf + 1
1.321 * * [simplify]: Extracting #4: cost 8 inf + 144
1.321 * * [simplify]: Extracting #5: cost 2 inf + 1253
1.322 * * [simplify]: Extracting #6: cost 0 inf + 1676
1.322 * [simplify]: Simplified to (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
1.322 * [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.323 * [simplify]: Simplifying (/ (cos y) (cbrt (exp x)))
1.323 * * [simplify]: iters left: 4 (6 enodes)
1.324 * * [simplify]: iters left: 3 (18 enodes)
1.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1.326 * * [simplify]: Extracting #1: cost 4 inf + 0
1.326 * * [simplify]: Extracting #2: cost 8 inf + 0
1.326 * * [simplify]: Extracting #3: cost 9 inf + 1
1.326 * * [simplify]: Extracting #4: cost 0 inf + 1072
1.327 * [simplify]: Simplified to (/ (cos y) (cbrt (exp x)))
1.327 * [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.327 * * * * [progress]: [ 17 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2))>
1.327 * [simplify]: Simplifying (/ 1 (sqrt (exp x)))
1.327 * * [simplify]: iters left: 4 (5 enodes)
1.328 * * [simplify]: iters left: 3 (17 enodes)
1.331 * * [simplify]: iters left: 2 (19 enodes)
1.334 * * [simplify]: Extracting #0: cost 1 inf + 0
1.334 * * [simplify]: Extracting #1: cost 4 inf + 0
1.334 * * [simplify]: Extracting #2: cost 5 inf + 1
1.334 * * [simplify]: Extracting #3: cost 7 inf + 1
1.334 * * [simplify]: Extracting #4: cost 0 inf + 670
1.334 * [simplify]: Simplified to (/ 1 (sqrt (exp x)))
1.335 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2))
1.335 * [simplify]: Simplifying (/ (cos y) (sqrt (exp x)))
1.335 * * [simplify]: iters left: 4 (6 enodes)
1.336 * * [simplify]: iters left: 3 (18 enodes)
1.338 * * [simplify]: Extracting #0: cost 1 inf + 0
1.338 * * [simplify]: Extracting #1: cost 4 inf + 0
1.338 * * [simplify]: Extracting #2: cost 8 inf + 0
1.338 * * [simplify]: Extracting #3: cost 9 inf + 1
1.338 * * [simplify]: Extracting #4: cost 0 inf + 912
1.339 * [simplify]: Simplified to (/ (cos y) (sqrt (exp x)))
1.339 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2))
1.339 * * * * [progress]: [ 18 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ 1 1) (/ (cos y) (exp x))) (* (cos y) (exp x))) 2))>
1.339 * [simplify]: Simplifying (/ 1 1)
1.339 * * [simplify]: iters left: 2 (2 enodes)
1.340 * * [simplify]: iters left: 1 (6 enodes)
1.341 * * [simplify]: Extracting #0: cost 1 inf + 0
1.341 * * [simplify]: Extracting #1: cost 0 inf + 1
1.341 * [simplify]: Simplified to 1
1.341 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2))
1.341 * [simplify]: Simplifying (/ (cos y) (exp x))
1.341 * * [simplify]: iters left: 3 (5 enodes)
1.342 * * [simplify]: iters left: 2 (15 enodes)
1.344 * * [simplify]: Extracting #0: cost 1 inf + 0
1.344 * * [simplify]: Extracting #1: cost 4 inf + 0
1.344 * * [simplify]: Extracting #2: cost 8 inf + 0
1.344 * * [simplify]: Extracting #3: cost 4 inf + 144
1.344 * * [simplify]: Extracting #4: cost 0 inf + 610
1.345 * [simplify]: Simplified to (/ (cos y) (exp x))
1.345 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2))
1.345 * * * * [progress]: [ 19 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2))>
1.345 * * * * [progress]: [ 20 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (cos y) (exp x))) 2))>
1.345 * * * * [progress]: [ 21 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x))) 2))>
1.345 * * * * [progress]: [ 22 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (* (cos y) (exp x))) 2))>
1.345 * [simplify]: Simplifying (cbrt (exp x))
1.345 * * [simplify]: iters left: 2 (3 enodes)
1.346 * * [simplify]: iters left: 1 (9 enodes)
1.347 * * [simplify]: Extracting #0: cost 1 inf + 0
1.347 * * [simplify]: Extracting #1: cost 3 inf + 0
1.347 * * [simplify]: Extracting #2: cost 5 inf + 0
1.347 * * [simplify]: Extracting #3: cost 4 inf + 1
1.347 * * [simplify]: Extracting #4: cost 0 inf + 445
1.347 * [simplify]: Simplified to (cbrt (exp x))
1.347 * [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.347 * * * * [progress]: [ 23 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x))) 2))>
1.347 * [simplify]: Simplifying (sqrt (exp x))
1.347 * * [simplify]: iters left: 2 (3 enodes)
1.348 * * [simplify]: iters left: 1 (9 enodes)
1.349 * * [simplify]: Extracting #0: cost 1 inf + 0
1.349 * * [simplify]: Extracting #1: cost 3 inf + 0
1.349 * * [simplify]: Extracting #2: cost 5 inf + 0
1.349 * * [simplify]: Extracting #3: cost 4 inf + 1
1.349 * * [simplify]: Extracting #4: cost 0 inf + 365
1.349 * [simplify]: Simplified to (sqrt (exp x))
1.349 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x))) 2))
1.349 * * * * [progress]: [ 24 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (/ (cos y) 1) (exp x)) (* (cos y) (exp x))) 2))>
1.349 * [simplify]: Simplifying (exp x)
1.350 * * [simplify]: iters left: 1 (2 enodes)
1.350 * * [simplify]: Extracting #0: cost 1 inf + 0
1.350 * * [simplify]: Extracting #1: cost 3 inf + 0
1.350 * * [simplify]: Extracting #2: cost 2 inf + 1
1.350 * * [simplify]: Extracting #3: cost 0 inf + 143
1.350 * [simplify]: Simplified to (exp x)
1.350 * [simplify]: Simplified (2 1 1 2) to (λ (x y) (/ (+ (/ (/ (cos y) 1) (exp x)) (* (cos y) (exp x))) 2))
1.350 * * * * [progress]: [ 25 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y)))) (* (cos y) (exp x))) 2))>
1.350 * [simplify]: Simplifying (* (cbrt (cos y)) (cbrt (cos y)))
1.350 * * [simplify]: iters left: 4 (4 enodes)
1.351 * * [simplify]: iters left: 3 (12 enodes)
1.353 * * [simplify]: Extracting #0: cost 1 inf + 0
1.353 * * [simplify]: Extracting #1: cost 3 inf + 0
1.353 * * [simplify]: Extracting #2: cost 5 inf + 0
1.353 * * [simplify]: Extracting #3: cost 7 inf + 0
1.353 * * [simplify]: Extracting #4: cost 6 inf + 1
1.353 * * [simplify]: Extracting #5: cost 0 inf + 767
1.353 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y)))
1.353 * [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.353 * * * * [progress]: [ 26 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x))) 2))>
1.353 * [simplify]: Simplifying (sqrt (cos y))
1.353 * * [simplify]: iters left: 2 (3 enodes)
1.354 * * [simplify]: iters left: 1 (9 enodes)
1.355 * * [simplify]: Extracting #0: cost 1 inf + 0
1.355 * * [simplify]: Extracting #1: cost 3 inf + 0
1.355 * * [simplify]: Extracting #2: cost 5 inf + 0
1.355 * * [simplify]: Extracting #3: cost 4 inf + 1
1.355 * * [simplify]: Extracting #4: cost 0 inf + 325
1.355 * [simplify]: Simplified to (sqrt (cos y))
1.355 * [simplify]: Simplified (2 1 1 1) to (λ (x y) (/ (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x))) 2))
1.355 * * * * [progress]: [ 27 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x))) 2))>
1.355 * * * * [progress]: [ 28 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (posit16->real (real->posit16 (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
1.355 * * * * [progress]: [ 29 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (log (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x))))) 2))>
1.355 * [simplify]: Simplifying (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x))))
1.356 * * [simplify]: iters left: 6 (9 enodes)
1.357 * * [simplify]: iters left: 5 (33 enodes)
1.362 * * [simplify]: iters left: 4 (45 enodes)
1.369 * * [simplify]: iters left: 3 (62 enodes)
1.378 * * [simplify]: iters left: 2 (99 enodes)
1.397 * * [simplify]: iters left: 1 (198 enodes)
1.476 * * [simplify]: Extracting #0: cost 1 inf + 0
1.477 * * [simplify]: Extracting #1: cost 28 inf + 0
1.477 * * [simplify]: Extracting #2: cost 101 inf + 0
1.478 * * [simplify]: Extracting #3: cost 145 inf + 2
1.479 * * [simplify]: Extracting #4: cost 134 inf + 2491
1.484 * * [simplify]: Extracting #5: cost 72 inf + 20831
1.494 * * [simplify]: Extracting #6: cost 28 inf + 49554
1.509 * * [simplify]: Extracting #7: cost 0 inf + 75414
1.525 * [simplify]: Simplified to (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))
1.525 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (log (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))) 2))
1.525 * * * * [progress]: [ 30 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (pow (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 1) 2))>
1.525 * * * * [progress]: [ 31 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (exp (log (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
1.525 * * * * [progress]: [ 32 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (log (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
1.525 * * * * [progress]: [ 33 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
1.525 * * * * [progress]: [ 34 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (cbrt (* (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
1.525 * * * * [progress]: [ 35 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
1.526 * * * * [progress]: [ 36 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (/ (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3)) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x)))))) 2))>
1.526 * * * * [progress]: [ 37 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* 1 (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 2))>
1.526 * * * * [progress]: [ 38 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (/ (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (- (/ (cos y) (exp x)) (* (cos y) (exp x)))) 2))>
1.526 * * * * [progress]: [ 39 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))>
1.526 * [simplify]: Simplifying (cos y)
1.526 * * [simplify]: iters left: 1 (2 enodes)
1.527 * * [simplify]: Extracting #0: cost 1 inf + 0
1.527 * * [simplify]: Extracting #1: cost 3 inf + 0
1.527 * * [simplify]: Extracting #2: cost 2 inf + 1
1.527 * * [simplify]: Extracting #3: cost 0 inf + 123
1.527 * [simplify]: Simplified to (cos y)
1.527 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))
1.527 * [simplify]: Simplifying (+ (/ 1 (exp x)) (exp x))
1.527 * * [simplify]: iters left: 5 (5 enodes)
1.529 * * [simplify]: iters left: 4 (20 enodes)
1.532 * * [simplify]: iters left: 3 (24 enodes)
1.538 * * [simplify]: Extracting #0: cost 1 inf + 0
1.538 * * [simplify]: Extracting #1: cost 4 inf + 0
1.538 * * [simplify]: Extracting #2: cost 9 inf + 0
1.538 * * [simplify]: Extracting #3: cost 5 inf + 185
1.538 * * [simplify]: Extracting #4: cost 0 inf + 890
1.538 * [simplify]: Simplified to (+ (exp (- x)) (exp x))
1.538 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (* (cos y) (+ (exp (- x)) (exp x))) 2))
1.538 * * * * [progress]: [ 40 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (posit16->real (real->posit16 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
1.538 * * * * [progress]: [ 41 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 2))>
1.538 * * * * [progress]: [ 42 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (cos y) (exp x)) 1)) 2))>
1.539 * [simplify]: Simplifying (* (cos y) (exp x))
1.539 * * [simplify]: iters left: 3 (5 enodes)
1.540 * * [simplify]: iters left: 2 (16 enodes)
1.542 * * [simplify]: Extracting #0: cost 1 inf + 0
1.542 * * [simplify]: Extracting #1: cost 4 inf + 0
1.542 * * [simplify]: Extracting #2: cost 8 inf + 0
1.542 * * [simplify]: Extracting #3: cost 4 inf + 144
1.542 * * [simplify]: Extracting #4: cost 0 inf + 610
1.542 * [simplify]: Simplified to (* (exp x) (cos y))
1.542 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (exp x) (cos y)) 1)) 2))
1.542 * * * * [progress]: [ 43 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (cos y) (exp x)) 1)) 2))>
1.542 * * * * [progress]: [ 44 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (+ (log (cos y)) x))) 2))>
1.542 * [simplify]: Simplifying (+ (log (cos y)) x)
1.542 * * [simplify]: iters left: 4 (5 enodes)
1.543 * * [simplify]: iters left: 3 (16 enodes)
1.545 * * [simplify]: Extracting #0: cost 1 inf + 0
1.545 * * [simplify]: Extracting #1: cost 4 inf + 0
1.545 * * [simplify]: Extracting #2: cost 5 inf + 1
1.545 * * [simplify]: Extracting #3: cost 7 inf + 1
1.545 * * [simplify]: Extracting #4: cost 6 inf + 2
1.545 * * [simplify]: Extracting #5: cost 0 inf + 730
1.545 * [simplify]: Simplified to (+ x (log (cos y)))
1.546 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (+ x (log (cos y))))) 2))
1.546 * * * * [progress]: [ 45 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (log (* (cos y) (exp x))))) 2))>
1.546 * * * * [progress]: [ 46 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (log (exp (* (cos y) (exp x))))) 2))>
1.546 * * * * [progress]: [ 47 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (cbrt (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))))) 2))>
1.546 * [simplify]: Simplifying (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))
1.546 * * [simplify]: iters left: 6 (9 enodes)
1.548 * * [simplify]: iters left: 5 (36 enodes)
1.554 * * [simplify]: iters left: 4 (71 enodes)
1.572 * * [simplify]: iters left: 3 (127 enodes)
1.598 * * [simplify]: iters left: 2 (202 enodes)
1.653 * * [simplify]: iters left: 1 (360 enodes)
1.781 * * [simplify]: Extracting #0: cost 1 inf + 0
1.781 * * [simplify]: Extracting #1: cost 49 inf + 0
1.782 * * [simplify]: Extracting #2: cost 155 inf + 1
1.784 * * [simplify]: Extracting #3: cost 148 inf + 2133
1.789 * * [simplify]: Extracting #4: cost 102 inf + 19540
1.801 * * [simplify]: Extracting #5: cost 8 inf + 69910
1.817 * * [simplify]: Extracting #6: cost 0 inf + 74840
1.832 * [simplify]: Simplified to (* (* (* (exp x) (cos y)) (* (exp x) (cos y))) (* (exp x) (cos y)))
1.832 * [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.832 * * * * [progress]: [ 48 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (* (cos y) (exp x))) (cbrt (* (cos y) (exp x)))) (cbrt (* (cos y) (exp x))))) 2))>
1.832 * * * * [progress]: [ 49 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (cbrt (* (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (cos y) (exp x))))) 2))>
1.832 * * * * [progress]: [ 50 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (* (cos y) (exp x))) (sqrt (* (cos y) (exp x))))) 2))>
1.832 * * * * [progress]: [ 51 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* 1 (* (cos y) (exp x)))) 2))>
1.832 * * * * [progress]: [ 52 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x))))) 2))>
1.833 * [simplify]: Simplifying (* (sqrt (cos y)) (sqrt (exp x)))
1.833 * * [simplify]: iters left: 4 (7 enodes)
1.836 * * [simplify]: iters left: 3 (22 enodes)
1.841 * * [simplify]: Extracting #0: cost 1 inf + 0
1.841 * * [simplify]: Extracting #1: cost 4 inf + 0
1.841 * * [simplify]: Extracting #2: cost 8 inf + 0
1.841 * * [simplify]: Extracting #3: cost 12 inf + 0
1.842 * * [simplify]: Extracting #4: cost 10 inf + 2
1.842 * * [simplify]: Extracting #5: cost 4 inf + 488
1.842 * * [simplify]: Extracting #6: cost 1 inf + 942
1.842 * * [simplify]: Extracting #7: cost 0 inf + 1194
1.843 * [simplify]: Simplified to (* (sqrt (cos y)) (sqrt (exp x)))
1.843 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x))))) 2))
1.843 * [simplify]: Simplifying (* (sqrt (cos y)) (sqrt (exp x)))
1.843 * * [simplify]: iters left: 4 (7 enodes)
1.846 * * [simplify]: iters left: 3 (22 enodes)
1.852 * * [simplify]: Extracting #0: cost 1 inf + 0
1.852 * * [simplify]: Extracting #1: cost 4 inf + 0
1.852 * * [simplify]: Extracting #2: cost 8 inf + 0
1.852 * * [simplify]: Extracting #3: cost 12 inf + 0
1.852 * * [simplify]: Extracting #4: cost 10 inf + 2
1.852 * * [simplify]: Extracting #5: cost 4 inf + 488
1.852 * * [simplify]: Extracting #6: cost 1 inf + 942
1.853 * * [simplify]: Extracting #7: cost 0 inf + 1194
1.853 * [simplify]: Simplified to (* (sqrt (cos y)) (sqrt (exp x)))
1.853 * [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.853 * * * * [progress]: [ 53 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 2))>
1.854 * [simplify]: Simplifying (cbrt (exp x))
1.854 * * [simplify]: iters left: 2 (3 enodes)
1.855 * * [simplify]: iters left: 1 (9 enodes)
1.857 * * [simplify]: Extracting #0: cost 1 inf + 0
1.857 * * [simplify]: Extracting #1: cost 3 inf + 0
1.857 * * [simplify]: Extracting #2: cost 5 inf + 0
1.857 * * [simplify]: Extracting #3: cost 4 inf + 1
1.857 * * [simplify]: Extracting #4: cost 0 inf + 445
1.858 * [simplify]: Simplified to (cbrt (exp x))
1.858 * [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.858 * * * * [progress]: [ 54 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2))>
1.858 * [simplify]: Simplifying (sqrt (exp x))
1.858 * * [simplify]: iters left: 2 (3 enodes)
1.859 * * [simplify]: iters left: 1 (9 enodes)
1.862 * * [simplify]: Extracting #0: cost 1 inf + 0
1.862 * * [simplify]: Extracting #1: cost 3 inf + 0
1.862 * * [simplify]: Extracting #2: cost 5 inf + 0
1.862 * * [simplify]: Extracting #3: cost 4 inf + 1
1.862 * * [simplify]: Extracting #4: cost 0 inf + 365
1.862 * [simplify]: Simplified to (sqrt (exp x))
1.862 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2))
1.862 * * * * [progress]: [ 55 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) 1) (exp x))) 2))>
1.863 * [simplify]: Simplifying (exp x)
1.863 * * [simplify]: iters left: 1 (2 enodes)
1.863 * * [simplify]: Extracting #0: cost 1 inf + 0
1.863 * * [simplify]: Extracting #1: cost 3 inf + 0
1.864 * * [simplify]: Extracting #2: cost 2 inf + 1
1.864 * * [simplify]: Extracting #3: cost 0 inf + 143
1.864 * [simplify]: Simplified to (exp x)
1.864 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) 1) (exp x))) 2))
1.864 * * * * [progress]: [ 56 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (exp x)))) 2))>
1.864 * [simplify]: Simplifying (* (cbrt (cos y)) (cbrt (cos y)))
1.864 * * [simplify]: iters left: 4 (4 enodes)
1.866 * * [simplify]: iters left: 3 (12 enodes)
1.869 * * [simplify]: Extracting #0: cost 1 inf + 0
1.869 * * [simplify]: Extracting #1: cost 3 inf + 0
1.869 * * [simplify]: Extracting #2: cost 5 inf + 0
1.869 * * [simplify]: Extracting #3: cost 7 inf + 0
1.870 * * [simplify]: Extracting #4: cost 6 inf + 1
1.870 * * [simplify]: Extracting #5: cost 0 inf + 767
1.870 * [simplify]: Simplified to (* (cbrt (cos y)) (cbrt (cos y)))
1.870 * [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.870 * * * * [progress]: [ 57 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (cos y)) (* (sqrt (cos y)) (exp x)))) 2))>
1.870 * [simplify]: Simplifying (sqrt (cos y))
1.870 * * [simplify]: iters left: 2 (3 enodes)
1.872 * * [simplify]: iters left: 1 (9 enodes)
1.874 * * [simplify]: Extracting #0: cost 1 inf + 0
1.874 * * [simplify]: Extracting #1: cost 3 inf + 0
1.874 * * [simplify]: Extracting #2: cost 5 inf + 0
1.874 * * [simplify]: Extracting #3: cost 4 inf + 1
1.874 * * [simplify]: Extracting #4: cost 0 inf + 325
1.874 * [simplify]: Simplified to (sqrt (cos y))
1.874 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (cos y)) (* (sqrt (cos y)) (exp x)))) 2))
1.874 * * * * [progress]: [ 58 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* 1 (* (cos y) (exp x)))) 2))>
1.875 * * * * [progress]: [ 59 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (posit16->real (real->posit16 (* (cos y) (exp x))))) 2))>
1.875 * * * * [progress]: [ 60 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
1.875 * * * * [progress]: [ 61 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (- 1 (+ (* 1/2 (pow y 2)) x)) (* (cos y) (exp x))) 2))>
1.875 * [simplify]: Simplifying (- 1 (+ (* 1/2 (pow y 2)) x))
1.875 * * [simplify]: iters left: 6 (9 enodes)
1.881 * * [simplify]: iters left: 5 (39 enodes)
1.893 * * [simplify]: iters left: 4 (58 enodes)
1.913 * * [simplify]: iters left: 3 (96 enodes)
1.941 * * [simplify]: iters left: 2 (129 enodes)
1.959 * * [simplify]: iters left: 1 (147 enodes)
1.987 * * [simplify]: Extracting #0: cost 1 inf + 0
1.988 * * [simplify]: Extracting #1: cost 16 inf + 0
1.988 * * [simplify]: Extracting #2: cost 32 inf + 44
1.988 * * [simplify]: Extracting #3: cost 22 inf + 867
1.989 * * [simplify]: Extracting #4: cost 3 inf + 2552
1.990 * * [simplify]: Extracting #5: cost 0 inf + 3003
1.991 * [simplify]: Simplified to (- (* y (* y -1/2)) (- x 1))
1.991 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (- (* y (* y -1/2)) (- x 1)) (* (cos y) (exp x))) 2))
1.991 * * * * [progress]: [ 62 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>
1.991 * [simplify]: Simplifying (/ (cos y) (exp x))
1.991 * * [simplify]: iters left: 3 (5 enodes)
1.992 * * [simplify]: iters left: 2 (15 enodes)
1.994 * * [simplify]: Extracting #0: cost 1 inf + 0
1.994 * * [simplify]: Extracting #1: cost 4 inf + 0
1.994 * * [simplify]: Extracting #2: cost 8 inf + 0
1.994 * * [simplify]: Extracting #3: cost 4 inf + 144
1.994 * * [simplify]: Extracting #4: cost 0 inf + 610
1.994 * [simplify]: Simplified to (/ (cos y) (exp x))
1.994 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))
1.994 * * * * [progress]: [ 63 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>
1.994 * [simplify]: Simplifying (/ (cos y) (exp x))
1.994 * * [simplify]: iters left: 3 (5 enodes)
1.995 * * [simplify]: iters left: 2 (15 enodes)
1.997 * * [simplify]: Extracting #0: cost 1 inf + 0
1.997 * * [simplify]: Extracting #1: cost 4 inf + 0
1.997 * * [simplify]: Extracting #2: cost 8 inf + 0
1.997 * * [simplify]: Extracting #3: cost 4 inf + 144
1.997 * * [simplify]: Extracting #4: cost 0 inf + 610
1.997 * [simplify]: Simplified to (/ (cos y) (exp x))
1.997 * [simplify]: Simplified (2 1 1) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))
1.998 * * * * [progress]: [ 64 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (- (+ (pow x 2) 2) (pow y 2)) 2))>
1.998 * [simplify]: Simplifying (- (+ (pow x 2) 2) (pow y 2))
1.998 * * [simplify]: iters left: 5 (7 enodes)
2.000 * * [simplify]: iters left: 4 (34 enodes)
2.005 * * [simplify]: iters left: 3 (53 enodes)
2.022 * * [simplify]: iters left: 2 (69 enodes)
2.039 * * [simplify]: iters left: 1 (82 enodes)
2.059 * * [simplify]: Extracting #0: cost 1 inf + 0
2.059 * * [simplify]: Extracting #1: cost 11 inf + 0
2.060 * * [simplify]: Extracting #2: cost 33 inf + 1
2.060 * * [simplify]: Extracting #3: cost 29 inf + 331
2.061 * * [simplify]: Extracting #4: cost 4 inf + 2214
2.062 * * [simplify]: Extracting #5: cost 0 inf + 2744
2.064 * [simplify]: Simplified to (+ (- 2 (* y y)) (* x x))
2.064 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (- 2 (* y y)) (* x x)) 2))
2.064 * * * * [progress]: [ 65 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.064 * [simplify]: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
2.064 * * [simplify]: iters left: 5 (7 enodes)
2.067 * * [simplify]: iters left: 4 (23 enodes)
2.074 * * [simplify]: Extracting #0: cost 1 inf + 0
2.074 * * [simplify]: Extracting #1: cost 4 inf + 0
2.074 * * [simplify]: Extracting #2: cost 8 inf + 0
2.074 * * [simplify]: Extracting #3: cost 12 inf + 0
2.074 * * [simplify]: Extracting #4: cost 10 inf + 2
2.074 * * [simplify]: Extracting #5: cost 1 inf + 1206
2.075 * * [simplify]: Extracting #6: cost 0 inf + 1458
2.075 * [simplify]: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
2.075 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2))
2.075 * * * * [progress]: [ 66 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.076 * [simplify]: Simplifying (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
2.076 * * [simplify]: iters left: 5 (7 enodes)
2.079 * * [simplify]: iters left: 4 (23 enodes)
2.085 * * [simplify]: Extracting #0: cost 1 inf + 0
2.085 * * [simplify]: Extracting #1: cost 4 inf + 0
2.085 * * [simplify]: Extracting #2: cost 8 inf + 0
2.085 * * [simplify]: Extracting #3: cost 12 inf + 0
2.085 * * [simplify]: Extracting #4: cost 10 inf + 2
2.086 * * [simplify]: Extracting #5: cost 1 inf + 1206
2.086 * * [simplify]: Extracting #6: cost 0 inf + 1458
2.086 * [simplify]: Simplified to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
2.086 * [simplify]: Simplified (2 1) to (λ (x y) (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2))
2.086 * * * * [progress]: [ 67 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (- (+ x 1) (* 1/2 (pow y 2)))) 2))>
2.087 * [simplify]: Simplifying (- (+ x 1) (* 1/2 (pow y 2)))
2.087 * * [simplify]: iters left: 5 (9 enodes)
2.093 * * [simplify]: iters left: 4 (39 enodes)
2.105 * * [simplify]: iters left: 3 (64 enodes)
2.125 * * [simplify]: iters left: 2 (91 enodes)
2.148 * * [simplify]: iters left: 1 (103 enodes)
2.174 * * [simplify]: Extracting #0: cost 1 inf + 0
2.174 * * [simplify]: Extracting #1: cost 11 inf + 0
2.174 * * [simplify]: Extracting #2: cost 24 inf + 2
2.174 * * [simplify]: Extracting #3: cost 24 inf + 130
2.175 * * [simplify]: Extracting #4: cost 10 inf + 1117
2.176 * * [simplify]: Extracting #5: cost 0 inf + 2060
2.177 * [simplify]: Simplified to (- (+ 1 x) (* y (* 1/2 y)))
2.177 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (- (+ 1 x) (* y (* 1/2 y)))) 2))
2.177 * * * * [progress]: [ 68 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.178 * [simplify]: Simplifying (* (exp x) (cos y))
2.178 * * [simplify]: iters left: 3 (5 enodes)
2.180 * * [simplify]: iters left: 2 (16 enodes)
2.184 * * [simplify]: Extracting #0: cost 1 inf + 0
2.184 * * [simplify]: Extracting #1: cost 4 inf + 0
2.184 * * [simplify]: Extracting #2: cost 8 inf + 0
2.184 * * [simplify]: Extracting #3: cost 4 inf + 124
2.184 * * [simplify]: Extracting #4: cost 0 inf + 610
2.184 * [simplify]: Simplified to (* (cos y) (exp x))
2.185 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))
2.185 * * * * [progress]: [ 69 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.185 * [simplify]: Simplifying (* (exp x) (cos y))
2.185 * * [simplify]: iters left: 3 (5 enodes)
2.187 * * [simplify]: iters left: 2 (16 enodes)
2.191 * * [simplify]: Extracting #0: cost 1 inf + 0
2.191 * * [simplify]: Extracting #1: cost 4 inf + 0
2.191 * * [simplify]: Extracting #2: cost 8 inf + 0
2.191 * * [simplify]: Extracting #3: cost 4 inf + 124
2.191 * * [simplify]: Extracting #4: cost 0 inf + 610
2.191 * [simplify]: Simplified to (* (cos y) (exp x))
2.191 * [simplify]: Simplified (2 1 2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))
2.192 * * * [progress]: adding candidates to table
2.815 * [progress]: [Phase 3 of 3] Extracting.
2.818 * [simplify]: Simplifying (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)
2.818 * * [simplify]: iters left: 6 (9 enodes)
2.818 * * [simplify]: iters left: 5 (11 enodes)
2.819 * * [simplify]: Extracting #0: cost 1 inf + 0
2.819 * * [simplify]: Extracting #1: cost 3 inf + 0
2.819 * * [simplify]: Extracting #2: cost 4 inf + 1
2.819 * * [simplify]: Extracting #3: cost 6 inf + 1
2.819 * * [simplify]: Extracting #4: cost 8 inf + 1
2.819 * * [simplify]: Extracting #5: cost 5 inf + 74
2.819 * * [simplify]: Extracting #6: cost 0 inf + 1024
2.819 * [simplify]: Simplified to (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)
2.819 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
2.918 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
2.921 * * * * [points]: Setting MPFR precision to 64
2.922 * * * * [points]: Setting MPFR precision to 320
2.923 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
2.926 * * * * [points]: Setting MPFR precision to 64
2.927 * * * * [points]: Setting MPFR precision to 320
2.928 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
2.931 * * * * [points]: Setting MPFR precision to 64
2.936 * * * * [points]: Setting MPFR precision to 320
2.942 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
2.947 * * * * [points]: Setting MPFR precision to 64
2.959 * * * * [points]: Setting MPFR precision to 320
2.971 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.976 * * * * [points]: Setting MPFR precision to 64
2.997 * * * * [points]: Setting MPFR precision to 320
3.021 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
3.025 * * * * [points]: Setting MPFR precision to 64
3.101 * * * * [points]: Setting MPFR precision to 320
3.143 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
3.147 * * * * [points]: Setting MPFR precision to 64
3.198 * * * * [points]: Setting MPFR precision to 320
3.285 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.339 * * * * [points]: Setting MPFR precision to 64
3.474 * * * * [points]: Setting MPFR precision to 320
3.648 * * * * [points]: Computing exacts for 8000 points
3.651 * * * * [points]: Setting MPFR precision to 64
4.260 * * * * [points]: Setting MPFR precision to 320
5.453 * * * * [points]: Filtering points with unrepresentable outputs
5.456 * * * * [points]: Sampling 4007 additional inputs, on iter 1 have 3993 / 8000
5.523 * * * * [points]: Computing exacts on every 250 of 4007 points to ramp up precision
5.526 * * * * [points]: Setting MPFR precision to 64
5.530 * * * * [points]: Setting MPFR precision to 320
5.530 * * * * [points]: Computing exacts on every 125 of 4007 points to ramp up precision
5.534 * * * * [points]: Setting MPFR precision to 64
5.536 * * * * [points]: Setting MPFR precision to 320
5.537 * * * * [points]: Computing exacts on every 62 of 4007 points to ramp up precision
5.540 * * * * [points]: Setting MPFR precision to 64
5.542 * * * * [points]: Setting MPFR precision to 320
5.545 * * * * [points]: Computing exacts on every 31 of 4007 points to ramp up precision
5.548 * * * * [points]: Setting MPFR precision to 64
5.553 * * * * [points]: Setting MPFR precision to 320
5.559 * * * * [points]: Computing exacts on every 15 of 4007 points to ramp up precision
5.561 * * * * [points]: Setting MPFR precision to 64
5.580 * * * * [points]: Setting MPFR precision to 320
5.603 * * * * [points]: Computing exacts on every 7 of 4007 points to ramp up precision
5.608 * * * * [points]: Setting MPFR precision to 64
5.648 * * * * [points]: Setting MPFR precision to 320
5.692 * * * * [points]: Computing exacts on every 3 of 4007 points to ramp up precision
5.696 * * * * [points]: Setting MPFR precision to 64
5.782 * * * * [points]: Setting MPFR precision to 320
5.848 * * * * [points]: Computing exacts for 4007 points
5.851 * * * * [points]: Setting MPFR precision to 64
6.178 * * * * [points]: Setting MPFR precision to 320
6.521 * * * * [points]: Filtering points with unrepresentable outputs
6.525 * * * * [points]: Sampling 1884 additional inputs, on iter 2 have 6116 / 8000
6.554 * * * * [points]: Computing exacts on every 117 of 1884 points to ramp up precision
6.558 * * * * [points]: Setting MPFR precision to 64
6.560 * * * * [points]: Setting MPFR precision to 320
6.561 * * * * [points]: Computing exacts on every 58 of 1884 points to ramp up precision
6.566 * * * * [points]: Setting MPFR precision to 64
6.568 * * * * [points]: Setting MPFR precision to 320
6.571 * * * * [points]: Computing exacts on every 29 of 1884 points to ramp up precision
6.575 * * * * [points]: Setting MPFR precision to 64
6.622 * * * * [points]: Setting MPFR precision to 320
6.628 * * * * [points]: Computing exacts on every 14 of 1884 points to ramp up precision
6.636 * * * * [points]: Setting MPFR precision to 64
6.646 * * * * [points]: Setting MPFR precision to 320
6.658 * * * * [points]: Computing exacts on every 7 of 1884 points to ramp up precision
6.662 * * * * [points]: Setting MPFR precision to 64
6.682 * * * * [points]: Setting MPFR precision to 320
6.704 * * * * [points]: Computing exacts on every 3 of 1884 points to ramp up precision
6.708 * * * * [points]: Setting MPFR precision to 64
6.746 * * * * [points]: Setting MPFR precision to 320
6.772 * * * * [points]: Computing exacts for 1884 points
6.774 * * * * [points]: Setting MPFR precision to 64
6.917 * * * * [points]: Setting MPFR precision to 320
7.063 * * * * [points]: Filtering points with unrepresentable outputs
7.064 * * * * [points]: Sampling 934 additional inputs, on iter 3 have 7066 / 8000
7.071 * * * * [points]: Computing exacts on every 58 of 934 points to ramp up precision
7.077 * * * * [points]: Setting MPFR precision to 64
7.078 * * * * [points]: Setting MPFR precision to 320
7.078 * * * * [points]: Computing exacts on every 29 of 934 points to ramp up precision
7.081 * * * * [points]: Setting MPFR precision to 64
7.082 * * * * [points]: Setting MPFR precision to 320
7.084 * * * * [points]: Computing exacts on every 14 of 934 points to ramp up precision
7.086 * * * * [points]: Setting MPFR precision to 64
7.089 * * * * [points]: Setting MPFR precision to 320
7.092 * * * * [points]: Computing exacts on every 7 of 934 points to ramp up precision
7.094 * * * * [points]: Setting MPFR precision to 64
7.099 * * * * [points]: Setting MPFR precision to 320
7.105 * * * * [points]: Computing exacts on every 3 of 934 points to ramp up precision
7.107 * * * * [points]: Setting MPFR precision to 64
7.116 * * * * [points]: Setting MPFR precision to 320
7.127 * * * * [points]: Computing exacts for 934 points
7.129 * * * * [points]: Setting MPFR precision to 64
7.206 * * * * [points]: Setting MPFR precision to 320
7.251 * * * * [points]: Filtering points with unrepresentable outputs
7.252 * * * * [points]: Sampling 474 additional inputs, on iter 4 have 7526 / 8000
7.256 * * * * [points]: Computing exacts on every 29 of 474 points to ramp up precision
7.259 * * * * [points]: Setting MPFR precision to 64
7.259 * * * * [points]: Setting MPFR precision to 320
7.260 * * * * [points]: Computing exacts on every 14 of 474 points to ramp up precision
7.262 * * * * [points]: Setting MPFR precision to 64
7.264 * * * * [points]: Setting MPFR precision to 320
7.266 * * * * [points]: Computing exacts on every 7 of 474 points to ramp up precision
7.268 * * * * [points]: Setting MPFR precision to 64
7.271 * * * * [points]: Setting MPFR precision to 320
7.274 * * * * [points]: Computing exacts on every 3 of 474 points to ramp up precision
7.276 * * * * [points]: Setting MPFR precision to 64
7.281 * * * * [points]: Setting MPFR precision to 320
7.287 * * * * [points]: Computing exacts for 474 points
7.290 * * * * [points]: Setting MPFR precision to 64
7.324 * * * * [points]: Setting MPFR precision to 320
7.791 * * * * [points]: Filtering points with unrepresentable outputs
7.791 * * * * [points]: Sampling 220 additional inputs, on iter 5 have 7780 / 8000
7.795 * * * * [points]: Computing exacts on every 13 of 220 points to ramp up precision
7.798 * * * * [points]: Setting MPFR precision to 64
7.799 * * * * [points]: Setting MPFR precision to 320
7.800 * * * * [points]: Computing exacts on every 6 of 220 points to ramp up precision
7.802 * * * * [points]: Setting MPFR precision to 64
7.803 * * * * [points]: Setting MPFR precision to 320
7.805 * * * * [points]: Computing exacts on every 3 of 220 points to ramp up precision
7.807 * * * * [points]: Setting MPFR precision to 64
7.810 * * * * [points]: Setting MPFR precision to 320
7.813 * * * * [points]: Computing exacts for 220 points
7.815 * * * * [points]: Setting MPFR precision to 64
7.824 * * * * [points]: Setting MPFR precision to 320
7.835 * * * * [points]: Filtering points with unrepresentable outputs
7.835 * * * * [points]: Sampling 113 additional inputs, on iter 6 have 7887 / 8000
7.836 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision
7.838 * * * * [points]: Setting MPFR precision to 64
7.839 * * * * [points]: Setting MPFR precision to 320
7.840 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision
7.842 * * * * [points]: Setting MPFR precision to 64
7.843 * * * * [points]: Setting MPFR precision to 320
7.845 * * * * [points]: Computing exacts for 113 points
7.847 * * * * [points]: Setting MPFR precision to 64
7.851 * * * * [points]: Setting MPFR precision to 320
7.857 * * * * [points]: Filtering points with unrepresentable outputs
7.857 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000
7.858 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
7.860 * * * * [points]: Setting MPFR precision to 64
7.861 * * * * [points]: Setting MPFR precision to 320
7.861 * * * * [points]: Computing exacts for 58 points
7.864 * * * * [points]: Setting MPFR precision to 64
7.867 * * * * [points]: Setting MPFR precision to 320
7.871 * * * * [points]: Filtering points with unrepresentable outputs
7.871 * * * * [points]: Sampling 31 additional inputs, on iter 8 have 7969 / 8000
7.871 * * * * [points]: Computing exacts for 31 points
7.874 * * * * [points]: Setting MPFR precision to 64
7.875 * * * * [points]: Setting MPFR precision to 320
7.876 * * * * [points]: Filtering points with unrepresentable outputs
7.877 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
7.877 * * * * [points]: Computing exacts for 14 points
7.879 * * * * [points]: Setting MPFR precision to 64
7.880 * * * * [points]: Setting MPFR precision to 320
7.881 * * * * [points]: Filtering points with unrepresentable outputs
7.881 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7997 / 8000
7.881 * * * * [points]: Computing exacts for 4 points
7.883 * * * * [points]: Setting MPFR precision to 64
7.883 * * * * [points]: Setting MPFR precision to 320
7.884 * * * * [points]: Filtering points with unrepresentable outputs
7.884 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
7.884 * * * * [points]: Computing exacts for 4 points
7.886 * * * * [points]: Setting MPFR precision to 64
7.907 * * * * [points]: Setting MPFR precision to 320
7.907 * * * * [points]: Filtering points with unrepresentable outputs
7.907 * * * * [points]: Sampled 8000 points with exact outputs
8.121 * [regime-testing]: Baseline error score: 0.0085
8.123 * [regime-testing]: Oracle error score: 0.0085
8.123 * [regime-testing]: End program error score: 0.0085