71.244 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (- (* (+ x 1.0) y) x) 5.291 * * [progress]: iteration 1 / 4 5.291 * * * [progress]: picking best candidate 5.293 * * * * [pick]: Picked # 5.293 * * * [progress]: localizing error 5.307 * * * [progress]: generating rewritten candidates 5.307 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 5.340 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.359 * * * [progress]: generating series expansions 5.359 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 5.359 * [backup-simplify]: Simplify (* (+ x 1.0) y) into (* y (+ x 1.0)) 5.359 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0 5.359 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y 5.359 * [taylor]: Taking taylor expansion of y in y 5.359 * [backup-simplify]: Simplify 0 into 0 5.359 * [backup-simplify]: Simplify 1 into 1 5.359 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 5.359 * [taylor]: Taking taylor expansion of x in y 5.359 * [backup-simplify]: Simplify x into x 5.359 * [taylor]: Taking taylor expansion of 1.0 in y 5.359 * [backup-simplify]: Simplify 1.0 into 1.0 5.359 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 5.359 * [taylor]: Taking taylor expansion of y in x 5.359 * [backup-simplify]: Simplify y into y 5.359 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 5.359 * [taylor]: Taking taylor expansion of x in x 5.359 * [backup-simplify]: Simplify 0 into 0 5.359 * [backup-simplify]: Simplify 1 into 1 5.359 * [taylor]: Taking taylor expansion of 1.0 in x 5.359 * [backup-simplify]: Simplify 1.0 into 1.0 5.359 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 5.360 * [taylor]: Taking taylor expansion of y in x 5.360 * [backup-simplify]: Simplify y into y 5.360 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 5.360 * [taylor]: Taking taylor expansion of x in x 5.360 * [backup-simplify]: Simplify 0 into 0 5.360 * [backup-simplify]: Simplify 1 into 1 5.360 * [taylor]: Taking taylor expansion of 1.0 in x 5.360 * [backup-simplify]: Simplify 1.0 into 1.0 5.361 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.361 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y) 5.361 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.361 * [taylor]: Taking taylor expansion of 1.0 in y 5.361 * [backup-simplify]: Simplify 1.0 into 1.0 5.361 * [taylor]: Taking taylor expansion of y in y 5.361 * [backup-simplify]: Simplify 0 into 0 5.361 * [backup-simplify]: Simplify 1 into 1 5.361 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.361 * [backup-simplify]: Simplify 0 into 0 5.362 * [backup-simplify]: Simplify (+ 1 0) into 1 5.362 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y 5.362 * [taylor]: Taking taylor expansion of y in y 5.362 * [backup-simplify]: Simplify 0 into 0 5.362 * [backup-simplify]: Simplify 1 into 1 5.362 * [backup-simplify]: Simplify 0 into 0 5.364 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.364 * [backup-simplify]: Simplify 1.0 into 1.0 5.364 * [backup-simplify]: Simplify (+ 0 0) into 0 5.365 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0 5.365 * [taylor]: Taking taylor expansion of 0 in y 5.365 * [backup-simplify]: Simplify 0 into 0 5.365 * [backup-simplify]: Simplify 0 into 0 5.365 * [backup-simplify]: Simplify 1 into 1 5.366 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.366 * [backup-simplify]: Simplify 0 into 0 5.366 * [backup-simplify]: Simplify (+ 0 0) into 0 5.367 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0 5.367 * [taylor]: Taking taylor expansion of 0 in y 5.367 * [backup-simplify]: Simplify 0 into 0 5.367 * [backup-simplify]: Simplify 0 into 0 5.367 * [backup-simplify]: Simplify 0 into 0 5.367 * [backup-simplify]: Simplify 0 into 0 5.368 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify (+ 0 0) into 0 5.370 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0 5.370 * [taylor]: Taking taylor expansion of 0 in y 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y)) 5.371 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (/ 1 y)) into (/ (+ 1.0 (/ 1 x)) y) 5.371 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in (x y) around 0 5.371 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in y 5.371 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 5.371 * [taylor]: Taking taylor expansion of 1.0 in y 5.371 * [backup-simplify]: Simplify 1.0 into 1.0 5.371 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.371 * [taylor]: Taking taylor expansion of x in y 5.371 * [backup-simplify]: Simplify x into x 5.371 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.371 * [taylor]: Taking taylor expansion of y in y 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 1 into 1 5.371 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0) 5.371 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ 1.0 (/ 1 x)) 5.371 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 5.371 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 5.371 * [taylor]: Taking taylor expansion of 1.0 in x 5.371 * [backup-simplify]: Simplify 1.0 into 1.0 5.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.371 * [taylor]: Taking taylor expansion of x in x 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 1 into 1 5.372 * [backup-simplify]: Simplify (/ 1 1) into 1 5.372 * [taylor]: Taking taylor expansion of y in x 5.372 * [backup-simplify]: Simplify y into y 5.372 * [backup-simplify]: Simplify (+ 0 1) into 1 5.372 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.372 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 5.372 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 5.372 * [taylor]: Taking taylor expansion of 1.0 in x 5.372 * [backup-simplify]: Simplify 1.0 into 1.0 5.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.372 * [taylor]: Taking taylor expansion of x in x 5.373 * [backup-simplify]: Simplify 0 into 0 5.373 * [backup-simplify]: Simplify 1 into 1 5.373 * [backup-simplify]: Simplify (/ 1 1) into 1 5.373 * [taylor]: Taking taylor expansion of y in x 5.373 * [backup-simplify]: Simplify y into y 5.373 * [backup-simplify]: Simplify (+ 0 1) into 1 5.373 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.374 * [taylor]: Taking taylor expansion of y in y 5.374 * [backup-simplify]: Simplify 0 into 0 5.374 * [backup-simplify]: Simplify 1 into 1 5.374 * [backup-simplify]: Simplify (/ 1 1) into 1 5.374 * [backup-simplify]: Simplify 1 into 1 5.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.375 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.375 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 5.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.375 * [taylor]: Taking taylor expansion of 1.0 in y 5.375 * [backup-simplify]: Simplify 1.0 into 1.0 5.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.375 * [taylor]: Taking taylor expansion of y in y 5.375 * [backup-simplify]: Simplify 0 into 0 5.375 * [backup-simplify]: Simplify 1 into 1 5.376 * [backup-simplify]: Simplify (/ 1 1) into 1 5.376 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.376 * [backup-simplify]: Simplify 1.0 into 1.0 5.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.377 * [backup-simplify]: Simplify 0 into 0 5.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.378 * [backup-simplify]: Simplify (+ 0 0) into 0 5.378 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 5.378 * [taylor]: Taking taylor expansion of 0 in y 5.378 * [backup-simplify]: Simplify 0 into 0 5.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.380 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.380 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.382 * [backup-simplify]: Simplify (+ 0 0) into 0 5.382 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.382 * [taylor]: Taking taylor expansion of 0 in y 5.382 * [backup-simplify]: Simplify 0 into 0 5.382 * [backup-simplify]: Simplify 0 into 0 5.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.384 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 5.384 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y)) 5.385 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) 1.0) (/ 1 (- y))) into (* -1 (/ (- 1.0 (/ 1 x)) y)) 5.385 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 5.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 5.385 * [taylor]: Taking taylor expansion of -1 in y 5.385 * [backup-simplify]: Simplify -1 into -1 5.385 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 5.385 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 5.385 * [taylor]: Taking taylor expansion of 1.0 in y 5.385 * [backup-simplify]: Simplify 1.0 into 1.0 5.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.385 * [taylor]: Taking taylor expansion of x in y 5.385 * [backup-simplify]: Simplify x into x 5.385 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.385 * [taylor]: Taking taylor expansion of y in y 5.385 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify 1 into 1 5.386 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 5.386 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 5.386 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 5.386 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 5.386 * [taylor]: Taking taylor expansion of -1 in x 5.386 * [backup-simplify]: Simplify -1 into -1 5.386 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 5.386 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 5.386 * [taylor]: Taking taylor expansion of 1.0 in x 5.386 * [backup-simplify]: Simplify 1.0 into 1.0 5.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.386 * [taylor]: Taking taylor expansion of x in x 5.386 * [backup-simplify]: Simplify 0 into 0 5.386 * [backup-simplify]: Simplify 1 into 1 5.386 * [backup-simplify]: Simplify (/ 1 1) into 1 5.386 * [taylor]: Taking taylor expansion of y in x 5.386 * [backup-simplify]: Simplify y into y 5.387 * [backup-simplify]: Simplify (- 1) into -1 5.387 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.387 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.387 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 5.387 * [taylor]: Taking taylor expansion of -1 in x 5.387 * [backup-simplify]: Simplify -1 into -1 5.387 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 5.387 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 5.387 * [taylor]: Taking taylor expansion of 1.0 in x 5.387 * [backup-simplify]: Simplify 1.0 into 1.0 5.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.387 * [taylor]: Taking taylor expansion of x in x 5.387 * [backup-simplify]: Simplify 0 into 0 5.387 * [backup-simplify]: Simplify 1 into 1 5.388 * [backup-simplify]: Simplify (/ 1 1) into 1 5.388 * [taylor]: Taking taylor expansion of y in x 5.388 * [backup-simplify]: Simplify y into y 5.388 * [backup-simplify]: Simplify (- 1) into -1 5.389 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.389 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.389 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 5.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.389 * [taylor]: Taking taylor expansion of y in y 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 1 into 1 5.390 * [backup-simplify]: Simplify (/ 1 1) into 1 5.390 * [backup-simplify]: Simplify 1 into 1 5.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.391 * [backup-simplify]: Simplify (- 0) into 0 5.391 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.391 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 5.391 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 5.391 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 5.391 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.392 * [taylor]: Taking taylor expansion of 1.0 in y 5.392 * [backup-simplify]: Simplify 1.0 into 1.0 5.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.392 * [taylor]: Taking taylor expansion of y in y 5.392 * [backup-simplify]: Simplify 0 into 0 5.392 * [backup-simplify]: Simplify 1 into 1 5.392 * [backup-simplify]: Simplify (/ 1 1) into 1 5.392 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.393 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.393 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.394 * [backup-simplify]: Simplify 0 into 0 5.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.395 * [backup-simplify]: Simplify (- 0) into 0 5.395 * [backup-simplify]: Simplify (+ 0 0) into 0 5.395 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 5.396 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0 5.396 * [taylor]: Taking taylor expansion of 0 in y 5.396 * [backup-simplify]: Simplify 0 into 0 5.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.397 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.397 * [backup-simplify]: Simplify (- 0) into 0 5.398 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.398 * [backup-simplify]: Simplify 0 into 0 5.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.400 * [backup-simplify]: Simplify (- 0) into 0 5.400 * [backup-simplify]: Simplify (+ 0 0) into 0 5.400 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.401 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0 5.401 * [taylor]: Taking taylor expansion of 0 in y 5.401 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify 0 into 0 5.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.403 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 5.403 * [backup-simplify]: Simplify (- 0) into 0 5.403 * [backup-simplify]: Simplify 0 into 0 5.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.404 * [backup-simplify]: Simplify 0 into 0 5.405 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y)) 5.405 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.405 * [backup-simplify]: Simplify (- (* (+ x 1.0) y) x) into (- (+ (* 1.0 y) (* x y)) x) 5.405 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in (x y) around 0 5.405 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in y 5.405 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in y 5.405 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.405 * [taylor]: Taking taylor expansion of 1.0 in y 5.405 * [backup-simplify]: Simplify 1.0 into 1.0 5.405 * [taylor]: Taking taylor expansion of y in y 5.405 * [backup-simplify]: Simplify 0 into 0 5.405 * [backup-simplify]: Simplify 1 into 1 5.406 * [taylor]: Taking taylor expansion of (* x y) in y 5.406 * [taylor]: Taking taylor expansion of x in y 5.406 * [backup-simplify]: Simplify x into x 5.406 * [taylor]: Taking taylor expansion of y in y 5.406 * [backup-simplify]: Simplify 0 into 0 5.406 * [backup-simplify]: Simplify 1 into 1 5.406 * [taylor]: Taking taylor expansion of x in y 5.406 * [backup-simplify]: Simplify x into x 5.406 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in x 5.406 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in x 5.406 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.406 * [taylor]: Taking taylor expansion of 1.0 in x 5.406 * [backup-simplify]: Simplify 1.0 into 1.0 5.406 * [taylor]: Taking taylor expansion of y in x 5.406 * [backup-simplify]: Simplify y into y 5.406 * [taylor]: Taking taylor expansion of (* x y) in x 5.406 * [taylor]: Taking taylor expansion of x in x 5.406 * [backup-simplify]: Simplify 0 into 0 5.406 * [backup-simplify]: Simplify 1 into 1 5.406 * [taylor]: Taking taylor expansion of y in x 5.406 * [backup-simplify]: Simplify y into y 5.406 * [taylor]: Taking taylor expansion of x in x 5.406 * [backup-simplify]: Simplify 0 into 0 5.406 * [backup-simplify]: Simplify 1 into 1 5.406 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in x 5.406 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in x 5.406 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.406 * [taylor]: Taking taylor expansion of 1.0 in x 5.406 * [backup-simplify]: Simplify 1.0 into 1.0 5.406 * [taylor]: Taking taylor expansion of y in x 5.406 * [backup-simplify]: Simplify y into y 5.406 * [taylor]: Taking taylor expansion of (* x y) in x 5.406 * [taylor]: Taking taylor expansion of x in x 5.406 * [backup-simplify]: Simplify 0 into 0 5.406 * [backup-simplify]: Simplify 1 into 1 5.406 * [taylor]: Taking taylor expansion of y in x 5.406 * [backup-simplify]: Simplify y into y 5.406 * [taylor]: Taking taylor expansion of x in x 5.407 * [backup-simplify]: Simplify 0 into 0 5.407 * [backup-simplify]: Simplify 1 into 1 5.407 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 5.407 * [backup-simplify]: Simplify (* 0 y) into 0 5.407 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 5.407 * [backup-simplify]: Simplify (- 0) into 0 5.407 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 5.407 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.407 * [taylor]: Taking taylor expansion of 1.0 in y 5.407 * [backup-simplify]: Simplify 1.0 into 1.0 5.407 * [taylor]: Taking taylor expansion of y in y 5.407 * [backup-simplify]: Simplify 0 into 0 5.407 * [backup-simplify]: Simplify 1 into 1 5.408 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.408 * [backup-simplify]: Simplify 0 into 0 5.408 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 5.409 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.409 * [backup-simplify]: Simplify (+ 0 y) into y 5.409 * [backup-simplify]: Simplify (- 1) into -1 5.409 * [backup-simplify]: Simplify (+ y -1) into (- y 1) 5.409 * [taylor]: Taking taylor expansion of (- y 1) in y 5.409 * [taylor]: Taking taylor expansion of y in y 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify 1 into 1 5.409 * [taylor]: Taking taylor expansion of 1 in y 5.409 * [backup-simplify]: Simplify 1 into 1 5.410 * [backup-simplify]: Simplify (- 1) into -1 5.410 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.410 * [backup-simplify]: Simplify -1 into -1 5.412 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.412 * [backup-simplify]: Simplify 1.0 into 1.0 5.416 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 5.416 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.417 * [backup-simplify]: Simplify (+ 0 0) into 0 5.417 * [backup-simplify]: Simplify (- 0) into 0 5.417 * [backup-simplify]: Simplify (+ 0 0) into 0 5.417 * [taylor]: Taking taylor expansion of 0 in y 5.417 * [backup-simplify]: Simplify 0 into 0 5.417 * [backup-simplify]: Simplify 0 into 0 5.418 * [backup-simplify]: Simplify (- 0) into 0 5.418 * [backup-simplify]: Simplify (+ 1 0) into 1 5.418 * [backup-simplify]: Simplify 1 into 1 5.419 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1.0 (* y 1)) (* -1 (* 1 x)))) into (- (+ (* 1.0 y) (* x y)) x) 5.419 * [backup-simplify]: Simplify (- (* (+ (/ 1 x) 1.0) (/ 1 y)) (/ 1 x)) into (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) 5.419 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in (x y) around 0 5.419 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in y 5.419 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 5.419 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.419 * [taylor]: Taking taylor expansion of 1.0 in y 5.419 * [backup-simplify]: Simplify 1.0 into 1.0 5.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.419 * [taylor]: Taking taylor expansion of y in y 5.419 * [backup-simplify]: Simplify 0 into 0 5.419 * [backup-simplify]: Simplify 1 into 1 5.420 * [backup-simplify]: Simplify (/ 1 1) into 1 5.420 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.420 * [taylor]: Taking taylor expansion of (* x y) in y 5.420 * [taylor]: Taking taylor expansion of x in y 5.420 * [backup-simplify]: Simplify x into x 5.420 * [taylor]: Taking taylor expansion of y in y 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify 1 into 1 5.420 * [backup-simplify]: Simplify (* x 0) into 0 5.420 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.420 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.420 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.420 * [taylor]: Taking taylor expansion of x in y 5.420 * [backup-simplify]: Simplify x into x 5.420 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.420 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in x 5.420 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 5.420 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.421 * [taylor]: Taking taylor expansion of 1.0 in x 5.421 * [backup-simplify]: Simplify 1.0 into 1.0 5.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.421 * [taylor]: Taking taylor expansion of y in x 5.421 * [backup-simplify]: Simplify y into y 5.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.421 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.421 * [taylor]: Taking taylor expansion of (* x y) in x 5.421 * [taylor]: Taking taylor expansion of x in x 5.421 * [backup-simplify]: Simplify 0 into 0 5.421 * [backup-simplify]: Simplify 1 into 1 5.421 * [taylor]: Taking taylor expansion of y in x 5.421 * [backup-simplify]: Simplify y into y 5.421 * [backup-simplify]: Simplify (* 0 y) into 0 5.421 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.421 * [taylor]: Taking taylor expansion of x in x 5.421 * [backup-simplify]: Simplify 0 into 0 5.421 * [backup-simplify]: Simplify 1 into 1 5.422 * [backup-simplify]: Simplify (/ 1 1) into 1 5.422 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in x 5.422 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 5.422 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.422 * [taylor]: Taking taylor expansion of 1.0 in x 5.422 * [backup-simplify]: Simplify 1.0 into 1.0 5.422 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.422 * [taylor]: Taking taylor expansion of y in x 5.422 * [backup-simplify]: Simplify y into y 5.422 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.422 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.422 * [taylor]: Taking taylor expansion of (* x y) in x 5.422 * [taylor]: Taking taylor expansion of x in x 5.422 * [backup-simplify]: Simplify 0 into 0 5.422 * [backup-simplify]: Simplify 1 into 1 5.422 * [taylor]: Taking taylor expansion of y in x 5.422 * [backup-simplify]: Simplify y into y 5.422 * [backup-simplify]: Simplify (* 0 y) into 0 5.423 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.423 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.423 * [taylor]: Taking taylor expansion of x in x 5.423 * [backup-simplify]: Simplify 0 into 0 5.423 * [backup-simplify]: Simplify 1 into 1 5.423 * [backup-simplify]: Simplify (/ 1 1) into 1 5.423 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 5.424 * [backup-simplify]: Simplify (- 1) into -1 5.424 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 5.424 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 5.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.424 * [taylor]: Taking taylor expansion of y in y 5.424 * [backup-simplify]: Simplify 0 into 0 5.424 * [backup-simplify]: Simplify 1 into 1 5.424 * [backup-simplify]: Simplify (/ 1 1) into 1 5.424 * [taylor]: Taking taylor expansion of 1 in y 5.424 * [backup-simplify]: Simplify 1 into 1 5.425 * [backup-simplify]: Simplify (+ 1 0) into 1 5.425 * [backup-simplify]: Simplify 1 into 1 5.425 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 5.426 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.426 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.426 * [backup-simplify]: Simplify (+ (/ 1.0 y) 0) into (* 1.0 (/ 1 y)) 5.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.427 * [backup-simplify]: Simplify (- 0) into 0 5.427 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 y)) 0) into (* 1.0 (/ 1 y)) 5.427 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.427 * [taylor]: Taking taylor expansion of 1.0 in y 5.427 * [backup-simplify]: Simplify 1.0 into 1.0 5.427 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.427 * [taylor]: Taking taylor expansion of y in y 5.427 * [backup-simplify]: Simplify 0 into 0 5.427 * [backup-simplify]: Simplify 1 into 1 5.428 * [backup-simplify]: Simplify (/ 1 1) into 1 5.428 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.428 * [backup-simplify]: Simplify 1.0 into 1.0 5.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.429 * [backup-simplify]: Simplify (- 1) into -1 5.430 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.430 * [backup-simplify]: Simplify -1 into -1 5.430 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ (* 1.0 y) (* x y)) x) 5.430 * [backup-simplify]: Simplify (- (* (+ (/ 1 (- x)) 1.0) (/ 1 (- y))) (/ 1 (- x))) into (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) 5.430 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in (x y) around 0 5.431 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in y 5.431 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 5.431 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.431 * [taylor]: Taking taylor expansion of x in y 5.431 * [backup-simplify]: Simplify x into x 5.431 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.431 * [taylor]: Taking taylor expansion of (* x y) in y 5.431 * [taylor]: Taking taylor expansion of x in y 5.431 * [backup-simplify]: Simplify x into x 5.431 * [taylor]: Taking taylor expansion of y in y 5.431 * [backup-simplify]: Simplify 0 into 0 5.431 * [backup-simplify]: Simplify 1 into 1 5.431 * [backup-simplify]: Simplify (* x 0) into 0 5.431 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.431 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.431 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.432 * [taylor]: Taking taylor expansion of 1.0 in y 5.432 * [backup-simplify]: Simplify 1.0 into 1.0 5.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.432 * [taylor]: Taking taylor expansion of y in y 5.432 * [backup-simplify]: Simplify 0 into 0 5.432 * [backup-simplify]: Simplify 1 into 1 5.432 * [backup-simplify]: Simplify (/ 1 1) into 1 5.432 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 5.432 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 5.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.432 * [taylor]: Taking taylor expansion of x in x 5.432 * [backup-simplify]: Simplify 0 into 0 5.432 * [backup-simplify]: Simplify 1 into 1 5.433 * [backup-simplify]: Simplify (/ 1 1) into 1 5.433 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.433 * [taylor]: Taking taylor expansion of (* x y) in x 5.433 * [taylor]: Taking taylor expansion of x in x 5.433 * [backup-simplify]: Simplify 0 into 0 5.433 * [backup-simplify]: Simplify 1 into 1 5.433 * [taylor]: Taking taylor expansion of y in x 5.433 * [backup-simplify]: Simplify y into y 5.433 * [backup-simplify]: Simplify (* 0 y) into 0 5.433 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.433 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.433 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.433 * [taylor]: Taking taylor expansion of 1.0 in x 5.433 * [backup-simplify]: Simplify 1.0 into 1.0 5.433 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.433 * [taylor]: Taking taylor expansion of y in x 5.433 * [backup-simplify]: Simplify y into y 5.434 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.434 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 5.434 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 5.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.434 * [taylor]: Taking taylor expansion of x in x 5.434 * [backup-simplify]: Simplify 0 into 0 5.434 * [backup-simplify]: Simplify 1 into 1 5.434 * [backup-simplify]: Simplify (/ 1 1) into 1 5.434 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.434 * [taylor]: Taking taylor expansion of (* x y) in x 5.434 * [taylor]: Taking taylor expansion of x in x 5.434 * [backup-simplify]: Simplify 0 into 0 5.434 * [backup-simplify]: Simplify 1 into 1 5.434 * [taylor]: Taking taylor expansion of y in x 5.434 * [backup-simplify]: Simplify y into y 5.434 * [backup-simplify]: Simplify (* 0 y) into 0 5.435 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.435 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.435 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.435 * [taylor]: Taking taylor expansion of 1.0 in x 5.435 * [backup-simplify]: Simplify 1.0 into 1.0 5.435 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.435 * [taylor]: Taking taylor expansion of y in x 5.435 * [backup-simplify]: Simplify y into y 5.435 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.435 * [backup-simplify]: Simplify (+ 1 (/ 1 y)) into (+ (/ 1 y) 1) 5.435 * [backup-simplify]: Simplify (+ (+ (/ 1 y) 1) 0) into (+ (/ 1 y) 1) 5.435 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 5.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.435 * [taylor]: Taking taylor expansion of y in y 5.435 * [backup-simplify]: Simplify 0 into 0 5.435 * [backup-simplify]: Simplify 1 into 1 5.436 * [backup-simplify]: Simplify (/ 1 1) into 1 5.436 * [taylor]: Taking taylor expansion of 1 in y 5.436 * [backup-simplify]: Simplify 1 into 1 5.436 * [backup-simplify]: Simplify (+ 1 0) into 1 5.436 * [backup-simplify]: Simplify 1 into 1 5.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.438 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.438 * [backup-simplify]: Simplify (+ 0 0) into 0 5.439 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 5.439 * [backup-simplify]: Simplify (- (/ 1.0 y)) into (- (* 1.0 (/ 1 y))) 5.439 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (/ 1 y)))) into (- (* 1.0 (/ 1 y))) 5.439 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 5.439 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.439 * [taylor]: Taking taylor expansion of 1.0 in y 5.439 * [backup-simplify]: Simplify 1.0 into 1.0 5.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.439 * [taylor]: Taking taylor expansion of y in y 5.439 * [backup-simplify]: Simplify 0 into 0 5.439 * [backup-simplify]: Simplify 1 into 1 5.440 * [backup-simplify]: Simplify (/ 1 1) into 1 5.440 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.441 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.441 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.442 * [backup-simplify]: Simplify (+ 0 1) into 1 5.442 * [backup-simplify]: Simplify 1 into 1 5.443 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ (* 1.0 y) (* x y)) x) 5.443 * * * [progress]: simplifying candidates 5.444 * [simplify]: Simplifying: (* (+ x 1.0) y) (+ (log (+ x 1.0)) (log y)) (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* y y) y)) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (* (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (+ x 1.0) (* (cbrt y) (cbrt y))) (* (+ x 1.0) (sqrt y)) (* (+ x 1.0) 1) (* (cbrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (+ x 1.0) y) (* (+ x 1.0) y) (* (+ (pow x 3) (pow 1.0 3)) y) (* (- (* x x) (* 1.0 1.0)) y) (/ (exp (* (+ x 1.0) y)) (exp x)) (log (- (* (+ x 1.0) y) x)) (exp (- (* (+ x 1.0) y) x)) (* (cbrt (- (* (+ x 1.0) y) x)) (cbrt (- (* (+ x 1.0) y) x))) (cbrt (- (* (+ x 1.0) y) x)) (* (* (- (* (+ x 1.0) y) x) (- (* (+ x 1.0) y) x)) (- (* (+ x 1.0) y) x)) (sqrt (- (* (+ x 1.0) y) x)) (sqrt (- (* (+ x 1.0) y) x)) (- (pow (* (+ x 1.0) y) 3) (pow x 3)) (+ (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (+ (* x x) (* (* (+ x 1.0) y) x))) (- x) (- (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* x x)) (+ (* (+ x 1.0) y) x) (- x) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) 6.525 * * * [progress]: adding candidates to table 6.612 * * [progress]: iteration 2 / 4 6.612 * * * [progress]: picking best candidate 6.614 * * * * [pick]: Picked # 6.614 * * * [progress]: localizing error 6.628 * * * [progress]: generating rewritten candidates 6.628 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.714 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 6.748 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 6.824 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 6.839 * * * [progress]: generating series expansions 6.839 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.839 * [backup-simplify]: Simplify (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) into (* y (+ x 1.0)) 6.839 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0 6.839 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y 6.839 * [taylor]: Taking taylor expansion of y in y 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 1 into 1 6.839 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 6.839 * [taylor]: Taking taylor expansion of x in y 6.839 * [backup-simplify]: Simplify x into x 6.839 * [taylor]: Taking taylor expansion of 1.0 in y 6.839 * [backup-simplify]: Simplify 1.0 into 1.0 6.839 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 6.839 * [taylor]: Taking taylor expansion of y in x 6.839 * [backup-simplify]: Simplify y into y 6.839 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 6.839 * [taylor]: Taking taylor expansion of x in x 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 1 into 1 6.839 * [taylor]: Taking taylor expansion of 1.0 in x 6.839 * [backup-simplify]: Simplify 1.0 into 1.0 6.839 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 6.839 * [taylor]: Taking taylor expansion of y in x 6.839 * [backup-simplify]: Simplify y into y 6.839 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 6.839 * [taylor]: Taking taylor expansion of x in x 6.839 * [backup-simplify]: Simplify 0 into 0 6.840 * [backup-simplify]: Simplify 1 into 1 6.840 * [taylor]: Taking taylor expansion of 1.0 in x 6.840 * [backup-simplify]: Simplify 1.0 into 1.0 6.840 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.840 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y) 6.840 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 6.840 * [taylor]: Taking taylor expansion of 1.0 in y 6.840 * [backup-simplify]: Simplify 1.0 into 1.0 6.840 * [taylor]: Taking taylor expansion of y in y 6.840 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify 1 into 1 6.841 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.841 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify (+ 1 0) into 1 6.842 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y 6.842 * [taylor]: Taking taylor expansion of y in y 6.842 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify 1 into 1 6.842 * [backup-simplify]: Simplify 0 into 0 6.843 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.843 * [backup-simplify]: Simplify 1.0 into 1.0 6.843 * [backup-simplify]: Simplify (+ 0 0) into 0 6.844 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0 6.844 * [taylor]: Taking taylor expansion of 0 in y 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 1 into 1 6.845 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify (+ 0 0) into 0 6.846 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0 6.846 * [taylor]: Taking taylor expansion of 0 in y 6.846 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.847 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.847 * [backup-simplify]: Simplify 0 into 0 6.847 * [backup-simplify]: Simplify (+ 0 0) into 0 6.848 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0 6.848 * [taylor]: Taking taylor expansion of 0 in y 6.848 * [backup-simplify]: Simplify 0 into 0 6.848 * [backup-simplify]: Simplify 0 into 0 6.848 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y)) 6.849 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1.0)) (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y))) into (/ (+ 1.0 (/ 1 x)) y) 6.849 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in (x y) around 0 6.849 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in y 6.849 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 6.849 * [taylor]: Taking taylor expansion of 1.0 in y 6.849 * [backup-simplify]: Simplify 1.0 into 1.0 6.849 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.849 * [taylor]: Taking taylor expansion of x in y 6.849 * [backup-simplify]: Simplify x into x 6.849 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.849 * [taylor]: Taking taylor expansion of y in y 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.849 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0) 6.849 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ 1.0 (/ 1 x)) 6.849 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 6.849 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 6.849 * [taylor]: Taking taylor expansion of 1.0 in x 6.849 * [backup-simplify]: Simplify 1.0 into 1.0 6.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.849 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify 1 into 1 6.850 * [backup-simplify]: Simplify (/ 1 1) into 1 6.850 * [taylor]: Taking taylor expansion of y in x 6.850 * [backup-simplify]: Simplify y into y 6.850 * [backup-simplify]: Simplify (+ 0 1) into 1 6.850 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.850 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 6.850 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 6.850 * [taylor]: Taking taylor expansion of 1.0 in x 6.850 * [backup-simplify]: Simplify 1.0 into 1.0 6.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.850 * [taylor]: Taking taylor expansion of x in x 6.850 * [backup-simplify]: Simplify 0 into 0 6.850 * [backup-simplify]: Simplify 1 into 1 6.851 * [backup-simplify]: Simplify (/ 1 1) into 1 6.851 * [taylor]: Taking taylor expansion of y in x 6.851 * [backup-simplify]: Simplify y into y 6.851 * [backup-simplify]: Simplify (+ 0 1) into 1 6.851 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.851 * [taylor]: Taking taylor expansion of y in y 6.851 * [backup-simplify]: Simplify 0 into 0 6.851 * [backup-simplify]: Simplify 1 into 1 6.852 * [backup-simplify]: Simplify (/ 1 1) into 1 6.852 * [backup-simplify]: Simplify 1 into 1 6.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.853 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.853 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 6.853 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.853 * [taylor]: Taking taylor expansion of 1.0 in y 6.853 * [backup-simplify]: Simplify 1.0 into 1.0 6.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.853 * [taylor]: Taking taylor expansion of y in y 6.853 * [backup-simplify]: Simplify 0 into 0 6.853 * [backup-simplify]: Simplify 1 into 1 6.853 * [backup-simplify]: Simplify (/ 1 1) into 1 6.854 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.854 * [backup-simplify]: Simplify 1.0 into 1.0 6.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.854 * [backup-simplify]: Simplify 0 into 0 6.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.855 * [backup-simplify]: Simplify (+ 0 0) into 0 6.855 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 6.855 * [taylor]: Taking taylor expansion of 0 in y 6.855 * [backup-simplify]: Simplify 0 into 0 6.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.857 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.857 * [backup-simplify]: Simplify 0 into 0 6.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.857 * [backup-simplify]: Simplify 0 into 0 6.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.858 * [backup-simplify]: Simplify (+ 0 0) into 0 6.859 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.859 * [taylor]: Taking taylor expansion of 0 in y 6.859 * [backup-simplify]: Simplify 0 into 0 6.859 * [backup-simplify]: Simplify 0 into 0 6.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.863 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.863 * [backup-simplify]: Simplify 0 into 0 6.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.864 * [backup-simplify]: Simplify 0 into 0 6.864 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y)) 6.864 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1.0)) (* (sqrt (+ (/ 1 (- x)) 1.0)) (/ 1 (- y)))) into (* -1 (/ (- 1.0 (/ 1 x)) y)) 6.864 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 6.864 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 6.864 * [taylor]: Taking taylor expansion of -1 in y 6.864 * [backup-simplify]: Simplify -1 into -1 6.864 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 6.864 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 6.864 * [taylor]: Taking taylor expansion of 1.0 in y 6.864 * [backup-simplify]: Simplify 1.0 into 1.0 6.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.864 * [taylor]: Taking taylor expansion of x in y 6.864 * [backup-simplify]: Simplify x into x 6.864 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.864 * [taylor]: Taking taylor expansion of y in y 6.864 * [backup-simplify]: Simplify 0 into 0 6.864 * [backup-simplify]: Simplify 1 into 1 6.865 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.865 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 6.865 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 6.865 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 6.865 * [taylor]: Taking taylor expansion of -1 in x 6.865 * [backup-simplify]: Simplify -1 into -1 6.865 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 6.865 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 6.865 * [taylor]: Taking taylor expansion of 1.0 in x 6.865 * [backup-simplify]: Simplify 1.0 into 1.0 6.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.865 * [taylor]: Taking taylor expansion of x in x 6.865 * [backup-simplify]: Simplify 0 into 0 6.865 * [backup-simplify]: Simplify 1 into 1 6.865 * [backup-simplify]: Simplify (/ 1 1) into 1 6.865 * [taylor]: Taking taylor expansion of y in x 6.865 * [backup-simplify]: Simplify y into y 6.866 * [backup-simplify]: Simplify (- 1) into -1 6.866 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.866 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.866 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 6.866 * [taylor]: Taking taylor expansion of -1 in x 6.866 * [backup-simplify]: Simplify -1 into -1 6.866 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 6.866 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 6.866 * [taylor]: Taking taylor expansion of 1.0 in x 6.866 * [backup-simplify]: Simplify 1.0 into 1.0 6.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.866 * [taylor]: Taking taylor expansion of x in x 6.866 * [backup-simplify]: Simplify 0 into 0 6.866 * [backup-simplify]: Simplify 1 into 1 6.867 * [backup-simplify]: Simplify (/ 1 1) into 1 6.867 * [taylor]: Taking taylor expansion of y in x 6.867 * [backup-simplify]: Simplify y into y 6.867 * [backup-simplify]: Simplify (- 1) into -1 6.867 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.867 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.867 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 6.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.867 * [taylor]: Taking taylor expansion of y in y 6.867 * [backup-simplify]: Simplify 0 into 0 6.867 * [backup-simplify]: Simplify 1 into 1 6.868 * [backup-simplify]: Simplify (/ 1 1) into 1 6.868 * [backup-simplify]: Simplify 1 into 1 6.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.869 * [backup-simplify]: Simplify (- 0) into 0 6.869 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.869 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 6.869 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 6.869 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 6.869 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.869 * [taylor]: Taking taylor expansion of 1.0 in y 6.869 * [backup-simplify]: Simplify 1.0 into 1.0 6.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.869 * [taylor]: Taking taylor expansion of y in y 6.869 * [backup-simplify]: Simplify 0 into 0 6.869 * [backup-simplify]: Simplify 1 into 1 6.870 * [backup-simplify]: Simplify (/ 1 1) into 1 6.870 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.870 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.871 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.871 * [backup-simplify]: Simplify 0 into 0 6.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.872 * [backup-simplify]: Simplify (- 0) into 0 6.873 * [backup-simplify]: Simplify (+ 0 0) into 0 6.873 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 6.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0 6.873 * [taylor]: Taking taylor expansion of 0 in y 6.873 * [backup-simplify]: Simplify 0 into 0 6.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.874 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.875 * [backup-simplify]: Simplify (- 0) into 0 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.875 * [backup-simplify]: Simplify 0 into 0 6.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.876 * [backup-simplify]: Simplify (- 0) into 0 6.877 * [backup-simplify]: Simplify (+ 0 0) into 0 6.877 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.878 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0 6.878 * [taylor]: Taking taylor expansion of 0 in y 6.878 * [backup-simplify]: Simplify 0 into 0 6.878 * [backup-simplify]: Simplify 0 into 0 6.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.879 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.880 * [backup-simplify]: Simplify (- 0) into 0 6.880 * [backup-simplify]: Simplify 0 into 0 6.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.880 * [backup-simplify]: Simplify 0 into 0 6.881 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y)) 6.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 6.881 * [backup-simplify]: Simplify (* (sqrt (+ x 1.0)) y) into (* y (sqrt (+ x 1.0))) 6.881 * [approximate]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in (x y) around 0 6.881 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in y 6.881 * [taylor]: Taking taylor expansion of y in y 6.881 * [backup-simplify]: Simplify 0 into 0 6.881 * [backup-simplify]: Simplify 1 into 1 6.881 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in y 6.881 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 6.881 * [taylor]: Taking taylor expansion of x in y 6.881 * [backup-simplify]: Simplify x into x 6.881 * [taylor]: Taking taylor expansion of 1.0 in y 6.881 * [backup-simplify]: Simplify 1.0 into 1.0 6.881 * [backup-simplify]: Simplify (+ x 1.0) into (+ x 1.0) 6.881 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 6.882 * [backup-simplify]: Simplify (+ 0 0) into 0 6.882 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ x 1.0)))) into 0 6.882 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in x 6.882 * [taylor]: Taking taylor expansion of y in x 6.882 * [backup-simplify]: Simplify y into y 6.882 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 6.882 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 6.882 * [taylor]: Taking taylor expansion of x in x 6.882 * [backup-simplify]: Simplify 0 into 0 6.882 * [backup-simplify]: Simplify 1 into 1 6.882 * [taylor]: Taking taylor expansion of 1.0 in x 6.882 * [backup-simplify]: Simplify 1.0 into 1.0 6.882 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.883 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 6.883 * [backup-simplify]: Simplify (+ 1 0) into 1 6.884 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 6.884 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in x 6.884 * [taylor]: Taking taylor expansion of y in x 6.884 * [backup-simplify]: Simplify y into y 6.884 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 6.884 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 6.884 * [taylor]: Taking taylor expansion of x in x 6.885 * [backup-simplify]: Simplify 0 into 0 6.885 * [backup-simplify]: Simplify 1 into 1 6.885 * [taylor]: Taking taylor expansion of 1.0 in x 6.885 * [backup-simplify]: Simplify 1.0 into 1.0 6.885 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.885 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 6.886 * [backup-simplify]: Simplify (+ 1 0) into 1 6.887 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 6.887 * [backup-simplify]: Simplify (* y (sqrt 1.0)) into (* (sqrt 1.0) y) 6.887 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) y) in y 6.887 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 6.887 * [taylor]: Taking taylor expansion of 1.0 in y 6.887 * [backup-simplify]: Simplify 1.0 into 1.0 6.888 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 6.888 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 6.888 * [taylor]: Taking taylor expansion of y in y 6.888 * [backup-simplify]: Simplify 0 into 0 6.888 * [backup-simplify]: Simplify 1 into 1 6.889 * [backup-simplify]: Simplify (* (sqrt 1.0) 0) into 0 6.889 * [backup-simplify]: Simplify 0 into 0 6.890 * [backup-simplify]: Simplify (+ (* y (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0))) into (* 1/2 (/ y (sqrt 1.0))) 6.890 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (sqrt 1.0))) in y 6.890 * [taylor]: Taking taylor expansion of 1/2 in y 6.890 * [backup-simplify]: Simplify 1/2 into 1/2 6.890 * [taylor]: Taking taylor expansion of (/ y (sqrt 1.0)) in y 6.890 * [taylor]: Taking taylor expansion of y in y 6.890 * [backup-simplify]: Simplify 0 into 0 6.890 * [backup-simplify]: Simplify 1 into 1 6.890 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 6.890 * [taylor]: Taking taylor expansion of 1.0 in y 6.890 * [backup-simplify]: Simplify 1.0 into 1.0 6.891 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 6.891 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 6.892 * [backup-simplify]: Simplify (/ 1 (sqrt 1.0)) into (/ 1 (sqrt 1.0)) 6.893 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 1) (* 0 0)) into (sqrt 1.0) 6.894 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 6.894 * [backup-simplify]: Simplify (+ 0 0) into 0 6.897 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 6.899 * [backup-simplify]: Simplify (+ (* y (/ -1/8 (pow (sqrt 1.0) 3))) (+ (* 0 (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0)))) into (- (* 1/8 (/ y (pow (sqrt 1.0) 3)))) 6.899 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ y (pow (sqrt 1.0) 3)))) in y 6.899 * [taylor]: Taking taylor expansion of (* 1/8 (/ y (pow (sqrt 1.0) 3))) in y 6.899 * [taylor]: Taking taylor expansion of 1/8 in y 6.899 * [backup-simplify]: Simplify 1/8 into 1/8 6.899 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 3)) in y 6.899 * [taylor]: Taking taylor expansion of y in y 6.899 * [backup-simplify]: Simplify 0 into 0 6.899 * [backup-simplify]: Simplify 1 into 1 6.899 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in y 6.899 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 6.899 * [taylor]: Taking taylor expansion of 1.0 in y 6.899 * [backup-simplify]: Simplify 1.0 into 1.0 6.899 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 6.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 6.900 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2) 6.901 * [backup-simplify]: Simplify (* (sqrt 1.0) (pow (sqrt 1.0) 2)) into (pow (sqrt 1.0) 3) 6.902 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 3)) into (/ 1 (pow (sqrt 1.0) 3)) 6.903 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 6.904 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 6.905 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into 0 6.905 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 1) (* 0 0))) into 0 6.905 * [backup-simplify]: Simplify 0 into 0 6.905 * [backup-simplify]: Simplify (+ 0 0) into 0 6.912 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 1.0)) (/ -1/8 (pow (sqrt 1.0) 3)))))) (* 2 (sqrt 1.0))) into (/ 1/16 (pow (sqrt 1.0) 5)) 6.914 * [backup-simplify]: Simplify (+ (* y (/ 1/16 (pow (sqrt 1.0) 5))) (+ (* 0 (/ -1/8 (pow (sqrt 1.0) 3))) (+ (* 0 (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0))))) into (* 1/16 (/ y (pow (sqrt 1.0) 5))) 6.915 * [taylor]: Taking taylor expansion of (* 1/16 (/ y (pow (sqrt 1.0) 5))) in y 6.915 * [taylor]: Taking taylor expansion of 1/16 in y 6.915 * [backup-simplify]: Simplify 1/16 into 1/16 6.915 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 5)) in y 6.915 * [taylor]: Taking taylor expansion of y in y 6.915 * [backup-simplify]: Simplify 0 into 0 6.915 * [backup-simplify]: Simplify 1 into 1 6.915 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 5) in y 6.915 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 6.915 * [taylor]: Taking taylor expansion of 1.0 in y 6.915 * [backup-simplify]: Simplify 1.0 into 1.0 6.915 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 6.916 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 6.917 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2) 6.919 * [backup-simplify]: Simplify (* (pow (sqrt 1.0) 2) (pow (sqrt 1.0) 2)) into (pow (sqrt 1.0) 4) 6.920 * [backup-simplify]: Simplify (* (sqrt 1.0) (pow (sqrt 1.0) 4)) into (pow (sqrt 1.0) 5) 6.922 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 5)) into (/ 1 (pow (sqrt 1.0) 5)) 6.924 * [backup-simplify]: Simplify (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) into (/ 1/8 (pow (sqrt 1.0) 3)) 6.925 * [backup-simplify]: Simplify (- (/ 1/8 (pow (sqrt 1.0) 3))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 6.928 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 6.932 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) (* y (pow x 2))) (+ (* (/ 1/2 (sqrt 1.0)) (* y x)) (* (sqrt 1.0) (* y 1)))) into (- (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* (sqrt 1.0) y)) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3)))) 6.933 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) into (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) 6.933 * [approximate]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in (x y) around 0 6.933 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in y 6.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.933 * [taylor]: Taking taylor expansion of y in y 6.933 * [backup-simplify]: Simplify 0 into 0 6.933 * [backup-simplify]: Simplify 1 into 1 6.933 * [backup-simplify]: Simplify (/ 1 1) into 1 6.933 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in y 6.933 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 6.933 * [taylor]: Taking taylor expansion of 1.0 in y 6.933 * [backup-simplify]: Simplify 1.0 into 1.0 6.933 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.933 * [taylor]: Taking taylor expansion of x in y 6.933 * [backup-simplify]: Simplify x into x 6.933 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.933 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0) 6.933 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ 1.0 (/ 1 x))) 6.933 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.933 * [backup-simplify]: Simplify (+ 0 0) into 0 6.934 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (/ 1 x) 1.0)))) into 0 6.934 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in x 6.934 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.934 * [taylor]: Taking taylor expansion of y in x 6.934 * [backup-simplify]: Simplify y into y 6.934 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.934 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 6.934 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 6.934 * [taylor]: Taking taylor expansion of 1.0 in x 6.934 * [backup-simplify]: Simplify 1.0 into 1.0 6.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.934 * [taylor]: Taking taylor expansion of x in x 6.934 * [backup-simplify]: Simplify 0 into 0 6.934 * [backup-simplify]: Simplify 1 into 1 6.934 * [backup-simplify]: Simplify (/ 1 1) into 1 6.934 * [backup-simplify]: Simplify (+ 0 1) into 1 6.935 * [backup-simplify]: Simplify (sqrt 0) into 0 6.935 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 6.935 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in x 6.935 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.936 * [taylor]: Taking taylor expansion of y in x 6.936 * [backup-simplify]: Simplify y into y 6.936 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.936 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 6.936 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 6.936 * [taylor]: Taking taylor expansion of 1.0 in x 6.936 * [backup-simplify]: Simplify 1.0 into 1.0 6.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.936 * [taylor]: Taking taylor expansion of x in x 6.936 * [backup-simplify]: Simplify 0 into 0 6.936 * [backup-simplify]: Simplify 1 into 1 6.936 * [backup-simplify]: Simplify (/ 1 1) into 1 6.936 * [backup-simplify]: Simplify (+ 0 1) into 1 6.936 * [backup-simplify]: Simplify (sqrt 0) into 0 6.937 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 6.937 * [backup-simplify]: Simplify (* (/ 1 y) 0) into 0 6.937 * [taylor]: Taking taylor expansion of 0 in y 6.937 * [backup-simplify]: Simplify 0 into 0 6.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.938 * [backup-simplify]: Simplify (+ (* (/ 1 y) +nan.0) (* 0 0)) into (- (* +nan.0 (/ 1 y))) 6.938 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 6.938 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 6.938 * [taylor]: Taking taylor expansion of +nan.0 in y 6.938 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.938 * [taylor]: Taking taylor expansion of y in y 6.938 * [backup-simplify]: Simplify 0 into 0 6.938 * [backup-simplify]: Simplify 1 into 1 6.938 * [backup-simplify]: Simplify (/ 1 1) into 1 6.938 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 6.939 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.939 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.939 * [backup-simplify]: Simplify 0 into 0 6.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.939 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.941 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 6.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.942 * [backup-simplify]: Simplify (+ (* (/ 1 y) +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- (* +nan.0 (/ 1 y))) 6.942 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 6.942 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 6.942 * [taylor]: Taking taylor expansion of +nan.0 in y 6.942 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.942 * [taylor]: Taking taylor expansion of y in y 6.942 * [backup-simplify]: Simplify 0 into 0 6.942 * [backup-simplify]: Simplify 1 into 1 6.942 * [backup-simplify]: Simplify (/ 1 1) into 1 6.943 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 6.943 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.943 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.944 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 6.944 * [backup-simplify]: Simplify (- 0) into 0 6.944 * [backup-simplify]: Simplify 0 into 0 6.944 * [backup-simplify]: Simplify 0 into 0 6.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.945 * [backup-simplify]: Simplify (+ 0 0) into 0 6.947 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 6.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.948 * [backup-simplify]: Simplify (+ (* (/ 1 y) +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- (* +nan.0 (/ 1 y))) 6.948 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 6.948 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 6.948 * [taylor]: Taking taylor expansion of +nan.0 in y 6.948 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.948 * [taylor]: Taking taylor expansion of y in y 6.948 * [backup-simplify]: Simplify 0 into 0 6.948 * [backup-simplify]: Simplify 1 into 1 6.948 * [backup-simplify]: Simplify (/ 1 1) into 1 6.948 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 6.949 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.949 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.950 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))) (* (- +nan.0) (* (/ 1 (/ 1 y)) 1)))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 6.950 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1.0)) (/ 1 (- y))) into (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) 6.950 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in (x y) around 0 6.950 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in y 6.950 * [taylor]: Taking taylor expansion of -1 in y 6.950 * [backup-simplify]: Simplify -1 into -1 6.950 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in y 6.950 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in y 6.950 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 6.950 * [taylor]: Taking taylor expansion of 1.0 in y 6.950 * [backup-simplify]: Simplify 1.0 into 1.0 6.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.950 * [taylor]: Taking taylor expansion of x in y 6.950 * [backup-simplify]: Simplify x into x 6.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.950 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.950 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 6.950 * [backup-simplify]: Simplify (sqrt (- 1.0 (/ 1 x))) into (sqrt (- 1.0 (/ 1 x))) 6.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.951 * [backup-simplify]: Simplify (- 0) into 0 6.951 * [backup-simplify]: Simplify (+ 0 0) into 0 6.951 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- 1.0 (/ 1 x))))) into 0 6.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.951 * [taylor]: Taking taylor expansion of y in y 6.951 * [backup-simplify]: Simplify 0 into 0 6.951 * [backup-simplify]: Simplify 1 into 1 6.951 * [backup-simplify]: Simplify (/ 1 1) into 1 6.951 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in x 6.951 * [taylor]: Taking taylor expansion of -1 in x 6.951 * [backup-simplify]: Simplify -1 into -1 6.951 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 6.951 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 6.951 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 6.951 * [taylor]: Taking taylor expansion of 1.0 in x 6.952 * [backup-simplify]: Simplify 1.0 into 1.0 6.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.952 * [taylor]: Taking taylor expansion of x in x 6.952 * [backup-simplify]: Simplify 0 into 0 6.952 * [backup-simplify]: Simplify 1 into 1 6.952 * [backup-simplify]: Simplify (/ 1 1) into 1 6.952 * [backup-simplify]: Simplify (- 1) into -1 6.952 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.953 * [backup-simplify]: Simplify (sqrt 0) into 0 6.953 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 6.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.953 * [taylor]: Taking taylor expansion of y in x 6.953 * [backup-simplify]: Simplify y into y 6.953 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.953 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in x 6.953 * [taylor]: Taking taylor expansion of -1 in x 6.953 * [backup-simplify]: Simplify -1 into -1 6.953 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 6.953 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 6.953 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 6.953 * [taylor]: Taking taylor expansion of 1.0 in x 6.954 * [backup-simplify]: Simplify 1.0 into 1.0 6.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.954 * [taylor]: Taking taylor expansion of x in x 6.954 * [backup-simplify]: Simplify 0 into 0 6.954 * [backup-simplify]: Simplify 1 into 1 6.954 * [backup-simplify]: Simplify (/ 1 1) into 1 6.954 * [backup-simplify]: Simplify (- 1) into -1 6.954 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.954 * [backup-simplify]: Simplify (sqrt 0) into 0 6.955 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 6.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.955 * [taylor]: Taking taylor expansion of y in x 6.955 * [backup-simplify]: Simplify y into y 6.955 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.955 * [backup-simplify]: Simplify (* 0 (/ 1 y)) into 0 6.956 * [backup-simplify]: Simplify (* -1 0) into 0 6.956 * [taylor]: Taking taylor expansion of 0 in y 6.956 * [backup-simplify]: Simplify 0 into 0 6.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.956 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (/ 1 y))) into (- (* +nan.0 (/ 1 y))) 6.956 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (* 0 0)) into (- (* +nan.0 (/ 1 y))) 6.956 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 6.956 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 6.956 * [taylor]: Taking taylor expansion of +nan.0 in y 6.956 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.957 * [taylor]: Taking taylor expansion of y in y 6.957 * [backup-simplify]: Simplify 0 into 0 6.957 * [backup-simplify]: Simplify 1 into 1 6.957 * [backup-simplify]: Simplify (/ 1 1) into 1 6.957 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 6.957 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.957 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.958 * [backup-simplify]: Simplify 0 into 0 6.958 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.958 * [backup-simplify]: Simplify (- 0) into 0 6.959 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.965 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 6.965 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y))) 6.966 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (* 0 0))) into (- (* +nan.0 (/ 1 y))) 6.966 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 6.966 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 6.966 * [taylor]: Taking taylor expansion of +nan.0 in y 6.966 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.966 * [taylor]: Taking taylor expansion of y in y 6.966 * [backup-simplify]: Simplify 0 into 0 6.966 * [backup-simplify]: Simplify 1 into 1 6.966 * [backup-simplify]: Simplify (/ 1 1) into 1 6.967 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 6.967 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.967 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.969 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 6.969 * [backup-simplify]: Simplify (- 0) into 0 6.969 * [backup-simplify]: Simplify 0 into 0 6.969 * [backup-simplify]: Simplify 0 into 0 6.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.970 * [backup-simplify]: Simplify (- 0) into 0 6.970 * [backup-simplify]: Simplify (+ 0 0) into 0 6.973 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 6.974 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y))))) into (- (* +nan.0 (/ 1 y))) 6.974 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (* 0 0)))) into (- (* +nan.0 (/ 1 y))) 6.974 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 6.974 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 6.974 * [taylor]: Taking taylor expansion of +nan.0 in y 6.974 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.974 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.974 * [taylor]: Taking taylor expansion of y in y 6.974 * [backup-simplify]: Simplify 0 into 0 6.974 * [backup-simplify]: Simplify 1 into 1 6.975 * [backup-simplify]: Simplify (/ 1 1) into 1 6.975 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 6.975 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.975 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.976 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (* (- +nan.0) (* (/ 1 (/ 1 (- y))) 1)))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 6.976 * * * * [progress]: [ 3 / 4 ] generating series at (2) 6.977 * [backup-simplify]: Simplify (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x) into (- (+ (* 1.0 y) (* x y)) x) 6.977 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in (x y) around 0 6.977 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in y 6.977 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in y 6.977 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 6.977 * [taylor]: Taking taylor expansion of 1.0 in y 6.977 * [backup-simplify]: Simplify 1.0 into 1.0 6.977 * [taylor]: Taking taylor expansion of y in y 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 1 into 1 6.977 * [taylor]: Taking taylor expansion of (* x y) in y 6.977 * [taylor]: Taking taylor expansion of x in y 6.977 * [backup-simplify]: Simplify x into x 6.977 * [taylor]: Taking taylor expansion of y in y 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 1 into 1 6.977 * [taylor]: Taking taylor expansion of x in y 6.977 * [backup-simplify]: Simplify x into x 6.977 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in x 6.977 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in x 6.977 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 6.977 * [taylor]: Taking taylor expansion of 1.0 in x 6.977 * [backup-simplify]: Simplify 1.0 into 1.0 6.977 * [taylor]: Taking taylor expansion of y in x 6.977 * [backup-simplify]: Simplify y into y 6.977 * [taylor]: Taking taylor expansion of (* x y) in x 6.977 * [taylor]: Taking taylor expansion of x in x 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 1 into 1 6.977 * [taylor]: Taking taylor expansion of y in x 6.977 * [backup-simplify]: Simplify y into y 6.977 * [taylor]: Taking taylor expansion of x in x 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 1 into 1 6.977 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in x 6.977 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in x 6.977 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 6.977 * [taylor]: Taking taylor expansion of 1.0 in x 6.977 * [backup-simplify]: Simplify 1.0 into 1.0 6.977 * [taylor]: Taking taylor expansion of y in x 6.977 * [backup-simplify]: Simplify y into y 6.977 * [taylor]: Taking taylor expansion of (* x y) in x 6.977 * [taylor]: Taking taylor expansion of x in x 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 1 into 1 6.977 * [taylor]: Taking taylor expansion of y in x 6.977 * [backup-simplify]: Simplify y into y 6.977 * [taylor]: Taking taylor expansion of x in x 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 1 into 1 6.977 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 6.977 * [backup-simplify]: Simplify (* 0 y) into 0 6.978 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 6.978 * [backup-simplify]: Simplify (- 0) into 0 6.978 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 6.978 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 6.978 * [taylor]: Taking taylor expansion of 1.0 in y 6.978 * [backup-simplify]: Simplify 1.0 into 1.0 6.978 * [taylor]: Taking taylor expansion of y in y 6.978 * [backup-simplify]: Simplify 0 into 0 6.978 * [backup-simplify]: Simplify 1 into 1 6.978 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.978 * [backup-simplify]: Simplify 0 into 0 6.978 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 6.979 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.979 * [backup-simplify]: Simplify (+ 0 y) into y 6.979 * [backup-simplify]: Simplify (- 1) into -1 6.979 * [backup-simplify]: Simplify (+ y -1) into (- y 1) 6.979 * [taylor]: Taking taylor expansion of (- y 1) in y 6.979 * [taylor]: Taking taylor expansion of y in y 6.979 * [backup-simplify]: Simplify 0 into 0 6.979 * [backup-simplify]: Simplify 1 into 1 6.979 * [taylor]: Taking taylor expansion of 1 in y 6.979 * [backup-simplify]: Simplify 1 into 1 6.979 * [backup-simplify]: Simplify (- 1) into -1 6.980 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.980 * [backup-simplify]: Simplify -1 into -1 6.980 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.980 * [backup-simplify]: Simplify 1.0 into 1.0 6.981 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 6.982 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.982 * [backup-simplify]: Simplify (+ 0 0) into 0 6.982 * [backup-simplify]: Simplify (- 0) into 0 6.982 * [backup-simplify]: Simplify (+ 0 0) into 0 6.982 * [taylor]: Taking taylor expansion of 0 in y 6.982 * [backup-simplify]: Simplify 0 into 0 6.982 * [backup-simplify]: Simplify 0 into 0 6.983 * [backup-simplify]: Simplify (- 0) into 0 6.983 * [backup-simplify]: Simplify (+ 1 0) into 1 6.983 * [backup-simplify]: Simplify 1 into 1 6.983 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1.0 (* y 1)) (* -1 (* 1 x)))) into (- (+ (* 1.0 y) (* x y)) x) 6.984 * [backup-simplify]: Simplify (- (* (sqrt (+ (/ 1 x) 1.0)) (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y))) (/ 1 x)) into (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) 6.984 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in (x y) around 0 6.984 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in y 6.984 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 6.984 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.984 * [taylor]: Taking taylor expansion of 1.0 in y 6.984 * [backup-simplify]: Simplify 1.0 into 1.0 6.984 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.984 * [taylor]: Taking taylor expansion of y in y 6.984 * [backup-simplify]: Simplify 0 into 0 6.984 * [backup-simplify]: Simplify 1 into 1 6.984 * [backup-simplify]: Simplify (/ 1 1) into 1 6.984 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.984 * [taylor]: Taking taylor expansion of (* x y) in y 6.984 * [taylor]: Taking taylor expansion of x in y 6.984 * [backup-simplify]: Simplify x into x 6.984 * [taylor]: Taking taylor expansion of y in y 6.984 * [backup-simplify]: Simplify 0 into 0 6.984 * [backup-simplify]: Simplify 1 into 1 6.984 * [backup-simplify]: Simplify (* x 0) into 0 6.985 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.985 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.985 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.985 * [taylor]: Taking taylor expansion of x in y 6.985 * [backup-simplify]: Simplify x into x 6.985 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.985 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in x 6.985 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 6.985 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 6.985 * [taylor]: Taking taylor expansion of 1.0 in x 6.985 * [backup-simplify]: Simplify 1.0 into 1.0 6.985 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.985 * [taylor]: Taking taylor expansion of y in x 6.985 * [backup-simplify]: Simplify y into y 6.985 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.985 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.985 * [taylor]: Taking taylor expansion of (* x y) in x 6.985 * [taylor]: Taking taylor expansion of x in x 6.985 * [backup-simplify]: Simplify 0 into 0 6.985 * [backup-simplify]: Simplify 1 into 1 6.985 * [taylor]: Taking taylor expansion of y in x 6.985 * [backup-simplify]: Simplify y into y 6.985 * [backup-simplify]: Simplify (* 0 y) into 0 6.986 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.986 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.986 * [taylor]: Taking taylor expansion of x in x 6.986 * [backup-simplify]: Simplify 0 into 0 6.986 * [backup-simplify]: Simplify 1 into 1 6.986 * [backup-simplify]: Simplify (/ 1 1) into 1 6.986 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) (/ 1 x)) in x 6.986 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 6.986 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 6.986 * [taylor]: Taking taylor expansion of 1.0 in x 6.986 * [backup-simplify]: Simplify 1.0 into 1.0 6.986 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.986 * [taylor]: Taking taylor expansion of y in x 6.986 * [backup-simplify]: Simplify y into y 6.986 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.986 * [taylor]: Taking taylor expansion of (* x y) in x 6.986 * [taylor]: Taking taylor expansion of x in x 6.987 * [backup-simplify]: Simplify 0 into 0 6.987 * [backup-simplify]: Simplify 1 into 1 6.987 * [taylor]: Taking taylor expansion of y in x 6.987 * [backup-simplify]: Simplify y into y 6.987 * [backup-simplify]: Simplify (* 0 y) into 0 6.987 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.987 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.987 * [taylor]: Taking taylor expansion of x in x 6.987 * [backup-simplify]: Simplify 0 into 0 6.987 * [backup-simplify]: Simplify 1 into 1 6.987 * [backup-simplify]: Simplify (/ 1 1) into 1 6.987 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 6.988 * [backup-simplify]: Simplify (- 1) into -1 6.988 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 6.988 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 6.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.988 * [taylor]: Taking taylor expansion of y in y 6.988 * [backup-simplify]: Simplify 0 into 0 6.988 * [backup-simplify]: Simplify 1 into 1 6.988 * [backup-simplify]: Simplify (/ 1 1) into 1 6.988 * [taylor]: Taking taylor expansion of 1 in y 6.988 * [backup-simplify]: Simplify 1 into 1 6.989 * [backup-simplify]: Simplify (+ 1 0) into 1 6.989 * [backup-simplify]: Simplify 1 into 1 6.989 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 6.989 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.990 * [backup-simplify]: Simplify (+ (/ 1.0 y) 0) into (* 1.0 (/ 1 y)) 6.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.991 * [backup-simplify]: Simplify (- 0) into 0 6.991 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 y)) 0) into (* 1.0 (/ 1 y)) 6.991 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.991 * [taylor]: Taking taylor expansion of 1.0 in y 6.991 * [backup-simplify]: Simplify 1.0 into 1.0 6.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.991 * [taylor]: Taking taylor expansion of y in y 6.991 * [backup-simplify]: Simplify 0 into 0 6.991 * [backup-simplify]: Simplify 1 into 1 6.991 * [backup-simplify]: Simplify (/ 1 1) into 1 6.991 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.991 * [backup-simplify]: Simplify 1.0 into 1.0 6.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.993 * [backup-simplify]: Simplify (- 1) into -1 6.993 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.993 * [backup-simplify]: Simplify -1 into -1 6.993 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ (* 1.0 y) (* x y)) x) 6.993 * [backup-simplify]: Simplify (- (* (sqrt (+ (/ 1 (- x)) 1.0)) (* (sqrt (+ (/ 1 (- x)) 1.0)) (/ 1 (- y)))) (/ 1 (- x))) into (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) 6.994 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in (x y) around 0 6.994 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in y 6.994 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 6.994 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.994 * [taylor]: Taking taylor expansion of x in y 6.994 * [backup-simplify]: Simplify x into x 6.994 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.994 * [taylor]: Taking taylor expansion of (* x y) in y 6.994 * [taylor]: Taking taylor expansion of x in y 6.994 * [backup-simplify]: Simplify x into x 6.994 * [taylor]: Taking taylor expansion of y in y 6.994 * [backup-simplify]: Simplify 0 into 0 6.994 * [backup-simplify]: Simplify 1 into 1 6.994 * [backup-simplify]: Simplify (* x 0) into 0 6.994 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.994 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.994 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.994 * [taylor]: Taking taylor expansion of 1.0 in y 6.994 * [backup-simplify]: Simplify 1.0 into 1.0 6.994 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.994 * [taylor]: Taking taylor expansion of y in y 6.994 * [backup-simplify]: Simplify 0 into 0 6.994 * [backup-simplify]: Simplify 1 into 1 6.994 * [backup-simplify]: Simplify (/ 1 1) into 1 6.994 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 6.994 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 6.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.995 * [taylor]: Taking taylor expansion of x in x 6.995 * [backup-simplify]: Simplify 0 into 0 6.995 * [backup-simplify]: Simplify 1 into 1 6.995 * [backup-simplify]: Simplify (/ 1 1) into 1 6.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.995 * [taylor]: Taking taylor expansion of (* x y) in x 6.995 * [taylor]: Taking taylor expansion of x in x 6.995 * [backup-simplify]: Simplify 0 into 0 6.995 * [backup-simplify]: Simplify 1 into 1 6.995 * [taylor]: Taking taylor expansion of y in x 6.995 * [backup-simplify]: Simplify y into y 6.995 * [backup-simplify]: Simplify (* 0 y) into 0 6.995 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 6.995 * [taylor]: Taking taylor expansion of 1.0 in x 6.995 * [backup-simplify]: Simplify 1.0 into 1.0 6.995 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.995 * [taylor]: Taking taylor expansion of y in x 6.995 * [backup-simplify]: Simplify y into y 6.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.995 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y))) (* 1.0 (/ 1 y))) in x 6.995 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 6.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.995 * [taylor]: Taking taylor expansion of x in x 6.995 * [backup-simplify]: Simplify 0 into 0 6.995 * [backup-simplify]: Simplify 1 into 1 6.996 * [backup-simplify]: Simplify (/ 1 1) into 1 6.996 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.996 * [taylor]: Taking taylor expansion of (* x y) in x 6.996 * [taylor]: Taking taylor expansion of x in x 6.996 * [backup-simplify]: Simplify 0 into 0 6.996 * [backup-simplify]: Simplify 1 into 1 6.996 * [taylor]: Taking taylor expansion of y in x 6.996 * [backup-simplify]: Simplify y into y 6.996 * [backup-simplify]: Simplify (* 0 y) into 0 6.996 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.996 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.996 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 6.996 * [taylor]: Taking taylor expansion of 1.0 in x 6.996 * [backup-simplify]: Simplify 1.0 into 1.0 6.996 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.996 * [taylor]: Taking taylor expansion of y in x 6.996 * [backup-simplify]: Simplify y into y 6.996 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.996 * [backup-simplify]: Simplify (+ 1 (/ 1 y)) into (+ (/ 1 y) 1) 6.996 * [backup-simplify]: Simplify (+ (+ (/ 1 y) 1) 0) into (+ (/ 1 y) 1) 6.996 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 6.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.996 * [taylor]: Taking taylor expansion of y in y 6.997 * [backup-simplify]: Simplify 0 into 0 6.997 * [backup-simplify]: Simplify 1 into 1 6.997 * [backup-simplify]: Simplify (/ 1 1) into 1 6.997 * [taylor]: Taking taylor expansion of 1 in y 6.997 * [backup-simplify]: Simplify 1 into 1 6.997 * [backup-simplify]: Simplify (+ 1 0) into 1 6.997 * [backup-simplify]: Simplify 1 into 1 6.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.998 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 6.998 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.998 * [backup-simplify]: Simplify (+ 0 0) into 0 6.998 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 6.998 * [backup-simplify]: Simplify (- (/ 1.0 y)) into (- (* 1.0 (/ 1 y))) 6.999 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (/ 1 y)))) into (- (* 1.0 (/ 1 y))) 6.999 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 6.999 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.999 * [taylor]: Taking taylor expansion of 1.0 in y 6.999 * [backup-simplify]: Simplify 1.0 into 1.0 6.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.999 * [taylor]: Taking taylor expansion of y in y 6.999 * [backup-simplify]: Simplify 0 into 0 6.999 * [backup-simplify]: Simplify 1 into 1 6.999 * [backup-simplify]: Simplify (/ 1 1) into 1 6.999 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.999 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.000 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.000 * [backup-simplify]: Simplify (+ 0 1) into 1 7.000 * [backup-simplify]: Simplify 1 into 1 7.001 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ (* 1.0 y) (* x y)) x) 7.001 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 7.001 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 7.001 * [approximate]: Taking taylor expansion of (sqrt (+ x 1.0)) in (x) around 0 7.001 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 7.001 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 7.001 * [taylor]: Taking taylor expansion of x in x 7.001 * [backup-simplify]: Simplify 0 into 0 7.001 * [backup-simplify]: Simplify 1 into 1 7.001 * [taylor]: Taking taylor expansion of 1.0 in x 7.001 * [backup-simplify]: Simplify 1.0 into 1.0 7.001 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.002 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 7.002 * [backup-simplify]: Simplify (+ 1 0) into 1 7.003 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 7.003 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 7.003 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 7.003 * [taylor]: Taking taylor expansion of x in x 7.003 * [backup-simplify]: Simplify 0 into 0 7.003 * [backup-simplify]: Simplify 1 into 1 7.003 * [taylor]: Taking taylor expansion of 1.0 in x 7.004 * [backup-simplify]: Simplify 1.0 into 1.0 7.004 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.004 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 7.005 * [backup-simplify]: Simplify (+ 1 0) into 1 7.006 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 7.006 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 7.007 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 7.007 * [backup-simplify]: Simplify (+ 0 0) into 0 7.011 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 7.012 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3)) 7.014 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) 7.014 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ 1.0 (/ 1 x))) 7.014 * [approximate]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in (x) around 0 7.014 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 7.014 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 7.014 * [taylor]: Taking taylor expansion of 1.0 in x 7.014 * [backup-simplify]: Simplify 1.0 into 1.0 7.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.014 * [taylor]: Taking taylor expansion of x in x 7.014 * [backup-simplify]: Simplify 0 into 0 7.014 * [backup-simplify]: Simplify 1 into 1 7.014 * [backup-simplify]: Simplify (/ 1 1) into 1 7.015 * [backup-simplify]: Simplify (+ 0 1) into 1 7.015 * [backup-simplify]: Simplify (sqrt 0) into 0 7.016 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 7.016 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 7.016 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 7.016 * [taylor]: Taking taylor expansion of 1.0 in x 7.016 * [backup-simplify]: Simplify 1.0 into 1.0 7.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.016 * [taylor]: Taking taylor expansion of x in x 7.016 * [backup-simplify]: Simplify 0 into 0 7.016 * [backup-simplify]: Simplify 1 into 1 7.016 * [backup-simplify]: Simplify (/ 1 1) into 1 7.016 * [backup-simplify]: Simplify (+ 0 1) into 1 7.017 * [backup-simplify]: Simplify (sqrt 0) into 0 7.017 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 7.017 * [backup-simplify]: Simplify 0 into 0 7.017 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.018 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.020 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 7.020 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.021 * [backup-simplify]: Simplify (+ 0 0) into 0 7.023 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 7.023 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.023 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 7.023 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) 1.0)) into (sqrt (- 1.0 (/ 1 x))) 7.023 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0 7.023 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 7.023 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 7.023 * [taylor]: Taking taylor expansion of 1.0 in x 7.023 * [backup-simplify]: Simplify 1.0 into 1.0 7.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.023 * [taylor]: Taking taylor expansion of x in x 7.023 * [backup-simplify]: Simplify 0 into 0 7.023 * [backup-simplify]: Simplify 1 into 1 7.023 * [backup-simplify]: Simplify (/ 1 1) into 1 7.024 * [backup-simplify]: Simplify (- 1) into -1 7.024 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.024 * [backup-simplify]: Simplify (sqrt 0) into 0 7.025 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 7.025 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 7.025 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 7.025 * [taylor]: Taking taylor expansion of 1.0 in x 7.025 * [backup-simplify]: Simplify 1.0 into 1.0 7.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.025 * [taylor]: Taking taylor expansion of x in x 7.025 * [backup-simplify]: Simplify 0 into 0 7.025 * [backup-simplify]: Simplify 1 into 1 7.025 * [backup-simplify]: Simplify (/ 1 1) into 1 7.025 * [backup-simplify]: Simplify (- 1) into -1 7.026 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.026 * [backup-simplify]: Simplify (sqrt 0) into 0 7.027 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 7.027 * [backup-simplify]: Simplify 0 into 0 7.027 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.027 * [backup-simplify]: Simplify (- 0) into 0 7.028 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.029 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 7.029 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.030 * [backup-simplify]: Simplify (- 0) into 0 7.030 * [backup-simplify]: Simplify (+ 0 0) into 0 7.033 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 7.033 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.033 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 7.033 * * * [progress]: simplifying candidates 7.034 * [simplify]: Simplifying: (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (+ (log (sqrt (+ x 1.0))) (+ (log (sqrt (+ x 1.0))) (log y))) (+ (log (sqrt (+ x 1.0))) (log (* (sqrt (+ x 1.0)) y))) (log (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (exp (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* y y) y))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y))) (* (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)))) (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (* (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (sqrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (sqrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- x 1.0))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (- x 1.0)) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (- x 1.0)) (sqrt (- x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (cbrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (+ x 1.0)) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y) (+ (log (sqrt (+ x 1.0))) (log y)) (log (* (sqrt (+ x 1.0)) y)) (exp (* (sqrt (+ x 1.0)) y)) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* y y) y)) (* (cbrt (* (sqrt (+ x 1.0)) y)) (cbrt (* (sqrt (+ x 1.0)) y))) (cbrt (* (sqrt (+ x 1.0)) y)) (* (* (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y)) (sqrt (* (sqrt (+ x 1.0)) y)) (sqrt (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (+ x 1.0)) (* (cbrt y) (cbrt y))) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) 1) (* (cbrt (sqrt (+ x 1.0))) y) (* (sqrt (cbrt (+ x 1.0))) y) (* (sqrt (sqrt (+ x 1.0))) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (sqrt (+ x 1.0))) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y) (* (sqrt (- (* x x) (* 1.0 1.0))) y) (/ (exp (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (exp x)) (log (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (exp (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (* (cbrt (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (cbrt (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x))) (cbrt (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (* (* (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x) (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (sqrt (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (sqrt (- (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x)) (- (pow (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) 3) (pow x 3)) (+ (* (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (+ (* x x) (* (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x))) (- x) (- (* (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* x x)) (+ (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) x) (- x) (log (sqrt (+ x 1.0))) (exp (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt 1) (sqrt (+ x 1.0)) (sqrt 1) (sqrt (+ x 1.0)) (sqrt (+ (pow x 3) (pow 1.0 3))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (- x 1.0)) (/ 1 2) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (- (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* (sqrt 1.0) y)) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3)))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 7.546 * * * [progress]: adding candidates to table 7.787 * [progress]: [Phase 3 of 3] Extracting. 7.788 * * [regime]: Finding splitpoints for: (# #) 7.788 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (+ x 1.0) y) x) y x) 7.788 * * * * [regimes]: Trying to branch on (- (* (+ x 1.0) y) x) from (# #) 7.804 * * * * [regimes]: Trying to branch on y from (# #) 7.819 * * * * [regimes]: Trying to branch on x from (# #) 7.837 * * * [regime]: Found split indices: #