18.185 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying:
  (+ x (/ y 500.0))
0.016 * * [simplify]: iteration 0: 5 enodes
0.017 * * [simplify]: iteration 1: 6 enodes
0.018 * * [simplify]: iteration complete: 6 enodes
0.018 * * [simplify]: Extracting #0: cost 1 inf + 0
0.018 * * [simplify]: Extracting #1: cost 3 inf + 0
0.018 * * [simplify]: Extracting #2: cost 4 inf + 1
0.018 * * [simplify]: Extracting #3: cost 0 inf + 11
0.018 * [simplify]: Simplified to:
  (+ (/ y 500.0) x)
0.022 * * [progress]: iteration 1 / 4
0.022 * * * [progress]: picking best candidate
0.024 * * * * [pick]: Picked  #<alt (λ (x y) (+ x (/ y 500.0)))>
0.024 * * * [progress]: localizing error
0.030 * * * [progress]: generating rewritten candidates
0.030 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.038 * * * [progress]: generating series expansions
0.039 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.039 * [backup-simplify]: Simplify (+ x (/ y 500.0)) into (+ x (* 0.002 y))
0.039 * [approximate]: Taking taylor expansion of (+ x (* 0.002 y)) in (x y) around 0
0.039 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in y
0.039 * [taylor]: Taking taylor expansion of x in y
0.039 * [backup-simplify]: Simplify x into x
0.039 * [taylor]: Taking taylor expansion of (* 0.002 y) in y
0.039 * [taylor]: Taking taylor expansion of 0.002 in y
0.039 * [backup-simplify]: Simplify 0.002 into 0.002
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [backup-simplify]: Simplify 0 into 0
0.039 * [backup-simplify]: Simplify 1 into 1
0.039 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
0.039 * [taylor]: Taking taylor expansion of x in x
0.039 * [backup-simplify]: Simplify 0 into 0
0.039 * [backup-simplify]: Simplify 1 into 1
0.039 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
0.039 * [taylor]: Taking taylor expansion of 0.002 in x
0.039 * [backup-simplify]: Simplify 0.002 into 0.002
0.039 * [taylor]: Taking taylor expansion of y in x
0.039 * [backup-simplify]: Simplify y into y
0.039 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
0.039 * [taylor]: Taking taylor expansion of x in x
0.039 * [backup-simplify]: Simplify 0 into 0
0.039 * [backup-simplify]: Simplify 1 into 1
0.039 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
0.039 * [taylor]: Taking taylor expansion of 0.002 in x
0.039 * [backup-simplify]: Simplify 0.002 into 0.002
0.039 * [taylor]: Taking taylor expansion of y in x
0.039 * [backup-simplify]: Simplify y into y
0.039 * [backup-simplify]: Simplify (* 0.002 y) into (* 0.002 y)
0.039 * [backup-simplify]: Simplify (+ 0 (* 0.002 y)) into (* 0.002 y)
0.039 * [taylor]: Taking taylor expansion of (* 0.002 y) in y
0.039 * [taylor]: Taking taylor expansion of 0.002 in y
0.039 * [backup-simplify]: Simplify 0.002 into 0.002
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [backup-simplify]: Simplify 0 into 0
0.039 * [backup-simplify]: Simplify 1 into 1
0.040 * [backup-simplify]: Simplify (* 0.002 0) into 0
0.040 * [backup-simplify]: Simplify 0 into 0
0.041 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 y)) into 0
0.041 * [backup-simplify]: Simplify (+ 1 0) into 1
0.041 * [taylor]: Taking taylor expansion of 1 in y
0.041 * [backup-simplify]: Simplify 1 into 1
0.041 * [backup-simplify]: Simplify 1 into 1
0.042 * [backup-simplify]: Simplify (+ (* 0.002 1) (* 0 0)) into 0.002
0.042 * [backup-simplify]: Simplify 0.002 into 0.002
0.043 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 y))) into 0
0.043 * [backup-simplify]: Simplify (+ 0 0) into 0
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [backup-simplify]: Simplify 0 into 0
0.043 * [backup-simplify]: Simplify 0 into 0
0.043 * [backup-simplify]: Simplify 0 into 0
0.044 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 1) (* 0 0))) into 0
0.044 * [backup-simplify]: Simplify 0 into 0
0.045 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.045 * [backup-simplify]: Simplify (+ 0 0) into 0
0.045 * [taylor]: Taking taylor expansion of 0 in y
0.045 * [backup-simplify]: Simplify 0 into 0
0.045 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify (+ (* 0.002 (* y 1)) (* 1 (* 1 x))) into (+ x (* 0.002 y))
0.046 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (/ 1 y) 500.0)) into (+ (/ 1 x) (* 0.002 (/ 1 y)))
0.046 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in (x y) around 0
0.046 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.046 * [taylor]: Taking taylor expansion of x in y
0.046 * [backup-simplify]: Simplify x into x
0.046 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.046 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
0.046 * [taylor]: Taking taylor expansion of 0.002 in y
0.046 * [backup-simplify]: Simplify 0.002 into 0.002
0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.046 * [taylor]: Taking taylor expansion of y in y
0.046 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify 1 into 1
0.046 * [backup-simplify]: Simplify (/ 1 1) into 1
0.046 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify 1 into 1
0.047 * [backup-simplify]: Simplify (/ 1 1) into 1
0.047 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
0.047 * [taylor]: Taking taylor expansion of 0.002 in x
0.047 * [backup-simplify]: Simplify 0.002 into 0.002
0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.047 * [taylor]: Taking taylor expansion of y in x
0.047 * [backup-simplify]: Simplify y into y
0.047 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.047 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.047 * [taylor]: Taking taylor expansion of x in x
0.047 * [backup-simplify]: Simplify 0 into 0
0.047 * [backup-simplify]: Simplify 1 into 1
0.047 * [backup-simplify]: Simplify (/ 1 1) into 1
0.047 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
0.047 * [taylor]: Taking taylor expansion of 0.002 in x
0.047 * [backup-simplify]: Simplify 0.002 into 0.002
0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.047 * [taylor]: Taking taylor expansion of y in x
0.047 * [backup-simplify]: Simplify y into y
0.047 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.048 * [backup-simplify]: Simplify (+ 1 0) into 1
0.048 * [taylor]: Taking taylor expansion of 1 in y
0.048 * [backup-simplify]: Simplify 1 into 1
0.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.048 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
0.048 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
0.048 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
0.048 * [taylor]: Taking taylor expansion of 0.002 in y
0.049 * [backup-simplify]: Simplify 0.002 into 0.002
0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.049 * [taylor]: Taking taylor expansion of y in y
0.049 * [backup-simplify]: Simplify 0 into 0
0.049 * [backup-simplify]: Simplify 1 into 1
0.049 * [backup-simplify]: Simplify (/ 1 1) into 1
0.049 * [backup-simplify]: Simplify (* 0.002 1) into 0.002
0.049 * [backup-simplify]: Simplify 0.002 into 0.002
0.049 * [backup-simplify]: Simplify 1 into 1
0.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.050 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
0.051 * [backup-simplify]: Simplify (+ 0 0) into 0
0.051 * [taylor]: Taking taylor expansion of 0 in y
0.051 * [backup-simplify]: Simplify 0 into 0
0.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.052 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 1)) into 0
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.053 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.053 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.053 * [backup-simplify]: Simplify (+ 0 0) into 0
0.053 * [taylor]: Taking taylor expansion of 0 in y
0.053 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.055 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 1))) into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.056 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
0.057 * [backup-simplify]: Simplify (+ 0 0) into 0
0.057 * [taylor]: Taking taylor expansion of 0 in y
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 0.002 (* (/ 1 (/ 1 y)) 1))) into (+ x (* 0.002 y))
0.057 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (/ 1 (- y)) 500.0)) into (- (+ (/ 1 x) (* 0.002 (/ 1 y))))
0.057 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in (x y) around 0
0.057 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in y
0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.057 * [taylor]: Taking taylor expansion of x in y
0.057 * [backup-simplify]: Simplify x into x
0.057 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.057 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
0.057 * [taylor]: Taking taylor expansion of 0.002 in y
0.057 * [backup-simplify]: Simplify 0.002 into 0.002
0.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.057 * [taylor]: Taking taylor expansion of y in y
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify 1 into 1
0.058 * [backup-simplify]: Simplify (/ 1 1) into 1
0.058 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify 1 into 1
0.058 * [backup-simplify]: Simplify (/ 1 1) into 1
0.058 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
0.058 * [taylor]: Taking taylor expansion of 0.002 in x
0.058 * [backup-simplify]: Simplify 0.002 into 0.002
0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.058 * [taylor]: Taking taylor expansion of y in x
0.058 * [backup-simplify]: Simplify y into y
0.058 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.058 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify 1 into 1
0.059 * [backup-simplify]: Simplify (/ 1 1) into 1
0.059 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
0.059 * [taylor]: Taking taylor expansion of 0.002 in x
0.059 * [backup-simplify]: Simplify 0.002 into 0.002
0.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.059 * [taylor]: Taking taylor expansion of y in x
0.059 * [backup-simplify]: Simplify y into y
0.059 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.059 * [backup-simplify]: Simplify (+ 1 0) into 1
0.060 * [backup-simplify]: Simplify (- 1) into -1
0.060 * [taylor]: Taking taylor expansion of -1 in y
0.060 * [backup-simplify]: Simplify -1 into -1
0.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.060 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
0.060 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
0.060 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
0.060 * [taylor]: Taking taylor expansion of (- (* 0.002 (/ 1 y))) in y
0.060 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
0.060 * [taylor]: Taking taylor expansion of 0.002 in y
0.060 * [backup-simplify]: Simplify 0.002 into 0.002
0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.060 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify 1 into 1
0.061 * [backup-simplify]: Simplify (/ 1 1) into 1
0.061 * [backup-simplify]: Simplify (* 0.002 1) into 0.002
0.061 * [backup-simplify]: Simplify (- 0.002) into (- 0.002)
0.062 * [backup-simplify]: Simplify (- 0.002) into (- 0.002)
0.062 * [backup-simplify]: Simplify -1 into -1
0.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.062 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.063 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
0.063 * [backup-simplify]: Simplify (+ 0 0) into 0
0.063 * [backup-simplify]: Simplify (- 0) into 0
0.063 * [taylor]: Taking taylor expansion of 0 in y
0.063 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.064 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 1)) into 0
0.065 * [backup-simplify]: Simplify (- 0) into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.065 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.066 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.066 * [backup-simplify]: Simplify (+ 0 0) into 0
0.067 * [backup-simplify]: Simplify (- 0) into 0
0.067 * [taylor]: Taking taylor expansion of 0 in y
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.068 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 1))) into 0
0.068 * [backup-simplify]: Simplify (- 0) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.070 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
0.071 * [backup-simplify]: Simplify (+ 0 0) into 0
0.071 * [backup-simplify]: Simplify (- 0) into 0
0.071 * [taylor]: Taking taylor expansion of 0 in y
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.002) (* (/ 1 (/ 1 (- y))) 1))) into (+ x (* 0.002 y))
0.071 * * * [progress]: simplifying candidates
0.072 * [simplify]: Simplifying:
  (* (exp x) (exp (/ y 500.0)))
  (log (+ x (/ y 500.0)))
  (exp (+ x (/ y 500.0)))
  (* (cbrt (+ x (/ y 500.0))) (cbrt (+ x (/ y 500.0))))
  (cbrt (+ x (/ y 500.0)))
  (* (* (+ x (/ y 500.0)) (+ x (/ y 500.0))) (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (+ (pow x 3) (pow (/ y 500.0) 3))
  (+ (* x x) (- (* (/ y 500.0) (/ y 500.0)) (* x (/ y 500.0))))
  (- (* x x) (* (/ y 500.0) (/ y 500.0)))
  (- x (/ y 500.0))
  (+ x (/ y 500.0))
  (+ x (* 0.002 y))
  (+ x (* 0.002 y))
  (+ x (* 0.002 y))
0.072 * * [simplify]: iteration 0: 29 enodes
0.077 * * [simplify]: iteration 1: 80 enodes
0.101 * * [simplify]: iteration 2: 211 enodes
0.190 * * [simplify]: iteration 3: 565 enodes
0.484 * * [simplify]: iteration 4: 1608 enodes
1.029 * * [simplify]: iteration complete: 5000 enodes
1.029 * * [simplify]: Extracting #0: cost 12 inf + 0
1.030 * * [simplify]: Extracting #1: cost 247 inf + 0
1.036 * * [simplify]: Extracting #2: cost 1351 inf + 10
1.044 * * [simplify]: Extracting #3: cost 1544 inf + 567
1.051 * * [simplify]: Extracting #4: cost 1019 inf + 10637
1.059 * * [simplify]: Extracting #5: cost 181 inf + 25352
1.065 * * [simplify]: Extracting #6: cost 24 inf + 25524
1.076 * * [simplify]: Extracting #7: cost 0 inf + 25420
1.088 * * [simplify]: Extracting #8: cost 0 inf + 25400
1.098 * [simplify]: Simplified to:
  (exp (+ x (/ y 500.0)))
  (log (+ x (/ y 500.0)))
  (exp (+ x (/ y 500.0)))
  (* (cbrt (+ x (/ y 500.0))) (cbrt (+ x (/ y 500.0))))
  (cbrt (+ x (/ y 500.0)))
  (pow (+ x (/ y 500.0)) 3)
  (sqrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (+ (pow (/ y 500.0) 3) (pow x 3))
  (+ (* (/ y 500.0) (- (/ y 500.0) x)) (* x x))
  (- (* x x) (/ (* y y) (* 500.0 500.0)))
  (- x (/ y 500.0))
  (+ x (/ y 500.0))
  (+ (* 0.002 y) x)
  (+ (* 0.002 y) x)
  (+ (* 0.002 y) x)
1.099 * * * [progress]: adding candidates to table
1.150 * * [progress]: iteration 2 / 4
1.151 * * * [progress]: picking best candidate
1.160 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (pow (+ x (/ y 500.0)) 3)))>
1.160 * * * [progress]: localizing error
1.181 * * * [progress]: generating rewritten candidates
1.181 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.211 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.227 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
1.238 * * * [progress]: generating series expansions
1.238 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.238 * [backup-simplify]: Simplify (cbrt (pow (+ x (/ y 500.0)) 3)) into (+ x (* 0.002 y))
1.238 * [approximate]: Taking taylor expansion of (+ x (* 0.002 y)) in (x y) around 0
1.238 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in y
1.238 * [taylor]: Taking taylor expansion of x in y
1.238 * [backup-simplify]: Simplify x into x
1.239 * [taylor]: Taking taylor expansion of (* 0.002 y) in y
1.239 * [taylor]: Taking taylor expansion of 0.002 in y
1.239 * [backup-simplify]: Simplify 0.002 into 0.002
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify 1 into 1
1.239 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify 1 into 1
1.239 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
1.239 * [taylor]: Taking taylor expansion of 0.002 in x
1.239 * [backup-simplify]: Simplify 0.002 into 0.002
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [backup-simplify]: Simplify y into y
1.239 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify 1 into 1
1.239 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
1.239 * [taylor]: Taking taylor expansion of 0.002 in x
1.239 * [backup-simplify]: Simplify 0.002 into 0.002
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [backup-simplify]: Simplify y into y
1.239 * [backup-simplify]: Simplify (* 0.002 y) into (* 0.002 y)
1.239 * [backup-simplify]: Simplify (+ 0 (* 0.002 y)) into (* 0.002 y)
1.239 * [taylor]: Taking taylor expansion of (* 0.002 y) in y
1.239 * [taylor]: Taking taylor expansion of 0.002 in y
1.239 * [backup-simplify]: Simplify 0.002 into 0.002
1.240 * [taylor]: Taking taylor expansion of y in y
1.240 * [backup-simplify]: Simplify 0 into 0
1.240 * [backup-simplify]: Simplify 1 into 1
1.241 * [backup-simplify]: Simplify (* 0.002 0) into 0
1.241 * [backup-simplify]: Simplify 0 into 0
1.241 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 y)) into 0
1.242 * [backup-simplify]: Simplify (+ 1 0) into 1
1.242 * [taylor]: Taking taylor expansion of 1 in y
1.242 * [backup-simplify]: Simplify 1 into 1
1.242 * [backup-simplify]: Simplify 1 into 1
1.244 * [backup-simplify]: Simplify (+ (* 0.002 1) (* 0 0)) into 0.002
1.244 * [backup-simplify]: Simplify 0.002 into 0.002
1.245 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 y))) into 0
1.245 * [backup-simplify]: Simplify (+ 0 0) into 0
1.245 * [taylor]: Taking taylor expansion of 0 in y
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 1) (* 0 0))) into 0
1.246 * [backup-simplify]: Simplify 0 into 0
1.248 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.248 * [backup-simplify]: Simplify (+ 0 0) into 0
1.248 * [taylor]: Taking taylor expansion of 0 in y
1.248 * [backup-simplify]: Simplify 0 into 0
1.248 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify (+ (* 0.002 (* y 1)) (* 1 (* 1 x))) into (+ x (* 0.002 y))
1.249 * [backup-simplify]: Simplify (cbrt (pow (+ (/ 1 x) (/ (/ 1 y) 500.0)) 3)) into (+ (/ 1 x) (* 0.002 (/ 1 y)))
1.249 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in (x y) around 0
1.249 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
1.249 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.249 * [taylor]: Taking taylor expansion of x in y
1.249 * [backup-simplify]: Simplify x into x
1.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.249 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.249 * [taylor]: Taking taylor expansion of 0.002 in y
1.249 * [backup-simplify]: Simplify 0.002 into 0.002
1.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.249 * [taylor]: Taking taylor expansion of y in y
1.250 * [backup-simplify]: Simplify 0 into 0
1.250 * [backup-simplify]: Simplify 1 into 1
1.250 * [backup-simplify]: Simplify (/ 1 1) into 1
1.250 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.250 * [backup-simplify]: Simplify 0 into 0
1.250 * [backup-simplify]: Simplify 1 into 1
1.251 * [backup-simplify]: Simplify (/ 1 1) into 1
1.251 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.251 * [taylor]: Taking taylor expansion of 0.002 in x
1.251 * [backup-simplify]: Simplify 0.002 into 0.002
1.251 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.251 * [taylor]: Taking taylor expansion of y in x
1.251 * [backup-simplify]: Simplify y into y
1.251 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.251 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.251 * [backup-simplify]: Simplify 0 into 0
1.251 * [backup-simplify]: Simplify 1 into 1
1.252 * [backup-simplify]: Simplify (/ 1 1) into 1
1.252 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.252 * [taylor]: Taking taylor expansion of 0.002 in x
1.252 * [backup-simplify]: Simplify 0.002 into 0.002
1.252 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.252 * [taylor]: Taking taylor expansion of y in x
1.252 * [backup-simplify]: Simplify y into y
1.252 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.252 * [backup-simplify]: Simplify (+ 1 0) into 1
1.253 * [taylor]: Taking taylor expansion of 1 in y
1.253 * [backup-simplify]: Simplify 1 into 1
1.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.254 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
1.254 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
1.254 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.254 * [taylor]: Taking taylor expansion of 0.002 in y
1.254 * [backup-simplify]: Simplify 0.002 into 0.002
1.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.254 * [taylor]: Taking taylor expansion of y in y
1.254 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify 1 into 1
1.254 * [backup-simplify]: Simplify (/ 1 1) into 1
1.255 * [backup-simplify]: Simplify (* 0.002 1) into 0.002
1.255 * [backup-simplify]: Simplify 0.002 into 0.002
1.255 * [backup-simplify]: Simplify 1 into 1
1.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.257 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
1.257 * [backup-simplify]: Simplify (+ 0 0) into 0
1.257 * [taylor]: Taking taylor expansion of 0 in y
1.257 * [backup-simplify]: Simplify 0 into 0
1.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.259 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 1)) into 0
1.259 * [backup-simplify]: Simplify 0 into 0
1.259 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.260 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.261 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.262 * [backup-simplify]: Simplify (+ 0 0) into 0
1.262 * [taylor]: Taking taylor expansion of 0 in y
1.262 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify 0 into 0
1.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.264 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 1))) into 0
1.264 * [backup-simplify]: Simplify 0 into 0
1.264 * [backup-simplify]: Simplify 0 into 0
1.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.267 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1.267 * [backup-simplify]: Simplify (+ 0 0) into 0
1.267 * [taylor]: Taking taylor expansion of 0 in y
1.268 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 0.002 (* (/ 1 (/ 1 y)) 1))) into (+ x (* 0.002 y))
1.268 * [backup-simplify]: Simplify (cbrt (pow (+ (/ 1 (- x)) (/ (/ 1 (- y)) 500.0)) 3)) into (* (cbrt -1) (+ (/ 1 x) (* 0.002 (/ 1 y))))
1.268 * [approximate]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 x) (* 0.002 (/ 1 y)))) in (x y) around 0
1.268 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 x) (* 0.002 (/ 1 y)))) in y
1.268 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.268 * [taylor]: Taking taylor expansion of -1 in y
1.268 * [backup-simplify]: Simplify -1 into -1
1.269 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
1.270 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
1.270 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
1.270 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.270 * [taylor]: Taking taylor expansion of x in y
1.270 * [backup-simplify]: Simplify x into x
1.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.270 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.270 * [taylor]: Taking taylor expansion of 0.002 in y
1.270 * [backup-simplify]: Simplify 0.002 into 0.002
1.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.270 * [taylor]: Taking taylor expansion of y in y
1.270 * [backup-simplify]: Simplify 0 into 0
1.270 * [backup-simplify]: Simplify 1 into 1
1.271 * [backup-simplify]: Simplify (/ 1 1) into 1
1.271 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
1.271 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.271 * [taylor]: Taking taylor expansion of -1 in x
1.271 * [backup-simplify]: Simplify -1 into -1
1.272 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
1.273 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
1.273 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.273 * [taylor]: Taking taylor expansion of x in x
1.273 * [backup-simplify]: Simplify 0 into 0
1.273 * [backup-simplify]: Simplify 1 into 1
1.273 * [backup-simplify]: Simplify (/ 1 1) into 1
1.273 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.273 * [taylor]: Taking taylor expansion of 0.002 in x
1.273 * [backup-simplify]: Simplify 0.002 into 0.002
1.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.273 * [taylor]: Taking taylor expansion of y in x
1.273 * [backup-simplify]: Simplify y into y
1.273 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.273 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
1.274 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.274 * [taylor]: Taking taylor expansion of -1 in x
1.274 * [backup-simplify]: Simplify -1 into -1
1.274 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
1.275 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
1.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.275 * [taylor]: Taking taylor expansion of x in x
1.275 * [backup-simplify]: Simplify 0 into 0
1.275 * [backup-simplify]: Simplify 1 into 1
1.275 * [backup-simplify]: Simplify (/ 1 1) into 1
1.275 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.275 * [taylor]: Taking taylor expansion of 0.002 in x
1.276 * [backup-simplify]: Simplify 0.002 into 0.002
1.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.276 * [taylor]: Taking taylor expansion of y in x
1.276 * [backup-simplify]: Simplify y into y
1.276 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.276 * [backup-simplify]: Simplify (+ 1 0) into 1
1.284 * [backup-simplify]: Simplify (* (cbrt -1) 1) into (cbrt -1)
1.284 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.284 * [taylor]: Taking taylor expansion of -1 in y
1.284 * [backup-simplify]: Simplify -1 into -1
1.285 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
1.286 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
1.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.287 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
1.287 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
1.288 * [backup-simplify]: Simplify (+ (* (cbrt -1) (* 0.002 (/ 1 y))) (* 0 1)) into (* 0.002 (/ (cbrt -1) y))
1.289 * [taylor]: Taking taylor expansion of (* 0.002 (/ (cbrt -1) y)) in y
1.289 * [taylor]: Taking taylor expansion of 0.002 in y
1.289 * [backup-simplify]: Simplify 0.002 into 0.002
1.289 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in y
1.289 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.289 * [taylor]: Taking taylor expansion of -1 in y
1.289 * [backup-simplify]: Simplify -1 into -1
1.289 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
1.290 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
1.290 * [taylor]: Taking taylor expansion of y in y
1.290 * [backup-simplify]: Simplify 0 into 0
1.290 * [backup-simplify]: Simplify 1 into 1
1.292 * [backup-simplify]: Simplify (/ (cbrt -1) 1) into (cbrt -1)
1.293 * [backup-simplify]: Simplify (* 0.002 (cbrt -1)) into (* 0.002 (cbrt -1))
1.294 * [backup-simplify]: Simplify (* 0.002 (cbrt -1)) into (* 0.002 (cbrt -1))
1.295 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
1.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.296 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
1.297 * [backup-simplify]: Simplify (+ 0 0) into 0
1.298 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
1.300 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 (* 0.002 (/ 1 y))) (* 0 1))) into 0
1.300 * [taylor]: Taking taylor expansion of 0 in y
1.300 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)))) into 0
1.301 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (cbrt -1))) into 0
1.301 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify 0 into 0
1.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.303 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.303 * [backup-simplify]: Simplify (+ 0 0) into 0
1.304 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
1.305 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 (* 0.002 (/ 1 y))) (* 0 1)))) into 0
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [backup-simplify]: Simplify 0 into 0
1.305 * [backup-simplify]: Simplify 0 into 0
1.306 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
1.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.308 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (cbrt -1)))) into 0
1.308 * [backup-simplify]: Simplify 0 into 0
1.309 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
1.309 * [backup-simplify]: Simplify 0 into 0
1.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.311 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1.311 * [backup-simplify]: Simplify (+ 0 0) into 0
1.312 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
1.314 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (* 0.002 (/ 1 y))) (* 0 1))))) into 0
1.314 * [taylor]: Taking taylor expansion of 0 in y
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify 0 into 0
1.315 * [backup-simplify]: Simplify (+ (* (cbrt -1) (* 1 (/ 1 (/ 1 (- x))))) (* (* 0.002 (cbrt -1)) (* (/ 1 (/ 1 (- y))) 1))) into (- (+ (* x (cbrt -1)) (* 0.002 (* (cbrt -1) y))))
1.315 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.315 * [backup-simplify]: Simplify (pow (+ x (/ y 500.0)) 3) into (pow (+ x (* 0.002 y)) 3)
1.315 * [approximate]: Taking taylor expansion of (pow (+ x (* 0.002 y)) 3) in (x y) around 0
1.315 * [taylor]: Taking taylor expansion of (pow (+ x (* 0.002 y)) 3) in y
1.315 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in y
1.315 * [taylor]: Taking taylor expansion of x in y
1.315 * [backup-simplify]: Simplify x into x
1.315 * [taylor]: Taking taylor expansion of (* 0.002 y) in y
1.315 * [taylor]: Taking taylor expansion of 0.002 in y
1.315 * [backup-simplify]: Simplify 0.002 into 0.002
1.315 * [taylor]: Taking taylor expansion of y in y
1.315 * [backup-simplify]: Simplify 0 into 0
1.315 * [backup-simplify]: Simplify 1 into 1
1.316 * [backup-simplify]: Simplify (* 0.002 0) into 0
1.316 * [backup-simplify]: Simplify (+ x 0) into x
1.316 * [taylor]: Taking taylor expansion of (pow (+ x (* 0.002 y)) 3) in x
1.316 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
1.316 * [taylor]: Taking taylor expansion of x in x
1.316 * [backup-simplify]: Simplify 0 into 0
1.316 * [backup-simplify]: Simplify 1 into 1
1.316 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
1.316 * [taylor]: Taking taylor expansion of 0.002 in x
1.316 * [backup-simplify]: Simplify 0.002 into 0.002
1.316 * [taylor]: Taking taylor expansion of y in x
1.316 * [backup-simplify]: Simplify y into y
1.316 * [backup-simplify]: Simplify (* 0.002 y) into (* 0.002 y)
1.316 * [backup-simplify]: Simplify (+ 0 (* 0.002 y)) into (* 0.002 y)
1.316 * [taylor]: Taking taylor expansion of (pow (+ x (* 0.002 y)) 3) in x
1.316 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
1.316 * [taylor]: Taking taylor expansion of x in x
1.316 * [backup-simplify]: Simplify 0 into 0
1.316 * [backup-simplify]: Simplify 1 into 1
1.316 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
1.316 * [taylor]: Taking taylor expansion of 0.002 in x
1.316 * [backup-simplify]: Simplify 0.002 into 0.002
1.316 * [taylor]: Taking taylor expansion of y in x
1.316 * [backup-simplify]: Simplify y into y
1.316 * [backup-simplify]: Simplify (* 0.002 y) into (* 0.002 y)
1.316 * [backup-simplify]: Simplify (+ 0 (* 0.002 y)) into (* 0.002 y)
1.317 * [backup-simplify]: Simplify (* (* 0.002 y) (* 0.002 y)) into (* 4e-06 (pow y 2))
1.317 * [backup-simplify]: Simplify (* (* 0.002 y) (* 4e-06 (pow y 2))) into (* 8e-09 (pow y 3))
1.317 * [taylor]: Taking taylor expansion of (* 8e-09 (pow y 3)) in y
1.317 * [taylor]: Taking taylor expansion of 8e-09 in y
1.317 * [backup-simplify]: Simplify 8e-09 into 8e-09
1.317 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify 1 into 1
1.317 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 y)) into 0
1.318 * [backup-simplify]: Simplify (+ 1 0) into 1
1.318 * [backup-simplify]: Simplify (+ (* (* 0.002 y) 1) (* 1 (* 0.002 y))) into (* 0.004 y)
1.318 * [backup-simplify]: Simplify (+ (* (* 0.002 y) (* 0.004 y)) (* 1 (* 4e-06 (pow y 2)))) into (* 1.2e-05 (pow y 2))
1.318 * [taylor]: Taking taylor expansion of (* 1.2e-05 (pow y 2)) in y
1.318 * [taylor]: Taking taylor expansion of 1.2e-05 in y
1.318 * [backup-simplify]: Simplify 1.2e-05 into 1.2e-05
1.318 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.318 * [taylor]: Taking taylor expansion of y in y
1.318 * [backup-simplify]: Simplify 0 into 0
1.318 * [backup-simplify]: Simplify 1 into 1
1.319 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 y))) into 0
1.319 * [backup-simplify]: Simplify (+ 0 0) into 0
1.319 * [backup-simplify]: Simplify (+ (* (* 0.002 y) 0) (+ (* 1 1) (* 0 (* 0.002 y)))) into 1
1.320 * [backup-simplify]: Simplify (+ (* (* 0.002 y) 1) (+ (* 1 (* 0.004 y)) (* 0 (* 4e-06 (pow y 2))))) into (* 0.006 y)
1.320 * [taylor]: Taking taylor expansion of (* 0.006 y) in y
1.320 * [taylor]: Taking taylor expansion of 0.006 in y
1.320 * [backup-simplify]: Simplify 0.006 into 0.006
1.320 * [taylor]: Taking taylor expansion of y in y
1.320 * [backup-simplify]: Simplify 0 into 0
1.320 * [backup-simplify]: Simplify 1 into 1
1.320 * [backup-simplify]: Simplify (* 0.006 0) into 0
1.320 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.322 * [backup-simplify]: Simplify (+ 0 0) into 0
1.323 * [backup-simplify]: Simplify (+ (* (* 0.002 y) 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* 0.002 y))))) into 0
1.323 * [backup-simplify]: Simplify (+ (* (* 0.002 y) 0) (+ (* 1 1) (+ (* 0 (* 0.004 y)) (* 0 (* 4e-06 (pow y 2)))))) into 1
1.323 * [taylor]: Taking taylor expansion of 1 in y
1.323 * [backup-simplify]: Simplify 1 into 1
1.323 * [backup-simplify]: Simplify 1 into 1
1.324 * [backup-simplify]: Simplify (+ (* 0.006 1) (* 0 0)) into 0.006
1.324 * [backup-simplify]: Simplify 0.006 into 0.006
1.325 * [backup-simplify]: Simplify (* 1 1) into 1
1.325 * [backup-simplify]: Simplify (* 1.2e-05 1) into 1.2e-05
1.325 * [backup-simplify]: Simplify 1.2e-05 into 1.2e-05
1.326 * [backup-simplify]: Simplify (+ (* 1.2e-05 (* (pow y 2) x)) (+ (* 0.006 (* y (pow x 2))) (* 1 (pow (* 1 x) 3)))) into (+ (* 1.2e-05 (* x (pow y 2))) (+ (* 0.006 (* (pow x 2) y)) (pow x 3)))
1.326 * [backup-simplify]: Simplify (pow (+ (/ 1 x) (/ (/ 1 y) 500.0)) 3) into (pow (+ (/ 1 x) (* 0.002 (/ 1 y))) 3)
1.326 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (* 0.002 (/ 1 y))) 3) in (x y) around 0
1.326 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (* 0.002 (/ 1 y))) 3) in y
1.326 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
1.326 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.326 * [taylor]: Taking taylor expansion of x in y
1.326 * [backup-simplify]: Simplify x into x
1.326 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.326 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.326 * [taylor]: Taking taylor expansion of 0.002 in y
1.326 * [backup-simplify]: Simplify 0.002 into 0.002
1.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.326 * [taylor]: Taking taylor expansion of y in y
1.326 * [backup-simplify]: Simplify 0 into 0
1.326 * [backup-simplify]: Simplify 1 into 1
1.327 * [backup-simplify]: Simplify (/ 1 1) into 1
1.327 * [backup-simplify]: Simplify (* 0.002 1) into 0.002
1.327 * [backup-simplify]: Simplify (+ 0 0.002) into 0.002
1.327 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (* 0.002 (/ 1 y))) 3) in x
1.327 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.327 * [taylor]: Taking taylor expansion of x in x
1.327 * [backup-simplify]: Simplify 0 into 0
1.327 * [backup-simplify]: Simplify 1 into 1
1.328 * [backup-simplify]: Simplify (/ 1 1) into 1
1.328 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.328 * [taylor]: Taking taylor expansion of 0.002 in x
1.328 * [backup-simplify]: Simplify 0.002 into 0.002
1.328 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.328 * [taylor]: Taking taylor expansion of y in x
1.328 * [backup-simplify]: Simplify y into y
1.328 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.328 * [backup-simplify]: Simplify (+ 1 0) into 1
1.328 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (* 0.002 (/ 1 y))) 3) in x
1.328 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.328 * [taylor]: Taking taylor expansion of x in x
1.328 * [backup-simplify]: Simplify 0 into 0
1.328 * [backup-simplify]: Simplify 1 into 1
1.329 * [backup-simplify]: Simplify (/ 1 1) into 1
1.329 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.329 * [taylor]: Taking taylor expansion of 0.002 in x
1.329 * [backup-simplify]: Simplify 0.002 into 0.002
1.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.329 * [taylor]: Taking taylor expansion of y in x
1.329 * [backup-simplify]: Simplify y into y
1.329 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.330 * [backup-simplify]: Simplify (+ 1 0) into 1
1.330 * [backup-simplify]: Simplify (* 1 1) into 1
1.331 * [backup-simplify]: Simplify (* 1 1) into 1
1.331 * [taylor]: Taking taylor expansion of 1 in y
1.331 * [backup-simplify]: Simplify 1 into 1
1.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.332 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
1.332 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
1.332 * [backup-simplify]: Simplify (+ (* 1 (* 0.002 (/ 1 y))) (* (* 0.002 (/ 1 y)) 1)) into (* 0.004 (/ 1 y))
1.332 * [backup-simplify]: Simplify (+ (* 1 (* 0.004 (/ 1 y))) (* (* 0.002 (/ 1 y)) 1)) into (* 0.006 (/ 1 y))
1.333 * [taylor]: Taking taylor expansion of (* 0.006 (/ 1 y)) in y
1.333 * [taylor]: Taking taylor expansion of 0.006 in y
1.333 * [backup-simplify]: Simplify 0.006 into 0.006
1.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.333 * [taylor]: Taking taylor expansion of y in y
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify 1 into 1
1.333 * [backup-simplify]: Simplify (/ 1 1) into 1
1.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.335 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
1.336 * [backup-simplify]: Simplify (+ 0 0) into 0
1.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (* 0.002 (/ 1 y)) (* 0.002 (/ 1 y))) (* 0 1))) into (* 4e-06 (/ 1 (pow y 2)))
1.338 * [backup-simplify]: Simplify (+ (* 1 (* 4e-06 (/ 1 (pow y 2)))) (+ (* (* 0.002 (/ 1 y)) (* 0.004 (/ 1 y))) (* 0 1))) into (* 1.2e-05 (/ 1 (pow y 2)))
1.338 * [taylor]: Taking taylor expansion of (* 1.2e-05 (/ 1 (pow y 2))) in y
1.338 * [taylor]: Taking taylor expansion of 1.2e-05 in y
1.338 * [backup-simplify]: Simplify 1.2e-05 into 1.2e-05
1.338 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.338 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.339 * [backup-simplify]: Simplify (* 1 1) into 1
1.339 * [backup-simplify]: Simplify (/ 1 1) into 1
1.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.341 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.342 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (* 0.002 (/ 1 y)) 0) (+ (* 0 (* 0.002 (/ 1 y))) (* 0 1)))) into 0
1.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (* 0.002 (/ 1 y)) (* 4e-06 (/ 1 (pow y 2)))) (+ (* 0 (* 0.004 (/ 1 y))) (* 0 1)))) into (* 8e-09 (/ 1 (pow y 3)))
1.345 * [taylor]: Taking taylor expansion of (* 8e-09 (/ 1 (pow y 3))) in y
1.345 * [taylor]: Taking taylor expansion of 8e-09 in y
1.345 * [backup-simplify]: Simplify 8e-09 into 8e-09
1.345 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.345 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify 1 into 1
1.346 * [backup-simplify]: Simplify (* 1 1) into 1
1.346 * [backup-simplify]: Simplify (* 1 1) into 1
1.347 * [backup-simplify]: Simplify (/ 1 1) into 1
1.347 * [backup-simplify]: Simplify (* 8e-09 1) into 8e-09
1.347 * [backup-simplify]: Simplify 8e-09 into 8e-09
1.348 * [backup-simplify]: Simplify (* 1.2e-05 1) into 1.2e-05
1.348 * [backup-simplify]: Simplify 1.2e-05 into 1.2e-05
1.349 * [backup-simplify]: Simplify (* 0.006 1) into 0.006
1.349 * [backup-simplify]: Simplify 0.006 into 0.006
1.350 * [backup-simplify]: Simplify (+ (* 0.006 (* (/ 1 (/ 1 y)) (pow (/ 1 x) -2))) (+ (* 1.2e-05 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) (* 8e-09 (pow (* (/ 1 (/ 1 y)) 1) 3)))) into (+ (* 1.2e-05 (* x (pow y 2))) (+ (* 0.006 (* (pow x 2) y)) (* 8e-09 (pow y 3))))
1.350 * [backup-simplify]: Simplify (pow (+ (/ 1 (- x)) (/ (/ 1 (- y)) 500.0)) 3) into (pow (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) 3)
1.350 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) 3) in (x y) around 0
1.350 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) 3) in y
1.350 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in y
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
1.350 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.350 * [taylor]: Taking taylor expansion of x in y
1.350 * [backup-simplify]: Simplify x into x
1.350 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.350 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.351 * [taylor]: Taking taylor expansion of 0.002 in y
1.351 * [backup-simplify]: Simplify 0.002 into 0.002
1.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.351 * [taylor]: Taking taylor expansion of y in y
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [backup-simplify]: Simplify (/ 1 1) into 1
1.352 * [backup-simplify]: Simplify (* 0.002 1) into 0.002
1.352 * [backup-simplify]: Simplify (+ 0 0.002) into 0.002
1.353 * [backup-simplify]: Simplify (- 0.002) into (- 0.002)
1.353 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) 3) in x
1.353 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
1.353 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.353 * [taylor]: Taking taylor expansion of x in x
1.353 * [backup-simplify]: Simplify 0 into 0
1.353 * [backup-simplify]: Simplify 1 into 1
1.354 * [backup-simplify]: Simplify (/ 1 1) into 1
1.354 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.354 * [taylor]: Taking taylor expansion of 0.002 in x
1.354 * [backup-simplify]: Simplify 0.002 into 0.002
1.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.354 * [taylor]: Taking taylor expansion of y in x
1.354 * [backup-simplify]: Simplify y into y
1.354 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.355 * [backup-simplify]: Simplify (+ 1 0) into 1
1.355 * [backup-simplify]: Simplify (- 1) into -1
1.355 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) 3) in x
1.355 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
1.355 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.355 * [taylor]: Taking taylor expansion of x in x
1.355 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify 1 into 1
1.356 * [backup-simplify]: Simplify (/ 1 1) into 1
1.356 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.356 * [taylor]: Taking taylor expansion of 0.002 in x
1.356 * [backup-simplify]: Simplify 0.002 into 0.002
1.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.356 * [taylor]: Taking taylor expansion of y in x
1.356 * [backup-simplify]: Simplify y into y
1.356 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.357 * [backup-simplify]: Simplify (+ 1 0) into 1
1.357 * [backup-simplify]: Simplify (- 1) into -1
1.357 * [backup-simplify]: Simplify (- 1) into -1
1.358 * [backup-simplify]: Simplify (- 1) into -1
1.358 * [backup-simplify]: Simplify (- 1) into -1
1.359 * [backup-simplify]: Simplify (* -1 -1) into 1
1.359 * [backup-simplify]: Simplify (* -1 1) into -1
1.359 * [taylor]: Taking taylor expansion of -1 in y
1.359 * [backup-simplify]: Simplify -1 into -1
1.360 * [backup-simplify]: Simplify (- 1) into -1
1.360 * [backup-simplify]: Simplify (- 1) into -1
1.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.361 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
1.361 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
1.361 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.362 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.362 * [backup-simplify]: Simplify (- 1) into -1
1.362 * [backup-simplify]: Simplify (+ (* -1 (- (* 0.002 (/ 1 y)))) (* (- (* 0.002 (/ 1 y))) -1)) into (* 0.004 (/ 1 y))
1.362 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.363 * [backup-simplify]: Simplify (+ (* -1 (* 0.004 (/ 1 y))) (* (- (* 0.002 (/ 1 y))) 1)) into (- (* 0.006 (/ 1 y)))
1.363 * [taylor]: Taking taylor expansion of (- (* 0.006 (/ 1 y))) in y
1.363 * [taylor]: Taking taylor expansion of (* 0.006 (/ 1 y)) in y
1.363 * [taylor]: Taking taylor expansion of 0.006 in y
1.363 * [backup-simplify]: Simplify 0.006 into 0.006
1.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.363 * [taylor]: Taking taylor expansion of y in y
1.363 * [backup-simplify]: Simplify 0 into 0
1.363 * [backup-simplify]: Simplify 1 into 1
1.364 * [backup-simplify]: Simplify (/ 1 1) into 1
1.364 * [backup-simplify]: Simplify (- 1) into -1
1.365 * [backup-simplify]: Simplify (- 1) into -1
1.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.366 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.366 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
1.367 * [backup-simplify]: Simplify (+ 0 0) into 0
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.368 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.368 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.368 * [backup-simplify]: Simplify (- 0) into 0
1.369 * [backup-simplify]: Simplify (- 1) into -1
1.370 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (* 0.002 (/ 1 y))) (- (* 0.002 (/ 1 y)))) (* 0 -1))) into (* 4e-06 (/ 1 (pow y 2)))
1.370 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.371 * [backup-simplify]: Simplify (- 0) into 0
1.372 * [backup-simplify]: Simplify (+ (* -1 (* 4e-06 (/ 1 (pow y 2)))) (+ (* (- (* 0.002 (/ 1 y))) (* 0.004 (/ 1 y))) (* 0 1))) into (- (* 1.2e-05 (/ 1 (pow y 2))))
1.372 * [taylor]: Taking taylor expansion of (- (* 1.2e-05 (/ 1 (pow y 2)))) in y
1.372 * [taylor]: Taking taylor expansion of (* 1.2e-05 (/ 1 (pow y 2))) in y
1.372 * [taylor]: Taking taylor expansion of 1.2e-05 in y
1.372 * [backup-simplify]: Simplify 1.2e-05 into 1.2e-05
1.372 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.372 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.372 * [taylor]: Taking taylor expansion of y in y
1.372 * [backup-simplify]: Simplify 0 into 0
1.372 * [backup-simplify]: Simplify 1 into 1
1.372 * [backup-simplify]: Simplify (* 1 1) into 1
1.373 * [backup-simplify]: Simplify (/ 1 1) into 1
1.373 * [backup-simplify]: Simplify (- 1) into -1
1.374 * [backup-simplify]: Simplify (- 1) into -1
1.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.376 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.377 * [backup-simplify]: Simplify (+ 0 0) into 0
1.377 * [backup-simplify]: Simplify (- 0) into 0
1.377 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.378 * [backup-simplify]: Simplify (- 0) into 0
1.378 * [backup-simplify]: Simplify (- 0) into 0
1.378 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.379 * [backup-simplify]: Simplify (- 0) into 0
1.379 * [backup-simplify]: Simplify (- 1) into -1
1.380 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (* 0.002 (/ 1 y))) 0) (+ (* 0 (- (* 0.002 (/ 1 y)))) (* 0 -1)))) into 0
1.380 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.381 * [backup-simplify]: Simplify (- 0) into 0
1.381 * [backup-simplify]: Simplify (- 0) into 0
1.383 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (* 0.002 (/ 1 y))) (* 4e-06 (/ 1 (pow y 2)))) (+ (* 0 (* 0.004 (/ 1 y))) (* 0 1)))) into (- (* 8e-09 (/ 1 (pow y 3))))
1.383 * [taylor]: Taking taylor expansion of (- (* 8e-09 (/ 1 (pow y 3)))) in y
1.383 * [taylor]: Taking taylor expansion of (* 8e-09 (/ 1 (pow y 3))) in y
1.383 * [taylor]: Taking taylor expansion of 8e-09 in y
1.383 * [backup-simplify]: Simplify 8e-09 into 8e-09
1.383 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.383 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.383 * [taylor]: Taking taylor expansion of y in y
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 1 into 1
1.384 * [backup-simplify]: Simplify (* 1 1) into 1
1.384 * [backup-simplify]: Simplify (* 1 1) into 1
1.385 * [backup-simplify]: Simplify (/ 1 1) into 1
1.385 * [backup-simplify]: Simplify (* 8e-09 1) into 8e-09
1.385 * [backup-simplify]: Simplify (- 8e-09) into (- 8e-09)
1.386 * [backup-simplify]: Simplify (- 8e-09) into (- 8e-09)
1.386 * [backup-simplify]: Simplify (* 1.2e-05 1) into 1.2e-05
1.387 * [backup-simplify]: Simplify (- 1.2e-05) into (- 1.2e-05)
1.387 * [backup-simplify]: Simplify (- 1.2e-05) into (- 1.2e-05)
1.388 * [backup-simplify]: Simplify (* 0.006 1) into 0.006
1.389 * [backup-simplify]: Simplify (- 0.006) into (- 0.006)
1.389 * [backup-simplify]: Simplify (- 0.006) into (- 0.006)
1.392 * [backup-simplify]: Simplify (+ (* (- 0.006) (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) -2))) (+ (* (- 1.2e-05) (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) (* (- 8e-09) (pow (* (/ 1 (/ 1 (- y))) 1) 3)))) into (+ (* 1.2e-05 (* x (pow y 2))) (+ (* 0.006 (* (pow x 2) y)) (* 8e-09 (pow y 3))))
1.392 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.392 * [backup-simplify]: Simplify (+ x (/ y 500.0)) into (+ x (* 0.002 y))
1.392 * [approximate]: Taking taylor expansion of (+ x (* 0.002 y)) in (x y) around 0
1.392 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in y
1.392 * [taylor]: Taking taylor expansion of x in y
1.392 * [backup-simplify]: Simplify x into x
1.392 * [taylor]: Taking taylor expansion of (* 0.002 y) in y
1.392 * [taylor]: Taking taylor expansion of 0.002 in y
1.392 * [backup-simplify]: Simplify 0.002 into 0.002
1.392 * [taylor]: Taking taylor expansion of y in y
1.392 * [backup-simplify]: Simplify 0 into 0
1.392 * [backup-simplify]: Simplify 1 into 1
1.392 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
1.392 * [taylor]: Taking taylor expansion of x in x
1.392 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
1.393 * [taylor]: Taking taylor expansion of 0.002 in x
1.393 * [backup-simplify]: Simplify 0.002 into 0.002
1.393 * [taylor]: Taking taylor expansion of y in x
1.393 * [backup-simplify]: Simplify y into y
1.393 * [taylor]: Taking taylor expansion of (+ x (* 0.002 y)) in x
1.393 * [taylor]: Taking taylor expansion of x in x
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of (* 0.002 y) in x
1.393 * [taylor]: Taking taylor expansion of 0.002 in x
1.393 * [backup-simplify]: Simplify 0.002 into 0.002
1.393 * [taylor]: Taking taylor expansion of y in x
1.393 * [backup-simplify]: Simplify y into y
1.393 * [backup-simplify]: Simplify (* 0.002 y) into (* 0.002 y)
1.393 * [backup-simplify]: Simplify (+ 0 (* 0.002 y)) into (* 0.002 y)
1.393 * [taylor]: Taking taylor expansion of (* 0.002 y) in y
1.393 * [taylor]: Taking taylor expansion of 0.002 in y
1.393 * [backup-simplify]: Simplify 0.002 into 0.002
1.393 * [taylor]: Taking taylor expansion of y in y
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.394 * [backup-simplify]: Simplify (* 0.002 0) into 0
1.394 * [backup-simplify]: Simplify 0 into 0
1.395 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 y)) into 0
1.395 * [backup-simplify]: Simplify (+ 1 0) into 1
1.395 * [taylor]: Taking taylor expansion of 1 in y
1.395 * [backup-simplify]: Simplify 1 into 1
1.396 * [backup-simplify]: Simplify 1 into 1
1.397 * [backup-simplify]: Simplify (+ (* 0.002 1) (* 0 0)) into 0.002
1.397 * [backup-simplify]: Simplify 0.002 into 0.002
1.398 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 y))) into 0
1.399 * [backup-simplify]: Simplify (+ 0 0) into 0
1.399 * [taylor]: Taking taylor expansion of 0 in y
1.399 * [backup-simplify]: Simplify 0 into 0
1.399 * [backup-simplify]: Simplify 0 into 0
1.399 * [backup-simplify]: Simplify 0 into 0
1.400 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 1) (* 0 0))) into 0
1.400 * [backup-simplify]: Simplify 0 into 0
1.402 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.403 * [backup-simplify]: Simplify (+ 0 0) into 0
1.403 * [taylor]: Taking taylor expansion of 0 in y
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify (+ (* 0.002 (* y 1)) (* 1 (* 1 x))) into (+ x (* 0.002 y))
1.403 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (/ 1 y) 500.0)) into (+ (/ 1 x) (* 0.002 (/ 1 y)))
1.404 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in (x y) around 0
1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.404 * [taylor]: Taking taylor expansion of x in y
1.404 * [backup-simplify]: Simplify x into x
1.404 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.404 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.404 * [taylor]: Taking taylor expansion of 0.002 in y
1.404 * [backup-simplify]: Simplify 0.002 into 0.002
1.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.404 * [taylor]: Taking taylor expansion of y in y
1.404 * [backup-simplify]: Simplify 0 into 0
1.404 * [backup-simplify]: Simplify 1 into 1
1.405 * [backup-simplify]: Simplify (/ 1 1) into 1
1.405 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.405 * [backup-simplify]: Simplify 0 into 0
1.405 * [backup-simplify]: Simplify 1 into 1
1.405 * [backup-simplify]: Simplify (/ 1 1) into 1
1.405 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.405 * [taylor]: Taking taylor expansion of 0.002 in x
1.405 * [backup-simplify]: Simplify 0.002 into 0.002
1.405 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.406 * [taylor]: Taking taylor expansion of y in x
1.406 * [backup-simplify]: Simplify y into y
1.406 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.406 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.406 * [taylor]: Taking taylor expansion of x in x
1.406 * [backup-simplify]: Simplify 0 into 0
1.406 * [backup-simplify]: Simplify 1 into 1
1.406 * [backup-simplify]: Simplify (/ 1 1) into 1
1.406 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.406 * [taylor]: Taking taylor expansion of 0.002 in x
1.406 * [backup-simplify]: Simplify 0.002 into 0.002
1.406 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.406 * [taylor]: Taking taylor expansion of y in x
1.406 * [backup-simplify]: Simplify y into y
1.407 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.407 * [backup-simplify]: Simplify (+ 1 0) into 1
1.407 * [taylor]: Taking taylor expansion of 1 in y
1.407 * [backup-simplify]: Simplify 1 into 1
1.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.408 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
1.408 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
1.409 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.409 * [taylor]: Taking taylor expansion of 0.002 in y
1.409 * [backup-simplify]: Simplify 0.002 into 0.002
1.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.409 * [backup-simplify]: Simplify 0 into 0
1.409 * [backup-simplify]: Simplify 1 into 1
1.409 * [backup-simplify]: Simplify (/ 1 1) into 1
1.410 * [backup-simplify]: Simplify (* 0.002 1) into 0.002
1.410 * [backup-simplify]: Simplify 0.002 into 0.002
1.410 * [backup-simplify]: Simplify 1 into 1
1.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.411 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.412 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
1.413 * [backup-simplify]: Simplify (+ 0 0) into 0
1.413 * [taylor]: Taking taylor expansion of 0 in y
1.413 * [backup-simplify]: Simplify 0 into 0
1.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.414 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 1)) into 0
1.415 * [backup-simplify]: Simplify 0 into 0
1.415 * [backup-simplify]: Simplify 0 into 0
1.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.417 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.418 * [backup-simplify]: Simplify (+ 0 0) into 0
1.418 * [taylor]: Taking taylor expansion of 0 in y
1.418 * [backup-simplify]: Simplify 0 into 0
1.418 * [backup-simplify]: Simplify 0 into 0
1.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.420 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 1))) into 0
1.420 * [backup-simplify]: Simplify 0 into 0
1.420 * [backup-simplify]: Simplify 0 into 0
1.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.423 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1.424 * [backup-simplify]: Simplify (+ 0 0) into 0
1.424 * [taylor]: Taking taylor expansion of 0 in y
1.424 * [backup-simplify]: Simplify 0 into 0
1.424 * [backup-simplify]: Simplify 0 into 0
1.424 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 0.002 (* (/ 1 (/ 1 y)) 1))) into (+ x (* 0.002 y))
1.425 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (/ 1 (- y)) 500.0)) into (- (+ (/ 1 x) (* 0.002 (/ 1 y))))
1.425 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in (x y) around 0
1.425 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in y
1.425 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in y
1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.425 * [taylor]: Taking taylor expansion of x in y
1.425 * [backup-simplify]: Simplify x into x
1.425 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.425 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.425 * [taylor]: Taking taylor expansion of 0.002 in y
1.425 * [backup-simplify]: Simplify 0.002 into 0.002
1.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.425 * [taylor]: Taking taylor expansion of y in y
1.425 * [backup-simplify]: Simplify 0 into 0
1.425 * [backup-simplify]: Simplify 1 into 1
1.426 * [backup-simplify]: Simplify (/ 1 1) into 1
1.426 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
1.426 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.426 * [taylor]: Taking taylor expansion of x in x
1.426 * [backup-simplify]: Simplify 0 into 0
1.426 * [backup-simplify]: Simplify 1 into 1
1.426 * [backup-simplify]: Simplify (/ 1 1) into 1
1.426 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.426 * [taylor]: Taking taylor expansion of 0.002 in x
1.426 * [backup-simplify]: Simplify 0.002 into 0.002
1.426 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.427 * [taylor]: Taking taylor expansion of y in x
1.427 * [backup-simplify]: Simplify y into y
1.427 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.427 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 0.002 (/ 1 y)))) in x
1.427 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 0.002 (/ 1 y))) in x
1.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.427 * [taylor]: Taking taylor expansion of x in x
1.427 * [backup-simplify]: Simplify 0 into 0
1.427 * [backup-simplify]: Simplify 1 into 1
1.427 * [backup-simplify]: Simplify (/ 1 1) into 1
1.427 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in x
1.427 * [taylor]: Taking taylor expansion of 0.002 in x
1.427 * [backup-simplify]: Simplify 0.002 into 0.002
1.427 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.428 * [taylor]: Taking taylor expansion of y in x
1.428 * [backup-simplify]: Simplify y into y
1.428 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.428 * [backup-simplify]: Simplify (+ 1 0) into 1
1.429 * [backup-simplify]: Simplify (- 1) into -1
1.429 * [taylor]: Taking taylor expansion of -1 in y
1.429 * [backup-simplify]: Simplify -1 into -1
1.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.430 * [backup-simplify]: Simplify (* 0.002 (/ 1 y)) into (/ 0.002 y)
1.430 * [backup-simplify]: Simplify (+ 0 (/ 0.002 y)) into (* 0.002 (/ 1 y))
1.430 * [backup-simplify]: Simplify (- (* 0.002 (/ 1 y))) into (- (* 0.002 (/ 1 y)))
1.430 * [taylor]: Taking taylor expansion of (- (* 0.002 (/ 1 y))) in y
1.430 * [taylor]: Taking taylor expansion of (* 0.002 (/ 1 y)) in y
1.430 * [taylor]: Taking taylor expansion of 0.002 in y
1.431 * [backup-simplify]: Simplify 0.002 into 0.002
1.431 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.431 * [taylor]: Taking taylor expansion of y in y
1.431 * [backup-simplify]: Simplify 0 into 0
1.431 * [backup-simplify]: Simplify 1 into 1
1.431 * [backup-simplify]: Simplify (/ 1 1) into 1
1.432 * [backup-simplify]: Simplify (* 0.002 1) into 0.002
1.432 * [backup-simplify]: Simplify (- 0.002) into (- 0.002)
1.433 * [backup-simplify]: Simplify (- 0.002) into (- 0.002)
1.433 * [backup-simplify]: Simplify -1 into -1
1.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.434 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.435 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 (/ 1 y))) into 0
1.435 * [backup-simplify]: Simplify (+ 0 0) into 0
1.436 * [backup-simplify]: Simplify (- 0) into 0
1.436 * [taylor]: Taking taylor expansion of 0 in y
1.436 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.437 * [backup-simplify]: Simplify (+ (* 0.002 0) (* 0 1)) into 0
1.438 * [backup-simplify]: Simplify (- 0) into 0
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify 0 into 0
1.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.441 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.441 * [backup-simplify]: Simplify (+ 0 0) into 0
1.442 * [backup-simplify]: Simplify (- 0) into 0
1.442 * [taylor]: Taking taylor expansion of 0 in y
1.442 * [backup-simplify]: Simplify 0 into 0
1.442 * [backup-simplify]: Simplify 0 into 0
1.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.444 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (* 0 1))) into 0
1.445 * [backup-simplify]: Simplify (- 0) into 0
1.445 * [backup-simplify]: Simplify 0 into 0
1.445 * [backup-simplify]: Simplify 0 into 0
1.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.448 * [backup-simplify]: Simplify (+ (* 0.002 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1.455 * [backup-simplify]: Simplify (+ 0 0) into 0
1.456 * [backup-simplify]: Simplify (- 0) into 0
1.456 * [taylor]: Taking taylor expansion of 0 in y
1.456 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify 0 into 0
1.457 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.002) (* (/ 1 (/ 1 (- y))) 1))) into (+ x (* 0.002 y))
1.457 * * * [progress]: simplifying candidates
1.459 * [simplify]: Simplifying:
  (log (cbrt (pow (+ x (/ y 500.0)) 3)))
  (exp (cbrt (pow (+ x (/ y 500.0)) 3)))
  (cbrt (pow (* (cbrt (+ x (/ y 500.0))) (cbrt (+ x (/ y 500.0)))) 3))
  (cbrt (pow (cbrt (+ x (/ y 500.0))) 3))
  (cbrt (pow (sqrt (+ x (/ y 500.0))) 3))
  (cbrt (pow (sqrt (+ x (/ y 500.0))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ x (/ y 500.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ x (/ y 500.0)) 3))
  (cbrt (* (+ x (/ y 500.0)) (+ x (/ y 500.0))))
  (cbrt (+ x (/ y 500.0)))
  (cbrt (* (cbrt (pow (+ x (/ y 500.0)) 3)) (cbrt (pow (+ x (/ y 500.0)) 3))))
  (cbrt (cbrt (pow (+ x (/ y 500.0)) 3)))
  (cbrt (pow (* (cbrt (+ x (/ y 500.0))) (cbrt (+ x (/ y 500.0)))) 3))
  (cbrt (pow (cbrt (+ x (/ y 500.0))) 3))
  (cbrt (pow (sqrt (+ x (/ y 500.0))) 3))
  (cbrt (pow (sqrt (+ x (/ y 500.0))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ x (/ y 500.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ x (/ y 500.0)) 3))
  (cbrt (+ x (/ y 500.0)))
  (cbrt (* (+ x (/ y 500.0)) (+ x (/ y 500.0))))
  (cbrt (sqrt (pow (+ x (/ y 500.0)) 3)))
  (cbrt (sqrt (pow (+ x (/ y 500.0)) 3)))
  (cbrt 1)
  (cbrt (pow (+ x (/ y 500.0)) 3))
  (cbrt (pow (+ x (/ y 500.0)) (/ 3 2)))
  (cbrt (pow (+ x (/ y 500.0)) (/ 3 2)))
  (cbrt (pow (+ (pow x 3) (pow (/ y 500.0) 3)) 3))
  (cbrt (pow (+ (* x x) (- (* (/ y 500.0) (/ y 500.0)) (* x (/ y 500.0)))) 3))
  (cbrt (pow (- (* x x) (* (/ y 500.0) (/ y 500.0))) 3))
  (cbrt (pow (- x (/ y 500.0)) 3))
  (* (cbrt (cbrt (pow (+ x (/ y 500.0)) 3))) (cbrt (cbrt (pow (+ x (/ y 500.0)) 3))))
  (cbrt (cbrt (pow (+ x (/ y 500.0)) 3)))
  (* (* (cbrt (pow (+ x (/ y 500.0)) 3)) (cbrt (pow (+ x (/ y 500.0)) 3))) (cbrt (pow (+ x (/ y 500.0)) 3)))
  (sqrt (cbrt (pow (+ x (/ y 500.0)) 3)))
  (sqrt (cbrt (pow (+ x (/ y 500.0)) 3)))
  (* (log (+ x (/ y 500.0))) 3)
  (* (log (+ x (/ y 500.0))) 3)
  (* 1 3)
  (pow (+ x (/ y 500.0)) (* (cbrt 3) (cbrt 3)))
  (pow (+ x (/ y 500.0)) (sqrt 3))
  (pow (+ x (/ y 500.0)) 1)
  (pow (* (cbrt (+ x (/ y 500.0))) (cbrt (+ x (/ y 500.0)))) 3)
  (pow (cbrt (+ x (/ y 500.0))) 3)
  (pow (sqrt (+ x (/ y 500.0))) 3)
  (pow (sqrt (+ x (/ y 500.0))) 3)
  (pow 1 3)
  (pow (+ x (/ y 500.0)) 3)
  (pow 1 3)
  (pow (+ x (/ y 500.0)) 3)
  (* (+ x (/ y 500.0)) (+ x (/ y 500.0)))
  (log (pow (+ x (/ y 500.0)) 3))
  (exp (pow (+ x (/ y 500.0)) 3))
  (* (cbrt (pow (+ x (/ y 500.0)) 3)) (cbrt (pow (+ x (/ y 500.0)) 3)))
  (cbrt (pow (+ x (/ y 500.0)) 3))
  (* (* (pow (+ x (/ y 500.0)) 3) (pow (+ x (/ y 500.0)) 3)) (pow (+ x (/ y 500.0)) 3))
  (pow (* (cbrt (+ x (/ y 500.0))) (cbrt (+ x (/ y 500.0)))) 3)
  (pow (cbrt (+ x (/ y 500.0))) 3)
  (pow (sqrt (+ x (/ y 500.0))) 3)
  (pow (sqrt (+ x (/ y 500.0))) 3)
  (pow 1 3)
  (pow (+ x (/ y 500.0)) 3)
  (pow 1 3)
  (pow (+ x (/ y 500.0)) 3)
  (pow (+ (pow x 3) (pow (/ y 500.0) 3)) 3)
  (pow (+ (* x x) (- (* (/ y 500.0) (/ y 500.0)) (* x (/ y 500.0)))) 3)
  (pow (- (* x x) (* (/ y 500.0) (/ y 500.0))) 3)
  (pow (- x (/ y 500.0)) 3)
  (* (+ x (/ y 500.0)) (+ x (/ y 500.0)))
  (sqrt (pow (+ x (/ y 500.0)) 3))
  (sqrt (pow (+ x (/ y 500.0)) 3))
  (pow (+ x (/ y 500.0)) (/ 3 2))
  (pow (+ x (/ y 500.0)) (/ 3 2))
  (* (exp x) (exp (/ y 500.0)))
  (log (+ x (/ y 500.0)))
  (exp (+ x (/ y 500.0)))
  (* (cbrt (+ x (/ y 500.0))) (cbrt (+ x (/ y 500.0))))
  (cbrt (+ x (/ y 500.0)))
  (* (* (+ x (/ y 500.0)) (+ x (/ y 500.0))) (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (+ (pow x 3) (pow (/ y 500.0) 3))
  (+ (* x x) (- (* (/ y 500.0) (/ y 500.0)) (* x (/ y 500.0))))
  (- (* x x) (* (/ y 500.0) (/ y 500.0)))
  (- x (/ y 500.0))
  (+ x (/ y 500.0))
  (+ x (* 0.002 y))
  (+ x (* 0.002 y))
  (- (+ (* x (cbrt -1)) (* 0.002 (* (cbrt -1) y))))
  (+ (* 1.2e-05 (* x (pow y 2))) (+ (* 0.006 (* (pow x 2) y)) (pow x 3)))
  (+ (* 1.2e-05 (* x (pow y 2))) (+ (* 0.006 (* (pow x 2) y)) (* 8e-09 (pow y 3))))
  (+ (* 1.2e-05 (* x (pow y 2))) (+ (* 0.006 (* (pow x 2) y)) (* 8e-09 (pow y 3))))
  (+ x (* 0.002 y))
  (+ x (* 0.002 y))
  (+ x (* 0.002 y))
1.461 * * [simplify]: iteration 0: 98 enodes
1.500 * * [simplify]: iteration 1: 299 enodes
1.703 * * [simplify]: iteration 2: 1767 enodes
3.024 * * [simplify]: iteration complete: 5002 enodes
3.024 * * [simplify]: Extracting #0: cost 32 inf + 0
3.026 * * [simplify]: Extracting #1: cost 627 inf + 2
3.033 * * [simplify]: Extracting #2: cost 1384 inf + 184
3.043 * * [simplify]: Extracting #3: cost 1623 inf + 1001
3.054 * * [simplify]: Extracting #4: cost 1292 inf + 4429
3.061 * * [simplify]: Extracting #5: cost 302 inf + 18186
3.068 * * [simplify]: Extracting #6: cost 11 inf + 21825
3.076 * * [simplify]: Extracting #7: cost 0 inf + 21860
3.093 * [simplify]: Simplified to:
  (log (+ x (/ y 500.0)))
  (exp (+ x (/ y 500.0)))
  (cbrt (pow (+ x (/ y 500.0)) 2))
  (cbrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  1
  (+ x (/ y 500.0))
  1
  (+ x (/ y 500.0))
  (cbrt (pow (+ x (/ y 500.0)) 2))
  (cbrt (+ x (/ y 500.0)))
  (cbrt (pow (+ x (/ y 500.0)) 2))
  (cbrt (+ x (/ y 500.0)))
  (cbrt (pow (+ x (/ y 500.0)) 2))
  (cbrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  1
  (+ x (/ y 500.0))
  1
  (+ x (/ y 500.0))
  (cbrt (+ x (/ y 500.0)))
  (cbrt (pow (+ x (/ y 500.0)) 2))
  (cbrt (fabs (pow (+ x (/ y 500.0)) 3/2)))
  (cbrt (fabs (pow (+ x (/ y 500.0)) 3/2)))
  1
  (+ x (/ y 500.0))
  (cbrt (pow (+ x (/ y 500.0)) 3/2))
  (cbrt (pow (+ x (/ y 500.0)) 3/2))
  (+ (pow (/ y 500.0) 3) (pow x 3))
  (+ (* (/ y 500.0) (- (/ y 500.0) x)) (* x x))
  (- (* x x) (* (/ y 500.0) (/ y 500.0)))
  (- x (/ y 500.0))
  (cbrt (pow (+ x (/ y 500.0)) 2))
  (cbrt (+ x (/ y 500.0)))
  (pow (+ x (/ y 500.0)) 3)
  (sqrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (* (log (+ x (/ y 500.0))) 3)
  (* (log (+ x (/ y 500.0))) 3)
  3
  (pow (+ x (/ y 500.0)) (* (cbrt 3) (cbrt 3)))
  (pow (+ x (/ y 500.0)) (sqrt 3))
  (+ x (/ y 500.0))
  (pow (+ x (/ y 500.0)) 2)
  (+ x (/ y 500.0))
  (pow (sqrt (+ x (/ y 500.0))) 3)
  (pow (sqrt (+ x (/ y 500.0))) 3)
  1
  (pow (+ x (/ y 500.0)) 3)
  1
  (pow (+ x (/ y 500.0)) 3)
  (pow (+ x (/ y 500.0)) 2)
  (* (log (+ x (/ y 500.0))) 3)
  (exp (pow (+ x (/ y 500.0)) 3))
  (pow (+ x (/ y 500.0)) 2)
  (+ x (/ y 500.0))
  (pow (pow (+ x (/ y 500.0)) 3) 3)
  (pow (+ x (/ y 500.0)) 2)
  (+ x (/ y 500.0))
  (pow (sqrt (+ x (/ y 500.0))) 3)
  (pow (sqrt (+ x (/ y 500.0))) 3)
  1
  (pow (+ x (/ y 500.0)) 3)
  1
  (pow (+ x (/ y 500.0)) 3)
  (pow (+ (pow (/ y 500.0) 3) (pow x 3)) 3)
  (pow (+ (* (/ y 500.0) (- (/ y 500.0) x)) (* x x)) 3)
  (pow (- (* x x) (* (/ y 500.0) (/ y 500.0))) 3)
  (pow (- x (/ y 500.0)) 3)
  (pow (+ x (/ y 500.0)) 2)
  (fabs (pow (+ x (/ y 500.0)) 3/2))
  (fabs (pow (+ x (/ y 500.0)) 3/2))
  (pow (+ x (/ y 500.0)) 3/2)
  (pow (+ x (/ y 500.0)) 3/2)
  (exp (+ x (/ y 500.0)))
  (log (+ x (/ y 500.0)))
  (exp (+ x (/ y 500.0)))
  (cbrt (pow (+ x (/ y 500.0)) 2))
  (cbrt (+ x (/ y 500.0)))
  (pow (+ x (/ y 500.0)) 3)
  (sqrt (+ x (/ y 500.0)))
  (sqrt (+ x (/ y 500.0)))
  (+ (pow (/ y 500.0) 3) (pow x 3))
  (+ (* (/ y 500.0) (- (/ y 500.0) x)) (* x x))
  (- (* x x) (* (/ y 500.0) (/ y 500.0)))
  (- x (/ y 500.0))
  (+ x (/ y 500.0))
  (+ (* y 0.002) x)
  (+ (* y 0.002) x)
  (- (- (* (cbrt -1) x)) (* 0.002 (* (cbrt -1) y)))
  (+ (+ (pow x 3) (* (* x x) (* y 0.006))) (* 1.2e-05 (* x (pow y 2))))
  (+ (* (* x x) (* y 0.006)) (+ (* 8e-09 (pow y 3)) (* 1.2e-05 (* x (pow y 2)))))
  (+ (* (* x x) (* y 0.006)) (+ (* 8e-09 (pow y 3)) (* 1.2e-05 (* x (pow y 2)))))
  (+ (* y 0.002) x)
  (+ (* y 0.002) x)
  (+ (* y 0.002) x)
3.094 * * * [progress]: adding candidates to table
3.354 * [progress]: [Phase 3 of 3] Extracting.
3.354 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ x (/ y 500.0)))> #<alt (λ (x y) (cbrt (pow (+ x (/ y 500.0)) 3)))>)
3.354 * * * [regime-changes]: Trying 4 branch expressions: ((/ y 500.0) (+ x (/ y 500.0)) y x)
3.354 * * * * [regimes]: Trying to branch on (/ y 500.0) from (#<alt (λ (x y) (+ x (/ y 500.0)))> #<alt (λ (x y) (cbrt (pow (+ x (/ y 500.0)) 3)))>)
3.410 * * * * [regimes]: Trying to branch on (+ x (/ y 500.0)) from (#<alt (λ (x y) (+ x (/ y 500.0)))> #<alt (λ (x y) (cbrt (pow (+ x (/ y 500.0)) 3)))>)
3.465 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ x (/ y 500.0)))> #<alt (λ (x y) (cbrt (pow (+ x (/ y 500.0)) 3)))>)
3.495 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ x (/ y 500.0)))> #<alt (λ (x y) (cbrt (pow (+ x (/ y 500.0)) 3)))>)
3.552 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.553 * [simplify]: Simplifying:
  (+ x (/ y 500.0))
3.553 * * [simplify]: iteration 0: 5 enodes
3.553 * * [simplify]: iteration 1: 6 enodes
3.554 * * [simplify]: iteration complete: 6 enodes
3.554 * * [simplify]: Extracting #0: cost 1 inf + 0
3.554 * * [simplify]: Extracting #1: cost 3 inf + 0
3.554 * * [simplify]: Extracting #2: cost 4 inf + 1
3.554 * * [simplify]: Extracting #3: cost 0 inf + 11
3.554 * [simplify]: Simplified to:
  (+ (/ y 500.0) x)
4.553 * [regime-testing]: Baseline error score: 0.00511400057452288
4.556 * [regime-testing]: Oracle error score: 0.0043639068128026644
4.563 * [regime-testing]: End program error score: 0.00511400057452288