11.536 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.020 * [simplify]: Simplifying: (+ x (* (- y x) z)) 0.020 * * [simplify]: iteration 0: 6 enodes 0.021 * * [simplify]: iteration 1: 10 enodes 0.023 * * [simplify]: iteration 2: 19 enodes 0.026 * * [simplify]: iteration 3: 35 enodes 0.032 * * [simplify]: iteration 4: 54 enodes 0.046 * * [simplify]: iteration 5: 68 enodes 0.069 * * [simplify]: iteration 6: 85 enodes 0.089 * * [simplify]: iteration 7: 106 enodes 0.133 * * [simplify]: iteration 8: 162 enodes 0.172 * * [simplify]: iteration 9: 237 enodes 0.269 * * [simplify]: iteration 10: 451 enodes 0.512 * * [simplify]: iteration 11: 1116 enodes 1.517 * * [simplify]: iteration 12: 1852 enodes 1.657 * * [simplify]: iteration 13: 2020 enodes 1.745 * * [simplify]: iteration 14: 2138 enodes 1.860 * * [simplify]: iteration 15: 2328 enodes 2.067 * * [simplify]: iteration 16: 2578 enodes 2.381 * * [simplify]: iteration 17: 2838 enodes 2.810 * * [simplify]: iteration 18: 3235 enodes 3.762 * * [simplify]: iteration 19: 4083 enodes 5.272 * * [simplify]: iteration complete: 5000 enodes 5.272 * * [simplify]: Extracting #0: cost 1 inf + 0 5.272 * * [simplify]: Extracting #1: cost 40 inf + 0 5.273 * * [simplify]: Extracting #2: cost 190 inf + 649 5.276 * * [simplify]: Extracting #3: cost 122 inf + 8060 5.287 * * [simplify]: Extracting #4: cost 22 inf + 19252 5.295 * * [simplify]: Extracting #5: cost 0 inf + 22549 5.303 * [simplify]: Simplified to: (fma (- y x) z x) 5.310 * * [progress]: iteration 1 / 4 5.310 * * * [progress]: picking best candidate 5.315 * * * * [pick]: Picked # 5.315 * * * [progress]: localizing error 5.332 * * * [progress]: generating rewritten candidates 5.332 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.333 * * * [progress]: generating series expansions 5.333 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.333 * [backup-simplify]: Simplify (fma (- y x) z x) into (fma (- y x) z x) 5.333 * [approximate]: Taking taylor expansion of (fma (- y x) z x) in (y x z) around 0 5.333 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 5.333 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 5.333 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 5.333 * [taylor]: Taking taylor expansion of (- y x) in z 5.333 * [taylor]: Taking taylor expansion of y in z 5.333 * [backup-simplify]: Simplify y into y 5.333 * [taylor]: Taking taylor expansion of x in z 5.333 * [backup-simplify]: Simplify x into x 5.333 * [taylor]: Taking taylor expansion of z in z 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 1 into 1 5.333 * [taylor]: Taking taylor expansion of x in z 5.333 * [backup-simplify]: Simplify x into x 5.333 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 5.334 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 5.334 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 5.334 * [taylor]: Taking taylor expansion of (- y x) in x 5.334 * [taylor]: Taking taylor expansion of y in x 5.334 * [backup-simplify]: Simplify y into y 5.334 * [taylor]: Taking taylor expansion of x in x 5.334 * [backup-simplify]: Simplify 0 into 0 5.334 * [backup-simplify]: Simplify 1 into 1 5.334 * [taylor]: Taking taylor expansion of z in x 5.334 * [backup-simplify]: Simplify z into z 5.334 * [taylor]: Taking taylor expansion of x in x 5.334 * [backup-simplify]: Simplify 0 into 0 5.334 * [backup-simplify]: Simplify 1 into 1 5.334 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 5.334 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 5.334 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 5.334 * [taylor]: Taking taylor expansion of (- y x) in y 5.334 * [taylor]: Taking taylor expansion of y in y 5.334 * [backup-simplify]: Simplify 0 into 0 5.334 * [backup-simplify]: Simplify 1 into 1 5.334 * [taylor]: Taking taylor expansion of x in y 5.334 * [backup-simplify]: Simplify x into x 5.334 * [taylor]: Taking taylor expansion of z in y 5.334 * [backup-simplify]: Simplify z into z 5.334 * [taylor]: Taking taylor expansion of x in y 5.334 * [backup-simplify]: Simplify x into x 5.334 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 5.335 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 5.335 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 5.335 * [taylor]: Taking taylor expansion of (- y x) in y 5.335 * [taylor]: Taking taylor expansion of y in y 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 1 into 1 5.335 * [taylor]: Taking taylor expansion of x in y 5.335 * [backup-simplify]: Simplify x into x 5.335 * [taylor]: Taking taylor expansion of z in y 5.335 * [backup-simplify]: Simplify z into z 5.335 * [taylor]: Taking taylor expansion of x in y 5.335 * [backup-simplify]: Simplify x into x 5.335 * [backup-simplify]: Simplify (- x) into (- x) 5.335 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.335 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 5.335 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 5.335 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 5.335 * [taylor]: Taking taylor expansion of x in x 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 1 into 1 5.335 * [taylor]: Taking taylor expansion of (* x z) in x 5.335 * [taylor]: Taking taylor expansion of x in x 5.335 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 1 into 1 5.336 * [taylor]: Taking taylor expansion of z in x 5.336 * [backup-simplify]: Simplify z into z 5.336 * [backup-simplify]: Simplify (* 0 z) into 0 5.336 * [backup-simplify]: Simplify (- 0) into 0 5.337 * [backup-simplify]: Simplify (+ 0 0) into 0 5.337 * [taylor]: Taking taylor expansion of 0 in z 5.337 * [backup-simplify]: Simplify 0 into 0 5.337 * [backup-simplify]: Simplify 0 into 0 5.337 * [backup-simplify]: Simplify (- 0) into 0 5.338 * [backup-simplify]: Simplify (+ 1 0) into 1 5.338 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 5.338 * [backup-simplify]: Simplify (+ z 0) into z 5.338 * [taylor]: Taking taylor expansion of z in x 5.338 * [backup-simplify]: Simplify z into z 5.338 * [taylor]: Taking taylor expansion of z in z 5.338 * [backup-simplify]: Simplify 0 into 0 5.338 * [backup-simplify]: Simplify 1 into 1 5.338 * [backup-simplify]: Simplify 0 into 0 5.338 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.339 * [backup-simplify]: Simplify (- z) into (- z) 5.339 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 5.339 * [taylor]: Taking taylor expansion of (- 1 z) in z 5.339 * [taylor]: Taking taylor expansion of 1 in z 5.339 * [backup-simplify]: Simplify 1 into 1 5.339 * [taylor]: Taking taylor expansion of z in z 5.339 * [backup-simplify]: Simplify 0 into 0 5.339 * [backup-simplify]: Simplify 1 into 1 5.339 * [backup-simplify]: Simplify (- 0) into 0 5.340 * [backup-simplify]: Simplify (+ 1 0) into 1 5.340 * [backup-simplify]: Simplify 1 into 1 5.340 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify (- 0) into 0 5.341 * [backup-simplify]: Simplify (+ 0 0) into 0 5.341 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 5.341 * [backup-simplify]: Simplify (+ 0 0) into 0 5.342 * [taylor]: Taking taylor expansion of 0 in x 5.342 * [backup-simplify]: Simplify 0 into 0 5.342 * [taylor]: Taking taylor expansion of 0 in z 5.342 * [backup-simplify]: Simplify 0 into 0 5.342 * [backup-simplify]: Simplify 0 into 0 5.342 * [taylor]: Taking taylor expansion of 0 in z 5.342 * [backup-simplify]: Simplify 0 into 0 5.342 * [backup-simplify]: Simplify 0 into 0 5.343 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.343 * [backup-simplify]: Simplify (- 0) into 0 5.343 * [backup-simplify]: Simplify (+ 0 0) into 0 5.343 * [taylor]: Taking taylor expansion of 0 in z 5.343 * [backup-simplify]: Simplify 0 into 0 5.343 * [backup-simplify]: Simplify 0 into 0 5.344 * [backup-simplify]: Simplify 1 into 1 5.344 * [backup-simplify]: Simplify (- 1) into -1 5.344 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.344 * [backup-simplify]: Simplify -1 into -1 5.345 * [backup-simplify]: Simplify (+ (* -1 (* z (* x 1))) (+ (* 1 (* z (* 1 y))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x z)) 5.345 * [backup-simplify]: Simplify (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) into (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) 5.345 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in (y x z) around 0 5.345 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 5.345 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 5.345 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 5.345 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 5.345 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.345 * [taylor]: Taking taylor expansion of y in z 5.345 * [backup-simplify]: Simplify y into y 5.346 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.346 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.346 * [taylor]: Taking taylor expansion of x in z 5.346 * [backup-simplify]: Simplify x into x 5.346 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.346 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.346 * [taylor]: Taking taylor expansion of z in z 5.346 * [backup-simplify]: Simplify 0 into 0 5.346 * [backup-simplify]: Simplify 1 into 1 5.346 * [backup-simplify]: Simplify (/ 1 1) into 1 5.346 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.346 * [taylor]: Taking taylor expansion of x in z 5.346 * [backup-simplify]: Simplify x into x 5.346 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.346 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 5.347 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 5.347 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 5.347 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 5.347 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.347 * [taylor]: Taking taylor expansion of y in x 5.347 * [backup-simplify]: Simplify y into y 5.347 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.347 * [taylor]: Taking taylor expansion of x in x 5.347 * [backup-simplify]: Simplify 0 into 0 5.347 * [backup-simplify]: Simplify 1 into 1 5.348 * [backup-simplify]: Simplify (/ 1 1) into 1 5.348 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.348 * [taylor]: Taking taylor expansion of z in x 5.348 * [backup-simplify]: Simplify z into z 5.348 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.348 * [taylor]: Taking taylor expansion of x in x 5.348 * [backup-simplify]: Simplify 0 into 0 5.348 * [backup-simplify]: Simplify 1 into 1 5.348 * [backup-simplify]: Simplify (/ 1 1) into 1 5.349 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 5.349 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 5.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 5.349 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.349 * [taylor]: Taking taylor expansion of y in y 5.349 * [backup-simplify]: Simplify 0 into 0 5.349 * [backup-simplify]: Simplify 1 into 1 5.349 * [backup-simplify]: Simplify (/ 1 1) into 1 5.349 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.349 * [taylor]: Taking taylor expansion of x in y 5.349 * [backup-simplify]: Simplify x into x 5.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.349 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.350 * [taylor]: Taking taylor expansion of z in y 5.350 * [backup-simplify]: Simplify z into z 5.350 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.350 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.350 * [taylor]: Taking taylor expansion of x in y 5.350 * [backup-simplify]: Simplify x into x 5.350 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.350 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 5.350 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 5.350 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 5.350 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.350 * [taylor]: Taking taylor expansion of y in y 5.350 * [backup-simplify]: Simplify 0 into 0 5.350 * [backup-simplify]: Simplify 1 into 1 5.351 * [backup-simplify]: Simplify (/ 1 1) into 1 5.351 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.351 * [taylor]: Taking taylor expansion of x in y 5.351 * [backup-simplify]: Simplify x into x 5.351 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.351 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.351 * [taylor]: Taking taylor expansion of z in y 5.351 * [backup-simplify]: Simplify z into z 5.351 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.351 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.351 * [taylor]: Taking taylor expansion of x in y 5.351 * [backup-simplify]: Simplify x into x 5.351 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.351 * [backup-simplify]: Simplify (+ 1 0) into 1 5.352 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 5.352 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.352 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.352 * [taylor]: Taking taylor expansion of z in x 5.352 * [backup-simplify]: Simplify z into z 5.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.353 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 5.353 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 5.354 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 5.354 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 5.354 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x z))) in x 5.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.354 * [taylor]: Taking taylor expansion of x in x 5.354 * [backup-simplify]: Simplify 0 into 0 5.354 * [backup-simplify]: Simplify 1 into 1 5.354 * [backup-simplify]: Simplify (/ 1 1) into 1 5.354 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.354 * [taylor]: Taking taylor expansion of (* x z) in x 5.354 * [taylor]: Taking taylor expansion of x in x 5.354 * [backup-simplify]: Simplify 0 into 0 5.354 * [backup-simplify]: Simplify 1 into 1 5.354 * [taylor]: Taking taylor expansion of z in x 5.354 * [backup-simplify]: Simplify z into z 5.355 * [backup-simplify]: Simplify (* 0 z) into 0 5.355 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.355 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.355 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.355 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 5.355 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 5.355 * [taylor]: Taking taylor expansion of 1 in z 5.355 * [backup-simplify]: Simplify 1 into 1 5.355 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.355 * [taylor]: Taking taylor expansion of z in z 5.355 * [backup-simplify]: Simplify 0 into 0 5.355 * [backup-simplify]: Simplify 1 into 1 5.356 * [backup-simplify]: Simplify (/ 1 1) into 1 5.356 * [backup-simplify]: Simplify (- 1) into -1 5.357 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.357 * [backup-simplify]: Simplify -1 into -1 5.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.357 * [taylor]: Taking taylor expansion of z in z 5.357 * [backup-simplify]: Simplify 0 into 0 5.357 * [backup-simplify]: Simplify 1 into 1 5.357 * [backup-simplify]: Simplify (/ 1 1) into 1 5.357 * [backup-simplify]: Simplify 1 into 1 5.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.359 * [backup-simplify]: Simplify (- 0) into 0 5.359 * [backup-simplify]: Simplify (+ 0 0) into 0 5.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 5.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.361 * [backup-simplify]: Simplify (+ 0 0) into 0 5.361 * [taylor]: Taking taylor expansion of 0 in x 5.361 * [backup-simplify]: Simplify 0 into 0 5.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.363 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.363 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.364 * [backup-simplify]: Simplify (- 0) into 0 5.364 * [backup-simplify]: Simplify (+ 0 0) into 0 5.364 * [taylor]: Taking taylor expansion of 0 in z 5.364 * [backup-simplify]: Simplify 0 into 0 5.364 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.364 * [taylor]: Taking taylor expansion of 0 in z 5.364 * [backup-simplify]: Simplify 0 into 0 5.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.366 * [backup-simplify]: Simplify (- 0) into 0 5.366 * [backup-simplify]: Simplify (+ 1 0) into 1 5.366 * [backup-simplify]: Simplify 1 into 1 5.367 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x z)) 5.367 * [backup-simplify]: Simplify (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) 5.367 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in (y x z) around 0 5.367 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 5.368 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 5.368 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 5.368 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 5.368 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.368 * [taylor]: Taking taylor expansion of x in z 5.368 * [backup-simplify]: Simplify x into x 5.368 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.368 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.368 * [taylor]: Taking taylor expansion of y in z 5.368 * [backup-simplify]: Simplify y into y 5.368 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.368 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.368 * [taylor]: Taking taylor expansion of -1 in z 5.368 * [backup-simplify]: Simplify -1 into -1 5.368 * [taylor]: Taking taylor expansion of z in z 5.368 * [backup-simplify]: Simplify 0 into 0 5.368 * [backup-simplify]: Simplify 1 into 1 5.369 * [backup-simplify]: Simplify (/ -1 1) into -1 5.369 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.369 * [taylor]: Taking taylor expansion of -1 in z 5.369 * [backup-simplify]: Simplify -1 into -1 5.369 * [taylor]: Taking taylor expansion of x in z 5.369 * [backup-simplify]: Simplify x into x 5.369 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.369 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 5.369 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 5.369 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 5.369 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 5.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.369 * [taylor]: Taking taylor expansion of x in x 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 1 into 1 5.370 * [backup-simplify]: Simplify (/ 1 1) into 1 5.370 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.370 * [taylor]: Taking taylor expansion of y in x 5.370 * [backup-simplify]: Simplify y into y 5.370 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.370 * [taylor]: Taking taylor expansion of (/ -1 z) in x 5.370 * [taylor]: Taking taylor expansion of -1 in x 5.370 * [backup-simplify]: Simplify -1 into -1 5.370 * [taylor]: Taking taylor expansion of z in x 5.370 * [backup-simplify]: Simplify z into z 5.370 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 5.370 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.370 * [taylor]: Taking taylor expansion of -1 in x 5.370 * [backup-simplify]: Simplify -1 into -1 5.370 * [taylor]: Taking taylor expansion of x in x 5.370 * [backup-simplify]: Simplify 0 into 0 5.370 * [backup-simplify]: Simplify 1 into 1 5.371 * [backup-simplify]: Simplify (/ -1 1) into -1 5.371 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 5.371 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 5.371 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 5.371 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.371 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.371 * [taylor]: Taking taylor expansion of x in y 5.371 * [backup-simplify]: Simplify x into x 5.371 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.371 * [taylor]: Taking taylor expansion of y in y 5.371 * [backup-simplify]: Simplify 0 into 0 5.371 * [backup-simplify]: Simplify 1 into 1 5.372 * [backup-simplify]: Simplify (/ 1 1) into 1 5.372 * [taylor]: Taking taylor expansion of (/ -1 z) in y 5.372 * [taylor]: Taking taylor expansion of -1 in y 5.372 * [backup-simplify]: Simplify -1 into -1 5.372 * [taylor]: Taking taylor expansion of z in y 5.372 * [backup-simplify]: Simplify z into z 5.372 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 5.372 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.372 * [taylor]: Taking taylor expansion of -1 in y 5.372 * [backup-simplify]: Simplify -1 into -1 5.372 * [taylor]: Taking taylor expansion of x in y 5.372 * [backup-simplify]: Simplify x into x 5.372 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.372 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 5.372 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 5.372 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 5.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.372 * [taylor]: Taking taylor expansion of x in y 5.372 * [backup-simplify]: Simplify x into x 5.372 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.372 * [taylor]: Taking taylor expansion of y in y 5.373 * [backup-simplify]: Simplify 0 into 0 5.373 * [backup-simplify]: Simplify 1 into 1 5.373 * [backup-simplify]: Simplify (/ 1 1) into 1 5.373 * [taylor]: Taking taylor expansion of (/ -1 z) in y 5.373 * [taylor]: Taking taylor expansion of -1 in y 5.373 * [backup-simplify]: Simplify -1 into -1 5.373 * [taylor]: Taking taylor expansion of z in y 5.373 * [backup-simplify]: Simplify z into z 5.373 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 5.373 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.373 * [taylor]: Taking taylor expansion of -1 in y 5.373 * [backup-simplify]: Simplify -1 into -1 5.373 * [taylor]: Taking taylor expansion of x in y 5.373 * [backup-simplify]: Simplify x into x 5.373 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.374 * [backup-simplify]: Simplify (- 1) into -1 5.374 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.374 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 5.374 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.374 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.374 * [taylor]: Taking taylor expansion of z in x 5.374 * [backup-simplify]: Simplify z into z 5.375 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.375 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 5.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.376 * [backup-simplify]: Simplify (- 0) into 0 5.376 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 5.376 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 5.377 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 5.377 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x))) in x 5.377 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 5.377 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.377 * [taylor]: Taking taylor expansion of (* x z) in x 5.377 * [taylor]: Taking taylor expansion of x in x 5.377 * [backup-simplify]: Simplify 0 into 0 5.377 * [backup-simplify]: Simplify 1 into 1 5.377 * [taylor]: Taking taylor expansion of z in x 5.377 * [backup-simplify]: Simplify z into z 5.377 * [backup-simplify]: Simplify (* 0 z) into 0 5.377 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.377 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.377 * [taylor]: Taking taylor expansion of x in x 5.377 * [backup-simplify]: Simplify 0 into 0 5.377 * [backup-simplify]: Simplify 1 into 1 5.378 * [backup-simplify]: Simplify (/ 1 1) into 1 5.378 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 5.378 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z))) 5.378 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 z))) in z 5.378 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 5.378 * [taylor]: Taking taylor expansion of 1 in z 5.378 * [backup-simplify]: Simplify 1 into 1 5.378 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.378 * [taylor]: Taking taylor expansion of z in z 5.378 * [backup-simplify]: Simplify 0 into 0 5.378 * [backup-simplify]: Simplify 1 into 1 5.379 * [backup-simplify]: Simplify (/ 1 1) into 1 5.379 * [backup-simplify]: Simplify (+ 0 1) into 1 5.379 * [backup-simplify]: Simplify (- 1) into -1 5.379 * [backup-simplify]: Simplify -1 into -1 5.379 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.380 * [taylor]: Taking taylor expansion of z in z 5.380 * [backup-simplify]: Simplify 0 into 0 5.380 * [backup-simplify]: Simplify 1 into 1 5.380 * [backup-simplify]: Simplify (/ 1 1) into 1 5.380 * [backup-simplify]: Simplify 1 into 1 5.380 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.382 * [backup-simplify]: Simplify (- 0) into 0 5.382 * [backup-simplify]: Simplify (+ 0 0) into 0 5.383 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 5.383 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 5.383 * [backup-simplify]: Simplify (+ 0 0) into 0 5.383 * [taylor]: Taking taylor expansion of 0 in x 5.383 * [backup-simplify]: Simplify 0 into 0 5.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.385 * [backup-simplify]: Simplify (+ 0 0) into 0 5.386 * [backup-simplify]: Simplify (- 0) into 0 5.386 * [taylor]: Taking taylor expansion of 0 in z 5.386 * [backup-simplify]: Simplify 0 into 0 5.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.386 * [taylor]: Taking taylor expansion of 0 in z 5.386 * [backup-simplify]: Simplify 0 into 0 5.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.387 * [backup-simplify]: Simplify (+ 1 0) into 1 5.388 * [backup-simplify]: Simplify (- 1) into -1 5.388 * [backup-simplify]: Simplify -1 into -1 5.388 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x z)) 5.388 * * * [progress]: simplifying candidates 5.389 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma (- y x) z x))))> 5.389 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 5.389 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 5.390 * [simplify]: Simplifying: (expm1 (fma (- y x) z x)) (log1p (fma (- y x) z x)) (* (- y x) z) (log (fma (- y x) z x)) (exp (fma (- y x) z x)) (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))) (cbrt (fma (- y x) z x)) (* (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (real->posit16 (fma (- y x) z x)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) 5.390 * * [simplify]: iteration 0: 20 enodes 5.397 * * [simplify]: iteration 1: 32 enodes 5.413 * * [simplify]: iteration 2: 67 enodes 5.430 * * [simplify]: iteration 3: 271 enodes 5.666 * * [simplify]: iteration 4: 1279 enodes 6.598 * * [simplify]: iteration complete: 5001 enodes 6.598 * * [simplify]: Extracting #0: cost 11 inf + 0 6.598 * * [simplify]: Extracting #1: cost 79 inf + 0 6.602 * * [simplify]: Extracting #2: cost 788 inf + 128 6.620 * * [simplify]: Extracting #3: cost 1203 inf + 29251 6.692 * * [simplify]: Extracting #4: cost 252 inf + 246112 6.823 * * [simplify]: Extracting #5: cost 3 inf + 304303 6.985 * * [simplify]: Extracting #6: cost 0 inf + 304537 7.118 * [simplify]: Simplified to: (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) (* (- y x) z) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (* (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (real->posit16 (fma z (- y x) x)) (fma z (- y x) x) (fma z (- y x) x) (fma z (- y x) x) 7.118 * * * [progress]: adding candidates to table 7.171 * * [progress]: iteration 2 / 4 7.171 * * * [progress]: picking best candidate 7.177 * * * * [pick]: Picked # 7.177 * * * [progress]: localizing error 7.206 * * * [progress]: generating rewritten candidates 7.206 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 7.232 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 7.235 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 7.238 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 7.242 * * * [progress]: generating series expansions 7.242 * * * * [progress]: [ 1 / 4 ] generating series at (2) 7.243 * [backup-simplify]: Simplify (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) into (fma (- y x) z x) 7.243 * [approximate]: Taking taylor expansion of (fma (- y x) z x) in (y x z) around 0 7.243 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 7.243 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.243 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 7.243 * [taylor]: Taking taylor expansion of (- y x) in z 7.243 * [taylor]: Taking taylor expansion of y in z 7.243 * [backup-simplify]: Simplify y into y 7.243 * [taylor]: Taking taylor expansion of x in z 7.243 * [backup-simplify]: Simplify x into x 7.243 * [taylor]: Taking taylor expansion of z in z 7.243 * [backup-simplify]: Simplify 0 into 0 7.243 * [backup-simplify]: Simplify 1 into 1 7.243 * [taylor]: Taking taylor expansion of x in z 7.243 * [backup-simplify]: Simplify x into x 7.243 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 7.243 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.243 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 7.243 * [taylor]: Taking taylor expansion of (- y x) in x 7.243 * [taylor]: Taking taylor expansion of y in x 7.243 * [backup-simplify]: Simplify y into y 7.243 * [taylor]: Taking taylor expansion of x in x 7.243 * [backup-simplify]: Simplify 0 into 0 7.243 * [backup-simplify]: Simplify 1 into 1 7.244 * [taylor]: Taking taylor expansion of z in x 7.244 * [backup-simplify]: Simplify z into z 7.244 * [taylor]: Taking taylor expansion of x in x 7.244 * [backup-simplify]: Simplify 0 into 0 7.244 * [backup-simplify]: Simplify 1 into 1 7.244 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.244 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.244 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.244 * [taylor]: Taking taylor expansion of (- y x) in y 7.244 * [taylor]: Taking taylor expansion of y in y 7.244 * [backup-simplify]: Simplify 0 into 0 7.244 * [backup-simplify]: Simplify 1 into 1 7.244 * [taylor]: Taking taylor expansion of x in y 7.244 * [backup-simplify]: Simplify x into x 7.244 * [taylor]: Taking taylor expansion of z in y 7.244 * [backup-simplify]: Simplify z into z 7.244 * [taylor]: Taking taylor expansion of x in y 7.244 * [backup-simplify]: Simplify x into x 7.244 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.244 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.244 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.244 * [taylor]: Taking taylor expansion of (- y x) in y 7.244 * [taylor]: Taking taylor expansion of y in y 7.244 * [backup-simplify]: Simplify 0 into 0 7.244 * [backup-simplify]: Simplify 1 into 1 7.244 * [taylor]: Taking taylor expansion of x in y 7.244 * [backup-simplify]: Simplify x into x 7.244 * [taylor]: Taking taylor expansion of z in y 7.244 * [backup-simplify]: Simplify z into z 7.244 * [taylor]: Taking taylor expansion of x in y 7.244 * [backup-simplify]: Simplify x into x 7.245 * [backup-simplify]: Simplify (- x) into (- x) 7.245 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 7.245 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 7.245 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 7.245 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.245 * [taylor]: Taking taylor expansion of x in x 7.245 * [backup-simplify]: Simplify 0 into 0 7.245 * [backup-simplify]: Simplify 1 into 1 7.245 * [taylor]: Taking taylor expansion of (* x z) in x 7.245 * [taylor]: Taking taylor expansion of x in x 7.245 * [backup-simplify]: Simplify 0 into 0 7.245 * [backup-simplify]: Simplify 1 into 1 7.245 * [taylor]: Taking taylor expansion of z in x 7.245 * [backup-simplify]: Simplify z into z 7.245 * [backup-simplify]: Simplify (* 0 z) into 0 7.246 * [backup-simplify]: Simplify (- 0) into 0 7.246 * [backup-simplify]: Simplify (+ 0 0) into 0 7.246 * [taylor]: Taking taylor expansion of 0 in z 7.246 * [backup-simplify]: Simplify 0 into 0 7.246 * [backup-simplify]: Simplify 0 into 0 7.247 * [backup-simplify]: Simplify (- 0) into 0 7.247 * [backup-simplify]: Simplify (+ 1 0) into 1 7.247 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 7.247 * [backup-simplify]: Simplify (+ z 0) into z 7.247 * [taylor]: Taking taylor expansion of z in x 7.247 * [backup-simplify]: Simplify z into z 7.247 * [taylor]: Taking taylor expansion of z in z 7.247 * [backup-simplify]: Simplify 0 into 0 7.247 * [backup-simplify]: Simplify 1 into 1 7.247 * [backup-simplify]: Simplify 0 into 0 7.248 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.248 * [backup-simplify]: Simplify (- z) into (- z) 7.248 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.248 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.248 * [taylor]: Taking taylor expansion of 1 in z 7.248 * [backup-simplify]: Simplify 1 into 1 7.248 * [taylor]: Taking taylor expansion of z in z 7.248 * [backup-simplify]: Simplify 0 into 0 7.248 * [backup-simplify]: Simplify 1 into 1 7.249 * [backup-simplify]: Simplify (- 0) into 0 7.249 * [backup-simplify]: Simplify (+ 1 0) into 1 7.249 * [backup-simplify]: Simplify 1 into 1 7.249 * [backup-simplify]: Simplify 0 into 0 7.250 * [backup-simplify]: Simplify (- 0) into 0 7.250 * [backup-simplify]: Simplify (+ 0 0) into 0 7.250 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 7.251 * [backup-simplify]: Simplify (+ 0 0) into 0 7.251 * [taylor]: Taking taylor expansion of 0 in x 7.251 * [backup-simplify]: Simplify 0 into 0 7.251 * [taylor]: Taking taylor expansion of 0 in z 7.251 * [backup-simplify]: Simplify 0 into 0 7.251 * [backup-simplify]: Simplify 0 into 0 7.251 * [taylor]: Taking taylor expansion of 0 in z 7.251 * [backup-simplify]: Simplify 0 into 0 7.251 * [backup-simplify]: Simplify 0 into 0 7.252 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.252 * [backup-simplify]: Simplify (- 0) into 0 7.253 * [backup-simplify]: Simplify (+ 0 0) into 0 7.253 * [taylor]: Taking taylor expansion of 0 in z 7.253 * [backup-simplify]: Simplify 0 into 0 7.253 * [backup-simplify]: Simplify 0 into 0 7.253 * [backup-simplify]: Simplify 1 into 1 7.253 * [backup-simplify]: Simplify (- 1) into -1 7.254 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.254 * [backup-simplify]: Simplify -1 into -1 7.254 * [backup-simplify]: Simplify (+ (* -1 (* z (* x 1))) (+ (* 1 (* z (* 1 y))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x z)) 7.254 * [backup-simplify]: Simplify (* (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)))) into (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) 7.254 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in (y x z) around 0 7.254 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 7.255 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.255 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 7.255 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 7.255 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.255 * [taylor]: Taking taylor expansion of y in z 7.255 * [backup-simplify]: Simplify y into y 7.255 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.255 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.255 * [taylor]: Taking taylor expansion of x in z 7.255 * [backup-simplify]: Simplify x into x 7.255 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.255 * [taylor]: Taking taylor expansion of z in z 7.255 * [backup-simplify]: Simplify 0 into 0 7.255 * [backup-simplify]: Simplify 1 into 1 7.256 * [backup-simplify]: Simplify (/ 1 1) into 1 7.256 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.256 * [taylor]: Taking taylor expansion of x in z 7.256 * [backup-simplify]: Simplify x into x 7.256 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.256 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 7.256 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.256 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 7.256 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.256 * [taylor]: Taking taylor expansion of y in x 7.256 * [backup-simplify]: Simplify y into y 7.256 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.256 * [taylor]: Taking taylor expansion of x in x 7.256 * [backup-simplify]: Simplify 0 into 0 7.256 * [backup-simplify]: Simplify 1 into 1 7.257 * [backup-simplify]: Simplify (/ 1 1) into 1 7.257 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.257 * [taylor]: Taking taylor expansion of z in x 7.257 * [backup-simplify]: Simplify z into z 7.257 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.257 * [taylor]: Taking taylor expansion of x in x 7.257 * [backup-simplify]: Simplify 0 into 0 7.257 * [backup-simplify]: Simplify 1 into 1 7.257 * [backup-simplify]: Simplify (/ 1 1) into 1 7.257 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.257 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.257 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.258 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.258 * [taylor]: Taking taylor expansion of y in y 7.258 * [backup-simplify]: Simplify 0 into 0 7.258 * [backup-simplify]: Simplify 1 into 1 7.258 * [backup-simplify]: Simplify (/ 1 1) into 1 7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.258 * [taylor]: Taking taylor expansion of x in y 7.258 * [backup-simplify]: Simplify x into x 7.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.258 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.258 * [taylor]: Taking taylor expansion of z in y 7.258 * [backup-simplify]: Simplify z into z 7.258 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.258 * [taylor]: Taking taylor expansion of x in y 7.258 * [backup-simplify]: Simplify x into x 7.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.258 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.259 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.259 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.259 * [taylor]: Taking taylor expansion of y in y 7.259 * [backup-simplify]: Simplify 0 into 0 7.259 * [backup-simplify]: Simplify 1 into 1 7.259 * [backup-simplify]: Simplify (/ 1 1) into 1 7.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.259 * [taylor]: Taking taylor expansion of x in y 7.259 * [backup-simplify]: Simplify x into x 7.259 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.259 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.259 * [taylor]: Taking taylor expansion of z in y 7.259 * [backup-simplify]: Simplify z into z 7.259 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.260 * [taylor]: Taking taylor expansion of x in y 7.260 * [backup-simplify]: Simplify x into x 7.260 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.260 * [backup-simplify]: Simplify (+ 1 0) into 1 7.260 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 7.260 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.260 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.260 * [taylor]: Taking taylor expansion of z in x 7.260 * [backup-simplify]: Simplify z into z 7.260 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.261 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.261 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.262 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 7.262 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 7.262 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 7.262 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x z))) in x 7.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.262 * [taylor]: Taking taylor expansion of x in x 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify 1 into 1 7.263 * [backup-simplify]: Simplify (/ 1 1) into 1 7.263 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.263 * [taylor]: Taking taylor expansion of (* x z) in x 7.263 * [taylor]: Taking taylor expansion of x in x 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 1 into 1 7.263 * [taylor]: Taking taylor expansion of z in x 7.263 * [backup-simplify]: Simplify z into z 7.263 * [backup-simplify]: Simplify (* 0 z) into 0 7.263 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.264 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 7.264 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 7.264 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 7.264 * [taylor]: Taking taylor expansion of 1 in z 7.264 * [backup-simplify]: Simplify 1 into 1 7.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.264 * [taylor]: Taking taylor expansion of z in z 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 1 into 1 7.264 * [backup-simplify]: Simplify (/ 1 1) into 1 7.265 * [backup-simplify]: Simplify (- 1) into -1 7.265 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.265 * [backup-simplify]: Simplify -1 into -1 7.265 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.265 * [taylor]: Taking taylor expansion of z in z 7.265 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 1 into 1 7.266 * [backup-simplify]: Simplify (/ 1 1) into 1 7.266 * [backup-simplify]: Simplify 1 into 1 7.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.267 * [backup-simplify]: Simplify (- 0) into 0 7.268 * [backup-simplify]: Simplify (+ 0 0) into 0 7.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 7.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.269 * [backup-simplify]: Simplify (+ 0 0) into 0 7.269 * [taylor]: Taking taylor expansion of 0 in x 7.269 * [backup-simplify]: Simplify 0 into 0 7.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.270 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.271 * [backup-simplify]: Simplify (- 0) into 0 7.271 * [backup-simplify]: Simplify (+ 0 0) into 0 7.271 * [taylor]: Taking taylor expansion of 0 in z 7.271 * [backup-simplify]: Simplify 0 into 0 7.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.271 * [taylor]: Taking taylor expansion of 0 in z 7.271 * [backup-simplify]: Simplify 0 into 0 7.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.273 * [backup-simplify]: Simplify (- 0) into 0 7.273 * [backup-simplify]: Simplify (+ 1 0) into 1 7.273 * [backup-simplify]: Simplify 1 into 1 7.274 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x z)) 7.274 * [backup-simplify]: Simplify (* (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x)))) (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x))))) into (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) 7.274 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in (y x z) around 0 7.274 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 7.275 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.275 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 7.275 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 7.275 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.275 * [taylor]: Taking taylor expansion of x in z 7.275 * [backup-simplify]: Simplify x into x 7.275 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.275 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.275 * [taylor]: Taking taylor expansion of y in z 7.275 * [backup-simplify]: Simplify y into y 7.275 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.275 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.275 * [taylor]: Taking taylor expansion of -1 in z 7.275 * [backup-simplify]: Simplify -1 into -1 7.275 * [taylor]: Taking taylor expansion of z in z 7.275 * [backup-simplify]: Simplify 0 into 0 7.275 * [backup-simplify]: Simplify 1 into 1 7.276 * [backup-simplify]: Simplify (/ -1 1) into -1 7.276 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.276 * [taylor]: Taking taylor expansion of -1 in z 7.276 * [backup-simplify]: Simplify -1 into -1 7.276 * [taylor]: Taking taylor expansion of x in z 7.276 * [backup-simplify]: Simplify x into x 7.276 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.276 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 7.276 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.276 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 7.276 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.276 * [taylor]: Taking taylor expansion of x in x 7.276 * [backup-simplify]: Simplify 0 into 0 7.276 * [backup-simplify]: Simplify 1 into 1 7.276 * [backup-simplify]: Simplify (/ 1 1) into 1 7.277 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.277 * [taylor]: Taking taylor expansion of y in x 7.277 * [backup-simplify]: Simplify y into y 7.277 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.277 * [taylor]: Taking taylor expansion of (/ -1 z) in x 7.277 * [taylor]: Taking taylor expansion of -1 in x 7.277 * [backup-simplify]: Simplify -1 into -1 7.277 * [taylor]: Taking taylor expansion of z in x 7.277 * [backup-simplify]: Simplify z into z 7.277 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.277 * [taylor]: Taking taylor expansion of -1 in x 7.277 * [backup-simplify]: Simplify -1 into -1 7.277 * [taylor]: Taking taylor expansion of x in x 7.277 * [backup-simplify]: Simplify 0 into 0 7.277 * [backup-simplify]: Simplify 1 into 1 7.277 * [backup-simplify]: Simplify (/ -1 1) into -1 7.278 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.278 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.278 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.278 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.278 * [taylor]: Taking taylor expansion of x in y 7.278 * [backup-simplify]: Simplify x into x 7.278 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.278 * [taylor]: Taking taylor expansion of y in y 7.278 * [backup-simplify]: Simplify 0 into 0 7.278 * [backup-simplify]: Simplify 1 into 1 7.278 * [backup-simplify]: Simplify (/ 1 1) into 1 7.278 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.278 * [taylor]: Taking taylor expansion of -1 in y 7.278 * [backup-simplify]: Simplify -1 into -1 7.278 * [taylor]: Taking taylor expansion of z in y 7.278 * [backup-simplify]: Simplify z into z 7.279 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.279 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.279 * [taylor]: Taking taylor expansion of -1 in y 7.279 * [backup-simplify]: Simplify -1 into -1 7.279 * [taylor]: Taking taylor expansion of x in y 7.279 * [backup-simplify]: Simplify x into x 7.279 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.279 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.279 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.279 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.279 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.279 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.279 * [taylor]: Taking taylor expansion of x in y 7.279 * [backup-simplify]: Simplify x into x 7.279 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.279 * [taylor]: Taking taylor expansion of y in y 7.279 * [backup-simplify]: Simplify 0 into 0 7.279 * [backup-simplify]: Simplify 1 into 1 7.280 * [backup-simplify]: Simplify (/ 1 1) into 1 7.280 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.280 * [taylor]: Taking taylor expansion of -1 in y 7.280 * [backup-simplify]: Simplify -1 into -1 7.280 * [taylor]: Taking taylor expansion of z in y 7.280 * [backup-simplify]: Simplify z into z 7.280 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.280 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.280 * [taylor]: Taking taylor expansion of -1 in y 7.280 * [backup-simplify]: Simplify -1 into -1 7.280 * [taylor]: Taking taylor expansion of x in y 7.280 * [backup-simplify]: Simplify x into x 7.280 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.280 * [backup-simplify]: Simplify (- 1) into -1 7.281 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.281 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 7.281 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.281 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.281 * [taylor]: Taking taylor expansion of z in x 7.281 * [backup-simplify]: Simplify z into z 7.281 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.281 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 7.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.282 * [backup-simplify]: Simplify (- 0) into 0 7.283 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 7.283 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 7.283 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 7.283 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x))) in x 7.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 7.283 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.283 * [taylor]: Taking taylor expansion of (* x z) in x 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [backup-simplify]: Simplify 0 into 0 7.283 * [backup-simplify]: Simplify 1 into 1 7.283 * [taylor]: Taking taylor expansion of z in x 7.283 * [backup-simplify]: Simplify z into z 7.284 * [backup-simplify]: Simplify (* 0 z) into 0 7.284 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.284 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.284 * [taylor]: Taking taylor expansion of x in x 7.284 * [backup-simplify]: Simplify 0 into 0 7.284 * [backup-simplify]: Simplify 1 into 1 7.284 * [backup-simplify]: Simplify (/ 1 1) into 1 7.285 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 7.285 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z))) 7.285 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 z))) in z 7.285 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 7.285 * [taylor]: Taking taylor expansion of 1 in z 7.285 * [backup-simplify]: Simplify 1 into 1 7.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.285 * [taylor]: Taking taylor expansion of z in z 7.285 * [backup-simplify]: Simplify 0 into 0 7.285 * [backup-simplify]: Simplify 1 into 1 7.285 * [backup-simplify]: Simplify (/ 1 1) into 1 7.286 * [backup-simplify]: Simplify (+ 0 1) into 1 7.286 * [backup-simplify]: Simplify (- 1) into -1 7.286 * [backup-simplify]: Simplify -1 into -1 7.286 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.286 * [taylor]: Taking taylor expansion of z in z 7.286 * [backup-simplify]: Simplify 0 into 0 7.286 * [backup-simplify]: Simplify 1 into 1 7.287 * [backup-simplify]: Simplify (/ 1 1) into 1 7.287 * [backup-simplify]: Simplify 1 into 1 7.287 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.287 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.288 * [backup-simplify]: Simplify (- 0) into 0 7.289 * [backup-simplify]: Simplify (+ 0 0) into 0 7.289 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 7.289 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.290 * [backup-simplify]: Simplify (+ 0 0) into 0 7.290 * [taylor]: Taking taylor expansion of 0 in x 7.290 * [backup-simplify]: Simplify 0 into 0 7.291 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.292 * [backup-simplify]: Simplify (+ 0 0) into 0 7.292 * [backup-simplify]: Simplify (- 0) into 0 7.292 * [taylor]: Taking taylor expansion of 0 in z 7.292 * [backup-simplify]: Simplify 0 into 0 7.293 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.293 * [taylor]: Taking taylor expansion of 0 in z 7.293 * [backup-simplify]: Simplify 0 into 0 7.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.294 * [backup-simplify]: Simplify (+ 1 0) into 1 7.294 * [backup-simplify]: Simplify (- 1) into -1 7.294 * [backup-simplify]: Simplify -1 into -1 7.295 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x z)) 7.295 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 7.295 * [backup-simplify]: Simplify (sqrt (fma (- y x) z x)) into (sqrt (fma (- y x) z x)) 7.295 * [approximate]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in (y x z) around 0 7.295 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in z 7.295 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 7.296 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.296 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 7.296 * [taylor]: Taking taylor expansion of (- y x) in z 7.296 * [taylor]: Taking taylor expansion of y in z 7.296 * [backup-simplify]: Simplify y into y 7.296 * [taylor]: Taking taylor expansion of x in z 7.296 * [backup-simplify]: Simplify x into x 7.296 * [taylor]: Taking taylor expansion of z in z 7.296 * [backup-simplify]: Simplify 0 into 0 7.296 * [backup-simplify]: Simplify 1 into 1 7.296 * [taylor]: Taking taylor expansion of x in z 7.296 * [backup-simplify]: Simplify x into x 7.296 * [backup-simplify]: Simplify (- x) into (- x) 7.296 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 7.296 * [backup-simplify]: Simplify (* (- y x) 0) into 0 7.296 * [backup-simplify]: Simplify (+ 0 x) into x 7.296 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 7.296 * [backup-simplify]: Simplify (- 0) into 0 7.297 * [backup-simplify]: Simplify (+ 0 0) into 0 7.297 * [backup-simplify]: Simplify (+ (* (- y x) 1) (* 0 0)) into (- y x) 7.297 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 7.298 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 7.298 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in x 7.298 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 7.298 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.298 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 7.298 * [taylor]: Taking taylor expansion of (- y x) in x 7.298 * [taylor]: Taking taylor expansion of y in x 7.298 * [backup-simplify]: Simplify y into y 7.298 * [taylor]: Taking taylor expansion of x in x 7.298 * [backup-simplify]: Simplify 0 into 0 7.298 * [backup-simplify]: Simplify 1 into 1 7.298 * [taylor]: Taking taylor expansion of z in x 7.298 * [backup-simplify]: Simplify z into z 7.298 * [taylor]: Taking taylor expansion of x in x 7.298 * [backup-simplify]: Simplify 0 into 0 7.298 * [backup-simplify]: Simplify 1 into 1 7.298 * [backup-simplify]: Simplify (- 0) into 0 7.299 * [backup-simplify]: Simplify (+ y 0) into y 7.299 * [backup-simplify]: Simplify (* y z) into (* z y) 7.299 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 7.299 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y)) 7.299 * [backup-simplify]: Simplify (- 1) into -1 7.300 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.300 * [backup-simplify]: Simplify (+ (* y 0) (* -1 z)) into (- z) 7.300 * [backup-simplify]: Simplify (+ (- z) 1) into (- 1 z) 7.300 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt (* z y)))) into (* 1/2 (* (sqrt (/ 1 (* z y))) (- 1 z))) 7.300 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 7.300 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.300 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.300 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.300 * [taylor]: Taking taylor expansion of (- y x) in y 7.300 * [taylor]: Taking taylor expansion of y in y 7.300 * [backup-simplify]: Simplify 0 into 0 7.300 * [backup-simplify]: Simplify 1 into 1 7.300 * [taylor]: Taking taylor expansion of x in y 7.300 * [backup-simplify]: Simplify x into x 7.300 * [taylor]: Taking taylor expansion of z in y 7.300 * [backup-simplify]: Simplify z into z 7.300 * [taylor]: Taking taylor expansion of x in y 7.300 * [backup-simplify]: Simplify x into x 7.300 * [backup-simplify]: Simplify (- x) into (- x) 7.300 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 7.301 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 7.301 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 7.301 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 7.301 * [backup-simplify]: Simplify (- 0) into 0 7.302 * [backup-simplify]: Simplify (+ 1 0) into 1 7.302 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 7.302 * [backup-simplify]: Simplify (+ z 0) into z 7.302 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 7.302 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 7.302 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.302 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.302 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.302 * [taylor]: Taking taylor expansion of (- y x) in y 7.302 * [taylor]: Taking taylor expansion of y in y 7.302 * [backup-simplify]: Simplify 0 into 0 7.302 * [backup-simplify]: Simplify 1 into 1 7.302 * [taylor]: Taking taylor expansion of x in y 7.302 * [backup-simplify]: Simplify x into x 7.302 * [taylor]: Taking taylor expansion of z in y 7.302 * [backup-simplify]: Simplify z into z 7.302 * [taylor]: Taking taylor expansion of x in y 7.302 * [backup-simplify]: Simplify x into x 7.302 * [backup-simplify]: Simplify (- x) into (- x) 7.302 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 7.303 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 7.303 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 7.303 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 7.303 * [backup-simplify]: Simplify (- 0) into 0 7.304 * [backup-simplify]: Simplify (+ 1 0) into 1 7.304 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 7.304 * [backup-simplify]: Simplify (+ z 0) into z 7.304 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 7.304 * [taylor]: Taking taylor expansion of (sqrt (- x (* x z))) in x 7.304 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.304 * [taylor]: Taking taylor expansion of x in x 7.304 * [backup-simplify]: Simplify 0 into 0 7.304 * [backup-simplify]: Simplify 1 into 1 7.304 * [taylor]: Taking taylor expansion of (* x z) in x 7.304 * [taylor]: Taking taylor expansion of x in x 7.304 * [backup-simplify]: Simplify 0 into 0 7.304 * [backup-simplify]: Simplify 1 into 1 7.304 * [taylor]: Taking taylor expansion of z in x 7.304 * [backup-simplify]: Simplify z into z 7.304 * [backup-simplify]: Simplify (* 0 z) into 0 7.305 * [backup-simplify]: Simplify (- 0) into 0 7.305 * [backup-simplify]: Simplify (+ 0 0) into 0 7.306 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.306 * [backup-simplify]: Simplify (- z) into (- z) 7.306 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.306 * [backup-simplify]: Simplify (sqrt 0) into 0 7.307 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt 0))) into (* +nan.0 (- 1 z)) 7.307 * [taylor]: Taking taylor expansion of 0 in z 7.307 * [backup-simplify]: Simplify 0 into 0 7.307 * [backup-simplify]: Simplify 0 into 0 7.307 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) in x 7.307 * [taylor]: Taking taylor expansion of 1/2 in x 7.307 * [backup-simplify]: Simplify 1/2 into 1/2 7.307 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- x (* x z)))) z) in x 7.307 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x z)))) in x 7.307 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x z))) in x 7.307 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.307 * [taylor]: Taking taylor expansion of x in x 7.307 * [backup-simplify]: Simplify 0 into 0 7.307 * [backup-simplify]: Simplify 1 into 1 7.307 * [taylor]: Taking taylor expansion of (* x z) in x 7.307 * [taylor]: Taking taylor expansion of x in x 7.307 * [backup-simplify]: Simplify 0 into 0 7.307 * [backup-simplify]: Simplify 1 into 1 7.307 * [taylor]: Taking taylor expansion of z in x 7.307 * [backup-simplify]: Simplify z into z 7.307 * [backup-simplify]: Simplify (* 0 z) into 0 7.308 * [backup-simplify]: Simplify (- 0) into 0 7.308 * [backup-simplify]: Simplify (+ 0 0) into 0 7.308 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.308 * [backup-simplify]: Simplify (- z) into (- z) 7.308 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.309 * [backup-simplify]: Simplify (/ 1 (- 1 z)) into (/ 1 (- 1 z)) 7.309 * [backup-simplify]: Simplify (sqrt 0) into 0 7.310 * [backup-simplify]: Simplify (/ (/ 1 (- 1 z)) (* 2 (sqrt 0))) into (/ +nan.0 (- 1 z)) 7.310 * [taylor]: Taking taylor expansion of z in x 7.310 * [backup-simplify]: Simplify z into z 7.310 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (- 1 z)) z)) into (- (* +nan.0 (/ z (- 1 z)))) 7.310 * [backup-simplify]: Simplify (* 0 z) into 0 7.316 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0)) into (- (* +nan.0 (/ z (- 1 z)))) 7.316 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (- 1 z)))) in z 7.316 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (- 1 z))) in z 7.316 * [taylor]: Taking taylor expansion of +nan.0 in z 7.316 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.316 * [taylor]: Taking taylor expansion of (/ z (- 1 z)) in z 7.316 * [taylor]: Taking taylor expansion of z in z 7.316 * [backup-simplify]: Simplify 0 into 0 7.316 * [backup-simplify]: Simplify 1 into 1 7.316 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.316 * [taylor]: Taking taylor expansion of 1 in z 7.316 * [backup-simplify]: Simplify 1 into 1 7.316 * [taylor]: Taking taylor expansion of z in z 7.316 * [backup-simplify]: Simplify 0 into 0 7.316 * [backup-simplify]: Simplify 1 into 1 7.317 * [backup-simplify]: Simplify (- 0) into 0 7.317 * [backup-simplify]: Simplify (+ 1 0) into 1 7.318 * [backup-simplify]: Simplify (/ 1 1) into 1 7.318 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 z)) in z 7.318 * [taylor]: Taking taylor expansion of +nan.0 in z 7.318 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.318 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.318 * [taylor]: Taking taylor expansion of 1 in z 7.318 * [backup-simplify]: Simplify 1 into 1 7.318 * [taylor]: Taking taylor expansion of z in z 7.318 * [backup-simplify]: Simplify 0 into 0 7.318 * [backup-simplify]: Simplify 1 into 1 7.318 * [backup-simplify]: Simplify (- 0) into 0 7.319 * [backup-simplify]: Simplify (+ 1 0) into 1 7.319 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.319 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.319 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify (- 0) into 0 7.320 * [backup-simplify]: Simplify (+ 0 0) into 0 7.321 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 7.321 * [backup-simplify]: Simplify (+ 0 0) into 0 7.322 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 2) (+)) (* 2 (sqrt (- x (* x z))))) into (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) 7.322 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) in x 7.322 * [taylor]: Taking taylor expansion of -1/8 in x 7.322 * [backup-simplify]: Simplify -1/8 into -1/8 7.322 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2)) in x 7.322 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x z)) 3))) in x 7.322 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x z)) 3)) in x 7.322 * [taylor]: Taking taylor expansion of (pow (- x (* x z)) 3) in x 7.322 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.322 * [taylor]: Taking taylor expansion of x in x 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 1 into 1 7.322 * [taylor]: Taking taylor expansion of (* x z) in x 7.322 * [taylor]: Taking taylor expansion of x in x 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 1 into 1 7.322 * [taylor]: Taking taylor expansion of z in x 7.322 * [backup-simplify]: Simplify z into z 7.322 * [backup-simplify]: Simplify (* 0 z) into 0 7.323 * [backup-simplify]: Simplify (- 0) into 0 7.324 * [backup-simplify]: Simplify (+ 0 0) into 0 7.324 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.324 * [backup-simplify]: Simplify (- z) into (- z) 7.324 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.324 * [backup-simplify]: Simplify (* (- 1 z) (- 1 z)) into (pow (- 1 z) 2) 7.324 * [backup-simplify]: Simplify (* (- 1 z) (pow (- 1 z) 2)) into (pow (- 1 z) 3) 7.325 * [backup-simplify]: Simplify (/ 1 (pow (- 1 z) 3)) into (/ 1 (pow (- 1 z) 3)) 7.325 * [backup-simplify]: Simplify (sqrt 0) into 0 7.326 * [backup-simplify]: Simplify (/ (/ 1 (pow (- 1 z) 3)) (* 2 (sqrt 0))) into (/ +nan.0 (pow (- 1 z) 3)) 7.326 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.326 * [taylor]: Taking taylor expansion of z in x 7.326 * [backup-simplify]: Simplify z into z 7.326 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 7.326 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 7.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.328 * [backup-simplify]: Simplify (- 0) into 0 7.328 * [backup-simplify]: Simplify (+ 0 0) into 0 7.328 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (- 1 z))) into 0 7.328 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (pow (- 1 z) 2))) into 0 7.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow (- 1 z) 3)) (/ 0 (pow (- 1 z) 3))))) into 0 7.330 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (pow (- 1 z) 3)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 6)) 7.330 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.331 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (pow (- 1 z) 3)) 0) (* (/ +nan.0 (pow (- 1 z) 6)) (pow z 2)))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 7.331 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (pow (- 1 z) 3)) (pow z 2))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3)))) 7.331 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 7.332 * [backup-simplify]: Simplify (+ (* -1/8 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))))) (+ (* 0 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3))))) (* 0 0))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 7.333 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) in z 7.333 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))) in z 7.333 * [taylor]: Taking taylor expansion of +nan.0 in z 7.333 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.333 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow (- 1 z) 6)) in z 7.333 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.333 * [taylor]: Taking taylor expansion of z in z 7.333 * [backup-simplify]: Simplify 0 into 0 7.333 * [backup-simplify]: Simplify 1 into 1 7.333 * [taylor]: Taking taylor expansion of (pow (- 1 z) 6) in z 7.333 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.333 * [taylor]: Taking taylor expansion of 1 in z 7.333 * [backup-simplify]: Simplify 1 into 1 7.333 * [taylor]: Taking taylor expansion of z in z 7.333 * [backup-simplify]: Simplify 0 into 0 7.333 * [backup-simplify]: Simplify 1 into 1 7.333 * [backup-simplify]: Simplify (- 0) into 0 7.334 * [backup-simplify]: Simplify (+ 1 0) into 1 7.334 * [backup-simplify]: Simplify (* 1 1) into 1 7.335 * [backup-simplify]: Simplify (* 1 1) into 1 7.335 * [backup-simplify]: Simplify (* 1 1) into 1 7.335 * [backup-simplify]: Simplify (* 1 1) into 1 7.336 * [backup-simplify]: Simplify (/ 1 1) into 1 7.337 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.337 * [backup-simplify]: Simplify (- 0) into 0 7.337 * [backup-simplify]: Simplify (+ 0 0) into 0 7.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 z)) (/ 0 (- 1 z))))) into 0 7.339 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 2)) 7.340 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (- 1 z)) 0) (* (/ +nan.0 (pow (- 1 z) 2)) z))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 7.340 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (pow (- 1 z) 2))))) (+ (* 0 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 7.340 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (pow (- 1 z) 2)))) in z 7.341 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (pow (- 1 z) 2))) in z 7.341 * [taylor]: Taking taylor expansion of +nan.0 in z 7.341 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.341 * [taylor]: Taking taylor expansion of (/ z (pow (- 1 z) 2)) in z 7.341 * [taylor]: Taking taylor expansion of z in z 7.341 * [backup-simplify]: Simplify 0 into 0 7.341 * [backup-simplify]: Simplify 1 into 1 7.341 * [taylor]: Taking taylor expansion of (pow (- 1 z) 2) in z 7.341 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.341 * [taylor]: Taking taylor expansion of 1 in z 7.341 * [backup-simplify]: Simplify 1 into 1 7.341 * [taylor]: Taking taylor expansion of z in z 7.341 * [backup-simplify]: Simplify 0 into 0 7.341 * [backup-simplify]: Simplify 1 into 1 7.341 * [backup-simplify]: Simplify (- 0) into 0 7.342 * [backup-simplify]: Simplify (+ 1 0) into 1 7.342 * [backup-simplify]: Simplify (* 1 1) into 1 7.343 * [backup-simplify]: Simplify (/ 1 1) into 1 7.344 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.344 * [backup-simplify]: Simplify (- 0) into 0 7.345 * [backup-simplify]: Simplify (+ 0 0) into 0 7.346 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) 7.346 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) in z 7.346 * [taylor]: Taking taylor expansion of +nan.0 in z 7.346 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.346 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0)))) in z 7.346 * [taylor]: Taking taylor expansion of (* +nan.0 (pow z 2)) in z 7.346 * [taylor]: Taking taylor expansion of +nan.0 in z 7.346 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.346 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.346 * [taylor]: Taking taylor expansion of z in z 7.346 * [backup-simplify]: Simplify 0 into 0 7.346 * [backup-simplify]: Simplify 1 into 1 7.346 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 z) (- +nan.0))) in z 7.346 * [taylor]: Taking taylor expansion of (+ (* +nan.0 z) (- +nan.0)) in z 7.346 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 7.346 * [taylor]: Taking taylor expansion of +nan.0 in z 7.346 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.346 * [taylor]: Taking taylor expansion of z in z 7.346 * [backup-simplify]: Simplify 0 into 0 7.346 * [backup-simplify]: Simplify 1 into 1 7.346 * [taylor]: Taking taylor expansion of (- +nan.0) in z 7.346 * [taylor]: Taking taylor expansion of +nan.0 in z 7.346 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.347 * [backup-simplify]: Simplify (* +nan.0 0) into 0 7.347 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.348 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.349 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 7.350 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.351 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 7.351 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.351 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.352 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.352 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.353 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* z (* 1 y))) (+ (* +nan.0 (pow (* 1 (* x 1)) 2)) (* +nan.0 (* 1 (* x 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) 7.353 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) into (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) 7.353 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in (y x z) around 0 7.353 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in z 7.353 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 7.353 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.353 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 7.353 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 7.353 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.353 * [taylor]: Taking taylor expansion of y in z 7.353 * [backup-simplify]: Simplify y into y 7.354 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.354 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.354 * [taylor]: Taking taylor expansion of x in z 7.354 * [backup-simplify]: Simplify x into x 7.354 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.354 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.354 * [taylor]: Taking taylor expansion of z in z 7.354 * [backup-simplify]: Simplify 0 into 0 7.354 * [backup-simplify]: Simplify 1 into 1 7.354 * [backup-simplify]: Simplify (/ 1 1) into 1 7.354 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.354 * [taylor]: Taking taylor expansion of x in z 7.354 * [backup-simplify]: Simplify x into x 7.354 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.354 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.355 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 7.355 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 x)) 1) into (- (/ 1 y) (/ 1 x)) 7.355 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 7.355 * [backup-simplify]: Simplify (sqrt 0) into 0 7.356 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 7.356 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in x 7.356 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 7.356 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.356 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 7.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.356 * [taylor]: Taking taylor expansion of y in x 7.356 * [backup-simplify]: Simplify y into y 7.356 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.356 * [taylor]: Taking taylor expansion of x in x 7.356 * [backup-simplify]: Simplify 0 into 0 7.356 * [backup-simplify]: Simplify 1 into 1 7.357 * [backup-simplify]: Simplify (/ 1 1) into 1 7.357 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.357 * [taylor]: Taking taylor expansion of z in x 7.357 * [backup-simplify]: Simplify z into z 7.357 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.357 * [taylor]: Taking taylor expansion of x in x 7.357 * [backup-simplify]: Simplify 0 into 0 7.357 * [backup-simplify]: Simplify 1 into 1 7.357 * [backup-simplify]: Simplify (/ 1 1) into 1 7.358 * [backup-simplify]: Simplify (- 1) into -1 7.358 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.358 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 7.358 * [backup-simplify]: Simplify (+ (/ -1 z) 1) into (- 1 (/ 1 z)) 7.359 * [backup-simplify]: Simplify (sqrt 0) into 0 7.359 * [backup-simplify]: Simplify (/ (- 1 (/ 1 z)) (* 2 (sqrt 0))) into (* +nan.0 (- 1 (/ 1 z))) 7.359 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 7.360 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.360 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.360 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.360 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.360 * [taylor]: Taking taylor expansion of y in y 7.360 * [backup-simplify]: Simplify 0 into 0 7.360 * [backup-simplify]: Simplify 1 into 1 7.360 * [backup-simplify]: Simplify (/ 1 1) into 1 7.360 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.360 * [taylor]: Taking taylor expansion of x in y 7.360 * [backup-simplify]: Simplify x into x 7.360 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.360 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.360 * [taylor]: Taking taylor expansion of z in y 7.360 * [backup-simplify]: Simplify z into z 7.361 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.361 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.361 * [taylor]: Taking taylor expansion of x in y 7.361 * [backup-simplify]: Simplify x into x 7.361 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.361 * [backup-simplify]: Simplify (+ 1 0) into 1 7.361 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 7.361 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.362 * [backup-simplify]: Simplify (sqrt 0) into 0 7.362 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.362 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 7.362 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.363 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.363 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.363 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.363 * [taylor]: Taking taylor expansion of y in y 7.363 * [backup-simplify]: Simplify 0 into 0 7.363 * [backup-simplify]: Simplify 1 into 1 7.363 * [backup-simplify]: Simplify (/ 1 1) into 1 7.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.363 * [taylor]: Taking taylor expansion of x in y 7.363 * [backup-simplify]: Simplify x into x 7.363 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.363 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.364 * [taylor]: Taking taylor expansion of z in y 7.364 * [backup-simplify]: Simplify z into z 7.364 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.364 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.364 * [taylor]: Taking taylor expansion of x in y 7.364 * [backup-simplify]: Simplify x into x 7.364 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.364 * [backup-simplify]: Simplify (+ 1 0) into 1 7.364 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 7.364 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.365 * [backup-simplify]: Simplify (sqrt 0) into 0 7.366 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.366 * [taylor]: Taking taylor expansion of 0 in x 7.366 * [backup-simplify]: Simplify 0 into 0 7.366 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 7.366 * [taylor]: Taking taylor expansion of +nan.0 in x 7.366 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.366 * [taylor]: Taking taylor expansion of z in x 7.366 * [backup-simplify]: Simplify z into z 7.366 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 7.366 * [taylor]: Taking taylor expansion of 0 in z 7.366 * [backup-simplify]: Simplify 0 into 0 7.366 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.367 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.367 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 7.368 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 7.368 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 7.369 * [backup-simplify]: Simplify (/ (- (- (/ 1 x) (/ 1 (* x z))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) 7.369 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) in x 7.369 * [taylor]: Taking taylor expansion of +nan.0 in x 7.369 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.369 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2)))))) in x 7.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.369 * [taylor]: Taking taylor expansion of x in x 7.369 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.370 * [backup-simplify]: Simplify (/ 1 1) into 1 7.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))) in x 7.370 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.370 * [taylor]: Taking taylor expansion of (* x z) in x 7.370 * [taylor]: Taking taylor expansion of x in x 7.370 * [backup-simplify]: Simplify 0 into 0 7.370 * [backup-simplify]: Simplify 1 into 1 7.370 * [taylor]: Taking taylor expansion of z in x 7.370 * [backup-simplify]: Simplify z into z 7.370 * [backup-simplify]: Simplify (* 0 z) into 0 7.370 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.371 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.371 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in x 7.371 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 7.371 * [taylor]: Taking taylor expansion of +nan.0 in x 7.371 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.371 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 7.371 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.371 * [taylor]: Taking taylor expansion of z in x 7.371 * [backup-simplify]: Simplify z into z 7.371 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.371 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.371 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.371 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 7.371 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 7.371 * [backup-simplify]: Simplify (* +nan.0 (- 1 (/ 1 z))) into (* +nan.0 (- 1 (/ 1 z))) 7.371 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 z))) in z 7.371 * [taylor]: Taking taylor expansion of +nan.0 in z 7.371 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.371 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 7.371 * [taylor]: Taking taylor expansion of 1 in z 7.372 * [backup-simplify]: Simplify 1 into 1 7.372 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.372 * [taylor]: Taking taylor expansion of z in z 7.372 * [backup-simplify]: Simplify 0 into 0 7.372 * [backup-simplify]: Simplify 1 into 1 7.372 * [backup-simplify]: Simplify (/ 1 1) into 1 7.372 * [backup-simplify]: Simplify (- 1) into -1 7.373 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.373 * [backup-simplify]: Simplify (* +nan.0 -1) into +nan.0 7.373 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.373 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 7.373 * [taylor]: Taking taylor expansion of +nan.0 in z 7.373 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.373 * [taylor]: Taking taylor expansion of z in z 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify 1 into 1 7.374 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 7.374 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.374 * [taylor]: Taking taylor expansion of 0 in z 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.376 * [backup-simplify]: Simplify (- 0) into 0 7.376 * [backup-simplify]: Simplify (+ 0 0) into 0 7.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 7.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.377 * [backup-simplify]: Simplify (+ 0 0) into 0 7.379 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 7.379 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 7.379 * [taylor]: Taking taylor expansion of +nan.0 in x 7.379 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.379 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 7.379 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 7.379 * [taylor]: Taking taylor expansion of +nan.0 in x 7.379 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.379 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 7.379 * [taylor]: Taking taylor expansion of (pow z 3) in x 7.379 * [taylor]: Taking taylor expansion of z in x 7.379 * [backup-simplify]: Simplify z into z 7.379 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.379 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 7.379 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 7.379 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 7.379 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 7.379 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 7.379 * [taylor]: Taking taylor expansion of +nan.0 in x 7.379 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.379 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.379 * [taylor]: Taking taylor expansion of (* x z) in x 7.379 * [taylor]: Taking taylor expansion of x in x 7.380 * [backup-simplify]: Simplify 0 into 0 7.380 * [backup-simplify]: Simplify 1 into 1 7.380 * [taylor]: Taking taylor expansion of z in x 7.380 * [backup-simplify]: Simplify z into z 7.380 * [backup-simplify]: Simplify (* 0 z) into 0 7.380 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.380 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.380 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 7.380 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 7.380 * [taylor]: Taking taylor expansion of +nan.0 in x 7.380 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.380 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 7.380 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 7.380 * [taylor]: Taking taylor expansion of x in x 7.380 * [backup-simplify]: Simplify 0 into 0 7.380 * [backup-simplify]: Simplify 1 into 1 7.380 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.380 * [taylor]: Taking taylor expansion of z in x 7.380 * [backup-simplify]: Simplify z into z 7.381 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.381 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 7.381 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 7.381 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 7.381 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.382 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 7.382 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 7.382 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 7.382 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.382 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.383 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.383 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.383 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 7.383 * [taylor]: Taking taylor expansion of +nan.0 in z 7.383 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.383 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 7.383 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 7.383 * [taylor]: Taking taylor expansion of +nan.0 in z 7.383 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.383 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.383 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.383 * [taylor]: Taking taylor expansion of z in z 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify 1 into 1 7.384 * [backup-simplify]: Simplify (* 1 1) into 1 7.384 * [backup-simplify]: Simplify (/ 1 1) into 1 7.384 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 7.384 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 7.384 * [taylor]: Taking taylor expansion of +nan.0 in z 7.384 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.385 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.385 * [taylor]: Taking taylor expansion of z in z 7.385 * [backup-simplify]: Simplify 0 into 0 7.385 * [backup-simplify]: Simplify 1 into 1 7.385 * [backup-simplify]: Simplify (/ 1 1) into 1 7.386 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.387 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 7.388 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.388 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.389 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.389 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.389 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 7.391 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 7.391 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.392 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (pow (/ 1 y) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 z)) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (/ 1 y)))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 7.392 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x)))) into (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) 7.392 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in (y x z) around 0 7.392 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in z 7.392 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 7.392 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.392 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 7.392 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 7.392 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.392 * [taylor]: Taking taylor expansion of x in z 7.392 * [backup-simplify]: Simplify x into x 7.392 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.392 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.392 * [taylor]: Taking taylor expansion of y in z 7.392 * [backup-simplify]: Simplify y into y 7.392 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.392 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.392 * [taylor]: Taking taylor expansion of -1 in z 7.392 * [backup-simplify]: Simplify -1 into -1 7.393 * [taylor]: Taking taylor expansion of z in z 7.393 * [backup-simplify]: Simplify 0 into 0 7.393 * [backup-simplify]: Simplify 1 into 1 7.393 * [backup-simplify]: Simplify (/ -1 1) into -1 7.393 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.393 * [taylor]: Taking taylor expansion of -1 in z 7.393 * [backup-simplify]: Simplify -1 into -1 7.393 * [taylor]: Taking taylor expansion of x in z 7.393 * [backup-simplify]: Simplify x into x 7.393 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.393 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.393 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 7.393 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 y)) -1) into (* -1 (- (/ 1 x) (/ 1 y))) 7.393 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 7.394 * [backup-simplify]: Simplify (sqrt 0) into 0 7.394 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 7.394 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in x 7.394 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 7.394 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.394 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 7.394 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.394 * [taylor]: Taking taylor expansion of x in x 7.394 * [backup-simplify]: Simplify 0 into 0 7.394 * [backup-simplify]: Simplify 1 into 1 7.394 * [backup-simplify]: Simplify (/ 1 1) into 1 7.394 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.394 * [taylor]: Taking taylor expansion of y in x 7.394 * [backup-simplify]: Simplify y into y 7.395 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.395 * [taylor]: Taking taylor expansion of (/ -1 z) in x 7.395 * [taylor]: Taking taylor expansion of -1 in x 7.395 * [backup-simplify]: Simplify -1 into -1 7.395 * [taylor]: Taking taylor expansion of z in x 7.395 * [backup-simplify]: Simplify z into z 7.395 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.395 * [taylor]: Taking taylor expansion of -1 in x 7.395 * [backup-simplify]: Simplify -1 into -1 7.395 * [taylor]: Taking taylor expansion of x in x 7.395 * [backup-simplify]: Simplify 0 into 0 7.395 * [backup-simplify]: Simplify 1 into 1 7.395 * [backup-simplify]: Simplify (/ -1 1) into -1 7.395 * [backup-simplify]: Simplify (+ 1 0) into 1 7.395 * [backup-simplify]: Simplify (* 1 (/ -1 z)) into (/ -1 z) 7.395 * [backup-simplify]: Simplify (+ (/ -1 z) -1) into (- (+ 1 (/ 1 z))) 7.396 * [backup-simplify]: Simplify (sqrt 0) into 0 7.396 * [backup-simplify]: Simplify (/ (- (+ 1 (/ 1 z))) (* 2 (sqrt 0))) into (* +nan.0 (+ 1 (/ 1 z))) 7.396 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 7.396 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.396 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.396 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.396 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.396 * [taylor]: Taking taylor expansion of x in y 7.396 * [backup-simplify]: Simplify x into x 7.396 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.396 * [taylor]: Taking taylor expansion of y in y 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 1 into 1 7.397 * [backup-simplify]: Simplify (/ 1 1) into 1 7.397 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.397 * [taylor]: Taking taylor expansion of -1 in y 7.397 * [backup-simplify]: Simplify -1 into -1 7.397 * [taylor]: Taking taylor expansion of z in y 7.397 * [backup-simplify]: Simplify z into z 7.397 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.397 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.397 * [taylor]: Taking taylor expansion of -1 in y 7.397 * [backup-simplify]: Simplify -1 into -1 7.397 * [taylor]: Taking taylor expansion of x in y 7.397 * [backup-simplify]: Simplify x into x 7.397 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.397 * [backup-simplify]: Simplify (- 1) into -1 7.397 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.397 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 7.398 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.398 * [backup-simplify]: Simplify (sqrt 0) into 0 7.398 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.398 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 7.398 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.398 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.398 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.398 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.398 * [taylor]: Taking taylor expansion of x in y 7.398 * [backup-simplify]: Simplify x into x 7.398 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.398 * [taylor]: Taking taylor expansion of y in y 7.398 * [backup-simplify]: Simplify 0 into 0 7.399 * [backup-simplify]: Simplify 1 into 1 7.399 * [backup-simplify]: Simplify (/ 1 1) into 1 7.399 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.399 * [taylor]: Taking taylor expansion of -1 in y 7.399 * [backup-simplify]: Simplify -1 into -1 7.399 * [taylor]: Taking taylor expansion of z in y 7.399 * [backup-simplify]: Simplify z into z 7.399 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.399 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.399 * [taylor]: Taking taylor expansion of -1 in y 7.399 * [backup-simplify]: Simplify -1 into -1 7.399 * [taylor]: Taking taylor expansion of x in y 7.399 * [backup-simplify]: Simplify x into x 7.399 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.399 * [backup-simplify]: Simplify (- 1) into -1 7.400 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.400 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 7.400 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.400 * [backup-simplify]: Simplify (sqrt 0) into 0 7.400 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.400 * [taylor]: Taking taylor expansion of 0 in x 7.400 * [backup-simplify]: Simplify 0 into 0 7.400 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 7.400 * [taylor]: Taking taylor expansion of +nan.0 in x 7.400 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.400 * [taylor]: Taking taylor expansion of z in x 7.400 * [backup-simplify]: Simplify z into z 7.400 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 7.400 * [taylor]: Taking taylor expansion of 0 in z 7.401 * [backup-simplify]: Simplify 0 into 0 7.401 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 7.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.401 * [backup-simplify]: Simplify (- 0) into 0 7.401 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 7.402 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 7.402 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 7.403 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 (* x z)) (/ 1 x))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) 7.403 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) in x 7.403 * [taylor]: Taking taylor expansion of +nan.0 in x 7.403 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2))))) in x 7.403 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.403 * [taylor]: Taking taylor expansion of (* x z) in x 7.403 * [taylor]: Taking taylor expansion of x in x 7.403 * [backup-simplify]: Simplify 0 into 0 7.403 * [backup-simplify]: Simplify 1 into 1 7.403 * [taylor]: Taking taylor expansion of z in x 7.403 * [backup-simplify]: Simplify z into z 7.403 * [backup-simplify]: Simplify (* 0 z) into 0 7.403 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.403 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.403 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))) in x 7.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.403 * [taylor]: Taking taylor expansion of x in x 7.403 * [backup-simplify]: Simplify 0 into 0 7.403 * [backup-simplify]: Simplify 1 into 1 7.404 * [backup-simplify]: Simplify (/ 1 1) into 1 7.404 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 7.404 * [taylor]: Taking taylor expansion of +nan.0 in x 7.404 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.404 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 7.404 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.404 * [taylor]: Taking taylor expansion of z in x 7.404 * [backup-simplify]: Simplify z into z 7.404 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.404 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.404 * [backup-simplify]: Simplify (+ 1 0) into 1 7.404 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 7.404 * [backup-simplify]: Simplify (* +nan.0 (+ 1 (/ 1 z))) into (* +nan.0 (+ 1 (/ 1 z))) 7.404 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1 (/ 1 z))) in z 7.404 * [taylor]: Taking taylor expansion of +nan.0 in z 7.404 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.404 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 7.404 * [taylor]: Taking taylor expansion of 1 in z 7.404 * [backup-simplify]: Simplify 1 into 1 7.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.404 * [taylor]: Taking taylor expansion of z in z 7.404 * [backup-simplify]: Simplify 0 into 0 7.404 * [backup-simplify]: Simplify 1 into 1 7.405 * [backup-simplify]: Simplify (/ 1 1) into 1 7.405 * [backup-simplify]: Simplify (+ 0 1) into 1 7.405 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.405 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.405 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 7.405 * [taylor]: Taking taylor expansion of +nan.0 in z 7.405 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.405 * [taylor]: Taking taylor expansion of z in z 7.405 * [backup-simplify]: Simplify 0 into 0 7.405 * [backup-simplify]: Simplify 1 into 1 7.406 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 7.406 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.406 * [taylor]: Taking taylor expansion of 0 in z 7.406 * [backup-simplify]: Simplify 0 into 0 7.406 * [backup-simplify]: Simplify 0 into 0 7.406 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.407 * [backup-simplify]: Simplify (- 0) into 0 7.407 * [backup-simplify]: Simplify (+ 0 0) into 0 7.407 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 7.407 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.408 * [backup-simplify]: Simplify (+ 0 0) into 0 7.408 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 7.408 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 7.409 * [taylor]: Taking taylor expansion of +nan.0 in x 7.409 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.409 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 7.409 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 7.409 * [taylor]: Taking taylor expansion of +nan.0 in x 7.409 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.409 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 7.409 * [taylor]: Taking taylor expansion of (pow z 3) in x 7.409 * [taylor]: Taking taylor expansion of z in x 7.409 * [backup-simplify]: Simplify z into z 7.409 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.409 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 7.409 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 7.409 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 7.409 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 7.409 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 7.409 * [taylor]: Taking taylor expansion of +nan.0 in x 7.409 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.409 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.409 * [taylor]: Taking taylor expansion of (* x z) in x 7.409 * [taylor]: Taking taylor expansion of x in x 7.409 * [backup-simplify]: Simplify 0 into 0 7.409 * [backup-simplify]: Simplify 1 into 1 7.409 * [taylor]: Taking taylor expansion of z in x 7.409 * [backup-simplify]: Simplify z into z 7.409 * [backup-simplify]: Simplify (* 0 z) into 0 7.409 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.409 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.409 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 7.410 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 7.410 * [taylor]: Taking taylor expansion of +nan.0 in x 7.410 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.410 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 7.410 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 7.410 * [taylor]: Taking taylor expansion of x in x 7.410 * [backup-simplify]: Simplify 0 into 0 7.410 * [backup-simplify]: Simplify 1 into 1 7.410 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.410 * [taylor]: Taking taylor expansion of z in x 7.410 * [backup-simplify]: Simplify z into z 7.410 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.410 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 7.410 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 7.410 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 7.410 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.410 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 7.410 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 7.410 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 7.411 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.411 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.411 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.411 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.411 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 7.411 * [taylor]: Taking taylor expansion of +nan.0 in z 7.411 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.411 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 7.411 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 7.411 * [taylor]: Taking taylor expansion of +nan.0 in z 7.411 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.411 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.411 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.411 * [taylor]: Taking taylor expansion of z in z 7.411 * [backup-simplify]: Simplify 0 into 0 7.411 * [backup-simplify]: Simplify 1 into 1 7.412 * [backup-simplify]: Simplify (* 1 1) into 1 7.412 * [backup-simplify]: Simplify (/ 1 1) into 1 7.412 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 7.412 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 7.412 * [taylor]: Taking taylor expansion of +nan.0 in z 7.412 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.412 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.412 * [taylor]: Taking taylor expansion of z in z 7.412 * [backup-simplify]: Simplify 0 into 0 7.412 * [backup-simplify]: Simplify 1 into 1 7.412 * [backup-simplify]: Simplify (/ 1 1) into 1 7.413 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.414 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 7.414 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.414 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.415 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.415 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.415 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 7.417 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 7.417 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.419 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (pow (/ 1 (- y)) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 (- z))) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 7.419 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 7.419 * [backup-simplify]: Simplify (sqrt (fma (- y x) z x)) into (sqrt (fma (- y x) z x)) 7.419 * [approximate]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in (y x z) around 0 7.419 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in z 7.419 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 7.420 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.420 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 7.420 * [taylor]: Taking taylor expansion of (- y x) in z 7.420 * [taylor]: Taking taylor expansion of y in z 7.420 * [backup-simplify]: Simplify y into y 7.420 * [taylor]: Taking taylor expansion of x in z 7.420 * [backup-simplify]: Simplify x into x 7.420 * [taylor]: Taking taylor expansion of z in z 7.420 * [backup-simplify]: Simplify 0 into 0 7.420 * [backup-simplify]: Simplify 1 into 1 7.420 * [taylor]: Taking taylor expansion of x in z 7.420 * [backup-simplify]: Simplify x into x 7.420 * [backup-simplify]: Simplify (- x) into (- x) 7.420 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 7.420 * [backup-simplify]: Simplify (* (- y x) 0) into 0 7.420 * [backup-simplify]: Simplify (+ 0 x) into x 7.420 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 7.421 * [backup-simplify]: Simplify (- 0) into 0 7.421 * [backup-simplify]: Simplify (+ 0 0) into 0 7.422 * [backup-simplify]: Simplify (+ (* (- y x) 1) (* 0 0)) into (- y x) 7.422 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 7.422 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 7.422 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in x 7.422 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 7.422 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.422 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 7.422 * [taylor]: Taking taylor expansion of (- y x) in x 7.422 * [taylor]: Taking taylor expansion of y in x 7.422 * [backup-simplify]: Simplify y into y 7.422 * [taylor]: Taking taylor expansion of x in x 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 1 into 1 7.422 * [taylor]: Taking taylor expansion of z in x 7.422 * [backup-simplify]: Simplify z into z 7.422 * [taylor]: Taking taylor expansion of x in x 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 1 into 1 7.423 * [backup-simplify]: Simplify (- 0) into 0 7.423 * [backup-simplify]: Simplify (+ y 0) into y 7.423 * [backup-simplify]: Simplify (* y z) into (* z y) 7.423 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 7.423 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y)) 7.424 * [backup-simplify]: Simplify (- 1) into -1 7.424 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.424 * [backup-simplify]: Simplify (+ (* y 0) (* -1 z)) into (- z) 7.424 * [backup-simplify]: Simplify (+ (- z) 1) into (- 1 z) 7.425 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt (* z y)))) into (* 1/2 (* (sqrt (/ 1 (* z y))) (- 1 z))) 7.425 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 7.425 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.425 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.425 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.425 * [taylor]: Taking taylor expansion of (- y x) in y 7.425 * [taylor]: Taking taylor expansion of y in y 7.425 * [backup-simplify]: Simplify 0 into 0 7.425 * [backup-simplify]: Simplify 1 into 1 7.425 * [taylor]: Taking taylor expansion of x in y 7.425 * [backup-simplify]: Simplify x into x 7.425 * [taylor]: Taking taylor expansion of z in y 7.425 * [backup-simplify]: Simplify z into z 7.425 * [taylor]: Taking taylor expansion of x in y 7.425 * [backup-simplify]: Simplify x into x 7.425 * [backup-simplify]: Simplify (- x) into (- x) 7.425 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 7.425 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 7.425 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 7.426 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 7.426 * [backup-simplify]: Simplify (- 0) into 0 7.427 * [backup-simplify]: Simplify (+ 1 0) into 1 7.427 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 7.427 * [backup-simplify]: Simplify (+ z 0) into z 7.427 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 7.427 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 7.427 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.427 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.427 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.427 * [taylor]: Taking taylor expansion of (- y x) in y 7.427 * [taylor]: Taking taylor expansion of y in y 7.427 * [backup-simplify]: Simplify 0 into 0 7.428 * [backup-simplify]: Simplify 1 into 1 7.428 * [taylor]: Taking taylor expansion of x in y 7.428 * [backup-simplify]: Simplify x into x 7.428 * [taylor]: Taking taylor expansion of z in y 7.428 * [backup-simplify]: Simplify z into z 7.428 * [taylor]: Taking taylor expansion of x in y 7.428 * [backup-simplify]: Simplify x into x 7.428 * [backup-simplify]: Simplify (- x) into (- x) 7.428 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 7.428 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 7.428 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 7.428 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 7.429 * [backup-simplify]: Simplify (- 0) into 0 7.430 * [backup-simplify]: Simplify (+ 1 0) into 1 7.430 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 7.430 * [backup-simplify]: Simplify (+ z 0) into z 7.430 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 7.430 * [taylor]: Taking taylor expansion of (sqrt (- x (* x z))) in x 7.430 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.430 * [taylor]: Taking taylor expansion of x in x 7.430 * [backup-simplify]: Simplify 0 into 0 7.430 * [backup-simplify]: Simplify 1 into 1 7.430 * [taylor]: Taking taylor expansion of (* x z) in x 7.430 * [taylor]: Taking taylor expansion of x in x 7.430 * [backup-simplify]: Simplify 0 into 0 7.430 * [backup-simplify]: Simplify 1 into 1 7.430 * [taylor]: Taking taylor expansion of z in x 7.430 * [backup-simplify]: Simplify z into z 7.430 * [backup-simplify]: Simplify (* 0 z) into 0 7.431 * [backup-simplify]: Simplify (- 0) into 0 7.431 * [backup-simplify]: Simplify (+ 0 0) into 0 7.432 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.432 * [backup-simplify]: Simplify (- z) into (- z) 7.432 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.432 * [backup-simplify]: Simplify (sqrt 0) into 0 7.433 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt 0))) into (* +nan.0 (- 1 z)) 7.433 * [taylor]: Taking taylor expansion of 0 in z 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) in x 7.433 * [taylor]: Taking taylor expansion of 1/2 in x 7.433 * [backup-simplify]: Simplify 1/2 into 1/2 7.433 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- x (* x z)))) z) in x 7.433 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x z)))) in x 7.433 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x z))) in x 7.433 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.433 * [taylor]: Taking taylor expansion of x in x 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 1 into 1 7.433 * [taylor]: Taking taylor expansion of (* x z) in x 7.433 * [taylor]: Taking taylor expansion of x in x 7.434 * [backup-simplify]: Simplify 0 into 0 7.434 * [backup-simplify]: Simplify 1 into 1 7.434 * [taylor]: Taking taylor expansion of z in x 7.434 * [backup-simplify]: Simplify z into z 7.434 * [backup-simplify]: Simplify (* 0 z) into 0 7.434 * [backup-simplify]: Simplify (- 0) into 0 7.434 * [backup-simplify]: Simplify (+ 0 0) into 0 7.435 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.435 * [backup-simplify]: Simplify (- z) into (- z) 7.435 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.435 * [backup-simplify]: Simplify (/ 1 (- 1 z)) into (/ 1 (- 1 z)) 7.435 * [backup-simplify]: Simplify (sqrt 0) into 0 7.436 * [backup-simplify]: Simplify (/ (/ 1 (- 1 z)) (* 2 (sqrt 0))) into (/ +nan.0 (- 1 z)) 7.436 * [taylor]: Taking taylor expansion of z in x 7.436 * [backup-simplify]: Simplify z into z 7.437 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (- 1 z)) z)) into (- (* +nan.0 (/ z (- 1 z)))) 7.437 * [backup-simplify]: Simplify (* 0 z) into 0 7.437 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0)) into (- (* +nan.0 (/ z (- 1 z)))) 7.437 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (- 1 z)))) in z 7.437 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (- 1 z))) in z 7.437 * [taylor]: Taking taylor expansion of +nan.0 in z 7.437 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.437 * [taylor]: Taking taylor expansion of (/ z (- 1 z)) in z 7.437 * [taylor]: Taking taylor expansion of z in z 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify 1 into 1 7.437 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.438 * [taylor]: Taking taylor expansion of 1 in z 7.438 * [backup-simplify]: Simplify 1 into 1 7.438 * [taylor]: Taking taylor expansion of z in z 7.438 * [backup-simplify]: Simplify 0 into 0 7.438 * [backup-simplify]: Simplify 1 into 1 7.438 * [backup-simplify]: Simplify (- 0) into 0 7.438 * [backup-simplify]: Simplify (+ 1 0) into 1 7.439 * [backup-simplify]: Simplify (/ 1 1) into 1 7.439 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 z)) in z 7.439 * [taylor]: Taking taylor expansion of +nan.0 in z 7.439 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.439 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.439 * [taylor]: Taking taylor expansion of 1 in z 7.439 * [backup-simplify]: Simplify 1 into 1 7.439 * [taylor]: Taking taylor expansion of z in z 7.439 * [backup-simplify]: Simplify 0 into 0 7.439 * [backup-simplify]: Simplify 1 into 1 7.439 * [backup-simplify]: Simplify (- 0) into 0 7.440 * [backup-simplify]: Simplify (+ 1 0) into 1 7.440 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.440 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.440 * [backup-simplify]: Simplify 0 into 0 7.441 * [backup-simplify]: Simplify (- 0) into 0 7.441 * [backup-simplify]: Simplify (+ 0 0) into 0 7.442 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 7.442 * [backup-simplify]: Simplify (+ 0 0) into 0 7.443 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 2) (+)) (* 2 (sqrt (- x (* x z))))) into (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) 7.443 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) in x 7.443 * [taylor]: Taking taylor expansion of -1/8 in x 7.443 * [backup-simplify]: Simplify -1/8 into -1/8 7.443 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2)) in x 7.443 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x z)) 3))) in x 7.443 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x z)) 3)) in x 7.443 * [taylor]: Taking taylor expansion of (pow (- x (* x z)) 3) in x 7.443 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.443 * [taylor]: Taking taylor expansion of x in x 7.443 * [backup-simplify]: Simplify 0 into 0 7.443 * [backup-simplify]: Simplify 1 into 1 7.444 * [taylor]: Taking taylor expansion of (* x z) in x 7.444 * [taylor]: Taking taylor expansion of x in x 7.444 * [backup-simplify]: Simplify 0 into 0 7.444 * [backup-simplify]: Simplify 1 into 1 7.444 * [taylor]: Taking taylor expansion of z in x 7.444 * [backup-simplify]: Simplify z into z 7.444 * [backup-simplify]: Simplify (* 0 z) into 0 7.444 * [backup-simplify]: Simplify (- 0) into 0 7.444 * [backup-simplify]: Simplify (+ 0 0) into 0 7.445 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.445 * [backup-simplify]: Simplify (- z) into (- z) 7.445 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.445 * [backup-simplify]: Simplify (* (- 1 z) (- 1 z)) into (pow (- 1 z) 2) 7.445 * [backup-simplify]: Simplify (* (- 1 z) (pow (- 1 z) 2)) into (pow (- 1 z) 3) 7.445 * [backup-simplify]: Simplify (/ 1 (pow (- 1 z) 3)) into (/ 1 (pow (- 1 z) 3)) 7.446 * [backup-simplify]: Simplify (sqrt 0) into 0 7.447 * [backup-simplify]: Simplify (/ (/ 1 (pow (- 1 z) 3)) (* 2 (sqrt 0))) into (/ +nan.0 (pow (- 1 z) 3)) 7.447 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.447 * [taylor]: Taking taylor expansion of z in x 7.447 * [backup-simplify]: Simplify z into z 7.447 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 7.447 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 7.448 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.448 * [backup-simplify]: Simplify (- 0) into 0 7.449 * [backup-simplify]: Simplify (+ 0 0) into 0 7.449 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (- 1 z))) into 0 7.449 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (pow (- 1 z) 2))) into 0 7.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow (- 1 z) 3)) (/ 0 (pow (- 1 z) 3))))) into 0 7.450 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (pow (- 1 z) 3)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 6)) 7.451 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (pow (- 1 z) 3)) 0) (* (/ +nan.0 (pow (- 1 z) 6)) (pow z 2)))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 7.452 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (pow (- 1 z) 3)) (pow z 2))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3)))) 7.452 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 7.453 * [backup-simplify]: Simplify (+ (* -1/8 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))))) (+ (* 0 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3))))) (* 0 0))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 7.453 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) in z 7.454 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))) in z 7.454 * [taylor]: Taking taylor expansion of +nan.0 in z 7.454 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.454 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow (- 1 z) 6)) in z 7.454 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.454 * [taylor]: Taking taylor expansion of z in z 7.454 * [backup-simplify]: Simplify 0 into 0 7.454 * [backup-simplify]: Simplify 1 into 1 7.454 * [taylor]: Taking taylor expansion of (pow (- 1 z) 6) in z 7.454 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.454 * [taylor]: Taking taylor expansion of 1 in z 7.454 * [backup-simplify]: Simplify 1 into 1 7.454 * [taylor]: Taking taylor expansion of z in z 7.454 * [backup-simplify]: Simplify 0 into 0 7.454 * [backup-simplify]: Simplify 1 into 1 7.455 * [backup-simplify]: Simplify (- 0) into 0 7.455 * [backup-simplify]: Simplify (+ 1 0) into 1 7.455 * [backup-simplify]: Simplify (* 1 1) into 1 7.458 * [backup-simplify]: Simplify (* 1 1) into 1 7.459 * [backup-simplify]: Simplify (* 1 1) into 1 7.460 * [backup-simplify]: Simplify (* 1 1) into 1 7.460 * [backup-simplify]: Simplify (/ 1 1) into 1 7.461 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.461 * [backup-simplify]: Simplify (- 0) into 0 7.462 * [backup-simplify]: Simplify (+ 0 0) into 0 7.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 z)) (/ 0 (- 1 z))))) into 0 7.463 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 2)) 7.463 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (- 1 z)) 0) (* (/ +nan.0 (pow (- 1 z) 2)) z))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 7.464 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (pow (- 1 z) 2))))) (+ (* 0 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 7.464 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (pow (- 1 z) 2)))) in z 7.464 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (pow (- 1 z) 2))) in z 7.464 * [taylor]: Taking taylor expansion of +nan.0 in z 7.464 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.464 * [taylor]: Taking taylor expansion of (/ z (pow (- 1 z) 2)) in z 7.464 * [taylor]: Taking taylor expansion of z in z 7.465 * [backup-simplify]: Simplify 0 into 0 7.465 * [backup-simplify]: Simplify 1 into 1 7.465 * [taylor]: Taking taylor expansion of (pow (- 1 z) 2) in z 7.465 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.465 * [taylor]: Taking taylor expansion of 1 in z 7.465 * [backup-simplify]: Simplify 1 into 1 7.465 * [taylor]: Taking taylor expansion of z in z 7.465 * [backup-simplify]: Simplify 0 into 0 7.465 * [backup-simplify]: Simplify 1 into 1 7.465 * [backup-simplify]: Simplify (- 0) into 0 7.466 * [backup-simplify]: Simplify (+ 1 0) into 1 7.466 * [backup-simplify]: Simplify (* 1 1) into 1 7.466 * [backup-simplify]: Simplify (/ 1 1) into 1 7.467 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.468 * [backup-simplify]: Simplify (- 0) into 0 7.468 * [backup-simplify]: Simplify (+ 0 0) into 0 7.469 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) 7.469 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) in z 7.469 * [taylor]: Taking taylor expansion of +nan.0 in z 7.469 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.469 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0)))) in z 7.469 * [taylor]: Taking taylor expansion of (* +nan.0 (pow z 2)) in z 7.469 * [taylor]: Taking taylor expansion of +nan.0 in z 7.469 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.469 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.469 * [taylor]: Taking taylor expansion of z in z 7.469 * [backup-simplify]: Simplify 0 into 0 7.469 * [backup-simplify]: Simplify 1 into 1 7.469 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 z) (- +nan.0))) in z 7.469 * [taylor]: Taking taylor expansion of (+ (* +nan.0 z) (- +nan.0)) in z 7.469 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 7.469 * [taylor]: Taking taylor expansion of +nan.0 in z 7.469 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.469 * [taylor]: Taking taylor expansion of z in z 7.469 * [backup-simplify]: Simplify 0 into 0 7.469 * [backup-simplify]: Simplify 1 into 1 7.470 * [taylor]: Taking taylor expansion of (- +nan.0) in z 7.470 * [taylor]: Taking taylor expansion of +nan.0 in z 7.470 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.470 * [backup-simplify]: Simplify (* +nan.0 0) into 0 7.470 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.471 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.472 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 7.473 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.474 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 7.474 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.474 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.475 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.475 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.476 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* z (* 1 y))) (+ (* +nan.0 (pow (* 1 (* x 1)) 2)) (* +nan.0 (* 1 (* x 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) 7.476 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) into (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) 7.476 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in (y x z) around 0 7.476 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in z 7.476 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 7.476 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 7.476 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 7.476 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.476 * [taylor]: Taking taylor expansion of y in z 7.476 * [backup-simplify]: Simplify y into y 7.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.477 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.477 * [taylor]: Taking taylor expansion of x in z 7.477 * [backup-simplify]: Simplify x into x 7.477 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.477 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.477 * [taylor]: Taking taylor expansion of z in z 7.477 * [backup-simplify]: Simplify 0 into 0 7.477 * [backup-simplify]: Simplify 1 into 1 7.477 * [backup-simplify]: Simplify (/ 1 1) into 1 7.477 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.477 * [taylor]: Taking taylor expansion of x in z 7.477 * [backup-simplify]: Simplify x into x 7.477 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.477 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.478 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 7.478 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 x)) 1) into (- (/ 1 y) (/ 1 x)) 7.478 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 7.478 * [backup-simplify]: Simplify (sqrt 0) into 0 7.479 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 7.479 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in x 7.479 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 7.479 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.479 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 7.479 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.479 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.479 * [taylor]: Taking taylor expansion of y in x 7.479 * [backup-simplify]: Simplify y into y 7.479 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.479 * [taylor]: Taking taylor expansion of x in x 7.479 * [backup-simplify]: Simplify 0 into 0 7.479 * [backup-simplify]: Simplify 1 into 1 7.480 * [backup-simplify]: Simplify (/ 1 1) into 1 7.480 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.480 * [taylor]: Taking taylor expansion of z in x 7.480 * [backup-simplify]: Simplify z into z 7.480 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.480 * [taylor]: Taking taylor expansion of x in x 7.480 * [backup-simplify]: Simplify 0 into 0 7.480 * [backup-simplify]: Simplify 1 into 1 7.481 * [backup-simplify]: Simplify (/ 1 1) into 1 7.481 * [backup-simplify]: Simplify (- 1) into -1 7.481 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.481 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 7.481 * [backup-simplify]: Simplify (+ (/ -1 z) 1) into (- 1 (/ 1 z)) 7.482 * [backup-simplify]: Simplify (sqrt 0) into 0 7.482 * [backup-simplify]: Simplify (/ (- 1 (/ 1 z)) (* 2 (sqrt 0))) into (* +nan.0 (- 1 (/ 1 z))) 7.482 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 7.483 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.483 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.483 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.483 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.483 * [taylor]: Taking taylor expansion of y in y 7.483 * [backup-simplify]: Simplify 0 into 0 7.483 * [backup-simplify]: Simplify 1 into 1 7.483 * [backup-simplify]: Simplify (/ 1 1) into 1 7.483 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.483 * [taylor]: Taking taylor expansion of x in y 7.483 * [backup-simplify]: Simplify x into x 7.483 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.483 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.483 * [taylor]: Taking taylor expansion of z in y 7.484 * [backup-simplify]: Simplify z into z 7.484 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.484 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.484 * [taylor]: Taking taylor expansion of x in y 7.484 * [backup-simplify]: Simplify x into x 7.484 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.484 * [backup-simplify]: Simplify (+ 1 0) into 1 7.484 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 7.484 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.485 * [backup-simplify]: Simplify (sqrt 0) into 0 7.485 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.485 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 7.485 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.486 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.486 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.486 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.486 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.486 * [taylor]: Taking taylor expansion of y in y 7.486 * [backup-simplify]: Simplify 0 into 0 7.486 * [backup-simplify]: Simplify 1 into 1 7.486 * [backup-simplify]: Simplify (/ 1 1) into 1 7.486 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.486 * [taylor]: Taking taylor expansion of x in y 7.486 * [backup-simplify]: Simplify x into x 7.486 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.486 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.486 * [taylor]: Taking taylor expansion of z in y 7.486 * [backup-simplify]: Simplify z into z 7.486 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.486 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.486 * [taylor]: Taking taylor expansion of x in y 7.487 * [backup-simplify]: Simplify x into x 7.487 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.487 * [backup-simplify]: Simplify (+ 1 0) into 1 7.487 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 7.487 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.488 * [backup-simplify]: Simplify (sqrt 0) into 0 7.488 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.488 * [taylor]: Taking taylor expansion of 0 in x 7.488 * [backup-simplify]: Simplify 0 into 0 7.488 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 7.488 * [taylor]: Taking taylor expansion of +nan.0 in x 7.488 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.488 * [taylor]: Taking taylor expansion of z in x 7.488 * [backup-simplify]: Simplify z into z 7.488 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 7.489 * [taylor]: Taking taylor expansion of 0 in z 7.489 * [backup-simplify]: Simplify 0 into 0 7.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.490 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.490 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 7.490 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 7.490 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 7.491 * [backup-simplify]: Simplify (/ (- (- (/ 1 x) (/ 1 (* x z))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) 7.492 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) in x 7.492 * [taylor]: Taking taylor expansion of +nan.0 in x 7.492 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.492 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2)))))) in x 7.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.492 * [taylor]: Taking taylor expansion of x in x 7.492 * [backup-simplify]: Simplify 0 into 0 7.492 * [backup-simplify]: Simplify 1 into 1 7.492 * [backup-simplify]: Simplify (/ 1 1) into 1 7.492 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))) in x 7.492 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.492 * [taylor]: Taking taylor expansion of (* x z) in x 7.492 * [taylor]: Taking taylor expansion of x in x 7.492 * [backup-simplify]: Simplify 0 into 0 7.492 * [backup-simplify]: Simplify 1 into 1 7.492 * [taylor]: Taking taylor expansion of z in x 7.492 * [backup-simplify]: Simplify z into z 7.492 * [backup-simplify]: Simplify (* 0 z) into 0 7.493 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.493 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.493 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in x 7.493 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 7.493 * [taylor]: Taking taylor expansion of +nan.0 in x 7.493 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.493 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 7.493 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.493 * [taylor]: Taking taylor expansion of z in x 7.493 * [backup-simplify]: Simplify z into z 7.493 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.493 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.493 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.493 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 7.493 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 7.493 * [backup-simplify]: Simplify (* +nan.0 (- 1 (/ 1 z))) into (* +nan.0 (- 1 (/ 1 z))) 7.493 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 z))) in z 7.493 * [taylor]: Taking taylor expansion of +nan.0 in z 7.493 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.493 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 7.493 * [taylor]: Taking taylor expansion of 1 in z 7.493 * [backup-simplify]: Simplify 1 into 1 7.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.494 * [taylor]: Taking taylor expansion of z in z 7.494 * [backup-simplify]: Simplify 0 into 0 7.494 * [backup-simplify]: Simplify 1 into 1 7.494 * [backup-simplify]: Simplify (/ 1 1) into 1 7.494 * [backup-simplify]: Simplify (- 1) into -1 7.494 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.495 * [backup-simplify]: Simplify (* +nan.0 -1) into +nan.0 7.495 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.495 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 7.495 * [taylor]: Taking taylor expansion of +nan.0 in z 7.495 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.495 * [taylor]: Taking taylor expansion of z in z 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify 1 into 1 7.495 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 7.495 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.495 * [taylor]: Taking taylor expansion of 0 in z 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.496 * [backup-simplify]: Simplify (- 0) into 0 7.496 * [backup-simplify]: Simplify (+ 0 0) into 0 7.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 7.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.497 * [backup-simplify]: Simplify (+ 0 0) into 0 7.498 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 7.498 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 7.498 * [taylor]: Taking taylor expansion of +nan.0 in x 7.498 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.498 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 7.498 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 7.498 * [taylor]: Taking taylor expansion of +nan.0 in x 7.498 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.498 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 7.498 * [taylor]: Taking taylor expansion of (pow z 3) in x 7.498 * [taylor]: Taking taylor expansion of z in x 7.498 * [backup-simplify]: Simplify z into z 7.499 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.499 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 7.499 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 7.499 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 7.499 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 7.499 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 7.499 * [taylor]: Taking taylor expansion of +nan.0 in x 7.499 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.499 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.499 * [taylor]: Taking taylor expansion of (* x z) in x 7.499 * [taylor]: Taking taylor expansion of x in x 7.499 * [backup-simplify]: Simplify 0 into 0 7.499 * [backup-simplify]: Simplify 1 into 1 7.499 * [taylor]: Taking taylor expansion of z in x 7.499 * [backup-simplify]: Simplify z into z 7.499 * [backup-simplify]: Simplify (* 0 z) into 0 7.499 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.499 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.499 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 7.499 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 7.499 * [taylor]: Taking taylor expansion of +nan.0 in x 7.499 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.499 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 7.499 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 7.499 * [taylor]: Taking taylor expansion of x in x 7.499 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.500 * [taylor]: Taking taylor expansion of z in x 7.500 * [backup-simplify]: Simplify z into z 7.500 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.500 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 7.500 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 7.500 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 7.500 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.500 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 7.500 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 7.500 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 7.501 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.501 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.501 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.501 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.501 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 7.501 * [taylor]: Taking taylor expansion of +nan.0 in z 7.501 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.501 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 7.501 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 7.501 * [taylor]: Taking taylor expansion of +nan.0 in z 7.501 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.501 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.501 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.501 * [taylor]: Taking taylor expansion of z in z 7.501 * [backup-simplify]: Simplify 0 into 0 7.501 * [backup-simplify]: Simplify 1 into 1 7.502 * [backup-simplify]: Simplify (* 1 1) into 1 7.502 * [backup-simplify]: Simplify (/ 1 1) into 1 7.502 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 7.502 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 7.502 * [taylor]: Taking taylor expansion of +nan.0 in z 7.502 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.502 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.502 * [taylor]: Taking taylor expansion of z in z 7.502 * [backup-simplify]: Simplify 0 into 0 7.502 * [backup-simplify]: Simplify 1 into 1 7.502 * [backup-simplify]: Simplify (/ 1 1) into 1 7.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.504 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 7.504 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.505 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.505 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.505 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.506 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 7.507 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 7.507 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.508 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (pow (/ 1 y) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 z)) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (/ 1 y)))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 7.508 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x)))) into (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) 7.508 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in (y x z) around 0 7.508 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in z 7.508 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 7.508 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.508 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 7.508 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 7.508 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.508 * [taylor]: Taking taylor expansion of x in z 7.509 * [backup-simplify]: Simplify x into x 7.509 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.509 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.509 * [taylor]: Taking taylor expansion of y in z 7.509 * [backup-simplify]: Simplify y into y 7.509 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.509 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.509 * [taylor]: Taking taylor expansion of -1 in z 7.509 * [backup-simplify]: Simplify -1 into -1 7.509 * [taylor]: Taking taylor expansion of z in z 7.509 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify 1 into 1 7.509 * [backup-simplify]: Simplify (/ -1 1) into -1 7.509 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.509 * [taylor]: Taking taylor expansion of -1 in z 7.509 * [backup-simplify]: Simplify -1 into -1 7.509 * [taylor]: Taking taylor expansion of x in z 7.509 * [backup-simplify]: Simplify x into x 7.509 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.509 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 7.509 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 7.509 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 y)) -1) into (* -1 (- (/ 1 x) (/ 1 y))) 7.509 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 7.510 * [backup-simplify]: Simplify (sqrt 0) into 0 7.510 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 7.510 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in x 7.510 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 7.510 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.510 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 7.510 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.510 * [taylor]: Taking taylor expansion of x in x 7.510 * [backup-simplify]: Simplify 0 into 0 7.510 * [backup-simplify]: Simplify 1 into 1 7.511 * [backup-simplify]: Simplify (/ 1 1) into 1 7.511 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.511 * [taylor]: Taking taylor expansion of y in x 7.511 * [backup-simplify]: Simplify y into y 7.511 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.511 * [taylor]: Taking taylor expansion of (/ -1 z) in x 7.511 * [taylor]: Taking taylor expansion of -1 in x 7.511 * [backup-simplify]: Simplify -1 into -1 7.511 * [taylor]: Taking taylor expansion of z in x 7.511 * [backup-simplify]: Simplify z into z 7.511 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.511 * [taylor]: Taking taylor expansion of -1 in x 7.511 * [backup-simplify]: Simplify -1 into -1 7.511 * [taylor]: Taking taylor expansion of x in x 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [backup-simplify]: Simplify 1 into 1 7.511 * [backup-simplify]: Simplify (/ -1 1) into -1 7.512 * [backup-simplify]: Simplify (+ 1 0) into 1 7.512 * [backup-simplify]: Simplify (* 1 (/ -1 z)) into (/ -1 z) 7.512 * [backup-simplify]: Simplify (+ (/ -1 z) -1) into (- (+ 1 (/ 1 z))) 7.512 * [backup-simplify]: Simplify (sqrt 0) into 0 7.512 * [backup-simplify]: Simplify (/ (- (+ 1 (/ 1 z))) (* 2 (sqrt 0))) into (* +nan.0 (+ 1 (/ 1 z))) 7.512 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 7.512 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.512 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.512 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.512 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.513 * [taylor]: Taking taylor expansion of x in y 7.513 * [backup-simplify]: Simplify x into x 7.513 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.513 * [taylor]: Taking taylor expansion of y in y 7.513 * [backup-simplify]: Simplify 0 into 0 7.513 * [backup-simplify]: Simplify 1 into 1 7.513 * [backup-simplify]: Simplify (/ 1 1) into 1 7.513 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.513 * [taylor]: Taking taylor expansion of -1 in y 7.513 * [backup-simplify]: Simplify -1 into -1 7.513 * [taylor]: Taking taylor expansion of z in y 7.513 * [backup-simplify]: Simplify z into z 7.513 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.513 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.513 * [taylor]: Taking taylor expansion of -1 in y 7.513 * [backup-simplify]: Simplify -1 into -1 7.513 * [taylor]: Taking taylor expansion of x in y 7.513 * [backup-simplify]: Simplify x into x 7.513 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.513 * [backup-simplify]: Simplify (- 1) into -1 7.514 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.514 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 7.514 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.514 * [backup-simplify]: Simplify (sqrt 0) into 0 7.514 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.514 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 7.514 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.515 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.515 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.515 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.515 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.515 * [taylor]: Taking taylor expansion of x in y 7.515 * [backup-simplify]: Simplify x into x 7.515 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.515 * [taylor]: Taking taylor expansion of y in y 7.515 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify 1 into 1 7.515 * [backup-simplify]: Simplify (/ 1 1) into 1 7.515 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.515 * [taylor]: Taking taylor expansion of -1 in y 7.515 * [backup-simplify]: Simplify -1 into -1 7.515 * [taylor]: Taking taylor expansion of z in y 7.515 * [backup-simplify]: Simplify z into z 7.515 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.515 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.515 * [taylor]: Taking taylor expansion of -1 in y 7.515 * [backup-simplify]: Simplify -1 into -1 7.515 * [taylor]: Taking taylor expansion of x in y 7.515 * [backup-simplify]: Simplify x into x 7.515 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.515 * [backup-simplify]: Simplify (- 1) into -1 7.516 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.516 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 7.516 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.516 * [backup-simplify]: Simplify (sqrt 0) into 0 7.516 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 7.517 * [taylor]: Taking taylor expansion of 0 in x 7.517 * [backup-simplify]: Simplify 0 into 0 7.517 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 7.517 * [taylor]: Taking taylor expansion of +nan.0 in x 7.517 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.517 * [taylor]: Taking taylor expansion of z in x 7.517 * [backup-simplify]: Simplify z into z 7.517 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 7.517 * [taylor]: Taking taylor expansion of 0 in z 7.517 * [backup-simplify]: Simplify 0 into 0 7.517 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 7.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.518 * [backup-simplify]: Simplify (- 0) into 0 7.518 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 7.518 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 7.518 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 7.519 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 (* x z)) (/ 1 x))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) 7.519 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) in x 7.519 * [taylor]: Taking taylor expansion of +nan.0 in x 7.519 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2))))) in x 7.519 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.519 * [taylor]: Taking taylor expansion of (* x z) in x 7.519 * [taylor]: Taking taylor expansion of x in x 7.519 * [backup-simplify]: Simplify 0 into 0 7.519 * [backup-simplify]: Simplify 1 into 1 7.519 * [taylor]: Taking taylor expansion of z in x 7.519 * [backup-simplify]: Simplify z into z 7.519 * [backup-simplify]: Simplify (* 0 z) into 0 7.519 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.519 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.519 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))) in x 7.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.519 * [taylor]: Taking taylor expansion of x in x 7.519 * [backup-simplify]: Simplify 0 into 0 7.519 * [backup-simplify]: Simplify 1 into 1 7.520 * [backup-simplify]: Simplify (/ 1 1) into 1 7.520 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 7.520 * [taylor]: Taking taylor expansion of +nan.0 in x 7.520 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.520 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 7.520 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.520 * [taylor]: Taking taylor expansion of z in x 7.520 * [backup-simplify]: Simplify z into z 7.520 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.520 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.520 * [backup-simplify]: Simplify (+ 1 0) into 1 7.520 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 7.520 * [backup-simplify]: Simplify (* +nan.0 (+ 1 (/ 1 z))) into (* +nan.0 (+ 1 (/ 1 z))) 7.520 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1 (/ 1 z))) in z 7.520 * [taylor]: Taking taylor expansion of +nan.0 in z 7.520 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.520 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 7.520 * [taylor]: Taking taylor expansion of 1 in z 7.520 * [backup-simplify]: Simplify 1 into 1 7.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.521 * [taylor]: Taking taylor expansion of z in z 7.521 * [backup-simplify]: Simplify 0 into 0 7.521 * [backup-simplify]: Simplify 1 into 1 7.521 * [backup-simplify]: Simplify (/ 1 1) into 1 7.521 * [backup-simplify]: Simplify (+ 0 1) into 1 7.522 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.522 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.522 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 7.522 * [taylor]: Taking taylor expansion of +nan.0 in z 7.522 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.522 * [taylor]: Taking taylor expansion of z in z 7.522 * [backup-simplify]: Simplify 0 into 0 7.522 * [backup-simplify]: Simplify 1 into 1 7.522 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 7.522 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.523 * [taylor]: Taking taylor expansion of 0 in z 7.523 * [backup-simplify]: Simplify 0 into 0 7.523 * [backup-simplify]: Simplify 0 into 0 7.523 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.524 * [backup-simplify]: Simplify (- 0) into 0 7.524 * [backup-simplify]: Simplify (+ 0 0) into 0 7.525 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 7.525 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.525 * [backup-simplify]: Simplify (+ 0 0) into 0 7.527 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 7.527 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 7.527 * [taylor]: Taking taylor expansion of +nan.0 in x 7.527 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.527 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 7.527 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 7.527 * [taylor]: Taking taylor expansion of +nan.0 in x 7.527 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.527 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 7.527 * [taylor]: Taking taylor expansion of (pow z 3) in x 7.527 * [taylor]: Taking taylor expansion of z in x 7.527 * [backup-simplify]: Simplify z into z 7.527 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.527 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 7.527 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 7.527 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 7.527 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 7.527 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 7.527 * [taylor]: Taking taylor expansion of +nan.0 in x 7.527 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.527 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.527 * [taylor]: Taking taylor expansion of (* x z) in x 7.527 * [taylor]: Taking taylor expansion of x in x 7.528 * [backup-simplify]: Simplify 0 into 0 7.528 * [backup-simplify]: Simplify 1 into 1 7.528 * [taylor]: Taking taylor expansion of z in x 7.528 * [backup-simplify]: Simplify z into z 7.528 * [backup-simplify]: Simplify (* 0 z) into 0 7.528 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.528 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.528 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 7.528 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 7.528 * [taylor]: Taking taylor expansion of +nan.0 in x 7.528 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.528 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 7.528 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 7.528 * [taylor]: Taking taylor expansion of x in x 7.528 * [backup-simplify]: Simplify 0 into 0 7.528 * [backup-simplify]: Simplify 1 into 1 7.528 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.528 * [taylor]: Taking taylor expansion of z in x 7.528 * [backup-simplify]: Simplify z into z 7.529 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.529 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 7.529 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 7.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 7.529 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.530 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 7.530 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 7.530 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 7.530 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.530 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.531 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.531 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 7.531 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 7.531 * [taylor]: Taking taylor expansion of +nan.0 in z 7.531 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.531 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 7.531 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 7.531 * [taylor]: Taking taylor expansion of +nan.0 in z 7.531 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.531 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.531 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.531 * [taylor]: Taking taylor expansion of z in z 7.531 * [backup-simplify]: Simplify 0 into 0 7.531 * [backup-simplify]: Simplify 1 into 1 7.532 * [backup-simplify]: Simplify (* 1 1) into 1 7.532 * [backup-simplify]: Simplify (/ 1 1) into 1 7.532 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 7.532 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 7.532 * [taylor]: Taking taylor expansion of +nan.0 in z 7.532 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.533 * [taylor]: Taking taylor expansion of z in z 7.533 * [backup-simplify]: Simplify 0 into 0 7.533 * [backup-simplify]: Simplify 1 into 1 7.533 * [backup-simplify]: Simplify (/ 1 1) into 1 7.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.535 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 7.536 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.536 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.537 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 7.537 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 7.538 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 7.540 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 7.540 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.542 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (pow (/ 1 (- y)) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 (- z))) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 7.542 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 7.542 * [backup-simplify]: Simplify (fma (- y x) z x) into (fma (- y x) z x) 7.542 * [approximate]: Taking taylor expansion of (fma (- y x) z x) in (y x z) around 0 7.542 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 7.542 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.542 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 7.542 * [taylor]: Taking taylor expansion of (- y x) in z 7.542 * [taylor]: Taking taylor expansion of y in z 7.542 * [backup-simplify]: Simplify y into y 7.542 * [taylor]: Taking taylor expansion of x in z 7.542 * [backup-simplify]: Simplify x into x 7.542 * [taylor]: Taking taylor expansion of z in z 7.542 * [backup-simplify]: Simplify 0 into 0 7.542 * [backup-simplify]: Simplify 1 into 1 7.542 * [taylor]: Taking taylor expansion of x in z 7.542 * [backup-simplify]: Simplify x into x 7.542 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 7.542 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.542 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 7.542 * [taylor]: Taking taylor expansion of (- y x) in x 7.542 * [taylor]: Taking taylor expansion of y in x 7.543 * [backup-simplify]: Simplify y into y 7.543 * [taylor]: Taking taylor expansion of x in x 7.543 * [backup-simplify]: Simplify 0 into 0 7.543 * [backup-simplify]: Simplify 1 into 1 7.543 * [taylor]: Taking taylor expansion of z in x 7.543 * [backup-simplify]: Simplify z into z 7.543 * [taylor]: Taking taylor expansion of x in x 7.543 * [backup-simplify]: Simplify 0 into 0 7.543 * [backup-simplify]: Simplify 1 into 1 7.543 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.543 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.543 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.543 * [taylor]: Taking taylor expansion of (- y x) in y 7.543 * [taylor]: Taking taylor expansion of y in y 7.543 * [backup-simplify]: Simplify 0 into 0 7.543 * [backup-simplify]: Simplify 1 into 1 7.543 * [taylor]: Taking taylor expansion of x in y 7.543 * [backup-simplify]: Simplify x into x 7.543 * [taylor]: Taking taylor expansion of z in y 7.543 * [backup-simplify]: Simplify z into z 7.543 * [taylor]: Taking taylor expansion of x in y 7.543 * [backup-simplify]: Simplify x into x 7.543 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 7.543 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 7.543 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.543 * [taylor]: Taking taylor expansion of (- y x) in y 7.543 * [taylor]: Taking taylor expansion of y in y 7.543 * [backup-simplify]: Simplify 0 into 0 7.543 * [backup-simplify]: Simplify 1 into 1 7.543 * [taylor]: Taking taylor expansion of x in y 7.543 * [backup-simplify]: Simplify x into x 7.543 * [taylor]: Taking taylor expansion of z in y 7.543 * [backup-simplify]: Simplify z into z 7.543 * [taylor]: Taking taylor expansion of x in y 7.543 * [backup-simplify]: Simplify x into x 7.544 * [backup-simplify]: Simplify (- x) into (- x) 7.544 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 7.544 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 7.544 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 7.544 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 7.544 * [taylor]: Taking taylor expansion of x in x 7.544 * [backup-simplify]: Simplify 0 into 0 7.544 * [backup-simplify]: Simplify 1 into 1 7.544 * [taylor]: Taking taylor expansion of (* x z) in x 7.544 * [taylor]: Taking taylor expansion of x in x 7.544 * [backup-simplify]: Simplify 0 into 0 7.544 * [backup-simplify]: Simplify 1 into 1 7.544 * [taylor]: Taking taylor expansion of z in x 7.544 * [backup-simplify]: Simplify z into z 7.544 * [backup-simplify]: Simplify (* 0 z) into 0 7.545 * [backup-simplify]: Simplify (- 0) into 0 7.545 * [backup-simplify]: Simplify (+ 0 0) into 0 7.545 * [taylor]: Taking taylor expansion of 0 in z 7.545 * [backup-simplify]: Simplify 0 into 0 7.545 * [backup-simplify]: Simplify 0 into 0 7.545 * [backup-simplify]: Simplify (- 0) into 0 7.546 * [backup-simplify]: Simplify (+ 1 0) into 1 7.546 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 7.546 * [backup-simplify]: Simplify (+ z 0) into z 7.546 * [taylor]: Taking taylor expansion of z in x 7.546 * [backup-simplify]: Simplify z into z 7.546 * [taylor]: Taking taylor expansion of z in z 7.546 * [backup-simplify]: Simplify 0 into 0 7.546 * [backup-simplify]: Simplify 1 into 1 7.546 * [backup-simplify]: Simplify 0 into 0 7.546 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.547 * [backup-simplify]: Simplify (- z) into (- z) 7.547 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 7.547 * [taylor]: Taking taylor expansion of (- 1 z) in z 7.547 * [taylor]: Taking taylor expansion of 1 in z 7.547 * [backup-simplify]: Simplify 1 into 1 7.547 * [taylor]: Taking taylor expansion of z in z 7.547 * [backup-simplify]: Simplify 0 into 0 7.547 * [backup-simplify]: Simplify 1 into 1 7.547 * [backup-simplify]: Simplify (- 0) into 0 7.547 * [backup-simplify]: Simplify (+ 1 0) into 1 7.548 * [backup-simplify]: Simplify 1 into 1 7.548 * [backup-simplify]: Simplify 0 into 0 7.548 * [backup-simplify]: Simplify (- 0) into 0 7.548 * [backup-simplify]: Simplify (+ 0 0) into 0 7.549 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 7.549 * [backup-simplify]: Simplify (+ 0 0) into 0 7.549 * [taylor]: Taking taylor expansion of 0 in x 7.549 * [backup-simplify]: Simplify 0 into 0 7.549 * [taylor]: Taking taylor expansion of 0 in z 7.549 * [backup-simplify]: Simplify 0 into 0 7.549 * [backup-simplify]: Simplify 0 into 0 7.549 * [taylor]: Taking taylor expansion of 0 in z 7.549 * [backup-simplify]: Simplify 0 into 0 7.549 * [backup-simplify]: Simplify 0 into 0 7.550 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.550 * [backup-simplify]: Simplify (- 0) into 0 7.551 * [backup-simplify]: Simplify (+ 0 0) into 0 7.551 * [taylor]: Taking taylor expansion of 0 in z 7.551 * [backup-simplify]: Simplify 0 into 0 7.551 * [backup-simplify]: Simplify 0 into 0 7.551 * [backup-simplify]: Simplify 1 into 1 7.551 * [backup-simplify]: Simplify (- 1) into -1 7.552 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.552 * [backup-simplify]: Simplify -1 into -1 7.552 * [backup-simplify]: Simplify (+ (* -1 (* z (* x 1))) (+ (* 1 (* z (* 1 y))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x z)) 7.552 * [backup-simplify]: Simplify (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) into (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) 7.552 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in (y x z) around 0 7.552 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 7.552 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.552 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 7.552 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 7.552 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.552 * [taylor]: Taking taylor expansion of y in z 7.553 * [backup-simplify]: Simplify y into y 7.553 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.553 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.553 * [taylor]: Taking taylor expansion of x in z 7.553 * [backup-simplify]: Simplify x into x 7.553 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.553 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.553 * [taylor]: Taking taylor expansion of z in z 7.553 * [backup-simplify]: Simplify 0 into 0 7.553 * [backup-simplify]: Simplify 1 into 1 7.553 * [backup-simplify]: Simplify (/ 1 1) into 1 7.553 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.553 * [taylor]: Taking taylor expansion of x in z 7.553 * [backup-simplify]: Simplify x into x 7.553 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.553 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 7.553 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.553 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 7.554 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.554 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.554 * [taylor]: Taking taylor expansion of y in x 7.554 * [backup-simplify]: Simplify y into y 7.554 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.554 * [taylor]: Taking taylor expansion of x in x 7.554 * [backup-simplify]: Simplify 0 into 0 7.554 * [backup-simplify]: Simplify 1 into 1 7.554 * [backup-simplify]: Simplify (/ 1 1) into 1 7.554 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.554 * [taylor]: Taking taylor expansion of z in x 7.554 * [backup-simplify]: Simplify z into z 7.554 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.555 * [taylor]: Taking taylor expansion of x in x 7.555 * [backup-simplify]: Simplify 0 into 0 7.555 * [backup-simplify]: Simplify 1 into 1 7.555 * [backup-simplify]: Simplify (/ 1 1) into 1 7.555 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.555 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.555 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.555 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.555 * [taylor]: Taking taylor expansion of y in y 7.555 * [backup-simplify]: Simplify 0 into 0 7.555 * [backup-simplify]: Simplify 1 into 1 7.556 * [backup-simplify]: Simplify (/ 1 1) into 1 7.556 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.556 * [taylor]: Taking taylor expansion of x in y 7.556 * [backup-simplify]: Simplify x into x 7.556 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.556 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.556 * [taylor]: Taking taylor expansion of z in y 7.556 * [backup-simplify]: Simplify z into z 7.556 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.556 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.556 * [taylor]: Taking taylor expansion of x in y 7.556 * [backup-simplify]: Simplify x into x 7.556 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.556 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 7.556 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 7.556 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 7.556 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.556 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.556 * [taylor]: Taking taylor expansion of y in y 7.556 * [backup-simplify]: Simplify 0 into 0 7.556 * [backup-simplify]: Simplify 1 into 1 7.557 * [backup-simplify]: Simplify (/ 1 1) into 1 7.557 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.557 * [taylor]: Taking taylor expansion of x in y 7.557 * [backup-simplify]: Simplify x into x 7.557 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.557 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.557 * [taylor]: Taking taylor expansion of z in y 7.557 * [backup-simplify]: Simplify z into z 7.557 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.557 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.557 * [taylor]: Taking taylor expansion of x in y 7.557 * [backup-simplify]: Simplify x into x 7.557 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.557 * [backup-simplify]: Simplify (+ 1 0) into 1 7.558 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 7.558 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.558 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.558 * [taylor]: Taking taylor expansion of z in x 7.558 * [backup-simplify]: Simplify z into z 7.558 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.559 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.559 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 7.559 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 7.559 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 7.559 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x z))) in x 7.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.559 * [taylor]: Taking taylor expansion of x in x 7.559 * [backup-simplify]: Simplify 0 into 0 7.559 * [backup-simplify]: Simplify 1 into 1 7.560 * [backup-simplify]: Simplify (/ 1 1) into 1 7.560 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.560 * [taylor]: Taking taylor expansion of (* x z) in x 7.560 * [taylor]: Taking taylor expansion of x in x 7.560 * [backup-simplify]: Simplify 0 into 0 7.560 * [backup-simplify]: Simplify 1 into 1 7.560 * [taylor]: Taking taylor expansion of z in x 7.560 * [backup-simplify]: Simplify z into z 7.560 * [backup-simplify]: Simplify (* 0 z) into 0 7.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.560 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.561 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 7.561 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 7.561 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 7.561 * [taylor]: Taking taylor expansion of 1 in z 7.561 * [backup-simplify]: Simplify 1 into 1 7.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.561 * [taylor]: Taking taylor expansion of z in z 7.561 * [backup-simplify]: Simplify 0 into 0 7.561 * [backup-simplify]: Simplify 1 into 1 7.561 * [backup-simplify]: Simplify (/ 1 1) into 1 7.561 * [backup-simplify]: Simplify (- 1) into -1 7.562 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.562 * [backup-simplify]: Simplify -1 into -1 7.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.562 * [taylor]: Taking taylor expansion of z in z 7.562 * [backup-simplify]: Simplify 0 into 0 7.562 * [backup-simplify]: Simplify 1 into 1 7.562 * [backup-simplify]: Simplify (/ 1 1) into 1 7.562 * [backup-simplify]: Simplify 1 into 1 7.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.564 * [backup-simplify]: Simplify (- 0) into 0 7.564 * [backup-simplify]: Simplify (+ 0 0) into 0 7.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 7.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.565 * [backup-simplify]: Simplify (+ 0 0) into 0 7.565 * [taylor]: Taking taylor expansion of 0 in x 7.565 * [backup-simplify]: Simplify 0 into 0 7.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.567 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.567 * [backup-simplify]: Simplify (- 0) into 0 7.568 * [backup-simplify]: Simplify (+ 0 0) into 0 7.568 * [taylor]: Taking taylor expansion of 0 in z 7.568 * [backup-simplify]: Simplify 0 into 0 7.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.568 * [taylor]: Taking taylor expansion of 0 in z 7.568 * [backup-simplify]: Simplify 0 into 0 7.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.569 * [backup-simplify]: Simplify (- 0) into 0 7.569 * [backup-simplify]: Simplify (+ 1 0) into 1 7.569 * [backup-simplify]: Simplify 1 into 1 7.570 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x z)) 7.570 * [backup-simplify]: Simplify (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) 7.570 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in (y x z) around 0 7.570 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 7.570 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.570 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 7.570 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 7.570 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.570 * [taylor]: Taking taylor expansion of x in z 7.570 * [backup-simplify]: Simplify x into x 7.570 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.570 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.570 * [taylor]: Taking taylor expansion of y in z 7.570 * [backup-simplify]: Simplify y into y 7.570 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.570 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.570 * [taylor]: Taking taylor expansion of -1 in z 7.571 * [backup-simplify]: Simplify -1 into -1 7.571 * [taylor]: Taking taylor expansion of z in z 7.571 * [backup-simplify]: Simplify 0 into 0 7.571 * [backup-simplify]: Simplify 1 into 1 7.571 * [backup-simplify]: Simplify (/ -1 1) into -1 7.571 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.571 * [taylor]: Taking taylor expansion of -1 in z 7.571 * [backup-simplify]: Simplify -1 into -1 7.571 * [taylor]: Taking taylor expansion of x in z 7.571 * [backup-simplify]: Simplify x into x 7.571 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.571 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 7.571 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.571 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 7.571 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.571 * [taylor]: Taking taylor expansion of x in x 7.571 * [backup-simplify]: Simplify 0 into 0 7.571 * [backup-simplify]: Simplify 1 into 1 7.572 * [backup-simplify]: Simplify (/ 1 1) into 1 7.572 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.572 * [taylor]: Taking taylor expansion of y in x 7.572 * [backup-simplify]: Simplify y into y 7.572 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.572 * [taylor]: Taking taylor expansion of (/ -1 z) in x 7.572 * [taylor]: Taking taylor expansion of -1 in x 7.572 * [backup-simplify]: Simplify -1 into -1 7.572 * [taylor]: Taking taylor expansion of z in x 7.572 * [backup-simplify]: Simplify z into z 7.572 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.572 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.572 * [taylor]: Taking taylor expansion of -1 in x 7.572 * [backup-simplify]: Simplify -1 into -1 7.572 * [taylor]: Taking taylor expansion of x in x 7.572 * [backup-simplify]: Simplify 0 into 0 7.572 * [backup-simplify]: Simplify 1 into 1 7.573 * [backup-simplify]: Simplify (/ -1 1) into -1 7.573 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.573 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.573 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.573 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.573 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.573 * [taylor]: Taking taylor expansion of x in y 7.573 * [backup-simplify]: Simplify x into x 7.573 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.573 * [taylor]: Taking taylor expansion of y in y 7.573 * [backup-simplify]: Simplify 0 into 0 7.573 * [backup-simplify]: Simplify 1 into 1 7.573 * [backup-simplify]: Simplify (/ 1 1) into 1 7.573 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.574 * [taylor]: Taking taylor expansion of -1 in y 7.574 * [backup-simplify]: Simplify -1 into -1 7.574 * [taylor]: Taking taylor expansion of z in y 7.574 * [backup-simplify]: Simplify z into z 7.574 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.574 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.574 * [taylor]: Taking taylor expansion of -1 in y 7.574 * [backup-simplify]: Simplify -1 into -1 7.574 * [taylor]: Taking taylor expansion of x in y 7.574 * [backup-simplify]: Simplify x into x 7.574 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.574 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 7.574 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 7.574 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 7.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.574 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.574 * [taylor]: Taking taylor expansion of x in y 7.574 * [backup-simplify]: Simplify x into x 7.574 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.574 * [taylor]: Taking taylor expansion of y in y 7.574 * [backup-simplify]: Simplify 0 into 0 7.574 * [backup-simplify]: Simplify 1 into 1 7.575 * [backup-simplify]: Simplify (/ 1 1) into 1 7.575 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.575 * [taylor]: Taking taylor expansion of -1 in y 7.575 * [backup-simplify]: Simplify -1 into -1 7.575 * [taylor]: Taking taylor expansion of z in y 7.575 * [backup-simplify]: Simplify z into z 7.575 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.575 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.575 * [taylor]: Taking taylor expansion of -1 in y 7.575 * [backup-simplify]: Simplify -1 into -1 7.575 * [taylor]: Taking taylor expansion of x in y 7.575 * [backup-simplify]: Simplify x into x 7.575 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.575 * [backup-simplify]: Simplify (- 1) into -1 7.576 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.576 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 7.576 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 7.576 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.576 * [taylor]: Taking taylor expansion of z in x 7.576 * [backup-simplify]: Simplify z into z 7.576 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.576 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 7.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.577 * [backup-simplify]: Simplify (- 0) into 0 7.577 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 7.578 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 7.578 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 7.578 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x))) in x 7.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 7.578 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.578 * [taylor]: Taking taylor expansion of (* x z) in x 7.578 * [taylor]: Taking taylor expansion of x in x 7.578 * [backup-simplify]: Simplify 0 into 0 7.578 * [backup-simplify]: Simplify 1 into 1 7.578 * [taylor]: Taking taylor expansion of z in x 7.578 * [backup-simplify]: Simplify z into z 7.578 * [backup-simplify]: Simplify (* 0 z) into 0 7.579 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 7.579 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.579 * [taylor]: Taking taylor expansion of x in x 7.579 * [backup-simplify]: Simplify 0 into 0 7.579 * [backup-simplify]: Simplify 1 into 1 7.579 * [backup-simplify]: Simplify (/ 1 1) into 1 7.579 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 7.579 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z))) 7.579 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 z))) in z 7.579 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 7.579 * [taylor]: Taking taylor expansion of 1 in z 7.579 * [backup-simplify]: Simplify 1 into 1 7.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.579 * [taylor]: Taking taylor expansion of z in z 7.579 * [backup-simplify]: Simplify 0 into 0 7.579 * [backup-simplify]: Simplify 1 into 1 7.580 * [backup-simplify]: Simplify (/ 1 1) into 1 7.580 * [backup-simplify]: Simplify (+ 0 1) into 1 7.580 * [backup-simplify]: Simplify (- 1) into -1 7.580 * [backup-simplify]: Simplify -1 into -1 7.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.581 * [taylor]: Taking taylor expansion of z in z 7.581 * [backup-simplify]: Simplify 0 into 0 7.581 * [backup-simplify]: Simplify 1 into 1 7.581 * [backup-simplify]: Simplify (/ 1 1) into 1 7.581 * [backup-simplify]: Simplify 1 into 1 7.581 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.583 * [backup-simplify]: Simplify (- 0) into 0 7.583 * [backup-simplify]: Simplify (+ 0 0) into 0 7.583 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 7.584 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.584 * [backup-simplify]: Simplify (+ 0 0) into 0 7.584 * [taylor]: Taking taylor expansion of 0 in x 7.584 * [backup-simplify]: Simplify 0 into 0 7.585 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 7.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.586 * [backup-simplify]: Simplify (+ 0 0) into 0 7.586 * [backup-simplify]: Simplify (- 0) into 0 7.586 * [taylor]: Taking taylor expansion of 0 in z 7.586 * [backup-simplify]: Simplify 0 into 0 7.587 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.587 * [taylor]: Taking taylor expansion of 0 in z 7.587 * [backup-simplify]: Simplify 0 into 0 7.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.588 * [backup-simplify]: Simplify (+ 1 0) into 1 7.588 * [backup-simplify]: Simplify (- 1) into -1 7.588 * [backup-simplify]: Simplify -1 into -1 7.588 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x z)) 7.589 * * * [progress]: simplifying candidates 7.589 * * * * [progress]: [ 1 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 2 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 3 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 4 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 5 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 6 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 7 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 8 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 9 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 10 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 11 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 12 / 107 ] simplifiying candidate # 7.589 * * * * [progress]: [ 13 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 14 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 15 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 16 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 17 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 18 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 19 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 20 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 21 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 22 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 23 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 24 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 25 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 26 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 27 / 107 ] simplifiying candidate # 7.590 * * * * [progress]: [ 28 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 29 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 30 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 31 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 32 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 33 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 34 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 35 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 36 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 37 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 38 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 39 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 40 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 41 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 42 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 43 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 44 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 45 / 107 ] simplifiying candidate # 7.591 * * * * [progress]: [ 46 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 47 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 48 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 49 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 50 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 51 / 107 ] simplifiying candidate #real (real->posit16 (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))))))> 7.592 * * * * [progress]: [ 52 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 53 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 54 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 55 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 56 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 57 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 58 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 59 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 60 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 61 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 62 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 63 / 107 ] simplifiying candidate # 7.592 * * * * [progress]: [ 64 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 65 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 66 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 67 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 68 / 107 ] simplifiying candidate #real (real->posit16 (sqrt (fma (- y x) z x))))))> 7.593 * * * * [progress]: [ 69 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 70 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 71 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 72 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 73 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 74 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 75 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 76 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 77 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 78 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 79 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 80 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 81 / 107 ] simplifiying candidate # 7.593 * * * * [progress]: [ 82 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 83 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 84 / 107 ] simplifiying candidate #real (real->posit16 (sqrt (fma (- y x) z x)))) (sqrt (fma (- y x) z x))))> 7.594 * * * * [progress]: [ 85 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 86 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 87 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 88 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 89 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 90 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 91 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 92 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 93 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 94 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 95 / 107 ] simplifiying candidate #real (real->posit16 (fma (- y x) z x))))))> 7.594 * * * * [progress]: [ 96 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 97 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 98 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 99 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 100 / 107 ] simplifiying candidate # 7.594 * * * * [progress]: [ 101 / 107 ] simplifiying candidate # 7.595 * * * * [progress]: [ 102 / 107 ] simplifiying candidate # 7.595 * * * * [progress]: [ 103 / 107 ] simplifiying candidate # 7.595 * * * * [progress]: [ 104 / 107 ] simplifiying candidate # 7.595 * * * * [progress]: [ 105 / 107 ] simplifiying candidate # 7.595 * * * * [progress]: [ 106 / 107 ] simplifiying candidate # 7.595 * * * * [progress]: [ 107 / 107 ] simplifiying candidate # 7.598 * [simplify]: Simplifying: (expm1 (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (log1p (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fma (- y x) z x) (fma (- y x) z x)) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (fma (- y x) z x) (fma (- y x) z x)) (+ 1 1) (+ (log (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x)))) (log (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (exp (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x)))) (* (cbrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (cbrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))))) (cbrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (fma (- y x) z x) (fma (- y x) z x)) (sqrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (sqrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x))))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (* (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x)))) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))))) (* (sqrt (cbrt (fma (- y x) z x))) (sqrt (cbrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* 1 1) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fma (- y x) z x)) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x))))) (* (sqrt (fma (- y x) z x)) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))))) (* (sqrt (fma (- y x) z x)) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (fma (- y x) z x)) (sqrt 1)) (* (sqrt (fma (- y x) z x)) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (fma (- y x) z x)) 1) (* (cbrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (cbrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (real->posit16 (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (expm1 (sqrt (fma (- y x) z x))) (log1p (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x))) (exp (sqrt (fma (- y x) z x))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (cbrt (sqrt (fma (- y x) z x))) (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x)))) (sqrt (cbrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt 1) (sqrt (fma (- y x) z x)) (/ 1 2) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (real->posit16 (sqrt (fma (- y x) z x))) (expm1 (sqrt (fma (- y x) z x))) (log1p (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x))) (exp (sqrt (fma (- y x) z x))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (cbrt (sqrt (fma (- y x) z x))) (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x)))) (sqrt (cbrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt 1) (sqrt (fma (- y x) z x)) (/ 1 2) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (real->posit16 (sqrt (fma (- y x) z x))) (expm1 (fma (- y x) z x)) (log1p (fma (- y x) z x)) (* (- y x) z) (log (fma (- y x) z x)) (exp (fma (- y x) z x)) (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))) (cbrt (fma (- y x) z x)) (* (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (real->posit16 (fma (- y x) z x)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) 7.601 * * [simplify]: iteration 0: 92 enodes 7.642 * * [simplify]: iteration 1: 214 enodes 7.706 * * [simplify]: iteration 2: 434 enodes 7.890 * * [simplify]: iteration 3: 1305 enodes 8.393 * * [simplify]: iteration complete: 5011 enodes 8.393 * * [simplify]: Extracting #0: cost 33 inf + 0 8.394 * * [simplify]: Extracting #1: cost 519 inf + 3 8.398 * * [simplify]: Extracting #2: cost 1470 inf + 557 8.407 * * [simplify]: Extracting #3: cost 1729 inf + 19502 8.462 * * [simplify]: Extracting #4: cost 1110 inf + 137267 8.544 * * [simplify]: Extracting #5: cost 341 inf + 366249 8.655 * * [simplify]: Extracting #6: cost 1 inf + 477356 8.768 * * [simplify]: Extracting #7: cost 0 inf + 477895 8.896 * [simplify]: Simplified to: (expm1 (fma (- y x) z x)) (log1p (fma (- y x) z x)) 1 1 2 1 1 (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x) (* (fma (- y x) z x) (fma (- y x) z x)) 2 (log (fma (- y x) z x)) (log (fma (- y x) z x)) (exp (fma (- y x) z x)) (* (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x)) (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))) (cbrt (fma (- y x) z x)) (* (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x)) (* (fma (- y x) z x) (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (* (sqrt (fma (- y x) z x)) (cbrt (sqrt (fma (- y x) z x)))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))) (cbrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) 1 (fma (- y x) z x) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) 1 (fma (- y x) z x) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) 1 2 1 (* (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (sqrt (fma (- y x) z x))) (* (sqrt (fma (- y x) z x)) (fabs (cbrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x)) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x)) (* (sqrt (fma (- y x) z x)) (cbrt (sqrt (fma (- y x) z x)))) (* (sqrt (fma (- y x) z x)) (sqrt (cbrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (fma (- y x) z x) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (fma (- y x) z x) (real->posit16 (fma (- y x) z x)) (expm1 (sqrt (fma (- y x) z x))) (log1p (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x))) (exp (sqrt (fma (- y x) z x))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (cbrt (sqrt (fma (- y x) z x))) (* (fma (- y x) z x) (sqrt (fma (- y x) z x))) (fabs (cbrt (fma (- y x) z x))) (sqrt (cbrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) 1 (sqrt (fma (- y x) z x)) 1/2 (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (real->posit16 (sqrt (fma (- y x) z x))) (expm1 (sqrt (fma (- y x) z x))) (log1p (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x))) (exp (sqrt (fma (- y x) z x))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (cbrt (sqrt (fma (- y x) z x))) (* (fma (- y x) z x) (sqrt (fma (- y x) z x))) (fabs (cbrt (fma (- y x) z x))) (sqrt (cbrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) 1 (sqrt (fma (- y x) z x)) 1/2 (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (real->posit16 (sqrt (fma (- y x) z x))) (expm1 (fma (- y x) z x)) (log1p (fma (- y x) z x)) (* (- y x) z) (log (fma (- y x) z x)) (exp (fma (- y x) z x)) (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))) (cbrt (fma (- y x) z x)) (* (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (real->posit16 (fma (- y x) z x)) (fma (- y x) z x) (fma (- y x) z x) (fma (- y x) z x) (fma +nan.0 (- x) (* +nan.0 (- (* z y) (* x x)))) (fma (/ (* z x) y) (- +nan.0) (* +nan.0 (- (/ (/ (* z x) y) y) z))) (fma (/ (* z x) y) (- +nan.0) (* +nan.0 (- (/ (/ (* z x) y) y) z))) (fma +nan.0 (- x) (* +nan.0 (- (* z y) (* x x)))) (fma (/ (* z x) y) (- +nan.0) (* +nan.0 (- (/ (/ (* z x) y) y) z))) (fma (/ (* z x) y) (- +nan.0) (* +nan.0 (- (/ (/ (* z x) y) y) z))) (fma (- y x) z x) (fma (- y x) z x) (fma (- y x) z x) 8.904 * * * [progress]: adding candidates to table 9.337 * [progress]: [Phase 3 of 3] Extracting. 9.337 * * [regime]: Finding splitpoints for: (# #) 9.337 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 9.337 * * * * [regimes]: Trying to branch on z from (# #) 9.368 * * * * [regimes]: Trying to branch on y from (# #) 9.405 * * * * [regimes]: Trying to branch on x from (# #) 9.457 * * * [regime]: Found split indices: #