1.218 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.136 * * * [progress]: [2/2] Setting up program.
0.144 * [progress]: [Phase 2 of 3] Improving.
0.148 * [simplify]: Simplifying:
  (+ x (* y (- z x)))
0.149 * * [simplify]: iteration 0: 6 enodes
0.155 * * [simplify]: iteration 1: 10 enodes
0.158 * * [simplify]: iteration 2: 19 enodes
0.164 * * [simplify]: iteration 3: 35 enodes
0.173 * * [simplify]: iteration 4: 59 enodes
0.187 * * [simplify]: iteration 5: 84 enodes
0.205 * * [simplify]: iteration 6: 98 enodes
0.246 * * [simplify]: iteration 7: 119 enodes
0.272 * * [simplify]: iteration 8: 273 enodes
0.340 * * [simplify]: iteration 9: 817 enodes
2.519 * * [simplify]: iteration 10: 3860 enodes
3.418 * * [simplify]: iteration complete: 5000 enodes
3.419 * * [simplify]: Extracting #0: cost 1 inf + 0
3.420 * * [simplify]: Extracting #1: cost 370 inf + 0
3.430 * * [simplify]: Extracting #2: cost 635 inf + 977
3.435 * * [simplify]: Extracting #3: cost 46 inf + 3118
3.439 * * [simplify]: Extracting #4: cost 0 inf + 3352
3.445 * [simplify]: Simplified to:
  (fma y (- z x) x)
3.458 * * [progress]: iteration 1 / 4
3.458 * * * [progress]: picking best candidate
3.465 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y (- z x) x))>
3.465 * * * [progress]: localizing error
3.481 * * * [progress]: generating rewritten candidates
3.481 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.487 * * * [progress]: generating series expansions
3.487 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.492 * [backup-simplify]: Simplify (fma y (- z x) x) into (fma y (- z x) x)
3.492 * [approximate]: Taking taylor expansion of (fma y (- z x) x) in (y z x) around 0
3.494 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in x
3.496 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
3.496 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
3.496 * [taylor]: Taking taylor expansion of y in x
3.496 * [backup-simplify]: Simplify y into y
3.496 * [taylor]: Taking taylor expansion of (- z x) in x
3.496 * [taylor]: Taking taylor expansion of z in x
3.496 * [backup-simplify]: Simplify z into z
3.496 * [taylor]: Taking taylor expansion of x in x
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify 1 into 1
3.496 * [taylor]: Taking taylor expansion of x in x
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify 1 into 1
3.496 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in z
3.497 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
3.497 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
3.497 * [taylor]: Taking taylor expansion of y in z
3.497 * [backup-simplify]: Simplify y into y
3.497 * [taylor]: Taking taylor expansion of (- z x) in z
3.497 * [taylor]: Taking taylor expansion of z in z
3.497 * [backup-simplify]: Simplify 0 into 0
3.497 * [backup-simplify]: Simplify 1 into 1
3.497 * [taylor]: Taking taylor expansion of x in z
3.497 * [backup-simplify]: Simplify x into x
3.497 * [taylor]: Taking taylor expansion of x in z
3.497 * [backup-simplify]: Simplify x into x
3.497 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
3.497 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
3.497 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
3.497 * [taylor]: Taking taylor expansion of y in y
3.497 * [backup-simplify]: Simplify 0 into 0
3.497 * [backup-simplify]: Simplify 1 into 1
3.497 * [taylor]: Taking taylor expansion of (- z x) in y
3.497 * [taylor]: Taking taylor expansion of z in y
3.497 * [backup-simplify]: Simplify z into z
3.497 * [taylor]: Taking taylor expansion of x in y
3.497 * [backup-simplify]: Simplify x into x
3.497 * [taylor]: Taking taylor expansion of x in y
3.497 * [backup-simplify]: Simplify x into x
3.497 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
3.498 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
3.498 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
3.498 * [taylor]: Taking taylor expansion of y in y
3.498 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify 1 into 1
3.498 * [taylor]: Taking taylor expansion of (- z x) in y
3.498 * [taylor]: Taking taylor expansion of z in y
3.498 * [backup-simplify]: Simplify z into z
3.498 * [taylor]: Taking taylor expansion of x in y
3.498 * [backup-simplify]: Simplify x into x
3.498 * [taylor]: Taking taylor expansion of x in y
3.498 * [backup-simplify]: Simplify x into x
3.499 * [backup-simplify]: Simplify (- x) into (- x)
3.499 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
3.500 * [backup-simplify]: Simplify (* 0 (- z x)) into 0
3.500 * [backup-simplify]: Simplify (+ 0 x) into x
3.500 * [taylor]: Taking taylor expansion of x in z
3.500 * [backup-simplify]: Simplify x into x
3.500 * [taylor]: Taking taylor expansion of x in x
3.500 * [backup-simplify]: Simplify 0 into 0
3.500 * [backup-simplify]: Simplify 1 into 1
3.500 * [backup-simplify]: Simplify 0 into 0
3.501 * [backup-simplify]: Simplify (- 0) into 0
3.501 * [backup-simplify]: Simplify (+ 0 0) into 0
3.502 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z x))) into (- z x)
3.502 * [backup-simplify]: Simplify (+ (- z x) 0) into (- z x)
3.502 * [taylor]: Taking taylor expansion of (- z x) in z
3.502 * [taylor]: Taking taylor expansion of z in z
3.502 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify 1 into 1
3.502 * [taylor]: Taking taylor expansion of x in z
3.502 * [backup-simplify]: Simplify x into x
3.502 * [backup-simplify]: Simplify (- x) into (- x)
3.502 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
3.502 * [taylor]: Taking taylor expansion of (- x) in x
3.502 * [taylor]: Taking taylor expansion of x in x
3.502 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify 1 into 1
3.502 * [backup-simplify]: Simplify (- 0) into 0
3.502 * [backup-simplify]: Simplify 0 into 0
3.502 * [taylor]: Taking taylor expansion of 0 in x
3.502 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify 1 into 1
3.503 * [backup-simplify]: Simplify (- 0) into 0
3.503 * [backup-simplify]: Simplify (+ 0 0) into 0
3.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- z x)))) into 0
3.504 * [backup-simplify]: Simplify (+ 0 0) into 0
3.504 * [taylor]: Taking taylor expansion of 0 in z
3.504 * [backup-simplify]: Simplify 0 into 0
3.504 * [taylor]: Taking taylor expansion of 0 in x
3.504 * [backup-simplify]: Simplify 0 into 0
3.504 * [backup-simplify]: Simplify 0 into 0
3.504 * [backup-simplify]: Simplify (- 0) into 0
3.505 * [backup-simplify]: Simplify (+ 1 0) into 1
3.505 * [taylor]: Taking taylor expansion of 1 in x
3.505 * [backup-simplify]: Simplify 1 into 1
3.505 * [backup-simplify]: Simplify 1 into 1
3.505 * [taylor]: Taking taylor expansion of 0 in x
3.505 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify (- 1) into -1
3.505 * [backup-simplify]: Simplify -1 into -1
3.506 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (+ (* 1 (* 1 (* z y))) (* 1 (* x (* 1 1))))) into (- (+ x (* z y)) (* x y))
3.506 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) into (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x))
3.506 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y z x) around 0
3.506 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x
3.506 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
3.506 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in x
3.506 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.506 * [taylor]: Taking taylor expansion of y in x
3.506 * [backup-simplify]: Simplify y into y
3.507 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.507 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.507 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.507 * [taylor]: Taking taylor expansion of z in x
3.507 * [backup-simplify]: Simplify z into z
3.507 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.507 * [taylor]: Taking taylor expansion of x in x
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify 1 into 1
3.507 * [backup-simplify]: Simplify (/ 1 1) into 1
3.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.507 * [taylor]: Taking taylor expansion of x in x
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify 1 into 1
3.507 * [backup-simplify]: Simplify (/ 1 1) into 1
3.507 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z
3.507 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
3.507 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in z
3.507 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.507 * [taylor]: Taking taylor expansion of y in z
3.508 * [backup-simplify]: Simplify y into y
3.508 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.508 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.508 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.508 * [taylor]: Taking taylor expansion of z in z
3.508 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify 1 into 1
3.508 * [backup-simplify]: Simplify (/ 1 1) into 1
3.508 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.508 * [taylor]: Taking taylor expansion of x in z
3.508 * [backup-simplify]: Simplify x into x
3.508 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.508 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.508 * [taylor]: Taking taylor expansion of x in z
3.508 * [backup-simplify]: Simplify x into x
3.508 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.508 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
3.508 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
3.508 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
3.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.508 * [taylor]: Taking taylor expansion of y in y
3.508 * [backup-simplify]: Simplify 0 into 0
3.509 * [backup-simplify]: Simplify 1 into 1
3.509 * [backup-simplify]: Simplify (/ 1 1) into 1
3.509 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
3.509 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.509 * [taylor]: Taking taylor expansion of z in y
3.509 * [backup-simplify]: Simplify z into z
3.509 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.509 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.509 * [taylor]: Taking taylor expansion of x in y
3.509 * [backup-simplify]: Simplify x into x
3.509 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.509 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.509 * [taylor]: Taking taylor expansion of x in y
3.509 * [backup-simplify]: Simplify x into x
3.509 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.509 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
3.509 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
3.509 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
3.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.509 * [taylor]: Taking taylor expansion of y in y
3.509 * [backup-simplify]: Simplify 0 into 0
3.509 * [backup-simplify]: Simplify 1 into 1
3.510 * [backup-simplify]: Simplify (/ 1 1) into 1
3.510 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
3.510 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.510 * [taylor]: Taking taylor expansion of z in y
3.510 * [backup-simplify]: Simplify z into z
3.510 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.510 * [taylor]: Taking taylor expansion of x in y
3.510 * [backup-simplify]: Simplify x into x
3.510 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.510 * [taylor]: Taking taylor expansion of x in y
3.510 * [backup-simplify]: Simplify x into x
3.510 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.510 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.510 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
3.510 * [backup-simplify]: Simplify (* 1 (- (/ 1 z) (/ 1 x))) into (- (/ 1 z) (/ 1 x))
3.510 * [backup-simplify]: Simplify (+ (- (/ 1 z) (/ 1 x)) 0) into (- (/ 1 z) (/ 1 x))
3.510 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.510 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.510 * [taylor]: Taking taylor expansion of z in z
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify 1 into 1
3.511 * [backup-simplify]: Simplify (/ 1 1) into 1
3.511 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.511 * [taylor]: Taking taylor expansion of x in z
3.511 * [backup-simplify]: Simplify x into x
3.511 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.511 * [backup-simplify]: Simplify (+ 1 0) into 1
3.511 * [taylor]: Taking taylor expansion of 1 in x
3.511 * [backup-simplify]: Simplify 1 into 1
3.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.512 * [backup-simplify]: Simplify (- 0) into 0
3.512 * [backup-simplify]: Simplify (+ 0 0) into 0
3.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
3.513 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
3.513 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.513 * [taylor]: Taking taylor expansion of x in z
3.513 * [backup-simplify]: Simplify x into x
3.513 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.513 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.513 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
3.513 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.513 * [taylor]: Taking taylor expansion of x in x
3.513 * [backup-simplify]: Simplify 0 into 0
3.513 * [backup-simplify]: Simplify 1 into 1
3.514 * [backup-simplify]: Simplify (/ 1 1) into 1
3.514 * [backup-simplify]: Simplify (- 1) into -1
3.514 * [backup-simplify]: Simplify -1 into -1
3.514 * [backup-simplify]: Simplify 1 into 1
3.514 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.514 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.514 * [backup-simplify]: Simplify (- 0) into 0
3.515 * [backup-simplify]: Simplify (+ 0 0) into 0
3.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
3.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.524 * [backup-simplify]: Simplify (+ 0 0) into 0
3.524 * [taylor]: Taking taylor expansion of 0 in z
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.524 * [taylor]: Taking taylor expansion of x in x
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 1 into 1
3.524 * [backup-simplify]: Simplify (/ 1 1) into 1
3.524 * [backup-simplify]: Simplify 1 into 1
3.525 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y))))))) into (- (+ x (* z y)) (* x y))
3.525 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x))
3.525 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y z x) around 0
3.525 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x
3.525 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
3.526 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in x
3.526 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.526 * [taylor]: Taking taylor expansion of -1 in x
3.526 * [backup-simplify]: Simplify -1 into -1
3.526 * [taylor]: Taking taylor expansion of y in x
3.526 * [backup-simplify]: Simplify y into y
3.526 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.526 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.526 * [taylor]: Taking taylor expansion of x in x
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify 1 into 1
3.526 * [backup-simplify]: Simplify (/ 1 1) into 1
3.526 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.526 * [taylor]: Taking taylor expansion of z in x
3.526 * [backup-simplify]: Simplify z into z
3.526 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.527 * [taylor]: Taking taylor expansion of -1 in x
3.527 * [backup-simplify]: Simplify -1 into -1
3.527 * [taylor]: Taking taylor expansion of x in x
3.527 * [backup-simplify]: Simplify 0 into 0
3.527 * [backup-simplify]: Simplify 1 into 1
3.527 * [backup-simplify]: Simplify (/ -1 1) into -1
3.527 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z
3.527 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
3.527 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in z
3.527 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.527 * [taylor]: Taking taylor expansion of -1 in z
3.527 * [backup-simplify]: Simplify -1 into -1
3.527 * [taylor]: Taking taylor expansion of y in z
3.527 * [backup-simplify]: Simplify y into y
3.527 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.527 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
3.528 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.528 * [taylor]: Taking taylor expansion of x in z
3.528 * [backup-simplify]: Simplify x into x
3.528 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.528 * [taylor]: Taking taylor expansion of z in z
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify 1 into 1
3.528 * [backup-simplify]: Simplify (/ 1 1) into 1
3.528 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.528 * [taylor]: Taking taylor expansion of -1 in z
3.528 * [backup-simplify]: Simplify -1 into -1
3.528 * [taylor]: Taking taylor expansion of x in z
3.528 * [backup-simplify]: Simplify x into x
3.529 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.529 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
3.529 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
3.529 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
3.529 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.529 * [taylor]: Taking taylor expansion of -1 in y
3.529 * [backup-simplify]: Simplify -1 into -1
3.529 * [taylor]: Taking taylor expansion of y in y
3.529 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify 1 into 1
3.529 * [backup-simplify]: Simplify (/ -1 1) into -1
3.529 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
3.529 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.529 * [taylor]: Taking taylor expansion of x in y
3.529 * [backup-simplify]: Simplify x into x
3.529 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.529 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.530 * [taylor]: Taking taylor expansion of z in y
3.530 * [backup-simplify]: Simplify z into z
3.530 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.530 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.530 * [taylor]: Taking taylor expansion of -1 in y
3.530 * [backup-simplify]: Simplify -1 into -1
3.530 * [taylor]: Taking taylor expansion of x in y
3.530 * [backup-simplify]: Simplify x into x
3.530 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.530 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
3.530 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
3.530 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
3.530 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.530 * [taylor]: Taking taylor expansion of -1 in y
3.530 * [backup-simplify]: Simplify -1 into -1
3.530 * [taylor]: Taking taylor expansion of y in y
3.530 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify 1 into 1
3.531 * [backup-simplify]: Simplify (/ -1 1) into -1
3.531 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
3.531 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.531 * [taylor]: Taking taylor expansion of x in y
3.531 * [backup-simplify]: Simplify x into x
3.531 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.531 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.531 * [taylor]: Taking taylor expansion of z in y
3.531 * [backup-simplify]: Simplify z into z
3.531 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.531 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.531 * [taylor]: Taking taylor expansion of -1 in y
3.531 * [backup-simplify]: Simplify -1 into -1
3.531 * [taylor]: Taking taylor expansion of x in y
3.531 * [backup-simplify]: Simplify x into x
3.531 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.531 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.531 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
3.531 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z)))
3.531 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 z))) 0) into (- (/ 1 z) (/ 1 x))
3.531 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.531 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.531 * [taylor]: Taking taylor expansion of z in z
3.531 * [backup-simplify]: Simplify 0 into 0
3.531 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (/ 1 1) into 1
3.532 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.532 * [taylor]: Taking taylor expansion of x in z
3.532 * [backup-simplify]: Simplify x into x
3.532 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.532 * [backup-simplify]: Simplify (+ 1 0) into 1
3.532 * [taylor]: Taking taylor expansion of 1 in x
3.532 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.532 * [backup-simplify]: Simplify (- 0) into 0
3.533 * [backup-simplify]: Simplify (+ 0 0) into 0
3.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.534 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0
3.534 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
3.534 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
3.534 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.534 * [taylor]: Taking taylor expansion of x in z
3.534 * [backup-simplify]: Simplify x into x
3.534 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.534 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.534 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
3.534 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.534 * [taylor]: Taking taylor expansion of x in x
3.534 * [backup-simplify]: Simplify 0 into 0
3.534 * [backup-simplify]: Simplify 1 into 1
3.535 * [backup-simplify]: Simplify (/ 1 1) into 1
3.535 * [backup-simplify]: Simplify (- 1) into -1
3.535 * [backup-simplify]: Simplify -1 into -1
3.535 * [backup-simplify]: Simplify 1 into 1
3.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.535 * [backup-simplify]: Simplify (- 0) into 0
3.536 * [backup-simplify]: Simplify (+ 0 0) into 0
3.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.537 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
3.537 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.537 * [backup-simplify]: Simplify (+ 0 0) into 0
3.537 * [taylor]: Taking taylor expansion of 0 in z
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.537 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.537 * [taylor]: Taking taylor expansion of x in x
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.538 * [backup-simplify]: Simplify (/ 1 1) into 1
3.538 * [backup-simplify]: Simplify (- 1) into -1
3.538 * [backup-simplify]: Simplify -1 into -1
3.538 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y)))))))) into (- (+ x (* z y)) (* x y))
3.538 * * * [progress]: simplifying candidates
3.539 * [simplify]: Simplifying:
  (expm1 (fma y (- z x) x))
  (log1p (fma y (- z x) x))
  (* y (- z x))
  (log (fma y (- z x) x))
  (exp (fma y (- z x) x))
  (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x)))
  (cbrt (fma y (- z x) x))
  (* (* (fma y (- z x) x) (fma y (- z x) x)) (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (- (+ x (* z y)) (* x y))
  (- (+ x (* z y)) (* x y))
  (- (+ x (* z y)) (* x y))
3.539 * * [simplify]: iteration 0: 19 enodes
3.542 * * [simplify]: iteration 1: 31 enodes
3.546 * * [simplify]: iteration 2: 69 enodes
3.564 * * [simplify]: iteration 3: 399 enodes
4.314 * * [simplify]: iteration 4: 4849 enodes
6.440 * * [simplify]: iteration complete: 5000 enodes
6.440 * * [simplify]: Extracting #0: cost 10 inf + 0
6.441 * * [simplify]: Extracting #1: cost 305 inf + 0
6.449 * * [simplify]: Extracting #2: cost 1751 inf + 121
6.461 * * [simplify]: Extracting #3: cost 604 inf + 19185
6.480 * * [simplify]: Extracting #4: cost 5 inf + 28488
6.491 * * [simplify]: Extracting #5: cost 4 inf + 28489
6.502 * * [simplify]: Extracting #6: cost 0 inf + 28513
6.513 * [simplify]: Simplified to:
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  (* (- z x) y)
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (pow (fma (- z x) y x) 3)
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (fma (- z x) y x)
  (fma (- z x) y x)
  (fma (- z x) y x)
6.513 * * * [progress]: adding candidates to table
6.595 * * [progress]: iteration 2 / 4
6.595 * * * [progress]: picking best candidate
6.598 * * * * [pick]: Picked  #<alt (λ (x y z) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))>
6.598 * * * [progress]: localizing error
6.614 * * * [progress]: generating rewritten candidates
6.614 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.633 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.634 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.636 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
6.638 * * * [progress]: generating series expansions
6.638 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.638 * [backup-simplify]: Simplify (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) into (fma (- z x) y x)
6.638 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0
6.638 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y
6.638 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.638 * [taylor]: Taking taylor expansion of (* (- z x) y) in y
6.638 * [taylor]: Taking taylor expansion of (- z x) in y
6.638 * [taylor]: Taking taylor expansion of z in y
6.638 * [backup-simplify]: Simplify z into z
6.638 * [taylor]: Taking taylor expansion of x in y
6.638 * [backup-simplify]: Simplify x into x
6.638 * [taylor]: Taking taylor expansion of y in y
6.638 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [taylor]: Taking taylor expansion of x in y
6.639 * [backup-simplify]: Simplify x into x
6.639 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x
6.639 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.639 * [taylor]: Taking taylor expansion of (* (- z x) y) in x
6.639 * [taylor]: Taking taylor expansion of (- z x) in x
6.639 * [taylor]: Taking taylor expansion of z in x
6.639 * [backup-simplify]: Simplify z into z
6.639 * [taylor]: Taking taylor expansion of x in x
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [taylor]: Taking taylor expansion of y in x
6.639 * [backup-simplify]: Simplify y into y
6.639 * [taylor]: Taking taylor expansion of x in x
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.639 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.639 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.639 * [taylor]: Taking taylor expansion of (- z x) in z
6.639 * [taylor]: Taking taylor expansion of z in z
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [taylor]: Taking taylor expansion of x in z
6.639 * [backup-simplify]: Simplify x into x
6.639 * [taylor]: Taking taylor expansion of y in z
6.639 * [backup-simplify]: Simplify y into y
6.639 * [taylor]: Taking taylor expansion of x in z
6.639 * [backup-simplify]: Simplify x into x
6.639 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.639 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.639 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.639 * [taylor]: Taking taylor expansion of (- z x) in z
6.639 * [taylor]: Taking taylor expansion of z in z
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [taylor]: Taking taylor expansion of x in z
6.639 * [backup-simplify]: Simplify x into x
6.639 * [taylor]: Taking taylor expansion of y in z
6.639 * [backup-simplify]: Simplify y into y
6.639 * [taylor]: Taking taylor expansion of x in z
6.639 * [backup-simplify]: Simplify x into x
6.639 * [backup-simplify]: Simplify (- x) into (- x)
6.639 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.639 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
6.640 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
6.640 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.640 * [taylor]: Taking taylor expansion of x in x
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [taylor]: Taking taylor expansion of (* x y) in x
6.640 * [taylor]: Taking taylor expansion of x in x
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [taylor]: Taking taylor expansion of y in x
6.640 * [backup-simplify]: Simplify y into y
6.640 * [backup-simplify]: Simplify (* 0 y) into 0
6.640 * [backup-simplify]: Simplify (- 0) into 0
6.640 * [backup-simplify]: Simplify (+ 0 0) into 0
6.640 * [taylor]: Taking taylor expansion of 0 in y
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify (- 0) into 0
6.641 * [backup-simplify]: Simplify (+ 1 0) into 1
6.641 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
6.641 * [backup-simplify]: Simplify (+ y 0) into y
6.641 * [taylor]: Taking taylor expansion of y in x
6.641 * [backup-simplify]: Simplify y into y
6.641 * [taylor]: Taking taylor expansion of y in y
6.641 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify 1 into 1
6.641 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.642 * [backup-simplify]: Simplify (- y) into (- y)
6.642 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.642 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.642 * [taylor]: Taking taylor expansion of 1 in y
6.642 * [backup-simplify]: Simplify 1 into 1
6.642 * [taylor]: Taking taylor expansion of y in y
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify 1 into 1
6.642 * [backup-simplify]: Simplify (- 0) into 0
6.642 * [backup-simplify]: Simplify (+ 1 0) into 1
6.642 * [backup-simplify]: Simplify 1 into 1
6.642 * [backup-simplify]: Simplify 0 into 0
6.643 * [backup-simplify]: Simplify (- 0) into 0
6.643 * [backup-simplify]: Simplify (+ 0 0) into 0
6.643 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0
6.643 * [backup-simplify]: Simplify (+ 0 0) into 0
6.644 * [taylor]: Taking taylor expansion of 0 in x
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [taylor]: Taking taylor expansion of 0 in y
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [taylor]: Taking taylor expansion of 0 in y
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify 0 into 0
6.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.645 * [backup-simplify]: Simplify (- 0) into 0
6.645 * [backup-simplify]: Simplify (+ 0 0) into 0
6.645 * [taylor]: Taking taylor expansion of 0 in y
6.645 * [backup-simplify]: Simplify 0 into 0
6.646 * [backup-simplify]: Simplify 0 into 0
6.646 * [backup-simplify]: Simplify 1 into 1
6.646 * [backup-simplify]: Simplify (- 1) into -1
6.646 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.646 * [backup-simplify]: Simplify -1 into -1
6.646 * [backup-simplify]: Simplify (+ (* -1 (* y (* x 1))) (+ (* 1 (* y (* 1 z))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x y))
6.647 * [backup-simplify]: Simplify (* (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) into (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))
6.647 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0
6.647 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y
6.647 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.647 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y
6.647 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.647 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.647 * [taylor]: Taking taylor expansion of z in y
6.647 * [backup-simplify]: Simplify z into z
6.647 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.647 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.647 * [taylor]: Taking taylor expansion of x in y
6.647 * [backup-simplify]: Simplify x into x
6.647 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.647 * [taylor]: Taking taylor expansion of y in y
6.647 * [backup-simplify]: Simplify 0 into 0
6.647 * [backup-simplify]: Simplify 1 into 1
6.647 * [backup-simplify]: Simplify (/ 1 1) into 1
6.647 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.647 * [taylor]: Taking taylor expansion of x in y
6.647 * [backup-simplify]: Simplify x into x
6.647 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.647 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x
6.647 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.648 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x
6.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.648 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.648 * [taylor]: Taking taylor expansion of z in x
6.648 * [backup-simplify]: Simplify z into z
6.648 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.648 * [taylor]: Taking taylor expansion of x in x
6.648 * [backup-simplify]: Simplify 0 into 0
6.648 * [backup-simplify]: Simplify 1 into 1
6.648 * [backup-simplify]: Simplify (/ 1 1) into 1
6.648 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.648 * [taylor]: Taking taylor expansion of y in x
6.648 * [backup-simplify]: Simplify y into y
6.648 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.648 * [taylor]: Taking taylor expansion of x in x
6.648 * [backup-simplify]: Simplify 0 into 0
6.648 * [backup-simplify]: Simplify 1 into 1
6.648 * [backup-simplify]: Simplify (/ 1 1) into 1
6.648 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.648 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.648 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.648 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.649 * [taylor]: Taking taylor expansion of z in z
6.649 * [backup-simplify]: Simplify 0 into 0
6.649 * [backup-simplify]: Simplify 1 into 1
6.649 * [backup-simplify]: Simplify (/ 1 1) into 1
6.649 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.649 * [taylor]: Taking taylor expansion of x in z
6.649 * [backup-simplify]: Simplify x into x
6.649 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.649 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.649 * [taylor]: Taking taylor expansion of y in z
6.649 * [backup-simplify]: Simplify y into y
6.649 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.649 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.649 * [taylor]: Taking taylor expansion of x in z
6.649 * [backup-simplify]: Simplify x into x
6.649 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.649 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.649 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.649 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.649 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.649 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.649 * [taylor]: Taking taylor expansion of z in z
6.649 * [backup-simplify]: Simplify 0 into 0
6.649 * [backup-simplify]: Simplify 1 into 1
6.649 * [backup-simplify]: Simplify (/ 1 1) into 1
6.650 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.650 * [taylor]: Taking taylor expansion of x in z
6.650 * [backup-simplify]: Simplify x into x
6.650 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.650 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.650 * [taylor]: Taking taylor expansion of y in z
6.650 * [backup-simplify]: Simplify y into y
6.650 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.650 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.650 * [taylor]: Taking taylor expansion of x in z
6.650 * [backup-simplify]: Simplify x into x
6.650 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.650 * [backup-simplify]: Simplify (+ 1 0) into 1
6.650 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
6.650 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.650 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.650 * [taylor]: Taking taylor expansion of y in x
6.650 * [backup-simplify]: Simplify y into y
6.650 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.651 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.651 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
6.652 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y)))
6.652 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y)))
6.652 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x
6.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.652 * [taylor]: Taking taylor expansion of x in x
6.652 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify 1 into 1
6.652 * [backup-simplify]: Simplify (/ 1 1) into 1
6.652 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.652 * [taylor]: Taking taylor expansion of (* x y) in x
6.652 * [taylor]: Taking taylor expansion of x in x
6.653 * [backup-simplify]: Simplify 0 into 0
6.653 * [backup-simplify]: Simplify 1 into 1
6.653 * [taylor]: Taking taylor expansion of y in x
6.653 * [backup-simplify]: Simplify y into y
6.653 * [backup-simplify]: Simplify (* 0 y) into 0
6.653 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.653 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.653 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.653 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
6.653 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
6.653 * [taylor]: Taking taylor expansion of 1 in y
6.653 * [backup-simplify]: Simplify 1 into 1
6.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.653 * [taylor]: Taking taylor expansion of y in y
6.653 * [backup-simplify]: Simplify 0 into 0
6.654 * [backup-simplify]: Simplify 1 into 1
6.654 * [backup-simplify]: Simplify (/ 1 1) into 1
6.654 * [backup-simplify]: Simplify (- 1) into -1
6.655 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.655 * [backup-simplify]: Simplify -1 into -1
6.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.655 * [taylor]: Taking taylor expansion of y in y
6.655 * [backup-simplify]: Simplify 0 into 0
6.655 * [backup-simplify]: Simplify 1 into 1
6.655 * [backup-simplify]: Simplify (/ 1 1) into 1
6.655 * [backup-simplify]: Simplify 1 into 1
6.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.657 * [backup-simplify]: Simplify (- 0) into 0
6.657 * [backup-simplify]: Simplify (+ 0 0) into 0
6.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0
6.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.658 * [backup-simplify]: Simplify (+ 0 0) into 0
6.658 * [taylor]: Taking taylor expansion of 0 in x
6.658 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.660 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.660 * [backup-simplify]: Simplify (- 0) into 0
6.661 * [backup-simplify]: Simplify (+ 0 0) into 0
6.661 * [taylor]: Taking taylor expansion of 0 in y
6.661 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.661 * [taylor]: Taking taylor expansion of 0 in y
6.661 * [backup-simplify]: Simplify 0 into 0
6.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.662 * [backup-simplify]: Simplify (- 0) into 0
6.662 * [backup-simplify]: Simplify (+ 1 0) into 1
6.662 * [backup-simplify]: Simplify 1 into 1
6.663 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x y))
6.664 * [backup-simplify]: Simplify (* (sqrt (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x)))) (sqrt (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))))) into (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))
6.664 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0
6.664 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y
6.664 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.664 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y
6.664 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.664 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.664 * [taylor]: Taking taylor expansion of x in y
6.664 * [backup-simplify]: Simplify x into x
6.664 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.664 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.664 * [taylor]: Taking taylor expansion of z in y
6.664 * [backup-simplify]: Simplify z into z
6.664 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.664 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.664 * [taylor]: Taking taylor expansion of -1 in y
6.664 * [backup-simplify]: Simplify -1 into -1
6.664 * [taylor]: Taking taylor expansion of y in y
6.664 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify 1 into 1
6.665 * [backup-simplify]: Simplify (/ -1 1) into -1
6.665 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.665 * [taylor]: Taking taylor expansion of -1 in y
6.665 * [backup-simplify]: Simplify -1 into -1
6.665 * [taylor]: Taking taylor expansion of x in y
6.665 * [backup-simplify]: Simplify x into x
6.665 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.665 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x
6.665 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.665 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x
6.665 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.665 * [taylor]: Taking taylor expansion of x in x
6.665 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify 1 into 1
6.666 * [backup-simplify]: Simplify (/ 1 1) into 1
6.666 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.666 * [taylor]: Taking taylor expansion of z in x
6.666 * [backup-simplify]: Simplify z into z
6.666 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.666 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.666 * [taylor]: Taking taylor expansion of -1 in x
6.666 * [backup-simplify]: Simplify -1 into -1
6.666 * [taylor]: Taking taylor expansion of y in x
6.666 * [backup-simplify]: Simplify y into y
6.666 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.666 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.666 * [taylor]: Taking taylor expansion of -1 in x
6.666 * [backup-simplify]: Simplify -1 into -1
6.666 * [taylor]: Taking taylor expansion of x in x
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify 1 into 1
6.667 * [backup-simplify]: Simplify (/ -1 1) into -1
6.667 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.667 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.667 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.667 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.667 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.667 * [taylor]: Taking taylor expansion of x in z
6.667 * [backup-simplify]: Simplify x into x
6.667 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.667 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.667 * [taylor]: Taking taylor expansion of z in z
6.667 * [backup-simplify]: Simplify 0 into 0
6.667 * [backup-simplify]: Simplify 1 into 1
6.668 * [backup-simplify]: Simplify (/ 1 1) into 1
6.668 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.668 * [taylor]: Taking taylor expansion of -1 in z
6.668 * [backup-simplify]: Simplify -1 into -1
6.668 * [taylor]: Taking taylor expansion of y in z
6.668 * [backup-simplify]: Simplify y into y
6.668 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.668 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.668 * [taylor]: Taking taylor expansion of -1 in z
6.668 * [backup-simplify]: Simplify -1 into -1
6.668 * [taylor]: Taking taylor expansion of x in z
6.668 * [backup-simplify]: Simplify x into x
6.668 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.668 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.668 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.668 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.668 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.668 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.668 * [taylor]: Taking taylor expansion of x in z
6.668 * [backup-simplify]: Simplify x into x
6.669 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.669 * [taylor]: Taking taylor expansion of z in z
6.669 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify 1 into 1
6.669 * [backup-simplify]: Simplify (/ 1 1) into 1
6.669 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.669 * [taylor]: Taking taylor expansion of -1 in z
6.669 * [backup-simplify]: Simplify -1 into -1
6.669 * [taylor]: Taking taylor expansion of y in z
6.669 * [backup-simplify]: Simplify y into y
6.669 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.669 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.669 * [taylor]: Taking taylor expansion of -1 in z
6.669 * [backup-simplify]: Simplify -1 into -1
6.669 * [taylor]: Taking taylor expansion of x in z
6.669 * [backup-simplify]: Simplify x into x
6.670 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.670 * [backup-simplify]: Simplify (- 1) into -1
6.670 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.671 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
6.671 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.671 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.671 * [taylor]: Taking taylor expansion of y in x
6.671 * [backup-simplify]: Simplify y into y
6.671 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.671 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
6.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.672 * [backup-simplify]: Simplify (- 0) into 0
6.672 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
6.673 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y)))
6.673 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x)))
6.673 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in x
6.673 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
6.673 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.673 * [taylor]: Taking taylor expansion of (* x y) in x
6.673 * [taylor]: Taking taylor expansion of x in x
6.673 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify 1 into 1
6.673 * [taylor]: Taking taylor expansion of y in x
6.673 * [backup-simplify]: Simplify y into y
6.673 * [backup-simplify]: Simplify (* 0 y) into 0
6.674 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.674 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.674 * [taylor]: Taking taylor expansion of x in x
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.674 * [backup-simplify]: Simplify (/ 1 1) into 1
6.674 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
6.674 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y)))
6.674 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y
6.674 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
6.674 * [taylor]: Taking taylor expansion of 1 in y
6.674 * [backup-simplify]: Simplify 1 into 1
6.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.674 * [taylor]: Taking taylor expansion of y in y
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.675 * [backup-simplify]: Simplify (/ 1 1) into 1
6.675 * [backup-simplify]: Simplify (+ 0 1) into 1
6.676 * [backup-simplify]: Simplify (- 1) into -1
6.676 * [backup-simplify]: Simplify -1 into -1
6.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.676 * [taylor]: Taking taylor expansion of y in y
6.676 * [backup-simplify]: Simplify 0 into 0
6.676 * [backup-simplify]: Simplify 1 into 1
6.676 * [backup-simplify]: Simplify (/ 1 1) into 1
6.676 * [backup-simplify]: Simplify 1 into 1
6.676 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.678 * [backup-simplify]: Simplify (- 0) into 0
6.678 * [backup-simplify]: Simplify (+ 0 0) into 0
6.679 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0
6.679 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.679 * [backup-simplify]: Simplify (+ 0 0) into 0
6.679 * [taylor]: Taking taylor expansion of 0 in x
6.679 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.681 * [backup-simplify]: Simplify (+ 0 0) into 0
6.682 * [backup-simplify]: Simplify (- 0) into 0
6.682 * [taylor]: Taking taylor expansion of 0 in y
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.682 * [taylor]: Taking taylor expansion of 0 in y
6.682 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.683 * [backup-simplify]: Simplify (+ 1 0) into 1
6.683 * [backup-simplify]: Simplify (- 1) into -1
6.683 * [backup-simplify]: Simplify -1 into -1
6.684 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x y))
6.684 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.684 * [backup-simplify]: Simplify (sqrt (fma (- z x) y x)) into (sqrt (fma (- z x) y x))
6.684 * [approximate]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in (z x y) around 0
6.684 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in y
6.685 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y
6.685 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.685 * [taylor]: Taking taylor expansion of (* (- z x) y) in y
6.685 * [taylor]: Taking taylor expansion of (- z x) in y
6.685 * [taylor]: Taking taylor expansion of z in y
6.685 * [backup-simplify]: Simplify z into z
6.685 * [taylor]: Taking taylor expansion of x in y
6.685 * [backup-simplify]: Simplify x into x
6.685 * [taylor]: Taking taylor expansion of y in y
6.685 * [backup-simplify]: Simplify 0 into 0
6.685 * [backup-simplify]: Simplify 1 into 1
6.685 * [taylor]: Taking taylor expansion of x in y
6.685 * [backup-simplify]: Simplify x into x
6.685 * [backup-simplify]: Simplify (- x) into (- x)
6.685 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
6.685 * [backup-simplify]: Simplify (* (- z x) 0) into 0
6.685 * [backup-simplify]: Simplify (+ 0 x) into x
6.686 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
6.686 * [backup-simplify]: Simplify (- 0) into 0
6.686 * [backup-simplify]: Simplify (+ 0 0) into 0
6.687 * [backup-simplify]: Simplify (+ (* (- z x) 1) (* 0 0)) into (- z x)
6.687 * [backup-simplify]: Simplify (+ (- z x) 0) into (- z x)
6.687 * [backup-simplify]: Simplify (/ (- z x) (* 2 (sqrt x))) into (* 1/2 (* (- z x) (sqrt (/ 1 x))))
6.687 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in x
6.687 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x
6.687 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.687 * [taylor]: Taking taylor expansion of (* (- z x) y) in x
6.687 * [taylor]: Taking taylor expansion of (- z x) in x
6.687 * [taylor]: Taking taylor expansion of z in x
6.688 * [backup-simplify]: Simplify z into z
6.688 * [taylor]: Taking taylor expansion of x in x
6.688 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify 1 into 1
6.688 * [taylor]: Taking taylor expansion of y in x
6.688 * [backup-simplify]: Simplify y into y
6.688 * [taylor]: Taking taylor expansion of x in x
6.688 * [backup-simplify]: Simplify 0 into 0
6.688 * [backup-simplify]: Simplify 1 into 1
6.688 * [backup-simplify]: Simplify (- 0) into 0
6.688 * [backup-simplify]: Simplify (+ z 0) into z
6.688 * [backup-simplify]: Simplify (* z y) into (* z y)
6.688 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
6.688 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y))
6.689 * [backup-simplify]: Simplify (- 1) into -1
6.689 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.689 * [backup-simplify]: Simplify (+ (* z 0) (* -1 y)) into (- y)
6.689 * [backup-simplify]: Simplify (+ (- y) 1) into (- 1 y)
6.690 * [backup-simplify]: Simplify (/ (- 1 y) (* 2 (sqrt (* z y)))) into (* 1/2 (* (sqrt (/ 1 (* z y))) (- 1 y)))
6.690 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z
6.690 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.690 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.690 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.690 * [taylor]: Taking taylor expansion of (- z x) in z
6.690 * [taylor]: Taking taylor expansion of z in z
6.690 * [backup-simplify]: Simplify 0 into 0
6.690 * [backup-simplify]: Simplify 1 into 1
6.690 * [taylor]: Taking taylor expansion of x in z
6.690 * [backup-simplify]: Simplify x into x
6.690 * [taylor]: Taking taylor expansion of y in z
6.690 * [backup-simplify]: Simplify y into y
6.690 * [taylor]: Taking taylor expansion of x in z
6.690 * [backup-simplify]: Simplify x into x
6.690 * [backup-simplify]: Simplify (- x) into (- x)
6.690 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.690 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
6.690 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
6.691 * [backup-simplify]: Simplify (sqrt (- x (* x y))) into (sqrt (- x (* x y)))
6.691 * [backup-simplify]: Simplify (- 0) into 0
6.691 * [backup-simplify]: Simplify (+ 1 0) into 1
6.691 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
6.692 * [backup-simplify]: Simplify (+ y 0) into y
6.692 * [backup-simplify]: Simplify (/ y (* 2 (sqrt (- x (* x y))))) into (* 1/2 (* y (sqrt (/ 1 (- x (* x y))))))
6.692 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z
6.692 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.692 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.692 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.692 * [taylor]: Taking taylor expansion of (- z x) in z
6.692 * [taylor]: Taking taylor expansion of z in z
6.692 * [backup-simplify]: Simplify 0 into 0
6.692 * [backup-simplify]: Simplify 1 into 1
6.692 * [taylor]: Taking taylor expansion of x in z
6.692 * [backup-simplify]: Simplify x into x
6.692 * [taylor]: Taking taylor expansion of y in z
6.692 * [backup-simplify]: Simplify y into y
6.692 * [taylor]: Taking taylor expansion of x in z
6.692 * [backup-simplify]: Simplify x into x
6.692 * [backup-simplify]: Simplify (- x) into (- x)
6.692 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.692 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
6.693 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
6.693 * [backup-simplify]: Simplify (sqrt (- x (* x y))) into (sqrt (- x (* x y)))
6.698 * [backup-simplify]: Simplify (- 0) into 0
6.699 * [backup-simplify]: Simplify (+ 1 0) into 1
6.699 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
6.699 * [backup-simplify]: Simplify (+ y 0) into y
6.699 * [backup-simplify]: Simplify (/ y (* 2 (sqrt (- x (* x y))))) into (* 1/2 (* y (sqrt (/ 1 (- x (* x y))))))
6.700 * [taylor]: Taking taylor expansion of (sqrt (- x (* x y))) in x
6.700 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.700 * [taylor]: Taking taylor expansion of x in x
6.700 * [backup-simplify]: Simplify 0 into 0
6.700 * [backup-simplify]: Simplify 1 into 1
6.700 * [taylor]: Taking taylor expansion of (* x y) in x
6.700 * [taylor]: Taking taylor expansion of x in x
6.700 * [backup-simplify]: Simplify 0 into 0
6.700 * [backup-simplify]: Simplify 1 into 1
6.700 * [taylor]: Taking taylor expansion of y in x
6.700 * [backup-simplify]: Simplify y into y
6.700 * [backup-simplify]: Simplify (* 0 y) into 0
6.700 * [backup-simplify]: Simplify (- 0) into 0
6.701 * [backup-simplify]: Simplify (+ 0 0) into 0
6.701 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.701 * [backup-simplify]: Simplify (- y) into (- y)
6.701 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.701 * [backup-simplify]: Simplify (sqrt 0) into 0
6.702 * [backup-simplify]: Simplify (/ (- 1 y) (* 2 (sqrt 0))) into (* +nan.0 (- 1 y))
6.702 * [taylor]: Taking taylor expansion of 0 in y
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [taylor]: Taking taylor expansion of (* 1/2 (* y (sqrt (/ 1 (- x (* x y)))))) in x
6.702 * [taylor]: Taking taylor expansion of 1/2 in x
6.702 * [backup-simplify]: Simplify 1/2 into 1/2
6.702 * [taylor]: Taking taylor expansion of (* y (sqrt (/ 1 (- x (* x y))))) in x
6.702 * [taylor]: Taking taylor expansion of y in x
6.702 * [backup-simplify]: Simplify y into y
6.702 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x y)))) in x
6.702 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x y))) in x
6.702 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.702 * [taylor]: Taking taylor expansion of x in x
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [taylor]: Taking taylor expansion of (* x y) in x
6.702 * [taylor]: Taking taylor expansion of x in x
6.703 * [backup-simplify]: Simplify 0 into 0
6.703 * [backup-simplify]: Simplify 1 into 1
6.703 * [taylor]: Taking taylor expansion of y in x
6.703 * [backup-simplify]: Simplify y into y
6.703 * [backup-simplify]: Simplify (* 0 y) into 0
6.703 * [backup-simplify]: Simplify (- 0) into 0
6.703 * [backup-simplify]: Simplify (+ 0 0) into 0
6.703 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.703 * [backup-simplify]: Simplify (- y) into (- y)
6.703 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.703 * [backup-simplify]: Simplify (/ 1 (- 1 y)) into (/ 1 (- 1 y))
6.704 * [backup-simplify]: Simplify (sqrt 0) into 0
6.704 * [backup-simplify]: Simplify (/ (/ 1 (- 1 y)) (* 2 (sqrt 0))) into (/ +nan.0 (- 1 y))
6.704 * [backup-simplify]: Simplify (+ (* y (/ +nan.0 (- 1 y))) (* 0 0)) into (- (* +nan.0 (/ y (- 1 y))))
6.704 * [backup-simplify]: Simplify (* y 0) into 0
6.705 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ y (- 1 y))))) (* 0 0)) into (- (* +nan.0 (/ y (- 1 y))))
6.705 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (- 1 y)))) in y
6.705 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (- 1 y))) in y
6.705 * [taylor]: Taking taylor expansion of +nan.0 in y
6.705 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.705 * [taylor]: Taking taylor expansion of (/ y (- 1 y)) in y
6.705 * [taylor]: Taking taylor expansion of y in y
6.705 * [backup-simplify]: Simplify 0 into 0
6.705 * [backup-simplify]: Simplify 1 into 1
6.705 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.705 * [taylor]: Taking taylor expansion of 1 in y
6.705 * [backup-simplify]: Simplify 1 into 1
6.705 * [taylor]: Taking taylor expansion of y in y
6.705 * [backup-simplify]: Simplify 0 into 0
6.705 * [backup-simplify]: Simplify 1 into 1
6.705 * [backup-simplify]: Simplify (- 0) into 0
6.706 * [backup-simplify]: Simplify (+ 1 0) into 1
6.706 * [backup-simplify]: Simplify (/ 1 1) into 1
6.706 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 y)) in y
6.706 * [taylor]: Taking taylor expansion of +nan.0 in y
6.706 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.706 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.706 * [taylor]: Taking taylor expansion of 1 in y
6.706 * [backup-simplify]: Simplify 1 into 1
6.706 * [taylor]: Taking taylor expansion of y in y
6.706 * [backup-simplify]: Simplify 0 into 0
6.706 * [backup-simplify]: Simplify 1 into 1
6.706 * [backup-simplify]: Simplify (- 0) into 0
6.706 * [backup-simplify]: Simplify (+ 1 0) into 1
6.707 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.707 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.707 * [backup-simplify]: Simplify 0 into 0
6.707 * [backup-simplify]: Simplify (- 0) into 0
6.708 * [backup-simplify]: Simplify (+ 0 0) into 0
6.708 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0
6.708 * [backup-simplify]: Simplify (+ 0 0) into 0
6.709 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (* y (sqrt (/ 1 (- x (* x y)))))) 2) (+)) (* 2 (sqrt (- x (* x y))))) into (* -1/8 (* (pow y 2) (sqrt (/ 1 (pow (- x (* x y)) 3)))))
6.709 * [taylor]: Taking taylor expansion of (* -1/8 (* (pow y 2) (sqrt (/ 1 (pow (- x (* x y)) 3))))) in x
6.709 * [taylor]: Taking taylor expansion of -1/8 in x
6.709 * [backup-simplify]: Simplify -1/8 into -1/8
6.709 * [taylor]: Taking taylor expansion of (* (pow y 2) (sqrt (/ 1 (pow (- x (* x y)) 3)))) in x
6.709 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.709 * [taylor]: Taking taylor expansion of y in x
6.709 * [backup-simplify]: Simplify y into y
6.709 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x y)) 3))) in x
6.709 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 3)) in x
6.709 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 3) in x
6.709 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.709 * [taylor]: Taking taylor expansion of x in x
6.709 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify 1 into 1
6.709 * [taylor]: Taking taylor expansion of (* x y) in x
6.709 * [taylor]: Taking taylor expansion of x in x
6.710 * [backup-simplify]: Simplify 0 into 0
6.710 * [backup-simplify]: Simplify 1 into 1
6.710 * [taylor]: Taking taylor expansion of y in x
6.710 * [backup-simplify]: Simplify y into y
6.710 * [backup-simplify]: Simplify (* 0 y) into 0
6.710 * [backup-simplify]: Simplify (- 0) into 0
6.710 * [backup-simplify]: Simplify (+ 0 0) into 0
6.710 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.710 * [backup-simplify]: Simplify (- y) into (- y)
6.710 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.711 * [backup-simplify]: Simplify (* (- 1 y) (- 1 y)) into (pow (- 1 y) 2)
6.711 * [backup-simplify]: Simplify (* (- 1 y) (pow (- 1 y) 2)) into (pow (- 1 y) 3)
6.711 * [backup-simplify]: Simplify (/ 1 (pow (- 1 y) 3)) into (/ 1 (pow (- 1 y) 3))
6.711 * [backup-simplify]: Simplify (sqrt 0) into 0
6.712 * [backup-simplify]: Simplify (/ (/ 1 (pow (- 1 y) 3)) (* 2 (sqrt 0))) into (/ +nan.0 (pow (- 1 y) 3))
6.712 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.712 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.713 * [backup-simplify]: Simplify (- 0) into 0
6.713 * [backup-simplify]: Simplify (+ 0 0) into 0
6.713 * [backup-simplify]: Simplify (+ (* (- 1 y) 0) (* 0 (- 1 y))) into 0
6.713 * [backup-simplify]: Simplify (+ (* (- 1 y) 0) (* 0 (pow (- 1 y) 2))) into 0
6.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow (- 1 y) 3)) (/ 0 (pow (- 1 y) 3))))) into 0
6.714 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (pow (- 1 y) 3)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 y) 6))
6.714 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.714 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
6.715 * [backup-simplify]: Simplify (+ (* (pow y 2) (/ +nan.0 (pow (- 1 y) 6))) (+ (* 0 (/ +nan.0 (pow (- 1 y) 3))) (* 0 0))) into (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))))
6.715 * [backup-simplify]: Simplify (+ (* (pow y 2) (/ +nan.0 (pow (- 1 y) 3))) (* 0 0)) into (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 3))))
6.715 * [backup-simplify]: Simplify (* (pow y 2) 0) into 0
6.716 * [backup-simplify]: Simplify (+ (* -1/8 (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))))) (+ (* 0 (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 3))))) (* 0 0))) into (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))))
6.716 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6)))) in y
6.716 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))) in y
6.716 * [taylor]: Taking taylor expansion of +nan.0 in y
6.716 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.716 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (- 1 y) 6)) in y
6.716 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.716 * [taylor]: Taking taylor expansion of y in y
6.716 * [backup-simplify]: Simplify 0 into 0
6.716 * [backup-simplify]: Simplify 1 into 1
6.716 * [taylor]: Taking taylor expansion of (pow (- 1 y) 6) in y
6.716 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.716 * [taylor]: Taking taylor expansion of 1 in y
6.716 * [backup-simplify]: Simplify 1 into 1
6.716 * [taylor]: Taking taylor expansion of y in y
6.716 * [backup-simplify]: Simplify 0 into 0
6.716 * [backup-simplify]: Simplify 1 into 1
6.717 * [backup-simplify]: Simplify (- 0) into 0
6.717 * [backup-simplify]: Simplify (+ 1 0) into 1
6.718 * [backup-simplify]: Simplify (* 1 1) into 1
6.718 * [backup-simplify]: Simplify (* 1 1) into 1
6.718 * [backup-simplify]: Simplify (* 1 1) into 1
6.718 * [backup-simplify]: Simplify (* 1 1) into 1
6.718 * [backup-simplify]: Simplify (/ 1 1) into 1
6.719 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.719 * [backup-simplify]: Simplify (- 0) into 0
6.720 * [backup-simplify]: Simplify (+ 0 0) into 0
6.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 y)) (/ 0 (- 1 y))))) into 0
6.720 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (- 1 y)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 y) 2))
6.721 * [backup-simplify]: Simplify (+ (* y (/ +nan.0 (pow (- 1 y) 2))) (+ (* 0 (/ +nan.0 (- 1 y))) (* 0 0))) into (- (* +nan.0 (/ y (pow (- 1 y) 2))))
6.721 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ y (pow (- 1 y) 2))))) (+ (* 0 (- (* +nan.0 (/ y (- 1 y))))) (* 0 0))) into (- (* +nan.0 (/ y (pow (- 1 y) 2))))
6.721 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (pow (- 1 y) 2)))) in y
6.721 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (pow (- 1 y) 2))) in y
6.721 * [taylor]: Taking taylor expansion of +nan.0 in y
6.722 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.722 * [taylor]: Taking taylor expansion of (/ y (pow (- 1 y) 2)) in y
6.722 * [taylor]: Taking taylor expansion of y in y
6.722 * [backup-simplify]: Simplify 0 into 0
6.722 * [backup-simplify]: Simplify 1 into 1
6.722 * [taylor]: Taking taylor expansion of (pow (- 1 y) 2) in y
6.722 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.722 * [taylor]: Taking taylor expansion of 1 in y
6.722 * [backup-simplify]: Simplify 1 into 1
6.722 * [taylor]: Taking taylor expansion of y in y
6.722 * [backup-simplify]: Simplify 0 into 0
6.722 * [backup-simplify]: Simplify 1 into 1
6.722 * [backup-simplify]: Simplify (- 0) into 0
6.722 * [backup-simplify]: Simplify (+ 1 0) into 1
6.722 * [backup-simplify]: Simplify (* 1 1) into 1
6.723 * [backup-simplify]: Simplify (/ 1 1) into 1
6.723 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.723 * [backup-simplify]: Simplify (- 0) into 0
6.724 * [backup-simplify]: Simplify (+ 0 0) into 0
6.724 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- 1 y)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))))
6.724 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y
6.724 * [taylor]: Taking taylor expansion of +nan.0 in y
6.724 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.724 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y
6.724 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y
6.725 * [taylor]: Taking taylor expansion of +nan.0 in y
6.725 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.725 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.725 * [taylor]: Taking taylor expansion of y in y
6.725 * [backup-simplify]: Simplify 0 into 0
6.725 * [backup-simplify]: Simplify 1 into 1
6.725 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
6.725 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
6.725 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
6.725 * [taylor]: Taking taylor expansion of +nan.0 in y
6.725 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.725 * [taylor]: Taking taylor expansion of y in y
6.725 * [backup-simplify]: Simplify 0 into 0
6.725 * [backup-simplify]: Simplify 1 into 1
6.725 * [taylor]: Taking taylor expansion of (- +nan.0) in y
6.725 * [taylor]: Taking taylor expansion of +nan.0 in y
6.725 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.725 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.725 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.726 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.726 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
6.727 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.727 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0
6.727 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.728 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.728 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.728 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.729 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* y (* 1 z))) (+ (* +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)))))))
6.729 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) into (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))
6.729 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0
6.729 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y
6.729 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y
6.729 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.729 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y
6.729 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.729 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.729 * [taylor]: Taking taylor expansion of z in y
6.729 * [backup-simplify]: Simplify z into z
6.729 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.729 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.729 * [taylor]: Taking taylor expansion of x in y
6.729 * [backup-simplify]: Simplify x into x
6.729 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.729 * [taylor]: Taking taylor expansion of y in y
6.730 * [backup-simplify]: Simplify 0 into 0
6.730 * [backup-simplify]: Simplify 1 into 1
6.730 * [backup-simplify]: Simplify (/ 1 1) into 1
6.730 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.730 * [taylor]: Taking taylor expansion of x in y
6.730 * [backup-simplify]: Simplify x into x
6.730 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.730 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.730 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
6.730 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
6.730 * [backup-simplify]: Simplify (+ (- (/ 1 z) (/ 1 x)) 0) into (- (/ 1 z) (/ 1 x))
6.731 * [backup-simplify]: Simplify (sqrt 0) into 0
6.731 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 z) (/ 1 x)))
6.731 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x
6.731 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x
6.731 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.731 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x
6.731 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.731 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.731 * [taylor]: Taking taylor expansion of z in x
6.731 * [backup-simplify]: Simplify z into z
6.731 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.731 * [taylor]: Taking taylor expansion of x in x
6.731 * [backup-simplify]: Simplify 0 into 0
6.731 * [backup-simplify]: Simplify 1 into 1
6.732 * [backup-simplify]: Simplify (/ 1 1) into 1
6.732 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.732 * [taylor]: Taking taylor expansion of y in x
6.732 * [backup-simplify]: Simplify y into y
6.732 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.732 * [taylor]: Taking taylor expansion of x in x
6.732 * [backup-simplify]: Simplify 0 into 0
6.732 * [backup-simplify]: Simplify 1 into 1
6.732 * [backup-simplify]: Simplify (/ 1 1) into 1
6.733 * [backup-simplify]: Simplify (- 1) into -1
6.733 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.733 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
6.733 * [backup-simplify]: Simplify (+ (/ -1 y) 1) into (- 1 (/ 1 y))
6.733 * [backup-simplify]: Simplify (sqrt 0) into 0
6.734 * [backup-simplify]: Simplify (/ (- 1 (/ 1 y)) (* 2 (sqrt 0))) into (* +nan.0 (- 1 (/ 1 y)))
6.734 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z
6.734 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.734 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.734 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.734 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.734 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.734 * [taylor]: Taking taylor expansion of z in z
6.734 * [backup-simplify]: Simplify 0 into 0
6.734 * [backup-simplify]: Simplify 1 into 1
6.734 * [backup-simplify]: Simplify (/ 1 1) into 1
6.734 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.734 * [taylor]: Taking taylor expansion of x in z
6.734 * [backup-simplify]: Simplify x into x
6.734 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.734 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.734 * [taylor]: Taking taylor expansion of y in z
6.734 * [backup-simplify]: Simplify y into y
6.734 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.734 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.734 * [taylor]: Taking taylor expansion of x in z
6.734 * [backup-simplify]: Simplify x into x
6.734 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.735 * [backup-simplify]: Simplify (+ 1 0) into 1
6.735 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
6.735 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.735 * [backup-simplify]: Simplify (sqrt 0) into 0
6.735 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.736 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z
6.736 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.736 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.736 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.736 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.736 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.736 * [taylor]: Taking taylor expansion of z in z
6.736 * [backup-simplify]: Simplify 0 into 0
6.736 * [backup-simplify]: Simplify 1 into 1
6.736 * [backup-simplify]: Simplify (/ 1 1) into 1
6.736 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.736 * [taylor]: Taking taylor expansion of x in z
6.736 * [backup-simplify]: Simplify x into x
6.736 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.736 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.736 * [taylor]: Taking taylor expansion of y in z
6.736 * [backup-simplify]: Simplify y into y
6.736 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.736 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.736 * [taylor]: Taking taylor expansion of x in z
6.736 * [backup-simplify]: Simplify x into x
6.736 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.737 * [backup-simplify]: Simplify (+ 1 0) into 1
6.737 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
6.737 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.737 * [backup-simplify]: Simplify (sqrt 0) into 0
6.737 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.737 * [taylor]: Taking taylor expansion of 0 in x
6.737 * [backup-simplify]: Simplify 0 into 0
6.737 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x
6.737 * [taylor]: Taking taylor expansion of +nan.0 in x
6.738 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.738 * [taylor]: Taking taylor expansion of y in x
6.738 * [backup-simplify]: Simplify y into y
6.738 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
6.738 * [taylor]: Taking taylor expansion of 0 in y
6.738 * [backup-simplify]: Simplify 0 into 0
6.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.739 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.739 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
6.739 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y)))
6.739 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y)))
6.740 * [backup-simplify]: Simplify (/ (- (- (/ 1 x) (/ 1 (* x y))) (pow (/ +nan.0 y) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y)))))
6.740 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y))))) in x
6.740 * [taylor]: Taking taylor expansion of +nan.0 in x
6.740 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.740 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y)))) in x
6.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.740 * [taylor]: Taking taylor expansion of x in x
6.740 * [backup-simplify]: Simplify 0 into 0
6.740 * [backup-simplify]: Simplify 1 into 1
6.740 * [backup-simplify]: Simplify (/ 1 1) into 1
6.740 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y))) in x
6.740 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x
6.740 * [taylor]: Taking taylor expansion of +nan.0 in x
6.740 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.740 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.740 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.740 * [taylor]: Taking taylor expansion of y in x
6.740 * [backup-simplify]: Simplify y into y
6.740 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.741 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.741 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.741 * [taylor]: Taking taylor expansion of (* x y) in x
6.741 * [taylor]: Taking taylor expansion of x in x
6.741 * [backup-simplify]: Simplify 0 into 0
6.741 * [backup-simplify]: Simplify 1 into 1
6.741 * [taylor]: Taking taylor expansion of y in x
6.741 * [backup-simplify]: Simplify y into y
6.741 * [backup-simplify]: Simplify (* 0 y) into 0
6.741 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.741 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.741 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
6.741 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.741 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
6.741 * [backup-simplify]: Simplify (* +nan.0 (- 1 (/ 1 y))) into (* +nan.0 (- 1 (/ 1 y)))
6.741 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 y))) in y
6.741 * [taylor]: Taking taylor expansion of +nan.0 in y
6.741 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.741 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
6.741 * [taylor]: Taking taylor expansion of 1 in y
6.741 * [backup-simplify]: Simplify 1 into 1
6.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.741 * [taylor]: Taking taylor expansion of y in y
6.741 * [backup-simplify]: Simplify 0 into 0
6.741 * [backup-simplify]: Simplify 1 into 1
6.742 * [backup-simplify]: Simplify (/ 1 1) into 1
6.742 * [backup-simplify]: Simplify (- 1) into -1
6.742 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.742 * [backup-simplify]: Simplify (* +nan.0 -1) into +nan.0
6.743 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.743 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
6.743 * [taylor]: Taking taylor expansion of +nan.0 in y
6.743 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.743 * [taylor]: Taking taylor expansion of y in y
6.743 * [backup-simplify]: Simplify 0 into 0
6.743 * [backup-simplify]: Simplify 1 into 1
6.743 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
6.743 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.743 * [taylor]: Taking taylor expansion of 0 in y
6.743 * [backup-simplify]: Simplify 0 into 0
6.743 * [backup-simplify]: Simplify 0 into 0
6.744 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.745 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.745 * [backup-simplify]: Simplify (- 0) into 0
6.746 * [backup-simplify]: Simplify (+ 0 0) into 0
6.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0
6.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.747 * [backup-simplify]: Simplify (+ 0 0) into 0
6.748 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y) (* +nan.0 (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))))
6.748 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x
6.748 * [taylor]: Taking taylor expansion of +nan.0 in x
6.748 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.748 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x
6.748 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x
6.748 * [taylor]: Taking taylor expansion of +nan.0 in x
6.748 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.748 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.748 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.748 * [taylor]: Taking taylor expansion of x in x
6.749 * [backup-simplify]: Simplify 0 into 0
6.749 * [backup-simplify]: Simplify 1 into 1
6.749 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.749 * [taylor]: Taking taylor expansion of y in x
6.749 * [backup-simplify]: Simplify y into y
6.749 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.749 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
6.749 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.749 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
6.750 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.750 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x
6.750 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))) in x
6.750 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x
6.750 * [taylor]: Taking taylor expansion of +nan.0 in x
6.750 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.750 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.750 * [taylor]: Taking taylor expansion of (* x y) in x
6.750 * [taylor]: Taking taylor expansion of x in x
6.750 * [backup-simplify]: Simplify 0 into 0
6.750 * [backup-simplify]: Simplify 1 into 1
6.750 * [taylor]: Taking taylor expansion of y in x
6.750 * [backup-simplify]: Simplify y into y
6.750 * [backup-simplify]: Simplify (* 0 y) into 0
6.750 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.750 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.750 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x
6.751 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x
6.751 * [taylor]: Taking taylor expansion of +nan.0 in x
6.751 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.751 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
6.751 * [taylor]: Taking taylor expansion of (pow y 3) in x
6.751 * [taylor]: Taking taylor expansion of y in x
6.751 * [backup-simplify]: Simplify y into y
6.751 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.751 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3)
6.751 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3))
6.751 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow y 2))) into (/ +nan.0 (pow y 2))
6.751 * [backup-simplify]: Simplify (* +nan.0 (/ 1 y)) into (/ +nan.0 y)
6.751 * [backup-simplify]: Simplify (+ (/ +nan.0 y) 0) into (- (* +nan.0 (/ 1 y)))
6.752 * [backup-simplify]: Simplify (- (- (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
6.752 * [backup-simplify]: Simplify (+ (/ +nan.0 (pow y 2)) (- (* +nan.0 (/ 1 y)))) into (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.752 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.752 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y))))) in y
6.752 * [taylor]: Taking taylor expansion of +nan.0 in y
6.752 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.752 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))) in y
6.752 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
6.752 * [taylor]: Taking taylor expansion of +nan.0 in y
6.752 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.753 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.753 * [taylor]: Taking taylor expansion of y in y
6.753 * [backup-simplify]: Simplify 0 into 0
6.753 * [backup-simplify]: Simplify 1 into 1
6.753 * [backup-simplify]: Simplify (* 1 1) into 1
6.753 * [backup-simplify]: Simplify (/ 1 1) into 1
6.754 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
6.754 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
6.754 * [taylor]: Taking taylor expansion of +nan.0 in y
6.754 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.754 * [taylor]: Taking taylor expansion of y in y
6.754 * [backup-simplify]: Simplify 0 into 0
6.754 * [backup-simplify]: Simplify 1 into 1
6.754 * [backup-simplify]: Simplify (/ 1 1) into 1
6.755 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.756 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
6.757 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.757 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.758 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.758 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.759 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
6.761 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
6.761 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.763 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (pow (/ 1 z) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 y)) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))))) into (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
6.763 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x)))) into (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))
6.763 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in (z x y) around 0
6.763 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y
6.763 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y
6.763 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.763 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y
6.764 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.764 * [taylor]: Taking taylor expansion of x in y
6.764 * [backup-simplify]: Simplify x into x
6.764 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.764 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.764 * [taylor]: Taking taylor expansion of z in y
6.764 * [backup-simplify]: Simplify z into z
6.764 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.764 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.764 * [taylor]: Taking taylor expansion of -1 in y
6.764 * [backup-simplify]: Simplify -1 into -1
6.764 * [taylor]: Taking taylor expansion of y in y
6.764 * [backup-simplify]: Simplify 0 into 0
6.764 * [backup-simplify]: Simplify 1 into 1
6.764 * [backup-simplify]: Simplify (/ -1 1) into -1
6.765 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.765 * [taylor]: Taking taylor expansion of -1 in y
6.765 * [backup-simplify]: Simplify -1 into -1
6.765 * [taylor]: Taking taylor expansion of x in y
6.765 * [backup-simplify]: Simplify x into x
6.765 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.765 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.765 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
6.765 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) -1) into (* -1 (- (/ 1 x) (/ 1 z)))
6.765 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 z))) 0) into (- (/ 1 z) (/ 1 x))
6.766 * [backup-simplify]: Simplify (sqrt 0) into 0
6.766 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 z) (/ 1 x)))
6.766 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x
6.766 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x
6.767 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.767 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x
6.767 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.767 * [taylor]: Taking taylor expansion of x in x
6.767 * [backup-simplify]: Simplify 0 into 0
6.767 * [backup-simplify]: Simplify 1 into 1
6.767 * [backup-simplify]: Simplify (/ 1 1) into 1
6.767 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.767 * [taylor]: Taking taylor expansion of z in x
6.767 * [backup-simplify]: Simplify z into z
6.767 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.767 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.767 * [taylor]: Taking taylor expansion of -1 in x
6.768 * [backup-simplify]: Simplify -1 into -1
6.768 * [taylor]: Taking taylor expansion of y in x
6.768 * [backup-simplify]: Simplify y into y
6.768 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.768 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.768 * [taylor]: Taking taylor expansion of -1 in x
6.768 * [backup-simplify]: Simplify -1 into -1
6.768 * [taylor]: Taking taylor expansion of x in x
6.768 * [backup-simplify]: Simplify 0 into 0
6.768 * [backup-simplify]: Simplify 1 into 1
6.769 * [backup-simplify]: Simplify (/ -1 1) into -1
6.769 * [backup-simplify]: Simplify (+ 1 0) into 1
6.769 * [backup-simplify]: Simplify (* 1 (/ -1 y)) into (/ -1 y)
6.769 * [backup-simplify]: Simplify (+ (/ -1 y) -1) into (- (+ 1 (/ 1 y)))
6.769 * [backup-simplify]: Simplify (sqrt 0) into 0
6.770 * [backup-simplify]: Simplify (/ (- (+ 1 (/ 1 y))) (* 2 (sqrt 0))) into (* +nan.0 (+ 1 (/ 1 y)))
6.770 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z
6.770 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.770 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.770 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.770 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.770 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.771 * [taylor]: Taking taylor expansion of x in z
6.771 * [backup-simplify]: Simplify x into x
6.771 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.771 * [taylor]: Taking taylor expansion of z in z
6.771 * [backup-simplify]: Simplify 0 into 0
6.771 * [backup-simplify]: Simplify 1 into 1
6.771 * [backup-simplify]: Simplify (/ 1 1) into 1
6.771 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.771 * [taylor]: Taking taylor expansion of -1 in z
6.771 * [backup-simplify]: Simplify -1 into -1
6.771 * [taylor]: Taking taylor expansion of y in z
6.771 * [backup-simplify]: Simplify y into y
6.771 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.771 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.771 * [taylor]: Taking taylor expansion of -1 in z
6.771 * [backup-simplify]: Simplify -1 into -1
6.771 * [taylor]: Taking taylor expansion of x in z
6.771 * [backup-simplify]: Simplify x into x
6.771 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.772 * [backup-simplify]: Simplify (- 1) into -1
6.772 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.772 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
6.772 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.773 * [backup-simplify]: Simplify (sqrt 0) into 0
6.773 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.773 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z
6.773 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.774 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.774 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.774 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.774 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.774 * [taylor]: Taking taylor expansion of x in z
6.774 * [backup-simplify]: Simplify x into x
6.774 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.774 * [taylor]: Taking taylor expansion of z in z
6.774 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify 1 into 1
6.774 * [backup-simplify]: Simplify (/ 1 1) into 1
6.774 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.774 * [taylor]: Taking taylor expansion of -1 in z
6.774 * [backup-simplify]: Simplify -1 into -1
6.774 * [taylor]: Taking taylor expansion of y in z
6.774 * [backup-simplify]: Simplify y into y
6.774 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.774 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.774 * [taylor]: Taking taylor expansion of -1 in z
6.774 * [backup-simplify]: Simplify -1 into -1
6.774 * [taylor]: Taking taylor expansion of x in z
6.775 * [backup-simplify]: Simplify x into x
6.775 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.775 * [backup-simplify]: Simplify (- 1) into -1
6.775 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.775 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
6.776 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.776 * [backup-simplify]: Simplify (sqrt 0) into 0
6.776 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.777 * [taylor]: Taking taylor expansion of 0 in x
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x
6.777 * [taylor]: Taking taylor expansion of +nan.0 in x
6.777 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.777 * [taylor]: Taking taylor expansion of y in x
6.777 * [backup-simplify]: Simplify y into y
6.777 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
6.777 * [taylor]: Taking taylor expansion of 0 in y
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
6.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.778 * [backup-simplify]: Simplify (- 0) into 0
6.778 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
6.779 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y)))
6.779 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x)))
6.780 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 (* x y)) (/ 1 x))) (pow (/ +nan.0 y) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x))))
6.780 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x)))) in x
6.780 * [taylor]: Taking taylor expansion of +nan.0 in x
6.780 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.780 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x))) in x
6.780 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x
6.780 * [taylor]: Taking taylor expansion of +nan.0 in x
6.780 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.780 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.780 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.780 * [taylor]: Taking taylor expansion of y in x
6.780 * [backup-simplify]: Simplify y into y
6.781 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.781 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
6.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.781 * [taylor]: Taking taylor expansion of (* x y) in x
6.781 * [taylor]: Taking taylor expansion of x in x
6.781 * [backup-simplify]: Simplify 0 into 0
6.781 * [backup-simplify]: Simplify 1 into 1
6.781 * [taylor]: Taking taylor expansion of y in x
6.781 * [backup-simplify]: Simplify y into y
6.781 * [backup-simplify]: Simplify (* 0 y) into 0
6.781 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.781 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.781 * [taylor]: Taking taylor expansion of x in x
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 1 into 1
6.782 * [backup-simplify]: Simplify (/ 1 1) into 1
6.782 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
6.782 * [backup-simplify]: Simplify (+ 0 (+ 1 (/ 1 y))) into (+ 1 (/ 1 y))
6.782 * [backup-simplify]: Simplify (* +nan.0 (+ 1 (/ 1 y))) into (* +nan.0 (+ 1 (/ 1 y)))
6.782 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1 (/ 1 y))) in y
6.782 * [taylor]: Taking taylor expansion of +nan.0 in y
6.782 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.782 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
6.782 * [taylor]: Taking taylor expansion of 1 in y
6.782 * [backup-simplify]: Simplify 1 into 1
6.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.782 * [taylor]: Taking taylor expansion of y in y
6.782 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify 1 into 1
6.783 * [backup-simplify]: Simplify (/ 1 1) into 1
6.783 * [backup-simplify]: Simplify (+ 0 1) into 1
6.784 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.784 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.784 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
6.784 * [taylor]: Taking taylor expansion of +nan.0 in y
6.784 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.784 * [taylor]: Taking taylor expansion of y in y
6.784 * [backup-simplify]: Simplify 0 into 0
6.784 * [backup-simplify]: Simplify 1 into 1
6.784 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
6.784 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.784 * [taylor]: Taking taylor expansion of 0 in y
6.784 * [backup-simplify]: Simplify 0 into 0
6.784 * [backup-simplify]: Simplify 0 into 0
6.785 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.786 * [backup-simplify]: Simplify (- 0) into 0
6.786 * [backup-simplify]: Simplify (+ 0 0) into 0
6.787 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0
6.787 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.787 * [backup-simplify]: Simplify (+ 0 0) into 0
6.789 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y) (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x)))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))))
6.789 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x
6.789 * [taylor]: Taking taylor expansion of +nan.0 in x
6.789 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.789 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x
6.789 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x
6.789 * [taylor]: Taking taylor expansion of +nan.0 in x
6.789 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.789 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.789 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.789 * [taylor]: Taking taylor expansion of x in x
6.789 * [backup-simplify]: Simplify 0 into 0
6.789 * [backup-simplify]: Simplify 1 into 1
6.789 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.789 * [taylor]: Taking taylor expansion of y in x
6.789 * [backup-simplify]: Simplify y into y
6.789 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.789 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
6.789 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.790 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
6.790 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.790 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x
6.790 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))) in x
6.790 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x
6.790 * [taylor]: Taking taylor expansion of +nan.0 in x
6.790 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.790 * [taylor]: Taking taylor expansion of (* x y) in x
6.790 * [taylor]: Taking taylor expansion of x in x
6.790 * [backup-simplify]: Simplify 0 into 0
6.790 * [backup-simplify]: Simplify 1 into 1
6.790 * [taylor]: Taking taylor expansion of y in x
6.790 * [backup-simplify]: Simplify y into y
6.790 * [backup-simplify]: Simplify (* 0 y) into 0
6.791 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.791 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.791 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x
6.791 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x
6.791 * [taylor]: Taking taylor expansion of +nan.0 in x
6.791 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.791 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
6.791 * [taylor]: Taking taylor expansion of (pow y 3) in x
6.791 * [taylor]: Taking taylor expansion of y in x
6.791 * [backup-simplify]: Simplify y into y
6.791 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.791 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3)
6.791 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3))
6.792 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow y 2))) into (/ +nan.0 (pow y 2))
6.792 * [backup-simplify]: Simplify (* +nan.0 (/ 1 y)) into (/ +nan.0 y)
6.792 * [backup-simplify]: Simplify (+ (/ +nan.0 y) 0) into (- (* +nan.0 (/ 1 y)))
6.792 * [backup-simplify]: Simplify (- (- (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
6.792 * [backup-simplify]: Simplify (+ (/ +nan.0 (pow y 2)) (- (* +nan.0 (/ 1 y)))) into (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.793 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.793 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y))))) in y
6.793 * [taylor]: Taking taylor expansion of +nan.0 in y
6.793 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.793 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))) in y
6.793 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
6.793 * [taylor]: Taking taylor expansion of +nan.0 in y
6.793 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.793 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.793 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.793 * [taylor]: Taking taylor expansion of y in y
6.793 * [backup-simplify]: Simplify 0 into 0
6.793 * [backup-simplify]: Simplify 1 into 1
6.794 * [backup-simplify]: Simplify (* 1 1) into 1
6.794 * [backup-simplify]: Simplify (/ 1 1) into 1
6.794 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
6.794 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
6.794 * [taylor]: Taking taylor expansion of +nan.0 in y
6.794 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.794 * [taylor]: Taking taylor expansion of y in y
6.794 * [backup-simplify]: Simplify 0 into 0
6.794 * [backup-simplify]: Simplify 1 into 1
6.794 * [backup-simplify]: Simplify (/ 1 1) into 1
6.795 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.796 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
6.797 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.797 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.798 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.799 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.799 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
6.801 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
6.802 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.803 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (pow (/ 1 (- z)) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 (- y))) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))))) into (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
6.804 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.804 * [backup-simplify]: Simplify (sqrt (fma (- z x) y x)) into (sqrt (fma (- z x) y x))
6.804 * [approximate]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in (z x y) around 0
6.804 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in y
6.804 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y
6.804 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.804 * [taylor]: Taking taylor expansion of (* (- z x) y) in y
6.804 * [taylor]: Taking taylor expansion of (- z x) in y
6.804 * [taylor]: Taking taylor expansion of z in y
6.804 * [backup-simplify]: Simplify z into z
6.804 * [taylor]: Taking taylor expansion of x in y
6.804 * [backup-simplify]: Simplify x into x
6.804 * [taylor]: Taking taylor expansion of y in y
6.804 * [backup-simplify]: Simplify 0 into 0
6.804 * [backup-simplify]: Simplify 1 into 1
6.804 * [taylor]: Taking taylor expansion of x in y
6.804 * [backup-simplify]: Simplify x into x
6.805 * [backup-simplify]: Simplify (- x) into (- x)
6.805 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
6.805 * [backup-simplify]: Simplify (* (- z x) 0) into 0
6.805 * [backup-simplify]: Simplify (+ 0 x) into x
6.805 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
6.805 * [backup-simplify]: Simplify (- 0) into 0
6.806 * [backup-simplify]: Simplify (+ 0 0) into 0
6.806 * [backup-simplify]: Simplify (+ (* (- z x) 1) (* 0 0)) into (- z x)
6.806 * [backup-simplify]: Simplify (+ (- z x) 0) into (- z x)
6.807 * [backup-simplify]: Simplify (/ (- z x) (* 2 (sqrt x))) into (* 1/2 (* (- z x) (sqrt (/ 1 x))))
6.807 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in x
6.807 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x
6.807 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.807 * [taylor]: Taking taylor expansion of (* (- z x) y) in x
6.807 * [taylor]: Taking taylor expansion of (- z x) in x
6.807 * [taylor]: Taking taylor expansion of z in x
6.807 * [backup-simplify]: Simplify z into z
6.807 * [taylor]: Taking taylor expansion of x in x
6.807 * [backup-simplify]: Simplify 0 into 0
6.807 * [backup-simplify]: Simplify 1 into 1
6.807 * [taylor]: Taking taylor expansion of y in x
6.807 * [backup-simplify]: Simplify y into y
6.807 * [taylor]: Taking taylor expansion of x in x
6.807 * [backup-simplify]: Simplify 0 into 0
6.807 * [backup-simplify]: Simplify 1 into 1
6.808 * [backup-simplify]: Simplify (- 0) into 0
6.808 * [backup-simplify]: Simplify (+ z 0) into z
6.808 * [backup-simplify]: Simplify (* z y) into (* z y)
6.808 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
6.808 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y))
6.808 * [backup-simplify]: Simplify (- 1) into -1
6.809 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.809 * [backup-simplify]: Simplify (+ (* z 0) (* -1 y)) into (- y)
6.809 * [backup-simplify]: Simplify (+ (- y) 1) into (- 1 y)
6.809 * [backup-simplify]: Simplify (/ (- 1 y) (* 2 (sqrt (* z y)))) into (* 1/2 (* (sqrt (/ 1 (* z y))) (- 1 y)))
6.809 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z
6.810 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.810 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.810 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.810 * [taylor]: Taking taylor expansion of (- z x) in z
6.810 * [taylor]: Taking taylor expansion of z in z
6.810 * [backup-simplify]: Simplify 0 into 0
6.810 * [backup-simplify]: Simplify 1 into 1
6.810 * [taylor]: Taking taylor expansion of x in z
6.810 * [backup-simplify]: Simplify x into x
6.810 * [taylor]: Taking taylor expansion of y in z
6.810 * [backup-simplify]: Simplify y into y
6.810 * [taylor]: Taking taylor expansion of x in z
6.810 * [backup-simplify]: Simplify x into x
6.810 * [backup-simplify]: Simplify (- x) into (- x)
6.810 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.810 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
6.810 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
6.810 * [backup-simplify]: Simplify (sqrt (- x (* x y))) into (sqrt (- x (* x y)))
6.811 * [backup-simplify]: Simplify (- 0) into 0
6.811 * [backup-simplify]: Simplify (+ 1 0) into 1
6.811 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
6.812 * [backup-simplify]: Simplify (+ y 0) into y
6.812 * [backup-simplify]: Simplify (/ y (* 2 (sqrt (- x (* x y))))) into (* 1/2 (* y (sqrt (/ 1 (- x (* x y))))))
6.812 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z
6.812 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.812 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.812 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.812 * [taylor]: Taking taylor expansion of (- z x) in z
6.812 * [taylor]: Taking taylor expansion of z in z
6.812 * [backup-simplify]: Simplify 0 into 0
6.812 * [backup-simplify]: Simplify 1 into 1
6.812 * [taylor]: Taking taylor expansion of x in z
6.812 * [backup-simplify]: Simplify x into x
6.812 * [taylor]: Taking taylor expansion of y in z
6.812 * [backup-simplify]: Simplify y into y
6.812 * [taylor]: Taking taylor expansion of x in z
6.812 * [backup-simplify]: Simplify x into x
6.812 * [backup-simplify]: Simplify (- x) into (- x)
6.812 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.812 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
6.813 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
6.813 * [backup-simplify]: Simplify (sqrt (- x (* x y))) into (sqrt (- x (* x y)))
6.813 * [backup-simplify]: Simplify (- 0) into 0
6.813 * [backup-simplify]: Simplify (+ 1 0) into 1
6.814 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
6.814 * [backup-simplify]: Simplify (+ y 0) into y
6.814 * [backup-simplify]: Simplify (/ y (* 2 (sqrt (- x (* x y))))) into (* 1/2 (* y (sqrt (/ 1 (- x (* x y))))))
6.814 * [taylor]: Taking taylor expansion of (sqrt (- x (* x y))) in x
6.814 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.814 * [taylor]: Taking taylor expansion of x in x
6.814 * [backup-simplify]: Simplify 0 into 0
6.814 * [backup-simplify]: Simplify 1 into 1
6.814 * [taylor]: Taking taylor expansion of (* x y) in x
6.814 * [taylor]: Taking taylor expansion of x in x
6.814 * [backup-simplify]: Simplify 0 into 0
6.814 * [backup-simplify]: Simplify 1 into 1
6.814 * [taylor]: Taking taylor expansion of y in x
6.814 * [backup-simplify]: Simplify y into y
6.814 * [backup-simplify]: Simplify (* 0 y) into 0
6.815 * [backup-simplify]: Simplify (- 0) into 0
6.815 * [backup-simplify]: Simplify (+ 0 0) into 0
6.815 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.815 * [backup-simplify]: Simplify (- y) into (- y)
6.816 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.816 * [backup-simplify]: Simplify (sqrt 0) into 0
6.816 * [backup-simplify]: Simplify (/ (- 1 y) (* 2 (sqrt 0))) into (* +nan.0 (- 1 y))
6.816 * [taylor]: Taking taylor expansion of 0 in y
6.817 * [backup-simplify]: Simplify 0 into 0
6.817 * [backup-simplify]: Simplify 0 into 0
6.817 * [taylor]: Taking taylor expansion of (* 1/2 (* y (sqrt (/ 1 (- x (* x y)))))) in x
6.817 * [taylor]: Taking taylor expansion of 1/2 in x
6.817 * [backup-simplify]: Simplify 1/2 into 1/2
6.817 * [taylor]: Taking taylor expansion of (* y (sqrt (/ 1 (- x (* x y))))) in x
6.817 * [taylor]: Taking taylor expansion of y in x
6.817 * [backup-simplify]: Simplify y into y
6.817 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x y)))) in x
6.817 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x y))) in x
6.817 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.817 * [taylor]: Taking taylor expansion of x in x
6.817 * [backup-simplify]: Simplify 0 into 0
6.817 * [backup-simplify]: Simplify 1 into 1
6.817 * [taylor]: Taking taylor expansion of (* x y) in x
6.817 * [taylor]: Taking taylor expansion of x in x
6.817 * [backup-simplify]: Simplify 0 into 0
6.817 * [backup-simplify]: Simplify 1 into 1
6.817 * [taylor]: Taking taylor expansion of y in x
6.817 * [backup-simplify]: Simplify y into y
6.817 * [backup-simplify]: Simplify (* 0 y) into 0
6.817 * [backup-simplify]: Simplify (- 0) into 0
6.818 * [backup-simplify]: Simplify (+ 0 0) into 0
6.818 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.818 * [backup-simplify]: Simplify (- y) into (- y)
6.818 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.818 * [backup-simplify]: Simplify (/ 1 (- 1 y)) into (/ 1 (- 1 y))
6.819 * [backup-simplify]: Simplify (sqrt 0) into 0
6.819 * [backup-simplify]: Simplify (/ (/ 1 (- 1 y)) (* 2 (sqrt 0))) into (/ +nan.0 (- 1 y))
6.820 * [backup-simplify]: Simplify (+ (* y (/ +nan.0 (- 1 y))) (* 0 0)) into (- (* +nan.0 (/ y (- 1 y))))
6.820 * [backup-simplify]: Simplify (* y 0) into 0
6.821 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ y (- 1 y))))) (* 0 0)) into (- (* +nan.0 (/ y (- 1 y))))
6.821 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (- 1 y)))) in y
6.821 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (- 1 y))) in y
6.821 * [taylor]: Taking taylor expansion of +nan.0 in y
6.821 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.821 * [taylor]: Taking taylor expansion of (/ y (- 1 y)) in y
6.821 * [taylor]: Taking taylor expansion of y in y
6.821 * [backup-simplify]: Simplify 0 into 0
6.821 * [backup-simplify]: Simplify 1 into 1
6.821 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.821 * [taylor]: Taking taylor expansion of 1 in y
6.821 * [backup-simplify]: Simplify 1 into 1
6.821 * [taylor]: Taking taylor expansion of y in y
6.821 * [backup-simplify]: Simplify 0 into 0
6.821 * [backup-simplify]: Simplify 1 into 1
6.821 * [backup-simplify]: Simplify (- 0) into 0
6.822 * [backup-simplify]: Simplify (+ 1 0) into 1
6.822 * [backup-simplify]: Simplify (/ 1 1) into 1
6.822 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 y)) in y
6.822 * [taylor]: Taking taylor expansion of +nan.0 in y
6.822 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.822 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.822 * [taylor]: Taking taylor expansion of 1 in y
6.822 * [backup-simplify]: Simplify 1 into 1
6.822 * [taylor]: Taking taylor expansion of y in y
6.822 * [backup-simplify]: Simplify 0 into 0
6.822 * [backup-simplify]: Simplify 1 into 1
6.823 * [backup-simplify]: Simplify (- 0) into 0
6.823 * [backup-simplify]: Simplify (+ 1 0) into 1
6.824 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.824 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.824 * [backup-simplify]: Simplify 0 into 0
6.824 * [backup-simplify]: Simplify (- 0) into 0
6.824 * [backup-simplify]: Simplify (+ 0 0) into 0
6.825 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0
6.825 * [backup-simplify]: Simplify (+ 0 0) into 0
6.826 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (* y (sqrt (/ 1 (- x (* x y)))))) 2) (+)) (* 2 (sqrt (- x (* x y))))) into (* -1/8 (* (pow y 2) (sqrt (/ 1 (pow (- x (* x y)) 3)))))
6.826 * [taylor]: Taking taylor expansion of (* -1/8 (* (pow y 2) (sqrt (/ 1 (pow (- x (* x y)) 3))))) in x
6.826 * [taylor]: Taking taylor expansion of -1/8 in x
6.826 * [backup-simplify]: Simplify -1/8 into -1/8
6.826 * [taylor]: Taking taylor expansion of (* (pow y 2) (sqrt (/ 1 (pow (- x (* x y)) 3)))) in x
6.826 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.826 * [taylor]: Taking taylor expansion of y in x
6.826 * [backup-simplify]: Simplify y into y
6.826 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x y)) 3))) in x
6.827 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 3)) in x
6.827 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 3) in x
6.827 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.827 * [taylor]: Taking taylor expansion of x in x
6.827 * [backup-simplify]: Simplify 0 into 0
6.827 * [backup-simplify]: Simplify 1 into 1
6.827 * [taylor]: Taking taylor expansion of (* x y) in x
6.827 * [taylor]: Taking taylor expansion of x in x
6.827 * [backup-simplify]: Simplify 0 into 0
6.827 * [backup-simplify]: Simplify 1 into 1
6.827 * [taylor]: Taking taylor expansion of y in x
6.827 * [backup-simplify]: Simplify y into y
6.827 * [backup-simplify]: Simplify (* 0 y) into 0
6.827 * [backup-simplify]: Simplify (- 0) into 0
6.828 * [backup-simplify]: Simplify (+ 0 0) into 0
6.828 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.829 * [backup-simplify]: Simplify (- y) into (- y)
6.829 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.829 * [backup-simplify]: Simplify (* (- 1 y) (- 1 y)) into (pow (- 1 y) 2)
6.829 * [backup-simplify]: Simplify (* (- 1 y) (pow (- 1 y) 2)) into (pow (- 1 y) 3)
6.829 * [backup-simplify]: Simplify (/ 1 (pow (- 1 y) 3)) into (/ 1 (pow (- 1 y) 3))
6.829 * [backup-simplify]: Simplify (sqrt 0) into 0
6.830 * [backup-simplify]: Simplify (/ (/ 1 (pow (- 1 y) 3)) (* 2 (sqrt 0))) into (/ +nan.0 (pow (- 1 y) 3))
6.830 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.831 * [backup-simplify]: Simplify (- 0) into 0
6.835 * [backup-simplify]: Simplify (+ 0 0) into 0
6.836 * [backup-simplify]: Simplify (+ (* (- 1 y) 0) (* 0 (- 1 y))) into 0
6.836 * [backup-simplify]: Simplify (+ (* (- 1 y) 0) (* 0 (pow (- 1 y) 2))) into 0
6.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow (- 1 y) 3)) (/ 0 (pow (- 1 y) 3))))) into 0
6.838 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (pow (- 1 y) 3)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 y) 6))
6.838 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.838 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
6.839 * [backup-simplify]: Simplify (+ (* (pow y 2) (/ +nan.0 (pow (- 1 y) 6))) (+ (* 0 (/ +nan.0 (pow (- 1 y) 3))) (* 0 0))) into (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))))
6.840 * [backup-simplify]: Simplify (+ (* (pow y 2) (/ +nan.0 (pow (- 1 y) 3))) (* 0 0)) into (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 3))))
6.840 * [backup-simplify]: Simplify (* (pow y 2) 0) into 0
6.841 * [backup-simplify]: Simplify (+ (* -1/8 (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))))) (+ (* 0 (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 3))))) (* 0 0))) into (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))))
6.841 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6)))) in y
6.841 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))) in y
6.841 * [taylor]: Taking taylor expansion of +nan.0 in y
6.841 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.841 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (- 1 y) 6)) in y
6.841 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.841 * [taylor]: Taking taylor expansion of y in y
6.841 * [backup-simplify]: Simplify 0 into 0
6.841 * [backup-simplify]: Simplify 1 into 1
6.841 * [taylor]: Taking taylor expansion of (pow (- 1 y) 6) in y
6.842 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.842 * [taylor]: Taking taylor expansion of 1 in y
6.842 * [backup-simplify]: Simplify 1 into 1
6.842 * [taylor]: Taking taylor expansion of y in y
6.842 * [backup-simplify]: Simplify 0 into 0
6.842 * [backup-simplify]: Simplify 1 into 1
6.842 * [backup-simplify]: Simplify (- 0) into 0
6.843 * [backup-simplify]: Simplify (+ 1 0) into 1
6.843 * [backup-simplify]: Simplify (* 1 1) into 1
6.843 * [backup-simplify]: Simplify (* 1 1) into 1
6.844 * [backup-simplify]: Simplify (* 1 1) into 1
6.844 * [backup-simplify]: Simplify (* 1 1) into 1
6.844 * [backup-simplify]: Simplify (/ 1 1) into 1
6.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.846 * [backup-simplify]: Simplify (- 0) into 0
6.846 * [backup-simplify]: Simplify (+ 0 0) into 0
6.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 y)) (/ 0 (- 1 y))))) into 0
6.847 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (- 1 y)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 y) 2))
6.848 * [backup-simplify]: Simplify (+ (* y (/ +nan.0 (pow (- 1 y) 2))) (+ (* 0 (/ +nan.0 (- 1 y))) (* 0 0))) into (- (* +nan.0 (/ y (pow (- 1 y) 2))))
6.849 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ y (pow (- 1 y) 2))))) (+ (* 0 (- (* +nan.0 (/ y (- 1 y))))) (* 0 0))) into (- (* +nan.0 (/ y (pow (- 1 y) 2))))
6.849 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (pow (- 1 y) 2)))) in y
6.849 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (pow (- 1 y) 2))) in y
6.849 * [taylor]: Taking taylor expansion of +nan.0 in y
6.849 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.849 * [taylor]: Taking taylor expansion of (/ y (pow (- 1 y) 2)) in y
6.849 * [taylor]: Taking taylor expansion of y in y
6.849 * [backup-simplify]: Simplify 0 into 0
6.849 * [backup-simplify]: Simplify 1 into 1
6.849 * [taylor]: Taking taylor expansion of (pow (- 1 y) 2) in y
6.849 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.849 * [taylor]: Taking taylor expansion of 1 in y
6.849 * [backup-simplify]: Simplify 1 into 1
6.849 * [taylor]: Taking taylor expansion of y in y
6.849 * [backup-simplify]: Simplify 0 into 0
6.849 * [backup-simplify]: Simplify 1 into 1
6.850 * [backup-simplify]: Simplify (- 0) into 0
6.850 * [backup-simplify]: Simplify (+ 1 0) into 1
6.850 * [backup-simplify]: Simplify (* 1 1) into 1
6.851 * [backup-simplify]: Simplify (/ 1 1) into 1
6.852 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.852 * [backup-simplify]: Simplify (- 0) into 0
6.853 * [backup-simplify]: Simplify (+ 0 0) into 0
6.854 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- 1 y)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))))
6.854 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y
6.854 * [taylor]: Taking taylor expansion of +nan.0 in y
6.854 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.854 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y
6.854 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y
6.854 * [taylor]: Taking taylor expansion of +nan.0 in y
6.854 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.854 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.854 * [taylor]: Taking taylor expansion of y in y
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify 1 into 1
6.854 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
6.854 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
6.854 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
6.854 * [taylor]: Taking taylor expansion of +nan.0 in y
6.854 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.854 * [taylor]: Taking taylor expansion of y in y
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify 1 into 1
6.854 * [taylor]: Taking taylor expansion of (- +nan.0) in y
6.854 * [taylor]: Taking taylor expansion of +nan.0 in y
6.854 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.855 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.855 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.856 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.857 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
6.858 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.859 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0
6.859 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.859 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.859 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.860 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.861 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* y (* 1 z))) (+ (* +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)))))))
6.861 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) into (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))
6.861 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0
6.861 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y
6.861 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y
6.861 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.861 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y
6.861 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.861 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.861 * [taylor]: Taking taylor expansion of z in y
6.861 * [backup-simplify]: Simplify z into z
6.861 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.861 * [taylor]: Taking taylor expansion of x in y
6.861 * [backup-simplify]: Simplify x into x
6.862 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.862 * [taylor]: Taking taylor expansion of y in y
6.862 * [backup-simplify]: Simplify 0 into 0
6.862 * [backup-simplify]: Simplify 1 into 1
6.862 * [backup-simplify]: Simplify (/ 1 1) into 1
6.862 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.862 * [taylor]: Taking taylor expansion of x in y
6.862 * [backup-simplify]: Simplify x into x
6.862 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.862 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.862 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
6.863 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
6.863 * [backup-simplify]: Simplify (+ (- (/ 1 z) (/ 1 x)) 0) into (- (/ 1 z) (/ 1 x))
6.863 * [backup-simplify]: Simplify (sqrt 0) into 0
6.864 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 z) (/ 1 x)))
6.864 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x
6.864 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x
6.864 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.864 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x
6.864 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.864 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.864 * [taylor]: Taking taylor expansion of z in x
6.864 * [backup-simplify]: Simplify z into z
6.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.864 * [taylor]: Taking taylor expansion of x in x
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 1 into 1
6.865 * [backup-simplify]: Simplify (/ 1 1) into 1
6.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.865 * [taylor]: Taking taylor expansion of y in x
6.865 * [backup-simplify]: Simplify y into y
6.865 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.865 * [taylor]: Taking taylor expansion of x in x
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 1 into 1
6.865 * [backup-simplify]: Simplify (/ 1 1) into 1
6.866 * [backup-simplify]: Simplify (- 1) into -1
6.866 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.866 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
6.866 * [backup-simplify]: Simplify (+ (/ -1 y) 1) into (- 1 (/ 1 y))
6.866 * [backup-simplify]: Simplify (sqrt 0) into 0
6.867 * [backup-simplify]: Simplify (/ (- 1 (/ 1 y)) (* 2 (sqrt 0))) into (* +nan.0 (- 1 (/ 1 y)))
6.867 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z
6.867 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.867 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.867 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.867 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.867 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.867 * [taylor]: Taking taylor expansion of z in z
6.867 * [backup-simplify]: Simplify 0 into 0
6.868 * [backup-simplify]: Simplify 1 into 1
6.868 * [backup-simplify]: Simplify (/ 1 1) into 1
6.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.868 * [taylor]: Taking taylor expansion of x in z
6.868 * [backup-simplify]: Simplify x into x
6.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.868 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.868 * [taylor]: Taking taylor expansion of y in z
6.868 * [backup-simplify]: Simplify y into y
6.868 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.868 * [taylor]: Taking taylor expansion of x in z
6.868 * [backup-simplify]: Simplify x into x
6.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.869 * [backup-simplify]: Simplify (+ 1 0) into 1
6.869 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
6.869 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.869 * [backup-simplify]: Simplify (sqrt 0) into 0
6.870 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.870 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z
6.870 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.870 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.870 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.870 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.870 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.870 * [taylor]: Taking taylor expansion of z in z
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 1 into 1
6.871 * [backup-simplify]: Simplify (/ 1 1) into 1
6.871 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.871 * [taylor]: Taking taylor expansion of x in z
6.871 * [backup-simplify]: Simplify x into x
6.871 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.871 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.871 * [taylor]: Taking taylor expansion of y in z
6.871 * [backup-simplify]: Simplify y into y
6.871 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.871 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.871 * [taylor]: Taking taylor expansion of x in z
6.871 * [backup-simplify]: Simplify x into x
6.871 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.871 * [backup-simplify]: Simplify (+ 1 0) into 1
6.872 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
6.872 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.872 * [backup-simplify]: Simplify (sqrt 0) into 0
6.873 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.873 * [taylor]: Taking taylor expansion of 0 in x
6.873 * [backup-simplify]: Simplify 0 into 0
6.873 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x
6.873 * [taylor]: Taking taylor expansion of +nan.0 in x
6.873 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.873 * [taylor]: Taking taylor expansion of y in x
6.873 * [backup-simplify]: Simplify y into y
6.873 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
6.873 * [taylor]: Taking taylor expansion of 0 in y
6.873 * [backup-simplify]: Simplify 0 into 0
6.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.874 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.874 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
6.875 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y)))
6.875 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y)))
6.876 * [backup-simplify]: Simplify (/ (- (- (/ 1 x) (/ 1 (* x y))) (pow (/ +nan.0 y) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y)))))
6.876 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y))))) in x
6.876 * [taylor]: Taking taylor expansion of +nan.0 in x
6.876 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.876 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y)))) in x
6.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.876 * [taylor]: Taking taylor expansion of x in x
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.877 * [backup-simplify]: Simplify (/ 1 1) into 1
6.877 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y))) in x
6.877 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x
6.877 * [taylor]: Taking taylor expansion of +nan.0 in x
6.877 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.877 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.877 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.877 * [taylor]: Taking taylor expansion of y in x
6.877 * [backup-simplify]: Simplify y into y
6.877 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.877 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.877 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.877 * [taylor]: Taking taylor expansion of (* x y) in x
6.877 * [taylor]: Taking taylor expansion of x in x
6.877 * [backup-simplify]: Simplify 0 into 0
6.877 * [backup-simplify]: Simplify 1 into 1
6.877 * [taylor]: Taking taylor expansion of y in x
6.878 * [backup-simplify]: Simplify y into y
6.878 * [backup-simplify]: Simplify (* 0 y) into 0
6.878 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.878 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.878 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
6.878 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.878 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
6.878 * [backup-simplify]: Simplify (* +nan.0 (- 1 (/ 1 y))) into (* +nan.0 (- 1 (/ 1 y)))
6.878 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 y))) in y
6.878 * [taylor]: Taking taylor expansion of +nan.0 in y
6.879 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.879 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
6.879 * [taylor]: Taking taylor expansion of 1 in y
6.879 * [backup-simplify]: Simplify 1 into 1
6.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.879 * [taylor]: Taking taylor expansion of y in y
6.879 * [backup-simplify]: Simplify 0 into 0
6.879 * [backup-simplify]: Simplify 1 into 1
6.879 * [backup-simplify]: Simplify (/ 1 1) into 1
6.879 * [backup-simplify]: Simplify (- 1) into -1
6.880 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.880 * [backup-simplify]: Simplify (* +nan.0 -1) into +nan.0
6.880 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.880 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
6.880 * [taylor]: Taking taylor expansion of +nan.0 in y
6.880 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.880 * [taylor]: Taking taylor expansion of y in y
6.880 * [backup-simplify]: Simplify 0 into 0
6.880 * [backup-simplify]: Simplify 1 into 1
6.881 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
6.881 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.881 * [taylor]: Taking taylor expansion of 0 in y
6.881 * [backup-simplify]: Simplify 0 into 0
6.881 * [backup-simplify]: Simplify 0 into 0
6.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.883 * [backup-simplify]: Simplify (- 0) into 0
6.883 * [backup-simplify]: Simplify (+ 0 0) into 0
6.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0
6.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.884 * [backup-simplify]: Simplify (+ 0 0) into 0
6.886 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y) (* +nan.0 (- (/ 1 x) (+ (* +nan.0 (/ 1 (pow y 2))) (/ 1 (* x y))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))))
6.886 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x
6.886 * [taylor]: Taking taylor expansion of +nan.0 in x
6.886 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.886 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x
6.886 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x
6.886 * [taylor]: Taking taylor expansion of +nan.0 in x
6.886 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.886 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.886 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.886 * [taylor]: Taking taylor expansion of x in x
6.886 * [backup-simplify]: Simplify 0 into 0
6.886 * [backup-simplify]: Simplify 1 into 1
6.886 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.886 * [taylor]: Taking taylor expansion of y in x
6.886 * [backup-simplify]: Simplify y into y
6.886 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.886 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
6.886 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.887 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
6.887 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.887 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x
6.887 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))) in x
6.887 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x
6.887 * [taylor]: Taking taylor expansion of +nan.0 in x
6.887 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.887 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.887 * [taylor]: Taking taylor expansion of (* x y) in x
6.887 * [taylor]: Taking taylor expansion of x in x
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 1 into 1
6.887 * [taylor]: Taking taylor expansion of y in x
6.887 * [backup-simplify]: Simplify y into y
6.888 * [backup-simplify]: Simplify (* 0 y) into 0
6.888 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.888 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.888 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x
6.888 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x
6.888 * [taylor]: Taking taylor expansion of +nan.0 in x
6.888 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.888 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
6.889 * [taylor]: Taking taylor expansion of (pow y 3) in x
6.889 * [taylor]: Taking taylor expansion of y in x
6.889 * [backup-simplify]: Simplify y into y
6.889 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.889 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3)
6.889 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3))
6.889 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow y 2))) into (/ +nan.0 (pow y 2))
6.889 * [backup-simplify]: Simplify (* +nan.0 (/ 1 y)) into (/ +nan.0 y)
6.889 * [backup-simplify]: Simplify (+ (/ +nan.0 y) 0) into (- (* +nan.0 (/ 1 y)))
6.889 * [backup-simplify]: Simplify (- (- (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
6.890 * [backup-simplify]: Simplify (+ (/ +nan.0 (pow y 2)) (- (* +nan.0 (/ 1 y)))) into (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.890 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.890 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y))))) in y
6.890 * [taylor]: Taking taylor expansion of +nan.0 in y
6.890 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.890 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))) in y
6.890 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
6.890 * [taylor]: Taking taylor expansion of +nan.0 in y
6.890 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.890 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.890 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.890 * [taylor]: Taking taylor expansion of y in y
6.890 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify 1 into 1
6.891 * [backup-simplify]: Simplify (* 1 1) into 1
6.891 * [backup-simplify]: Simplify (/ 1 1) into 1
6.891 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
6.891 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
6.891 * [taylor]: Taking taylor expansion of +nan.0 in y
6.891 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.891 * [taylor]: Taking taylor expansion of y in y
6.891 * [backup-simplify]: Simplify 0 into 0
6.892 * [backup-simplify]: Simplify 1 into 1
6.892 * [backup-simplify]: Simplify (/ 1 1) into 1
6.893 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.894 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
6.895 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.895 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.896 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.896 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.897 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
6.899 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
6.899 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.901 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (pow (/ 1 z) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 y)) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))))) into (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
6.901 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x)))) into (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))
6.901 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in (z x y) around 0
6.901 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y
6.901 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y
6.901 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.901 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y
6.901 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.901 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.901 * [taylor]: Taking taylor expansion of x in y
6.901 * [backup-simplify]: Simplify x into x
6.901 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.901 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.902 * [taylor]: Taking taylor expansion of z in y
6.902 * [backup-simplify]: Simplify z into z
6.902 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.902 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.902 * [taylor]: Taking taylor expansion of -1 in y
6.902 * [backup-simplify]: Simplify -1 into -1
6.902 * [taylor]: Taking taylor expansion of y in y
6.902 * [backup-simplify]: Simplify 0 into 0
6.902 * [backup-simplify]: Simplify 1 into 1
6.902 * [backup-simplify]: Simplify (/ -1 1) into -1
6.902 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.902 * [taylor]: Taking taylor expansion of -1 in y
6.902 * [backup-simplify]: Simplify -1 into -1
6.902 * [taylor]: Taking taylor expansion of x in y
6.902 * [backup-simplify]: Simplify x into x
6.902 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.903 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.903 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
6.903 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) -1) into (* -1 (- (/ 1 x) (/ 1 z)))
6.903 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 z))) 0) into (- (/ 1 z) (/ 1 x))
6.903 * [backup-simplify]: Simplify (sqrt 0) into 0
6.904 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 z) (/ 1 x)))
6.904 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x
6.904 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x
6.904 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.904 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x
6.904 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.905 * [taylor]: Taking taylor expansion of x in x
6.905 * [backup-simplify]: Simplify 0 into 0
6.905 * [backup-simplify]: Simplify 1 into 1
6.905 * [backup-simplify]: Simplify (/ 1 1) into 1
6.905 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.905 * [taylor]: Taking taylor expansion of z in x
6.905 * [backup-simplify]: Simplify z into z
6.905 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.905 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.905 * [taylor]: Taking taylor expansion of -1 in x
6.905 * [backup-simplify]: Simplify -1 into -1
6.905 * [taylor]: Taking taylor expansion of y in x
6.905 * [backup-simplify]: Simplify y into y
6.905 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.905 * [taylor]: Taking taylor expansion of -1 in x
6.905 * [backup-simplify]: Simplify -1 into -1
6.905 * [taylor]: Taking taylor expansion of x in x
6.905 * [backup-simplify]: Simplify 0 into 0
6.906 * [backup-simplify]: Simplify 1 into 1
6.906 * [backup-simplify]: Simplify (/ -1 1) into -1
6.907 * [backup-simplify]: Simplify (+ 1 0) into 1
6.907 * [backup-simplify]: Simplify (* 1 (/ -1 y)) into (/ -1 y)
6.907 * [backup-simplify]: Simplify (+ (/ -1 y) -1) into (- (+ 1 (/ 1 y)))
6.907 * [backup-simplify]: Simplify (sqrt 0) into 0
6.908 * [backup-simplify]: Simplify (/ (- (+ 1 (/ 1 y))) (* 2 (sqrt 0))) into (* +nan.0 (+ 1 (/ 1 y)))
6.908 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z
6.908 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.908 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.908 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.908 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.908 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.908 * [taylor]: Taking taylor expansion of x in z
6.908 * [backup-simplify]: Simplify x into x
6.908 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.908 * [taylor]: Taking taylor expansion of z in z
6.908 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 1 into 1
6.909 * [backup-simplify]: Simplify (/ 1 1) into 1
6.909 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.909 * [taylor]: Taking taylor expansion of -1 in z
6.909 * [backup-simplify]: Simplify -1 into -1
6.909 * [taylor]: Taking taylor expansion of y in z
6.909 * [backup-simplify]: Simplify y into y
6.909 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.909 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.909 * [taylor]: Taking taylor expansion of -1 in z
6.909 * [backup-simplify]: Simplify -1 into -1
6.909 * [taylor]: Taking taylor expansion of x in z
6.909 * [backup-simplify]: Simplify x into x
6.909 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.910 * [backup-simplify]: Simplify (- 1) into -1
6.910 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.910 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
6.910 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.911 * [backup-simplify]: Simplify (sqrt 0) into 0
6.911 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.911 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z
6.911 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.911 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.911 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.912 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.912 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.912 * [taylor]: Taking taylor expansion of x in z
6.912 * [backup-simplify]: Simplify x into x
6.912 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.912 * [taylor]: Taking taylor expansion of z in z
6.912 * [backup-simplify]: Simplify 0 into 0
6.912 * [backup-simplify]: Simplify 1 into 1
6.912 * [backup-simplify]: Simplify (/ 1 1) into 1
6.912 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.912 * [taylor]: Taking taylor expansion of -1 in z
6.912 * [backup-simplify]: Simplify -1 into -1
6.912 * [taylor]: Taking taylor expansion of y in z
6.912 * [backup-simplify]: Simplify y into y
6.912 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.912 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.912 * [taylor]: Taking taylor expansion of -1 in z
6.912 * [backup-simplify]: Simplify -1 into -1
6.912 * [taylor]: Taking taylor expansion of x in z
6.913 * [backup-simplify]: Simplify x into x
6.913 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.913 * [backup-simplify]: Simplify (- 1) into -1
6.914 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.914 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
6.914 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.914 * [backup-simplify]: Simplify (sqrt 0) into 0
6.915 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
6.915 * [taylor]: Taking taylor expansion of 0 in x
6.915 * [backup-simplify]: Simplify 0 into 0
6.915 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x
6.915 * [taylor]: Taking taylor expansion of +nan.0 in x
6.915 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.915 * [taylor]: Taking taylor expansion of y in x
6.915 * [backup-simplify]: Simplify y into y
6.915 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
6.915 * [taylor]: Taking taylor expansion of 0 in y
6.915 * [backup-simplify]: Simplify 0 into 0
6.915 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
6.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.916 * [backup-simplify]: Simplify (- 0) into 0
6.917 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
6.917 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y)))
6.917 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x)))
6.918 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 (* x y)) (/ 1 x))) (pow (/ +nan.0 y) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x))))
6.918 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x)))) in x
6.919 * [taylor]: Taking taylor expansion of +nan.0 in x
6.919 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.919 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x))) in x
6.919 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x
6.919 * [taylor]: Taking taylor expansion of +nan.0 in x
6.919 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.919 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.919 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.919 * [taylor]: Taking taylor expansion of y in x
6.919 * [backup-simplify]: Simplify y into y
6.919 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.919 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
6.919 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.919 * [taylor]: Taking taylor expansion of (* x y) in x
6.919 * [taylor]: Taking taylor expansion of x in x
6.919 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify 1 into 1
6.919 * [taylor]: Taking taylor expansion of y in x
6.919 * [backup-simplify]: Simplify y into y
6.919 * [backup-simplify]: Simplify (* 0 y) into 0
6.920 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.920 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.920 * [taylor]: Taking taylor expansion of x in x
6.920 * [backup-simplify]: Simplify 0 into 0
6.920 * [backup-simplify]: Simplify 1 into 1
6.920 * [backup-simplify]: Simplify (/ 1 1) into 1
6.920 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
6.921 * [backup-simplify]: Simplify (+ 0 (+ 1 (/ 1 y))) into (+ 1 (/ 1 y))
6.921 * [backup-simplify]: Simplify (* +nan.0 (+ 1 (/ 1 y))) into (* +nan.0 (+ 1 (/ 1 y)))
6.921 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1 (/ 1 y))) in y
6.921 * [taylor]: Taking taylor expansion of +nan.0 in y
6.921 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.921 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
6.921 * [taylor]: Taking taylor expansion of 1 in y
6.921 * [backup-simplify]: Simplify 1 into 1
6.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.921 * [taylor]: Taking taylor expansion of y in y
6.921 * [backup-simplify]: Simplify 0 into 0
6.921 * [backup-simplify]: Simplify 1 into 1
6.921 * [backup-simplify]: Simplify (/ 1 1) into 1
6.922 * [backup-simplify]: Simplify (+ 0 1) into 1
6.922 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.922 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.922 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
6.922 * [taylor]: Taking taylor expansion of +nan.0 in y
6.922 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.922 * [taylor]: Taking taylor expansion of y in y
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 1 into 1
6.923 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
6.923 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.923 * [taylor]: Taking taylor expansion of 0 in y
6.923 * [backup-simplify]: Simplify 0 into 0
6.923 * [backup-simplify]: Simplify 0 into 0
6.923 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.923 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.925 * [backup-simplify]: Simplify (- 0) into 0
6.925 * [backup-simplify]: Simplify (+ 0 0) into 0
6.926 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0
6.926 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.926 * [backup-simplify]: Simplify (+ 0 0) into 0
6.928 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y) (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (+ (/ 1 (* x y)) (/ 1 x)))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))))
6.928 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x
6.928 * [taylor]: Taking taylor expansion of +nan.0 in x
6.928 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.928 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x
6.928 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x
6.928 * [taylor]: Taking taylor expansion of +nan.0 in x
6.928 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.928 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
6.928 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
6.928 * [taylor]: Taking taylor expansion of x in x
6.928 * [backup-simplify]: Simplify 0 into 0
6.928 * [backup-simplify]: Simplify 1 into 1
6.928 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.928 * [taylor]: Taking taylor expansion of y in x
6.928 * [backup-simplify]: Simplify y into y
6.928 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.928 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
6.929 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.929 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
6.929 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
6.929 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x
6.929 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (* +nan.0 (/ 1 (pow y 3))))) in x
6.929 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x
6.929 * [taylor]: Taking taylor expansion of +nan.0 in x
6.929 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.929 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.929 * [taylor]: Taking taylor expansion of (* x y) in x
6.930 * [taylor]: Taking taylor expansion of x in x
6.930 * [backup-simplify]: Simplify 0 into 0
6.930 * [backup-simplify]: Simplify 1 into 1
6.930 * [taylor]: Taking taylor expansion of y in x
6.930 * [backup-simplify]: Simplify y into y
6.930 * [backup-simplify]: Simplify (* 0 y) into 0
6.930 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.930 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.930 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x
6.930 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x
6.930 * [taylor]: Taking taylor expansion of +nan.0 in x
6.930 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.930 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
6.930 * [taylor]: Taking taylor expansion of (pow y 3) in x
6.930 * [taylor]: Taking taylor expansion of y in x
6.930 * [backup-simplify]: Simplify y into y
6.930 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.931 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3)
6.931 * [backup-simplify]: Simplify (/ 1 (pow y 3)) into (/ 1 (pow y 3))
6.931 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow y 2))) into (/ +nan.0 (pow y 2))
6.931 * [backup-simplify]: Simplify (* +nan.0 (/ 1 y)) into (/ +nan.0 y)
6.931 * [backup-simplify]: Simplify (+ (/ +nan.0 y) 0) into (- (* +nan.0 (/ 1 y)))
6.931 * [backup-simplify]: Simplify (- (- (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
6.932 * [backup-simplify]: Simplify (+ (/ +nan.0 (pow y 2)) (- (* +nan.0 (/ 1 y)))) into (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.932 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))))
6.932 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y))))) in y
6.932 * [taylor]: Taking taylor expansion of +nan.0 in y
6.932 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.932 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- (* +nan.0 (/ 1 y)))) in y
6.932 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
6.932 * [taylor]: Taking taylor expansion of +nan.0 in y
6.932 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.932 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.932 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.932 * [taylor]: Taking taylor expansion of y in y
6.932 * [backup-simplify]: Simplify 0 into 0
6.932 * [backup-simplify]: Simplify 1 into 1
6.933 * [backup-simplify]: Simplify (* 1 1) into 1
6.933 * [backup-simplify]: Simplify (/ 1 1) into 1
6.933 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
6.933 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
6.933 * [taylor]: Taking taylor expansion of +nan.0 in y
6.933 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.933 * [taylor]: Taking taylor expansion of y in y
6.933 * [backup-simplify]: Simplify 0 into 0
6.934 * [backup-simplify]: Simplify 1 into 1
6.934 * [backup-simplify]: Simplify (/ 1 1) into 1
6.935 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.936 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
6.937 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.937 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.938 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
6.938 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
6.939 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
6.941 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
6.942 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.943 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (pow (/ 1 (- z)) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 (- y))) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))))) into (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
6.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
6.944 * [backup-simplify]: Simplify (fma (- z x) y x) into (fma (- z x) y x)
6.944 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0
6.944 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y
6.944 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.944 * [taylor]: Taking taylor expansion of (* (- z x) y) in y
6.944 * [taylor]: Taking taylor expansion of (- z x) in y
6.944 * [taylor]: Taking taylor expansion of z in y
6.944 * [backup-simplify]: Simplify z into z
6.944 * [taylor]: Taking taylor expansion of x in y
6.944 * [backup-simplify]: Simplify x into x
6.944 * [taylor]: Taking taylor expansion of y in y
6.944 * [backup-simplify]: Simplify 0 into 0
6.944 * [backup-simplify]: Simplify 1 into 1
6.944 * [taylor]: Taking taylor expansion of x in y
6.944 * [backup-simplify]: Simplify x into x
6.944 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x
6.944 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.944 * [taylor]: Taking taylor expansion of (* (- z x) y) in x
6.944 * [taylor]: Taking taylor expansion of (- z x) in x
6.944 * [taylor]: Taking taylor expansion of z in x
6.945 * [backup-simplify]: Simplify z into z
6.945 * [taylor]: Taking taylor expansion of x in x
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify 1 into 1
6.945 * [taylor]: Taking taylor expansion of y in x
6.945 * [backup-simplify]: Simplify y into y
6.945 * [taylor]: Taking taylor expansion of x in x
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify 1 into 1
6.945 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.945 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.945 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.945 * [taylor]: Taking taylor expansion of (- z x) in z
6.945 * [taylor]: Taking taylor expansion of z in z
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify 1 into 1
6.945 * [taylor]: Taking taylor expansion of x in z
6.945 * [backup-simplify]: Simplify x into x
6.945 * [taylor]: Taking taylor expansion of y in z
6.945 * [backup-simplify]: Simplify y into y
6.945 * [taylor]: Taking taylor expansion of x in z
6.945 * [backup-simplify]: Simplify x into x
6.945 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
6.945 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
6.945 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
6.945 * [taylor]: Taking taylor expansion of (- z x) in z
6.945 * [taylor]: Taking taylor expansion of z in z
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify 1 into 1
6.945 * [taylor]: Taking taylor expansion of x in z
6.946 * [backup-simplify]: Simplify x into x
6.946 * [taylor]: Taking taylor expansion of y in z
6.946 * [backup-simplify]: Simplify y into y
6.946 * [taylor]: Taking taylor expansion of x in z
6.946 * [backup-simplify]: Simplify x into x
6.946 * [backup-simplify]: Simplify (- x) into (- x)
6.946 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.946 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
6.946 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
6.946 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
6.946 * [taylor]: Taking taylor expansion of x in x
6.946 * [backup-simplify]: Simplify 0 into 0
6.946 * [backup-simplify]: Simplify 1 into 1
6.946 * [taylor]: Taking taylor expansion of (* x y) in x
6.946 * [taylor]: Taking taylor expansion of x in x
6.946 * [backup-simplify]: Simplify 0 into 0
6.946 * [backup-simplify]: Simplify 1 into 1
6.946 * [taylor]: Taking taylor expansion of y in x
6.946 * [backup-simplify]: Simplify y into y
6.946 * [backup-simplify]: Simplify (* 0 y) into 0
6.947 * [backup-simplify]: Simplify (- 0) into 0
6.947 * [backup-simplify]: Simplify (+ 0 0) into 0
6.947 * [taylor]: Taking taylor expansion of 0 in y
6.947 * [backup-simplify]: Simplify 0 into 0
6.947 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify (- 0) into 0
6.948 * [backup-simplify]: Simplify (+ 1 0) into 1
6.948 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
6.948 * [backup-simplify]: Simplify (+ y 0) into y
6.948 * [taylor]: Taking taylor expansion of y in x
6.948 * [backup-simplify]: Simplify y into y
6.949 * [taylor]: Taking taylor expansion of y in y
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify 1 into 1
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.949 * [backup-simplify]: Simplify (- y) into (- y)
6.949 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
6.949 * [taylor]: Taking taylor expansion of (- 1 y) in y
6.949 * [taylor]: Taking taylor expansion of 1 in y
6.949 * [backup-simplify]: Simplify 1 into 1
6.949 * [taylor]: Taking taylor expansion of y in y
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify 1 into 1
6.950 * [backup-simplify]: Simplify (- 0) into 0
6.950 * [backup-simplify]: Simplify (+ 1 0) into 1
6.950 * [backup-simplify]: Simplify 1 into 1
6.950 * [backup-simplify]: Simplify 0 into 0
6.951 * [backup-simplify]: Simplify (- 0) into 0
6.951 * [backup-simplify]: Simplify (+ 0 0) into 0
6.952 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0
6.952 * [backup-simplify]: Simplify (+ 0 0) into 0
6.952 * [taylor]: Taking taylor expansion of 0 in x
6.952 * [backup-simplify]: Simplify 0 into 0
6.952 * [taylor]: Taking taylor expansion of 0 in y
6.952 * [backup-simplify]: Simplify 0 into 0
6.952 * [backup-simplify]: Simplify 0 into 0
6.952 * [taylor]: Taking taylor expansion of 0 in y
6.952 * [backup-simplify]: Simplify 0 into 0
6.952 * [backup-simplify]: Simplify 0 into 0
6.953 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.954 * [backup-simplify]: Simplify (- 0) into 0
6.954 * [backup-simplify]: Simplify (+ 0 0) into 0
6.954 * [taylor]: Taking taylor expansion of 0 in y
6.954 * [backup-simplify]: Simplify 0 into 0
6.954 * [backup-simplify]: Simplify 0 into 0
6.954 * [backup-simplify]: Simplify 1 into 1
6.955 * [backup-simplify]: Simplify (- 1) into -1
6.955 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.955 * [backup-simplify]: Simplify -1 into -1
6.955 * [backup-simplify]: Simplify (+ (* -1 (* y (* x 1))) (+ (* 1 (* y (* 1 z))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x y))
6.955 * [backup-simplify]: Simplify (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) into (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))
6.955 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0
6.955 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y
6.955 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.955 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y
6.955 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.955 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.955 * [taylor]: Taking taylor expansion of z in y
6.955 * [backup-simplify]: Simplify z into z
6.955 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.955 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.956 * [taylor]: Taking taylor expansion of x in y
6.956 * [backup-simplify]: Simplify x into x
6.956 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.956 * [taylor]: Taking taylor expansion of y in y
6.956 * [backup-simplify]: Simplify 0 into 0
6.956 * [backup-simplify]: Simplify 1 into 1
6.956 * [backup-simplify]: Simplify (/ 1 1) into 1
6.956 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.956 * [taylor]: Taking taylor expansion of x in y
6.956 * [backup-simplify]: Simplify x into x
6.956 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.956 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x
6.956 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.956 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x
6.956 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.956 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.956 * [taylor]: Taking taylor expansion of z in x
6.956 * [backup-simplify]: Simplify z into z
6.956 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.956 * [taylor]: Taking taylor expansion of x in x
6.956 * [backup-simplify]: Simplify 0 into 0
6.956 * [backup-simplify]: Simplify 1 into 1
6.957 * [backup-simplify]: Simplify (/ 1 1) into 1
6.957 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.957 * [taylor]: Taking taylor expansion of y in x
6.957 * [backup-simplify]: Simplify y into y
6.957 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.957 * [taylor]: Taking taylor expansion of x in x
6.957 * [backup-simplify]: Simplify 0 into 0
6.957 * [backup-simplify]: Simplify 1 into 1
6.957 * [backup-simplify]: Simplify (/ 1 1) into 1
6.957 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.957 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.957 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.957 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.957 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.957 * [taylor]: Taking taylor expansion of z in z
6.957 * [backup-simplify]: Simplify 0 into 0
6.957 * [backup-simplify]: Simplify 1 into 1
6.957 * [backup-simplify]: Simplify (/ 1 1) into 1
6.957 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.957 * [taylor]: Taking taylor expansion of x in z
6.957 * [backup-simplify]: Simplify x into x
6.957 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.958 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.958 * [taylor]: Taking taylor expansion of y in z
6.958 * [backup-simplify]: Simplify y into y
6.958 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.958 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.958 * [taylor]: Taking taylor expansion of x in z
6.958 * [backup-simplify]: Simplify x into x
6.958 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.958 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
6.958 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
6.958 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
6.958 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.958 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.958 * [taylor]: Taking taylor expansion of z in z
6.958 * [backup-simplify]: Simplify 0 into 0
6.958 * [backup-simplify]: Simplify 1 into 1
6.958 * [backup-simplify]: Simplify (/ 1 1) into 1
6.958 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.958 * [taylor]: Taking taylor expansion of x in z
6.958 * [backup-simplify]: Simplify x into x
6.958 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.958 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.958 * [taylor]: Taking taylor expansion of y in z
6.958 * [backup-simplify]: Simplify y into y
6.958 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.958 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.958 * [taylor]: Taking taylor expansion of x in z
6.958 * [backup-simplify]: Simplify x into x
6.958 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.959 * [backup-simplify]: Simplify (+ 1 0) into 1
6.959 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
6.959 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.959 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.959 * [taylor]: Taking taylor expansion of y in x
6.959 * [backup-simplify]: Simplify y into y
6.959 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.960 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.960 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
6.960 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y)))
6.960 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y)))
6.960 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x
6.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.960 * [taylor]: Taking taylor expansion of x in x
6.960 * [backup-simplify]: Simplify 0 into 0
6.960 * [backup-simplify]: Simplify 1 into 1
6.960 * [backup-simplify]: Simplify (/ 1 1) into 1
6.960 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.960 * [taylor]: Taking taylor expansion of (* x y) in x
6.960 * [taylor]: Taking taylor expansion of x in x
6.960 * [backup-simplify]: Simplify 0 into 0
6.960 * [backup-simplify]: Simplify 1 into 1
6.961 * [taylor]: Taking taylor expansion of y in x
6.961 * [backup-simplify]: Simplify y into y
6.961 * [backup-simplify]: Simplify (* 0 y) into 0
6.961 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.961 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.961 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.961 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
6.961 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
6.961 * [taylor]: Taking taylor expansion of 1 in y
6.961 * [backup-simplify]: Simplify 1 into 1
6.961 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.961 * [taylor]: Taking taylor expansion of y in y
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [backup-simplify]: Simplify 1 into 1
6.961 * [backup-simplify]: Simplify (/ 1 1) into 1
6.962 * [backup-simplify]: Simplify (- 1) into -1
6.962 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.962 * [backup-simplify]: Simplify -1 into -1
6.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.962 * [taylor]: Taking taylor expansion of y in y
6.962 * [backup-simplify]: Simplify 0 into 0
6.962 * [backup-simplify]: Simplify 1 into 1
6.962 * [backup-simplify]: Simplify (/ 1 1) into 1
6.962 * [backup-simplify]: Simplify 1 into 1
6.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.963 * [backup-simplify]: Simplify (- 0) into 0
6.964 * [backup-simplify]: Simplify (+ 0 0) into 0
6.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0
6.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.964 * [backup-simplify]: Simplify (+ 0 0) into 0
6.964 * [taylor]: Taking taylor expansion of 0 in x
6.964 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.966 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.966 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.966 * [backup-simplify]: Simplify (- 0) into 0
6.966 * [backup-simplify]: Simplify (+ 0 0) into 0
6.966 * [taylor]: Taking taylor expansion of 0 in y
6.966 * [backup-simplify]: Simplify 0 into 0
6.966 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.966 * [taylor]: Taking taylor expansion of 0 in y
6.966 * [backup-simplify]: Simplify 0 into 0
6.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.967 * [backup-simplify]: Simplify (- 0) into 0
6.967 * [backup-simplify]: Simplify (+ 1 0) into 1
6.967 * [backup-simplify]: Simplify 1 into 1
6.968 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x y))
6.968 * [backup-simplify]: Simplify (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))
6.968 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0
6.968 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y
6.968 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.968 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y
6.968 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.968 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.968 * [taylor]: Taking taylor expansion of x in y
6.968 * [backup-simplify]: Simplify x into x
6.968 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.968 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.968 * [taylor]: Taking taylor expansion of z in y
6.968 * [backup-simplify]: Simplify z into z
6.968 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.968 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.968 * [taylor]: Taking taylor expansion of -1 in y
6.968 * [backup-simplify]: Simplify -1 into -1
6.968 * [taylor]: Taking taylor expansion of y in y
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify 1 into 1
6.969 * [backup-simplify]: Simplify (/ -1 1) into -1
6.969 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.969 * [taylor]: Taking taylor expansion of -1 in y
6.969 * [backup-simplify]: Simplify -1 into -1
6.969 * [taylor]: Taking taylor expansion of x in y
6.969 * [backup-simplify]: Simplify x into x
6.969 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.969 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x
6.969 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.969 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x
6.969 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.969 * [taylor]: Taking taylor expansion of x in x
6.969 * [backup-simplify]: Simplify 0 into 0
6.969 * [backup-simplify]: Simplify 1 into 1
6.969 * [backup-simplify]: Simplify (/ 1 1) into 1
6.969 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.969 * [taylor]: Taking taylor expansion of z in x
6.970 * [backup-simplify]: Simplify z into z
6.970 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.970 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.970 * [taylor]: Taking taylor expansion of -1 in x
6.970 * [backup-simplify]: Simplify -1 into -1
6.970 * [taylor]: Taking taylor expansion of y in x
6.970 * [backup-simplify]: Simplify y into y
6.970 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.970 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.970 * [taylor]: Taking taylor expansion of -1 in x
6.970 * [backup-simplify]: Simplify -1 into -1
6.970 * [taylor]: Taking taylor expansion of x in x
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify 1 into 1
6.970 * [backup-simplify]: Simplify (/ -1 1) into -1
6.970 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.970 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.970 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.970 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.970 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.970 * [taylor]: Taking taylor expansion of x in z
6.970 * [backup-simplify]: Simplify x into x
6.970 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.970 * [taylor]: Taking taylor expansion of z in z
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify 1 into 1
6.971 * [backup-simplify]: Simplify (/ 1 1) into 1
6.971 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.971 * [taylor]: Taking taylor expansion of -1 in z
6.971 * [backup-simplify]: Simplify -1 into -1
6.971 * [taylor]: Taking taylor expansion of y in z
6.971 * [backup-simplify]: Simplify y into y
6.971 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.971 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.971 * [taylor]: Taking taylor expansion of -1 in z
6.971 * [backup-simplify]: Simplify -1 into -1
6.971 * [taylor]: Taking taylor expansion of x in z
6.971 * [backup-simplify]: Simplify x into x
6.971 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.971 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
6.971 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
6.971 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
6.971 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.971 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.971 * [taylor]: Taking taylor expansion of x in z
6.971 * [backup-simplify]: Simplify x into x
6.971 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.971 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.971 * [taylor]: Taking taylor expansion of z in z
6.971 * [backup-simplify]: Simplify 0 into 0
6.971 * [backup-simplify]: Simplify 1 into 1
6.971 * [backup-simplify]: Simplify (/ 1 1) into 1
6.971 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.972 * [taylor]: Taking taylor expansion of -1 in z
6.972 * [backup-simplify]: Simplify -1 into -1
6.972 * [taylor]: Taking taylor expansion of y in z
6.972 * [backup-simplify]: Simplify y into y
6.972 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.972 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.972 * [taylor]: Taking taylor expansion of -1 in z
6.972 * [backup-simplify]: Simplify -1 into -1
6.972 * [taylor]: Taking taylor expansion of x in z
6.972 * [backup-simplify]: Simplify x into x
6.972 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.972 * [backup-simplify]: Simplify (- 1) into -1
6.972 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.972 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
6.972 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.972 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.972 * [taylor]: Taking taylor expansion of y in x
6.972 * [backup-simplify]: Simplify y into y
6.973 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.973 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
6.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.973 * [backup-simplify]: Simplify (- 0) into 0
6.973 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
6.974 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y)))
6.974 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x)))
6.974 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in x
6.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
6.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.974 * [taylor]: Taking taylor expansion of (* x y) in x
6.974 * [taylor]: Taking taylor expansion of x in x
6.974 * [backup-simplify]: Simplify 0 into 0
6.974 * [backup-simplify]: Simplify 1 into 1
6.974 * [taylor]: Taking taylor expansion of y in x
6.974 * [backup-simplify]: Simplify y into y
6.974 * [backup-simplify]: Simplify (* 0 y) into 0
6.975 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.975 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.975 * [taylor]: Taking taylor expansion of x in x
6.975 * [backup-simplify]: Simplify 0 into 0
6.975 * [backup-simplify]: Simplify 1 into 1
6.975 * [backup-simplify]: Simplify (/ 1 1) into 1
6.975 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
6.975 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y)))
6.975 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y
6.975 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
6.975 * [taylor]: Taking taylor expansion of 1 in y
6.975 * [backup-simplify]: Simplify 1 into 1
6.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.975 * [taylor]: Taking taylor expansion of y in y
6.975 * [backup-simplify]: Simplify 0 into 0
6.975 * [backup-simplify]: Simplify 1 into 1
6.976 * [backup-simplify]: Simplify (/ 1 1) into 1
6.976 * [backup-simplify]: Simplify (+ 0 1) into 1
6.976 * [backup-simplify]: Simplify (- 1) into -1
6.976 * [backup-simplify]: Simplify -1 into -1
6.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.976 * [taylor]: Taking taylor expansion of y in y
6.976 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify 1 into 1
6.977 * [backup-simplify]: Simplify (/ 1 1) into 1
6.977 * [backup-simplify]: Simplify 1 into 1
6.977 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.977 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.978 * [backup-simplify]: Simplify (- 0) into 0
6.978 * [backup-simplify]: Simplify (+ 0 0) into 0
6.978 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0
6.978 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.979 * [backup-simplify]: Simplify (+ 0 0) into 0
6.979 * [taylor]: Taking taylor expansion of 0 in x
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.979 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.980 * [backup-simplify]: Simplify (+ 0 0) into 0
6.980 * [backup-simplify]: Simplify (- 0) into 0
6.980 * [taylor]: Taking taylor expansion of 0 in y
6.980 * [backup-simplify]: Simplify 0 into 0
6.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.980 * [taylor]: Taking taylor expansion of 0 in y
6.980 * [backup-simplify]: Simplify 0 into 0
6.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.983 * [backup-simplify]: Simplify (+ 1 0) into 1
6.983 * [backup-simplify]: Simplify (- 1) into -1
6.983 * [backup-simplify]: Simplify -1 into -1
6.984 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x y))
6.984 * * * [progress]: simplifying candidates
6.985 * [simplify]: Simplifying:
  (expm1 (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (log1p (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fma (- z x) y x) (fma (- z x) y x))
  (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))
  (* (fma (- z x) y x) (fma (- z x) y x))
  (+ 1 1)
  (+ (log (sqrt (fma (- z x) y x))) (log (sqrt (fma (- z x) y x))))
  (log (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (exp (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (* (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))))
  (* (cbrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (cbrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))))
  (cbrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (* (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (* (fma (- z x) y x) (fma (- z x) y x))
  (sqrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (sqrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))
  (* (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))))
  (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))
  (* (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))) (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))))
  (* (sqrt (cbrt (fma (- z x) y x))) (sqrt (cbrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* 1 1)
  (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fma (- z x) y x)) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))))
  (* (sqrt (fma (- z x) y x)) (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))))
  (* (sqrt (fma (- z x) y x)) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (fma (- z x) y x)) (sqrt 1))
  (* (sqrt (fma (- z x) y x)) (sqrt (sqrt (fma (- z x) y x))))
  (* (sqrt (fma (- z x) y x)) 1)
  (* (cbrt (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))
  (* (sqrt (cbrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))
  (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))
  (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))
  (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))
  (expm1 (sqrt (fma (- z x) y x)))
  (log1p (sqrt (fma (- z x) y x)))
  (log (sqrt (fma (- z x) y x)))
  (exp (sqrt (fma (- z x) y x)))
  (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))
  (cbrt (sqrt (fma (- z x) y x)))
  (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))
  (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))
  (sqrt (cbrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt 1)
  (sqrt (fma (- z x) y x))
  (/ 1 2)
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (expm1 (sqrt (fma (- z x) y x)))
  (log1p (sqrt (fma (- z x) y x)))
  (log (sqrt (fma (- z x) y x)))
  (exp (sqrt (fma (- z x) y x)))
  (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))
  (cbrt (sqrt (fma (- z x) y x)))
  (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))
  (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))
  (sqrt (cbrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt 1)
  (sqrt (fma (- z x) y x))
  (/ 1 2)
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  (* (- z x) y)
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (- (+ x (* z y)) (* x y))
  (- (+ x (* z y)) (* x y))
  (- (+ x (* z y)) (* x y))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2)))))))
  (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2)))))))
  (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 (/ (* x y) (pow z 2))) (- (* +nan.0 y))))))
  (- (+ x (* z y)) (* x y))
  (- (+ x (* z y)) (* x y))
  (- (+ x (* z y)) (* x y))
6.987 * * [simplify]: iteration 0: 89 enodes
7.009 * * [simplify]: iteration 1: 217 enodes
7.136 * * [simplify]: iteration 2: 1015 enodes
7.842 * * [simplify]: iteration complete: 5001 enodes
7.842 * * [simplify]: Extracting #0: cost 32 inf + 0
7.845 * * [simplify]: Extracting #1: cost 1230 inf + 3
7.850 * * [simplify]: Extracting #2: cost 1745 inf + 112
7.856 * * [simplify]: Extracting #3: cost 1593 inf + 1568
7.866 * * [simplify]: Extracting #4: cost 803 inf + 10103
7.872 * * [simplify]: Extracting #5: cost 112 inf + 22358
7.878 * * [simplify]: Extracting #6: cost 0 inf + 23825
7.884 * * [simplify]: Extracting #7: cost 0 inf + 23824
7.895 * [simplify]: Simplified to:
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  1
  1
  2
  1
  1
  (pow (sqrt (fma (- z x) y x)) (+ 3 1))
  (fma (- z x) y x)
  (pow (sqrt (fma (- z x) y x)) (+ 3 1))
  2
  (log (fma (- z x) y x))
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (pow (fma (- z x) y x) 3)
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (pow (fma (- z x) y x) 3)
  (pow (sqrt (fma (- z x) y x)) (+ 3 1))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (pow (cbrt (sqrt (fma (- z x) y x))) (+ 3 1))
  (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  1
  (fma (- z x) y x)
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  1
  (fma (- z x) y x)
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  1
  2
  1
  (* (pow (cbrt (sqrt (fma (- z x) y x))) (+ 3 1)) (cbrt (sqrt (fma (- z x) y x))))
  (* (sqrt (fma (- z x) y x)) (fabs (cbrt (fma (- z x) y x))))
  (pow (sqrt (sqrt (fma (- z x) y x))) 3)
  (sqrt (fma (- z x) y x))
  (pow (sqrt (sqrt (fma (- z x) y x))) 3)
  (sqrt (fma (- z x) y x))
  (pow (cbrt (sqrt (fma (- z x) y x))) (+ 3 1))
  (* (sqrt (fma (- z x) y x)) (sqrt (cbrt (fma (- z x) y x))))
  (pow (sqrt (sqrt (fma (- z x) y x))) 3)
  (fma (- z x) y x)
  (pow (sqrt (sqrt (fma (- z x) y x))) 3)
  (fma (- z x) y x)
  (expm1 (sqrt (fma (- z x) y x)))
  (log1p (sqrt (fma (- z x) y x)))
  (log (sqrt (fma (- z x) y x)))
  (exp (sqrt (fma (- z x) y x)))
  (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))
  (cbrt (sqrt (fma (- z x) y x)))
  (pow (sqrt (fma (- z x) y x)) 3)
  (fabs (cbrt (fma (- z x) y x)))
  (sqrt (cbrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  1
  (sqrt (fma (- z x) y x))
  1/2
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (expm1 (sqrt (fma (- z x) y x)))
  (log1p (sqrt (fma (- z x) y x)))
  (log (sqrt (fma (- z x) y x)))
  (exp (sqrt (fma (- z x) y x)))
  (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))
  (cbrt (sqrt (fma (- z x) y x)))
  (pow (sqrt (fma (- z x) y x)) 3)
  (fabs (cbrt (fma (- z x) y x)))
  (sqrt (cbrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  1
  (sqrt (fma (- z x) y x))
  1/2
  (sqrt (sqrt (fma (- z x) y x)))
  (sqrt (sqrt (fma (- z x) y x)))
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  (* (- z x) y)
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (pow (fma (- z x) y x) 3)
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (fma y (- z x) x)
  (fma y (- z x) x)
  (fma y (- z x) x)
  (* +nan.0 (+ (- x) (fma (- x) x (* y z))))
  (- (+ (* (/ (* y x) z) (- +nan.0 (/ +nan.0 z))) (* y +nan.0)))
  (- (+ (* (/ (* y x) z) (- +nan.0 (/ +nan.0 z))) (* y +nan.0)))
  (* +nan.0 (+ (- x) (fma (- x) x (* y z))))
  (- (+ (* (/ (* y x) z) (- +nan.0 (/ +nan.0 z))) (* y +nan.0)))
  (- (+ (* (/ (* y x) z) (- +nan.0 (/ +nan.0 z))) (* y +nan.0)))
  (fma y (- z x) x)
  (fma y (- z x) x)
  (fma y (- z x) x)
7.896 * * * [progress]: adding candidates to table
8.278 * [progress]: [Phase 3 of 3] Extracting.
8.279 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))> #<alt (λ (x y z) (fma y (- z x) x))>)
8.279 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
8.280 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))> #<alt (λ (x y z) (fma y (- z x) x))>)
8.328 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))> #<alt (λ (x y z) (fma y (- z x) x))>)
8.360 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))> #<alt (λ (x y z) (fma y (- z x) x))>)
8.395 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.395 * [simplify]: Simplifying:
  (fma y (- z x) x)
8.395 * * [simplify]: iteration 0: 5 enodes
8.396 * * [simplify]: iteration complete: 5 enodes
8.396 * * [simplify]: Extracting #0: cost 1 inf + 0
8.396 * * [simplify]: Extracting #1: cost 4 inf + 0
8.396 * * [simplify]: Extracting #2: cost 3 inf + 2
8.396 * * [simplify]: Extracting #3: cost 0 inf + 12
8.396 * [simplify]: Simplified to:
  (fma y (- z x) x)
9.715 * [regime-testing]: Baseline error score: 0.005750718839854982
9.717 * [regime-testing]: Oracle error score: 0.004875609451181397
9.722 * [regime-testing]: End program error score: 0.005750718839854982