57.981 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: Extracting # 3 : cost 0 0.027 * * [simplify]: Extracting # 4 : cost 0 0.027 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: Extracting # 1 : cost 0 0.029 * * [simplify]: Extracting # 2 : cost 0 0.029 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: Extracting # 3 : cost 0 0.032 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 3 : 34 enodes (cost 6 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: iteration 5 : 125 enodes (cost 6 ) 0.112 * * [simplify]: Extracting # 0 : cost 0 0.113 * * [simplify]: Extracting # 1 : cost 0 0.114 * * [simplify]: Extracting # 2 : cost 0 0.114 * * [simplify]: iteration 6 : 417 enodes (cost 6 ) 0.566 * * [simplify]: Extracting # 0 : cost 0 0.568 * * [simplify]: Extracting # 1 : cost 0 0.570 * * [simplify]: Extracting # 2 : cost 0 0.572 * * [simplify]: iteration 7 : 1575 enodes (cost 6 ) 2.307 * * [simplify]: Extracting # 0 : cost 0 2.324 * * [simplify]: Extracting # 1 : cost 0 2.343 * * [simplify]: Extracting # 2 : cost 0 2.348 * * [simplify]: iteration done: 5001 enodes (cost 6 ) 2.348 * [simplify]: Simplified to: (+ (fma x y x) y) 2.351 * * [progress]: iteration 1 / 4 2.351 * * * [progress]: picking best candidate 2.352 * * * * [pick]: Picked # 2.352 * * * [progress]: localizing error 2.357 * * * [progress]: generating rewritten candidates 2.357 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.363 * * * [progress]: generating series expansions 2.363 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.363 * [backup-simplify]: Simplify (+ (fma x y x) y) into (+ y (fma x y x)) 2.363 * [approximate]: Taking taylor expansion of (+ y (fma x y x)) in (x y) around 0 2.363 * [taylor]: Taking taylor expansion of (+ y (fma x y x)) in y 2.364 * [taylor]: Taking taylor expansion of y in y 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [taylor]: Taking taylor expansion of (fma x y x) in y 2.364 * [taylor]: Rewrote expression to (+ (* x y) x) 2.364 * [taylor]: Taking taylor expansion of (* x y) in y 2.364 * [taylor]: Taking taylor expansion of x in y 2.364 * [backup-simplify]: Simplify x into x 2.364 * [taylor]: Taking taylor expansion of y in y 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [taylor]: Taking taylor expansion of x in y 2.364 * [backup-simplify]: Simplify x into x 2.364 * [taylor]: Taking taylor expansion of (+ y (fma x y x)) in x 2.364 * [taylor]: Taking taylor expansion of y in x 2.364 * [backup-simplify]: Simplify y into y 2.364 * [taylor]: Taking taylor expansion of (fma x y x) in x 2.364 * [taylor]: Rewrote expression to (+ (* x y) x) 2.364 * [taylor]: Taking taylor expansion of (* x y) in x 2.364 * [taylor]: Taking taylor expansion of x in x 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [taylor]: Taking taylor expansion of y in x 2.364 * [backup-simplify]: Simplify y into y 2.364 * [taylor]: Taking taylor expansion of x in x 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [taylor]: Taking taylor expansion of (+ y (fma x y x)) in x 2.364 * [taylor]: Taking taylor expansion of y in x 2.364 * [backup-simplify]: Simplify y into y 2.364 * [taylor]: Taking taylor expansion of (fma x y x) in x 2.364 * [taylor]: Rewrote expression to (+ (* x y) x) 2.364 * [taylor]: Taking taylor expansion of (* x y) in x 2.364 * [taylor]: Taking taylor expansion of x in x 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [taylor]: Taking taylor expansion of y in x 2.364 * [backup-simplify]: Simplify y into y 2.364 * [taylor]: Taking taylor expansion of x in x 2.364 * [backup-simplify]: Simplify 0 into 0 2.364 * [backup-simplify]: Simplify 1 into 1 2.364 * [backup-simplify]: Simplify (* 0 y) into 0 2.365 * [backup-simplify]: Simplify (+ 0 0) into 0 2.365 * [backup-simplify]: Simplify (+ y 0) into y 2.365 * [taylor]: Taking taylor expansion of y in y 2.365 * [backup-simplify]: Simplify 0 into 0 2.365 * [backup-simplify]: Simplify 1 into 1 2.365 * [backup-simplify]: Simplify 0 into 0 2.365 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.365 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 2.365 * [backup-simplify]: Simplify (+ 0 (+ y 1)) into (+ y 1) 2.366 * [taylor]: Taking taylor expansion of (+ y 1) in y 2.366 * [taylor]: Taking taylor expansion of y in y 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [backup-simplify]: Simplify 1 into 1 2.366 * [taylor]: Taking taylor expansion of 1 in y 2.366 * [backup-simplify]: Simplify 1 into 1 2.366 * [backup-simplify]: Simplify (+ 0 1) into 1 2.366 * [backup-simplify]: Simplify 1 into 1 2.366 * [backup-simplify]: Simplify 1 into 1 2.367 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.367 * [backup-simplify]: Simplify (+ 0 0) into 0 2.367 * [backup-simplify]: Simplify (+ 0 0) into 0 2.367 * [taylor]: Taking taylor expansion of 0 in y 2.367 * [backup-simplify]: Simplify 0 into 0 2.367 * [backup-simplify]: Simplify 0 into 0 2.367 * [backup-simplify]: Simplify (+ 1 0) into 1 2.367 * [backup-simplify]: Simplify 1 into 1 2.368 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (+ x (+ y (* x y))) 2.368 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 x)) (/ 1 y)) into (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) 2.368 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in (x y) around 0 2.368 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in y 2.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.368 * [taylor]: Taking taylor expansion of y in y 2.368 * [backup-simplify]: Simplify 0 into 0 2.368 * [backup-simplify]: Simplify 1 into 1 2.368 * [backup-simplify]: Simplify (/ 1 1) into 1 2.368 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 2.368 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 2.368 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 2.368 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.368 * [taylor]: Taking taylor expansion of x in y 2.369 * [backup-simplify]: Simplify x into x 2.369 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.369 * [taylor]: Taking taylor expansion of y in y 2.369 * [backup-simplify]: Simplify 0 into 0 2.369 * [backup-simplify]: Simplify 1 into 1 2.369 * [backup-simplify]: Simplify (/ 1 1) into 1 2.369 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.369 * [taylor]: Taking taylor expansion of x in y 2.369 * [backup-simplify]: Simplify x into x 2.369 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.369 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 2.369 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.369 * [taylor]: Taking taylor expansion of y in x 2.369 * [backup-simplify]: Simplify y into y 2.369 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.369 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 2.369 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 2.369 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 2.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.369 * [taylor]: Taking taylor expansion of x in x 2.369 * [backup-simplify]: Simplify 0 into 0 2.369 * [backup-simplify]: Simplify 1 into 1 2.370 * [backup-simplify]: Simplify (/ 1 1) into 1 2.370 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.370 * [taylor]: Taking taylor expansion of y in x 2.370 * [backup-simplify]: Simplify y into y 2.370 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.370 * [taylor]: Taking taylor expansion of x in x 2.370 * [backup-simplify]: Simplify 0 into 0 2.370 * [backup-simplify]: Simplify 1 into 1 2.370 * [backup-simplify]: Simplify (/ 1 1) into 1 2.370 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 2.370 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.370 * [taylor]: Taking taylor expansion of y in x 2.370 * [backup-simplify]: Simplify y into y 2.370 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.370 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 2.370 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 2.370 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 2.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.370 * [taylor]: Taking taylor expansion of x in x 2.370 * [backup-simplify]: Simplify 0 into 0 2.370 * [backup-simplify]: Simplify 1 into 1 2.370 * [backup-simplify]: Simplify (/ 1 1) into 1 2.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.371 * [taylor]: Taking taylor expansion of y in x 2.371 * [backup-simplify]: Simplify y into y 2.371 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.371 * [taylor]: Taking taylor expansion of x in x 2.371 * [backup-simplify]: Simplify 0 into 0 2.371 * [backup-simplify]: Simplify 1 into 1 2.371 * [backup-simplify]: Simplify (/ 1 1) into 1 2.371 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 2.371 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 2.371 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 y) 1)) into (+ (/ 1 y) 1) 2.371 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 2.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.371 * [taylor]: Taking taylor expansion of y in y 2.371 * [backup-simplify]: Simplify 0 into 0 2.371 * [backup-simplify]: Simplify 1 into 1 2.371 * [backup-simplify]: Simplify (/ 1 1) into 1 2.371 * [taylor]: Taking taylor expansion of 1 in y 2.371 * [backup-simplify]: Simplify 1 into 1 2.372 * [backup-simplify]: Simplify (+ 1 0) into 1 2.372 * [backup-simplify]: Simplify 1 into 1 2.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 2.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.373 * [backup-simplify]: Simplify (+ 0 0) into 0 2.373 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.373 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.373 * [taylor]: Taking taylor expansion of y in y 2.373 * [backup-simplify]: Simplify 0 into 0 2.373 * [backup-simplify]: Simplify 1 into 1 2.374 * [backup-simplify]: Simplify (/ 1 1) into 1 2.374 * [backup-simplify]: Simplify 1 into 1 2.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.374 * [backup-simplify]: Simplify (+ 0 1) into 1 2.374 * [backup-simplify]: Simplify 1 into 1 2.375 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (+ x (+ y (* x y))) 2.375 * [backup-simplify]: Simplify (+ (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- y))) into (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) 2.375 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in (x y) around 0 2.375 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in y 2.375 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 2.375 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 2.375 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 2.375 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.375 * [taylor]: Taking taylor expansion of -1 in y 2.375 * [backup-simplify]: Simplify -1 into -1 2.375 * [taylor]: Taking taylor expansion of x in y 2.375 * [backup-simplify]: Simplify x into x 2.375 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.375 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.375 * [taylor]: Taking taylor expansion of -1 in y 2.375 * [backup-simplify]: Simplify -1 into -1 2.375 * [taylor]: Taking taylor expansion of y in y 2.375 * [backup-simplify]: Simplify 0 into 0 2.375 * [backup-simplify]: Simplify 1 into 1 2.376 * [backup-simplify]: Simplify (/ -1 1) into -1 2.376 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.376 * [taylor]: Taking taylor expansion of -1 in y 2.376 * [backup-simplify]: Simplify -1 into -1 2.376 * [taylor]: Taking taylor expansion of x in y 2.376 * [backup-simplify]: Simplify x into x 2.376 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.376 * [taylor]: Taking taylor expansion of y in y 2.376 * [backup-simplify]: Simplify 0 into 0 2.376 * [backup-simplify]: Simplify 1 into 1 2.376 * [backup-simplify]: Simplify (/ 1 1) into 1 2.376 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in x 2.376 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 2.376 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 2.376 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 2.376 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.376 * [taylor]: Taking taylor expansion of -1 in x 2.376 * [backup-simplify]: Simplify -1 into -1 2.376 * [taylor]: Taking taylor expansion of x in x 2.376 * [backup-simplify]: Simplify 0 into 0 2.376 * [backup-simplify]: Simplify 1 into 1 2.376 * [backup-simplify]: Simplify (/ -1 1) into -1 2.376 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.377 * [taylor]: Taking taylor expansion of -1 in x 2.377 * [backup-simplify]: Simplify -1 into -1 2.377 * [taylor]: Taking taylor expansion of y in x 2.377 * [backup-simplify]: Simplify y into y 2.377 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.377 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.377 * [taylor]: Taking taylor expansion of -1 in x 2.377 * [backup-simplify]: Simplify -1 into -1 2.377 * [taylor]: Taking taylor expansion of x in x 2.377 * [backup-simplify]: Simplify 0 into 0 2.377 * [backup-simplify]: Simplify 1 into 1 2.377 * [backup-simplify]: Simplify (/ -1 1) into -1 2.377 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.377 * [taylor]: Taking taylor expansion of y in x 2.377 * [backup-simplify]: Simplify y into y 2.377 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.377 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in x 2.377 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 2.377 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 2.377 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 2.377 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.377 * [taylor]: Taking taylor expansion of -1 in x 2.377 * [backup-simplify]: Simplify -1 into -1 2.377 * [taylor]: Taking taylor expansion of x in x 2.377 * [backup-simplify]: Simplify 0 into 0 2.377 * [backup-simplify]: Simplify 1 into 1 2.378 * [backup-simplify]: Simplify (/ -1 1) into -1 2.378 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.378 * [taylor]: Taking taylor expansion of -1 in x 2.378 * [backup-simplify]: Simplify -1 into -1 2.378 * [taylor]: Taking taylor expansion of y in x 2.378 * [backup-simplify]: Simplify y into y 2.378 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.378 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.378 * [taylor]: Taking taylor expansion of -1 in x 2.378 * [backup-simplify]: Simplify -1 into -1 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [backup-simplify]: Simplify 0 into 0 2.378 * [backup-simplify]: Simplify 1 into 1 2.378 * [backup-simplify]: Simplify (/ -1 1) into -1 2.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.378 * [taylor]: Taking taylor expansion of y in x 2.378 * [backup-simplify]: Simplify y into y 2.378 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.378 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 2.378 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 2.378 * [backup-simplify]: Simplify (+ (- (/ 1 y) 1) 0) into (- (/ 1 y) 1) 2.378 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 2.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.378 * [taylor]: Taking taylor expansion of y in y 2.378 * [backup-simplify]: Simplify 0 into 0 2.378 * [backup-simplify]: Simplify 1 into 1 2.379 * [backup-simplify]: Simplify (/ 1 1) into 1 2.379 * [taylor]: Taking taylor expansion of 1 in y 2.379 * [backup-simplify]: Simplify 1 into 1 2.379 * [backup-simplify]: Simplify (+ 1 0) into 1 2.379 * [backup-simplify]: Simplify 1 into 1 2.379 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.381 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 2.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.382 * [backup-simplify]: Simplify (+ 0 0) into 0 2.382 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 2.382 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 2.382 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.382 * [taylor]: Taking taylor expansion of y in y 2.382 * [backup-simplify]: Simplify 0 into 0 2.382 * [backup-simplify]: Simplify 1 into 1 2.383 * [backup-simplify]: Simplify (/ 1 1) into 1 2.383 * [backup-simplify]: Simplify (- 1) into -1 2.383 * [backup-simplify]: Simplify -1 into -1 2.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.384 * [backup-simplify]: Simplify (- 1) into -1 2.384 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.384 * [backup-simplify]: Simplify -1 into -1 2.385 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (+ x (+ y (* x y))) 2.385 * * * [progress]: simplifying candidates 2.386 * [simplify]: Simplifying: (expm1 (+ (fma x y x) y)) (log1p (+ (fma x y x) y)) (* (exp (fma x y x)) (exp y)) (log (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y))) (cbrt (+ (fma x y x) y)) (* (* (+ (fma x y x) y) (+ (fma x y x) y)) (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (+ (pow (fma x y x) 3) (pow y 3)) (+ (* (fma x y x) (fma x y x)) (- (* y y) (* (fma x y x) y))) (- (* (fma x y x) (fma x y x)) (* y y)) (- (fma x y x) y) (+ (fma x y x) y) (+ x y) (+ x (+ y (* x y))) (+ x (+ y (* x y))) (+ x (+ y (* x y))) 2.387 * * [simplify]: Extracting # 0 : cost 0 2.387 * * [simplify]: Extracting # 1 : cost 0 2.387 * * [simplify]: Extracting # 2 : cost 0 2.387 * * [simplify]: Extracting # 3 : cost 0 2.387 * * [simplify]: Extracting # 4 : cost 0 2.387 * * [simplify]: Extracting # 5 : cost 0 2.387 * * [simplify]: iteration 0 : 31 enodes (cost 171 ) 2.400 * * [simplify]: Extracting # 0 : cost 0 2.400 * * [simplify]: Extracting # 1 : cost 0 2.400 * * [simplify]: Extracting # 2 : cost 0 2.400 * * [simplify]: Extracting # 3 : cost 0 2.401 * * [simplify]: Extracting # 4 : cost 0 2.401 * * [simplify]: iteration 1 : 83 enodes (cost 167 ) 2.436 * * [simplify]: Extracting # 0 : cost 0 2.436 * * [simplify]: Extracting # 1 : cost 0 2.436 * * [simplify]: Extracting # 2 : cost 0 2.437 * * [simplify]: Extracting # 3 : cost 0 2.437 * * [simplify]: Extracting # 4 : cost 0 2.437 * * [simplify]: iteration 2 : 229 enodes (cost 152 ) 2.579 * * [simplify]: Extracting # 0 : cost 0 2.581 * * [simplify]: Extracting # 1 : cost 0 2.583 * * [simplify]: Extracting # 2 : cost 0 2.585 * * [simplify]: Extracting # 3 : cost 0 2.586 * * [simplify]: Extracting # 4 : cost 0 2.588 * * [simplify]: iteration 3 : 982 enodes (cost 149 ) 3.295 * * [simplify]: Extracting # 0 : cost 0 3.305 * * [simplify]: Extracting # 1 : cost 0 3.311 * * [simplify]: Extracting # 2 : cost 0 3.323 * * [simplify]: Extracting # 3 : cost 0 3.329 * * [simplify]: Extracting # 4 : cost 0 3.334 * * [simplify]: Extracting # 5 : cost 0 3.342 * * [simplify]: iteration done: 5000 enodes (cost 149 ) 3.342 * [simplify]: Simplified to: (expm1 (+ (fma x y x) y)) (log1p (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (log (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y))) (cbrt (+ (fma x y x) y)) (pow (+ (fma x y x) y) 3) (sqrt (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (+ (pow (fma x y x) 3) (pow y 3)) (fma y y (* (fma x y x) (- (fma x y x) y))) (- (* (fma x y x) (fma x y x)) (* y y)) (- (fma x y x) y) (+ (fma x y x) y) (+ x y) (+ (fma x y x) y) (+ (fma x y x) y) (+ (fma x y x) y) 3.342 * * * [progress]: adding candidates to table 3.423 * * [progress]: iteration 2 / 4 3.423 * * * [progress]: picking best candidate 3.427 * * * * [pick]: Picked # 3.427 * * * [progress]: localizing error 3.443 * * * [progress]: generating rewritten candidates 3.443 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.444 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 3.446 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 3.450 * * * [progress]: generating series expansions 3.450 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.451 * [backup-simplify]: Simplify (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y) into (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y) 3.451 * [approximate]: Taking taylor expansion of (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y) in (x y) around 0 3.451 * [taylor]: Taking taylor expansion of (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y) in y 3.451 * [taylor]: Rewrote expression to (+ (* (sqrt (fma x y x)) (sqrt (fma x y x))) y) 3.451 * [taylor]: Taking taylor expansion of (* (sqrt (fma x y x)) (sqrt (fma x y x))) in y 3.451 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in y 3.451 * [taylor]: Taking taylor expansion of (fma x y x) in y 3.451 * [taylor]: Rewrote expression to (+ (* x y) x) 3.451 * [taylor]: Taking taylor expansion of (* x y) in y 3.451 * [taylor]: Taking taylor expansion of x in y 3.451 * [backup-simplify]: Simplify x into x 3.451 * [taylor]: Taking taylor expansion of y in y 3.451 * [backup-simplify]: Simplify 0 into 0 3.451 * [backup-simplify]: Simplify 1 into 1 3.451 * [taylor]: Taking taylor expansion of x in y 3.451 * [backup-simplify]: Simplify x into x 3.451 * [backup-simplify]: Simplify (* x 0) into 0 3.451 * [backup-simplify]: Simplify (+ 0 x) into x 3.451 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 3.452 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.452 * [backup-simplify]: Simplify (+ x 0) into x 3.452 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x)) 3.452 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in y 3.452 * [taylor]: Taking taylor expansion of (fma x y x) in y 3.452 * [taylor]: Rewrote expression to (+ (* x y) x) 3.452 * [taylor]: Taking taylor expansion of (* x y) in y 3.452 * [taylor]: Taking taylor expansion of x in y 3.452 * [backup-simplify]: Simplify x into x 3.452 * [taylor]: Taking taylor expansion of y in y 3.452 * [backup-simplify]: Simplify 0 into 0 3.452 * [backup-simplify]: Simplify 1 into 1 3.452 * [taylor]: Taking taylor expansion of x in y 3.452 * [backup-simplify]: Simplify x into x 3.453 * [backup-simplify]: Simplify (* x 0) into 0 3.453 * [backup-simplify]: Simplify (+ 0 x) into x 3.453 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 3.453 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.453 * [backup-simplify]: Simplify (+ x 0) into x 3.453 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x)) 3.453 * [taylor]: Taking taylor expansion of y in y 3.453 * [backup-simplify]: Simplify 0 into 0 3.453 * [backup-simplify]: Simplify 1 into 1 3.453 * [taylor]: Taking taylor expansion of (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y) in x 3.453 * [taylor]: Rewrote expression to (+ (* (sqrt (fma x y x)) (sqrt (fma x y x))) y) 3.453 * [taylor]: Taking taylor expansion of (* (sqrt (fma x y x)) (sqrt (fma x y x))) in x 3.453 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.453 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.454 * [taylor]: Rewrote expression to (+ (* x y) x) 3.454 * [taylor]: Taking taylor expansion of (* x y) in x 3.454 * [taylor]: Taking taylor expansion of x in x 3.454 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify 1 into 1 3.454 * [taylor]: Taking taylor expansion of y in x 3.454 * [backup-simplify]: Simplify y into y 3.454 * [taylor]: Taking taylor expansion of x in x 3.454 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify 1 into 1 3.454 * [backup-simplify]: Simplify (* 0 y) into 0 3.454 * [backup-simplify]: Simplify (+ 0 0) into 0 3.455 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.455 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.455 * [backup-simplify]: Simplify (sqrt 0) into 0 3.455 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.455 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.456 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.456 * [taylor]: Rewrote expression to (+ (* x y) x) 3.456 * [taylor]: Taking taylor expansion of (* x y) in x 3.456 * [taylor]: Taking taylor expansion of x in x 3.456 * [backup-simplify]: Simplify 0 into 0 3.456 * [backup-simplify]: Simplify 1 into 1 3.456 * [taylor]: Taking taylor expansion of y in x 3.456 * [backup-simplify]: Simplify y into y 3.456 * [taylor]: Taking taylor expansion of x in x 3.456 * [backup-simplify]: Simplify 0 into 0 3.456 * [backup-simplify]: Simplify 1 into 1 3.456 * [backup-simplify]: Simplify (* 0 y) into 0 3.456 * [backup-simplify]: Simplify (+ 0 0) into 0 3.457 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.457 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.457 * [backup-simplify]: Simplify (sqrt 0) into 0 3.457 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.458 * [taylor]: Taking taylor expansion of y in x 3.458 * [backup-simplify]: Simplify y into y 3.458 * [taylor]: Taking taylor expansion of (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y) in x 3.458 * [taylor]: Rewrote expression to (+ (* (sqrt (fma x y x)) (sqrt (fma x y x))) y) 3.458 * [taylor]: Taking taylor expansion of (* (sqrt (fma x y x)) (sqrt (fma x y x))) in x 3.458 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.458 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.458 * [taylor]: Rewrote expression to (+ (* x y) x) 3.458 * [taylor]: Taking taylor expansion of (* x y) in x 3.458 * [taylor]: Taking taylor expansion of x in x 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 1 into 1 3.458 * [taylor]: Taking taylor expansion of y in x 3.458 * [backup-simplify]: Simplify y into y 3.458 * [taylor]: Taking taylor expansion of x in x 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 1 into 1 3.458 * [backup-simplify]: Simplify (* 0 y) into 0 3.459 * [backup-simplify]: Simplify (+ 0 0) into 0 3.459 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.459 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.459 * [backup-simplify]: Simplify (sqrt 0) into 0 3.460 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.460 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.460 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.460 * [taylor]: Rewrote expression to (+ (* x y) x) 3.460 * [taylor]: Taking taylor expansion of (* x y) in x 3.460 * [taylor]: Taking taylor expansion of x in x 3.460 * [backup-simplify]: Simplify 0 into 0 3.460 * [backup-simplify]: Simplify 1 into 1 3.460 * [taylor]: Taking taylor expansion of y in x 3.460 * [backup-simplify]: Simplify y into y 3.460 * [taylor]: Taking taylor expansion of x in x 3.460 * [backup-simplify]: Simplify 0 into 0 3.460 * [backup-simplify]: Simplify 1 into 1 3.460 * [backup-simplify]: Simplify (* 0 y) into 0 3.461 * [backup-simplify]: Simplify (+ 0 0) into 0 3.461 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.461 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.461 * [backup-simplify]: Simplify (sqrt 0) into 0 3.462 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.462 * [taylor]: Taking taylor expansion of y in x 3.462 * [backup-simplify]: Simplify y into y 3.462 * [backup-simplify]: Simplify (* 0 0) into 0 3.462 * [backup-simplify]: Simplify (+ 0 y) into y 3.462 * [taylor]: Taking taylor expansion of y in y 3.462 * [backup-simplify]: Simplify 0 into 0 3.462 * [backup-simplify]: Simplify 1 into 1 3.463 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ y 1))) (* (* +nan.0 (+ y 1)) 0)) into 0 3.463 * [backup-simplify]: Simplify (+ 0 0) into 0 3.463 * [taylor]: Taking taylor expansion of 0 in y 3.463 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify 1 into 1 3.464 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.464 * [backup-simplify]: Simplify (+ 0 0) into 0 3.465 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ y 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.467 * [backup-simplify]: Simplify (+ 0 0) into 0 3.467 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ y 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.469 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))))) (+ (* (* +nan.0 (+ y 1)) (* +nan.0 (+ y 1))) (* (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 0))) into (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.470 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 0) into (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.470 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 3.470 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 3.470 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 3.470 * [taylor]: Taking taylor expansion of +nan.0 in y 3.470 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.470 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.470 * [taylor]: Taking taylor expansion of y in y 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 3.470 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 3.470 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 3.470 * [taylor]: Taking taylor expansion of +nan.0 in y 3.470 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.470 * [taylor]: Taking taylor expansion of y in y 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.470 * [taylor]: Taking taylor expansion of +nan.0 in y 3.470 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.471 * [backup-simplify]: Simplify (* +nan.0 0) into 0 3.471 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.472 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.473 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.473 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.474 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.474 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.474 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify 0 into 0 3.476 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.476 * [backup-simplify]: Simplify (+ 0 0) into 0 3.477 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (+ y 1)) (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) 3.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 3.479 * [backup-simplify]: Simplify (+ 0 0) into 0 3.480 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (+ y 1)) (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) 3.484 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))))))) (+ (* (* +nan.0 (+ y 1)) (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))))) (+ (* (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) (* +nan.0 (+ y 1))) (* (* +nan.0 (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) 0)))) into (- (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) 3.485 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) 0) into (- (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) 3.485 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) in y 3.485 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))))) in y 3.485 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 3)) in y 3.485 * [taylor]: Taking taylor expansion of +nan.0 in y 3.485 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.485 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.485 * [taylor]: Taking taylor expansion of y in y 3.485 * [backup-simplify]: Simplify 0 into 0 3.485 * [backup-simplify]: Simplify 1 into 1 3.485 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 3.485 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 3.485 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 3.485 * [taylor]: Taking taylor expansion of +nan.0 in y 3.485 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.485 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.485 * [taylor]: Taking taylor expansion of y in y 3.485 * [backup-simplify]: Simplify 0 into 0 3.485 * [backup-simplify]: Simplify 1 into 1 3.485 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 3.485 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 3.485 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 3.485 * [taylor]: Taking taylor expansion of +nan.0 in y 3.486 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.486 * [taylor]: Taking taylor expansion of y in y 3.486 * [backup-simplify]: Simplify 0 into 0 3.486 * [backup-simplify]: Simplify 1 into 1 3.486 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.486 * [taylor]: Taking taylor expansion of +nan.0 in y 3.486 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.486 * [backup-simplify]: Simplify (* +nan.0 0) into 0 3.486 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.487 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.488 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.489 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.490 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.491 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.492 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.492 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.493 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 3)) (+ (* (- +nan.0) (pow (* 1 x) 2)) (* 1 (* y 1)))) into (- y (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (pow x 3))))) 3.494 * [backup-simplify]: Simplify (fma (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (/ 1 y)) into (fma (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (/ 1 y)) 3.494 * [approximate]: Taking taylor expansion of (fma (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (/ 1 y)) in (x y) around 0 3.494 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (/ 1 y)) in y 3.494 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x)))) (/ 1 y)) 3.494 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x)))) in y 3.494 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in y 3.494 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 3.494 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.494 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 3.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.495 * [taylor]: Taking taylor expansion of x in y 3.495 * [backup-simplify]: Simplify x into x 3.495 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.495 * [taylor]: Taking taylor expansion of y in y 3.495 * [backup-simplify]: Simplify 0 into 0 3.495 * [backup-simplify]: Simplify 1 into 1 3.495 * [backup-simplify]: Simplify (/ 1 1) into 1 3.495 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.495 * [taylor]: Taking taylor expansion of x in y 3.495 * [backup-simplify]: Simplify x into x 3.495 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.495 * [backup-simplify]: Simplify (* (/ 1 x) 1) into (/ 1 x) 3.496 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.496 * [backup-simplify]: Simplify (sqrt 0) into 0 3.496 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.497 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in y 3.497 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 3.497 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.497 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 3.497 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.497 * [taylor]: Taking taylor expansion of x in y 3.497 * [backup-simplify]: Simplify x into x 3.497 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.497 * [taylor]: Taking taylor expansion of y in y 3.497 * [backup-simplify]: Simplify 0 into 0 3.497 * [backup-simplify]: Simplify 1 into 1 3.497 * [backup-simplify]: Simplify (/ 1 1) into 1 3.497 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.498 * [taylor]: Taking taylor expansion of x in y 3.498 * [backup-simplify]: Simplify x into x 3.498 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.498 * [backup-simplify]: Simplify (* (/ 1 x) 1) into (/ 1 x) 3.498 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.498 * [backup-simplify]: Simplify (sqrt 0) into 0 3.499 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.499 * [taylor]: Taking taylor expansion of y in y 3.499 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify 1 into 1 3.499 * [backup-simplify]: Simplify (/ 1 1) into 1 3.499 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (/ 1 y)) in x 3.500 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x)))) (/ 1 y)) 3.500 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x)))) in x 3.500 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.500 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.500 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.500 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.500 * [taylor]: Taking taylor expansion of x in x 3.500 * [backup-simplify]: Simplify 0 into 0 3.500 * [backup-simplify]: Simplify 1 into 1 3.500 * [backup-simplify]: Simplify (/ 1 1) into 1 3.500 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.500 * [taylor]: Taking taylor expansion of y in x 3.501 * [backup-simplify]: Simplify y into y 3.501 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.501 * [taylor]: Taking taylor expansion of x in x 3.501 * [backup-simplify]: Simplify 0 into 0 3.501 * [backup-simplify]: Simplify 1 into 1 3.501 * [backup-simplify]: Simplify (/ 1 1) into 1 3.501 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.501 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.502 * [backup-simplify]: Simplify (sqrt 0) into 0 3.502 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.502 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.502 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.503 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.503 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.503 * [taylor]: Taking taylor expansion of x in x 3.503 * [backup-simplify]: Simplify 0 into 0 3.503 * [backup-simplify]: Simplify 1 into 1 3.503 * [backup-simplify]: Simplify (/ 1 1) into 1 3.503 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.503 * [taylor]: Taking taylor expansion of y in x 3.503 * [backup-simplify]: Simplify y into y 3.503 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.503 * [taylor]: Taking taylor expansion of x in x 3.503 * [backup-simplify]: Simplify 0 into 0 3.503 * [backup-simplify]: Simplify 1 into 1 3.504 * [backup-simplify]: Simplify (/ 1 1) into 1 3.504 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.504 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.504 * [backup-simplify]: Simplify (sqrt 0) into 0 3.505 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.505 * [taylor]: Taking taylor expansion of y in x 3.505 * [backup-simplify]: Simplify y into y 3.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.505 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (/ 1 y)) in x 3.506 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x)))) (/ 1 y)) 3.506 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x)))) in x 3.506 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.506 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.506 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.506 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.506 * [taylor]: Taking taylor expansion of x in x 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 1 into 1 3.506 * [backup-simplify]: Simplify (/ 1 1) into 1 3.506 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.506 * [taylor]: Taking taylor expansion of y in x 3.506 * [backup-simplify]: Simplify y into y 3.507 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.507 * [taylor]: Taking taylor expansion of x in x 3.507 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify 1 into 1 3.507 * [backup-simplify]: Simplify (/ 1 1) into 1 3.507 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.507 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.507 * [backup-simplify]: Simplify (sqrt 0) into 0 3.508 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.508 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.508 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.508 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.508 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.508 * [taylor]: Taking taylor expansion of x in x 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify 1 into 1 3.508 * [backup-simplify]: Simplify (/ 1 1) into 1 3.508 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.508 * [taylor]: Taking taylor expansion of y in x 3.508 * [backup-simplify]: Simplify y into y 3.508 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.508 * [taylor]: Taking taylor expansion of x in x 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify 1 into 1 3.508 * [backup-simplify]: Simplify (/ 1 1) into 1 3.508 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.509 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.509 * [backup-simplify]: Simplify (sqrt 0) into 0 3.509 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.509 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.509 * [taylor]: Taking taylor expansion of y in x 3.509 * [backup-simplify]: Simplify y into y 3.509 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.510 * [backup-simplify]: Simplify (* 0 0) into 0 3.510 * [backup-simplify]: Simplify (+ 0 0) into 0 3.510 * [taylor]: Taking taylor expansion of 0 in y 3.510 * [backup-simplify]: Simplify 0 into 0 3.510 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (/ 1 y) 1))) (* (* +nan.0 (+ (/ 1 y) 1)) 0)) into 0 3.510 * [backup-simplify]: Simplify (+ 0 0) into 0 3.510 * [taylor]: Taking taylor expansion of 0 in y 3.510 * [backup-simplify]: Simplify 0 into 0 3.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.511 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 3.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.512 * [backup-simplify]: Simplify (+ 0 0) into 0 3.513 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 3.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.514 * [backup-simplify]: Simplify (+ 0 0) into 0 3.515 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.516 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) (+ (* (* +nan.0 (+ (/ 1 y) 1)) (* +nan.0 (+ (/ 1 y) 1))) (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 0))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.517 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (/ 1 y)) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.517 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.517 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.517 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.517 * [taylor]: Taking taylor expansion of +nan.0 in y 3.517 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.517 * [taylor]: Taking taylor expansion of y in y 3.517 * [backup-simplify]: Simplify 0 into 0 3.517 * [backup-simplify]: Simplify 1 into 1 3.517 * [backup-simplify]: Simplify (/ 1 1) into 1 3.517 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.517 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.517 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.517 * [taylor]: Taking taylor expansion of +nan.0 in y 3.517 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.517 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.517 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.517 * [taylor]: Taking taylor expansion of y in y 3.517 * [backup-simplify]: Simplify 0 into 0 3.517 * [backup-simplify]: Simplify 1 into 1 3.517 * [backup-simplify]: Simplify (* 1 1) into 1 3.518 * [backup-simplify]: Simplify (/ 1 1) into 1 3.518 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.518 * [taylor]: Taking taylor expansion of +nan.0 in y 3.518 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.518 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.518 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.519 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.519 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.520 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.520 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.520 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.522 * [backup-simplify]: Simplify (+ 0 0) into 0 3.523 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (+ (/ 1 y) 1)) (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.530 * [backup-simplify]: Simplify (+ 0 0) into 0 3.531 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (+ (/ 1 y) 1)) (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.534 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))))) (+ (* (* +nan.0 (+ (/ 1 y) 1)) (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) (+ (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (* +nan.0 (+ (/ 1 y) 1))) (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 0)))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.536 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 0) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.536 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) in y 3.536 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) in y 3.536 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.536 * [taylor]: Taking taylor expansion of +nan.0 in y 3.536 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.536 * [taylor]: Taking taylor expansion of y in y 3.536 * [backup-simplify]: Simplify 0 into 0 3.536 * [backup-simplify]: Simplify 1 into 1 3.537 * [backup-simplify]: Simplify (/ 1 1) into 1 3.537 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.537 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.537 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y 3.537 * [taylor]: Taking taylor expansion of +nan.0 in y 3.537 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.537 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.537 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.537 * [taylor]: Taking taylor expansion of y in y 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify 1 into 1 3.537 * [backup-simplify]: Simplify (* 1 1) into 1 3.538 * [backup-simplify]: Simplify (* 1 1) into 1 3.538 * [backup-simplify]: Simplify (/ 1 1) into 1 3.538 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.538 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.538 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.538 * [taylor]: Taking taylor expansion of +nan.0 in y 3.538 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.538 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.538 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.538 * [taylor]: Taking taylor expansion of y in y 3.538 * [backup-simplify]: Simplify 0 into 0 3.538 * [backup-simplify]: Simplify 1 into 1 3.539 * [backup-simplify]: Simplify (* 1 1) into 1 3.539 * [backup-simplify]: Simplify (/ 1 1) into 1 3.539 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.539 * [taylor]: Taking taylor expansion of +nan.0 in y 3.539 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.540 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.540 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.542 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.542 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.543 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.544 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.544 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.545 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.546 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.547 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.547 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.548 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.550 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.550 * [backup-simplify]: Simplify (+ 0 0) into 0 3.550 * [backup-simplify]: Simplify (- 0) into 0 3.551 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.551 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.551 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.553 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) 1)) (+ (* (- +nan.0) (* (pow (/ 1 y) -2) (/ 1 x))) (* (- +nan.0) (pow (* (/ 1 (/ 1 y)) 1) 2)))) into (- (+ (* +nan.0 (/ (pow y 2) x)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y)))))) 3.553 * [backup-simplify]: Simplify (fma (sqrt (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- x)))) (sqrt (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- x)))) (/ 1 (- y))) into (fma (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (/ -1 y)) 3.553 * [approximate]: Taking taylor expansion of (fma (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (/ -1 y)) in (x y) around 0 3.553 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (/ -1 y)) in y 3.553 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x)))) (/ -1 y)) 3.553 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x)))) in y 3.553 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in y 3.553 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 3.553 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.553 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 3.553 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.553 * [taylor]: Taking taylor expansion of -1 in y 3.553 * [backup-simplify]: Simplify -1 into -1 3.553 * [taylor]: Taking taylor expansion of x in y 3.553 * [backup-simplify]: Simplify x into x 3.553 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.553 * [taylor]: Taking taylor expansion of -1 in y 3.553 * [backup-simplify]: Simplify -1 into -1 3.554 * [taylor]: Taking taylor expansion of y in y 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 1 into 1 3.554 * [backup-simplify]: Simplify (/ -1 1) into -1 3.554 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.554 * [taylor]: Taking taylor expansion of -1 in y 3.554 * [backup-simplify]: Simplify -1 into -1 3.554 * [taylor]: Taking taylor expansion of x in y 3.554 * [backup-simplify]: Simplify x into x 3.554 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.554 * [backup-simplify]: Simplify (* (/ -1 x) -1) into (/ 1 x) 3.554 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.554 * [backup-simplify]: Simplify (sqrt 0) into 0 3.555 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.555 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in y 3.555 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 3.555 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.555 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 3.555 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.555 * [taylor]: Taking taylor expansion of -1 in y 3.555 * [backup-simplify]: Simplify -1 into -1 3.555 * [taylor]: Taking taylor expansion of x in y 3.555 * [backup-simplify]: Simplify x into x 3.555 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.555 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.555 * [taylor]: Taking taylor expansion of -1 in y 3.555 * [backup-simplify]: Simplify -1 into -1 3.555 * [taylor]: Taking taylor expansion of y in y 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [backup-simplify]: Simplify (/ -1 1) into -1 3.555 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.555 * [taylor]: Taking taylor expansion of -1 in y 3.555 * [backup-simplify]: Simplify -1 into -1 3.555 * [taylor]: Taking taylor expansion of x in y 3.555 * [backup-simplify]: Simplify x into x 3.555 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.555 * [backup-simplify]: Simplify (* (/ -1 x) -1) into (/ 1 x) 3.556 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.556 * [backup-simplify]: Simplify (sqrt 0) into 0 3.556 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.556 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.556 * [taylor]: Taking taylor expansion of -1 in y 3.556 * [backup-simplify]: Simplify -1 into -1 3.556 * [taylor]: Taking taylor expansion of y in y 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 1 into 1 3.556 * [backup-simplify]: Simplify (/ -1 1) into -1 3.557 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (/ -1 y)) in x 3.557 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x)))) (/ -1 y)) 3.557 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x)))) in x 3.557 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.557 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.557 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.557 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.557 * [taylor]: Taking taylor expansion of -1 in x 3.557 * [backup-simplify]: Simplify -1 into -1 3.557 * [taylor]: Taking taylor expansion of x in x 3.557 * [backup-simplify]: Simplify 0 into 0 3.557 * [backup-simplify]: Simplify 1 into 1 3.557 * [backup-simplify]: Simplify (/ -1 1) into -1 3.557 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.557 * [taylor]: Taking taylor expansion of -1 in x 3.557 * [backup-simplify]: Simplify -1 into -1 3.557 * [taylor]: Taking taylor expansion of y in x 3.557 * [backup-simplify]: Simplify y into y 3.557 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.557 * [taylor]: Taking taylor expansion of -1 in x 3.557 * [backup-simplify]: Simplify -1 into -1 3.557 * [taylor]: Taking taylor expansion of x in x 3.557 * [backup-simplify]: Simplify 0 into 0 3.557 * [backup-simplify]: Simplify 1 into 1 3.558 * [backup-simplify]: Simplify (/ -1 1) into -1 3.558 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.558 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.558 * [backup-simplify]: Simplify (sqrt 0) into 0 3.558 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.558 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.558 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.559 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.559 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.559 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.559 * [taylor]: Taking taylor expansion of -1 in x 3.559 * [backup-simplify]: Simplify -1 into -1 3.559 * [taylor]: Taking taylor expansion of x in x 3.559 * [backup-simplify]: Simplify 0 into 0 3.559 * [backup-simplify]: Simplify 1 into 1 3.559 * [backup-simplify]: Simplify (/ -1 1) into -1 3.559 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.559 * [taylor]: Taking taylor expansion of -1 in x 3.559 * [backup-simplify]: Simplify -1 into -1 3.559 * [taylor]: Taking taylor expansion of y in x 3.559 * [backup-simplify]: Simplify y into y 3.559 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.559 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.559 * [taylor]: Taking taylor expansion of -1 in x 3.559 * [backup-simplify]: Simplify -1 into -1 3.559 * [taylor]: Taking taylor expansion of x in x 3.559 * [backup-simplify]: Simplify 0 into 0 3.559 * [backup-simplify]: Simplify 1 into 1 3.559 * [backup-simplify]: Simplify (/ -1 1) into -1 3.559 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.559 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.560 * [backup-simplify]: Simplify (sqrt 0) into 0 3.560 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.560 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.560 * [taylor]: Taking taylor expansion of -1 in x 3.560 * [backup-simplify]: Simplify -1 into -1 3.560 * [taylor]: Taking taylor expansion of y in x 3.560 * [backup-simplify]: Simplify y into y 3.560 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.560 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (/ -1 y)) in x 3.560 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x)))) (/ -1 y)) 3.560 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x)))) in x 3.560 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.560 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.560 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.561 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.561 * [taylor]: Taking taylor expansion of -1 in x 3.561 * [backup-simplify]: Simplify -1 into -1 3.561 * [taylor]: Taking taylor expansion of x in x 3.561 * [backup-simplify]: Simplify 0 into 0 3.561 * [backup-simplify]: Simplify 1 into 1 3.561 * [backup-simplify]: Simplify (/ -1 1) into -1 3.561 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.561 * [taylor]: Taking taylor expansion of -1 in x 3.561 * [backup-simplify]: Simplify -1 into -1 3.561 * [taylor]: Taking taylor expansion of y in x 3.561 * [backup-simplify]: Simplify y into y 3.561 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.561 * [taylor]: Taking taylor expansion of -1 in x 3.561 * [backup-simplify]: Simplify -1 into -1 3.561 * [taylor]: Taking taylor expansion of x in x 3.561 * [backup-simplify]: Simplify 0 into 0 3.561 * [backup-simplify]: Simplify 1 into 1 3.561 * [backup-simplify]: Simplify (/ -1 1) into -1 3.561 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.561 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.562 * [backup-simplify]: Simplify (sqrt 0) into 0 3.562 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.562 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.562 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.562 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.562 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.562 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.562 * [taylor]: Taking taylor expansion of -1 in x 3.562 * [backup-simplify]: Simplify -1 into -1 3.562 * [taylor]: Taking taylor expansion of x in x 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 1 into 1 3.563 * [backup-simplify]: Simplify (/ -1 1) into -1 3.563 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.563 * [taylor]: Taking taylor expansion of -1 in x 3.563 * [backup-simplify]: Simplify -1 into -1 3.563 * [taylor]: Taking taylor expansion of y in x 3.563 * [backup-simplify]: Simplify y into y 3.563 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.563 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.563 * [taylor]: Taking taylor expansion of -1 in x 3.563 * [backup-simplify]: Simplify -1 into -1 3.563 * [taylor]: Taking taylor expansion of x in x 3.563 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify 1 into 1 3.563 * [backup-simplify]: Simplify (/ -1 1) into -1 3.563 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.563 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.563 * [backup-simplify]: Simplify (sqrt 0) into 0 3.564 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.564 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.564 * [taylor]: Taking taylor expansion of -1 in x 3.564 * [backup-simplify]: Simplify -1 into -1 3.564 * [taylor]: Taking taylor expansion of y in x 3.564 * [backup-simplify]: Simplify y into y 3.564 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.564 * [backup-simplify]: Simplify (* 0 0) into 0 3.564 * [backup-simplify]: Simplify (+ 0 0) into 0 3.564 * [taylor]: Taking taylor expansion of 0 in y 3.564 * [backup-simplify]: Simplify 0 into 0 3.565 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (- (/ 1 y) 1))) (* (* +nan.0 (- (/ 1 y) 1)) 0)) into 0 3.565 * [backup-simplify]: Simplify (+ 0 0) into 0 3.565 * [taylor]: Taking taylor expansion of 0 in y 3.565 * [backup-simplify]: Simplify 0 into 0 3.565 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.566 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 3.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.567 * [backup-simplify]: Simplify (+ 0 0) into 0 3.567 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.568 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.568 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 3.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.569 * [backup-simplify]: Simplify (+ 0 0) into 0 3.570 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.571 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) (+ (* (* +nan.0 (- (/ 1 y) 1)) (* +nan.0 (- (/ 1 y) 1))) (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 0))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.571 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (/ -1 y)) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.572 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.572 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.572 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.572 * [taylor]: Taking taylor expansion of +nan.0 in y 3.572 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.572 * [taylor]: Taking taylor expansion of y in y 3.572 * [backup-simplify]: Simplify 0 into 0 3.572 * [backup-simplify]: Simplify 1 into 1 3.572 * [backup-simplify]: Simplify (/ 1 1) into 1 3.572 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.572 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.572 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.572 * [taylor]: Taking taylor expansion of +nan.0 in y 3.572 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.572 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.572 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.572 * [taylor]: Taking taylor expansion of y in y 3.572 * [backup-simplify]: Simplify 0 into 0 3.572 * [backup-simplify]: Simplify 1 into 1 3.572 * [backup-simplify]: Simplify (* 1 1) into 1 3.573 * [backup-simplify]: Simplify (/ 1 1) into 1 3.573 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.573 * [taylor]: Taking taylor expansion of +nan.0 in y 3.573 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.573 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.573 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.574 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.574 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.575 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.575 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.575 * [backup-simplify]: Simplify 0 into 0 3.575 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.576 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 3.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.577 * [backup-simplify]: Simplify (+ 0 0) into 0 3.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (- (/ 1 y) 1)) (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.578 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.580 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 3.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.581 * [backup-simplify]: Simplify (+ 0 0) into 0 3.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (- (/ 1 y) 1)) (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.587 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))))) (+ (* (* +nan.0 (- (/ 1 y) 1)) (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) (+ (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (* +nan.0 (- (/ 1 y) 1))) (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 0)))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.588 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.589 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 0) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) 3.589 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) in y 3.589 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) in y 3.589 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.589 * [taylor]: Taking taylor expansion of +nan.0 in y 3.589 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.589 * [taylor]: Taking taylor expansion of y in y 3.589 * [backup-simplify]: Simplify 0 into 0 3.589 * [backup-simplify]: Simplify 1 into 1 3.589 * [backup-simplify]: Simplify (/ 1 1) into 1 3.589 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.590 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.590 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y 3.590 * [taylor]: Taking taylor expansion of +nan.0 in y 3.590 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.590 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.590 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.590 * [taylor]: Taking taylor expansion of y in y 3.590 * [backup-simplify]: Simplify 0 into 0 3.590 * [backup-simplify]: Simplify 1 into 1 3.590 * [backup-simplify]: Simplify (* 1 1) into 1 3.590 * [backup-simplify]: Simplify (* 1 1) into 1 3.591 * [backup-simplify]: Simplify (/ 1 1) into 1 3.591 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.591 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.591 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.591 * [taylor]: Taking taylor expansion of +nan.0 in y 3.591 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.591 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.591 * [taylor]: Taking taylor expansion of y in y 3.591 * [backup-simplify]: Simplify 0 into 0 3.591 * [backup-simplify]: Simplify 1 into 1 3.591 * [backup-simplify]: Simplify (* 1 1) into 1 3.592 * [backup-simplify]: Simplify (/ 1 1) into 1 3.592 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.592 * [taylor]: Taking taylor expansion of +nan.0 in y 3.592 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.594 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.595 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.595 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.596 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.596 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.597 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.598 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.599 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.599 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.599 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.600 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.600 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.601 * [backup-simplify]: Simplify (+ 0 0) into 0 3.601 * [backup-simplify]: Simplify (- 0) into 0 3.601 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.602 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.602 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.603 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) 1)) (+ (* (- +nan.0) (* (pow (/ 1 (- y)) -2) (/ 1 (- x)))) (* (- +nan.0) (pow (* (/ 1 (/ 1 (- y))) 1) 2)))) into (- (+ (* +nan.0 (/ (pow y 2) x)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y)))))) 3.603 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 3.603 * [backup-simplify]: Simplify (sqrt (fma x y x)) into (sqrt (fma x y x)) 3.603 * [approximate]: Taking taylor expansion of (sqrt (fma x y x)) in (x y) around 0 3.603 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in y 3.603 * [taylor]: Taking taylor expansion of (fma x y x) in y 3.603 * [taylor]: Rewrote expression to (+ (* x y) x) 3.603 * [taylor]: Taking taylor expansion of (* x y) in y 3.603 * [taylor]: Taking taylor expansion of x in y 3.604 * [backup-simplify]: Simplify x into x 3.604 * [taylor]: Taking taylor expansion of y in y 3.604 * [backup-simplify]: Simplify 0 into 0 3.604 * [backup-simplify]: Simplify 1 into 1 3.604 * [taylor]: Taking taylor expansion of x in y 3.604 * [backup-simplify]: Simplify x into x 3.604 * [backup-simplify]: Simplify (* x 0) into 0 3.604 * [backup-simplify]: Simplify (+ 0 x) into x 3.604 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 3.604 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.604 * [backup-simplify]: Simplify (+ x 0) into x 3.604 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x)) 3.604 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.604 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.604 * [taylor]: Rewrote expression to (+ (* x y) x) 3.604 * [taylor]: Taking taylor expansion of (* x y) in x 3.604 * [taylor]: Taking taylor expansion of x in x 3.604 * [backup-simplify]: Simplify 0 into 0 3.604 * [backup-simplify]: Simplify 1 into 1 3.604 * [taylor]: Taking taylor expansion of y in x 3.604 * [backup-simplify]: Simplify y into y 3.604 * [taylor]: Taking taylor expansion of x in x 3.604 * [backup-simplify]: Simplify 0 into 0 3.604 * [backup-simplify]: Simplify 1 into 1 3.604 * [backup-simplify]: Simplify (* 0 y) into 0 3.605 * [backup-simplify]: Simplify (+ 0 0) into 0 3.605 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.605 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.605 * [backup-simplify]: Simplify (sqrt 0) into 0 3.606 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.606 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.606 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.606 * [taylor]: Rewrote expression to (+ (* x y) x) 3.606 * [taylor]: Taking taylor expansion of (* x y) in x 3.606 * [taylor]: Taking taylor expansion of x in x 3.606 * [backup-simplify]: Simplify 0 into 0 3.606 * [backup-simplify]: Simplify 1 into 1 3.606 * [taylor]: Taking taylor expansion of y in x 3.606 * [backup-simplify]: Simplify y into y 3.606 * [taylor]: Taking taylor expansion of x in x 3.606 * [backup-simplify]: Simplify 0 into 0 3.606 * [backup-simplify]: Simplify 1 into 1 3.606 * [backup-simplify]: Simplify (* 0 y) into 0 3.607 * [backup-simplify]: Simplify (+ 0 0) into 0 3.608 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.608 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.608 * [backup-simplify]: Simplify (sqrt 0) into 0 3.608 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.608 * [taylor]: Taking taylor expansion of 0 in y 3.609 * [backup-simplify]: Simplify 0 into 0 3.609 * [backup-simplify]: Simplify 0 into 0 3.609 * [taylor]: Taking taylor expansion of (* +nan.0 (+ y 1)) in y 3.609 * [taylor]: Taking taylor expansion of +nan.0 in y 3.609 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.609 * [taylor]: Taking taylor expansion of (+ y 1) in y 3.609 * [taylor]: Taking taylor expansion of y in y 3.609 * [backup-simplify]: Simplify 0 into 0 3.609 * [backup-simplify]: Simplify 1 into 1 3.609 * [taylor]: Taking taylor expansion of 1 in y 3.609 * [backup-simplify]: Simplify 1 into 1 3.609 * [backup-simplify]: Simplify (+ 0 1) into 1 3.609 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.609 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.609 * [backup-simplify]: Simplify 0 into 0 3.610 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.610 * [backup-simplify]: Simplify (+ 0 0) into 0 3.611 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ y 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.611 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 3.611 * [taylor]: Taking taylor expansion of +nan.0 in y 3.611 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.611 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 3.611 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 3.611 * [taylor]: Taking taylor expansion of +nan.0 in y 3.611 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.611 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.611 * [taylor]: Taking taylor expansion of y in y 3.611 * [backup-simplify]: Simplify 0 into 0 3.611 * [backup-simplify]: Simplify 1 into 1 3.611 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 3.611 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 3.611 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 3.611 * [taylor]: Taking taylor expansion of +nan.0 in y 3.611 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.611 * [taylor]: Taking taylor expansion of y in y 3.611 * [backup-simplify]: Simplify 0 into 0 3.611 * [backup-simplify]: Simplify 1 into 1 3.611 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.611 * [taylor]: Taking taylor expansion of +nan.0 in y 3.611 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.612 * [backup-simplify]: Simplify (* +nan.0 0) into 0 3.612 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.612 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.613 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.613 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.614 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 3.614 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.614 * [backup-simplify]: Simplify (+ 1 0) into 1 3.615 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 1)) into (- +nan.0) 3.615 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.616 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* y x)) (+ (* +nan.0 (pow (* 1 x) 2)) (* +nan.0 (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) 3.616 * [backup-simplify]: Simplify (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) into (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) 3.616 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in (x y) around 0 3.616 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in y 3.616 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 3.616 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.616 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 3.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.616 * [taylor]: Taking taylor expansion of x in y 3.616 * [backup-simplify]: Simplify x into x 3.616 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.616 * [taylor]: Taking taylor expansion of y in y 3.616 * [backup-simplify]: Simplify 0 into 0 3.616 * [backup-simplify]: Simplify 1 into 1 3.617 * [backup-simplify]: Simplify (/ 1 1) into 1 3.617 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.617 * [taylor]: Taking taylor expansion of x in y 3.617 * [backup-simplify]: Simplify x into x 3.617 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.617 * [backup-simplify]: Simplify (* (/ 1 x) 1) into (/ 1 x) 3.617 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.617 * [backup-simplify]: Simplify (sqrt 0) into 0 3.617 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.617 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.617 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.618 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.618 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.618 * [taylor]: Taking taylor expansion of x in x 3.618 * [backup-simplify]: Simplify 0 into 0 3.618 * [backup-simplify]: Simplify 1 into 1 3.618 * [backup-simplify]: Simplify (/ 1 1) into 1 3.618 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.618 * [taylor]: Taking taylor expansion of y in x 3.618 * [backup-simplify]: Simplify y into y 3.618 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.618 * [taylor]: Taking taylor expansion of x in x 3.618 * [backup-simplify]: Simplify 0 into 0 3.618 * [backup-simplify]: Simplify 1 into 1 3.618 * [backup-simplify]: Simplify (/ 1 1) into 1 3.618 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.618 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.619 * [backup-simplify]: Simplify (sqrt 0) into 0 3.619 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.619 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.619 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.619 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.619 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.619 * [taylor]: Taking taylor expansion of x in x 3.619 * [backup-simplify]: Simplify 0 into 0 3.619 * [backup-simplify]: Simplify 1 into 1 3.620 * [backup-simplify]: Simplify (/ 1 1) into 1 3.620 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.620 * [taylor]: Taking taylor expansion of y in x 3.620 * [backup-simplify]: Simplify y into y 3.620 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.620 * [taylor]: Taking taylor expansion of x in x 3.620 * [backup-simplify]: Simplify 0 into 0 3.620 * [backup-simplify]: Simplify 1 into 1 3.620 * [backup-simplify]: Simplify (/ 1 1) into 1 3.620 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.620 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.620 * [backup-simplify]: Simplify (sqrt 0) into 0 3.621 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.621 * [taylor]: Taking taylor expansion of 0 in y 3.621 * [backup-simplify]: Simplify 0 into 0 3.621 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y 3.621 * [taylor]: Taking taylor expansion of +nan.0 in y 3.621 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.621 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 3.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.621 * [taylor]: Taking taylor expansion of y in y 3.621 * [backup-simplify]: Simplify 0 into 0 3.621 * [backup-simplify]: Simplify 1 into 1 3.621 * [backup-simplify]: Simplify (/ 1 1) into 1 3.621 * [taylor]: Taking taylor expansion of 1 in y 3.621 * [backup-simplify]: Simplify 1 into 1 3.621 * [backup-simplify]: Simplify (+ 1 0) into 1 3.622 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.622 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.622 * [backup-simplify]: Simplify 0 into 0 3.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.623 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 3.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.623 * [backup-simplify]: Simplify (+ 0 0) into 0 3.624 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.624 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.624 * [taylor]: Taking taylor expansion of +nan.0 in y 3.624 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.624 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.624 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.624 * [taylor]: Taking taylor expansion of +nan.0 in y 3.624 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.624 * [taylor]: Taking taylor expansion of y in y 3.624 * [backup-simplify]: Simplify 0 into 0 3.624 * [backup-simplify]: Simplify 1 into 1 3.624 * [backup-simplify]: Simplify (/ 1 1) into 1 3.624 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.624 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.624 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.624 * [taylor]: Taking taylor expansion of +nan.0 in y 3.624 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.624 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.624 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.624 * [taylor]: Taking taylor expansion of y in y 3.624 * [backup-simplify]: Simplify 0 into 0 3.624 * [backup-simplify]: Simplify 1 into 1 3.625 * [backup-simplify]: Simplify (* 1 1) into 1 3.625 * [backup-simplify]: Simplify (/ 1 1) into 1 3.625 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.625 * [taylor]: Taking taylor expansion of +nan.0 in y 3.625 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.625 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.626 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.627 * [backup-simplify]: Simplify (+ 0 0) into 0 3.627 * [backup-simplify]: Simplify (- 0) into 0 3.628 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.628 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.628 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.629 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.630 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.632 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 3.632 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.634 * [backup-simplify]: Simplify (+ 0 1) into 1 3.635 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 1)) into (- +nan.0) 3.635 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.637 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))) (* +nan.0 (* (/ 1 (/ 1 y)) 1)))) into (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.637 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- x)))) into (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) 3.637 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in (x y) around 0 3.637 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in y 3.637 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 3.637 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.637 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 3.637 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.637 * [taylor]: Taking taylor expansion of -1 in y 3.637 * [backup-simplify]: Simplify -1 into -1 3.637 * [taylor]: Taking taylor expansion of x in y 3.637 * [backup-simplify]: Simplify x into x 3.637 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.637 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.637 * [taylor]: Taking taylor expansion of -1 in y 3.638 * [backup-simplify]: Simplify -1 into -1 3.638 * [taylor]: Taking taylor expansion of y in y 3.638 * [backup-simplify]: Simplify 0 into 0 3.638 * [backup-simplify]: Simplify 1 into 1 3.642 * [backup-simplify]: Simplify (/ -1 1) into -1 3.642 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.642 * [taylor]: Taking taylor expansion of -1 in y 3.642 * [backup-simplify]: Simplify -1 into -1 3.642 * [taylor]: Taking taylor expansion of x in y 3.642 * [backup-simplify]: Simplify x into x 3.643 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.643 * [backup-simplify]: Simplify (* (/ -1 x) -1) into (/ 1 x) 3.643 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.643 * [backup-simplify]: Simplify (sqrt 0) into 0 3.643 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.643 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.643 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.644 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.644 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.644 * [taylor]: Taking taylor expansion of -1 in x 3.644 * [backup-simplify]: Simplify -1 into -1 3.644 * [taylor]: Taking taylor expansion of x in x 3.644 * [backup-simplify]: Simplify 0 into 0 3.644 * [backup-simplify]: Simplify 1 into 1 3.644 * [backup-simplify]: Simplify (/ -1 1) into -1 3.644 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.644 * [taylor]: Taking taylor expansion of -1 in x 3.644 * [backup-simplify]: Simplify -1 into -1 3.644 * [taylor]: Taking taylor expansion of y in x 3.644 * [backup-simplify]: Simplify y into y 3.644 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.644 * [taylor]: Taking taylor expansion of -1 in x 3.644 * [backup-simplify]: Simplify -1 into -1 3.644 * [taylor]: Taking taylor expansion of x in x 3.644 * [backup-simplify]: Simplify 0 into 0 3.644 * [backup-simplify]: Simplify 1 into 1 3.645 * [backup-simplify]: Simplify (/ -1 1) into -1 3.645 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.645 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.645 * [backup-simplify]: Simplify (sqrt 0) into 0 3.645 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.645 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.645 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.645 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.645 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.645 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.646 * [taylor]: Taking taylor expansion of -1 in x 3.646 * [backup-simplify]: Simplify -1 into -1 3.646 * [taylor]: Taking taylor expansion of x in x 3.646 * [backup-simplify]: Simplify 0 into 0 3.646 * [backup-simplify]: Simplify 1 into 1 3.646 * [backup-simplify]: Simplify (/ -1 1) into -1 3.646 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.646 * [taylor]: Taking taylor expansion of -1 in x 3.646 * [backup-simplify]: Simplify -1 into -1 3.646 * [taylor]: Taking taylor expansion of y in x 3.646 * [backup-simplify]: Simplify y into y 3.646 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.646 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.646 * [taylor]: Taking taylor expansion of -1 in x 3.646 * [backup-simplify]: Simplify -1 into -1 3.646 * [taylor]: Taking taylor expansion of x in x 3.646 * [backup-simplify]: Simplify 0 into 0 3.646 * [backup-simplify]: Simplify 1 into 1 3.646 * [backup-simplify]: Simplify (/ -1 1) into -1 3.646 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.646 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.647 * [backup-simplify]: Simplify (sqrt 0) into 0 3.647 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.647 * [taylor]: Taking taylor expansion of 0 in y 3.647 * [backup-simplify]: Simplify 0 into 0 3.647 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) 1)) in y 3.647 * [taylor]: Taking taylor expansion of +nan.0 in y 3.647 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.647 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 3.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.647 * [taylor]: Taking taylor expansion of y in y 3.647 * [backup-simplify]: Simplify 0 into 0 3.647 * [backup-simplify]: Simplify 1 into 1 3.648 * [backup-simplify]: Simplify (/ 1 1) into 1 3.648 * [taylor]: Taking taylor expansion of 1 in y 3.648 * [backup-simplify]: Simplify 1 into 1 3.648 * [backup-simplify]: Simplify (+ 1 0) into 1 3.648 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.648 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.648 * [backup-simplify]: Simplify 0 into 0 3.648 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.649 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 3.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.650 * [backup-simplify]: Simplify (+ 0 0) into 0 3.650 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.650 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.651 * [taylor]: Taking taylor expansion of +nan.0 in y 3.651 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.651 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.651 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.651 * [taylor]: Taking taylor expansion of +nan.0 in y 3.651 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.651 * [taylor]: Taking taylor expansion of y in y 3.651 * [backup-simplify]: Simplify 0 into 0 3.651 * [backup-simplify]: Simplify 1 into 1 3.651 * [backup-simplify]: Simplify (/ 1 1) into 1 3.651 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.651 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.651 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.651 * [taylor]: Taking taylor expansion of +nan.0 in y 3.651 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.651 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.651 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.651 * [taylor]: Taking taylor expansion of y in y 3.651 * [backup-simplify]: Simplify 0 into 0 3.651 * [backup-simplify]: Simplify 1 into 1 3.651 * [backup-simplify]: Simplify (* 1 1) into 1 3.652 * [backup-simplify]: Simplify (/ 1 1) into 1 3.652 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.652 * [taylor]: Taking taylor expansion of +nan.0 in y 3.652 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.652 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.652 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.653 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.653 * [backup-simplify]: Simplify (+ 0 0) into 0 3.654 * [backup-simplify]: Simplify (- 0) into 0 3.654 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.654 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.654 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.655 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.655 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.656 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 3.657 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.657 * [backup-simplify]: Simplify (- 1) into -1 3.658 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.659 * [backup-simplify]: Simplify (+ (* +nan.0 -1) (* 0 1)) into (- +nan.0) 3.659 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.660 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (* +nan.0 (* (/ 1 (/ 1 (- y))) 1)))) into (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.660 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 3.660 * [backup-simplify]: Simplify (sqrt (fma x y x)) into (sqrt (fma x y x)) 3.660 * [approximate]: Taking taylor expansion of (sqrt (fma x y x)) in (x y) around 0 3.660 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in y 3.660 * [taylor]: Taking taylor expansion of (fma x y x) in y 3.660 * [taylor]: Rewrote expression to (+ (* x y) x) 3.660 * [taylor]: Taking taylor expansion of (* x y) in y 3.660 * [taylor]: Taking taylor expansion of x in y 3.660 * [backup-simplify]: Simplify x into x 3.660 * [taylor]: Taking taylor expansion of y in y 3.660 * [backup-simplify]: Simplify 0 into 0 3.660 * [backup-simplify]: Simplify 1 into 1 3.660 * [taylor]: Taking taylor expansion of x in y 3.660 * [backup-simplify]: Simplify x into x 3.660 * [backup-simplify]: Simplify (* x 0) into 0 3.660 * [backup-simplify]: Simplify (+ 0 x) into x 3.660 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 3.660 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.660 * [backup-simplify]: Simplify (+ x 0) into x 3.661 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x)) 3.661 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.661 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.661 * [taylor]: Rewrote expression to (+ (* x y) x) 3.661 * [taylor]: Taking taylor expansion of (* x y) in x 3.661 * [taylor]: Taking taylor expansion of x in x 3.661 * [backup-simplify]: Simplify 0 into 0 3.661 * [backup-simplify]: Simplify 1 into 1 3.661 * [taylor]: Taking taylor expansion of y in x 3.661 * [backup-simplify]: Simplify y into y 3.661 * [taylor]: Taking taylor expansion of x in x 3.661 * [backup-simplify]: Simplify 0 into 0 3.661 * [backup-simplify]: Simplify 1 into 1 3.661 * [backup-simplify]: Simplify (* 0 y) into 0 3.661 * [backup-simplify]: Simplify (+ 0 0) into 0 3.661 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.661 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.662 * [backup-simplify]: Simplify (sqrt 0) into 0 3.662 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.662 * [taylor]: Taking taylor expansion of (sqrt (fma x y x)) in x 3.662 * [taylor]: Taking taylor expansion of (fma x y x) in x 3.662 * [taylor]: Rewrote expression to (+ (* x y) x) 3.662 * [taylor]: Taking taylor expansion of (* x y) in x 3.662 * [taylor]: Taking taylor expansion of x in x 3.662 * [backup-simplify]: Simplify 0 into 0 3.662 * [backup-simplify]: Simplify 1 into 1 3.662 * [taylor]: Taking taylor expansion of y in x 3.662 * [backup-simplify]: Simplify y into y 3.662 * [taylor]: Taking taylor expansion of x in x 3.662 * [backup-simplify]: Simplify 0 into 0 3.662 * [backup-simplify]: Simplify 1 into 1 3.662 * [backup-simplify]: Simplify (* 0 y) into 0 3.663 * [backup-simplify]: Simplify (+ 0 0) into 0 3.663 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.663 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 3.663 * [backup-simplify]: Simplify (sqrt 0) into 0 3.664 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1)) 3.664 * [taylor]: Taking taylor expansion of 0 in y 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [taylor]: Taking taylor expansion of (* +nan.0 (+ y 1)) in y 3.664 * [taylor]: Taking taylor expansion of +nan.0 in y 3.664 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.664 * [taylor]: Taking taylor expansion of (+ y 1) in y 3.664 * [taylor]: Taking taylor expansion of y in y 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [backup-simplify]: Simplify 1 into 1 3.664 * [taylor]: Taking taylor expansion of 1 in y 3.664 * [backup-simplify]: Simplify 1 into 1 3.665 * [backup-simplify]: Simplify (+ 0 1) into 1 3.665 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.665 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.665 * [backup-simplify]: Simplify 0 into 0 3.667 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.667 * [backup-simplify]: Simplify (+ 0 0) into 0 3.668 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ y 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.668 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 3.668 * [taylor]: Taking taylor expansion of +nan.0 in y 3.668 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.668 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 3.668 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 3.668 * [taylor]: Taking taylor expansion of +nan.0 in y 3.668 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.668 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.668 * [taylor]: Taking taylor expansion of y in y 3.668 * [backup-simplify]: Simplify 0 into 0 3.668 * [backup-simplify]: Simplify 1 into 1 3.668 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 3.668 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 3.668 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 3.668 * [taylor]: Taking taylor expansion of +nan.0 in y 3.668 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.668 * [taylor]: Taking taylor expansion of y in y 3.668 * [backup-simplify]: Simplify 0 into 0 3.668 * [backup-simplify]: Simplify 1 into 1 3.668 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.668 * [taylor]: Taking taylor expansion of +nan.0 in y 3.668 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.669 * [backup-simplify]: Simplify (* +nan.0 0) into 0 3.669 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.670 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.671 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.672 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.673 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 3.673 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.673 * [backup-simplify]: Simplify (+ 1 0) into 1 3.674 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 1)) into (- +nan.0) 3.675 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.676 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* y x)) (+ (* +nan.0 (pow (* 1 x) 2)) (* +nan.0 (* 1 x)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) 3.676 * [backup-simplify]: Simplify (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) into (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) 3.676 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in (x y) around 0 3.676 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in y 3.676 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 3.676 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.676 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 3.676 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.676 * [taylor]: Taking taylor expansion of x in y 3.676 * [backup-simplify]: Simplify x into x 3.676 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.676 * [taylor]: Taking taylor expansion of y in y 3.676 * [backup-simplify]: Simplify 0 into 0 3.676 * [backup-simplify]: Simplify 1 into 1 3.677 * [backup-simplify]: Simplify (/ 1 1) into 1 3.677 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.677 * [taylor]: Taking taylor expansion of x in y 3.677 * [backup-simplify]: Simplify x into x 3.677 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.677 * [backup-simplify]: Simplify (* (/ 1 x) 1) into (/ 1 x) 3.677 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.678 * [backup-simplify]: Simplify (sqrt 0) into 0 3.678 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.678 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.678 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.678 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.678 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.678 * [taylor]: Taking taylor expansion of x in x 3.678 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 1 into 1 3.679 * [backup-simplify]: Simplify (/ 1 1) into 1 3.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.679 * [taylor]: Taking taylor expansion of y in x 3.679 * [backup-simplify]: Simplify y into y 3.679 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.679 * [taylor]: Taking taylor expansion of x in x 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 1 into 1 3.680 * [backup-simplify]: Simplify (/ 1 1) into 1 3.680 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.680 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.680 * [backup-simplify]: Simplify (sqrt 0) into 0 3.681 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.681 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 3.681 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 3.681 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 3.681 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.681 * [taylor]: Taking taylor expansion of x in x 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 1 into 1 3.681 * [backup-simplify]: Simplify (/ 1 1) into 1 3.681 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.682 * [taylor]: Taking taylor expansion of y in x 3.682 * [backup-simplify]: Simplify y into y 3.682 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.682 * [taylor]: Taking taylor expansion of x in x 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 1 into 1 3.682 * [backup-simplify]: Simplify (/ 1 1) into 1 3.682 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.682 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 3.683 * [backup-simplify]: Simplify (sqrt 0) into 0 3.683 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1)) 3.683 * [taylor]: Taking taylor expansion of 0 in y 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y 3.683 * [taylor]: Taking taylor expansion of +nan.0 in y 3.683 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.684 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 3.684 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.684 * [taylor]: Taking taylor expansion of y in y 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify 1 into 1 3.684 * [backup-simplify]: Simplify (/ 1 1) into 1 3.684 * [taylor]: Taking taylor expansion of 1 in y 3.684 * [backup-simplify]: Simplify 1 into 1 3.684 * [backup-simplify]: Simplify (+ 1 0) into 1 3.685 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.685 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.685 * [backup-simplify]: Simplify 0 into 0 3.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 3.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.688 * [backup-simplify]: Simplify (+ 0 0) into 0 3.688 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (+ (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.689 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.689 * [taylor]: Taking taylor expansion of +nan.0 in y 3.689 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.689 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.689 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.689 * [taylor]: Taking taylor expansion of +nan.0 in y 3.689 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.689 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.689 * [taylor]: Taking taylor expansion of y in y 3.689 * [backup-simplify]: Simplify 0 into 0 3.689 * [backup-simplify]: Simplify 1 into 1 3.689 * [backup-simplify]: Simplify (/ 1 1) into 1 3.689 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.689 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.689 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.689 * [taylor]: Taking taylor expansion of +nan.0 in y 3.689 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.689 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.689 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.690 * [taylor]: Taking taylor expansion of y in y 3.690 * [backup-simplify]: Simplify 0 into 0 3.690 * [backup-simplify]: Simplify 1 into 1 3.690 * [backup-simplify]: Simplify (* 1 1) into 1 3.690 * [backup-simplify]: Simplify (/ 1 1) into 1 3.690 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.690 * [taylor]: Taking taylor expansion of +nan.0 in y 3.690 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.691 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.693 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.693 * [backup-simplify]: Simplify (+ 0 0) into 0 3.694 * [backup-simplify]: Simplify (- 0) into 0 3.694 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.695 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.695 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.696 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.697 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.699 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 3.699 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.700 * [backup-simplify]: Simplify (+ 0 1) into 1 3.702 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 1)) into (- +nan.0) 3.702 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.703 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))) (* +nan.0 (* (/ 1 (/ 1 y)) 1)))) into (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.703 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- x)))) into (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) 3.703 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in (x y) around 0 3.703 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in y 3.703 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 3.704 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.704 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 3.704 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.704 * [taylor]: Taking taylor expansion of -1 in y 3.704 * [backup-simplify]: Simplify -1 into -1 3.704 * [taylor]: Taking taylor expansion of x in y 3.704 * [backup-simplify]: Simplify x into x 3.704 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.704 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.704 * [taylor]: Taking taylor expansion of -1 in y 3.704 * [backup-simplify]: Simplify -1 into -1 3.704 * [taylor]: Taking taylor expansion of y in y 3.704 * [backup-simplify]: Simplify 0 into 0 3.704 * [backup-simplify]: Simplify 1 into 1 3.704 * [backup-simplify]: Simplify (/ -1 1) into -1 3.704 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.704 * [taylor]: Taking taylor expansion of -1 in y 3.704 * [backup-simplify]: Simplify -1 into -1 3.704 * [taylor]: Taking taylor expansion of x in y 3.704 * [backup-simplify]: Simplify x into x 3.704 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.705 * [backup-simplify]: Simplify (* (/ -1 x) -1) into (/ 1 x) 3.705 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.705 * [backup-simplify]: Simplify (sqrt 0) into 0 3.706 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x) 3.706 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.706 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.706 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.706 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.706 * [taylor]: Taking taylor expansion of -1 in x 3.706 * [backup-simplify]: Simplify -1 into -1 3.706 * [taylor]: Taking taylor expansion of x in x 3.706 * [backup-simplify]: Simplify 0 into 0 3.706 * [backup-simplify]: Simplify 1 into 1 3.706 * [backup-simplify]: Simplify (/ -1 1) into -1 3.706 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.706 * [taylor]: Taking taylor expansion of -1 in x 3.706 * [backup-simplify]: Simplify -1 into -1 3.706 * [taylor]: Taking taylor expansion of y in x 3.706 * [backup-simplify]: Simplify y into y 3.706 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.707 * [taylor]: Taking taylor expansion of -1 in x 3.707 * [backup-simplify]: Simplify -1 into -1 3.707 * [taylor]: Taking taylor expansion of x in x 3.707 * [backup-simplify]: Simplify 0 into 0 3.707 * [backup-simplify]: Simplify 1 into 1 3.707 * [backup-simplify]: Simplify (/ -1 1) into -1 3.707 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.707 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.708 * [backup-simplify]: Simplify (sqrt 0) into 0 3.708 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.708 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 y) (/ -1 x))) in x 3.708 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 3.708 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 3.708 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.709 * [taylor]: Taking taylor expansion of -1 in x 3.709 * [backup-simplify]: Simplify -1 into -1 3.709 * [taylor]: Taking taylor expansion of x in x 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 1 into 1 3.709 * [backup-simplify]: Simplify (/ -1 1) into -1 3.709 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.709 * [taylor]: Taking taylor expansion of -1 in x 3.709 * [backup-simplify]: Simplify -1 into -1 3.709 * [taylor]: Taking taylor expansion of y in x 3.709 * [backup-simplify]: Simplify y into y 3.709 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.709 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.709 * [taylor]: Taking taylor expansion of -1 in x 3.709 * [backup-simplify]: Simplify -1 into -1 3.709 * [taylor]: Taking taylor expansion of x in x 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 1 into 1 3.710 * [backup-simplify]: Simplify (/ -1 1) into -1 3.710 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.710 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.710 * [backup-simplify]: Simplify (sqrt 0) into 0 3.711 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1)) 3.711 * [taylor]: Taking taylor expansion of 0 in y 3.711 * [backup-simplify]: Simplify 0 into 0 3.711 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) 1)) in y 3.711 * [taylor]: Taking taylor expansion of +nan.0 in y 3.711 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.711 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 3.711 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.711 * [taylor]: Taking taylor expansion of y in y 3.711 * [backup-simplify]: Simplify 0 into 0 3.711 * [backup-simplify]: Simplify 1 into 1 3.711 * [backup-simplify]: Simplify (/ 1 1) into 1 3.711 * [taylor]: Taking taylor expansion of 1 in y 3.711 * [backup-simplify]: Simplify 1 into 1 3.712 * [backup-simplify]: Simplify (+ 1 0) into 1 3.712 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.712 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.712 * [backup-simplify]: Simplify 0 into 0 3.713 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.714 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 3.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.715 * [backup-simplify]: Simplify (+ 0 0) into 0 3.716 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- (/ 1 y) 1)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 3.716 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 3.716 * [taylor]: Taking taylor expansion of +nan.0 in y 3.716 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.716 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 3.716 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 3.716 * [taylor]: Taking taylor expansion of +nan.0 in y 3.716 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.716 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.716 * [taylor]: Taking taylor expansion of y in y 3.716 * [backup-simplify]: Simplify 0 into 0 3.716 * [backup-simplify]: Simplify 1 into 1 3.717 * [backup-simplify]: Simplify (/ 1 1) into 1 3.717 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 3.717 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 3.717 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 3.717 * [taylor]: Taking taylor expansion of +nan.0 in y 3.717 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.717 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.717 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.717 * [taylor]: Taking taylor expansion of y in y 3.717 * [backup-simplify]: Simplify 0 into 0 3.717 * [backup-simplify]: Simplify 1 into 1 3.717 * [backup-simplify]: Simplify (* 1 1) into 1 3.718 * [backup-simplify]: Simplify (/ 1 1) into 1 3.718 * [taylor]: Taking taylor expansion of (- +nan.0) in y 3.718 * [taylor]: Taking taylor expansion of +nan.0 in y 3.718 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.718 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.719 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.720 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 3.721 * [backup-simplify]: Simplify (+ 0 0) into 0 3.721 * [backup-simplify]: Simplify (- 0) into 0 3.721 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.722 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 3.722 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 3.723 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 3.724 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 3.726 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 3.727 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.728 * [backup-simplify]: Simplify (- 1) into -1 3.728 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.730 * [backup-simplify]: Simplify (+ (* +nan.0 -1) (* 0 1)) into (- +nan.0) 3.730 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.731 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (* +nan.0 (* (/ 1 (/ 1 (- y))) 1)))) into (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.731 * * * [progress]: simplifying candidates 3.733 * [simplify]: Simplifying: (expm1 (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (log1p (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (* (sqrt (fma x y x)) (sqrt (fma x y x))) (log (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (exp (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (* (cbrt (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (cbrt (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y))) (cbrt (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (* (* (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y) (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (sqrt (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (sqrt (fma (sqrt (fma x y x)) (sqrt (fma x y x)) y)) (expm1 (sqrt (fma x y x))) (log1p (sqrt (fma x y x))) (log (sqrt (fma x y x))) (exp (sqrt (fma x y x))) (* (cbrt (sqrt (fma x y x))) (cbrt (sqrt (fma x y x)))) (cbrt (sqrt (fma x y x))) (* (* (sqrt (fma x y x)) (sqrt (fma x y x))) (sqrt (fma x y x))) (sqrt (* (cbrt (fma x y x)) (cbrt (fma x y x)))) (sqrt (cbrt (fma x y x))) (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) (sqrt 1) (sqrt (fma x y x)) (/ 1 2) (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) (expm1 (sqrt (fma x y x))) (log1p (sqrt (fma x y x))) (log (sqrt (fma x y x))) (exp (sqrt (fma x y x))) (* (cbrt (sqrt (fma x y x))) (cbrt (sqrt (fma x y x)))) (cbrt (sqrt (fma x y x))) (* (* (sqrt (fma x y x)) (sqrt (fma x y x))) (sqrt (fma x y x))) (sqrt (* (cbrt (fma x y x)) (cbrt (fma x y x)))) (sqrt (cbrt (fma x y x))) (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) (sqrt 1) (sqrt (fma x y x)) (/ 1 2) (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) (- y (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (pow x 3))))) (- (+ (* +nan.0 (/ (pow y 2) x)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ (pow y 2) x)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) 3.734 * * [simplify]: Extracting # 0 : cost 0 3.734 * * [simplify]: Extracting # 1 : cost 0 3.734 * * [simplify]: Extracting # 2 : cost 0 3.735 * * [simplify]: Extracting # 3 : cost 0 3.735 * * [simplify]: Extracting # 4 : cost 0 3.735 * * [simplify]: Extracting # 5 : cost 0 3.735 * * [simplify]: Extracting # 6 : cost 0 3.735 * * [simplify]: Extracting # 7 : cost 0 3.735 * * [simplify]: Extracting # 8 : cost 0 3.735 * * [simplify]: Extracting # 9 : cost 0 3.735 * * [simplify]: Extracting # 10 : cost 0 3.735 * * [simplify]: Extracting # 11 : cost 0 3.735 * * [simplify]: Extracting # 12 : cost 0 3.735 * * [simplify]: Extracting # 13 : cost 0 3.735 * * [simplify]: iteration 0 : 65 enodes (cost 537 ) 3.747 * * [simplify]: Extracting # 0 : cost 0 3.747 * * [simplify]: Extracting # 1 : cost 0 3.748 * * [simplify]: Extracting # 2 : cost 0 3.748 * * [simplify]: Extracting # 3 : cost 0 3.748 * * [simplify]: iteration 1 : 150 enodes (cost 409 ) 3.827 * * [simplify]: Extracting # 0 : cost 0 3.828 * * [simplify]: Extracting # 1 : cost 0 3.829 * * [simplify]: Extracting # 2 : cost 0 3.829 * * [simplify]: Extracting # 3 : cost 0 3.830 * * [simplify]: Extracting # 4 : cost 0 3.831 * * [simplify]: iteration 2 : 536 enodes (cost 377 ) 4.491 * * [simplify]: Extracting # 0 : cost 0 4.501 * * [simplify]: Extracting # 1 : cost 0 4.509 * * [simplify]: Extracting # 2 : cost 0 4.513 * * [simplify]: Extracting # 3 : cost 0 4.517 * * [simplify]: Extracting # 4 : cost 0 4.520 * * [simplify]: iteration 3 : 3224 enodes (cost 365 ) 5.900 * * [simplify]: Extracting # 0 : cost 0 5.906 * * [simplify]: Extracting # 1 : cost 0 5.911 * * [simplify]: Extracting # 2 : cost 0 5.917 * * [simplify]: iteration done: 5000 enodes (cost 359 ) 5.917 * [simplify]: Simplified to: (expm1 (+ (fma x y x) y)) (log1p (+ (fma x y x) y)) (fma x y x) (log (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y))) (cbrt (+ (fma x y x) y)) (pow (+ (fma x y x) y) 3) (sqrt (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (expm1 (sqrt (fma x y x))) (log1p (sqrt (fma x y x))) (log (sqrt (fma x y x))) (exp (sqrt (fma x y x))) (* (cbrt (sqrt (fma x y x))) (cbrt (sqrt (fma x y x)))) (cbrt (sqrt (fma x y x))) (pow (sqrt (fma x y x)) 3) (fabs (cbrt (fma x y x))) (sqrt (cbrt (fma x y x))) (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) 1 (sqrt (fma x y x)) 1/2 (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) (expm1 (sqrt (fma x y x))) (log1p (sqrt (fma x y x))) (log (sqrt (fma x y x))) (exp (sqrt (fma x y x))) (* (cbrt (sqrt (fma x y x))) (cbrt (sqrt (fma x y x)))) (cbrt (sqrt (fma x y x))) (pow (sqrt (fma x y x)) 3) (fabs (cbrt (fma x y x))) (sqrt (cbrt (fma x y x))) (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) 1 (sqrt (fma x y x)) 1/2 (sqrt (sqrt (fma x y x))) (sqrt (sqrt (fma x y x))) (- y (* +nan.0 (- (pow x 2) (pow x 3)))) (* +nan.0 (+ (- (/ (pow y 2) x)) (- (pow y 2) y))) (* +nan.0 (+ (- (/ (pow y 2) x)) (- (pow y 2) y))) (* +nan.0 (fma x (- x) (fma (- x) y x))) (- (fma +nan.0 (- (/ y x) y) +nan.0)) (- (fma +nan.0 (- (/ y x) y) +nan.0)) (* +nan.0 (fma x (- x) (fma (- x) y x))) (- (fma +nan.0 (- (/ y x) y) +nan.0)) (- (fma +nan.0 (- (/ y x) y) +nan.0)) 5.918 * * * [progress]: adding candidates to table 6.104 * [progress]: [Phase 3 of 3] Extracting. 6.104 * * [regime]: Finding splitpoints for: (# #) 6.105 * * * [regime-changes]: Trying 2 branch expressions: (y x) 6.105 * * * * [regimes]: Trying to branch on y from (# #) 6.129 * * * * [regimes]: Trying to branch on x from (# #) 6.141 * * * [regime]: Found split indices: #