45.594 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))>
0.032 * [simplify]: Simplifying:
  (* 2.0 (+ (* x x) (* x y)))
0.032 * * [simplify]: iteration 0: 7 enodes
0.037 * * [simplify]: iteration 1: 19 enodes
0.049 * * [simplify]: iteration 2: 41 enodes
0.072 * * [simplify]: iteration 3: 66 enodes
0.122 * * [simplify]: iteration 4: 93 enodes
0.157 * * [simplify]: iteration complete: 93 enodes
0.157 * * [simplify]: Extracting #0: cost 1 inf + 0
0.157 * * [simplify]: Extracting #1: cost 13 inf + 0
0.157 * * [simplify]: Extracting #2: cost 10 inf + 3
0.157 * * [simplify]: Extracting #3: cost 1 inf + 542
0.158 * * [simplify]: Extracting #4: cost 0 inf + 665
0.158 * [simplify]: Simplified to:
  (* (+ x y) (* 2.0 x))
0.167 * * [progress]: iteration 1 / 4
0.167 * * * [progress]: picking best candidate
0.197 * * * * [pick]: Picked  #<alt (λ (x y) (* (+ x y) (* 2.0 x)))>
0.197 * * * [progress]: localizing error
0.222 * * * [progress]: generating rewritten candidates
0.222 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.298 * * * [progress]: generating series expansions
0.298 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.299 * [backup-simplify]: Simplify (* (+ x y) (* 2.0 x)) into (* 2.0 (* (+ x y) x))
0.299 * [approximate]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in (x y) around 0
0.299 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in y
0.299 * [taylor]: Taking taylor expansion of 2.0 in y
0.299 * [backup-simplify]: Simplify 2.0 into 2.0
0.299 * [taylor]: Taking taylor expansion of (* (+ x y) x) in y
0.299 * [taylor]: Taking taylor expansion of (+ x y) in y
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [backup-simplify]: Simplify x into x
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [backup-simplify]: Simplify x into x
0.299 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in x
0.299 * [taylor]: Taking taylor expansion of 2.0 in x
0.299 * [backup-simplify]: Simplify 2.0 into 2.0
0.299 * [taylor]: Taking taylor expansion of (* (+ x y) x) in x
0.299 * [taylor]: Taking taylor expansion of (+ x y) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [backup-simplify]: Simplify y into y
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in x
0.299 * [taylor]: Taking taylor expansion of 2.0 in x
0.299 * [backup-simplify]: Simplify 2.0 into 2.0
0.299 * [taylor]: Taking taylor expansion of (* (+ x y) x) in x
0.299 * [taylor]: Taking taylor expansion of (+ x y) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [backup-simplify]: Simplify y into y
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [backup-simplify]: Simplify (+ 0 y) into y
0.300 * [backup-simplify]: Simplify (* y 0) into 0
0.300 * [backup-simplify]: Simplify (* 2.0 0) into 0
0.300 * [taylor]: Taking taylor expansion of 0 in y
0.300 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify (+ 1 0) into 1
0.301 * [backup-simplify]: Simplify (+ (* y 1) (* 1 0)) into y
0.301 * [backup-simplify]: Simplify (+ (* 2.0 y) (* 0 0)) into (* 2.0 y)
0.301 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
0.301 * [taylor]: Taking taylor expansion of 2.0 in y
0.301 * [backup-simplify]: Simplify 2.0 into 2.0
0.301 * [taylor]: Taking taylor expansion of y in y
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.302 * [backup-simplify]: Simplify (* 2.0 0) into 0
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify (+ 0 0) into 0
0.303 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 1) (* 0 0))) into 1
0.303 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 y) (* 0 0))) into 2.0
0.303 * [taylor]: Taking taylor expansion of 2.0 in y
0.303 * [backup-simplify]: Simplify 2.0 into 2.0
0.303 * [backup-simplify]: Simplify 2.0 into 2.0
0.304 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0
0.304 * [backup-simplify]: Simplify 2.0 into 2.0
0.304 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify (+ 0 0) into 0
0.305 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
0.306 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
0.306 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0
0.307 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify (+ 0 0) into 0
0.308 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.309 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [backup-simplify]: Simplify 0 into 0
0.309 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify (+ (* 2.0 (* y x)) (* 2.0 (pow (* 1 x) 2))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.310 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (* 2.0 (/ 1 x))) into (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x))
0.310 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in (x y) around 0
0.310 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in y
0.310 * [taylor]: Taking taylor expansion of 2.0 in y
0.310 * [backup-simplify]: Simplify 2.0 into 2.0
0.310 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.310 * [taylor]: Taking taylor expansion of x in y
0.310 * [backup-simplify]: Simplify x into x
0.310 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.310 * [taylor]: Taking taylor expansion of y in y
0.311 * [backup-simplify]: Simplify 0 into 0
0.311 * [backup-simplify]: Simplify 1 into 1
0.311 * [backup-simplify]: Simplify (/ 1 1) into 1
0.311 * [taylor]: Taking taylor expansion of x in y
0.311 * [backup-simplify]: Simplify x into x
0.311 * [backup-simplify]: Simplify (+ 0 1) into 1
0.311 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.311 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in x
0.311 * [taylor]: Taking taylor expansion of 2.0 in x
0.311 * [backup-simplify]: Simplify 2.0 into 2.0
0.311 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) 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.312 * [backup-simplify]: Simplify (/ 1 1) into 1
0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.312 * [taylor]: Taking taylor expansion of y in x
0.312 * [backup-simplify]: Simplify y into y
0.312 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
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.312 * [backup-simplify]: Simplify (+ 1 0) into 1
0.312 * [backup-simplify]: Simplify (/ 1 1) into 1
0.312 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in x
0.312 * [taylor]: Taking taylor expansion of 2.0 in x
0.312 * [backup-simplify]: Simplify 2.0 into 2.0
0.312 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x
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.313 * [backup-simplify]: Simplify (/ 1 1) into 1
0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.313 * [taylor]: Taking taylor expansion of y in x
0.313 * [backup-simplify]: Simplify y into y
0.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
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.313 * [backup-simplify]: Simplify (+ 1 0) into 1
0.314 * [backup-simplify]: Simplify (/ 1 1) into 1
0.314 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.314 * [taylor]: Taking taylor expansion of 2.0 in y
0.314 * [backup-simplify]: Simplify 2.0 into 2.0
0.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.315 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.315 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
0.316 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 y)) (* 0 1)) into (* 2.0 (/ 1 y))
0.316 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.316 * [taylor]: Taking taylor expansion of 2.0 in y
0.316 * [backup-simplify]: Simplify 2.0 into 2.0
0.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.316 * [taylor]: Taking taylor expansion of y in y
0.316 * [backup-simplify]: Simplify 0 into 0
0.316 * [backup-simplify]: Simplify 1 into 1
0.316 * [backup-simplify]: Simplify (/ 1 1) into 1
0.316 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.316 * [backup-simplify]: Simplify 2.0 into 2.0
0.316 * [backup-simplify]: Simplify 2.0 into 2.0
0.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.317 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.317 * [backup-simplify]: Simplify (+ 0 0) into 0
0.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
0.319 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
0.319 * [taylor]: Taking taylor expansion of 0 in y
0.319 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.320 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.321 * [backup-simplify]: Simplify (+ 0 0) into 0
0.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.324 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
0.324 * [taylor]: Taking taylor expansion of 0 in y
0.324 * [backup-simplify]: Simplify 0 into 0
0.324 * [backup-simplify]: Simplify 0 into 0
0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.325 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.326 * [backup-simplify]: Simplify (+ 0 0) into 0
0.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.330 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
0.330 * [taylor]: Taking taylor expansion of 0 in y
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 0 into 0
0.331 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 2.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.331 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (* 2.0 (/ 1 (- x)))) into (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x))
0.331 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in (x y) around 0
0.331 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in y
0.331 * [taylor]: Taking taylor expansion of 2.0 in y
0.331 * [backup-simplify]: Simplify 2.0 into 2.0
0.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) 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.331 * [backup-simplify]: Simplify (/ 1 1) into 1
0.331 * [taylor]: Taking taylor expansion of x in y
0.332 * [backup-simplify]: Simplify x into x
0.332 * [backup-simplify]: Simplify (+ 0 1) into 1
0.332 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.332 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in x
0.332 * [taylor]: Taking taylor expansion of 2.0 in x
0.332 * [backup-simplify]: Simplify 2.0 into 2.0
0.332 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [backup-simplify]: Simplify 0 into 0
0.332 * [backup-simplify]: Simplify 1 into 1
0.332 * [backup-simplify]: Simplify (/ 1 1) into 1
0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.332 * [taylor]: Taking taylor expansion of y in x
0.332 * [backup-simplify]: Simplify y into y
0.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [backup-simplify]: Simplify 0 into 0
0.332 * [backup-simplify]: Simplify 1 into 1
0.333 * [backup-simplify]: Simplify (+ 1 0) into 1
0.333 * [backup-simplify]: Simplify (/ 1 1) into 1
0.333 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in x
0.333 * [taylor]: Taking taylor expansion of 2.0 in x
0.333 * [backup-simplify]: Simplify 2.0 into 2.0
0.333 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.333 * [backup-simplify]: Simplify 0 into 0
0.333 * [backup-simplify]: Simplify 1 into 1
0.333 * [backup-simplify]: Simplify (/ 1 1) into 1
0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.333 * [taylor]: Taking taylor expansion of y in x
0.333 * [backup-simplify]: Simplify y into y
0.334 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
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 0) into 1
0.334 * [backup-simplify]: Simplify (/ 1 1) into 1
0.334 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.335 * [taylor]: Taking taylor expansion of 2.0 in y
0.335 * [backup-simplify]: Simplify 2.0 into 2.0
0.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.335 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.336 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
0.336 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 y)) (* 0 1)) into (* 2.0 (/ 1 y))
0.336 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.336 * [taylor]: Taking taylor expansion of 2.0 in y
0.336 * [backup-simplify]: Simplify 2.0 into 2.0
0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 1 into 1
0.336 * [backup-simplify]: Simplify (/ 1 1) into 1
0.337 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.337 * [backup-simplify]: Simplify 2.0 into 2.0
0.337 * [backup-simplify]: Simplify 2.0 into 2.0
0.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.338 * [backup-simplify]: Simplify (+ 0 0) into 0
0.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
0.340 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
0.340 * [taylor]: Taking taylor expansion of 0 in y
0.340 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.341 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
0.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.342 * [backup-simplify]: Simplify (+ 0 0) into 0
0.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.344 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
0.344 * [taylor]: Taking taylor expansion of 0 in y
0.344 * [backup-simplify]: Simplify 0 into 0
0.344 * [backup-simplify]: Simplify 0 into 0
0.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.346 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.347 * [backup-simplify]: Simplify (+ 0 0) into 0
0.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.350 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify 0 into 0
0.351 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 2.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.351 * * * [progress]: simplifying candidates
0.351 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (x y) (pow (* (+ x y) (* 2.0 x)) 1))>
0.351 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (x y) (pow (* (+ x y) (* 2.0 x)) 1))>
0.351 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #<alt (λ (x y) (pow (* (+ x y) (* 2.0 x)) 1))>
0.351 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (+ x y)) (+ (log 2.0) (log x)))))>
0.351 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (+ x y)) (log (* 2.0 x)))))>
0.351 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* 2.0 2.0) 2.0) (* (* x x) x)))))>
0.351 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* 2.0 x) (* 2.0 x)) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (+ x y) (* 2.0 x))) (cbrt (* (+ x y) (* 2.0 x)))) (cbrt (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (+ x y) (* 2.0 x)) (* (+ x y) (* 2.0 x))) (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (+ x y) (* 2.0 x))) (sqrt (* (+ x y) (* 2.0 x)))))>
0.351 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (+ x y) (* 2.0 x))))>
0.351 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #<alt (λ (x y) (* (* (+ x y) 2.0) x))>
0.351 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ x y)) (* 2.0 x))))>
0.351 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))>
0.351 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (+ x y) (* 2.0 x))))>
0.352 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (+ x y) (* 2.0 x))))>
0.352 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ (pow x 3) (pow y 3)) (* 2.0 x)) (+ (* x x) (- (* y y) (* x y)))))>
0.352 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (x y) (/ (* (- (* x x) (* y y)) (* 2.0 x)) (- x y)))>
0.352 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (x y) (* (* 2.0 x) (+ x y)))>
0.352 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
0.352 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
0.352 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
0.352 * [simplify]: Simplifying:
  (real->posit16 (* (+ x y) (* 2.0 x)))
  (expm1 (* (+ x y) (* 2.0 x)))
  (log1p (* (+ x y) (* 2.0 x)))
  (* (+ x y) (* 2.0 x))
  (* (+ x y) (* 2.0 x))
  (+ (log (+ x y)) (+ (log 2.0) (log x)))
  (+ (log (+ x y)) (log (* 2.0 x)))
  (log (* (+ x y) (* 2.0 x)))
  (exp (* (+ x y) (* 2.0 x)))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* 2.0 2.0) 2.0) (* (* x x) x)))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* 2.0 x) (* 2.0 x)) (* 2.0 x)))
  (* (cbrt (* (+ x y) (* 2.0 x))) (cbrt (* (+ x y) (* 2.0 x))))
  (cbrt (* (+ x y) (* 2.0 x)))
  (* (* (* (+ x y) (* 2.0 x)) (* (+ x y) (* 2.0 x))) (* (+ x y) (* 2.0 x)))
  (sqrt (* (+ x y) (* 2.0 x)))
  (sqrt (* (+ x y) (* 2.0 x)))
  (* (+ x y) 2.0)
  (* (cbrt (+ x y)) (* 2.0 x))
  (* (sqrt (+ x y)) (* 2.0 x))
  (* (+ x y) (* 2.0 x))
  (* (+ x y) (* 2.0 x))
  (* (+ (pow x 3) (pow y 3)) (* 2.0 x))
  (* (- (* x x) (* y y)) (* 2.0 x))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.353 * * [simplify]: iteration 0: 53 enodes
0.393 * * [simplify]: iteration 1: 148 enodes
0.568 * * [simplify]: iteration 2: 530 enodes
1.482 * * [simplify]: iteration 3: 2249 enodes
3.754 * * [simplify]: iteration complete: 5010 enodes
3.754 * * [simplify]: Extracting #0: cost 15 inf + 0
3.756 * * [simplify]: Extracting #1: cost 338 inf + 0
3.762 * * [simplify]: Extracting #2: cost 1027 inf + 6935
3.797 * * [simplify]: Extracting #3: cost 616 inf + 123132
3.872 * * [simplify]: Extracting #4: cost 74 inf + 252614
4.000 * * [simplify]: Extracting #5: cost 9 inf + 267009
4.111 * * [simplify]: Extracting #6: cost 0 inf + 269286
4.210 * [simplify]: Simplified to:
  (real->posit16 (* (* 2.0 x) (+ y x)))
  (expm1 (* (* 2.0 x) (+ y x)))
  (log1p (* (* 2.0 x) (+ y x)))
  (* (* 2.0 x) (+ y x))
  (* (* 2.0 x) (+ y x))
  (log (* (* 2.0 x) (+ y x)))
  (log (* (* 2.0 x) (+ y x)))
  (log (* (* 2.0 x) (+ y x)))
  (exp (* (* 2.0 x) (+ y x)))
  (* (* (* (* (* (+ y x) 2.0) x) (* (* (+ y x) 2.0) x)) (* (+ y x) 2.0)) x)
  (* (* (* (* (* (+ y x) 2.0) x) (* (* (+ y x) 2.0) x)) (* (+ y x) 2.0)) x)
  (* (cbrt (* (* 2.0 x) (+ y x))) (cbrt (* (* 2.0 x) (+ y x))))
  (cbrt (* (* 2.0 x) (+ y x)))
  (* (* (* (* (* (+ y x) 2.0) x) (* (* (+ y x) 2.0) x)) (* (+ y x) 2.0)) x)
  (sqrt (* (* 2.0 x) (+ y x)))
  (sqrt (* (* 2.0 x) (+ y x)))
  (* (+ y x) 2.0)
  (* (cbrt (+ y x)) (* 2.0 x))
  (* (* 2.0 x) (sqrt (+ y x)))
  (* (* 2.0 x) (+ y x))
  (* (* 2.0 x) (+ y x))
  (* (* x (fma y (* y y) (* x (* x x)))) 2.0)
  (* (* 2.0 x) (- (* x x) (* y y)))
  (* (* 2.0 x) (+ y x))
  (* (* 2.0 x) (+ y x))
  (* (* 2.0 x) (+ y x))
4.212 * * * [progress]: adding candidates to table
4.423 * * [progress]: iteration 2 / 4
4.423 * * * [progress]: picking best candidate
4.452 * * * * [pick]: Picked  #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))>
4.452 * * * [progress]: localizing error
4.478 * * * [progress]: generating rewritten candidates
4.478 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.488 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.530 * * * [progress]: generating series expansions
4.530 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.530 * [backup-simplify]: Simplify (+ (* x x) (* x y)) into (+ (pow x 2) (* x y))
4.530 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* x y)) in (x y) around 0
4.530 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in y
4.530 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.530 * [taylor]: Taking taylor expansion of x in y
4.530 * [backup-simplify]: Simplify x into x
4.530 * [taylor]: Taking taylor expansion of (* x y) in y
4.530 * [taylor]: Taking taylor expansion of x in y
4.530 * [backup-simplify]: Simplify x into x
4.530 * [taylor]: Taking taylor expansion of y in y
4.530 * [backup-simplify]: Simplify 0 into 0
4.530 * [backup-simplify]: Simplify 1 into 1
4.530 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
4.530 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.530 * [taylor]: Taking taylor expansion of x in x
4.530 * [backup-simplify]: Simplify 0 into 0
4.530 * [backup-simplify]: Simplify 1 into 1
4.530 * [taylor]: Taking taylor expansion of (* x y) in x
4.530 * [taylor]: Taking taylor expansion of x in x
4.530 * [backup-simplify]: Simplify 0 into 0
4.530 * [backup-simplify]: Simplify 1 into 1
4.530 * [taylor]: Taking taylor expansion of y in x
4.531 * [backup-simplify]: Simplify y into y
4.531 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
4.531 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.531 * [taylor]: Taking taylor expansion of x in x
4.531 * [backup-simplify]: Simplify 0 into 0
4.531 * [backup-simplify]: Simplify 1 into 1
4.531 * [taylor]: Taking taylor expansion of (* x y) in x
4.531 * [taylor]: Taking taylor expansion of x in x
4.531 * [backup-simplify]: Simplify 0 into 0
4.531 * [backup-simplify]: Simplify 1 into 1
4.531 * [taylor]: Taking taylor expansion of y in x
4.531 * [backup-simplify]: Simplify y into y
4.531 * [backup-simplify]: Simplify (* 0 y) into 0
4.531 * [backup-simplify]: Simplify (+ 0 0) into 0
4.531 * [taylor]: Taking taylor expansion of 0 in y
4.531 * [backup-simplify]: Simplify 0 into 0
4.531 * [backup-simplify]: Simplify 0 into 0
4.532 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.532 * [backup-simplify]: Simplify (+ 0 y) into y
4.532 * [taylor]: Taking taylor expansion of y in y
4.532 * [backup-simplify]: Simplify 0 into 0
4.532 * [backup-simplify]: Simplify 1 into 1
4.532 * [backup-simplify]: Simplify 0 into 0
4.532 * [backup-simplify]: Simplify 0 into 0
4.532 * [backup-simplify]: Simplify (* 1 1) into 1
4.533 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.533 * [backup-simplify]: Simplify (+ 1 0) into 1
4.533 * [taylor]: Taking taylor expansion of 1 in y
4.533 * [backup-simplify]: Simplify 1 into 1
4.533 * [backup-simplify]: Simplify 1 into 1
4.533 * [backup-simplify]: Simplify 1 into 1
4.533 * [backup-simplify]: Simplify 0 into 0
4.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.535 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.535 * [backup-simplify]: Simplify (+ 0 0) into 0
4.535 * [taylor]: Taking taylor expansion of 0 in y
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify 0 into 0
4.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.537 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.537 * [backup-simplify]: Simplify (+ 0 0) into 0
4.537 * [taylor]: Taking taylor expansion of 0 in y
4.537 * [backup-simplify]: Simplify 0 into 0
4.537 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* x y))
4.538 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y))) into (+ (/ 1 (pow x 2)) (/ 1 (* x y)))
4.538 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0
4.538 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
4.538 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.538 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.538 * [taylor]: Taking taylor expansion of x in y
4.538 * [backup-simplify]: Simplify x into x
4.538 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.538 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.538 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.538 * [taylor]: Taking taylor expansion of (* x y) in y
4.538 * [taylor]: Taking taylor expansion of x in y
4.538 * [backup-simplify]: Simplify x into x
4.538 * [taylor]: Taking taylor expansion of y in y
4.538 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify 1 into 1
4.538 * [backup-simplify]: Simplify (* x 0) into 0
4.539 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.539 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.539 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.539 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.539 * [taylor]: Taking taylor expansion of x in x
4.539 * [backup-simplify]: Simplify 0 into 0
4.539 * [backup-simplify]: Simplify 1 into 1
4.539 * [backup-simplify]: Simplify (* 1 1) into 1
4.539 * [backup-simplify]: Simplify (/ 1 1) into 1
4.539 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.539 * [taylor]: Taking taylor expansion of (* x y) in x
4.540 * [taylor]: Taking taylor expansion of x in x
4.540 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify 1 into 1
4.540 * [taylor]: Taking taylor expansion of y in x
4.540 * [backup-simplify]: Simplify y into y
4.540 * [backup-simplify]: Simplify (* 0 y) into 0
4.540 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.540 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.540 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.540 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.540 * [taylor]: Taking taylor expansion of x in x
4.540 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify 1 into 1
4.540 * [backup-simplify]: Simplify (* 1 1) into 1
4.541 * [backup-simplify]: Simplify (/ 1 1) into 1
4.541 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.541 * [taylor]: Taking taylor expansion of (* x y) in x
4.541 * [taylor]: Taking taylor expansion of x in x
4.541 * [backup-simplify]: Simplify 0 into 0
4.541 * [backup-simplify]: Simplify 1 into 1
4.541 * [taylor]: Taking taylor expansion of y in x
4.541 * [backup-simplify]: Simplify y into y
4.541 * [backup-simplify]: Simplify (* 0 y) into 0
4.541 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.541 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.542 * [backup-simplify]: Simplify (+ 1 0) into 1
4.542 * [taylor]: Taking taylor expansion of 1 in y
4.542 * [backup-simplify]: Simplify 1 into 1
4.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.543 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.543 * [taylor]: Taking taylor expansion of y in y
4.543 * [backup-simplify]: Simplify 0 into 0
4.543 * [backup-simplify]: Simplify 1 into 1
4.543 * [backup-simplify]: Simplify (/ 1 1) into 1
4.543 * [backup-simplify]: Simplify 1 into 1
4.543 * [backup-simplify]: Simplify 1 into 1
4.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.545 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.545 * [backup-simplify]: Simplify (+ 0 0) into 0
4.545 * [taylor]: Taking taylor expansion of 0 in y
4.545 * [backup-simplify]: Simplify 0 into 0
4.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.546 * [backup-simplify]: Simplify 0 into 0
4.546 * [backup-simplify]: Simplify 0 into 0
4.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.549 * [backup-simplify]: Simplify (+ 0 0) into 0
4.549 * [taylor]: Taking taylor expansion of 0 in y
4.549 * [backup-simplify]: Simplify 0 into 0
4.549 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.550 * [backup-simplify]: Simplify 0 into 0
4.551 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.556 * [backup-simplify]: Simplify (+ 0 0) into 0
4.556 * [taylor]: Taking taylor expansion of 0 in y
4.556 * [backup-simplify]: Simplify 0 into 0
4.556 * [backup-simplify]: Simplify 0 into 0
4.557 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (pow x 2) (* x y))
4.557 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) into (+ (/ 1 (pow x 2)) (/ 1 (* x y)))
4.557 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0
4.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
4.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.557 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.557 * [taylor]: Taking taylor expansion of x in y
4.557 * [backup-simplify]: Simplify x into x
4.557 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.557 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.557 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.557 * [taylor]: Taking taylor expansion of (* x y) in y
4.557 * [taylor]: Taking taylor expansion of x in y
4.557 * [backup-simplify]: Simplify x into x
4.558 * [taylor]: Taking taylor expansion of y in y
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [backup-simplify]: Simplify 1 into 1
4.558 * [backup-simplify]: Simplify (* x 0) into 0
4.558 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.558 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.558 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.558 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.558 * [taylor]: Taking taylor expansion of x in x
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [backup-simplify]: Simplify 1 into 1
4.558 * [backup-simplify]: Simplify (* 1 1) into 1
4.559 * [backup-simplify]: Simplify (/ 1 1) into 1
4.559 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.559 * [taylor]: Taking taylor expansion of (* x y) in x
4.559 * [taylor]: Taking taylor expansion of x in x
4.559 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify 1 into 1
4.559 * [taylor]: Taking taylor expansion of y in x
4.559 * [backup-simplify]: Simplify y into y
4.559 * [backup-simplify]: Simplify (* 0 y) into 0
4.559 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.559 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.559 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.559 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.559 * [taylor]: Taking taylor expansion of x in x
4.559 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify 1 into 1
4.560 * [backup-simplify]: Simplify (* 1 1) into 1
4.560 * [backup-simplify]: Simplify (/ 1 1) into 1
4.560 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.560 * [taylor]: Taking taylor expansion of (* x y) in x
4.560 * [taylor]: Taking taylor expansion of x in x
4.560 * [backup-simplify]: Simplify 0 into 0
4.560 * [backup-simplify]: Simplify 1 into 1
4.560 * [taylor]: Taking taylor expansion of y in x
4.560 * [backup-simplify]: Simplify y into y
4.560 * [backup-simplify]: Simplify (* 0 y) into 0
4.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.560 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.561 * [backup-simplify]: Simplify (+ 1 0) into 1
4.561 * [taylor]: Taking taylor expansion of 1 in y
4.561 * [backup-simplify]: Simplify 1 into 1
4.561 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.562 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.562 * [taylor]: Taking taylor expansion of y in y
4.562 * [backup-simplify]: Simplify 0 into 0
4.562 * [backup-simplify]: Simplify 1 into 1
4.562 * [backup-simplify]: Simplify (/ 1 1) into 1
4.562 * [backup-simplify]: Simplify 1 into 1
4.562 * [backup-simplify]: Simplify 1 into 1
4.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.564 * [backup-simplify]: Simplify (+ 0 0) into 0
4.564 * [taylor]: Taking taylor expansion of 0 in y
4.564 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.567 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.568 * [backup-simplify]: Simplify (+ 0 0) into 0
4.568 * [taylor]: Taking taylor expansion of 0 in y
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.571 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.572 * [backup-simplify]: Simplify (+ 0 0) into 0
4.572 * [taylor]: Taking taylor expansion of 0 in y
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (pow x 2) (* x y))
4.573 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.573 * [backup-simplify]: Simplify (* 2.0 (+ (* x x) (* x y))) into (* 2.0 (+ (pow x 2) (* x y)))
4.573 * [approximate]: Taking taylor expansion of (* 2.0 (+ (pow x 2) (* x y))) in (x y) around 0
4.573 * [taylor]: Taking taylor expansion of (* 2.0 (+ (pow x 2) (* x y))) in y
4.573 * [taylor]: Taking taylor expansion of 2.0 in y
4.573 * [backup-simplify]: Simplify 2.0 into 2.0
4.573 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in y
4.573 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.573 * [taylor]: Taking taylor expansion of x in y
4.573 * [backup-simplify]: Simplify x into x
4.573 * [taylor]: Taking taylor expansion of (* x y) in y
4.573 * [taylor]: Taking taylor expansion of x in y
4.573 * [backup-simplify]: Simplify x into x
4.573 * [taylor]: Taking taylor expansion of y in y
4.573 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify 1 into 1
4.573 * [taylor]: Taking taylor expansion of (* 2.0 (+ (pow x 2) (* x y))) in x
4.573 * [taylor]: Taking taylor expansion of 2.0 in x
4.573 * [backup-simplify]: Simplify 2.0 into 2.0
4.573 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
4.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.573 * [taylor]: Taking taylor expansion of x in x
4.573 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify 1 into 1
4.573 * [taylor]: Taking taylor expansion of (* x y) in x
4.573 * [taylor]: Taking taylor expansion of x in x
4.573 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify 1 into 1
4.573 * [taylor]: Taking taylor expansion of y in x
4.573 * [backup-simplify]: Simplify y into y
4.573 * [taylor]: Taking taylor expansion of (* 2.0 (+ (pow x 2) (* x y))) in x
4.573 * [taylor]: Taking taylor expansion of 2.0 in x
4.573 * [backup-simplify]: Simplify 2.0 into 2.0
4.573 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
4.574 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.574 * [taylor]: Taking taylor expansion of x in x
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 1 into 1
4.574 * [taylor]: Taking taylor expansion of (* x y) in x
4.574 * [taylor]: Taking taylor expansion of x in x
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 1 into 1
4.574 * [taylor]: Taking taylor expansion of y in x
4.574 * [backup-simplify]: Simplify y into y
4.574 * [backup-simplify]: Simplify (* 0 y) into 0
4.574 * [backup-simplify]: Simplify (+ 0 0) into 0
4.574 * [backup-simplify]: Simplify (* 2.0 0) into 0
4.574 * [taylor]: Taking taylor expansion of 0 in y
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.575 * [backup-simplify]: Simplify (+ 0 y) into y
4.575 * [backup-simplify]: Simplify (+ (* 2.0 y) (* 0 0)) into (* 2.0 y)
4.575 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
4.575 * [taylor]: Taking taylor expansion of 2.0 in y
4.575 * [backup-simplify]: Simplify 2.0 into 2.0
4.575 * [taylor]: Taking taylor expansion of y in y
4.575 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify 1 into 1
4.575 * [backup-simplify]: Simplify (* 2.0 0) into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify (* 1 1) into 1
4.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.577 * [backup-simplify]: Simplify (+ 1 0) into 1
4.577 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 y) (* 0 0))) into 2.0
4.577 * [taylor]: Taking taylor expansion of 2.0 in y
4.577 * [backup-simplify]: Simplify 2.0 into 2.0
4.577 * [backup-simplify]: Simplify 2.0 into 2.0
4.578 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0
4.578 * [backup-simplify]: Simplify 2.0 into 2.0
4.578 * [backup-simplify]: Simplify 0 into 0
4.579 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.580 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.580 * [backup-simplify]: Simplify (+ 0 0) into 0
4.581 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
4.581 * [taylor]: Taking taylor expansion of 0 in y
4.581 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.584 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.584 * [backup-simplify]: Simplify (+ 0 0) into 0
4.586 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
4.586 * [taylor]: Taking taylor expansion of 0 in y
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify (+ (* 2.0 (* y x)) (* 2.0 (pow (* 1 x) 2))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
4.587 * [backup-simplify]: Simplify (* 2.0 (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y)))) into (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y))))
4.587 * [approximate]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in (x y) around 0
4.587 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in y
4.587 * [taylor]: Taking taylor expansion of 2.0 in y
4.587 * [backup-simplify]: Simplify 2.0 into 2.0
4.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
4.587 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.587 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.587 * [taylor]: Taking taylor expansion of x in y
4.587 * [backup-simplify]: Simplify x into x
4.587 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.587 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.587 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.587 * [taylor]: Taking taylor expansion of (* x y) in y
4.587 * [taylor]: Taking taylor expansion of x in y
4.587 * [backup-simplify]: Simplify x into x
4.587 * [taylor]: Taking taylor expansion of y in y
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [backup-simplify]: Simplify (* x 0) into 0
4.587 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.588 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.588 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in x
4.588 * [taylor]: Taking taylor expansion of 2.0 in x
4.588 * [backup-simplify]: Simplify 2.0 into 2.0
4.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.588 * [taylor]: Taking taylor expansion of x in x
4.588 * [backup-simplify]: Simplify 0 into 0
4.588 * [backup-simplify]: Simplify 1 into 1
4.588 * [backup-simplify]: Simplify (* 1 1) into 1
4.588 * [backup-simplify]: Simplify (/ 1 1) into 1
4.588 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.588 * [taylor]: Taking taylor expansion of (* x y) in x
4.588 * [taylor]: Taking taylor expansion of x in x
4.588 * [backup-simplify]: Simplify 0 into 0
4.588 * [backup-simplify]: Simplify 1 into 1
4.588 * [taylor]: Taking taylor expansion of y in x
4.588 * [backup-simplify]: Simplify y into y
4.588 * [backup-simplify]: Simplify (* 0 y) into 0
4.589 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.589 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.589 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in x
4.589 * [taylor]: Taking taylor expansion of 2.0 in x
4.589 * [backup-simplify]: Simplify 2.0 into 2.0
4.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.589 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.589 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.589 * [taylor]: Taking taylor expansion of x in x
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [backup-simplify]: Simplify 1 into 1
4.589 * [backup-simplify]: Simplify (* 1 1) into 1
4.589 * [backup-simplify]: Simplify (/ 1 1) into 1
4.589 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.590 * [taylor]: Taking taylor expansion of (* x y) in x
4.590 * [taylor]: Taking taylor expansion of x in x
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify 1 into 1
4.590 * [taylor]: Taking taylor expansion of y in x
4.590 * [backup-simplify]: Simplify y into y
4.590 * [backup-simplify]: Simplify (* 0 y) into 0
4.590 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.590 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.590 * [backup-simplify]: Simplify (+ 1 0) into 1
4.591 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.591 * [taylor]: Taking taylor expansion of 2.0 in y
4.591 * [backup-simplify]: Simplify 2.0 into 2.0
4.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.592 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.594 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 y)) (* 0 1)) into (* 2.0 (/ 1 y))
4.594 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
4.594 * [taylor]: Taking taylor expansion of 2.0 in y
4.594 * [backup-simplify]: Simplify 2.0 into 2.0
4.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.594 * [taylor]: Taking taylor expansion of y in y
4.594 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify 1 into 1
4.594 * [backup-simplify]: Simplify (/ 1 1) into 1
4.594 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.594 * [backup-simplify]: Simplify 2.0 into 2.0
4.595 * [backup-simplify]: Simplify 2.0 into 2.0
4.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.596 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.597 * [backup-simplify]: Simplify (+ 0 0) into 0
4.597 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
4.597 * [taylor]: Taking taylor expansion of 0 in y
4.598 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.598 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
4.598 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.601 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.601 * [backup-simplify]: Simplify (+ 0 0) into 0
4.602 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
4.602 * [taylor]: Taking taylor expansion of 0 in y
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.603 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
4.603 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.606 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.606 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.607 * [backup-simplify]: Simplify (+ 0 0) into 0
4.608 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
4.608 * [taylor]: Taking taylor expansion of 0 in y
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 2.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
4.609 * [backup-simplify]: Simplify (* 2.0 (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y))))) into (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y))))
4.609 * [approximate]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in (x y) around 0
4.609 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in y
4.609 * [taylor]: Taking taylor expansion of 2.0 in y
4.609 * [backup-simplify]: Simplify 2.0 into 2.0
4.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
4.609 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.609 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.609 * [taylor]: Taking taylor expansion of x in y
4.609 * [backup-simplify]: Simplify x into x
4.609 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.610 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.610 * [taylor]: Taking taylor expansion of (* x y) in y
4.610 * [taylor]: Taking taylor expansion of x in y
4.610 * [backup-simplify]: Simplify x into x
4.610 * [taylor]: Taking taylor expansion of y in y
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 1 into 1
4.610 * [backup-simplify]: Simplify (* x 0) into 0
4.610 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.610 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.610 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in x
4.610 * [taylor]: Taking taylor expansion of 2.0 in x
4.610 * [backup-simplify]: Simplify 2.0 into 2.0
4.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.610 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.610 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.610 * [taylor]: Taking taylor expansion of x in x
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 1 into 1
4.611 * [backup-simplify]: Simplify (* 1 1) into 1
4.611 * [backup-simplify]: Simplify (/ 1 1) into 1
4.611 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.611 * [taylor]: Taking taylor expansion of (* x y) in x
4.611 * [taylor]: Taking taylor expansion of x in x
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 1 into 1
4.611 * [taylor]: Taking taylor expansion of y in x
4.611 * [backup-simplify]: Simplify y into y
4.611 * [backup-simplify]: Simplify (* 0 y) into 0
4.611 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.611 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.611 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (* x y)))) in x
4.611 * [taylor]: Taking taylor expansion of 2.0 in x
4.611 * [backup-simplify]: Simplify 2.0 into 2.0
4.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
4.611 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.612 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.612 * [taylor]: Taking taylor expansion of x in x
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify 1 into 1
4.612 * [backup-simplify]: Simplify (* 1 1) into 1
4.612 * [backup-simplify]: Simplify (/ 1 1) into 1
4.612 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.612 * [taylor]: Taking taylor expansion of (* x y) in x
4.612 * [taylor]: Taking taylor expansion of x in x
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify 1 into 1
4.612 * [taylor]: Taking taylor expansion of y in x
4.612 * [backup-simplify]: Simplify y into y
4.612 * [backup-simplify]: Simplify (* 0 y) into 0
4.613 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.613 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.613 * [backup-simplify]: Simplify (+ 1 0) into 1
4.613 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.613 * [taylor]: Taking taylor expansion of 2.0 in y
4.613 * [backup-simplify]: Simplify 2.0 into 2.0
4.614 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.614 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.615 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 y)) (* 0 1)) into (* 2.0 (/ 1 y))
4.615 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
4.615 * [taylor]: Taking taylor expansion of 2.0 in y
4.615 * [backup-simplify]: Simplify 2.0 into 2.0
4.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.615 * [taylor]: Taking taylor expansion of y in y
4.615 * [backup-simplify]: Simplify 0 into 0
4.615 * [backup-simplify]: Simplify 1 into 1
4.615 * [backup-simplify]: Simplify (/ 1 1) into 1
4.615 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.615 * [backup-simplify]: Simplify 2.0 into 2.0
4.615 * [backup-simplify]: Simplify 2.0 into 2.0
4.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.617 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.618 * [backup-simplify]: Simplify (+ 0 0) into 0
4.618 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
4.618 * [taylor]: Taking taylor expansion of 0 in y
4.618 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.619 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
4.619 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.622 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.622 * [backup-simplify]: Simplify (+ 0 0) into 0
4.623 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
4.623 * [taylor]: Taking taylor expansion of 0 in y
4.623 * [backup-simplify]: Simplify 0 into 0
4.623 * [backup-simplify]: Simplify 0 into 0
4.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.624 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
4.625 * [backup-simplify]: Simplify 0 into 0
4.625 * [backup-simplify]: Simplify 0 into 0
4.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.627 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.628 * [backup-simplify]: Simplify (+ 0 0) into 0
4.629 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
4.629 * [taylor]: Taking taylor expansion of 0 in y
4.629 * [backup-simplify]: Simplify 0 into 0
4.629 * [backup-simplify]: Simplify 0 into 0
4.630 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 2.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
4.630 * * * [progress]: simplifying candidates
4.630 * * * * [progress]: [ 1 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (posit16->real (real->posit16 (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 2 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (log1p (expm1 (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 3 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (expm1 (log1p (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 4 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (fma x x (* x y))))>
4.630 * * * * [progress]: [ 5 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (log (* (exp (* x x)) (exp (* x y))))))>
4.630 * * * * [progress]: [ 6 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (pow (+ (* x x) (* x y)) 1)))>
4.630 * * * * [progress]: [ 7 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (exp (log (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 8 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (log (exp (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 9 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (* (* (cbrt (+ (* x x) (* x y))) (cbrt (+ (* x x) (* x y)))) (cbrt (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 10 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (cbrt (* (* (+ (* x x) (* x y)) (+ (* x x) (* x y))) (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 11 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (* (sqrt (+ (* x x) (* x y))) (sqrt (+ (* x x) (* x y))))))>
4.630 * * * * [progress]: [ 12 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (/ (+ (pow (* x x) 3) (pow (* x y) 3)) (+ (* (* x x) (* x x)) (- (* (* x y) (* x y)) (* (* x x) (* x y)))))))>
4.630 * * * * [progress]: [ 13 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (* 1 (+ (* x x) (* x y)))))>
4.630 * * * * [progress]: [ 14 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (/ (- (* (* x x) (* x x)) (* (* x y) (* x y))) (- (* x x) (* x y)))))>
4.631 * * * * [progress]: [ 15 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (* x (+ x y))))>
4.631 * * * * [progress]: [ 16 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (+ (* x y) (* x x))))>
4.631 * * * * [progress]: [ 17 / 48 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 18 / 48 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 19 / 48 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 20 / 48 ] simplifiying candidate #<alt (λ (x y) (pow (* 2.0 (+ (* x x) (* x y))) 1))>
4.631 * * * * [progress]: [ 21 / 48 ] simplifiying candidate #<alt (λ (x y) (pow (* 2.0 (+ (* x x) (* x y))) 1))>
4.631 * * * * [progress]: [ 22 / 48 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log 2.0) (log (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 23 / 48 ] simplifiying candidate #<alt (λ (x y) (exp (log (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 24 / 48 ] simplifiying candidate #<alt (λ (x y) (log (exp (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 25 / 48 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 2.0 2.0) 2.0) (* (* (+ (* x x) (* x y)) (+ (* x x) (* x y))) (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 26 / 48 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* 2.0 (+ (* x x) (* x y)))) (cbrt (* 2.0 (+ (* x x) (* x y))))) (cbrt (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 27 / 48 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* 2.0 (+ (* x x) (* x y))) (* 2.0 (+ (* x x) (* x y)))) (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 28 / 48 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* 2.0 (+ (* x x) (* x y)))) (sqrt (* 2.0 (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 29 / 48 ] simplifiying candidate #<alt (λ (x y) (* 1 (* 2.0 (+ (* x x) (* x y)))))>
4.631 * * * * [progress]: [ 30 / 48 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt 2.0) (sqrt (+ (* x x) (* x y)))) (* (sqrt 2.0) (sqrt (+ (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 31 / 48 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (* x x)) (* 2.0 (* x y))))>
4.631 * * * * [progress]: [ 32 / 48 ] simplifiying candidate #<alt (λ (x y) (+ (* (* x x) 2.0) (* (* x y) 2.0)))>
4.631 * * * * [progress]: [ 33 / 48 ] simplifiying candidate #<alt (λ (x y) (* (* 2.0 (* (cbrt (+ (* x x) (* x y))) (cbrt (+ (* x x) (* x y))))) (cbrt (+ (* x x) (* x y)))))>
4.631 * * * * [progress]: [ 34 / 48 ] simplifiying candidate #<alt (λ (x y) (* (* 2.0 (sqrt (+ (* x x) (* x y)))) (sqrt (+ (* x x) (* x y)))))>
4.631 * * * * [progress]: [ 35 / 48 ] simplifiying candidate #<alt (λ (x y) (* (* 2.0 1) (+ (* x x) (* x y))))>
4.631 * * * * [progress]: [ 36 / 48 ] simplifiying candidate #<alt (λ (x y) (* (* 2.0 x) (+ x y)))>
4.631 * * * * [progress]: [ 37 / 48 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt 2.0) (+ (* x x) (* x y)))))>
4.631 * * * * [progress]: [ 38 / 48 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 2.0) (* (sqrt 2.0) (+ (* x x) (* x y)))))>
4.631 * * * * [progress]: [ 39 / 48 ] simplifiying candidate #<alt (λ (x y) (* 1 (* 2.0 (+ (* x x) (* x y)))))>
4.631 * * * * [progress]: [ 40 / 48 ] simplifiying candidate #<alt (λ (x y) (/ (* 2.0 (+ (pow (* x x) 3) (pow (* x y) 3))) (+ (* (* x x) (* x x)) (- (* (* x y) (* x y)) (* (* x x) (* x y))))))>
4.631 * * * * [progress]: [ 41 / 48 ] simplifiying candidate #<alt (λ (x y) (/ (* 2.0 (- (* (* x x) (* x x)) (* (* x y) (* x y)))) (- (* x x) (* x y))))>
4.632 * * * * [progress]: [ 42 / 48 ] simplifiying candidate #<alt (λ (x y) (* (+ (* x x) (* x y)) 2.0))>
4.632 * * * * [progress]: [ 43 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (+ (pow x 2) (* x y))))>
4.632 * * * * [progress]: [ 44 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (+ (pow x 2) (* x y))))>
4.632 * * * * [progress]: [ 45 / 48 ] simplifiying candidate #<alt (λ (x y) (* 2.0 (+ (pow x 2) (* x y))))>
4.632 * * * * [progress]: [ 46 / 48 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
4.632 * * * * [progress]: [ 47 / 48 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
4.632 * * * * [progress]: [ 48 / 48 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
4.632 * [simplify]: Simplifying:
  (real->posit16 (+ (* x x) (* x y)))
  (expm1 (+ (* x x) (* x y)))
  (log1p (+ (* x x) (* x y)))
  (* (exp (* x x)) (exp (* x y)))
  (log (+ (* x x) (* x y)))
  (exp (+ (* x x) (* x y)))
  (* (cbrt (+ (* x x) (* x y))) (cbrt (+ (* x x) (* x y))))
  (cbrt (+ (* x x) (* x y)))
  (* (* (+ (* x x) (* x y)) (+ (* x x) (* x y))) (+ (* x x) (* x y)))
  (sqrt (+ (* x x) (* x y)))
  (sqrt (+ (* x x) (* x y)))
  (+ (pow (* x x) 3) (pow (* x y) 3))
  (+ (* (* x x) (* x x)) (- (* (* x y) (* x y)) (* (* x x) (* x y))))
  (- (* (* x x) (* x x)) (* (* x y) (* x y)))
  (- (* x x) (* x y))
  (+ x y)
  (real->posit16 (* 2.0 (+ (* x x) (* x y))))
  (expm1 (* 2.0 (+ (* x x) (* x y))))
  (log1p (* 2.0 (+ (* x x) (* x y))))
  (* 2.0 (+ (* x x) (* x y)))
  (+ (log 2.0) (log (+ (* x x) (* x y))))
  (log (* 2.0 (+ (* x x) (* x y))))
  (exp (* 2.0 (+ (* x x) (* x y))))
  (* (* (* 2.0 2.0) 2.0) (* (* (+ (* x x) (* x y)) (+ (* x x) (* x y))) (+ (* x x) (* x y))))
  (* (cbrt (* 2.0 (+ (* x x) (* x y)))) (cbrt (* 2.0 (+ (* x x) (* x y)))))
  (cbrt (* 2.0 (+ (* x x) (* x y))))
  (* (* (* 2.0 (+ (* x x) (* x y))) (* 2.0 (+ (* x x) (* x y)))) (* 2.0 (+ (* x x) (* x y))))
  (sqrt (* 2.0 (+ (* x x) (* x y))))
  (sqrt (* 2.0 (+ (* x x) (* x y))))
  (* (sqrt 2.0) (sqrt (+ (* x x) (* x y))))
  (* (sqrt 2.0) (sqrt (+ (* x x) (* x y))))
  (* 2.0 (* x x))
  (* 2.0 (* x y))
  (* (* x x) 2.0)
  (* (* x y) 2.0)
  (* 2.0 (* (cbrt (+ (* x x) (* x y))) (cbrt (+ (* x x) (* x y)))))
  (* 2.0 (sqrt (+ (* x x) (* x y))))
  (* 2.0 1)
  (* 2.0 x)
  (* (cbrt 2.0) (+ (* x x) (* x y)))
  (* (sqrt 2.0) (+ (* x x) (* x y)))
  (* 2.0 (+ (* x x) (* x y)))
  (* 2.0 (+ (pow (* x x) 3) (pow (* x y) 3)))
  (* 2.0 (- (* (* x x) (* x x)) (* (* x y) (* x y))))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
4.633 * * [simplify]: iteration 0: 68 enodes
4.696 * * [simplify]: iteration 1: 214 enodes
4.939 * * [simplify]: iteration 2: 745 enodes
6.563 * * [simplify]: iteration 3: 3322 enodes
10.151 * * [simplify]: iteration complete: 5000 enodes
10.151 * * [simplify]: Extracting #0: cost 36 inf + 0
10.152 * * [simplify]: Extracting #1: cost 453 inf + 1
10.162 * * [simplify]: Extracting #2: cost 496 inf + 21250
10.211 * * [simplify]: Extracting #3: cost 71 inf + 96817
10.269 * * [simplify]: Extracting #4: cost 8 inf + 111202
10.347 * * [simplify]: Extracting #5: cost 0 inf + 114723
10.399 * [simplify]: Simplified to:
  (real->posit16 (* x (+ x y)))
  (expm1 (* x (+ x y)))
  (log1p (* x (+ x y)))
  (exp (* x (+ x y)))
  (log (* x (+ x y)))
  (exp (* x (+ x y)))
  (* (cbrt (* x (+ x y))) (cbrt (* x (+ x y))))
  (cbrt (* x (+ x y)))
  (* (* (* x (+ x y)) (* x (+ x y))) (* x (+ x y)))
  (sqrt (* x (+ x y)))
  (sqrt (* x (+ x y)))
  (* (* x (* x x)) (fma y (* y y) (* x (* x x))))
  (fma (* x x) (* x x) (* (* x y) (- (* x y) (* x x))))
  (* (* x x) (- (* x x) (* y y)))
  (* (- x y) x)
  (+ x y)
  (real->posit16 (* (* x 2.0) (+ x y)))
  (expm1 (* (* x 2.0) (+ x y)))
  (log1p (* (* x 2.0) (+ x y)))
  (* (* x 2.0) (+ x y))
  (log (* (* x 2.0) (+ x y)))
  (log (* (* x 2.0) (+ x y)))
  (exp (* (* x 2.0) (+ x y)))
  (* (* (* (* x 2.0) (+ x y)) (* (* x 2.0) (+ x y))) (* (* x 2.0) (+ x y)))
  (* (cbrt (* (* x 2.0) (+ x y))) (cbrt (* (* x 2.0) (+ x y))))
  (cbrt (* (* x 2.0) (+ x y)))
  (* (* (* (* x 2.0) (+ x y)) (* (* x 2.0) (+ x y))) (* (* x 2.0) (+ x y)))
  (sqrt (* (* x 2.0) (+ x y)))
  (sqrt (* (* x 2.0) (+ x y)))
  (* (sqrt 2.0) (sqrt (* x (+ x y))))
  (* (sqrt 2.0) (sqrt (* x (+ x y))))
  (* (* x 2.0) x)
  (* (* y x) 2.0)
  (* (* x 2.0) x)
  (* (* y x) 2.0)
  (* 2.0 (* (cbrt (* x (+ x y))) (cbrt (* x (+ x y)))))
  (* (sqrt (* x (+ x y))) 2.0)
  2.0
  (* x 2.0)
  (* (* x (+ x y)) (cbrt 2.0))
  (* (* x (+ x y)) (sqrt 2.0))
  (* (* x 2.0) (+ x y))
  (* (* (* x (* x x)) (fma y (* y y) (* x (* x x)))) 2.0)
  (* (* x x) (* (- (* x x) (* y y)) 2.0))
  (* x (+ x y))
  (* x (+ x y))
  (* x (+ x y))
  (* (* x 2.0) (+ x y))
  (* (* x 2.0) (+ x y))
  (* (* x 2.0) (+ x y))
10.402 * * * [progress]: adding candidates to table
10.929 * * [progress]: iteration 3 / 4
10.929 * * * [progress]: picking best candidate
10.938 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))>
10.938 * * * [progress]: localizing error
10.956 * * * [progress]: generating rewritten candidates
10.956 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
11.109 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
11.177 * * * [progress]: generating series expansions
11.177 * * * * [progress]: [ 1 / 2 ] generating series at (2)
11.177 * [backup-simplify]: Simplify (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))) into (* 2.0 (* (+ x y) x))
11.177 * [approximate]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in (x y) around 0
11.177 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in y
11.178 * [taylor]: Taking taylor expansion of 2.0 in y
11.178 * [backup-simplify]: Simplify 2.0 into 2.0
11.178 * [taylor]: Taking taylor expansion of (* (+ x y) x) in y
11.178 * [taylor]: Taking taylor expansion of (+ x y) in y
11.178 * [taylor]: Taking taylor expansion of x in y
11.178 * [backup-simplify]: Simplify x into x
11.178 * [taylor]: Taking taylor expansion of y in y
11.178 * [backup-simplify]: Simplify 0 into 0
11.178 * [backup-simplify]: Simplify 1 into 1
11.178 * [taylor]: Taking taylor expansion of x in y
11.178 * [backup-simplify]: Simplify x into x
11.178 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in x
11.178 * [taylor]: Taking taylor expansion of 2.0 in x
11.178 * [backup-simplify]: Simplify 2.0 into 2.0
11.178 * [taylor]: Taking taylor expansion of (* (+ x y) x) in x
11.178 * [taylor]: Taking taylor expansion of (+ x y) in x
11.178 * [taylor]: Taking taylor expansion of x in x
11.178 * [backup-simplify]: Simplify 0 into 0
11.178 * [backup-simplify]: Simplify 1 into 1
11.178 * [taylor]: Taking taylor expansion of y in x
11.178 * [backup-simplify]: Simplify y into y
11.178 * [taylor]: Taking taylor expansion of x in x
11.178 * [backup-simplify]: Simplify 0 into 0
11.178 * [backup-simplify]: Simplify 1 into 1
11.178 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ x y) x)) in x
11.178 * [taylor]: Taking taylor expansion of 2.0 in x
11.178 * [backup-simplify]: Simplify 2.0 into 2.0
11.178 * [taylor]: Taking taylor expansion of (* (+ x y) x) in x
11.178 * [taylor]: Taking taylor expansion of (+ x y) in x
11.178 * [taylor]: Taking taylor expansion of x in x
11.178 * [backup-simplify]: Simplify 0 into 0
11.178 * [backup-simplify]: Simplify 1 into 1
11.178 * [taylor]: Taking taylor expansion of y in x
11.178 * [backup-simplify]: Simplify y into y
11.178 * [taylor]: Taking taylor expansion of x in x
11.178 * [backup-simplify]: Simplify 0 into 0
11.178 * [backup-simplify]: Simplify 1 into 1
11.178 * [backup-simplify]: Simplify (+ 0 y) into y
11.178 * [backup-simplify]: Simplify (* y 0) into 0
11.179 * [backup-simplify]: Simplify (* 2.0 0) into 0
11.179 * [taylor]: Taking taylor expansion of 0 in y
11.179 * [backup-simplify]: Simplify 0 into 0
11.179 * [backup-simplify]: Simplify 0 into 0
11.179 * [backup-simplify]: Simplify (+ 1 0) into 1
11.180 * [backup-simplify]: Simplify (+ (* y 1) (* 1 0)) into y
11.180 * [backup-simplify]: Simplify (+ (* 2.0 y) (* 0 0)) into (* 2.0 y)
11.180 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
11.180 * [taylor]: Taking taylor expansion of 2.0 in y
11.180 * [backup-simplify]: Simplify 2.0 into 2.0
11.180 * [taylor]: Taking taylor expansion of y in y
11.180 * [backup-simplify]: Simplify 0 into 0
11.180 * [backup-simplify]: Simplify 1 into 1
11.180 * [backup-simplify]: Simplify (* 2.0 0) into 0
11.180 * [backup-simplify]: Simplify 0 into 0
11.180 * [backup-simplify]: Simplify 0 into 0
11.181 * [backup-simplify]: Simplify (+ 0 0) into 0
11.181 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 1) (* 0 0))) into 1
11.182 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 y) (* 0 0))) into 2.0
11.182 * [taylor]: Taking taylor expansion of 2.0 in y
11.182 * [backup-simplify]: Simplify 2.0 into 2.0
11.182 * [backup-simplify]: Simplify 2.0 into 2.0
11.183 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0
11.183 * [backup-simplify]: Simplify 2.0 into 2.0
11.183 * [backup-simplify]: Simplify 0 into 0
11.183 * [backup-simplify]: Simplify (+ 0 0) into 0
11.184 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
11.185 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
11.185 * [taylor]: Taking taylor expansion of 0 in y
11.185 * [backup-simplify]: Simplify 0 into 0
11.185 * [backup-simplify]: Simplify 0 into 0
11.185 * [backup-simplify]: Simplify 0 into 0
11.186 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0
11.186 * [backup-simplify]: Simplify 0 into 0
11.186 * [backup-simplify]: Simplify 0 into 0
11.186 * [backup-simplify]: Simplify (+ 0 0) into 0
11.187 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.188 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
11.188 * [taylor]: Taking taylor expansion of 0 in y
11.188 * [backup-simplify]: Simplify 0 into 0
11.188 * [backup-simplify]: Simplify 0 into 0
11.189 * [backup-simplify]: Simplify (+ (* 2.0 (* y x)) (* 2.0 (pow (* 1 x) 2))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
11.189 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) (/ 1 y))) (* (sqrt (+ (/ 1 x) (/ 1 y))) (* 2.0 (/ 1 x)))) into (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x))
11.189 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in (x y) around 0
11.189 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in y
11.189 * [taylor]: Taking taylor expansion of 2.0 in y
11.189 * [backup-simplify]: Simplify 2.0 into 2.0
11.189 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y
11.189 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
11.189 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.189 * [taylor]: Taking taylor expansion of x in y
11.189 * [backup-simplify]: Simplify x into x
11.190 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.190 * [taylor]: Taking taylor expansion of y in y
11.190 * [backup-simplify]: Simplify 0 into 0
11.190 * [backup-simplify]: Simplify 1 into 1
11.190 * [backup-simplify]: Simplify (/ 1 1) into 1
11.190 * [taylor]: Taking taylor expansion of x in y
11.190 * [backup-simplify]: Simplify x into x
11.190 * [backup-simplify]: Simplify (+ 0 1) into 1
11.190 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.190 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in x
11.190 * [taylor]: Taking taylor expansion of 2.0 in x
11.190 * [backup-simplify]: Simplify 2.0 into 2.0
11.190 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
11.190 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.190 * [taylor]: Taking taylor expansion of x in x
11.190 * [backup-simplify]: Simplify 0 into 0
11.191 * [backup-simplify]: Simplify 1 into 1
11.191 * [backup-simplify]: Simplify (/ 1 1) into 1
11.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.191 * [taylor]: Taking taylor expansion of y in x
11.191 * [backup-simplify]: Simplify y into y
11.191 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.191 * [taylor]: Taking taylor expansion of x in x
11.191 * [backup-simplify]: Simplify 0 into 0
11.191 * [backup-simplify]: Simplify 1 into 1
11.191 * [backup-simplify]: Simplify (+ 1 0) into 1
11.191 * [backup-simplify]: Simplify (/ 1 1) into 1
11.191 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 x) (/ 1 y)) x)) in x
11.192 * [taylor]: Taking taylor expansion of 2.0 in x
11.192 * [backup-simplify]: Simplify 2.0 into 2.0
11.192 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x
11.192 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.192 * [taylor]: Taking taylor expansion of x in x
11.192 * [backup-simplify]: Simplify 0 into 0
11.192 * [backup-simplify]: Simplify 1 into 1
11.192 * [backup-simplify]: Simplify (/ 1 1) into 1
11.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.192 * [taylor]: Taking taylor expansion of y in x
11.192 * [backup-simplify]: Simplify y into y
11.192 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.192 * [taylor]: Taking taylor expansion of x in x
11.192 * [backup-simplify]: Simplify 0 into 0
11.192 * [backup-simplify]: Simplify 1 into 1
11.192 * [backup-simplify]: Simplify (+ 1 0) into 1
11.193 * [backup-simplify]: Simplify (/ 1 1) into 1
11.193 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
11.193 * [taylor]: Taking taylor expansion of 2.0 in y
11.193 * [backup-simplify]: Simplify 2.0 into 2.0
11.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.194 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
11.194 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
11.194 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 y)) (* 0 1)) into (* 2.0 (/ 1 y))
11.194 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
11.195 * [taylor]: Taking taylor expansion of 2.0 in y
11.195 * [backup-simplify]: Simplify 2.0 into 2.0
11.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.195 * [taylor]: Taking taylor expansion of y in y
11.195 * [backup-simplify]: Simplify 0 into 0
11.195 * [backup-simplify]: Simplify 1 into 1
11.195 * [backup-simplify]: Simplify (/ 1 1) into 1
11.195 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
11.195 * [backup-simplify]: Simplify 2.0 into 2.0
11.195 * [backup-simplify]: Simplify 2.0 into 2.0
11.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.196 * [backup-simplify]: Simplify (+ 0 0) into 0
11.197 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
11.198 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
11.198 * [taylor]: Taking taylor expansion of 0 in y
11.198 * [backup-simplify]: Simplify 0 into 0
11.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.199 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
11.199 * [backup-simplify]: Simplify 0 into 0
11.199 * [backup-simplify]: Simplify 0 into 0
11.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.200 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.200 * [backup-simplify]: Simplify (+ 0 0) into 0
11.202 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.203 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
11.203 * [taylor]: Taking taylor expansion of 0 in y
11.203 * [backup-simplify]: Simplify 0 into 0
11.203 * [backup-simplify]: Simplify 0 into 0
11.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.204 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
11.205 * [backup-simplify]: Simplify 0 into 0
11.205 * [backup-simplify]: Simplify 0 into 0
11.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.206 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.207 * [backup-simplify]: Simplify (+ 0 0) into 0
11.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.212 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
11.212 * [taylor]: Taking taylor expansion of 0 in y
11.212 * [backup-simplify]: Simplify 0 into 0
11.212 * [backup-simplify]: Simplify 0 into 0
11.213 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 2.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
11.215 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (* (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (* 2.0 (/ 1 (- x))))) into (* -2.0 (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x))
11.215 * [approximate]: Taking taylor expansion of (* -2.0 (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x)) in (x y) around 0
11.215 * [taylor]: Taking taylor expansion of (* -2.0 (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x)) in y
11.215 * [taylor]: Taking taylor expansion of -2.0 in y
11.215 * [backup-simplify]: Simplify -2.0 into -2.0
11.215 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x) in y
11.215 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) in y
11.215 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in y
11.215 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in y
11.215 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
11.215 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.215 * [taylor]: Taking taylor expansion of x in y
11.215 * [backup-simplify]: Simplify x into x
11.215 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.215 * [taylor]: Taking taylor expansion of y in y
11.215 * [backup-simplify]: Simplify 0 into 0
11.215 * [backup-simplify]: Simplify 1 into 1
11.216 * [backup-simplify]: Simplify (/ 1 1) into 1
11.216 * [backup-simplify]: Simplify (+ 0 1) into 1
11.217 * [backup-simplify]: Simplify (- 1) into -1
11.217 * [backup-simplify]: Simplify (sqrt 0) into 0
11.218 * [backup-simplify]: Simplify (- 1) into -1
11.219 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
11.219 * [taylor]: Taking taylor expansion of x in y
11.220 * [backup-simplify]: Simplify x into x
11.220 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
11.220 * [backup-simplify]: Simplify (/ +nan.0 x) into (/ +nan.0 x)
11.220 * [taylor]: Taking taylor expansion of (* -2.0 (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x)) in x
11.220 * [taylor]: Taking taylor expansion of -2.0 in x
11.220 * [backup-simplify]: Simplify -2.0 into -2.0
11.220 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x) in x
11.220 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) in x
11.220 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
11.220 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
11.220 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.220 * [taylor]: Taking taylor expansion of x in x
11.220 * [backup-simplify]: Simplify 0 into 0
11.220 * [backup-simplify]: Simplify 1 into 1
11.221 * [backup-simplify]: Simplify (/ 1 1) into 1
11.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.221 * [taylor]: Taking taylor expansion of y in x
11.221 * [backup-simplify]: Simplify y into y
11.221 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.222 * [backup-simplify]: Simplify (+ 1 0) into 1
11.222 * [backup-simplify]: Simplify (- 1) into -1
11.222 * [backup-simplify]: Simplify (sqrt 0) into 0
11.223 * [backup-simplify]: Simplify (- 1) into -1
11.224 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
11.224 * [taylor]: Taking taylor expansion of x in x
11.224 * [backup-simplify]: Simplify 0 into 0
11.224 * [backup-simplify]: Simplify 1 into 1
11.225 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
11.225 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
11.225 * [taylor]: Taking taylor expansion of (* -2.0 (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x)) in x
11.225 * [taylor]: Taking taylor expansion of -2.0 in x
11.225 * [backup-simplify]: Simplify -2.0 into -2.0
11.225 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) x) in x
11.225 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) in x
11.225 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
11.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
11.226 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.226 * [taylor]: Taking taylor expansion of x in x
11.226 * [backup-simplify]: Simplify 0 into 0
11.226 * [backup-simplify]: Simplify 1 into 1
11.226 * [backup-simplify]: Simplify (/ 1 1) into 1
11.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.226 * [taylor]: Taking taylor expansion of y in x
11.226 * [backup-simplify]: Simplify y into y
11.226 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.227 * [backup-simplify]: Simplify (+ 1 0) into 1
11.227 * [backup-simplify]: Simplify (- 1) into -1
11.228 * [backup-simplify]: Simplify (sqrt 0) into 0
11.228 * [backup-simplify]: Simplify (- 1) into -1
11.229 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
11.229 * [taylor]: Taking taylor expansion of x in x
11.229 * [backup-simplify]: Simplify 0 into 0
11.229 * [backup-simplify]: Simplify 1 into 1
11.230 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
11.230 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
11.231 * [backup-simplify]: Simplify (* -2.0 +nan.0) into +nan.0
11.231 * [taylor]: Taking taylor expansion of +nan.0 in y
11.231 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.231 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.232 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
11.232 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
11.234 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ +nan.0 (/ 1 y)))
11.235 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ +nan.0 (/ 1 y)))) (* (* +nan.0 (+ +nan.0 (/ 1 y))) +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.236 * [backup-simplify]: Simplify (- (/ (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) 1) (+ (* +nan.0 (/ 0 1)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.237 * [backup-simplify]: Simplify (+ (* -2.0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (* 0 +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.237 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
11.237 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
11.238 * [taylor]: Taking taylor expansion of +nan.0 in y
11.238 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.238 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
11.238 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
11.238 * [taylor]: Taking taylor expansion of +nan.0 in y
11.238 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.238 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.238 * [taylor]: Taking taylor expansion of y in y
11.238 * [backup-simplify]: Simplify 0 into 0
11.238 * [backup-simplify]: Simplify 1 into 1
11.238 * [backup-simplify]: Simplify (/ 1 1) into 1
11.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.240 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
11.240 * [backup-simplify]: Simplify (- 0) into 0
11.241 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
11.242 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.242 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.242 * [backup-simplify]: Simplify 0 into 0
11.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.244 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.244 * [backup-simplify]: Simplify (+ 0 0) into 0
11.244 * [backup-simplify]: Simplify (- 0) into 0
11.246 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ +nan.0 (/ 1 y))))))) (* 2 0)) into (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.248 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (+ (* (* +nan.0 (+ +nan.0 (/ 1 y))) (* +nan.0 (+ +nan.0 (/ 1 y)))) (* (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y))))) +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))
11.251 * [backup-simplify]: Simplify (- (/ (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))) 1) (+ (* +nan.0 (/ 0 1)) (* (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) (/ 0 1)))) into (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))
11.257 * [backup-simplify]: Simplify (+ (* -2.0 (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))) (+ (* 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (* 0 +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))
11.257 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))) in y
11.257 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) in y
11.257 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
11.257 * [taylor]: Taking taylor expansion of +nan.0 in y
11.257 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.257 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.257 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.257 * [taylor]: Taking taylor expansion of y in y
11.257 * [backup-simplify]: Simplify 0 into 0
11.257 * [backup-simplify]: Simplify 1 into 1
11.258 * [backup-simplify]: Simplify (* 1 1) into 1
11.258 * [backup-simplify]: Simplify (/ 1 1) into 1
11.258 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
11.258 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
11.258 * [taylor]: Taking taylor expansion of +nan.0 in y
11.258 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.258 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
11.258 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
11.258 * [taylor]: Taking taylor expansion of +nan.0 in y
11.258 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.258 * [taylor]: Taking taylor expansion of y in y
11.258 * [backup-simplify]: Simplify 0 into 0
11.258 * [backup-simplify]: Simplify 1 into 1
11.259 * [backup-simplify]: Simplify (/ 1 1) into 1
11.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.261 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.263 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
11.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.264 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
11.265 * [backup-simplify]: Simplify (- 0) into 0
11.265 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
11.265 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.266 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
11.267 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.267 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.268 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* 1 (/ 1 (- x)))) (+ (- +nan.0) (* +nan.0 (* 1 (/ 1 (/ 1 (- x))))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
11.268 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
11.268 * [backup-simplify]: Simplify (* (sqrt (+ x y)) (* 2.0 x)) into (* 2.0 (* (sqrt (+ x y)) x))
11.268 * [approximate]: Taking taylor expansion of (* 2.0 (* (sqrt (+ x y)) x)) in (x y) around 0
11.268 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (+ x y)) x)) in y
11.268 * [taylor]: Taking taylor expansion of 2.0 in y
11.268 * [backup-simplify]: Simplify 2.0 into 2.0
11.268 * [taylor]: Taking taylor expansion of (* (sqrt (+ x y)) x) in y
11.268 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in y
11.268 * [taylor]: Taking taylor expansion of (+ x y) in y
11.268 * [taylor]: Taking taylor expansion of x in y
11.268 * [backup-simplify]: Simplify x into x
11.268 * [taylor]: Taking taylor expansion of y in y
11.268 * [backup-simplify]: Simplify 0 into 0
11.268 * [backup-simplify]: Simplify 1 into 1
11.268 * [backup-simplify]: Simplify (+ x 0) into x
11.268 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
11.269 * [backup-simplify]: Simplify (+ 0 1) into 1
11.269 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt x))) into (* 1/2 (sqrt (/ 1 x)))
11.269 * [taylor]: Taking taylor expansion of x in y
11.269 * [backup-simplify]: Simplify x into x
11.269 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (+ x y)) x)) in x
11.269 * [taylor]: Taking taylor expansion of 2.0 in x
11.269 * [backup-simplify]: Simplify 2.0 into 2.0
11.269 * [taylor]: Taking taylor expansion of (* (sqrt (+ x y)) x) in x
11.269 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x
11.269 * [taylor]: Taking taylor expansion of (+ x y) in x
11.269 * [taylor]: Taking taylor expansion of x in x
11.269 * [backup-simplify]: Simplify 0 into 0
11.269 * [backup-simplify]: Simplify 1 into 1
11.269 * [taylor]: Taking taylor expansion of y in x
11.269 * [backup-simplify]: Simplify y into y
11.269 * [backup-simplify]: Simplify (+ 0 y) into y
11.269 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
11.270 * [backup-simplify]: Simplify (+ 1 0) into 1
11.270 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y)))
11.270 * [taylor]: Taking taylor expansion of x in x
11.270 * [backup-simplify]: Simplify 0 into 0
11.270 * [backup-simplify]: Simplify 1 into 1
11.270 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (+ x y)) x)) in x
11.270 * [taylor]: Taking taylor expansion of 2.0 in x
11.270 * [backup-simplify]: Simplify 2.0 into 2.0
11.270 * [taylor]: Taking taylor expansion of (* (sqrt (+ x y)) x) in x
11.270 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x
11.270 * [taylor]: Taking taylor expansion of (+ x y) in x
11.270 * [taylor]: Taking taylor expansion of x in x
11.270 * [backup-simplify]: Simplify 0 into 0
11.270 * [backup-simplify]: Simplify 1 into 1
11.270 * [taylor]: Taking taylor expansion of y in x
11.270 * [backup-simplify]: Simplify y into y
11.270 * [backup-simplify]: Simplify (+ 0 y) into y
11.270 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
11.270 * [backup-simplify]: Simplify (+ 1 0) into 1
11.270 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y)))
11.270 * [taylor]: Taking taylor expansion of x in x
11.271 * [backup-simplify]: Simplify 0 into 0
11.271 * [backup-simplify]: Simplify 1 into 1
11.271 * [backup-simplify]: Simplify (* (sqrt y) 0) into 0
11.271 * [backup-simplify]: Simplify (* 2.0 0) into 0
11.271 * [taylor]: Taking taylor expansion of 0 in y
11.271 * [backup-simplify]: Simplify 0 into 0
11.271 * [backup-simplify]: Simplify 0 into 0
11.271 * [backup-simplify]: Simplify (+ (* (sqrt y) 1) (* (* 1/2 (sqrt (/ 1 y))) 0)) into (sqrt y)
11.272 * [backup-simplify]: Simplify (+ (* 2.0 (sqrt y)) (* 0 0)) into (* 2.0 (sqrt y))
11.272 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt y)) in y
11.272 * [taylor]: Taking taylor expansion of 2.0 in y
11.272 * [backup-simplify]: Simplify 2.0 into 2.0
11.272 * [taylor]: Taking taylor expansion of (sqrt y) in y
11.272 * [taylor]: Taking taylor expansion of y in y
11.272 * [backup-simplify]: Simplify 0 into 0
11.272 * [backup-simplify]: Simplify 1 into 1
11.272 * [backup-simplify]: Simplify (sqrt 0) into 0
11.273 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.273 * [backup-simplify]: Simplify (* 2.0 0) into 0
11.273 * [backup-simplify]: Simplify 0 into 0
11.273 * [backup-simplify]: Simplify 0 into 0
11.274 * [backup-simplify]: Simplify (+ 0 0) into 0
11.274 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (/ 1 y))) 2) (+)) (* 2 (sqrt y))) into (* -1/8 (sqrt (/ 1 (pow y 3))))
11.275 * [backup-simplify]: Simplify (+ (* (sqrt y) 0) (+ (* (* 1/2 (sqrt (/ 1 y))) 1) (* (* -1/8 (sqrt (/ 1 (pow y 3)))) 0))) into (* 1/2 (sqrt (/ 1 y)))
11.275 * [backup-simplify]: Simplify (+ (* 2.0 (* 1/2 (sqrt (/ 1 y)))) (+ (* 0 (sqrt y)) (* 0 0))) into (* 1.0 (sqrt (/ 1 y)))
11.276 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 y))) in y
11.276 * [taylor]: Taking taylor expansion of 1.0 in y
11.276 * [backup-simplify]: Simplify 1.0 into 1.0
11.276 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
11.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.276 * [taylor]: Taking taylor expansion of y in y
11.276 * [backup-simplify]: Simplify 0 into 0
11.276 * [backup-simplify]: Simplify 1 into 1
11.276 * [backup-simplify]: Simplify (/ 1 1) into 1
11.276 * [backup-simplify]: Simplify (sqrt 0) into 0
11.277 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.278 * [backup-simplify]: Simplify (+ (* 1.0 +nan.0) (* 0 0)) into (- +nan.0)
11.278 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.279 * [backup-simplify]: Simplify (+ (* 2.0 +nan.0) (* 0 0)) into (- +nan.0)
11.279 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.279 * [backup-simplify]: Simplify 0 into 0
11.280 * [backup-simplify]: Simplify (+ 0 0) into 0
11.281 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* 1/2 (sqrt (/ 1 y))) (* -1/8 (sqrt (/ 1 (pow y 3)))))))) (* 2 (sqrt y))) into (* 1/16 (sqrt (/ 1 (pow y 5))))
11.282 * [backup-simplify]: Simplify (+ (* (sqrt y) 0) (+ (* (* 1/2 (sqrt (/ 1 y))) 0) (+ (* (* -1/8 (sqrt (/ 1 (pow y 3)))) 1) (* (* 1/16 (sqrt (/ 1 (pow y 5)))) 0)))) into (- (* 1/8 (sqrt (/ 1 (pow y 3)))))
11.283 * [backup-simplify]: Simplify (+ (* 2.0 (- (* 1/8 (sqrt (/ 1 (pow y 3)))))) (+ (* 0 (* 1/2 (sqrt (/ 1 y)))) (+ (* 0 (sqrt y)) (* 0 0)))) into (- (* 0.25 (sqrt (/ 1 (pow y 3)))))
11.283 * [taylor]: Taking taylor expansion of (- (* 0.25 (sqrt (/ 1 (pow y 3))))) in y
11.283 * [taylor]: Taking taylor expansion of (* 0.25 (sqrt (/ 1 (pow y 3)))) in y
11.283 * [taylor]: Taking taylor expansion of 0.25 in y
11.283 * [backup-simplify]: Simplify 0.25 into 0.25
11.283 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y
11.283 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
11.283 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.283 * [taylor]: Taking taylor expansion of y in y
11.283 * [backup-simplify]: Simplify 0 into 0
11.283 * [backup-simplify]: Simplify 1 into 1
11.283 * [backup-simplify]: Simplify (* 1 1) into 1
11.283 * [backup-simplify]: Simplify (* 1 1) into 1
11.284 * [backup-simplify]: Simplify (/ 1 1) into 1
11.284 * [backup-simplify]: Simplify (sqrt 0) into 0
11.285 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.286 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.288 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
11.289 * [backup-simplify]: Simplify (+ (* 0.25 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0)
11.290 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.290 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.292 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 3)) (+ (* (- +nan.0) (* y x)) (* (- +nan.0) (pow (* 1 x) 2)))) into (- (+ (* +nan.0 (pow x 3)) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (* x y)))))))
11.293 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) (/ 1 y))) (* 2.0 (/ 1 x))) into (* 2.0 (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y)))))
11.293 * [approximate]: Taking taylor expansion of (* 2.0 (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y))))) in (x y) around 0
11.293 * [taylor]: Taking taylor expansion of (* 2.0 (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y))))) in y
11.293 * [taylor]: Taking taylor expansion of 2.0 in y
11.293 * [backup-simplify]: Simplify 2.0 into 2.0
11.293 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y)))) in y
11.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.293 * [taylor]: Taking taylor expansion of x in y
11.293 * [backup-simplify]: Simplify x into x
11.293 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.293 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 y))) in y
11.293 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
11.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.294 * [taylor]: Taking taylor expansion of x in y
11.294 * [backup-simplify]: Simplify x into x
11.294 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.294 * [taylor]: Taking taylor expansion of y in y
11.294 * [backup-simplify]: Simplify 0 into 0
11.294 * [backup-simplify]: Simplify 1 into 1
11.294 * [backup-simplify]: Simplify (/ 1 1) into 1
11.295 * [backup-simplify]: Simplify (+ 0 1) into 1
11.295 * [backup-simplify]: Simplify (sqrt 0) into 0
11.297 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.297 * [taylor]: Taking taylor expansion of (* 2.0 (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y))))) in x
11.297 * [taylor]: Taking taylor expansion of 2.0 in x
11.297 * [backup-simplify]: Simplify 2.0 into 2.0
11.297 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y)))) in x
11.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.297 * [taylor]: Taking taylor expansion of x in x
11.297 * [backup-simplify]: Simplify 0 into 0
11.297 * [backup-simplify]: Simplify 1 into 1
11.297 * [backup-simplify]: Simplify (/ 1 1) into 1
11.297 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 y))) in x
11.297 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.297 * [taylor]: Taking taylor expansion of x in x
11.297 * [backup-simplify]: Simplify 0 into 0
11.297 * [backup-simplify]: Simplify 1 into 1
11.298 * [backup-simplify]: Simplify (/ 1 1) into 1
11.298 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.298 * [taylor]: Taking taylor expansion of y in x
11.298 * [backup-simplify]: Simplify y into y
11.298 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.298 * [backup-simplify]: Simplify (+ 1 0) into 1
11.299 * [backup-simplify]: Simplify (sqrt 0) into 0
11.300 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.300 * [taylor]: Taking taylor expansion of (* 2.0 (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y))))) in x
11.300 * [taylor]: Taking taylor expansion of 2.0 in x
11.300 * [backup-simplify]: Simplify 2.0 into 2.0
11.300 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (+ (/ 1 x) (/ 1 y)))) in x
11.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.300 * [taylor]: Taking taylor expansion of x in x
11.300 * [backup-simplify]: Simplify 0 into 0
11.301 * [backup-simplify]: Simplify 1 into 1
11.301 * [backup-simplify]: Simplify (/ 1 1) into 1
11.301 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 y))) in x
11.301 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.301 * [taylor]: Taking taylor expansion of x in x
11.301 * [backup-simplify]: Simplify 0 into 0
11.301 * [backup-simplify]: Simplify 1 into 1
11.301 * [backup-simplify]: Simplify (/ 1 1) into 1
11.302 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.302 * [taylor]: Taking taylor expansion of y in x
11.302 * [backup-simplify]: Simplify y into y
11.302 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.302 * [backup-simplify]: Simplify (+ 1 0) into 1
11.303 * [backup-simplify]: Simplify (sqrt 0) into 0
11.304 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.304 * [backup-simplify]: Simplify (* 1 0) into 0
11.305 * [backup-simplify]: Simplify (* 2.0 0) into 0
11.305 * [taylor]: Taking taylor expansion of 0 in y
11.305 * [backup-simplify]: Simplify 0 into 0
11.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.307 * [backup-simplify]: Simplify (+ (* 1 +nan.0) (* 0 0)) into (- +nan.0)
11.310 * [backup-simplify]: Simplify (+ (* 2.0 (- +nan.0)) (* 0 0)) into (- +nan.0)
11.310 * [taylor]: Taking taylor expansion of (- +nan.0) in y
11.310 * [taylor]: Taking taylor expansion of +nan.0 in y
11.310 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.310 * [backup-simplify]: Simplify 0 into 0
11.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.311 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
11.313 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 y) +nan.0))
11.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.315 * [backup-simplify]: Simplify (+ (* 1 (* +nan.0 (- (/ 1 y) +nan.0))) (+ (* 0 +nan.0) (* 0 0))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.316 * [backup-simplify]: Simplify (+ (* 2.0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (+ (* 0 (- +nan.0)) (* 0 0))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.316 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
11.316 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
11.316 * [taylor]: Taking taylor expansion of +nan.0 in y
11.316 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.316 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
11.316 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
11.316 * [taylor]: Taking taylor expansion of +nan.0 in y
11.316 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.317 * [taylor]: Taking taylor expansion of y in y
11.317 * [backup-simplify]: Simplify 0 into 0
11.317 * [backup-simplify]: Simplify 1 into 1
11.317 * [backup-simplify]: Simplify (/ 1 1) into 1
11.317 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
11.318 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.319 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
11.320 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.320 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.321 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.321 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.321 * [backup-simplify]: Simplify 0 into 0
11.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.323 * [backup-simplify]: Simplify (+ 0 0) into 0
11.324 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 y) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.325 * [backup-simplify]: Simplify (+ (* 1 (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (+ (* 0 (* +nan.0 (- (/ 1 y) +nan.0))) (+ (* 0 +nan.0) (* 0 0)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.327 * [backup-simplify]: Simplify (+ (* 2.0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (+ (* 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (+ (* 0 (- +nan.0)) (* 0 0)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.327 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
11.327 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
11.327 * [taylor]: Taking taylor expansion of +nan.0 in y
11.327 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.327 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
11.327 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
11.327 * [taylor]: Taking taylor expansion of +nan.0 in y
11.327 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.327 * [taylor]: Taking taylor expansion of y in y
11.327 * [backup-simplify]: Simplify 0 into 0
11.327 * [backup-simplify]: Simplify 1 into 1
11.327 * [backup-simplify]: Simplify (/ 1 1) into 1
11.327 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
11.328 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.328 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
11.329 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.329 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.330 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))) (+ (* (- +nan.0) (* 1 (/ 1 (/ 1 x)))) (* (- +nan.0) (* (/ 1 (/ 1 y)) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
11.331 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (* 2.0 (/ 1 (- x)))) into (* -2.0 (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x))
11.331 * [approximate]: Taking taylor expansion of (* -2.0 (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x)) in (x y) around 0
11.331 * [taylor]: Taking taylor expansion of (* -2.0 (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x)) in y
11.331 * [taylor]: Taking taylor expansion of -2.0 in y
11.331 * [backup-simplify]: Simplify -2.0 into -2.0
11.331 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x) in y
11.331 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in y
11.331 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in y
11.331 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
11.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.331 * [taylor]: Taking taylor expansion of x in y
11.331 * [backup-simplify]: Simplify x into x
11.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.331 * [taylor]: Taking taylor expansion of y in y
11.331 * [backup-simplify]: Simplify 0 into 0
11.331 * [backup-simplify]: Simplify 1 into 1
11.331 * [backup-simplify]: Simplify (/ 1 1) into 1
11.332 * [backup-simplify]: Simplify (+ 0 1) into 1
11.332 * [backup-simplify]: Simplify (- 1) into -1
11.332 * [backup-simplify]: Simplify (sqrt 0) into 0
11.332 * [backup-simplify]: Simplify (- 1) into -1
11.333 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
11.333 * [taylor]: Taking taylor expansion of x in y
11.333 * [backup-simplify]: Simplify x into x
11.333 * [backup-simplify]: Simplify (/ +nan.0 x) into (/ +nan.0 x)
11.333 * [taylor]: Taking taylor expansion of (* -2.0 (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x)) in x
11.333 * [taylor]: Taking taylor expansion of -2.0 in x
11.333 * [backup-simplify]: Simplify -2.0 into -2.0
11.333 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x) in x
11.333 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
11.333 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
11.333 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.334 * [taylor]: Taking taylor expansion of x in x
11.334 * [backup-simplify]: Simplify 0 into 0
11.334 * [backup-simplify]: Simplify 1 into 1
11.334 * [backup-simplify]: Simplify (/ 1 1) into 1
11.334 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.334 * [taylor]: Taking taylor expansion of y in x
11.334 * [backup-simplify]: Simplify y into y
11.334 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.334 * [backup-simplify]: Simplify (+ 1 0) into 1
11.334 * [backup-simplify]: Simplify (- 1) into -1
11.335 * [backup-simplify]: Simplify (sqrt 0) into 0
11.335 * [backup-simplify]: Simplify (- 1) into -1
11.336 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
11.336 * [taylor]: Taking taylor expansion of x in x
11.336 * [backup-simplify]: Simplify 0 into 0
11.336 * [backup-simplify]: Simplify 1 into 1
11.336 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
11.336 * [taylor]: Taking taylor expansion of (* -2.0 (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x)) in x
11.336 * [taylor]: Taking taylor expansion of -2.0 in x
11.336 * [backup-simplify]: Simplify -2.0 into -2.0
11.336 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 x) (/ 1 y)))) x) in x
11.336 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
11.336 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
11.336 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
11.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.336 * [taylor]: Taking taylor expansion of x in x
11.336 * [backup-simplify]: Simplify 0 into 0
11.336 * [backup-simplify]: Simplify 1 into 1
11.337 * [backup-simplify]: Simplify (/ 1 1) into 1
11.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.337 * [taylor]: Taking taylor expansion of y in x
11.337 * [backup-simplify]: Simplify y into y
11.337 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.337 * [backup-simplify]: Simplify (+ 1 0) into 1
11.337 * [backup-simplify]: Simplify (- 1) into -1
11.338 * [backup-simplify]: Simplify (sqrt 0) into 0
11.338 * [backup-simplify]: Simplify (- 1) into -1
11.339 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
11.339 * [taylor]: Taking taylor expansion of x in x
11.339 * [backup-simplify]: Simplify 0 into 0
11.339 * [backup-simplify]: Simplify 1 into 1
11.339 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
11.339 * [backup-simplify]: Simplify (* -2.0 +nan.0) into +nan.0
11.339 * [taylor]: Taking taylor expansion of +nan.0 in y
11.339 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.339 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.340 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
11.340 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
11.341 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ +nan.0 (/ 1 y)))
11.342 * [backup-simplify]: Simplify (- (/ (* +nan.0 (+ +nan.0 (/ 1 y))) 1) (+ (* +nan.0 (/ 0 1)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.342 * [backup-simplify]: Simplify (+ (* -2.0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (* 0 +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.342 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
11.342 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
11.342 * [taylor]: Taking taylor expansion of +nan.0 in y
11.343 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.343 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
11.343 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
11.343 * [taylor]: Taking taylor expansion of +nan.0 in y
11.343 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.343 * [taylor]: Taking taylor expansion of y in y
11.343 * [backup-simplify]: Simplify 0 into 0
11.343 * [backup-simplify]: Simplify 1 into 1
11.343 * [backup-simplify]: Simplify (/ 1 1) into 1
11.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.344 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
11.344 * [backup-simplify]: Simplify (- 0) into 0
11.344 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
11.345 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.345 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.345 * [backup-simplify]: Simplify 0 into 0
11.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.346 * [backup-simplify]: Simplify (+ 0 0) into 0
11.347 * [backup-simplify]: Simplify (- 0) into 0
11.347 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ +nan.0 (/ 1 y))))))) (* 2 0)) into (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.348 * [backup-simplify]: Simplify (- (/ (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y))))) 1) (+ (* +nan.0 (/ 0 1)) (* (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) (/ 0 1)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.349 * [backup-simplify]: Simplify (+ (* -2.0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (+ (* 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (* 0 +nan.0))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
11.349 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
11.349 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
11.349 * [taylor]: Taking taylor expansion of +nan.0 in y
11.349 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.349 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
11.350 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
11.350 * [taylor]: Taking taylor expansion of +nan.0 in y
11.350 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.350 * [taylor]: Taking taylor expansion of y in y
11.350 * [backup-simplify]: Simplify 0 into 0
11.350 * [backup-simplify]: Simplify 1 into 1
11.350 * [backup-simplify]: Simplify (/ 1 1) into 1
11.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.351 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
11.351 * [backup-simplify]: Simplify (- 0) into 0
11.351 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
11.352 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
11.353 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
11.354 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* 1 (/ 1 (- x)))) (+ (- +nan.0) (* +nan.0 (* 1 (/ 1 (/ 1 (- x))))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
11.354 * * * [progress]: simplifying candidates
11.354 * * * * [progress]: [ 1 / 69 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.355 * * * * [progress]: [ 2 / 69 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.355 * * * * [progress]: [ 3 / 69 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.355 * * * * [progress]: [ 4 / 69 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))) 1))>
11.355 * * * * [progress]: [ 5 / 69 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))) 1))>
11.355 * * * * [progress]: [ 6 / 69 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))) 1))>
11.355 * * * * [progress]: [ 7 / 69 ] simplifiying candidate #<alt (λ (x y) (pow (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))) 1))>
11.355 * * * * [progress]: [ 8 / 69 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (+ (log 2.0) (log x))))))>
11.355 * * * * [progress]: [ 9 / 69 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log (* 2.0 x))))))>
11.355 * * * * [progress]: [ 10 / 69 ] simplifiying candidate #<alt (λ (x y) (exp (+ (log (sqrt (+ x y))) (log (* (sqrt (+ x y)) (* 2.0 x))))))>
11.355 * * * * [progress]: [ 11 / 69 ] simplifiying candidate #<alt (λ (x y) (exp (log (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.355 * * * * [progress]: [ 12 / 69 ] simplifiying candidate #<alt (λ (x y) (log (exp (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.355 * * * * [progress]: [ 13 / 69 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 2.0) 2.0) (* (* x x) x))))))>
11.355 * * * * [progress]: [ 14 / 69 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 x) (* 2.0 x)) (* 2.0 x))))))>
11.355 * * * * [progress]: [ 15 / 69 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (* 2.0 x)) (* (sqrt (+ x y)) (* 2.0 x))) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.356 * * * * [progress]: [ 16 / 69 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))) (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))) (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.356 * * * * [progress]: [ 17 / 69 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.356 * * * * [progress]: [ 18 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))) (sqrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.356 * * * * [progress]: [ 19 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (+ (* x x) (- (* y y) (* x y)))))))>
11.356 * * * * [progress]: [ 20 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (- (* x x) (* y y))) (* 2.0 x))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- x y)))))>
11.356 * * * * [progress]: [ 21 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x))) (* (sqrt (- x y)) (sqrt (+ (* x x) (- (* y y) (* x y)))))))>
11.356 * * * * [progress]: [ 22 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (- (* x x) (* y y))) (* (sqrt (- (* x x) (* y y))) (* 2.0 x))) (* (sqrt (- x y)) (sqrt (- x y)))))>
11.356 * * * * [progress]: [ 23 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.356 * * * * [progress]: [ 24 / 69 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (+ x y)) (sqrt (+ x y))) (* 2.0 x)))>
11.356 * * * * [progress]: [ 25 / 69 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt (sqrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.356 * * * * [progress]: [ 26 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (sqrt (cbrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.356 * * * * [progress]: [ 27 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt (+ x y))) (* (sqrt (sqrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.356 * * * * [progress]: [ 28 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 1) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.356 * * * * [progress]: [ 29 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt 1) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.357 * * * * [progress]: [ 30 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (sqrt (+ x y))) (* (sqrt (sqrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.357 * * * * [progress]: [ 31 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1 (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.357 * * * * [progress]: [ 32 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (+ x y)) (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x))) (sqrt (+ (* x x) (- (* y y) (* x y))))))>
11.357 * * * * [progress]: [ 33 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (+ x y)) (* (sqrt (- (* x x) (* y y))) (* 2.0 x))) (sqrt (- x y))))>
11.357 * * * * [progress]: [ 34 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ x y)) (* 2.0 x))) (sqrt (+ (* x x) (- (* y y) (* x y))))))>
11.357 * * * * [progress]: [ 35 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ x y)) (* 2.0 x))) (sqrt (- x y))))>
11.357 * * * * [progress]: [ 36 / 69 ] simplifiying candidate #<alt (λ (x y) (* (* (sqrt (+ x y)) (* 2.0 x)) (sqrt (+ x y))))>
11.357 * * * * [progress]: [ 37 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (posit16->real (real->posit16 (* (sqrt (+ x y)) (* 2.0 x))))))>
11.357 * * * * [progress]: [ 38 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (log1p (expm1 (* (sqrt (+ x y)) (* 2.0 x))))))>
11.357 * * * * [progress]: [ 39 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (expm1 (log1p (* (sqrt (+ x y)) (* 2.0 x))))))>
11.357 * * * * [progress]: [ 40 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (pow (* (sqrt (+ x y)) (* 2.0 x)) 1)))>
11.357 * * * * [progress]: [ 41 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (pow (* (sqrt (+ x y)) (* 2.0 x)) 1)))>
11.357 * * * * [progress]: [ 42 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (pow (* (sqrt (+ x y)) (* 2.0 x)) 1)))>
11.357 * * * * [progress]: [ 43 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (exp (+ (log (sqrt (+ x y))) (+ (log 2.0) (log x))))))>
11.357 * * * * [progress]: [ 44 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (exp (+ (log (sqrt (+ x y))) (log (* 2.0 x))))))>
11.358 * * * * [progress]: [ 45 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (exp (log (* (sqrt (+ x y)) (* 2.0 x))))))>
11.358 * * * * [progress]: [ 46 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (log (exp (* (sqrt (+ x y)) (* 2.0 x))))))>
11.358 * * * * [progress]: [ 47 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (cbrt (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 2.0) 2.0) (* (* x x) x))))))>
11.358 * * * * [progress]: [ 48 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (cbrt (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 x) (* 2.0 x)) (* 2.0 x))))))>
11.358 * * * * [progress]: [ 49 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (* (cbrt (* (sqrt (+ x y)) (* 2.0 x))) (cbrt (* (sqrt (+ x y)) (* 2.0 x)))) (cbrt (* (sqrt (+ x y)) (* 2.0 x))))))>
11.358 * * * * [progress]: [ 50 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (cbrt (* (* (* (sqrt (+ x y)) (* 2.0 x)) (* (sqrt (+ x y)) (* 2.0 x))) (* (sqrt (+ x y)) (* 2.0 x))))))>
11.358 * * * * [progress]: [ 51 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (* (sqrt (+ x y)) (* 2.0 x))) (sqrt (* (sqrt (+ x y)) (* 2.0 x))))))>
11.358 * * * * [progress]: [ 52 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* 1 (* (sqrt (+ x y)) (* 2.0 x)))))>
11.358 * * * * [progress]: [ 53 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (* (sqrt (+ x y)) 2.0) x)))>
11.358 * * * * [progress]: [ 54 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y)))) (* (cbrt (sqrt (+ x y))) (* 2.0 x)))))>
11.358 * * * * [progress]: [ 55 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (sqrt (cbrt (+ x y))) (* 2.0 x)))))>
11.358 * * * * [progress]: [ 56 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (sqrt (+ x y))) (* (sqrt (sqrt (+ x y))) (* 2.0 x)))))>
11.358 * * * * [progress]: [ 57 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt 1) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.358 * * * * [progress]: [ 58 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt 1) (* (sqrt (+ x y)) (* 2.0 x)))))>
11.358 * * * * [progress]: [ 59 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (sqrt (+ x y))) (* (sqrt (sqrt (+ x y))) (* 2.0 x)))))>
11.359 * * * * [progress]: [ 60 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* 1 (* (sqrt (+ x y)) (* 2.0 x)))))>
11.359 * * * * [progress]: [ 61 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (/ (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x)) (sqrt (+ (* x x) (- (* y y) (* x y)))))))>
11.359 * * * * [progress]: [ 62 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (/ (* (sqrt (- (* x x) (* y y))) (* 2.0 x)) (sqrt (- x y)))))>
11.359 * * * * [progress]: [ 63 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (* (* 2.0 x) (sqrt (+ x y)))))>
11.359 * * * * [progress]: [ 64 / 69 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
11.359 * * * * [progress]: [ 65 / 69 ] simplifiying candidate #<alt (λ (x y) (+ (* 2.0 (pow x 2)) (* 2.0 (* x y))))>
11.359 * * * * [progress]: [ 66 / 69 ] simplifiying candidate #<alt (λ (x y) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
11.359 * * * * [progress]: [ 67 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (- (+ (* +nan.0 (pow x 3)) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (* x y)))))))))>
11.359 * * * * [progress]: [ 68 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))))>
11.359 * * * * [progress]: [ 69 / 69 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x y)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))>
11.360 * [simplify]: Simplifying:
  (real->posit16 (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (expm1 (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (log1p (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))
  (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (+ (log 2.0) (log x))))
  (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log (* 2.0 x))))
  (+ (log (sqrt (+ x y))) (log (* (sqrt (+ x y)) (* 2.0 x))))
  (log (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (exp (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 2.0) 2.0) (* (* x x) x))))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 x) (* 2.0 x)) (* 2.0 x))))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (* 2.0 x)) (* (sqrt (+ x y)) (* 2.0 x))) (* (sqrt (+ x y)) (* 2.0 x))))
  (* (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))) (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))))
  (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (* (* (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (sqrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (sqrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x)))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (+ (* x x) (- (* y y) (* x y)))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (- (* x x) (* y y))) (* 2.0 x)))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- x y)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x)))
  (* (sqrt (- x y)) (sqrt (+ (* x x) (- (* y y) (* x y)))))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (- (* x x) (* y y))) (* 2.0 x)))
  (* (sqrt (- x y)) (sqrt (- x y)))
  (* (sqrt (+ x y)) (sqrt (+ x y)))
  (* (cbrt (sqrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (cbrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (sqrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (sqrt (+ x y))) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x)))
  (* (sqrt (+ x y)) (* (sqrt (- (* x x) (* y y))) (* 2.0 x)))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ x y)) (* 2.0 x)))
  (real->posit16 (* (sqrt (+ x y)) (* 2.0 x)))
  (expm1 (* (sqrt (+ x y)) (* 2.0 x)))
  (log1p (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) (* 2.0 x))
  (* (sqrt (+ x y)) (* 2.0 x))
  (+ (log (sqrt (+ x y))) (+ (log 2.0) (log x)))
  (+ (log (sqrt (+ x y))) (log (* 2.0 x)))
  (log (* (sqrt (+ x y)) (* 2.0 x)))
  (exp (* (sqrt (+ x y)) (* 2.0 x)))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 2.0) 2.0) (* (* x x) x)))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* 2.0 x) (* 2.0 x)) (* 2.0 x)))
  (* (cbrt (* (sqrt (+ x y)) (* 2.0 x))) (cbrt (* (sqrt (+ x y)) (* 2.0 x))))
  (cbrt (* (sqrt (+ x y)) (* 2.0 x)))
  (* (* (* (sqrt (+ x y)) (* 2.0 x)) (* (sqrt (+ x y)) (* 2.0 x))) (* (sqrt (+ x y)) (* 2.0 x)))
  (sqrt (* (sqrt (+ x y)) (* 2.0 x)))
  (sqrt (* (sqrt (+ x y)) (* 2.0 x)))
  (* (sqrt (+ x y)) 2.0)
  (* (cbrt (sqrt (+ x y))) (* 2.0 x))
  (* (sqrt (cbrt (+ x y))) (* 2.0 x))
  (* (sqrt (sqrt (+ x y))) (* 2.0 x))
  (* (sqrt (+ x y)) (* 2.0 x))
  (* (sqrt (+ x y)) (* 2.0 x))
  (* (sqrt (sqrt (+ x y))) (* 2.0 x))
  (* (sqrt (+ x y)) (* 2.0 x))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* 2.0 x))
  (* (sqrt (- (* x x) (* y y))) (* 2.0 x))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (pow x 3)) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
11.364 * * [simplify]: iteration 0: 122 enodes
11.492 * * [simplify]: iteration 1: 329 enodes
11.910 * * [simplify]: iteration 2: 1002 enodes
13.757 * * [simplify]: iteration 3: 3639 enodes
18.738 * * [simplify]: iteration complete: 5001 enodes
18.738 * * [simplify]: Extracting #0: cost 42 inf + 0
18.740 * * [simplify]: Extracting #1: cost 438 inf + 0
18.745 * * [simplify]: Extracting #2: cost 963 inf + 5558
18.762 * * [simplify]: Extracting #3: cost 630 inf + 64994
18.823 * * [simplify]: Extracting #4: cost 111 inf + 178641
18.896 * * [simplify]: Extracting #5: cost 18 inf + 202220
18.974 * * [simplify]: Extracting #6: cost 13 inf + 205713
19.050 * * [simplify]: Extracting #7: cost 2 inf + 207541
19.108 * * [simplify]: Extracting #8: cost 0 inf + 208047
19.215 * [simplify]: Simplified to:
  (real->posit16 (* (* 2.0 (+ y x)) x))
  (expm1 (* (* 2.0 (+ y x)) x))
  (log1p (* (* 2.0 (+ y x)) x))
  (* (* 2.0 (+ y x)) x)
  (* (* 2.0 (+ y x)) x)
  (* (* 2.0 (+ y x)) x)
  (log (* (* 2.0 (+ y x)) x))
  (log (* (* 2.0 (+ y x)) x))
  (log (* (* 2.0 (+ y x)) x))
  (log (* (* 2.0 (+ y x)) x))
  (exp (* (* 2.0 (+ y x)) x))
  (* (* (* 2.0 (+ y x)) x) (* (* (* 2.0 (+ y x)) x) (* (* 2.0 (+ y x)) x)))
  (* (* (* 2.0 (+ y x)) x) (* (* (* 2.0 (+ y x)) x) (* (* 2.0 (+ y x)) x)))
  (* (* (* 2.0 (+ y x)) x) (* (* (* 2.0 (+ y x)) x) (* (* 2.0 (+ y x)) x)))
  (* (cbrt (* (* 2.0 (+ y x)) x)) (cbrt (* (* 2.0 (+ y x)) x)))
  (cbrt (* (* 2.0 (+ y x)) x))
  (* (* (* 2.0 (+ y x)) x) (* (* (* 2.0 (+ y x)) x) (* (* 2.0 (+ y x)) x)))
  (sqrt (* (* 2.0 (+ y x)) x))
  (sqrt (* (* 2.0 (+ y x)) x))
  (* (fma x (* x x) (* y (* y y))) (* 2.0 x))
  (fma (- y x) y (* x x))
  (* (sqrt (fma x (* x x) (* y (* y y)))) (* (sqrt (- (* x x) (* y y))) (* 2.0 x)))
  (* (sqrt (- x y)) (sqrt (fma (- y x) y (* x x))))
  (* (sqrt (fma x (* x x) (* y (* y y)))) (* (sqrt (- (* x x) (* y y))) (* 2.0 x)))
  (* (sqrt (- x y)) (sqrt (fma (- y x) y (* x x))))
  (* (- (* x x) (* y y)) (* 2.0 x))
  (- x y)
  (+ y x)
  (* (cbrt (sqrt (+ y x))) (* (sqrt (+ y x)) (* 2.0 x)))
  (* (sqrt (cbrt (+ y x))) (* (sqrt (+ y x)) (* 2.0 x)))
  (* (sqrt (sqrt (+ y x))) (* (sqrt (+ y x)) (* 2.0 x)))
  (* (* 2.0 (+ y x)) x)
  (* (* 2.0 (+ y x)) x)
  (* (sqrt (sqrt (+ y x))) (* (sqrt (+ y x)) (* 2.0 x)))
  (* (* 2.0 (+ y x)) x)
  (* (sqrt (fma x (* x x) (* y (* y y)))) (* (sqrt (+ y x)) (* 2.0 x)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ y x)) (* 2.0 x)))
  (* (sqrt (fma x (* x x) (* y (* y y)))) (* (sqrt (+ y x)) (* 2.0 x)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ y x)) (* 2.0 x)))
  (real->posit16 (* (sqrt (+ y x)) (* 2.0 x)))
  (expm1 (* (sqrt (+ y x)) (* 2.0 x)))
  (log1p (* (sqrt (+ y x)) (* 2.0 x)))
  (* (sqrt (+ y x)) (* 2.0 x))
  (* (sqrt (+ y x)) (* 2.0 x))
  (log (* (sqrt (+ y x)) (* 2.0 x)))
  (log (* (sqrt (+ y x)) (* 2.0 x)))
  (log (* (sqrt (+ y x)) (* 2.0 x)))
  (exp (* (sqrt (+ y x)) (* 2.0 x)))
  (* (* (* (* (* 2.0 x) (* 2.0 x)) (+ y x)) (sqrt (+ y x))) (* 2.0 x))
  (* (* (* (* (* 2.0 x) (* 2.0 x)) (+ y x)) (sqrt (+ y x))) (* 2.0 x))
  (* (cbrt (* (sqrt (+ y x)) (* 2.0 x))) (cbrt (* (sqrt (+ y x)) (* 2.0 x))))
  (cbrt (* (sqrt (+ y x)) (* 2.0 x)))
  (* (* (* (* (* 2.0 x) (* 2.0 x)) (+ y x)) (sqrt (+ y x))) (* 2.0 x))
  (sqrt (* (sqrt (+ y x)) (* 2.0 x)))
  (sqrt (* (sqrt (+ y x)) (* 2.0 x)))
  (* (sqrt (+ y x)) 2.0)
  (* (* (cbrt (sqrt (+ y x))) x) 2.0)
  (* (* 2.0 x) (sqrt (cbrt (+ y x))))
  (* (* 2.0 x) (sqrt (sqrt (+ y x))))
  (* (sqrt (+ y x)) (* 2.0 x))
  (* (sqrt (+ y x)) (* 2.0 x))
  (* (* 2.0 x) (sqrt (sqrt (+ y x))))
  (* (sqrt (+ y x)) (* 2.0 x))
  (* (sqrt (fma x (* x x) (* y (* y y)))) (* 2.0 x))
  (* (sqrt (- (* x x) (* y y))) (* 2.0 x))
  (* x (fma y 2.0 (* 2.0 x)))
  (* x (fma y 2.0 (* 2.0 x)))
  (- (fma x (- +nan.0) (/ +nan.0 x)) +nan.0)
  (- (fma (* x x) (- (* +nan.0 x) +nan.0) (* (* +nan.0 x) y)))
  (- (fma x (- +nan.0) (/ (* y +nan.0) x)) (* y +nan.0))
  (- (fma x (- +nan.0) (/ +nan.0 x)) +nan.0)
19.221 * * * [progress]: adding candidates to table
19.850 * [progress]: [Phase 3 of 3] Extracting.
19.850 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (+ x y) (* 2.0 x)))> #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))> #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))>)
19.852 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* x x) (* x y)) (* 2.0 (+ (* x x) (* x y))) y x)
19.852 * * * * [regimes]: Trying to branch on (+ (* x x) (* x y)) from (#<alt (λ (x y) (* (+ x y) (* 2.0 x)))> #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))> #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))>)
19.942 * * * * [regimes]: Trying to branch on (* 2.0 (+ (* x x) (* x y))) from (#<alt (λ (x y) (* (+ x y) (* 2.0 x)))> #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))> #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))>)
20.125 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (+ x y) (* 2.0 x)))> #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))> #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))>)
20.220 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (+ x y) (* 2.0 x)))> #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))> #<alt (λ (x y) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (* 2.0 x))))>)
20.358 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
20.358 * [simplify]: Simplifying:
  (* (+ x y) (* 2.0 x))
20.358 * * [simplify]: iteration 0: 6 enodes
20.360 * * [simplify]: iteration 1: 9 enodes
20.361 * * [simplify]: iteration complete: 9 enodes
20.361 * * [simplify]: Extracting #0: cost 1 inf + 0
20.361 * * [simplify]: Extracting #1: cost 3 inf + 0
20.361 * * [simplify]: Extracting #2: cost 6 inf + 0
20.361 * * [simplify]: Extracting #3: cost 3 inf + 3
20.361 * * [simplify]: Extracting #4: cost 0 inf + 210
20.361 * [simplify]: Simplified to:
  (* (* 2.0 x) (+ y x))
23.015 * [regime-testing]: Baseline error score: 0.008126015751968996
23.061 * [regime-testing]: Oracle error score: 0.0031253906738342293
23.155 * [regime-testing]: End program error score: 0.008126015751968996
23.504 * [regime-testing]: Target error score: 0.008126015751968996