9.521 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.036 * [simplify]: Simplifying:
  (* (+ x y) (+ x y))
0.036 * * [simplify]: iteration 0: 4 enodes
0.037 * * [simplify]: iteration 1: 11 enodes
0.040 * * [simplify]: iteration 2: 27 enodes
0.049 * * [simplify]: iteration 3: 65 enodes
0.062 * * [simplify]: iteration 4: 147 enodes
0.095 * * [simplify]: iteration 5: 243 enodes
0.127 * * [simplify]: iteration 6: 273 enodes
0.158 * * [simplify]: iteration 7: 290 enodes
0.197 * * [simplify]: iteration 8: 292 enodes
0.228 * * [simplify]: iteration complete: 292 enodes
0.228 * * [simplify]: Extracting #0: cost 1 inf + 0
0.228 * * [simplify]: Extracting #1: cost 19 inf + 0
0.229 * * [simplify]: Extracting #2: cost 15 inf + 6
0.229 * * [simplify]: Extracting #3: cost 0 inf + 77
0.229 * [simplify]: Simplified to:
  (* (+ y x) (+ y x))
0.236 * * [progress]: iteration 1 / 4
0.236 * * * [progress]: picking best candidate
0.241 * * * * [pick]: Picked  #<alt (λ (x y) (* (+ y x) (+ y x)))>
0.241 * * * [progress]: localizing error
0.250 * * * [progress]: generating rewritten candidates
0.251 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.311 * * * [progress]: generating series expansions
0.311 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.311 * [backup-simplify]: Simplify (* (+ y x) (+ y x)) into (pow (+ x y) 2)
0.311 * [approximate]: Taking taylor expansion of (pow (+ x y) 2) in (y x) around 0
0.311 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x
0.311 * [taylor]: Taking taylor expansion of (+ x y) in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.311 * [backup-simplify]: Simplify 0 into 0
0.311 * [backup-simplify]: Simplify 1 into 1
0.311 * [taylor]: Taking taylor expansion of y in x
0.311 * [backup-simplify]: Simplify y into y
0.312 * [backup-simplify]: Simplify (+ 0 y) into y
0.312 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y
0.312 * [taylor]: Taking taylor expansion of (+ x y) in y
0.312 * [taylor]: Taking taylor expansion of x in y
0.312 * [backup-simplify]: Simplify x into x
0.312 * [taylor]: Taking taylor expansion of y in y
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 1 into 1
0.312 * [backup-simplify]: Simplify (+ x 0) into x
0.312 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y
0.312 * [taylor]: Taking taylor expansion of (+ x y) in y
0.312 * [taylor]: Taking taylor expansion of x in y
0.312 * [backup-simplify]: Simplify x into x
0.312 * [taylor]: Taking taylor expansion of y in y
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 1 into 1
0.312 * [backup-simplify]: Simplify (+ x 0) into x
0.312 * [backup-simplify]: Simplify (* x x) into (pow x 2)
0.312 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.312 * [taylor]: Taking taylor expansion of x in x
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 1 into 1
0.313 * [backup-simplify]: Simplify (+ 0 1) into 1
0.313 * [backup-simplify]: Simplify (+ (* x 1) (* 1 x)) into (* 2 x)
0.313 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.313 * [taylor]: Taking taylor expansion of 2 in x
0.313 * [backup-simplify]: Simplify 2 into 2
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 1 into 1
0.314 * [backup-simplify]: Simplify (* 2 0) into 0
0.314 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify (+ 0 0) into 0
0.315 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 1) (* 0 x))) into 1
0.315 * [taylor]: Taking taylor expansion of 1 in x
0.315 * [backup-simplify]: Simplify 1 into 1
0.315 * [backup-simplify]: Simplify 1 into 1
0.316 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.316 * [backup-simplify]: Simplify 2 into 2
0.316 * [backup-simplify]: Simplify (* 1 1) into 1
0.316 * [backup-simplify]: Simplify 1 into 1
0.317 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* 2 (* x y)) (* 1 (pow (* 1 y) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.317 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) into (pow (+ (/ 1 x) (/ 1 y)) 2)
0.317 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (y x) around 0
0.317 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x
0.317 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [backup-simplify]: Simplify (/ 1 1) into 1
0.318 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.318 * [taylor]: Taking taylor expansion of y in x
0.318 * [backup-simplify]: Simplify y into y
0.318 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.318 * [backup-simplify]: Simplify (+ 1 0) into 1
0.318 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y
0.318 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.318 * [taylor]: Taking taylor expansion of x in y
0.318 * [backup-simplify]: Simplify x into x
0.318 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.318 * [taylor]: Taking taylor expansion of y in y
0.318 * [backup-simplify]: Simplify 0 into 0
0.318 * [backup-simplify]: Simplify 1 into 1
0.319 * [backup-simplify]: Simplify (/ 1 1) into 1
0.319 * [backup-simplify]: Simplify (+ 0 1) into 1
0.319 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y
0.319 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.319 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.319 * [taylor]: Taking taylor expansion of x in y
0.319 * [backup-simplify]: Simplify x into x
0.319 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.320 * [taylor]: Taking taylor expansion of y in y
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify 1 into 1
0.320 * [backup-simplify]: Simplify (/ 1 1) into 1
0.320 * [backup-simplify]: Simplify (+ 0 1) into 1
0.321 * [backup-simplify]: Simplify (* 1 1) into 1
0.321 * [taylor]: Taking taylor expansion of 1 in x
0.321 * [backup-simplify]: Simplify 1 into 1
0.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.322 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
0.322 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* (/ 1 x) 1)) into (* 2 (/ 1 x))
0.322 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.322 * [taylor]: Taking taylor expansion of 2 in x
0.322 * [backup-simplify]: Simplify 2 into 2
0.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.323 * [backup-simplify]: Simplify (/ 1 1) into 1
0.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.324 * [backup-simplify]: Simplify (+ 0 0) into 0
0.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 x) (/ 1 x)) (* 0 1))) into (/ 1 (pow x 2))
0.325 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.325 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 1 into 1
0.326 * [backup-simplify]: Simplify (* 1 1) into 1
0.326 * [backup-simplify]: Simplify (/ 1 1) into 1
0.326 * [backup-simplify]: Simplify 1 into 1
0.327 * [backup-simplify]: Simplify (* 2 1) into 2
0.327 * [backup-simplify]: Simplify 2 into 2
0.327 * [backup-simplify]: Simplify 1 into 1
0.328 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (+ (* 2 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.328 * [backup-simplify]: Simplify (* (+ (/ 1 (- y)) (/ 1 (- x))) (+ (/ 1 (- y)) (/ 1 (- x)))) into (pow (+ (/ 1 x) (/ 1 y)) 2)
0.329 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (y x) around 0
0.329 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify 1 into 1
0.329 * [backup-simplify]: Simplify (/ 1 1) into 1
0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [backup-simplify]: Simplify y into y
0.329 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.330 * [backup-simplify]: Simplify (+ 1 0) into 1
0.330 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y
0.330 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.330 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.330 * [taylor]: Taking taylor expansion of x in y
0.330 * [backup-simplify]: Simplify x into x
0.330 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.330 * [taylor]: Taking taylor expansion of y in y
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 1 into 1
0.331 * [backup-simplify]: Simplify (/ 1 1) into 1
0.331 * [backup-simplify]: Simplify (+ 0 1) into 1
0.331 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y
0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.331 * [taylor]: Taking taylor expansion of x in y
0.331 * [backup-simplify]: Simplify x into x
0.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.331 * [taylor]: Taking taylor expansion of y in y
0.331 * [backup-simplify]: Simplify 0 into 0
0.331 * [backup-simplify]: Simplify 1 into 1
0.332 * [backup-simplify]: Simplify (/ 1 1) into 1
0.332 * [backup-simplify]: Simplify (+ 0 1) into 1
0.333 * [backup-simplify]: Simplify (* 1 1) into 1
0.333 * [taylor]: Taking taylor expansion of 1 in x
0.333 * [backup-simplify]: Simplify 1 into 1
0.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.334 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
0.334 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* (/ 1 x) 1)) into (* 2 (/ 1 x))
0.334 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.334 * [taylor]: Taking taylor expansion of 2 in x
0.334 * [backup-simplify]: Simplify 2 into 2
0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify 1 into 1
0.334 * [backup-simplify]: Simplify (/ 1 1) into 1
0.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.337 * [backup-simplify]: Simplify (+ 0 0) into 0
0.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 x) (/ 1 x)) (* 0 1))) into (/ 1 (pow x 2))
0.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.338 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify 1 into 1
0.338 * [backup-simplify]: Simplify (* 1 1) into 1
0.339 * [backup-simplify]: Simplify (/ 1 1) into 1
0.339 * [backup-simplify]: Simplify 1 into 1
0.339 * [backup-simplify]: Simplify (* 2 1) into 2
0.339 * [backup-simplify]: Simplify 2 into 2
0.339 * [backup-simplify]: Simplify 1 into 1
0.340 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.340 * * * [progress]: simplifying candidates
0.341 * [simplify]: Simplifying:
  (expm1 (* (+ y x) (+ y x)))
  (log1p (* (+ y x) (+ y x)))
  (+ 1 1)
  (* (+ y x) (+ y x))
  (+ 1 1)
  (+ (log (+ y x)) (log (+ y x)))
  (log (* (+ y x) (+ y x)))
  (exp (* (+ y x) (+ y x)))
  (* (* (* (+ y x) (+ y x)) (+ y x)) (* (* (+ y x) (+ y x)) (+ y x)))
  (* (cbrt (* (+ y x) (+ y x))) (cbrt (* (+ y x) (+ y x))))
  (cbrt (* (+ y x) (+ y x)))
  (* (* (* (+ y x) (+ y x)) (* (+ y x) (+ y x))) (* (+ y x) (+ y x)))
  (sqrt (* (+ y x) (+ y x)))
  (sqrt (* (+ y x) (+ y x)))
  (* (+ (pow y 3) (pow x 3)) (+ (pow y 3) (pow x 3)))
  (* (+ (* y y) (- (* x x) (* y x))) (+ (* y y) (- (* x x) (* y x))))
  (* (+ (pow y 3) (pow x 3)) (- (* y y) (* x x)))
  (* (+ (* y y) (- (* x x) (* y x))) (- y x))
  (* (- (* y y) (* x x)) (+ (pow y 3) (pow x 3)))
  (* (- y x) (+ (* y y) (- (* x x) (* y x))))
  (* (- (* y y) (* x x)) (- (* y y) (* x x)))
  (* (- y x) (- y x))
  (* (* (cbrt (+ y x)) (cbrt (+ y x))) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (* (cbrt (+ y x)) (cbrt (+ y x)))
  (* (sqrt (+ y x)) (sqrt (+ y x)))
  (* (sqrt (+ y x)) (sqrt (+ y x)))
  (* 1 1)
  (* (+ y x) (+ y x))
  (* 1 1)
  (* (+ y x) (+ y x))
  (* 1 1)
  (* (+ y x) (+ y x))
  (* 1 1)
  (* (+ y x) (+ y x))
  (* (sqrt (+ y x)) (sqrt (+ y x)))
  (* (sqrt (+ y x)) (sqrt (+ y x)))
  (* 2 1)
  (* (+ y x) y)
  (* (+ y x) x)
  (* y (+ y x))
  (* x (+ y x))
  (* (+ y x) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (* (+ y x) (sqrt (+ y x)))
  (* (+ y x) 1)
  (* (+ y x) 1)
  (* (cbrt (+ y x)) (+ y x))
  (* (sqrt (+ y x)) (+ y x))
  (* (+ y x) (+ y x))
  (* (+ y x) (+ y x))
  (* (+ y x) (+ (pow y 3) (pow x 3)))
  (* (+ y x) (- (* y y) (* x x)))
  (* (+ (pow y 3) (pow x 3)) (+ y x))
  (* (- (* y y) (* x x)) (+ y x))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
0.343 * * [simplify]: iteration 0: 65 enodes
0.371 * * [simplify]: iteration 1: 232 enodes
0.615 * * [simplify]: iteration 2: 1813 enodes
1.849 * * [simplify]: iteration complete: 5001 enodes
1.849 * * [simplify]: Extracting #0: cost 27 inf + 0
1.851 * * [simplify]: Extracting #1: cost 765 inf + 2
1.856 * * [simplify]: Extracting #2: cost 1641 inf + 1495
1.863 * * [simplify]: Extracting #3: cost 769 inf + 11199
1.874 * * [simplify]: Extracting #4: cost 45 inf + 18285
1.886 * * [simplify]: Extracting #5: cost 3 inf + 18531
1.899 * * [simplify]: Extracting #6: cost 0 inf + 18548
1.914 * [simplify]: Simplified to:
  (expm1 (* (+ y x) (+ y x)))
  (log1p (* (+ y x) (+ y x)))
  2
  (* (+ y x) (+ y x))
  2
  (* (log (+ y x)) 2)
  (* (log (+ y x)) 2)
  (pow (exp (+ y x)) (+ y x))
  (pow (+ y x) (* 2 3))
  (* (cbrt (* (+ y x) (+ y x))) (cbrt (* (+ y x) (+ y x))))
  (cbrt (* (+ y x) (+ y x)))
  (pow (+ y x) (* 2 3))
  (fabs (+ y x))
  (fabs (+ y x))
  (* (+ (pow y 3) (pow x 3)) (+ (pow y 3) (pow x 3)))
  (* (fma y y (* (- x y) x)) (fma y y (* (- x y) x)))
  (* (+ (pow y 3) (pow x 3)) (fma y y (- (* x x))))
  (* (fma y y (* (- x y) x)) (- y x))
  (* (+ (pow y 3) (pow x 3)) (fma y y (- (* x x))))
  (* (fma y y (* (- x y) x)) (- y x))
  (* (* (+ y x) (+ y x)) (* (- y x) (- y x)))
  (* (- y x) (- y x))
  (* (+ y x) (cbrt (+ y x)))
  (* (cbrt (+ y x)) (cbrt (+ y x)))
  (+ y x)
  (+ y x)
  1
  (* (+ y x) (+ y x))
  1
  (* (+ y x) (+ y x))
  1
  (* (+ y x) (+ y x))
  1
  (* (+ y x) (+ y x))
  (+ y x)
  (+ y x)
  2
  (* (+ y x) y)
  (* x (+ y x))
  (* (+ y x) y)
  (* x (+ y x))
  (* (+ y x) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (pow (sqrt (+ y x)) 3)
  (+ y x)
  (+ y x)
  (* (+ y x) (cbrt (+ y x)))
  (pow (sqrt (+ y x)) 3)
  (* (+ y x) (+ y x))
  (* (+ y x) (+ y x))
  (* (+ (pow y 3) (pow x 3)) (+ y x))
  (* (+ y x) (* (- y x) (+ y x)))
  (* (+ (pow y 3) (pow x 3)) (+ y x))
  (* (+ y x) (* (- y x) (+ y x)))
  (fma y (* 2 x) (fma y y (* x x)))
  (fma y (* 2 x) (fma y y (* x x)))
  (fma y (* 2 x) (fma y y (* x x)))
1.915 * * * [progress]: adding candidates to table
2.020 * * [progress]: iteration 2 / 4
2.020 * * * [progress]: picking best candidate
2.030 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* (+ y x) y) (* x (+ y x))))>
2.030 * * * [progress]: localizing error
2.039 * * * [progress]: generating rewritten candidates
2.039 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
2.056 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.075 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.089 * * * [progress]: generating series expansions
2.090 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
2.090 * [backup-simplify]: Simplify (* x (+ y x)) into (* x (+ x y))
2.090 * [approximate]: Taking taylor expansion of (* x (+ x y)) in (x y) around 0
2.090 * [taylor]: Taking taylor expansion of (* x (+ x y)) in y
2.090 * [taylor]: Taking taylor expansion of x in y
2.090 * [backup-simplify]: Simplify x into x
2.090 * [taylor]: Taking taylor expansion of (+ x y) in y
2.090 * [taylor]: Taking taylor expansion of x in y
2.090 * [backup-simplify]: Simplify x into x
2.090 * [taylor]: Taking taylor expansion of y in y
2.090 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify 1 into 1
2.090 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x
2.090 * [taylor]: Taking taylor expansion of x in x
2.090 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify 1 into 1
2.090 * [taylor]: Taking taylor expansion of (+ x y) in x
2.090 * [taylor]: Taking taylor expansion of x in x
2.090 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify 1 into 1
2.090 * [taylor]: Taking taylor expansion of y in x
2.090 * [backup-simplify]: Simplify y into y
2.090 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x
2.090 * [taylor]: Taking taylor expansion of x in x
2.090 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify 1 into 1
2.090 * [taylor]: Taking taylor expansion of (+ x y) in x
2.090 * [taylor]: Taking taylor expansion of x in x
2.090 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify 1 into 1
2.090 * [taylor]: Taking taylor expansion of y in x
2.090 * [backup-simplify]: Simplify y into y
2.090 * [backup-simplify]: Simplify (+ 0 y) into y
2.090 * [backup-simplify]: Simplify (* 0 y) into 0
2.090 * [taylor]: Taking taylor expansion of 0 in y
2.090 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify 0 into 0
2.091 * [backup-simplify]: Simplify (+ 1 0) into 1
2.091 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 y)) into y
2.091 * [taylor]: Taking taylor expansion of y in y
2.091 * [backup-simplify]: Simplify 0 into 0
2.091 * [backup-simplify]: Simplify 1 into 1
2.091 * [backup-simplify]: Simplify 0 into 0
2.091 * [backup-simplify]: Simplify 0 into 0
2.092 * [backup-simplify]: Simplify (+ 0 0) into 0
2.092 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 y))) into 1
2.092 * [taylor]: Taking taylor expansion of 1 in y
2.092 * [backup-simplify]: Simplify 1 into 1
2.092 * [backup-simplify]: Simplify 1 into 1
2.092 * [backup-simplify]: Simplify 1 into 1
2.092 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify (+ 0 0) into 0
2.093 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 y)))) into 0
2.093 * [taylor]: Taking taylor expansion of 0 in y
2.093 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify 0 into 0
2.094 * [backup-simplify]: Simplify 0 into 0
2.094 * [backup-simplify]: Simplify 0 into 0
2.094 * [backup-simplify]: Simplify (+ 0 0) into 0
2.095 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y))))) into 0
2.095 * [taylor]: Taking taylor expansion of 0 in y
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* x y))
2.095 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 x))) into (/ (+ (/ 1 x) (/ 1 y)) x)
2.095 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0
2.095 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
2.095 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.095 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.095 * [taylor]: Taking taylor expansion of x in y
2.095 * [backup-simplify]: Simplify x into x
2.095 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.095 * [taylor]: Taking taylor expansion of y in y
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify 1 into 1
2.096 * [backup-simplify]: Simplify (/ 1 1) into 1
2.096 * [taylor]: Taking taylor expansion of x in y
2.096 * [backup-simplify]: Simplify x into x
2.096 * [backup-simplify]: Simplify (+ 0 1) into 1
2.096 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.096 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
2.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.096 * [taylor]: Taking taylor expansion of x in x
2.096 * [backup-simplify]: Simplify 0 into 0
2.096 * [backup-simplify]: Simplify 1 into 1
2.096 * [backup-simplify]: Simplify (/ 1 1) into 1
2.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.096 * [taylor]: Taking taylor expansion of y in x
2.096 * [backup-simplify]: Simplify y into y
2.096 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.096 * [taylor]: Taking taylor expansion of x in x
2.096 * [backup-simplify]: Simplify 0 into 0
2.096 * [backup-simplify]: Simplify 1 into 1
2.097 * [backup-simplify]: Simplify (+ 1 0) into 1
2.097 * [backup-simplify]: Simplify (/ 1 1) into 1
2.097 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
2.097 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.097 * [taylor]: Taking taylor expansion of x in x
2.097 * [backup-simplify]: Simplify 0 into 0
2.097 * [backup-simplify]: Simplify 1 into 1
2.097 * [backup-simplify]: Simplify (/ 1 1) into 1
2.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.097 * [taylor]: Taking taylor expansion of y in x
2.097 * [backup-simplify]: Simplify y into y
2.097 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.097 * [taylor]: Taking taylor expansion of x in x
2.097 * [backup-simplify]: Simplify 0 into 0
2.097 * [backup-simplify]: Simplify 1 into 1
2.098 * [backup-simplify]: Simplify (+ 1 0) into 1
2.098 * [backup-simplify]: Simplify (/ 1 1) into 1
2.098 * [taylor]: Taking taylor expansion of 1 in y
2.098 * [backup-simplify]: Simplify 1 into 1
2.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.098 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.099 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
2.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.099 * [taylor]: Taking taylor expansion of y in y
2.099 * [backup-simplify]: Simplify 0 into 0
2.099 * [backup-simplify]: Simplify 1 into 1
2.099 * [backup-simplify]: Simplify (/ 1 1) into 1
2.099 * [backup-simplify]: Simplify 1 into 1
2.099 * [backup-simplify]: Simplify 1 into 1
2.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.100 * [backup-simplify]: Simplify (+ 0 0) into 0
2.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
2.101 * [taylor]: Taking taylor expansion of 0 in y
2.101 * [backup-simplify]: Simplify 0 into 0
2.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.101 * [backup-simplify]: Simplify 0 into 0
2.101 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.102 * [backup-simplify]: Simplify (+ 0 0) into 0
2.103 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.103 * [taylor]: Taking taylor expansion of 0 in y
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.104 * [backup-simplify]: Simplify 0 into 0
2.104 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.105 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.105 * [backup-simplify]: Simplify (+ 0 0) into 0
2.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.106 * [taylor]: Taking taylor expansion of 0 in y
2.106 * [backup-simplify]: Simplify 0 into 0
2.106 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (pow x 2) (* x y))
2.107 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- x)))) into (/ (+ (/ 1 x) (/ 1 y)) x)
2.107 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0
2.107 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
2.107 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.107 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.107 * [taylor]: Taking taylor expansion of x in y
2.107 * [backup-simplify]: Simplify x into x
2.107 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.107 * [taylor]: Taking taylor expansion of y in y
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 1 into 1
2.107 * [backup-simplify]: Simplify (/ 1 1) into 1
2.107 * [taylor]: Taking taylor expansion of x in y
2.107 * [backup-simplify]: Simplify x into x
2.108 * [backup-simplify]: Simplify (+ 0 1) into 1
2.108 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.108 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
2.108 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.108 * [taylor]: Taking taylor expansion of x in x
2.108 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify 1 into 1
2.108 * [backup-simplify]: Simplify (/ 1 1) into 1
2.108 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.108 * [taylor]: Taking taylor expansion of y in x
2.108 * [backup-simplify]: Simplify y into y
2.108 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.108 * [taylor]: Taking taylor expansion of x in x
2.108 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify 1 into 1
2.108 * [backup-simplify]: Simplify (+ 1 0) into 1
2.109 * [backup-simplify]: Simplify (/ 1 1) into 1
2.109 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
2.109 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.109 * [taylor]: Taking taylor expansion of x in x
2.109 * [backup-simplify]: Simplify 0 into 0
2.109 * [backup-simplify]: Simplify 1 into 1
2.109 * [backup-simplify]: Simplify (/ 1 1) into 1
2.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.109 * [taylor]: Taking taylor expansion of y in x
2.109 * [backup-simplify]: Simplify y into y
2.109 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.109 * [taylor]: Taking taylor expansion of x in x
2.109 * [backup-simplify]: Simplify 0 into 0
2.109 * [backup-simplify]: Simplify 1 into 1
2.109 * [backup-simplify]: Simplify (+ 1 0) into 1
2.109 * [backup-simplify]: Simplify (/ 1 1) into 1
2.110 * [taylor]: Taking taylor expansion of 1 in y
2.110 * [backup-simplify]: Simplify 1 into 1
2.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.110 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.111 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
2.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.111 * [taylor]: Taking taylor expansion of y in y
2.111 * [backup-simplify]: Simplify 0 into 0
2.111 * [backup-simplify]: Simplify 1 into 1
2.111 * [backup-simplify]: Simplify (/ 1 1) into 1
2.111 * [backup-simplify]: Simplify 1 into 1
2.111 * [backup-simplify]: Simplify 1 into 1
2.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.111 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.112 * [backup-simplify]: Simplify (+ 0 0) into 0
2.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
2.113 * [taylor]: Taking taylor expansion of 0 in y
2.113 * [backup-simplify]: Simplify 0 into 0
2.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.113 * [backup-simplify]: Simplify 0 into 0
2.113 * [backup-simplify]: Simplify 0 into 0
2.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.114 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.114 * [backup-simplify]: Simplify (+ 0 0) into 0
2.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.115 * [taylor]: Taking taylor expansion of 0 in y
2.115 * [backup-simplify]: Simplify 0 into 0
2.115 * [backup-simplify]: Simplify 0 into 0
2.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.116 * [backup-simplify]: Simplify 0 into 0
2.116 * [backup-simplify]: Simplify 0 into 0
2.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.116 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.117 * [backup-simplify]: Simplify (+ 0 0) into 0
2.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.118 * [taylor]: Taking taylor expansion of 0 in y
2.118 * [backup-simplify]: Simplify 0 into 0
2.118 * [backup-simplify]: Simplify 0 into 0
2.118 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (pow x 2) (* x y))
2.118 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.119 * [backup-simplify]: Simplify (* (+ y x) y) into (* (+ x y) y)
2.119 * [approximate]: Taking taylor expansion of (* (+ x y) y) in (y x) around 0
2.119 * [taylor]: Taking taylor expansion of (* (+ x y) y) in x
2.119 * [taylor]: Taking taylor expansion of (+ x y) in x
2.119 * [taylor]: Taking taylor expansion of x in x
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.119 * [taylor]: Taking taylor expansion of y in x
2.119 * [backup-simplify]: Simplify y into y
2.119 * [taylor]: Taking taylor expansion of y in x
2.119 * [backup-simplify]: Simplify y into y
2.119 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y
2.119 * [taylor]: Taking taylor expansion of (+ x y) in y
2.119 * [taylor]: Taking taylor expansion of x in y
2.119 * [backup-simplify]: Simplify x into x
2.119 * [taylor]: Taking taylor expansion of y in y
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.119 * [taylor]: Taking taylor expansion of y in y
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.119 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y
2.119 * [taylor]: Taking taylor expansion of (+ x y) in y
2.119 * [taylor]: Taking taylor expansion of x in y
2.119 * [backup-simplify]: Simplify x into x
2.119 * [taylor]: Taking taylor expansion of y in y
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.119 * [taylor]: Taking taylor expansion of y in y
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.119 * [backup-simplify]: Simplify (+ x 0) into x
2.119 * [backup-simplify]: Simplify (* x 0) into 0
2.119 * [taylor]: Taking taylor expansion of 0 in x
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify (+ 0 1) into 1
2.120 * [backup-simplify]: Simplify (+ (* x 1) (* 1 0)) into x
2.120 * [taylor]: Taking taylor expansion of x in x
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 1 into 1
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify (+ 0 0) into 0
2.121 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 1) (* 0 0))) into 1
2.121 * [taylor]: Taking taylor expansion of 1 in x
2.121 * [backup-simplify]: Simplify 1 into 1
2.121 * [backup-simplify]: Simplify 1 into 1
2.121 * [backup-simplify]: Simplify 1 into 1
2.121 * [backup-simplify]: Simplify 0 into 0
2.121 * [backup-simplify]: Simplify (+ 0 0) into 0
2.121 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
2.122 * [taylor]: Taking taylor expansion of 0 in x
2.122 * [backup-simplify]: Simplify 0 into 0
2.122 * [backup-simplify]: Simplify 0 into 0
2.122 * [backup-simplify]: Simplify 0 into 0
2.122 * [backup-simplify]: Simplify 0 into 0
2.122 * [backup-simplify]: Simplify 0 into 0
2.122 * [backup-simplify]: Simplify (+ 0 0) into 0
2.122 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.122 * [taylor]: Taking taylor expansion of 0 in x
2.123 * [backup-simplify]: Simplify 0 into 0
2.123 * [backup-simplify]: Simplify 0 into 0
2.123 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (* 1 (pow (* 1 y) 2))) into (+ (pow y 2) (* x y))
2.123 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 x)) (/ 1 y)) into (/ (+ (/ 1 x) (/ 1 y)) y)
2.123 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (y x) around 0
2.123 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x
2.123 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.123 * [taylor]: Taking taylor expansion of x in x
2.123 * [backup-simplify]: Simplify 0 into 0
2.123 * [backup-simplify]: Simplify 1 into 1
2.123 * [backup-simplify]: Simplify (/ 1 1) into 1
2.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.123 * [taylor]: Taking taylor expansion of y in x
2.123 * [backup-simplify]: Simplify y into y
2.123 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.123 * [taylor]: Taking taylor expansion of y in x
2.123 * [backup-simplify]: Simplify y into y
2.124 * [backup-simplify]: Simplify (+ 1 0) into 1
2.124 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.124 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y
2.124 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.124 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.124 * [taylor]: Taking taylor expansion of x in y
2.124 * [backup-simplify]: Simplify x into x
2.124 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.124 * [taylor]: Taking taylor expansion of y in y
2.124 * [backup-simplify]: Simplify 0 into 0
2.124 * [backup-simplify]: Simplify 1 into 1
2.124 * [backup-simplify]: Simplify (/ 1 1) into 1
2.124 * [taylor]: Taking taylor expansion of y in y
2.124 * [backup-simplify]: Simplify 0 into 0
2.124 * [backup-simplify]: Simplify 1 into 1
2.124 * [backup-simplify]: Simplify (+ 0 1) into 1
2.125 * [backup-simplify]: Simplify (/ 1 1) into 1
2.125 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y
2.125 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.125 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.125 * [taylor]: Taking taylor expansion of x in y
2.125 * [backup-simplify]: Simplify x into x
2.125 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.125 * [taylor]: Taking taylor expansion of y in y
2.125 * [backup-simplify]: Simplify 0 into 0
2.125 * [backup-simplify]: Simplify 1 into 1
2.125 * [backup-simplify]: Simplify (/ 1 1) into 1
2.125 * [taylor]: Taking taylor expansion of y in y
2.125 * [backup-simplify]: Simplify 0 into 0
2.125 * [backup-simplify]: Simplify 1 into 1
2.126 * [backup-simplify]: Simplify (+ 0 1) into 1
2.126 * [backup-simplify]: Simplify (/ 1 1) into 1
2.126 * [taylor]: Taking taylor expansion of 1 in x
2.126 * [backup-simplify]: Simplify 1 into 1
2.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.127 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
2.128 * [backup-simplify]: Simplify (- (/ (/ 1 x) 1) (+ (* 1 (/ 0 1)))) into (/ 1 x)
2.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.128 * [taylor]: Taking taylor expansion of x in x
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 1 into 1
2.128 * [backup-simplify]: Simplify (/ 1 1) into 1
2.128 * [backup-simplify]: Simplify 1 into 1
2.128 * [backup-simplify]: Simplify 1 into 1
2.129 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.130 * [backup-simplify]: Simplify (+ 0 0) into 0
2.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)))) into 0
2.131 * [taylor]: Taking taylor expansion of 0 in x
2.131 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.133 * [backup-simplify]: Simplify (+ 0 0) into 0
2.135 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.135 * [taylor]: Taking taylor expansion of 0 in x
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.136 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.138 * [backup-simplify]: Simplify (+ 0 0) into 0
2.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.141 * [taylor]: Taking taylor expansion of 0 in x
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (+ (pow y 2) (* x y))
2.142 * [backup-simplify]: Simplify (* (+ (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- y))) into (/ (+ (/ 1 x) (/ 1 y)) y)
2.142 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (y x) around 0
2.142 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x
2.142 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.142 * [taylor]: Taking taylor expansion of x in x
2.142 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify 1 into 1
2.143 * [backup-simplify]: Simplify (/ 1 1) into 1
2.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.143 * [taylor]: Taking taylor expansion of y in x
2.143 * [backup-simplify]: Simplify y into y
2.143 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.143 * [taylor]: Taking taylor expansion of y in x
2.143 * [backup-simplify]: Simplify y into y
2.143 * [backup-simplify]: Simplify (+ 1 0) into 1
2.144 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.144 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y
2.144 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.144 * [taylor]: Taking taylor expansion of x in y
2.144 * [backup-simplify]: Simplify x into x
2.144 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.144 * [taylor]: Taking taylor expansion of y in y
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 1 into 1
2.144 * [backup-simplify]: Simplify (/ 1 1) into 1
2.144 * [taylor]: Taking taylor expansion of y in y
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 1 into 1
2.145 * [backup-simplify]: Simplify (+ 0 1) into 1
2.145 * [backup-simplify]: Simplify (/ 1 1) into 1
2.145 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y
2.145 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.145 * [taylor]: Taking taylor expansion of x in y
2.145 * [backup-simplify]: Simplify x into x
2.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.146 * [taylor]: Taking taylor expansion of y in y
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify (/ 1 1) into 1
2.146 * [taylor]: Taking taylor expansion of y in y
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.147 * [backup-simplify]: Simplify (+ 0 1) into 1
2.147 * [backup-simplify]: Simplify (/ 1 1) into 1
2.147 * [taylor]: Taking taylor expansion of 1 in x
2.147 * [backup-simplify]: Simplify 1 into 1
2.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.148 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
2.149 * [backup-simplify]: Simplify (- (/ (/ 1 x) 1) (+ (* 1 (/ 0 1)))) into (/ 1 x)
2.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.149 * [taylor]: Taking taylor expansion of x in x
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify 1 into 1
2.149 * [backup-simplify]: Simplify (/ 1 1) into 1
2.149 * [backup-simplify]: Simplify 1 into 1
2.149 * [backup-simplify]: Simplify 1 into 1
2.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.151 * [backup-simplify]: Simplify (+ 0 0) into 0
2.152 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)))) into 0
2.152 * [taylor]: Taking taylor expansion of 0 in x
2.152 * [backup-simplify]: Simplify 0 into 0
2.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.153 * [backup-simplify]: Simplify 0 into 0
2.153 * [backup-simplify]: Simplify 0 into 0
2.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.155 * [backup-simplify]: Simplify (+ 0 0) into 0
2.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.157 * [taylor]: Taking taylor expansion of 0 in x
2.157 * [backup-simplify]: Simplify 0 into 0
2.157 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.158 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.159 * [backup-simplify]: Simplify (+ 0 0) into 0
2.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.160 * [taylor]: Taking taylor expansion of 0 in x
2.160 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (+ (pow y 2) (* x y))
2.161 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.161 * [backup-simplify]: Simplify (+ (* (+ y x) y) (* x (+ y x))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
2.161 * [approximate]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in (y x) around 0
2.161 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in x
2.161 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.161 * [taylor]: Taking taylor expansion of y in x
2.161 * [backup-simplify]: Simplify y into y
2.161 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in x
2.161 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.161 * [taylor]: Taking taylor expansion of x in x
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 1 into 1
2.161 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
2.161 * [taylor]: Taking taylor expansion of 2 in x
2.161 * [backup-simplify]: Simplify 2 into 2
2.161 * [taylor]: Taking taylor expansion of (* x y) in x
2.161 * [taylor]: Taking taylor expansion of x in x
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 1 into 1
2.161 * [taylor]: Taking taylor expansion of y in x
2.161 * [backup-simplify]: Simplify y into y
2.161 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in y
2.161 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.161 * [taylor]: Taking taylor expansion of y in y
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 1 into 1
2.161 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in y
2.161 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.161 * [taylor]: Taking taylor expansion of x in y
2.161 * [backup-simplify]: Simplify x into x
2.161 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
2.161 * [taylor]: Taking taylor expansion of 2 in y
2.161 * [backup-simplify]: Simplify 2 into 2
2.161 * [taylor]: Taking taylor expansion of (* x y) in y
2.161 * [taylor]: Taking taylor expansion of x in y
2.161 * [backup-simplify]: Simplify x into x
2.161 * [taylor]: Taking taylor expansion of y in y
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 1 into 1
2.161 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) in y
2.161 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.161 * [taylor]: Taking taylor expansion of y in y
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 1 into 1
2.161 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 (* x y))) in y
2.161 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.161 * [taylor]: Taking taylor expansion of x in y
2.161 * [backup-simplify]: Simplify x into x
2.161 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
2.161 * [taylor]: Taking taylor expansion of 2 in y
2.161 * [backup-simplify]: Simplify 2 into 2
2.161 * [taylor]: Taking taylor expansion of (* x y) in y
2.161 * [taylor]: Taking taylor expansion of x in y
2.161 * [backup-simplify]: Simplify x into x
2.161 * [taylor]: Taking taylor expansion of y in y
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 1 into 1
2.162 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.162 * [backup-simplify]: Simplify (* x 0) into 0
2.162 * [backup-simplify]: Simplify (* 2 0) into 0
2.162 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2)
2.162 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
2.162 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.162 * [taylor]: Taking taylor expansion of x in x
2.162 * [backup-simplify]: Simplify 0 into 0
2.162 * [backup-simplify]: Simplify 1 into 1
2.162 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
2.163 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.163 * [backup-simplify]: Simplify (+ (* 2 x) (* 0 0)) into (* 2 x)
2.163 * [backup-simplify]: Simplify (+ 0 (* 2 x)) into (* 2 x)
2.163 * [backup-simplify]: Simplify (+ 0 (* 2 x)) into (* 2 x)
2.163 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.163 * [taylor]: Taking taylor expansion of 2 in x
2.163 * [backup-simplify]: Simplify 2 into 2
2.163 * [taylor]: Taking taylor expansion of x in x
2.163 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify 1 into 1
2.163 * [backup-simplify]: Simplify (* 2 0) into 0
2.164 * [backup-simplify]: Simplify 0 into 0
2.164 * [backup-simplify]: Simplify (* 1 1) into 1
2.164 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
2.164 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
2.165 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 x) (* 0 0))) into 0
2.165 * [backup-simplify]: Simplify (+ 0 0) into 0
2.165 * [backup-simplify]: Simplify (+ 1 0) into 1
2.166 * [taylor]: Taking taylor expansion of 1 in x
2.166 * [backup-simplify]: Simplify 1 into 1
2.166 * [backup-simplify]: Simplify 1 into 1
2.166 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.166 * [backup-simplify]: Simplify 2 into 2
2.166 * [backup-simplify]: Simplify (* 1 1) into 1
2.166 * [backup-simplify]: Simplify 1 into 1
2.167 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* 2 (* x y)) (* 1 (pow (* 1 y) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
2.167 * [backup-simplify]: Simplify (+ (* (+ (/ 1 y) (/ 1 x)) (/ 1 y)) (* (/ 1 x) (+ (/ 1 y) (/ 1 x)))) into (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))))
2.167 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in (y x) around 0
2.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in x
2.167 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.167 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.167 * [taylor]: Taking taylor expansion of y in x
2.167 * [backup-simplify]: Simplify y into y
2.167 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.167 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in x
2.167 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.167 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.167 * [taylor]: Taking taylor expansion of x in x
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 1 into 1
2.167 * [backup-simplify]: Simplify (* 1 1) into 1
2.168 * [backup-simplify]: Simplify (/ 1 1) into 1
2.168 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
2.168 * [taylor]: Taking taylor expansion of 2 in x
2.168 * [backup-simplify]: Simplify 2 into 2
2.168 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.168 * [taylor]: Taking taylor expansion of (* x y) in x
2.168 * [taylor]: Taking taylor expansion of x in x
2.168 * [backup-simplify]: Simplify 0 into 0
2.168 * [backup-simplify]: Simplify 1 into 1
2.168 * [taylor]: Taking taylor expansion of y in x
2.168 * [backup-simplify]: Simplify y into y
2.168 * [backup-simplify]: Simplify (* 0 y) into 0
2.168 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y
2.168 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.168 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.168 * [taylor]: Taking taylor expansion of y in y
2.168 * [backup-simplify]: Simplify 0 into 0
2.168 * [backup-simplify]: Simplify 1 into 1
2.168 * [backup-simplify]: Simplify (* 1 1) into 1
2.169 * [backup-simplify]: Simplify (/ 1 1) into 1
2.169 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y
2.169 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.169 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.169 * [taylor]: Taking taylor expansion of x in y
2.169 * [backup-simplify]: Simplify x into x
2.169 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.169 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.169 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
2.169 * [taylor]: Taking taylor expansion of 2 in y
2.169 * [backup-simplify]: Simplify 2 into 2
2.169 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.169 * [taylor]: Taking taylor expansion of (* x y) in y
2.169 * [taylor]: Taking taylor expansion of x in y
2.169 * [backup-simplify]: Simplify x into x
2.169 * [taylor]: Taking taylor expansion of y in y
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [backup-simplify]: Simplify (* x 0) into 0
2.169 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.170 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.170 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y
2.170 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.170 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.170 * [taylor]: Taking taylor expansion of y in y
2.170 * [backup-simplify]: Simplify 0 into 0
2.170 * [backup-simplify]: Simplify 1 into 1
2.170 * [backup-simplify]: Simplify (* 1 1) into 1
2.170 * [backup-simplify]: Simplify (/ 1 1) into 1
2.170 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y
2.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.170 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.170 * [taylor]: Taking taylor expansion of x in y
2.170 * [backup-simplify]: Simplify x into x
2.170 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.170 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.170 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
2.170 * [taylor]: Taking taylor expansion of 2 in y
2.170 * [backup-simplify]: Simplify 2 into 2
2.170 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.170 * [taylor]: Taking taylor expansion of (* x y) in y
2.170 * [taylor]: Taking taylor expansion of x in y
2.170 * [backup-simplify]: Simplify x into x
2.170 * [taylor]: Taking taylor expansion of y in y
2.171 * [backup-simplify]: Simplify 0 into 0
2.171 * [backup-simplify]: Simplify 1 into 1
2.171 * [backup-simplify]: Simplify (* x 0) into 0
2.171 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.171 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.171 * [backup-simplify]: Simplify (+ 1 0) into 1
2.171 * [taylor]: Taking taylor expansion of 1 in x
2.171 * [backup-simplify]: Simplify 1 into 1
2.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.172 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
2.172 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x))
2.172 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 x))) into (* 2 (/ 1 x))
2.172 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.172 * [taylor]: Taking taylor expansion of 2 in x
2.172 * [backup-simplify]: Simplify 2 into 2
2.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.172 * [taylor]: Taking taylor expansion of x in x
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 1 into 1
2.173 * [backup-simplify]: Simplify (/ 1 1) into 1
2.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.176 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
2.176 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.176 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
2.177 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2))
2.177 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
2.177 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.177 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.177 * [taylor]: Taking taylor expansion of x in x
2.177 * [backup-simplify]: Simplify 0 into 0
2.177 * [backup-simplify]: Simplify 1 into 1
2.177 * [backup-simplify]: Simplify (* 1 1) into 1
2.177 * [backup-simplify]: Simplify (/ 1 1) into 1
2.177 * [backup-simplify]: Simplify 1 into 1
2.178 * [backup-simplify]: Simplify (* 2 1) into 2
2.178 * [backup-simplify]: Simplify 2 into 2
2.178 * [backup-simplify]: Simplify 1 into 1
2.178 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (+ (* 2 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
2.178 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- y))) (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- x))))) into (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))))
2.178 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in (y x) around 0
2.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in x
2.178 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.178 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.178 * [taylor]: Taking taylor expansion of y in x
2.178 * [backup-simplify]: Simplify y into y
2.178 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.179 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
2.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in x
2.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.179 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.179 * [taylor]: Taking taylor expansion of x in x
2.179 * [backup-simplify]: Simplify 0 into 0
2.179 * [backup-simplify]: Simplify 1 into 1
2.179 * [backup-simplify]: Simplify (* 1 1) into 1
2.179 * [backup-simplify]: Simplify (/ 1 1) into 1
2.179 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
2.179 * [taylor]: Taking taylor expansion of 2 in x
2.179 * [backup-simplify]: Simplify 2 into 2
2.179 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.179 * [taylor]: Taking taylor expansion of (* x y) in x
2.179 * [taylor]: Taking taylor expansion of x in x
2.179 * [backup-simplify]: Simplify 0 into 0
2.179 * [backup-simplify]: Simplify 1 into 1
2.179 * [taylor]: Taking taylor expansion of y in x
2.179 * [backup-simplify]: Simplify y into y
2.179 * [backup-simplify]: Simplify (* 0 y) into 0
2.180 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.180 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y
2.180 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.180 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.180 * [taylor]: Taking taylor expansion of y in y
2.180 * [backup-simplify]: Simplify 0 into 0
2.180 * [backup-simplify]: Simplify 1 into 1
2.180 * [backup-simplify]: Simplify (* 1 1) into 1
2.180 * [backup-simplify]: Simplify (/ 1 1) into 1
2.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y
2.180 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.180 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.180 * [taylor]: Taking taylor expansion of x in y
2.180 * [backup-simplify]: Simplify x into x
2.180 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.181 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.181 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
2.181 * [taylor]: Taking taylor expansion of 2 in y
2.181 * [backup-simplify]: Simplify 2 into 2
2.181 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.181 * [taylor]: Taking taylor expansion of (* x y) in y
2.181 * [taylor]: Taking taylor expansion of x in y
2.181 * [backup-simplify]: Simplify x into x
2.181 * [taylor]: Taking taylor expansion of y in y
2.181 * [backup-simplify]: Simplify 0 into 0
2.181 * [backup-simplify]: Simplify 1 into 1
2.181 * [backup-simplify]: Simplify (* x 0) into 0
2.181 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.181 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y))))) in y
2.181 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.181 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.181 * [taylor]: Taking taylor expansion of y in y
2.181 * [backup-simplify]: Simplify 0 into 0
2.181 * [backup-simplify]: Simplify 1 into 1
2.181 * [backup-simplify]: Simplify (* 1 1) into 1
2.182 * [backup-simplify]: Simplify (/ 1 1) into 1
2.182 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 (* x y)))) in y
2.182 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.182 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.182 * [taylor]: Taking taylor expansion of x in y
2.182 * [backup-simplify]: Simplify x into x
2.182 * [backup-simplify]: Simplify (* x x) into (pow x 2)
2.182 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
2.182 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
2.182 * [taylor]: Taking taylor expansion of 2 in y
2.182 * [backup-simplify]: Simplify 2 into 2
2.182 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.182 * [taylor]: Taking taylor expansion of (* x y) in y
2.182 * [taylor]: Taking taylor expansion of x in y
2.182 * [backup-simplify]: Simplify x into x
2.182 * [taylor]: Taking taylor expansion of y in y
2.182 * [backup-simplify]: Simplify 0 into 0
2.182 * [backup-simplify]: Simplify 1 into 1
2.182 * [backup-simplify]: Simplify (* x 0) into 0
2.182 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.182 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.183 * [backup-simplify]: Simplify (+ 1 0) into 1
2.183 * [taylor]: Taking taylor expansion of 1 in x
2.183 * [backup-simplify]: Simplify 1 into 1
2.183 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.184 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
2.184 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x))
2.184 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 x))) into (* 2 (/ 1 x))
2.184 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.184 * [taylor]: Taking taylor expansion of 2 in x
2.184 * [backup-simplify]: Simplify 2 into 2
2.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.184 * [taylor]: Taking taylor expansion of x in x
2.184 * [backup-simplify]: Simplify 0 into 0
2.184 * [backup-simplify]: Simplify 1 into 1
2.184 * [backup-simplify]: Simplify (/ 1 1) into 1
2.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.185 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
2.186 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.186 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
2.186 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) 0) into (/ 1 (pow x 2))
2.186 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
2.186 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.186 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.186 * [taylor]: Taking taylor expansion of x in x
2.186 * [backup-simplify]: Simplify 0 into 0
2.186 * [backup-simplify]: Simplify 1 into 1
2.186 * [backup-simplify]: Simplify (* 1 1) into 1
2.187 * [backup-simplify]: Simplify (/ 1 1) into 1
2.187 * [backup-simplify]: Simplify 1 into 1
2.187 * [backup-simplify]: Simplify (* 2 1) into 2
2.187 * [backup-simplify]: Simplify 2 into 2
2.187 * [backup-simplify]: Simplify 1 into 1
2.187 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
2.188 * * * [progress]: simplifying candidates
2.188 * [simplify]: Simplifying:
  (expm1 (* x (+ y x)))
  (log1p (* x (+ y x)))
  (* x (+ y x))
  (+ (log x) (log (+ y x)))
  (log (* x (+ y x)))
  (exp (* x (+ y x)))
  (* (* (* x x) x) (* (* (+ y x) (+ y x)) (+ y x)))
  (* (cbrt (* x (+ y x))) (cbrt (* x (+ y x))))
  (cbrt (* x (+ y x)))
  (* (* (* x (+ y x)) (* x (+ y x))) (* x (+ y x)))
  (sqrt (* x (+ y x)))
  (sqrt (* x (+ y x)))
  (* (sqrt x) (sqrt (+ y x)))
  (* (sqrt x) (sqrt (+ y x)))
  (* x y)
  (* x x)
  (* y x)
  (* x x)
  (* x (* (cbrt (+ y x)) (cbrt (+ y x))))
  (* x (sqrt (+ y x)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ y x))
  (* (sqrt x) (+ y x))
  (* x (+ y x))
  (* x (+ (pow y 3) (pow x 3)))
  (* x (- (* y y) (* x x)))
  (expm1 (* (+ y x) y))
  (log1p (* (+ y x) y))
  (* (+ y x) y)
  (+ (log (+ y x)) (log y))
  (log (* (+ y x) y))
  (exp (* (+ y x) y))
  (* (* (* (+ y x) (+ y x)) (+ y x)) (* (* y y) y))
  (* (cbrt (* (+ y x) y)) (cbrt (* (+ y x) y)))
  (cbrt (* (+ y x) y))
  (* (* (* (+ y x) y) (* (+ y x) y)) (* (+ y x) y))
  (sqrt (* (+ y x) y))
  (sqrt (* (+ y x) y))
  (* (sqrt (+ y x)) (sqrt y))
  (* (sqrt (+ y x)) (sqrt y))
  (* (+ y x) (* (cbrt y) (cbrt y)))
  (* (+ y x) (sqrt y))
  (* (+ y x) 1)
  (* (cbrt (+ y x)) y)
  (* (sqrt (+ y x)) y)
  (* (+ y x) y)
  (* (+ y x) y)
  (* (+ (pow y 3) (pow x 3)) y)
  (* (- (* y y) (* x x)) y)
  (expm1 (+ (* (+ y x) y) (* x (+ y x))))
  (log1p (+ (* (+ y x) y) (* x (+ y x))))
  (* (exp (* (+ y x) y)) (exp (* x (+ y x))))
  (log (+ (* (+ y x) y) (* x (+ y x))))
  (exp (+ (* (+ y x) y) (* x (+ y x))))
  (* (cbrt (+ (* (+ y x) y) (* x (+ y x)))) (cbrt (+ (* (+ y x) y) (* x (+ y x)))))
  (cbrt (+ (* (+ y x) y) (* x (+ y x))))
  (* (* (+ (* (+ y x) y) (* x (+ y x))) (+ (* (+ y x) y) (* x (+ y x)))) (+ (* (+ y x) y) (* x (+ y x))))
  (sqrt (+ (* (+ y x) y) (* x (+ y x))))
  (sqrt (+ (* (+ y x) y) (* x (+ y x))))
  (+ (* (* (+ (pow y 3) (pow x 3)) y) (+ (* y y) (- (* x x) (* y x)))) (* (+ (* y y) (- (* x x) (* y x))) (* x (+ (pow y 3) (pow x 3)))))
  (* (+ (* y y) (- (* x x) (* y x))) (+ (* y y) (- (* x x) (* y x))))
  (+ (* (* (+ (pow y 3) (pow x 3)) y) (- y x)) (* (+ (* y y) (- (* x x) (* y x))) (* x (- (* y y) (* x x)))))
  (* (+ (* y y) (- (* x x) (* y x))) (- y x))
  (+ (* (* (- (* y y) (* x x)) y) (+ (* y y) (- (* x x) (* y x)))) (* (- y x) (* x (+ (pow y 3) (pow x 3)))))
  (* (- y x) (+ (* y y) (- (* x x) (* y x))))
  (+ (* (* (- (* y y) (* x x)) y) (- y x)) (* (- y x) (* x (- (* y y) (* x x)))))
  (* (- y x) (- y x))
  (+ (pow (* (+ y x) y) 3) (pow (* x (+ y x)) 3))
  (+ (* (* (+ y x) y) (* (+ y x) y)) (- (* (* x (+ y x)) (* x (+ y x))) (* (* (+ y x) y) (* x (+ y x)))))
  (- (* (* (+ y x) y) (* (+ y x) y)) (* (* x (+ y x)) (* x (+ y x))))
  (- (* (+ y x) y) (* x (+ y x)))
  (+ (* (+ y x) y) (* x y))
  (+ (* (+ y x) y) (* y x))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
2.190 * * [simplify]: iteration 0: 116 enodes
2.215 * * [simplify]: iteration 1: 371 enodes
2.664 * * [simplify]: iteration 2: 2424 enodes
4.932 * * [simplify]: iteration complete: 5001 enodes
4.932 * * [simplify]: Extracting #0: cost 60 inf + 0
4.936 * * [simplify]: Extracting #1: cost 640 inf + 1
4.947 * * [simplify]: Extracting #2: cost 1279 inf + 209
4.960 * * [simplify]: Extracting #3: cost 705 inf + 4266
4.972 * * [simplify]: Extracting #4: cost 127 inf + 9262
4.981 * * [simplify]: Extracting #5: cost 12 inf + 10241
4.988 * * [simplify]: Extracting #6: cost 0 inf + 10323
4.998 * [simplify]: Simplified to:
  (expm1 (* (+ x y) x))
  (log1p (* (+ x y) x))
  (* (+ x y) x)
  (log (* (+ x y) x))
  (log (* (+ x y) x))
  (pow (exp x) (+ x y))
  (pow (* (+ x y) x) 3)
  (* (cbrt (* (+ x y) x)) (cbrt (* (+ x y) x)))
  (cbrt (* (+ x y) x))
  (pow (* (+ x y) x) 3)
  (sqrt (* (+ x y) x))
  (sqrt (* (+ x y) x))
  (* (sqrt x) (sqrt (+ x y)))
  (* (sqrt x) (sqrt (+ x y)))
  (* x y)
  (pow x 2)
  (* x y)
  (pow x 2)
  (* (* x (cbrt (+ x y))) (cbrt (+ x y)))
  (* x (sqrt (+ x y)))
  x
  x
  (* (cbrt x) (+ x y))
  (* (sqrt x) (+ y x))
  (* (+ x y) x)
  (* x (+ (pow y 3) (pow x 3)))
  (* x (fma y y (- (pow x 2))))
  (expm1 (* (+ x y) y))
  (log1p (* (+ x y) y))
  (* (+ x y) y)
  (log (* (+ x y) y))
  (log (* (+ x y) y))
  (exp (* (+ x y) y))
  (pow (* (+ x y) y) 3)
  (* (cbrt (* (+ x y) y)) (cbrt (* (+ x y) y)))
  (cbrt (* (+ x y) y))
  (pow (* (+ x y) y) 3)
  (sqrt (* (+ x y) y))
  (sqrt (* (+ x y) y))
  (* (sqrt (+ x y)) (sqrt y))
  (* (sqrt (+ x y)) (sqrt y))
  (* (+ x y) (* (cbrt y) (cbrt y)))
  (* (sqrt y) (+ x y))
  (+ x y)
  (* (cbrt (+ x y)) y)
  (* y (sqrt (+ x y)))
  (* (+ x y) y)
  (* (+ x y) y)
  (* y (+ (pow y 3) (pow x 3)))
  (* (* y (+ x y)) (- y x))
  (expm1 (* (+ x y) (+ x y)))
  (log1p (* (+ x y) (+ x y)))
  (exp (* (+ x y) (+ x y)))
  (log (* (+ x y) (+ x y)))
  (exp (* (+ x y) (+ x y)))
  (* (cbrt (* (+ x y) (+ x y))) (cbrt (* (+ x y) (+ x y))))
  (cbrt (* (+ x y) (+ x y)))
  (pow (* (+ x y) (+ x y)) 3)
  (sqrt (* (+ x y) (+ x y)))
  (sqrt (* (+ x y) (+ x y)))
  (* (fma (- x y) x (* y y)) (fma y (+ (pow y 3) (pow x 3)) (* x (+ (pow y 3) (pow x 3)))))
  (* (fma (- x y) x (* y y)) (fma (- x y) x (* y y)))
  (fma (* y (+ (pow y 3) (pow x 3))) (- y x) (* x (* (fma y y (- (pow x 2))) (fma (- x y) x (* y y)))))
  (* (- y x) (fma (- x y) x (* y y)))
  (fma (+ (pow y 3) (pow x 3)) (* x (- y x)) (* (fma y (* x (- x y)) (pow y 3)) (fma y y (- (pow x 2)))))
  (* (- y x) (fma (- x y) x (* y y)))
  (* (- y x) (fma y (fma y y (- (pow x 2))) (* x (fma y y (- (pow x 2))))))
  (* (- y x) (- y x))
  (+ (pow (* (+ x y) y) 3) (pow (* (+ x y) x) 3))
  (fma (* (+ x y) y) (* (+ x y) y) (* (* (+ x y) x) (- (* (+ x y) x) (* (+ x y) y))))
  (* (* (+ x y) (+ x y)) (fma y (+ x y) (* x (- (+ y x)))))
  (fma y (+ x y) (* x (- (+ y x))))
  (* y (+ (+ x y) x))
  (* y (+ (+ x y) x))
  (* x (+ y x))
  (* x (+ y x))
  (* x (+ y x))
  (* y (+ x y))
  (* y (+ x y))
  (* y (+ x y))
  (fma (* 2 y) x (fma y y (pow x 2)))
  (fma (* 2 y) x (fma y y (pow x 2)))
  (fma (* 2 y) x (fma y y (pow x 2)))
4.998 * * * [progress]: adding candidates to table
5.318 * * [progress]: iteration 3 / 4
5.318 * * * [progress]: picking best candidate
5.335 * * * * [pick]: Picked  #<alt (λ (x y) (fma (+ y x) y (* x (+ y x))))>
5.335 * * * [progress]: localizing error
5.353 * * * [progress]: generating rewritten candidates
5.353 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
5.387 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.389 * * * [progress]: generating series expansions
5.389 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
5.389 * [backup-simplify]: Simplify (* x (+ y x)) into (* x (+ x y))
5.389 * [approximate]: Taking taylor expansion of (* x (+ x y)) in (x y) around 0
5.389 * [taylor]: Taking taylor expansion of (* x (+ x y)) in y
5.389 * [taylor]: Taking taylor expansion of x in y
5.389 * [backup-simplify]: Simplify x into x
5.389 * [taylor]: Taking taylor expansion of (+ x y) in y
5.389 * [taylor]: Taking taylor expansion of x in y
5.389 * [backup-simplify]: Simplify x into x
5.389 * [taylor]: Taking taylor expansion of y in y
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify 1 into 1
5.389 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x
5.389 * [taylor]: Taking taylor expansion of x in x
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify 1 into 1
5.389 * [taylor]: Taking taylor expansion of (+ x y) in x
5.389 * [taylor]: Taking taylor expansion of x in x
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify 1 into 1
5.389 * [taylor]: Taking taylor expansion of y in x
5.389 * [backup-simplify]: Simplify y into y
5.389 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x
5.389 * [taylor]: Taking taylor expansion of x in x
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify 1 into 1
5.390 * [taylor]: Taking taylor expansion of (+ x y) in x
5.390 * [taylor]: Taking taylor expansion of x in x
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 1 into 1
5.390 * [taylor]: Taking taylor expansion of y in x
5.390 * [backup-simplify]: Simplify y into y
5.390 * [backup-simplify]: Simplify (+ 0 y) into y
5.390 * [backup-simplify]: Simplify (* 0 y) into 0
5.390 * [taylor]: Taking taylor expansion of 0 in y
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify (+ 1 0) into 1
5.391 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 y)) into y
5.391 * [taylor]: Taking taylor expansion of y in y
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 1 into 1
5.391 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify (+ 0 0) into 0
5.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 y))) into 1
5.393 * [taylor]: Taking taylor expansion of 1 in y
5.393 * [backup-simplify]: Simplify 1 into 1
5.393 * [backup-simplify]: Simplify 1 into 1
5.393 * [backup-simplify]: Simplify 1 into 1
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify (+ 0 0) into 0
5.394 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 y)))) into 0
5.395 * [taylor]: Taking taylor expansion of 0 in y
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify (+ 0 0) into 0
5.397 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y))))) into 0
5.397 * [taylor]: Taking taylor expansion of 0 in y
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* x y))
5.397 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 x))) into (/ (+ (/ 1 x) (/ 1 y)) x)
5.397 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0
5.397 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
5.397 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.398 * [taylor]: Taking taylor expansion of x in y
5.398 * [backup-simplify]: Simplify x into x
5.398 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.398 * [taylor]: Taking taylor expansion of y in y
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 1 into 1
5.398 * [backup-simplify]: Simplify (/ 1 1) into 1
5.398 * [taylor]: Taking taylor expansion of x in y
5.398 * [backup-simplify]: Simplify x into x
5.399 * [backup-simplify]: Simplify (+ 0 1) into 1
5.399 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.399 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
5.399 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.399 * [taylor]: Taking taylor expansion of x in x
5.399 * [backup-simplify]: Simplify 0 into 0
5.399 * [backup-simplify]: Simplify 1 into 1
5.399 * [backup-simplify]: Simplify (/ 1 1) into 1
5.399 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.399 * [taylor]: Taking taylor expansion of y in x
5.399 * [backup-simplify]: Simplify y into y
5.399 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.399 * [taylor]: Taking taylor expansion of x in x
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 1 into 1
5.400 * [backup-simplify]: Simplify (+ 1 0) into 1
5.400 * [backup-simplify]: Simplify (/ 1 1) into 1
5.400 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
5.400 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.400 * [taylor]: Taking taylor expansion of x in x
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 1 into 1
5.401 * [backup-simplify]: Simplify (/ 1 1) into 1
5.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.401 * [taylor]: Taking taylor expansion of y in x
5.401 * [backup-simplify]: Simplify y into y
5.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.401 * [taylor]: Taking taylor expansion of x in x
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 1 into 1
5.402 * [backup-simplify]: Simplify (+ 1 0) into 1
5.402 * [backup-simplify]: Simplify (/ 1 1) into 1
5.402 * [taylor]: Taking taylor expansion of 1 in y
5.402 * [backup-simplify]: Simplify 1 into 1
5.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.403 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.404 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
5.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.404 * [taylor]: Taking taylor expansion of y in y
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify 1 into 1
5.404 * [backup-simplify]: Simplify (/ 1 1) into 1
5.404 * [backup-simplify]: Simplify 1 into 1
5.404 * [backup-simplify]: Simplify 1 into 1
5.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.406 * [backup-simplify]: Simplify (+ 0 0) into 0
5.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
5.407 * [taylor]: Taking taylor expansion of 0 in y
5.407 * [backup-simplify]: Simplify 0 into 0
5.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.408 * [backup-simplify]: Simplify 0 into 0
5.408 * [backup-simplify]: Simplify 0 into 0
5.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.410 * [backup-simplify]: Simplify (+ 0 0) into 0
5.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.411 * [taylor]: Taking taylor expansion of 0 in y
5.411 * [backup-simplify]: Simplify 0 into 0
5.411 * [backup-simplify]: Simplify 0 into 0
5.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.412 * [backup-simplify]: Simplify 0 into 0
5.412 * [backup-simplify]: Simplify 0 into 0
5.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.414 * [backup-simplify]: Simplify (+ 0 0) into 0
5.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.416 * [taylor]: Taking taylor expansion of 0 in y
5.416 * [backup-simplify]: Simplify 0 into 0
5.416 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (pow x 2) (* x y))
5.417 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- x)))) into (/ (+ (/ 1 x) (/ 1 y)) x)
5.417 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0
5.417 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
5.417 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.417 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.417 * [taylor]: Taking taylor expansion of x in y
5.417 * [backup-simplify]: Simplify x into x
5.417 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.417 * [taylor]: Taking taylor expansion of y in y
5.417 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify 1 into 1
5.418 * [backup-simplify]: Simplify (/ 1 1) into 1
5.418 * [taylor]: Taking taylor expansion of x in y
5.418 * [backup-simplify]: Simplify x into x
5.418 * [backup-simplify]: Simplify (+ 0 1) into 1
5.418 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.418 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
5.418 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.419 * [taylor]: Taking taylor expansion of x in x
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 1 into 1
5.419 * [backup-simplify]: Simplify (/ 1 1) into 1
5.419 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.419 * [taylor]: Taking taylor expansion of y in x
5.419 * [backup-simplify]: Simplify y into y
5.419 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.419 * [taylor]: Taking taylor expansion of x in x
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify 1 into 1
5.420 * [backup-simplify]: Simplify (+ 1 0) into 1
5.420 * [backup-simplify]: Simplify (/ 1 1) into 1
5.420 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
5.420 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.420 * [taylor]: Taking taylor expansion of x in x
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify 1 into 1
5.420 * [backup-simplify]: Simplify (/ 1 1) into 1
5.420 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.420 * [taylor]: Taking taylor expansion of y in x
5.420 * [backup-simplify]: Simplify y into y
5.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.421 * [taylor]: Taking taylor expansion of x in x
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify 1 into 1
5.421 * [backup-simplify]: Simplify (+ 1 0) into 1
5.421 * [backup-simplify]: Simplify (/ 1 1) into 1
5.421 * [taylor]: Taking taylor expansion of 1 in y
5.422 * [backup-simplify]: Simplify 1 into 1
5.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.422 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.423 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
5.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.423 * [taylor]: Taking taylor expansion of y in y
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 1 into 1
5.423 * [backup-simplify]: Simplify (/ 1 1) into 1
5.424 * [backup-simplify]: Simplify 1 into 1
5.424 * [backup-simplify]: Simplify 1 into 1
5.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.425 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.425 * [backup-simplify]: Simplify (+ 0 0) into 0
5.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
5.426 * [taylor]: Taking taylor expansion of 0 in y
5.426 * [backup-simplify]: Simplify 0 into 0
5.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.427 * [backup-simplify]: Simplify 0 into 0
5.427 * [backup-simplify]: Simplify 0 into 0
5.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.428 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.428 * [backup-simplify]: Simplify (+ 0 0) into 0
5.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.430 * [taylor]: Taking taylor expansion of 0 in y
5.430 * [backup-simplify]: Simplify 0 into 0
5.430 * [backup-simplify]: Simplify 0 into 0
5.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.431 * [backup-simplify]: Simplify 0 into 0
5.431 * [backup-simplify]: Simplify 0 into 0
5.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.433 * [backup-simplify]: Simplify (+ 0 0) into 0
5.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.435 * [taylor]: Taking taylor expansion of 0 in y
5.435 * [backup-simplify]: Simplify 0 into 0
5.435 * [backup-simplify]: Simplify 0 into 0
5.436 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (pow x 2) (* x y))
5.436 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.436 * [backup-simplify]: Simplify (fma (+ y x) y (* x (+ y x))) into (fma (+ x y) y (* x (+ x y)))
5.436 * [approximate]: Taking taylor expansion of (fma (+ x y) y (* x (+ x y))) in (y x) around 0
5.436 * [taylor]: Taking taylor expansion of (fma (+ x y) y (* x (+ x y))) in x
5.436 * [taylor]: Rewrote expression to (+ (* (+ x y) y) (* x (+ x y)))
5.436 * [taylor]: Taking taylor expansion of (* (+ x y) y) in x
5.436 * [taylor]: Taking taylor expansion of (+ x y) in x
5.436 * [taylor]: Taking taylor expansion of x in x
5.436 * [backup-simplify]: Simplify 0 into 0
5.436 * [backup-simplify]: Simplify 1 into 1
5.436 * [taylor]: Taking taylor expansion of y in x
5.436 * [backup-simplify]: Simplify y into y
5.436 * [taylor]: Taking taylor expansion of y in x
5.436 * [backup-simplify]: Simplify y into y
5.436 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x
5.436 * [taylor]: Taking taylor expansion of x in x
5.436 * [backup-simplify]: Simplify 0 into 0
5.436 * [backup-simplify]: Simplify 1 into 1
5.436 * [taylor]: Taking taylor expansion of (+ x y) in x
5.436 * [taylor]: Taking taylor expansion of x in x
5.436 * [backup-simplify]: Simplify 0 into 0
5.436 * [backup-simplify]: Simplify 1 into 1
5.436 * [taylor]: Taking taylor expansion of y in x
5.437 * [backup-simplify]: Simplify y into y
5.437 * [taylor]: Taking taylor expansion of (fma (+ x y) y (* x (+ x y))) in y
5.437 * [taylor]: Rewrote expression to (+ (* (+ x y) y) (* x (+ x y)))
5.437 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y
5.437 * [taylor]: Taking taylor expansion of (+ x y) in y
5.437 * [taylor]: Taking taylor expansion of x in y
5.437 * [backup-simplify]: Simplify x into x
5.437 * [taylor]: Taking taylor expansion of y in y
5.437 * [backup-simplify]: Simplify 0 into 0
5.437 * [backup-simplify]: Simplify 1 into 1
5.437 * [taylor]: Taking taylor expansion of y in y
5.437 * [backup-simplify]: Simplify 0 into 0
5.437 * [backup-simplify]: Simplify 1 into 1
5.437 * [taylor]: Taking taylor expansion of (* x (+ x y)) in y
5.437 * [taylor]: Taking taylor expansion of x in y
5.437 * [backup-simplify]: Simplify x into x
5.437 * [taylor]: Taking taylor expansion of (+ x y) in y
5.437 * [taylor]: Taking taylor expansion of x in y
5.437 * [backup-simplify]: Simplify x into x
5.437 * [taylor]: Taking taylor expansion of y in y
5.437 * [backup-simplify]: Simplify 0 into 0
5.437 * [backup-simplify]: Simplify 1 into 1
5.437 * [taylor]: Taking taylor expansion of (fma (+ x y) y (* x (+ x y))) in y
5.437 * [taylor]: Rewrote expression to (+ (* (+ x y) y) (* x (+ x y)))
5.437 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y
5.437 * [taylor]: Taking taylor expansion of (+ x y) in y
5.437 * [taylor]: Taking taylor expansion of x in y
5.437 * [backup-simplify]: Simplify x into x
5.437 * [taylor]: Taking taylor expansion of y in y
5.437 * [backup-simplify]: Simplify 0 into 0
5.437 * [backup-simplify]: Simplify 1 into 1
5.437 * [taylor]: Taking taylor expansion of y in y
5.437 * [backup-simplify]: Simplify 0 into 0
5.437 * [backup-simplify]: Simplify 1 into 1
5.437 * [taylor]: Taking taylor expansion of (* x (+ x y)) in y
5.438 * [taylor]: Taking taylor expansion of x in y
5.438 * [backup-simplify]: Simplify x into x
5.438 * [taylor]: Taking taylor expansion of (+ x y) in y
5.438 * [taylor]: Taking taylor expansion of x in y
5.438 * [backup-simplify]: Simplify x into x
5.438 * [taylor]: Taking taylor expansion of y in y
5.438 * [backup-simplify]: Simplify 0 into 0
5.438 * [backup-simplify]: Simplify 1 into 1
5.438 * [backup-simplify]: Simplify (+ x 0) into x
5.438 * [backup-simplify]: Simplify (* x 0) into 0
5.438 * [backup-simplify]: Simplify (+ x 0) into x
5.438 * [backup-simplify]: Simplify (* x x) into (pow x 2)
5.438 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
5.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.438 * [taylor]: Taking taylor expansion of x in x
5.438 * [backup-simplify]: Simplify 0 into 0
5.438 * [backup-simplify]: Simplify 1 into 1
5.439 * [backup-simplify]: Simplify (+ 0 1) into 1
5.439 * [backup-simplify]: Simplify (+ (* x 1) (* 1 0)) into x
5.440 * [backup-simplify]: Simplify (+ 0 1) into 1
5.440 * [backup-simplify]: Simplify (+ (* x 1) (* 0 x)) into x
5.440 * [backup-simplify]: Simplify (+ x x) into (* 2 x)
5.440 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.440 * [taylor]: Taking taylor expansion of 2 in x
5.440 * [backup-simplify]: Simplify 2 into 2
5.440 * [taylor]: Taking taylor expansion of x in x
5.440 * [backup-simplify]: Simplify 0 into 0
5.440 * [backup-simplify]: Simplify 1 into 1
5.440 * [backup-simplify]: Simplify (* 2 0) into 0
5.440 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify (+ 0 0) into 0
5.441 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 1 1) (* 0 0))) into 1
5.442 * [backup-simplify]: Simplify (+ 0 0) into 0
5.442 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 x))) into 0
5.443 * [backup-simplify]: Simplify (+ 1 0) into 1
5.443 * [taylor]: Taking taylor expansion of 1 in x
5.443 * [backup-simplify]: Simplify 1 into 1
5.443 * [backup-simplify]: Simplify 1 into 1
5.444 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
5.444 * [backup-simplify]: Simplify 2 into 2
5.444 * [backup-simplify]: Simplify (* 1 1) into 1
5.444 * [backup-simplify]: Simplify 1 into 1
5.445 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* 2 (* x y)) (* 1 (pow (* 1 y) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
5.445 * [backup-simplify]: Simplify (fma (+ (/ 1 y) (/ 1 x)) (/ 1 y) (* (/ 1 x) (+ (/ 1 y) (/ 1 x)))) into (fma (+ (/ 1 x) (/ 1 y)) (/ 1 y) (/ (+ (/ 1 x) (/ 1 y)) x))
5.445 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 x) (/ 1 y)) (/ 1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in (y x) around 0
5.445 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) (/ 1 y)) (/ 1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in x
5.445 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) (/ 1 y)) (/ 1 y)) (/ (+ (/ 1 x) (/ 1 y)) x))
5.445 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (/ 1 y)) in x
5.445 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.445 * [taylor]: Taking taylor expansion of x in x
5.445 * [backup-simplify]: Simplify 0 into 0
5.445 * [backup-simplify]: Simplify 1 into 1
5.446 * [backup-simplify]: Simplify (/ 1 1) into 1
5.446 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.446 * [taylor]: Taking taylor expansion of y in x
5.446 * [backup-simplify]: Simplify y into y
5.446 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.446 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.446 * [taylor]: Taking taylor expansion of y in x
5.446 * [backup-simplify]: Simplify y into y
5.446 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.446 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
5.446 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.446 * [taylor]: Taking taylor expansion of x in x
5.446 * [backup-simplify]: Simplify 0 into 0
5.446 * [backup-simplify]: Simplify 1 into 1
5.446 * [backup-simplify]: Simplify (/ 1 1) into 1
5.446 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.446 * [taylor]: Taking taylor expansion of y in x
5.446 * [backup-simplify]: Simplify y into y
5.447 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.447 * [taylor]: Taking taylor expansion of x in x
5.447 * [backup-simplify]: Simplify 0 into 0
5.447 * [backup-simplify]: Simplify 1 into 1
5.447 * [backup-simplify]: Simplify (+ 1 0) into 1
5.447 * [backup-simplify]: Simplify (/ 1 1) into 1
5.447 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) (/ 1 y)) (/ 1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in y
5.448 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) (/ 1 y)) (/ 1 y)) (/ (+ (/ 1 x) (/ 1 y)) x))
5.448 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (/ 1 y)) in y
5.448 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.448 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.448 * [taylor]: Taking taylor expansion of x in y
5.448 * [backup-simplify]: Simplify x into x
5.448 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.448 * [taylor]: Taking taylor expansion of y in y
5.448 * [backup-simplify]: Simplify 0 into 0
5.448 * [backup-simplify]: Simplify 1 into 1
5.448 * [backup-simplify]: Simplify (/ 1 1) into 1
5.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.448 * [taylor]: Taking taylor expansion of y in y
5.448 * [backup-simplify]: Simplify 0 into 0
5.448 * [backup-simplify]: Simplify 1 into 1
5.449 * [backup-simplify]: Simplify (/ 1 1) into 1
5.449 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
5.449 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.449 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.449 * [taylor]: Taking taylor expansion of x in y
5.449 * [backup-simplify]: Simplify x into x
5.449 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.449 * [taylor]: Taking taylor expansion of y in y
5.449 * [backup-simplify]: Simplify 0 into 0
5.449 * [backup-simplify]: Simplify 1 into 1
5.449 * [backup-simplify]: Simplify (/ 1 1) into 1
5.449 * [taylor]: Taking taylor expansion of x in y
5.449 * [backup-simplify]: Simplify x into x
5.450 * [backup-simplify]: Simplify (+ 0 1) into 1
5.450 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.450 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) (/ 1 y)) (/ 1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in y
5.450 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) (/ 1 y)) (/ 1 y)) (/ (+ (/ 1 x) (/ 1 y)) x))
5.450 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (/ 1 y)) in y
5.450 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.450 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.450 * [taylor]: Taking taylor expansion of x in y
5.450 * [backup-simplify]: Simplify x into x
5.450 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.451 * [taylor]: Taking taylor expansion of y in y
5.451 * [backup-simplify]: Simplify 0 into 0
5.451 * [backup-simplify]: Simplify 1 into 1
5.451 * [backup-simplify]: Simplify (/ 1 1) into 1
5.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.451 * [taylor]: Taking taylor expansion of y in y
5.451 * [backup-simplify]: Simplify 0 into 0
5.451 * [backup-simplify]: Simplify 1 into 1
5.451 * [backup-simplify]: Simplify (/ 1 1) into 1
5.451 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
5.451 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.451 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.451 * [taylor]: Taking taylor expansion of x in y
5.452 * [backup-simplify]: Simplify x into x
5.452 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.452 * [taylor]: Taking taylor expansion of y in y
5.452 * [backup-simplify]: Simplify 0 into 0
5.452 * [backup-simplify]: Simplify 1 into 1
5.452 * [backup-simplify]: Simplify (/ 1 1) into 1
5.452 * [taylor]: Taking taylor expansion of x in y
5.452 * [backup-simplify]: Simplify x into x
5.452 * [backup-simplify]: Simplify (+ 0 1) into 1
5.453 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.453 * [backup-simplify]: Simplify (+ 0 1) into 1
5.453 * [backup-simplify]: Simplify (* 1 1) into 1
5.454 * [backup-simplify]: Simplify (+ 1 0) into 1
5.454 * [taylor]: Taking taylor expansion of 1 in x
5.454 * [backup-simplify]: Simplify 1 into 1
5.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.455 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
5.456 * [backup-simplify]: Simplify (+ (* 1 0) (* (/ 1 x) 1)) into (/ 1 x)
5.456 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x))
5.456 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.456 * [taylor]: Taking taylor expansion of 2 in x
5.456 * [backup-simplify]: Simplify 2 into 2
5.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.456 * [taylor]: Taking taylor expansion of x in x
5.456 * [backup-simplify]: Simplify 0 into 0
5.456 * [backup-simplify]: Simplify 1 into 1
5.456 * [backup-simplify]: Simplify (/ 1 1) into 1
5.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.459 * [backup-simplify]: Simplify (+ 0 0) into 0
5.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 x) 0) (* 0 1))) into 0
5.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.461 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
5.461 * [backup-simplify]: Simplify (- (/ (/ 1 x) x) (+ (* (/ 1 x) (/ 0 x)))) into (/ 1 (pow x 2))
5.461 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
5.461 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.461 * [taylor]: Taking taylor expansion of x in x
5.461 * [backup-simplify]: Simplify 0 into 0
5.461 * [backup-simplify]: Simplify 1 into 1
5.461 * [backup-simplify]: Simplify (* 1 1) into 1
5.462 * [backup-simplify]: Simplify (/ 1 1) into 1
5.462 * [backup-simplify]: Simplify 1 into 1
5.462 * [backup-simplify]: Simplify (* 2 1) into 2
5.462 * [backup-simplify]: Simplify 2 into 2
5.462 * [backup-simplify]: Simplify 1 into 1
5.463 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (+ (* 2 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
5.463 * [backup-simplify]: Simplify (fma (+ (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- y)) (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- x))))) into (fma (- (+ (/ 1 x) (/ 1 y))) (/ -1 y) (/ (+ (/ 1 x) (/ 1 y)) x))
5.463 * [approximate]: Taking taylor expansion of (fma (- (+ (/ 1 x) (/ 1 y))) (/ -1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in (y x) around 0
5.463 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 x) (/ 1 y))) (/ -1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in x
5.464 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 x) (/ 1 y))) (/ -1 y)) (/ (+ (/ 1 x) (/ 1 y)) x))
5.464 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x) (/ 1 y))) (/ -1 y)) in x
5.464 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
5.464 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.464 * [taylor]: Taking taylor expansion of x in x
5.464 * [backup-simplify]: Simplify 0 into 0
5.464 * [backup-simplify]: Simplify 1 into 1
5.464 * [backup-simplify]: Simplify (/ 1 1) into 1
5.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.464 * [taylor]: Taking taylor expansion of y in x
5.464 * [backup-simplify]: Simplify y into y
5.464 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.464 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.464 * [taylor]: Taking taylor expansion of -1 in x
5.464 * [backup-simplify]: Simplify -1 into -1
5.464 * [taylor]: Taking taylor expansion of y in x
5.464 * [backup-simplify]: Simplify y into y
5.465 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.465 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
5.465 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.465 * [taylor]: Taking taylor expansion of x in x
5.465 * [backup-simplify]: Simplify 0 into 0
5.465 * [backup-simplify]: Simplify 1 into 1
5.465 * [backup-simplify]: Simplify (/ 1 1) into 1
5.465 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.465 * [taylor]: Taking taylor expansion of y in x
5.465 * [backup-simplify]: Simplify y into y
5.465 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.465 * [taylor]: Taking taylor expansion of x in x
5.465 * [backup-simplify]: Simplify 0 into 0
5.465 * [backup-simplify]: Simplify 1 into 1
5.465 * [backup-simplify]: Simplify (+ 1 0) into 1
5.466 * [backup-simplify]: Simplify (/ 1 1) into 1
5.466 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 x) (/ 1 y))) (/ -1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in y
5.466 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 x) (/ 1 y))) (/ -1 y)) (/ (+ (/ 1 x) (/ 1 y)) x))
5.466 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x) (/ 1 y))) (/ -1 y)) in y
5.466 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in y
5.466 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.466 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.466 * [taylor]: Taking taylor expansion of x in y
5.466 * [backup-simplify]: Simplify x into x
5.466 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.466 * [taylor]: Taking taylor expansion of y in y
5.466 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify 1 into 1
5.466 * [backup-simplify]: Simplify (/ 1 1) into 1
5.466 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.466 * [taylor]: Taking taylor expansion of -1 in y
5.466 * [backup-simplify]: Simplify -1 into -1
5.466 * [taylor]: Taking taylor expansion of y in y
5.466 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify 1 into 1
5.467 * [backup-simplify]: Simplify (/ -1 1) into -1
5.467 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
5.467 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.467 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.467 * [taylor]: Taking taylor expansion of x in y
5.467 * [backup-simplify]: Simplify x into x
5.467 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.467 * [taylor]: Taking taylor expansion of y in y
5.467 * [backup-simplify]: Simplify 0 into 0
5.467 * [backup-simplify]: Simplify 1 into 1
5.467 * [backup-simplify]: Simplify (/ 1 1) into 1
5.467 * [taylor]: Taking taylor expansion of x in y
5.467 * [backup-simplify]: Simplify x into x
5.467 * [backup-simplify]: Simplify (+ 0 1) into 1
5.467 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.467 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 x) (/ 1 y))) (/ -1 y) (/ (+ (/ 1 x) (/ 1 y)) x)) in y
5.468 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 x) (/ 1 y))) (/ -1 y)) (/ (+ (/ 1 x) (/ 1 y)) x))
5.468 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x) (/ 1 y))) (/ -1 y)) in y
5.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in y
5.468 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.468 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.468 * [taylor]: Taking taylor expansion of x in y
5.468 * [backup-simplify]: Simplify x into x
5.468 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.468 * [taylor]: Taking taylor expansion of y in y
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify 1 into 1
5.468 * [backup-simplify]: Simplify (/ 1 1) into 1
5.468 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.468 * [taylor]: Taking taylor expansion of -1 in y
5.468 * [backup-simplify]: Simplify -1 into -1
5.468 * [taylor]: Taking taylor expansion of y in y
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify 1 into 1
5.468 * [backup-simplify]: Simplify (/ -1 1) into -1
5.468 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
5.468 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.468 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.468 * [taylor]: Taking taylor expansion of x in y
5.468 * [backup-simplify]: Simplify x into x
5.468 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.468 * [taylor]: Taking taylor expansion of y in y
5.468 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify 1 into 1
5.469 * [backup-simplify]: Simplify (/ 1 1) into 1
5.469 * [taylor]: Taking taylor expansion of x in y
5.469 * [backup-simplify]: Simplify x into x
5.469 * [backup-simplify]: Simplify (+ 0 1) into 1
5.469 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.469 * [backup-simplify]: Simplify (+ 0 1) into 1
5.470 * [backup-simplify]: Simplify (- 1) into -1
5.470 * [backup-simplify]: Simplify (* -1 -1) into 1
5.470 * [backup-simplify]: Simplify (+ 1 0) into 1
5.470 * [taylor]: Taking taylor expansion of 1 in x
5.470 * [backup-simplify]: Simplify 1 into 1
5.470 * [backup-simplify]: Simplify (- 1) into -1
5.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.472 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
5.472 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.472 * [backup-simplify]: Simplify (+ (* -1 0) (* (- (/ 1 x)) -1)) into (/ 1 x)
5.472 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x))
5.472 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.472 * [taylor]: Taking taylor expansion of 2 in x
5.472 * [backup-simplify]: Simplify 2 into 2
5.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.472 * [taylor]: Taking taylor expansion of x in x
5.472 * [backup-simplify]: Simplify 0 into 0
5.472 * [backup-simplify]: Simplify 1 into 1
5.472 * [backup-simplify]: Simplify (/ 1 1) into 1
5.473 * [backup-simplify]: Simplify (- 1) into -1
5.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.473 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.474 * [backup-simplify]: Simplify (+ 0 0) into 0
5.474 * [backup-simplify]: Simplify (- 0) into 0
5.475 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (/ 1 x)) 0) (* 0 -1))) into 0
5.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.475 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
5.475 * [backup-simplify]: Simplify (- (/ (/ 1 x) x) (+ (* (/ 1 x) (/ 0 x)))) into (/ 1 (pow x 2))
5.476 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
5.476 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.476 * [taylor]: Taking taylor expansion of x in x
5.476 * [backup-simplify]: Simplify 0 into 0
5.476 * [backup-simplify]: Simplify 1 into 1
5.476 * [backup-simplify]: Simplify (* 1 1) into 1
5.479 * [backup-simplify]: Simplify (/ 1 1) into 1
5.479 * [backup-simplify]: Simplify 1 into 1
5.479 * [backup-simplify]: Simplify (* 2 1) into 2
5.479 * [backup-simplify]: Simplify 2 into 2
5.479 * [backup-simplify]: Simplify 1 into 1
5.480 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
5.480 * * * [progress]: simplifying candidates
5.481 * [simplify]: Simplifying:
  (expm1 (* x (+ y x)))
  (log1p (* x (+ y x)))
  (* x (+ y x))
  (+ (log x) (log (+ y x)))
  (log (* x (+ y x)))
  (exp (* x (+ y x)))
  (* (* (* x x) x) (* (* (+ y x) (+ y x)) (+ y x)))
  (* (cbrt (* x (+ y x))) (cbrt (* x (+ y x))))
  (cbrt (* x (+ y x)))
  (* (* (* x (+ y x)) (* x (+ y x))) (* x (+ y x)))
  (sqrt (* x (+ y x)))
  (sqrt (* x (+ y x)))
  (* (sqrt x) (sqrt (+ y x)))
  (* (sqrt x) (sqrt (+ y x)))
  (* x y)
  (* x x)
  (* y x)
  (* x x)
  (* x (* (cbrt (+ y x)) (cbrt (+ y x))))
  (* x (sqrt (+ y x)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ y x))
  (* (sqrt x) (+ y x))
  (* x (+ y x))
  (* x (+ (pow y 3) (pow x 3)))
  (* x (- (* y y) (* x x)))
  (expm1 (fma (+ y x) y (* x (+ y x))))
  (log1p (fma (+ y x) y (* x (+ y x))))
  (* (+ y x) y)
  (log (fma (+ y x) y (* x (+ y x))))
  (exp (fma (+ y x) y (* x (+ y x))))
  (* (cbrt (fma (+ y x) y (* x (+ y x)))) (cbrt (fma (+ y x) y (* x (+ y x)))))
  (cbrt (fma (+ y x) y (* x (+ y x))))
  (* (* (fma (+ y x) y (* x (+ y x))) (fma (+ y x) y (* x (+ y x)))) (fma (+ y x) y (* x (+ y x))))
  (sqrt (fma (+ y x) y (* x (+ y x))))
  (sqrt (fma (+ y x) y (* x (+ y x))))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
5.481 * * [simplify]: iteration 0: 61 enodes
5.495 * * [simplify]: iteration 1: 168 enodes
5.665 * * [simplify]: iteration 2: 917 enodes
6.046 * * [simplify]: iteration complete: 5002 enodes
6.046 * * [simplify]: Extracting #0: cost 32 inf + 0
6.048 * * [simplify]: Extracting #1: cost 737 inf + 4
6.052 * * [simplify]: Extracting #2: cost 1807 inf + 375
6.059 * * [simplify]: Extracting #3: cost 2165 inf + 2893
6.069 * * [simplify]: Extracting #4: cost 493 inf + 18096
6.077 * * [simplify]: Extracting #5: cost 10 inf + 22984
6.086 * * [simplify]: Extracting #6: cost 0 inf + 22990
6.104 * [simplify]: Simplified to:
  (expm1 (* x (+ y x)))
  (log1p (* x (+ y x)))
  (* x (+ y x))
  (log (* x (+ y x)))
  (log (* x (+ y x)))
  (pow (exp x) (+ y x))
  (* (pow (+ y x) 3) (pow x 3))
  (* (cbrt (* x (+ y x))) (cbrt (* x (+ y x))))
  (cbrt (* x (+ y x)))
  (pow (* x (+ y x)) 3)
  (sqrt (* x (+ y x)))
  (sqrt (* x (+ y x)))
  (* (sqrt x) (sqrt (+ y x)))
  (* (sqrt x) (sqrt (+ y x)))
  (* y x)
  (* x x)
  (* x y)
  (* x x)
  (* (* x (cbrt (+ y x))) (cbrt (+ y x)))
  (* x (sqrt (+ y x)))
  x
  x
  (* (cbrt x) (+ y x))
  (* (sqrt x) (+ y x))
  (* x (+ y x))
  (* (+ (pow y 3) (pow x 3)) x)
  (* x (fma y y (- (* x x))))
  (expm1 (* (+ y x) (+ y x)))
  (log1p (* (+ y x) (+ y x)))
  (* y (+ y x))
  (log (* (+ y x) (+ y x)))
  (pow (exp (+ y x)) (+ y x))
  (* (cbrt (* (+ y x) (+ y x))) (cbrt (* (+ y x) (+ y x))))
  (cbrt (* (+ y x) (+ y x)))
  (pow (* (+ y x) (+ y x)) 3)
  (sqrt (* (+ y x) (+ y x)))
  (sqrt (* (+ y x) (+ y x)))
  (* x (+ y x))
  (* x (+ y x))
  (* x (+ y x))
  (fma 2 (* x y) (fma y y (* x x)))
  (fma 2 (* x y) (fma y y (* x x)))
  (fma 2 (* x y) (fma y y (* x x)))
6.104 * * * [progress]: adding candidates to table
6.284 * * [progress]: iteration 4 / 4
6.284 * * * [progress]: picking best candidate
6.294 * * * * [pick]: Picked  #<alt (λ (x y) (fma 2 (* x y) (fma y y (* x x))))>
6.294 * * * [progress]: localizing error
6.303 * * * [progress]: generating rewritten candidates
6.303 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.304 * * * [progress]: generating series expansions
6.304 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.304 * [backup-simplify]: Simplify (fma 2 (* x y) (fma y y (* x x))) into (fma 2 (* x y) (fma y y (pow x 2)))
6.304 * [approximate]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in (x y) around 0
6.304 * [taylor]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in y
6.304 * [taylor]: Rewrote expression to (+ (* 2 (* x y)) (fma y y (pow x 2)))
6.304 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
6.304 * [taylor]: Taking taylor expansion of 2 in y
6.304 * [backup-simplify]: Simplify 2 into 2
6.304 * [taylor]: Taking taylor expansion of (* x y) in y
6.304 * [taylor]: Taking taylor expansion of x in y
6.304 * [backup-simplify]: Simplify x into x
6.304 * [taylor]: Taking taylor expansion of y in y
6.304 * [backup-simplify]: Simplify 0 into 0
6.304 * [backup-simplify]: Simplify 1 into 1
6.304 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in y
6.304 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2))
6.304 * [taylor]: Taking taylor expansion of (* y y) in y
6.304 * [taylor]: Taking taylor expansion of y in y
6.304 * [backup-simplify]: Simplify 0 into 0
6.304 * [backup-simplify]: Simplify 1 into 1
6.304 * [taylor]: Taking taylor expansion of y in y
6.304 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify 1 into 1
6.305 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.305 * [taylor]: Taking taylor expansion of x in y
6.305 * [backup-simplify]: Simplify x into x
6.305 * [taylor]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in x
6.305 * [taylor]: Rewrote expression to (+ (* 2 (* x y)) (fma y y (pow x 2)))
6.305 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
6.305 * [taylor]: Taking taylor expansion of 2 in x
6.305 * [backup-simplify]: Simplify 2 into 2
6.305 * [taylor]: Taking taylor expansion of (* x y) in x
6.305 * [taylor]: Taking taylor expansion of x in x
6.305 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify 1 into 1
6.305 * [taylor]: Taking taylor expansion of y in x
6.305 * [backup-simplify]: Simplify y into y
6.305 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in x
6.305 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2))
6.305 * [taylor]: Taking taylor expansion of (* y y) in x
6.305 * [taylor]: Taking taylor expansion of y in x
6.305 * [backup-simplify]: Simplify y into y
6.305 * [taylor]: Taking taylor expansion of y in x
6.305 * [backup-simplify]: Simplify y into y
6.305 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.305 * [taylor]: Taking taylor expansion of x in x
6.305 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify 1 into 1
6.305 * [taylor]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in x
6.305 * [taylor]: Rewrote expression to (+ (* 2 (* x y)) (fma y y (pow x 2)))
6.305 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
6.305 * [taylor]: Taking taylor expansion of 2 in x
6.305 * [backup-simplify]: Simplify 2 into 2
6.305 * [taylor]: Taking taylor expansion of (* x y) in x
6.305 * [taylor]: Taking taylor expansion of x in x
6.305 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify 1 into 1
6.305 * [taylor]: Taking taylor expansion of y in x
6.305 * [backup-simplify]: Simplify y into y
6.305 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in x
6.305 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2))
6.305 * [taylor]: Taking taylor expansion of (* y y) in x
6.305 * [taylor]: Taking taylor expansion of y in x
6.305 * [backup-simplify]: Simplify y into y
6.305 * [taylor]: Taking taylor expansion of y in x
6.305 * [backup-simplify]: Simplify y into y
6.305 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.305 * [taylor]: Taking taylor expansion of x in x
6.305 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify 1 into 1
6.306 * [backup-simplify]: Simplify (* 0 y) into 0
6.306 * [backup-simplify]: Simplify (* 2 0) into 0
6.306 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.306 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
6.306 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2)
6.306 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.306 * [taylor]: Taking taylor expansion of y in y
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [backup-simplify]: Simplify 1 into 1
6.307 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.307 * [backup-simplify]: Simplify (+ (* 2 y) (* 0 0)) into (* 2 y)
6.307 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.307 * [backup-simplify]: Simplify (+ 0 0) into 0
6.307 * [backup-simplify]: Simplify (+ (* 2 y) 0) into (* 2 y)
6.307 * [taylor]: Taking taylor expansion of (* 2 y) in y
6.307 * [taylor]: Taking taylor expansion of 2 in y
6.307 * [backup-simplify]: Simplify 2 into 2
6.307 * [taylor]: Taking taylor expansion of y in y
6.307 * [backup-simplify]: Simplify 0 into 0
6.307 * [backup-simplify]: Simplify 1 into 1
6.308 * [backup-simplify]: Simplify (* 2 0) into 0
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.309 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 y) (* 0 0))) into 0
6.309 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
6.309 * [backup-simplify]: Simplify (* 1 1) into 1
6.309 * [backup-simplify]: Simplify (+ 0 1) into 1
6.310 * [backup-simplify]: Simplify (+ 0 1) into 1
6.310 * [taylor]: Taking taylor expansion of 1 in y
6.310 * [backup-simplify]: Simplify 1 into 1
6.310 * [backup-simplify]: Simplify 1 into 1
6.310 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
6.310 * [backup-simplify]: Simplify 2 into 2
6.310 * [backup-simplify]: Simplify (* 1 1) into 1
6.310 * [backup-simplify]: Simplify 1 into 1
6.311 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (+ (* 2 (* y x)) (* 1 (pow (* 1 x) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
6.311 * [backup-simplify]: Simplify (fma 2 (* (/ 1 x) (/ 1 y)) (fma (/ 1 y) (/ 1 y) (* (/ 1 x) (/ 1 x)))) into (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))))
6.311 * [approximate]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in (x y) around 0
6.311 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in y
6.311 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))))
6.311 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
6.311 * [taylor]: Taking taylor expansion of 2 in y
6.311 * [backup-simplify]: Simplify 2 into 2
6.311 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.311 * [taylor]: Taking taylor expansion of (* x y) in y
6.311 * [taylor]: Taking taylor expansion of x in y
6.311 * [backup-simplify]: Simplify x into x
6.311 * [taylor]: Taking taylor expansion of y in y
6.311 * [backup-simplify]: Simplify 0 into 0
6.311 * [backup-simplify]: Simplify 1 into 1
6.311 * [backup-simplify]: Simplify (* x 0) into 0
6.312 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.312 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.312 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in y
6.312 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2)))
6.312 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
6.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.312 * [taylor]: Taking taylor expansion of y in y
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 1 into 1
6.312 * [backup-simplify]: Simplify (/ 1 1) into 1
6.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.312 * [taylor]: Taking taylor expansion of y in y
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 1 into 1
6.312 * [backup-simplify]: Simplify (/ 1 1) into 1
6.312 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.312 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.312 * [taylor]: Taking taylor expansion of x in y
6.312 * [backup-simplify]: Simplify x into x
6.312 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.313 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.313 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in x
6.313 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))))
6.313 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
6.313 * [taylor]: Taking taylor expansion of 2 in x
6.313 * [backup-simplify]: Simplify 2 into 2
6.313 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.313 * [taylor]: Taking taylor expansion of (* x y) in x
6.313 * [taylor]: Taking taylor expansion of x in x
6.313 * [backup-simplify]: Simplify 0 into 0
6.313 * [backup-simplify]: Simplify 1 into 1
6.313 * [taylor]: Taking taylor expansion of y in x
6.313 * [backup-simplify]: Simplify y into y
6.313 * [backup-simplify]: Simplify (* 0 y) into 0
6.313 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.313 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in x
6.313 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2)))
6.313 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
6.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.313 * [taylor]: Taking taylor expansion of y in x
6.313 * [backup-simplify]: Simplify y into y
6.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.313 * [taylor]: Taking taylor expansion of y in x
6.313 * [backup-simplify]: Simplify y into y
6.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.313 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.313 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.313 * [taylor]: Taking taylor expansion of x in x
6.313 * [backup-simplify]: Simplify 0 into 0
6.314 * [backup-simplify]: Simplify 1 into 1
6.314 * [backup-simplify]: Simplify (* 1 1) into 1
6.314 * [backup-simplify]: Simplify (/ 1 1) into 1
6.314 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in x
6.314 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))))
6.314 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
6.314 * [taylor]: Taking taylor expansion of 2 in x
6.314 * [backup-simplify]: Simplify 2 into 2
6.314 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.314 * [taylor]: Taking taylor expansion of (* x y) in x
6.314 * [taylor]: Taking taylor expansion of x in x
6.314 * [backup-simplify]: Simplify 0 into 0
6.314 * [backup-simplify]: Simplify 1 into 1
6.314 * [taylor]: Taking taylor expansion of y in x
6.314 * [backup-simplify]: Simplify y into y
6.314 * [backup-simplify]: Simplify (* 0 y) into 0
6.315 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.315 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in x
6.315 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2)))
6.315 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
6.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.315 * [taylor]: Taking taylor expansion of y in x
6.315 * [backup-simplify]: Simplify y into y
6.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.315 * [taylor]: Taking taylor expansion of y in x
6.315 * [backup-simplify]: Simplify y into y
6.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.315 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.315 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.315 * [taylor]: Taking taylor expansion of x in x
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [backup-simplify]: Simplify 1 into 1
6.315 * [backup-simplify]: Simplify (* 1 1) into 1
6.315 * [backup-simplify]: Simplify (/ 1 1) into 1
6.316 * [backup-simplify]: Simplify (+ 0 1) into 1
6.316 * [backup-simplify]: Simplify (+ 0 1) into 1
6.316 * [taylor]: Taking taylor expansion of 1 in y
6.316 * [backup-simplify]: Simplify 1 into 1
6.316 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
6.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.317 * [backup-simplify]: Simplify (+ 0 0) into 0
6.317 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y))
6.317 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
6.317 * [taylor]: Taking taylor expansion of 2 in y
6.317 * [backup-simplify]: Simplify 2 into 2
6.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.317 * [taylor]: Taking taylor expansion of y in y
6.317 * [backup-simplify]: Simplify 0 into 0
6.317 * [backup-simplify]: Simplify 1 into 1
6.318 * [backup-simplify]: Simplify (/ 1 1) into 1
6.318 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.318 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
6.319 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
6.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.320 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
6.320 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
6.320 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.320 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.320 * [taylor]: Taking taylor expansion of y in y
6.320 * [backup-simplify]: Simplify 0 into 0
6.320 * [backup-simplify]: Simplify 1 into 1
6.320 * [backup-simplify]: Simplify (* 1 1) into 1
6.320 * [backup-simplify]: Simplify (/ 1 1) into 1
6.320 * [backup-simplify]: Simplify 1 into 1
6.321 * [backup-simplify]: Simplify (* 2 1) into 2
6.321 * [backup-simplify]: Simplify 2 into 2
6.321 * [backup-simplify]: Simplify 1 into 1
6.321 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (+ (* 2 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
6.321 * [backup-simplify]: Simplify (fma 2 (* (/ 1 (- x)) (/ 1 (- y))) (fma (/ 1 (- y)) (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- x))))) into (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))))
6.322 * [approximate]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in (x y) around 0
6.322 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in y
6.322 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))))
6.322 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
6.322 * [taylor]: Taking taylor expansion of 2 in y
6.322 * [backup-simplify]: Simplify 2 into 2
6.322 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.322 * [taylor]: Taking taylor expansion of (* x y) in y
6.322 * [taylor]: Taking taylor expansion of x in y
6.322 * [backup-simplify]: Simplify x into x
6.322 * [taylor]: Taking taylor expansion of y in y
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify 1 into 1
6.322 * [backup-simplify]: Simplify (* x 0) into 0
6.322 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.322 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.323 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in y
6.323 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2)))
6.323 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
6.323 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.323 * [taylor]: Taking taylor expansion of -1 in y
6.323 * [backup-simplify]: Simplify -1 into -1
6.323 * [taylor]: Taking taylor expansion of y in y
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify 1 into 1
6.323 * [backup-simplify]: Simplify (/ -1 1) into -1
6.323 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.323 * [taylor]: Taking taylor expansion of -1 in y
6.323 * [backup-simplify]: Simplify -1 into -1
6.323 * [taylor]: Taking taylor expansion of y in y
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify 1 into 1
6.324 * [backup-simplify]: Simplify (/ -1 1) into -1
6.324 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
6.324 * [taylor]: Taking taylor expansion of (pow x 2) in y
6.324 * [taylor]: Taking taylor expansion of x in y
6.324 * [backup-simplify]: Simplify x into x
6.324 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.324 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
6.324 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in x
6.324 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))))
6.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
6.324 * [taylor]: Taking taylor expansion of 2 in x
6.324 * [backup-simplify]: Simplify 2 into 2
6.324 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.324 * [taylor]: Taking taylor expansion of (* x y) in x
6.324 * [taylor]: Taking taylor expansion of x in x
6.324 * [backup-simplify]: Simplify 0 into 0
6.324 * [backup-simplify]: Simplify 1 into 1
6.324 * [taylor]: Taking taylor expansion of y in x
6.325 * [backup-simplify]: Simplify y into y
6.325 * [backup-simplify]: Simplify (* 0 y) into 0
6.325 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.325 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.325 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in x
6.325 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2)))
6.325 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
6.325 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.325 * [taylor]: Taking taylor expansion of -1 in x
6.325 * [backup-simplify]: Simplify -1 into -1
6.326 * [taylor]: Taking taylor expansion of y in x
6.326 * [backup-simplify]: Simplify y into y
6.326 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.326 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.326 * [taylor]: Taking taylor expansion of -1 in x
6.326 * [backup-simplify]: Simplify -1 into -1
6.326 * [taylor]: Taking taylor expansion of y in x
6.326 * [backup-simplify]: Simplify y into y
6.326 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.326 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.326 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.326 * [taylor]: Taking taylor expansion of x in x
6.326 * [backup-simplify]: Simplify 0 into 0
6.326 * [backup-simplify]: Simplify 1 into 1
6.326 * [backup-simplify]: Simplify (* 1 1) into 1
6.327 * [backup-simplify]: Simplify (/ 1 1) into 1
6.327 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in x
6.327 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))))
6.327 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
6.327 * [taylor]: Taking taylor expansion of 2 in x
6.327 * [backup-simplify]: Simplify 2 into 2
6.327 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.327 * [taylor]: Taking taylor expansion of (* x y) in x
6.327 * [taylor]: Taking taylor expansion of x in x
6.327 * [backup-simplify]: Simplify 0 into 0
6.327 * [backup-simplify]: Simplify 1 into 1
6.327 * [taylor]: Taking taylor expansion of y in x
6.327 * [backup-simplify]: Simplify y into y
6.327 * [backup-simplify]: Simplify (* 0 y) into 0
6.327 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.328 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.328 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in x
6.328 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2)))
6.328 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
6.328 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.328 * [taylor]: Taking taylor expansion of -1 in x
6.328 * [backup-simplify]: Simplify -1 into -1
6.328 * [taylor]: Taking taylor expansion of y in x
6.328 * [backup-simplify]: Simplify y into y
6.328 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.328 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.328 * [taylor]: Taking taylor expansion of -1 in x
6.328 * [backup-simplify]: Simplify -1 into -1
6.328 * [taylor]: Taking taylor expansion of y in x
6.328 * [backup-simplify]: Simplify y into y
6.328 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.328 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.328 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.328 * [taylor]: Taking taylor expansion of x in x
6.328 * [backup-simplify]: Simplify 0 into 0
6.328 * [backup-simplify]: Simplify 1 into 1
6.329 * [backup-simplify]: Simplify (* 1 1) into 1
6.329 * [backup-simplify]: Simplify (/ 1 1) into 1
6.329 * [backup-simplify]: Simplify (+ 0 1) into 1
6.330 * [backup-simplify]: Simplify (+ 0 1) into 1
6.330 * [taylor]: Taking taylor expansion of 1 in y
6.330 * [backup-simplify]: Simplify 1 into 1
6.330 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
6.331 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.332 * [backup-simplify]: Simplify (+ 0 0) into 0
6.332 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y))
6.332 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
6.332 * [taylor]: Taking taylor expansion of 2 in y
6.332 * [backup-simplify]: Simplify 2 into 2
6.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.332 * [taylor]: Taking taylor expansion of y in y
6.332 * [backup-simplify]: Simplify 0 into 0
6.332 * [backup-simplify]: Simplify 1 into 1
6.332 * [backup-simplify]: Simplify (/ 1 1) into 1
6.333 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.333 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
6.333 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
6.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.335 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
6.335 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2))
6.335 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.335 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.335 * [taylor]: Taking taylor expansion of y in y
6.335 * [backup-simplify]: Simplify 0 into 0
6.335 * [backup-simplify]: Simplify 1 into 1
6.335 * [backup-simplify]: Simplify (* 1 1) into 1
6.336 * [backup-simplify]: Simplify (/ 1 1) into 1
6.336 * [backup-simplify]: Simplify 1 into 1
6.336 * [backup-simplify]: Simplify (* 2 1) into 2
6.336 * [backup-simplify]: Simplify 2 into 2
6.336 * [backup-simplify]: Simplify 1 into 1
6.336 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
6.336 * * * [progress]: simplifying candidates
6.337 * [simplify]: Simplifying:
  (expm1 (fma 2 (* x y) (fma y y (* x x))))
  (log1p (fma 2 (* x y) (fma y y (* x x))))
  (* 2 (* x y))
  (log (fma 2 (* x y) (fma y y (* x x))))
  (exp (fma 2 (* x y) (fma y y (* x x))))
  (* (cbrt (fma 2 (* x y) (fma y y (* x x)))) (cbrt (fma 2 (* x y) (fma y y (* x x)))))
  (cbrt (fma 2 (* x y) (fma y y (* x x))))
  (* (* (fma 2 (* x y) (fma y y (* x x))) (fma 2 (* x y) (fma y y (* x x)))) (fma 2 (* x y) (fma y y (* x x))))
  (sqrt (fma 2 (* x y) (fma y y (* x x))))
  (sqrt (fma 2 (* x y) (fma y y (* x x))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
  (+ (pow y 2) (+ (pow x 2) (* 2 (* x y))))
6.337 * * [simplify]: iteration 0: 21 enodes
6.340 * * [simplify]: iteration 1: 38 enodes
6.350 * * [simplify]: iteration 2: 116 enodes
6.409 * * [simplify]: iteration 3: 574 enodes
6.826 * * [simplify]: iteration complete: 5001 enodes
6.826 * * [simplify]: Extracting #0: cost 10 inf + 0
6.827 * * [simplify]: Extracting #1: cost 225 inf + 0
6.834 * * [simplify]: Extracting #2: cost 1413 inf + 221
6.845 * * [simplify]: Extracting #3: cost 1455 inf + 7200
6.858 * * [simplify]: Extracting #4: cost 57 inf + 28034
6.870 * * [simplify]: Extracting #5: cost 0 inf + 29247
6.882 * [simplify]: Simplified to:
  (expm1 (fma y (fma x 2 y) (* x x)))
  (log1p (fma y (fma x 2 y) (* x x)))
  (* (* y x) 2)
  (log (fma y (fma x 2 y) (* x x)))
  (exp (fma y (fma x 2 y) (* x x)))
  (* (cbrt (fma y (fma x 2 y) (* x x))) (cbrt (fma y (fma x 2 y) (* x x))))
  (cbrt (fma y (fma x 2 y) (* x x)))
  (pow (fma y (fma x 2 y) (* x x)) 3)
  (sqrt (fma y (fma x 2 y) (* x x)))
  (sqrt (fma y (fma x 2 y) (* x x)))
  (fma y (fma x 2 y) (* x x))
  (fma y (fma x 2 y) (* x x))
  (fma y (fma x 2 y) (* x x))
6.882 * * * [progress]: adding candidates to table
6.936 * [progress]: [Phase 3 of 3] Extracting.
6.936 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (fma (+ y x) y (* x (+ y x))))> #<alt (λ (x y) (+ (* (+ y x) y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (+ x y)))))> #<alt (λ (x y) (* (+ y x) (+ y x)))> #<alt (λ (x y) (fma 2 (* x y) (fma y y (* x x))))>)
6.937 * * * [regime-changes]: Trying 2 branch expressions: (y x)
6.937 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (fma (+ y x) y (* x (+ y x))))> #<alt (λ (x y) (+ (* (+ y x) y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (+ x y)))))> #<alt (λ (x y) (* (+ y x) (+ y x)))> #<alt (λ (x y) (fma 2 (* x y) (fma y y (* x x))))>)
6.983 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (fma (+ y x) y (* x (+ y x))))> #<alt (λ (x y) (+ (* (+ y x) y) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (+ x y)))))> #<alt (λ (x y) (* (+ y x) (+ y x)))> #<alt (λ (x y) (fma 2 (* x y) (fma y y (* x x))))>)
7.041 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.042 * [simplify]: Simplifying:
  (fma (+ y x) y (* x (+ y x)))
7.042 * * [simplify]: iteration 0: 5 enodes
7.042 * * [simplify]: iteration 1: 7 enodes
7.043 * * [simplify]: iteration complete: 7 enodes
7.043 * * [simplify]: Extracting #0: cost 1 inf + 0
7.043 * * [simplify]: Extracting #1: cost 4 inf + 0
7.043 * * [simplify]: Extracting #2: cost 4 inf + 1
7.043 * * [simplify]: Extracting #3: cost 0 inf + 20
7.043 * [simplify]: Simplified to:
  (fma (+ x y) y (* (+ x y) x))
8.609 * [regime-testing]: Baseline error score: 0.013876734591823979
8.613 * [regime-testing]: Oracle error score: 0.002875359419927491
8.620 * [regime-testing]: End program error score: 0.013876734591823979
8.706 * [regime-testing]: Target error score: 0.013824848418642476