47.175 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (+ (* x y) (* z (- 1.0 y)))
0.026 * * [simplify]: iteration 0: 8 enodes
0.028 * * [simplify]: iteration 1: 14 enodes
0.030 * * [simplify]: iteration 2: 24 enodes
0.034 * * [simplify]: iteration 3: 40 enodes
0.044 * * [simplify]: iteration 4: 61 enodes
0.061 * * [simplify]: iteration 5: 78 enodes
0.081 * * [simplify]: iteration 6: 98 enodes
0.106 * * [simplify]: iteration 7: 124 enodes
0.151 * * [simplify]: iteration 8: 167 enodes
0.242 * * [simplify]: iteration 9: 292 enodes
0.374 * * [simplify]: iteration 10: 681 enodes
0.793 * * [simplify]: iteration 11: 1597 enodes
1.646 * * [simplify]: iteration 12: 2429 enodes
1.893 * * [simplify]: iteration 13: 2655 enodes
2.091 * * [simplify]: iteration 14: 2926 enodes
2.242 * * [simplify]: iteration 15: 3141 enodes
2.416 * * [simplify]: iteration 16: 3410 enodes
2.556 * * [simplify]: iteration 17: 3623 enodes
2.728 * * [simplify]: iteration 18: 3894 enodes
2.857 * * [simplify]: iteration 19: 4109 enodes
2.997 * * [simplify]: iteration 20: 4378 enodes
3.118 * * [simplify]: iteration 21: 4591 enodes
3.237 * * [simplify]: iteration 22: 4863 enodes
3.319 * * [simplify]: iteration complete: 5001 enodes
3.319 * * [simplify]: Extracting #0: cost 1 inf + 0
3.319 * * [simplify]: Extracting #1: cost 26 inf + 0
3.320 * * [simplify]: Extracting #2: cost 82 inf + 348
3.324 * * [simplify]: Extracting #3: cost 11 inf + 6709
3.329 * * [simplify]: Extracting #4: cost 0 inf + 7799
3.334 * [simplify]: Simplified to:
  (fma x y (* (- 1.0 y) z))
3.340 * * [progress]: iteration 1 / 4
3.340 * * * [progress]: picking best candidate
3.347 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* z (- 1.0 y))))>
3.347 * * * [progress]: localizing error
3.358 * * * [progress]: generating rewritten candidates
3.358 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.386 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.401 * * * [progress]: generating series expansions
3.401 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.401 * [backup-simplify]: Simplify (* z (- 1.0 y)) into (* z (- 1.0 y))
3.401 * [approximate]: Taking taylor expansion of (* z (- 1.0 y)) in (z y) around 0
3.401 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in y
3.401 * [taylor]: Taking taylor expansion of z in y
3.401 * [backup-simplify]: Simplify z into z
3.401 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
3.402 * [taylor]: Taking taylor expansion of 1.0 in y
3.402 * [backup-simplify]: Simplify 1.0 into 1.0
3.402 * [taylor]: Taking taylor expansion of y in y
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 1 into 1
3.402 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
3.402 * [taylor]: Taking taylor expansion of z in z
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 1 into 1
3.402 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
3.402 * [taylor]: Taking taylor expansion of 1.0 in z
3.402 * [backup-simplify]: Simplify 1.0 into 1.0
3.402 * [taylor]: Taking taylor expansion of y in z
3.402 * [backup-simplify]: Simplify y into y
3.402 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
3.402 * [taylor]: Taking taylor expansion of z in z
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 1 into 1
3.402 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
3.402 * [taylor]: Taking taylor expansion of 1.0 in z
3.402 * [backup-simplify]: Simplify 1.0 into 1.0
3.402 * [taylor]: Taking taylor expansion of y in z
3.402 * [backup-simplify]: Simplify y into y
3.402 * [backup-simplify]: Simplify (- y) into (- y)
3.402 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
3.403 * [backup-simplify]: Simplify (* 0 (- 1.0 y)) into 0
3.403 * [taylor]: Taking taylor expansion of 0 in y
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify (- 0) into 0
3.405 * [backup-simplify]: Simplify (+ 0 0) into 0
3.405 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 y))) into (- 1.0 y)
3.405 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
3.405 * [taylor]: Taking taylor expansion of 1.0 in y
3.405 * [backup-simplify]: Simplify 1.0 into 1.0
3.405 * [taylor]: Taking taylor expansion of y in y
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 1 into 1
3.406 * [backup-simplify]: Simplify (- 0) into 0
3.406 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.406 * [backup-simplify]: Simplify 1.0 into 1.0
3.406 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify (- 0) into 0
3.408 * [backup-simplify]: Simplify (+ 0 0) into 0
3.409 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 y)))) into 0
3.409 * [taylor]: Taking taylor expansion of 0 in y
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify (- 1) into -1
3.410 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.410 * [backup-simplify]: Simplify -1 into -1
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify (- 0) into 0
3.411 * [backup-simplify]: Simplify (+ 0 0) into 0
3.412 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 y))))) into 0
3.412 * [taylor]: Taking taylor expansion of 0 in y
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify (- 0) into 0
3.413 * [backup-simplify]: Simplify (+ 0 0) into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify (- 0) into 0
3.414 * [backup-simplify]: Simplify (+ 0 0) into 0
3.416 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 1.0 y)))))) into 0
3.416 * [taylor]: Taking taylor expansion of 0 in y
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify (+ (* -1 (* y z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* z y))
3.417 * [backup-simplify]: Simplify (* (/ 1 z) (- 1.0 (/ 1 y))) into (/ (- 1.0 (/ 1 y)) z)
3.417 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (z y) around 0
3.417 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
3.417 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.417 * [taylor]: Taking taylor expansion of 1.0 in y
3.417 * [backup-simplify]: Simplify 1.0 into 1.0
3.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.417 * [taylor]: Taking taylor expansion of y in y
3.417 * [backup-simplify]: Simplify 0 into 0
3.417 * [backup-simplify]: Simplify 1 into 1
3.418 * [backup-simplify]: Simplify (/ 1 1) into 1
3.418 * [taylor]: Taking taylor expansion of z in y
3.418 * [backup-simplify]: Simplify z into z
3.419 * [backup-simplify]: Simplify (- 1) into -1
3.419 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.419 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.419 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
3.419 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
3.419 * [taylor]: Taking taylor expansion of 1.0 in z
3.419 * [backup-simplify]: Simplify 1.0 into 1.0
3.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.419 * [taylor]: Taking taylor expansion of y in z
3.419 * [backup-simplify]: Simplify y into y
3.419 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.419 * [taylor]: Taking taylor expansion of z in z
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 1 into 1
3.420 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.420 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
3.420 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
3.420 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
3.420 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
3.420 * [taylor]: Taking taylor expansion of 1.0 in z
3.420 * [backup-simplify]: Simplify 1.0 into 1.0
3.420 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.420 * [taylor]: Taking taylor expansion of y in z
3.420 * [backup-simplify]: Simplify y into y
3.420 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.420 * [taylor]: Taking taylor expansion of z in z
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 1 into 1
3.420 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.420 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
3.421 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
3.421 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.421 * [taylor]: Taking taylor expansion of 1.0 in y
3.421 * [backup-simplify]: Simplify 1.0 into 1.0
3.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.421 * [taylor]: Taking taylor expansion of y in y
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 1 into 1
3.422 * [backup-simplify]: Simplify (/ 1 1) into 1
3.422 * [backup-simplify]: Simplify (- 1) into -1
3.422 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.423 * [backup-simplify]: Simplify -1 into -1
3.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.423 * [backup-simplify]: Simplify (- 0) into 0
3.424 * [backup-simplify]: Simplify (+ 0 0) into 0
3.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)))) into 0
3.425 * [taylor]: Taking taylor expansion of 0 in y
3.425 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.426 * [backup-simplify]: Simplify (- 0) into 0
3.427 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.427 * [backup-simplify]: Simplify 1.0 into 1.0
3.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.428 * [backup-simplify]: Simplify (- 0) into 0
3.428 * [backup-simplify]: Simplify (+ 0 0) into 0
3.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.430 * [taylor]: Taking taylor expansion of 0 in y
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.431 * [backup-simplify]: Simplify (- 0) into 0
3.431 * [backup-simplify]: Simplify (+ 0 0) into 0
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.432 * [backup-simplify]: Simplify (- 0) into 0
3.432 * [backup-simplify]: Simplify (+ 0 0) into 0
3.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.433 * [taylor]: Taking taylor expansion of 0 in y
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.434 * [backup-simplify]: Simplify (- 0) into 0
3.434 * [backup-simplify]: Simplify (+ 0 0) into 0
3.434 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.435 * [backup-simplify]: Simplify (- 0) into 0
3.435 * [backup-simplify]: Simplify (+ 0 0) into 0
3.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.437 * [taylor]: Taking taylor expansion of 0 in y
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* z y))
3.437 * [backup-simplify]: Simplify (* (/ 1 (- z)) (- 1.0 (/ 1 (- y)))) into (* -1 (/ (+ 1.0 (/ 1 y)) z))
3.437 * [approximate]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in (z y) around 0
3.437 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in y
3.437 * [taylor]: Taking taylor expansion of -1 in y
3.437 * [backup-simplify]: Simplify -1 into -1
3.437 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in y
3.437 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
3.437 * [taylor]: Taking taylor expansion of 1.0 in y
3.437 * [backup-simplify]: Simplify 1.0 into 1.0
3.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.437 * [taylor]: Taking taylor expansion of y in y
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (/ 1 1) into 1
3.438 * [taylor]: Taking taylor expansion of z in y
3.438 * [backup-simplify]: Simplify z into z
3.438 * [backup-simplify]: Simplify (+ 0 1) into 1
3.438 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.438 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z
3.438 * [taylor]: Taking taylor expansion of -1 in z
3.438 * [backup-simplify]: Simplify -1 into -1
3.438 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z
3.438 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
3.438 * [taylor]: Taking taylor expansion of 1.0 in z
3.438 * [backup-simplify]: Simplify 1.0 into 1.0
3.438 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.438 * [taylor]: Taking taylor expansion of y in z
3.438 * [backup-simplify]: Simplify y into y
3.438 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.438 * [taylor]: Taking taylor expansion of z in z
3.438 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
3.438 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y))
3.439 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z
3.439 * [taylor]: Taking taylor expansion of -1 in z
3.439 * [backup-simplify]: Simplify -1 into -1
3.439 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z
3.439 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
3.439 * [taylor]: Taking taylor expansion of 1.0 in z
3.439 * [backup-simplify]: Simplify 1.0 into 1.0
3.439 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.439 * [taylor]: Taking taylor expansion of y in z
3.439 * [backup-simplify]: Simplify y into y
3.439 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.439 * [taylor]: Taking taylor expansion of z in z
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.439 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
3.439 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y))
3.439 * [backup-simplify]: Simplify (* -1 (+ 1.0 (/ 1 y))) into (* -1 (+ 1.0 (/ 1 y)))
3.439 * [taylor]: Taking taylor expansion of (* -1 (+ 1.0 (/ 1 y))) in y
3.439 * [taylor]: Taking taylor expansion of -1 in y
3.439 * [backup-simplify]: Simplify -1 into -1
3.439 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
3.439 * [taylor]: Taking taylor expansion of 1.0 in y
3.439 * [backup-simplify]: Simplify 1.0 into 1.0
3.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.439 * [taylor]: Taking taylor expansion of y in y
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.440 * [backup-simplify]: Simplify (/ 1 1) into 1
3.440 * [backup-simplify]: Simplify (+ 0 1) into 1
3.440 * [backup-simplify]: Simplify (* -1 1) into -1
3.440 * [backup-simplify]: Simplify -1 into -1
3.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.441 * [backup-simplify]: Simplify (+ 0 0) into 0
3.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)))) into 0
3.442 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ 1.0 (/ 1 y)))) into 0
3.442 * [taylor]: Taking taylor expansion of 0 in y
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.442 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.443 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 1)) into (- 1.0)
3.444 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.444 * [backup-simplify]: Simplify (+ 0 0) into 0
3.445 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.446 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y))))) into 0
3.446 * [taylor]: Taking taylor expansion of 0 in y
3.446 * [backup-simplify]: Simplify 0 into 0
3.446 * [backup-simplify]: Simplify 0 into 0
3.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.447 * [backup-simplify]: Simplify (+ 0 0) into 0
3.447 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 1))) into 0
3.447 * [backup-simplify]: Simplify 0 into 0
3.447 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.448 * [backup-simplify]: Simplify (+ 0 0) into 0
3.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.454 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y)))))) into 0
3.454 * [taylor]: Taking taylor expansion of 0 in y
3.454 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.455 * [backup-simplify]: Simplify (+ 0 0) into 0
3.456 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))) into 0
3.456 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.457 * [backup-simplify]: Simplify (+ 0 0) into 0
3.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ 1.0 (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.460 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y))))))) into 0
3.460 * [taylor]: Taking taylor expansion of 0 in y
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 (- z))))) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) into (- (* 1.0 z) (* z y))
3.460 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.460 * [backup-simplify]: Simplify (+ (* x y) (* z (- 1.0 y))) into (- (+ (* 1.0 z) (* x y)) (* z y))
3.460 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* z y)) in (x y z) around 0
3.460 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* z y)) in z
3.460 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in z
3.460 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.460 * [taylor]: Taking taylor expansion of 1.0 in z
3.461 * [backup-simplify]: Simplify 1.0 into 1.0
3.461 * [taylor]: Taking taylor expansion of z in z
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [taylor]: Taking taylor expansion of (* x y) in z
3.461 * [taylor]: Taking taylor expansion of x in z
3.461 * [backup-simplify]: Simplify x into x
3.461 * [taylor]: Taking taylor expansion of y in z
3.461 * [backup-simplify]: Simplify y into y
3.461 * [taylor]: Taking taylor expansion of (* z y) in z
3.461 * [taylor]: Taking taylor expansion of z in z
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [taylor]: Taking taylor expansion of y in z
3.461 * [backup-simplify]: Simplify y into y
3.461 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* z y)) in y
3.461 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in y
3.461 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
3.461 * [taylor]: Taking taylor expansion of 1.0 in y
3.461 * [backup-simplify]: Simplify 1.0 into 1.0
3.461 * [taylor]: Taking taylor expansion of z in y
3.461 * [backup-simplify]: Simplify z into z
3.461 * [taylor]: Taking taylor expansion of (* x y) in y
3.461 * [taylor]: Taking taylor expansion of x in y
3.461 * [backup-simplify]: Simplify x into x
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [taylor]: Taking taylor expansion of (* z y) in y
3.461 * [taylor]: Taking taylor expansion of z in y
3.461 * [backup-simplify]: Simplify z into z
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* z y)) in x
3.461 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in x
3.461 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
3.461 * [taylor]: Taking taylor expansion of 1.0 in x
3.461 * [backup-simplify]: Simplify 1.0 into 1.0
3.461 * [taylor]: Taking taylor expansion of z in x
3.461 * [backup-simplify]: Simplify z into z
3.461 * [taylor]: Taking taylor expansion of (* x y) in x
3.461 * [taylor]: Taking taylor expansion of x in x
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [taylor]: Taking taylor expansion of y in x
3.461 * [backup-simplify]: Simplify y into y
3.461 * [taylor]: Taking taylor expansion of (* z y) in x
3.461 * [taylor]: Taking taylor expansion of z in x
3.461 * [backup-simplify]: Simplify z into z
3.461 * [taylor]: Taking taylor expansion of y in x
3.461 * [backup-simplify]: Simplify y into y
3.461 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* z y)) in x
3.461 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in x
3.461 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
3.461 * [taylor]: Taking taylor expansion of 1.0 in x
3.461 * [backup-simplify]: Simplify 1.0 into 1.0
3.461 * [taylor]: Taking taylor expansion of z in x
3.461 * [backup-simplify]: Simplify z into z
3.461 * [taylor]: Taking taylor expansion of (* x y) in x
3.461 * [taylor]: Taking taylor expansion of x in x
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [taylor]: Taking taylor expansion of y in x
3.461 * [backup-simplify]: Simplify y into y
3.461 * [taylor]: Taking taylor expansion of (* z y) in x
3.462 * [taylor]: Taking taylor expansion of z in x
3.462 * [backup-simplify]: Simplify z into z
3.462 * [taylor]: Taking taylor expansion of y in x
3.462 * [backup-simplify]: Simplify y into y
3.462 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
3.462 * [backup-simplify]: Simplify (* 0 y) into 0
3.462 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z)
3.462 * [backup-simplify]: Simplify (* z y) into (* z y)
3.462 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y))
3.462 * [backup-simplify]: Simplify (+ (* 1.0 z) (- (* z y))) into (- (* 1.0 z) (* z y))
3.462 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in y
3.462 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
3.462 * [taylor]: Taking taylor expansion of 1.0 in y
3.462 * [backup-simplify]: Simplify 1.0 into 1.0
3.462 * [taylor]: Taking taylor expansion of z in y
3.462 * [backup-simplify]: Simplify z into z
3.462 * [taylor]: Taking taylor expansion of (* z y) in y
3.462 * [taylor]: Taking taylor expansion of z in y
3.462 * [backup-simplify]: Simplify z into z
3.462 * [taylor]: Taking taylor expansion of y in y
3.462 * [backup-simplify]: Simplify 0 into 0
3.462 * [backup-simplify]: Simplify 1 into 1
3.462 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
3.462 * [backup-simplify]: Simplify (* z 0) into 0
3.463 * [backup-simplify]: Simplify (- 0) into 0
3.463 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z)
3.463 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.463 * [taylor]: Taking taylor expansion of 1.0 in z
3.463 * [backup-simplify]: Simplify 1.0 into 1.0
3.463 * [taylor]: Taking taylor expansion of z in z
3.463 * [backup-simplify]: Simplify 0 into 0
3.463 * [backup-simplify]: Simplify 1 into 1
3.463 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.463 * [backup-simplify]: Simplify 0 into 0
3.463 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
3.464 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.464 * [backup-simplify]: Simplify (+ 0 y) into y
3.464 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.464 * [backup-simplify]: Simplify (- 0) into 0
3.464 * [backup-simplify]: Simplify (+ y 0) into y
3.464 * [taylor]: Taking taylor expansion of y in y
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify 1 into 1
3.464 * [taylor]: Taking taylor expansion of 0 in z
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
3.465 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.465 * [backup-simplify]: Simplify (- z) into (- z)
3.465 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.465 * [taylor]: Taking taylor expansion of (- z) in z
3.465 * [taylor]: Taking taylor expansion of z in z
3.465 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify 1 into 1
3.465 * [backup-simplify]: Simplify (- 0) into 0
3.465 * [backup-simplify]: Simplify 0 into 0
3.466 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.466 * [backup-simplify]: Simplify 1.0 into 1.0
3.467 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
3.468 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.468 * [backup-simplify]: Simplify (+ 0 0) into 0
3.468 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
3.469 * [backup-simplify]: Simplify (- 0) into 0
3.469 * [backup-simplify]: Simplify (+ 0 0) into 0
3.469 * [taylor]: Taking taylor expansion of 0 in y
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [taylor]: Taking taylor expansion of 0 in z
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [taylor]: Taking taylor expansion of 1 in z
3.469 * [backup-simplify]: Simplify 1 into 1
3.469 * [backup-simplify]: Simplify 1 into 1
3.470 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
3.470 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
3.470 * [backup-simplify]: Simplify (- 0) into 0
3.470 * [backup-simplify]: Simplify (+ 0 0) into 0
3.470 * [taylor]: Taking taylor expansion of 0 in z
3.470 * [backup-simplify]: Simplify 0 into 0
3.471 * [backup-simplify]: Simplify 0 into 0
3.471 * [backup-simplify]: Simplify 0 into 0
3.471 * [backup-simplify]: Simplify (- 1) into -1
3.471 * [backup-simplify]: Simplify -1 into -1
3.471 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (+ (* 1 (* 1 (* y x))) (* 1.0 (* z (* 1 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
3.471 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 z) (- 1.0 (/ 1 y)))) into (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* z y)))
3.472 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* z y))) in (x y z) around 0
3.472 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* z y))) in z
3.472 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in z
3.472 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.472 * [taylor]: Taking taylor expansion of (* x y) in z
3.472 * [taylor]: Taking taylor expansion of x in z
3.472 * [backup-simplify]: Simplify x into x
3.472 * [taylor]: Taking taylor expansion of y in z
3.472 * [backup-simplify]: Simplify y into y
3.472 * [backup-simplify]: Simplify (* x y) into (* x y)
3.472 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.472 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.472 * [taylor]: Taking taylor expansion of 1.0 in z
3.472 * [backup-simplify]: Simplify 1.0 into 1.0
3.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.472 * [taylor]: Taking taylor expansion of z in z
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify 1 into 1
3.472 * [backup-simplify]: Simplify (/ 1 1) into 1
3.472 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.472 * [taylor]: Taking taylor expansion of (* z y) in z
3.472 * [taylor]: Taking taylor expansion of z in z
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify 1 into 1
3.472 * [taylor]: Taking taylor expansion of y in z
3.472 * [backup-simplify]: Simplify y into y
3.472 * [backup-simplify]: Simplify (* 0 y) into 0
3.473 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.473 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.473 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* z y))) in y
3.473 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in y
3.473 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.473 * [taylor]: Taking taylor expansion of (* x y) in y
3.473 * [taylor]: Taking taylor expansion of x in y
3.473 * [backup-simplify]: Simplify x into x
3.473 * [taylor]: Taking taylor expansion of y in y
3.473 * [backup-simplify]: Simplify 0 into 0
3.473 * [backup-simplify]: Simplify 1 into 1
3.473 * [backup-simplify]: Simplify (* x 0) into 0
3.473 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.473 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.473 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.473 * [taylor]: Taking taylor expansion of 1.0 in y
3.473 * [backup-simplify]: Simplify 1.0 into 1.0
3.473 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.473 * [taylor]: Taking taylor expansion of z in y
3.473 * [backup-simplify]: Simplify z into z
3.473 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.473 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.473 * [taylor]: Taking taylor expansion of (* z y) in y
3.473 * [taylor]: Taking taylor expansion of z in y
3.473 * [backup-simplify]: Simplify z into z
3.473 * [taylor]: Taking taylor expansion of y in y
3.473 * [backup-simplify]: Simplify 0 into 0
3.473 * [backup-simplify]: Simplify 1 into 1
3.474 * [backup-simplify]: Simplify (* z 0) into 0
3.474 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.474 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.474 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* z y))) in x
3.474 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
3.474 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.474 * [taylor]: Taking taylor expansion of (* x y) in x
3.474 * [taylor]: Taking taylor expansion of x in x
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 1 into 1
3.474 * [taylor]: Taking taylor expansion of y in x
3.474 * [backup-simplify]: Simplify y into y
3.474 * [backup-simplify]: Simplify (* 0 y) into 0
3.474 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.474 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.474 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.474 * [taylor]: Taking taylor expansion of 1.0 in x
3.474 * [backup-simplify]: Simplify 1.0 into 1.0
3.474 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.474 * [taylor]: Taking taylor expansion of z in x
3.475 * [backup-simplify]: Simplify z into z
3.475 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.475 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.475 * [taylor]: Taking taylor expansion of (* z y) in x
3.475 * [taylor]: Taking taylor expansion of z in x
3.475 * [backup-simplify]: Simplify z into z
3.475 * [taylor]: Taking taylor expansion of y in x
3.475 * [backup-simplify]: Simplify y into y
3.475 * [backup-simplify]: Simplify (* z y) into (* z y)
3.475 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.475 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) (/ 1 (* z y))) in x
3.475 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
3.475 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.475 * [taylor]: Taking taylor expansion of (* x y) in x
3.475 * [taylor]: Taking taylor expansion of x in x
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 1 into 1
3.475 * [taylor]: Taking taylor expansion of y in x
3.475 * [backup-simplify]: Simplify y into y
3.475 * [backup-simplify]: Simplify (* 0 y) into 0
3.476 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.476 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.476 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.476 * [taylor]: Taking taylor expansion of 1.0 in x
3.476 * [backup-simplify]: Simplify 1.0 into 1.0
3.476 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.476 * [taylor]: Taking taylor expansion of z in x
3.476 * [backup-simplify]: Simplify z into z
3.476 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.476 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.476 * [taylor]: Taking taylor expansion of (* z y) in x
3.476 * [taylor]: Taking taylor expansion of z in x
3.476 * [backup-simplify]: Simplify z into z
3.476 * [taylor]: Taking taylor expansion of y in x
3.476 * [backup-simplify]: Simplify y into y
3.476 * [backup-simplify]: Simplify (* z y) into (* z y)
3.476 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.477 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.477 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.477 * [taylor]: Taking taylor expansion of y in y
3.477 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify 1 into 1
3.478 * [backup-simplify]: Simplify (/ 1 1) into 1
3.478 * [taylor]: Taking taylor expansion of 1 in z
3.478 * [backup-simplify]: Simplify 1 into 1
3.479 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.479 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.479 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.479 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
3.479 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y)))
3.479 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 z)) (- (/ 1 (* z y)))) into (- (* 1.0 (/ 1 z)) (/ 1 (* z y)))
3.479 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in y
3.479 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.479 * [taylor]: Taking taylor expansion of 1.0 in y
3.479 * [backup-simplify]: Simplify 1.0 into 1.0
3.479 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.479 * [taylor]: Taking taylor expansion of z in y
3.480 * [backup-simplify]: Simplify z into z
3.480 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.480 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.480 * [taylor]: Taking taylor expansion of (* z y) in y
3.480 * [taylor]: Taking taylor expansion of z in y
3.480 * [backup-simplify]: Simplify z into z
3.480 * [taylor]: Taking taylor expansion of y in y
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 1 into 1
3.480 * [backup-simplify]: Simplify (* z 0) into 0
3.481 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.481 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.481 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.481 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.481 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.481 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.481 * [taylor]: Taking taylor expansion of z in z
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify 1 into 1
3.482 * [backup-simplify]: Simplify (/ 1 1) into 1
3.482 * [backup-simplify]: Simplify (- 1) into -1
3.482 * [backup-simplify]: Simplify -1 into -1
3.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.483 * [taylor]: Taking taylor expansion of 0 in z
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.484 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.485 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
3.486 * [backup-simplify]: Simplify (+ 0 0) into 0
3.486 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.486 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.487 * [backup-simplify]: Simplify (- 0) into 0
3.487 * [backup-simplify]: Simplify (+ 0 0) into 0
3.487 * [taylor]: Taking taylor expansion of 0 in y
3.487 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.488 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
3.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.489 * [backup-simplify]: Simplify (- 0) into 0
3.489 * [backup-simplify]: Simplify (+ (/ 1.0 z) 0) into (* 1.0 (/ 1 z))
3.489 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.489 * [taylor]: Taking taylor expansion of 1.0 in z
3.489 * [backup-simplify]: Simplify 1.0 into 1.0
3.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.489 * [taylor]: Taking taylor expansion of z in z
3.489 * [backup-simplify]: Simplify 0 into 0
3.489 * [backup-simplify]: Simplify 1 into 1
3.490 * [backup-simplify]: Simplify (/ 1 1) into 1
3.490 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.490 * [backup-simplify]: Simplify 1.0 into 1.0
3.491 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
3.491 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- z)) (- 1.0 (/ 1 (- y))))) into (- (/ 1 (* x y)) (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))))
3.491 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in (x y z) around 0
3.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in z
3.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.491 * [taylor]: Taking taylor expansion of (* x y) in z
3.491 * [taylor]: Taking taylor expansion of x in z
3.491 * [backup-simplify]: Simplify x into x
3.491 * [taylor]: Taking taylor expansion of y in z
3.491 * [backup-simplify]: Simplify y into y
3.491 * [backup-simplify]: Simplify (* x y) into (* x y)
3.491 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in z
3.492 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.492 * [taylor]: Taking taylor expansion of (* z y) in z
3.492 * [taylor]: Taking taylor expansion of z in z
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 1 into 1
3.492 * [taylor]: Taking taylor expansion of y in z
3.492 * [backup-simplify]: Simplify y into y
3.492 * [backup-simplify]: Simplify (* 0 y) into 0
3.492 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.492 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.492 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.492 * [taylor]: Taking taylor expansion of 1.0 in z
3.492 * [backup-simplify]: Simplify 1.0 into 1.0
3.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.492 * [taylor]: Taking taylor expansion of z in z
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 1 into 1
3.492 * [backup-simplify]: Simplify (/ 1 1) into 1
3.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y
3.493 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.493 * [taylor]: Taking taylor expansion of (* x y) in y
3.493 * [taylor]: Taking taylor expansion of x in y
3.493 * [backup-simplify]: Simplify x into x
3.493 * [taylor]: Taking taylor expansion of y in y
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 1 into 1
3.493 * [backup-simplify]: Simplify (* x 0) into 0
3.493 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.493 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y
3.493 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.493 * [taylor]: Taking taylor expansion of (* z y) in y
3.493 * [taylor]: Taking taylor expansion of z in y
3.493 * [backup-simplify]: Simplify z into z
3.493 * [taylor]: Taking taylor expansion of y in y
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 1 into 1
3.493 * [backup-simplify]: Simplify (* z 0) into 0
3.493 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.493 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.494 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.494 * [taylor]: Taking taylor expansion of 1.0 in y
3.494 * [backup-simplify]: Simplify 1.0 into 1.0
3.494 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.494 * [taylor]: Taking taylor expansion of z in y
3.494 * [backup-simplify]: Simplify z into z
3.494 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.494 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in x
3.494 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.494 * [taylor]: Taking taylor expansion of (* x y) in x
3.494 * [taylor]: Taking taylor expansion of x in x
3.494 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify 1 into 1
3.494 * [taylor]: Taking taylor expansion of y in x
3.494 * [backup-simplify]: Simplify y into y
3.494 * [backup-simplify]: Simplify (* 0 y) into 0
3.494 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.494 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in x
3.494 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.494 * [taylor]: Taking taylor expansion of (* z y) in x
3.494 * [taylor]: Taking taylor expansion of z in x
3.494 * [backup-simplify]: Simplify z into z
3.494 * [taylor]: Taking taylor expansion of y in x
3.494 * [backup-simplify]: Simplify y into y
3.494 * [backup-simplify]: Simplify (* z y) into (* z y)
3.494 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.494 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.494 * [taylor]: Taking taylor expansion of 1.0 in x
3.494 * [backup-simplify]: Simplify 1.0 into 1.0
3.494 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.494 * [taylor]: Taking taylor expansion of z in x
3.495 * [backup-simplify]: Simplify z into z
3.495 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.495 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in x
3.495 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.495 * [taylor]: Taking taylor expansion of (* x y) in x
3.495 * [taylor]: Taking taylor expansion of x in x
3.495 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify 1 into 1
3.495 * [taylor]: Taking taylor expansion of y in x
3.495 * [backup-simplify]: Simplify y into y
3.495 * [backup-simplify]: Simplify (* 0 y) into 0
3.495 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.495 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in x
3.495 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.495 * [taylor]: Taking taylor expansion of (* z y) in x
3.495 * [taylor]: Taking taylor expansion of z in x
3.495 * [backup-simplify]: Simplify z into z
3.495 * [taylor]: Taking taylor expansion of y in x
3.495 * [backup-simplify]: Simplify y into y
3.495 * [backup-simplify]: Simplify (* z y) into (* z y)
3.495 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
3.495 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.495 * [taylor]: Taking taylor expansion of 1.0 in x
3.495 * [backup-simplify]: Simplify 1.0 into 1.0
3.495 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.495 * [taylor]: Taking taylor expansion of z in x
3.495 * [backup-simplify]: Simplify z into z
3.495 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.496 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.496 * [taylor]: Taking taylor expansion of y in y
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify 1 into 1
3.496 * [backup-simplify]: Simplify (/ 1 1) into 1
3.496 * [taylor]: Taking taylor expansion of 1 in z
3.496 * [backup-simplify]: Simplify 1 into 1
3.497 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.497 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.497 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) (/ 1.0 z)) into (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))
3.497 * [backup-simplify]: Simplify (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))))
3.498 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))))
3.498 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y
3.498 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y
3.498 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.498 * [taylor]: Taking taylor expansion of (* z y) 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 y in y
3.498 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify 1 into 1
3.498 * [backup-simplify]: Simplify (* z 0) into 0
3.498 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
3.498 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.498 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.498 * [taylor]: Taking taylor expansion of 1.0 in y
3.498 * [backup-simplify]: Simplify 1.0 into 1.0
3.498 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.498 * [taylor]: Taking taylor expansion of z in y
3.498 * [backup-simplify]: Simplify z into z
3.498 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.498 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.498 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.498 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.499 * [taylor]: Taking taylor expansion of z in z
3.499 * [backup-simplify]: Simplify 0 into 0
3.499 * [backup-simplify]: Simplify 1 into 1
3.499 * [backup-simplify]: Simplify (/ 1 1) into 1
3.499 * [backup-simplify]: Simplify (- 1) into -1
3.499 * [backup-simplify]: Simplify -1 into -1
3.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.500 * [taylor]: Taking taylor expansion of 0 in z
3.500 * [backup-simplify]: Simplify 0 into 0
3.500 * [backup-simplify]: Simplify 1 into 1
3.500 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.501 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
3.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
3.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.501 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
3.501 * [backup-simplify]: Simplify (+ 0 0) into 0
3.502 * [backup-simplify]: Simplify (- 0) into 0
3.502 * [backup-simplify]: Simplify (+ 0 0) into 0
3.502 * [taylor]: Taking taylor expansion of 0 in y
3.502 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
3.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.503 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
3.503 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
3.503 * [backup-simplify]: Simplify (- (* 1.0 (/ 1 z))) into (- (* 1.0 (/ 1 z)))
3.503 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
3.503 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.503 * [taylor]: Taking taylor expansion of 1.0 in z
3.503 * [backup-simplify]: Simplify 1.0 into 1.0
3.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.503 * [taylor]: Taking taylor expansion of z in z
3.503 * [backup-simplify]: Simplify 0 into 0
3.503 * [backup-simplify]: Simplify 1 into 1
3.503 * [backup-simplify]: Simplify (/ 1 1) into 1
3.504 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.504 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.504 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.505 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
3.505 * * * [progress]: simplifying candidates
3.506 * [simplify]: Simplifying:
  (expm1 (* z (- 1.0 y)))
  (log1p (* z (- 1.0 y)))
  (* z (- 1.0 y))
  (+ (log z) (log (- 1.0 y)))
  (log (* z (- 1.0 y)))
  (exp (* z (- 1.0 y)))
  (* (* (* z z) z) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y)))
  (* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
  (cbrt (* z (- 1.0 y)))
  (* (* (* z (- 1.0 y)) (* z (- 1.0 y))) (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))
  (* z (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt y) (sqrt y)))))
  (* z (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y 1))))
  (* z (fma (- y) 1 (* y 1)))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))
  (* z (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt y) (sqrt y)))))
  (* z (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* y 1))))
  (* z (fma (- y) 1 (* y 1)))
  (* z (fma 1 1.0 (- (* (cbrt y) (* (cbrt y) (cbrt y))))))
  (* z (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (* z (fma 1 1.0 (- (* (sqrt y) (sqrt y)))))
  (* z (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))
  (* z (fma 1 1.0 (- (* y 1))))
  (* z (fma (- y) 1 (* y 1)))
  (* z 1.0)
  (* z (- y))
  (* z 1.0)
  (* z (- y))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z)
  (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt y) (sqrt y)))) z)
  (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y 1))) z)
  (* (fma (- y) 1 (* y 1)) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z)
  (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt y) (sqrt y)))) z)
  (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* y 1))) z)
  (* (fma (- y) 1 (* y 1)) z)
  (* (fma 1 1.0 (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z)
  (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) z)
  (* (fma 1 1.0 (- (* (sqrt y) (sqrt y)))) z)
  (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) z)
  (* (fma 1 1.0 (- (* y 1))) z)
  (* (fma (- y) 1 (* y 1)) z)
  (* 1.0 z)
  (* (- y) z)
  (* 1.0 z)
  (* (- y) z)
  (* z (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* z (sqrt (- 1.0 y)))
  (* z 1)
  (* z (+ (sqrt 1.0) (sqrt y)))
  (* z 1)
  (* (cbrt z) (- 1.0 y))
  (* (sqrt z) (- 1.0 y))
  (* z (- 1.0 y))
  (* z (- (pow 1.0 3) (pow y 3)))
  (* z (- (* 1.0 1.0) (* y y)))
  (expm1 (+ (* x y) (* z (- 1.0 y))))
  (log1p (+ (* x y) (* z (- 1.0 y))))
  (* (exp (* x y)) (exp (* z (- 1.0 y))))
  (log (+ (* x y) (* z (- 1.0 y))))
  (exp (+ (* x y) (* z (- 1.0 y))))
  (* (cbrt (+ (* x y) (* z (- 1.0 y)))) (cbrt (+ (* x y) (* z (- 1.0 y)))))
  (cbrt (+ (* x y) (* z (- 1.0 y))))
  (* (* (+ (* x y) (* z (- 1.0 y))) (+ (* x y) (* z (- 1.0 y)))) (+ (* x y) (* z (- 1.0 y))))
  (sqrt (+ (* x y) (* z (- 1.0 y))))
  (sqrt (+ (* x y) (* z (- 1.0 y))))
  (+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3))
  (+ (* (* x y) (* x y)) (- (* (* z (- 1.0 y)) (* z (- 1.0 y))) (* (* x y) (* z (- 1.0 y)))))
  (- (* (* x y) (* x y)) (* (* z (- 1.0 y)) (* z (- 1.0 y))))
  (- (* x y) (* z (- 1.0 y)))
  (+ (* x y) (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))))
  (+ (* x y) (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt y) (sqrt y))))))
  (+ (* x y) (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y 1)))))
  (+ (* x y) (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))))
  (+ (* x y) (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt y) (sqrt y))))))
  (+ (* x y) (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* y 1)))))
  (+ (* x y) (* z (fma 1 1.0 (- (* (cbrt y) (* (cbrt y) (cbrt y)))))))
  (+ (* x y) (* z (fma 1 1.0 (- (* (sqrt y) (sqrt y))))))
  (+ (* x y) (* z (fma 1 1.0 (- (* y 1)))))
  (+ (* x y) (* z 1.0))
  (+ (* x y) (* z 1.0))
  (+ (* x y) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z))
  (+ (* x y) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt y) (sqrt y)))) z))
  (+ (* x y) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y 1))) z))
  (+ (* x y) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z))
  (+ (* x y) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt y) (sqrt y)))) z))
  (+ (* x y) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* y 1))) z))
  (+ (* x y) (* (fma 1 1.0 (- (* (cbrt y) (* (cbrt y) (cbrt y))))) z))
  (+ (* x y) (* (fma 1 1.0 (- (* (sqrt y) (sqrt y)))) z))
  (+ (* x y) (* (fma 1 1.0 (- (* y 1))) z))
  (+ (* x y) (* 1.0 z))
  (+ (* x y) (* 1.0 z))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
3.508 * * [simplify]: iteration 0: 147 enodes
3.555 * * [simplify]: iteration 1: 361 enodes
3.690 * * [simplify]: iteration 2: 862 enodes
4.192 * * [simplify]: iteration 3: 2775 enodes
5.704 * * [simplify]: iteration complete: 5001 enodes
5.704 * * [simplify]: Extracting #0: cost 35 inf + 0
5.706 * * [simplify]: Extracting #1: cost 433 inf + 1
5.712 * * [simplify]: Extracting #2: cost 891 inf + 4403
5.740 * * [simplify]: Extracting #3: cost 485 inf + 68957
5.827 * * [simplify]: Extracting #4: cost 160 inf + 136605
5.895 * * [simplify]: Extracting #5: cost 43 inf + 161370
5.962 * * [simplify]: Extracting #6: cost 3 inf + 172932
6.020 * * [simplify]: Extracting #7: cost 0 inf + 173691
6.109 * [simplify]: Simplified to:
  (expm1 (* z (- 1.0 y)))
  (log1p (* z (- 1.0 y)))
  (* z (- 1.0 y))
  (log (* z (- 1.0 y)))
  (log (* z (- 1.0 y)))
  (exp (* z (- 1.0 y)))
  (* (* z (- 1.0 y)) (* (* z (- 1.0 y)) (* z (- 1.0 y))))
  (* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
  (cbrt (* z (- 1.0 y)))
  (* (* z (- 1.0 y)) (* (* z (- 1.0 y)) (* z (- 1.0 y))))
  (sqrt (* z (- 1.0 y)))
  (sqrt (* z (- 1.0 y)))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z 1.0)
  (* y (- z))
  (* z 1.0)
  (* y (- z))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z (- 1.0 y))
  (* z (fma y -1 y))
  (* z 1.0)
  (* y (- z))
  (* z 1.0)
  (* y (- z))
  (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) z)
  (* (sqrt (- 1.0 y)) z)
  z
  (* z (+ (sqrt 1.0) (sqrt y)))
  z
  (* (- 1.0 y) (cbrt z))
  (* (- 1.0 y) (sqrt z))
  (* z (- 1.0 y))
  (* z (- (* 1.0 (* 1.0 1.0)) (* (* y y) y)))
  (* (* z (- 1.0 y)) (+ y 1.0))
  (expm1 (fma z (- 1.0 y) (* x y)))
  (log1p (fma z (- 1.0 y) (* x y)))
  (exp (fma z (- 1.0 y) (* x y)))
  (log (fma z (- 1.0 y) (* x y)))
  (exp (fma z (- 1.0 y) (* x y)))
  (* (cbrt (fma z (- 1.0 y) (* x y))) (cbrt (fma z (- 1.0 y) (* x y))))
  (cbrt (fma z (- 1.0 y) (* x y)))
  (* (fma z (- 1.0 y) (* x y)) (* (fma z (- 1.0 y) (* x y)) (fma z (- 1.0 y) (* x y))))
  (sqrt (fma z (- 1.0 y) (* x y)))
  (sqrt (fma z (- 1.0 y) (* x y)))
  (fma (* x y) (* (* x y) (* x y)) (* (* z (- 1.0 y)) (* (* z (- 1.0 y)) (* z (- 1.0 y)))))
  (fma (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y)) (* (* x y) (* x y)))
  (- (* (* x y) (* x y)) (* (* z (- 1.0 y)) (* z (- 1.0 y))))
  (- (* x y) (* z (- 1.0 y)))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma 1.0 z (* x y))
  (fma 1.0 z (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma 1.0 z (* x y))
  (fma 1.0 z (* x y))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
6.118 * * * [progress]: adding candidates to table
6.391 * * [progress]: iteration 2 / 4
6.391 * * * [progress]: picking best candidate
6.405 * * * * [pick]: Picked  #<alt (λ (x y z) (fma z (- 1.0 y) (* x y)))>
6.405 * * * [progress]: localizing error
6.419 * * * [progress]: generating rewritten candidates
6.419 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.420 * * * [progress]: generating series expansions
6.420 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.420 * [backup-simplify]: Simplify (fma z (- 1.0 y) (* x y)) into (fma z (- 1.0 y) (* x y))
6.420 * [approximate]: Taking taylor expansion of (fma z (- 1.0 y) (* x y)) in (z y x) around 0
6.420 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) (* x y)) in x
6.420 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) (* x y))
6.420 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in x
6.420 * [taylor]: Taking taylor expansion of z in x
6.420 * [backup-simplify]: Simplify z into z
6.420 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
6.420 * [taylor]: Taking taylor expansion of 1.0 in x
6.420 * [backup-simplify]: Simplify 1.0 into 1.0
6.420 * [taylor]: Taking taylor expansion of y in x
6.421 * [backup-simplify]: Simplify y into y
6.421 * [taylor]: Taking taylor expansion of (* x y) in x
6.421 * [taylor]: Taking taylor expansion of x in x
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [backup-simplify]: Simplify 1 into 1
6.421 * [taylor]: Taking taylor expansion of y in x
6.421 * [backup-simplify]: Simplify y into y
6.421 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) (* x y)) in y
6.421 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) (* x y))
6.421 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in y
6.421 * [taylor]: Taking taylor expansion of z in y
6.421 * [backup-simplify]: Simplify z into z
6.421 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
6.421 * [taylor]: Taking taylor expansion of 1.0 in y
6.421 * [backup-simplify]: Simplify 1.0 into 1.0
6.421 * [taylor]: Taking taylor expansion of y in y
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [backup-simplify]: Simplify 1 into 1
6.421 * [taylor]: Taking taylor expansion of (* x y) in y
6.421 * [taylor]: Taking taylor expansion of x in y
6.421 * [backup-simplify]: Simplify x into x
6.421 * [taylor]: Taking taylor expansion of y in y
6.421 * [backup-simplify]: Simplify 0 into 0
6.421 * [backup-simplify]: Simplify 1 into 1
6.421 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) (* x y)) in z
6.421 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) (* x y))
6.421 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
6.421 * [taylor]: Taking taylor expansion of z in z
6.422 * [backup-simplify]: Simplify 0 into 0
6.422 * [backup-simplify]: Simplify 1 into 1
6.422 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
6.422 * [taylor]: Taking taylor expansion of 1.0 in z
6.422 * [backup-simplify]: Simplify 1.0 into 1.0
6.422 * [taylor]: Taking taylor expansion of y in z
6.422 * [backup-simplify]: Simplify y into y
6.422 * [taylor]: Taking taylor expansion of (* x y) in z
6.422 * [taylor]: Taking taylor expansion of x in z
6.422 * [backup-simplify]: Simplify x into x
6.422 * [taylor]: Taking taylor expansion of y in z
6.422 * [backup-simplify]: Simplify y into y
6.422 * [taylor]: Taking taylor expansion of (fma z (- 1.0 y) (* x y)) in z
6.422 * [taylor]: Rewrote expression to (+ (* z (- 1.0 y)) (* x y))
6.422 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z
6.422 * [taylor]: Taking taylor expansion of z in z
6.422 * [backup-simplify]: Simplify 0 into 0
6.422 * [backup-simplify]: Simplify 1 into 1
6.422 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
6.422 * [taylor]: Taking taylor expansion of 1.0 in z
6.422 * [backup-simplify]: Simplify 1.0 into 1.0
6.422 * [taylor]: Taking taylor expansion of y in z
6.422 * [backup-simplify]: Simplify y into y
6.422 * [taylor]: Taking taylor expansion of (* x y) in z
6.422 * [taylor]: Taking taylor expansion of x in z
6.422 * [backup-simplify]: Simplify x into x
6.422 * [taylor]: Taking taylor expansion of y in z
6.422 * [backup-simplify]: Simplify y into y
6.423 * [backup-simplify]: Simplify (- y) into (- y)
6.423 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
6.423 * [backup-simplify]: Simplify (* 0 (- 1.0 y)) into 0
6.423 * [backup-simplify]: Simplify (* x y) into (* x y)
6.423 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y)
6.423 * [taylor]: Taking taylor expansion of (* x y) in y
6.423 * [taylor]: Taking taylor expansion of x in y
6.423 * [backup-simplify]: Simplify x into x
6.423 * [taylor]: Taking taylor expansion of y in y
6.423 * [backup-simplify]: Simplify 0 into 0
6.423 * [backup-simplify]: Simplify 1 into 1
6.423 * [backup-simplify]: Simplify (* x 0) into 0
6.423 * [taylor]: Taking taylor expansion of 0 in x
6.423 * [backup-simplify]: Simplify 0 into 0
6.423 * [backup-simplify]: Simplify 0 into 0
6.424 * [backup-simplify]: Simplify (- 0) into 0
6.424 * [backup-simplify]: Simplify (+ 0 0) into 0
6.425 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 y))) into (- 1.0 y)
6.425 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
6.425 * [backup-simplify]: Simplify (+ (- 1.0 y) 0) into (- 1.0 y)
6.425 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
6.425 * [taylor]: Taking taylor expansion of 1.0 in y
6.425 * [backup-simplify]: Simplify 1.0 into 1.0
6.425 * [taylor]: Taking taylor expansion of y in y
6.425 * [backup-simplify]: Simplify 0 into 0
6.425 * [backup-simplify]: Simplify 1 into 1
6.426 * [backup-simplify]: Simplify (- 0) into 0
6.426 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.426 * [taylor]: Taking taylor expansion of 1.0 in x
6.426 * [backup-simplify]: Simplify 1.0 into 1.0
6.426 * [backup-simplify]: Simplify 1.0 into 1.0
6.427 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.427 * [taylor]: Taking taylor expansion of x in x
6.427 * [backup-simplify]: Simplify 0 into 0
6.427 * [backup-simplify]: Simplify 1 into 1
6.427 * [backup-simplify]: Simplify 0 into 0
6.427 * [backup-simplify]: Simplify 0 into 0
6.427 * [backup-simplify]: Simplify (- 0) into 0
6.427 * [backup-simplify]: Simplify (+ 0 0) into 0
6.428 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 y)))) into 0
6.428 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
6.428 * [backup-simplify]: Simplify (+ 0 0) into 0
6.429 * [taylor]: Taking taylor expansion of 0 in y
6.429 * [backup-simplify]: Simplify 0 into 0
6.429 * [taylor]: Taking taylor expansion of 0 in x
6.429 * [backup-simplify]: Simplify 0 into 0
6.429 * [backup-simplify]: Simplify 0 into 0
6.429 * [backup-simplify]: Simplify (- 1) into -1
6.429 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.429 * [taylor]: Taking taylor expansion of -1 in x
6.429 * [backup-simplify]: Simplify -1 into -1
6.429 * [backup-simplify]: Simplify -1 into -1
6.430 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
6.430 * [taylor]: Taking taylor expansion of 0 in x
6.430 * [backup-simplify]: Simplify 0 into 0
6.430 * [backup-simplify]: Simplify 0 into 0
6.430 * [backup-simplify]: Simplify 0 into 0
6.430 * [backup-simplify]: Simplify 1 into 1
6.430 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (+ (* -1 (* 1 (* y z))) (* 1.0 (* 1 (* 1 z))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
6.430 * [backup-simplify]: Simplify (fma (/ 1 z) (- 1.0 (/ 1 y)) (* (/ 1 x) (/ 1 y))) into (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 (* x y)))
6.430 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 (* x y))) in (z y x) around 0
6.430 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 (* x y))) in x
6.430 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 (* x y)))
6.430 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in x
6.430 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.430 * [taylor]: Taking taylor expansion of z in x
6.430 * [backup-simplify]: Simplify z into z
6.430 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.430 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
6.430 * [taylor]: Taking taylor expansion of 1.0 in x
6.431 * [backup-simplify]: Simplify 1.0 into 1.0
6.431 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.431 * [taylor]: Taking taylor expansion of y in x
6.431 * [backup-simplify]: Simplify y into y
6.431 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.431 * [taylor]: Taking taylor expansion of (* x y) in x
6.431 * [taylor]: Taking taylor expansion of x in x
6.431 * [backup-simplify]: Simplify 0 into 0
6.431 * [backup-simplify]: Simplify 1 into 1
6.431 * [taylor]: Taking taylor expansion of y in x
6.431 * [backup-simplify]: Simplify y into y
6.431 * [backup-simplify]: Simplify (* 0 y) into 0
6.431 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.431 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.432 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 (* x y))) in y
6.432 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 (* x y)))
6.432 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in y
6.432 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.432 * [taylor]: Taking taylor expansion of z in y
6.432 * [backup-simplify]: Simplify z into z
6.432 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.432 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
6.432 * [taylor]: Taking taylor expansion of 1.0 in y
6.432 * [backup-simplify]: Simplify 1.0 into 1.0
6.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.432 * [taylor]: Taking taylor expansion of y in y
6.432 * [backup-simplify]: Simplify 0 into 0
6.432 * [backup-simplify]: Simplify 1 into 1
6.433 * [backup-simplify]: Simplify (/ 1 1) into 1
6.433 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.433 * [taylor]: Taking taylor expansion of (* x y) in y
6.433 * [taylor]: Taking taylor expansion of x in y
6.437 * [backup-simplify]: Simplify x into x
6.437 * [taylor]: Taking taylor expansion of y in y
6.437 * [backup-simplify]: Simplify 0 into 0
6.437 * [backup-simplify]: Simplify 1 into 1
6.438 * [backup-simplify]: Simplify (* x 0) into 0
6.438 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.438 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.438 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 (* x y))) in z
6.439 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 (* x y)))
6.439 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in z
6.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.439 * [taylor]: Taking taylor expansion of z in z
6.439 * [backup-simplify]: Simplify 0 into 0
6.439 * [backup-simplify]: Simplify 1 into 1
6.439 * [backup-simplify]: Simplify (/ 1 1) into 1
6.439 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
6.439 * [taylor]: Taking taylor expansion of 1.0 in z
6.439 * [backup-simplify]: Simplify 1.0 into 1.0
6.439 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.439 * [taylor]: Taking taylor expansion of y in z
6.440 * [backup-simplify]: Simplify y into y
6.440 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.440 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.440 * [taylor]: Taking taylor expansion of (* x y) in z
6.440 * [taylor]: Taking taylor expansion of x in z
6.440 * [backup-simplify]: Simplify x into x
6.440 * [taylor]: Taking taylor expansion of y in z
6.440 * [backup-simplify]: Simplify y into y
6.440 * [backup-simplify]: Simplify (* x y) into (* x y)
6.440 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.440 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 y)) (/ 1 (* x y))) in z
6.440 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 y))) (/ 1 (* x y)))
6.440 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 y))) in z
6.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.440 * [taylor]: Taking taylor expansion of z in z
6.440 * [backup-simplify]: Simplify 0 into 0
6.440 * [backup-simplify]: Simplify 1 into 1
6.441 * [backup-simplify]: Simplify (/ 1 1) into 1
6.441 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
6.441 * [taylor]: Taking taylor expansion of 1.0 in z
6.441 * [backup-simplify]: Simplify 1.0 into 1.0
6.441 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.441 * [taylor]: Taking taylor expansion of y in z
6.441 * [backup-simplify]: Simplify y into y
6.441 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.441 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.441 * [taylor]: Taking taylor expansion of (* x y) in z
6.441 * [taylor]: Taking taylor expansion of x in z
6.441 * [backup-simplify]: Simplify x into x
6.441 * [taylor]: Taking taylor expansion of y in z
6.441 * [backup-simplify]: Simplify y into y
6.441 * [backup-simplify]: Simplify (* x y) into (* x y)
6.441 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.442 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.442 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
6.442 * [backup-simplify]: Simplify (* 1 (- 1.0 (/ 1 y))) into (- 1.0 (/ 1 y))
6.442 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 y)) 0) into (- 1.0 (/ 1 y))
6.442 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
6.442 * [taylor]: Taking taylor expansion of 1.0 in y
6.442 * [backup-simplify]: Simplify 1.0 into 1.0
6.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.442 * [taylor]: Taking taylor expansion of y in y
6.442 * [backup-simplify]: Simplify 0 into 0
6.442 * [backup-simplify]: Simplify 1 into 1
6.443 * [backup-simplify]: Simplify (/ 1 1) into 1
6.443 * [backup-simplify]: Simplify (- 1) into -1
6.444 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.444 * [taylor]: Taking taylor expansion of -1 in x
6.444 * [backup-simplify]: Simplify -1 into -1
6.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.444 * [backup-simplify]: Simplify (- 0) into 0
6.445 * [backup-simplify]: Simplify (+ 0 0) into 0
6.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.447 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1.0 (/ 1 y)))) into 0
6.447 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
6.447 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.447 * [taylor]: Taking taylor expansion of (* x y) in y
6.447 * [taylor]: Taking taylor expansion of x in y
6.447 * [backup-simplify]: Simplify x into x
6.448 * [taylor]: Taking taylor expansion of y in y
6.448 * [backup-simplify]: Simplify 0 into 0
6.448 * [backup-simplify]: Simplify 1 into 1
6.448 * [backup-simplify]: Simplify (* x 0) into 0
6.448 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.448 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.448 * [taylor]: Taking taylor expansion of x in x
6.448 * [backup-simplify]: Simplify 0 into 0
6.448 * [backup-simplify]: Simplify 1 into 1
6.449 * [backup-simplify]: Simplify (/ 1 1) into 1
6.449 * [backup-simplify]: Simplify 1 into 1
6.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.450 * [backup-simplify]: Simplify (- 0) into 0
6.450 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.450 * [taylor]: Taking taylor expansion of 1.0 in x
6.451 * [backup-simplify]: Simplify 1.0 into 1.0
6.451 * [backup-simplify]: Simplify -1 into -1
6.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.451 * [backup-simplify]: Simplify (- 0) into 0
6.452 * [backup-simplify]: Simplify (+ 0 0) into 0
6.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 y))))) into 0
6.453 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
6.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
6.454 * [backup-simplify]: Simplify (+ 0 0) into 0
6.454 * [taylor]: Taking taylor expansion of 0 in y
6.454 * [backup-simplify]: Simplify 0 into 0
6.455 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
6.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.455 * [taylor]: Taking taylor expansion of 0 in x
6.455 * [backup-simplify]: Simplify 0 into 0
6.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.456 * [backup-simplify]: Simplify (- 0) into 0
6.457 * [backup-simplify]: Simplify (+ 0 0) into 0
6.457 * [taylor]: Taking taylor expansion of 0 in x
6.457 * [backup-simplify]: Simplify 0 into 0
6.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.457 * [backup-simplify]: Simplify 0 into 0
6.457 * [backup-simplify]: Simplify 1.0 into 1.0
6.458 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
6.458 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (- 1.0 (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- y)))) into (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ 1 (* x y)))
6.458 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ 1 (* x y))) in (z y x) around 0
6.458 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ 1 (* x y))) in x
6.459 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ 1 (* x y)))
6.459 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in x
6.459 * [taylor]: Taking taylor expansion of (/ -1 z) in x
6.459 * [taylor]: Taking taylor expansion of -1 in x
6.459 * [backup-simplify]: Simplify -1 into -1
6.459 * [taylor]: Taking taylor expansion of z in x
6.459 * [backup-simplify]: Simplify z into z
6.459 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
6.459 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
6.459 * [taylor]: Taking taylor expansion of 1.0 in x
6.459 * [backup-simplify]: Simplify 1.0 into 1.0
6.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.459 * [taylor]: Taking taylor expansion of y in x
6.459 * [backup-simplify]: Simplify y into y
6.459 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.459 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.459 * [taylor]: Taking taylor expansion of (* x y) in x
6.459 * [taylor]: Taking taylor expansion of x in x
6.459 * [backup-simplify]: Simplify 0 into 0
6.459 * [backup-simplify]: Simplify 1 into 1
6.459 * [taylor]: Taking taylor expansion of y in x
6.459 * [backup-simplify]: Simplify y into y
6.459 * [backup-simplify]: Simplify (* 0 y) into 0
6.460 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.460 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.460 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ 1 (* x y))) in y
6.460 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ 1 (* x y)))
6.460 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in y
6.460 * [taylor]: Taking taylor expansion of (/ -1 z) in y
6.460 * [taylor]: Taking taylor expansion of -1 in y
6.460 * [backup-simplify]: Simplify -1 into -1
6.460 * [taylor]: Taking taylor expansion of z in y
6.460 * [backup-simplify]: Simplify z into z
6.460 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
6.461 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
6.461 * [taylor]: Taking taylor expansion of 1.0 in y
6.461 * [backup-simplify]: Simplify 1.0 into 1.0
6.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.461 * [taylor]: Taking taylor expansion of y in y
6.461 * [backup-simplify]: Simplify 0 into 0
6.461 * [backup-simplify]: Simplify 1 into 1
6.461 * [backup-simplify]: Simplify (/ 1 1) into 1
6.461 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.461 * [taylor]: Taking taylor expansion of (* x y) in y
6.461 * [taylor]: Taking taylor expansion of x in y
6.461 * [backup-simplify]: Simplify x into x
6.461 * [taylor]: Taking taylor expansion of y in y
6.461 * [backup-simplify]: Simplify 0 into 0
6.461 * [backup-simplify]: Simplify 1 into 1
6.461 * [backup-simplify]: Simplify (* x 0) into 0
6.462 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.462 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.462 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ 1 (* x y))) in z
6.462 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ 1 (* x y)))
6.462 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in z
6.462 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.462 * [taylor]: Taking taylor expansion of -1 in z
6.462 * [backup-simplify]: Simplify -1 into -1
6.462 * [taylor]: Taking taylor expansion of z in z
6.462 * [backup-simplify]: Simplify 0 into 0
6.462 * [backup-simplify]: Simplify 1 into 1
6.463 * [backup-simplify]: Simplify (/ -1 1) into -1
6.463 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
6.463 * [taylor]: Taking taylor expansion of 1.0 in z
6.463 * [backup-simplify]: Simplify 1.0 into 1.0
6.463 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.463 * [taylor]: Taking taylor expansion of y in z
6.463 * [backup-simplify]: Simplify y into y
6.463 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.463 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.463 * [taylor]: Taking taylor expansion of (* x y) in z
6.463 * [taylor]: Taking taylor expansion of x in z
6.463 * [backup-simplify]: Simplify x into x
6.463 * [taylor]: Taking taylor expansion of y in z
6.463 * [backup-simplify]: Simplify y into y
6.463 * [backup-simplify]: Simplify (* x y) into (* x y)
6.463 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.463 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ 1.0 (/ 1 y)) (/ 1 (* x y))) in z
6.464 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ 1.0 (/ 1 y))) (/ 1 (* x y)))
6.464 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ 1.0 (/ 1 y))) in z
6.464 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.464 * [taylor]: Taking taylor expansion of -1 in z
6.464 * [backup-simplify]: Simplify -1 into -1
6.464 * [taylor]: Taking taylor expansion of z in z
6.464 * [backup-simplify]: Simplify 0 into 0
6.464 * [backup-simplify]: Simplify 1 into 1
6.464 * [backup-simplify]: Simplify (/ -1 1) into -1
6.464 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
6.464 * [taylor]: Taking taylor expansion of 1.0 in z
6.464 * [backup-simplify]: Simplify 1.0 into 1.0
6.464 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.464 * [taylor]: Taking taylor expansion of y in z
6.464 * [backup-simplify]: Simplify y into y
6.464 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.464 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.465 * [taylor]: Taking taylor expansion of (* x y) in z
6.465 * [taylor]: Taking taylor expansion of x in z
6.465 * [backup-simplify]: Simplify x into x
6.465 * [taylor]: Taking taylor expansion of y in z
6.465 * [backup-simplify]: Simplify y into y
6.465 * [backup-simplify]: Simplify (* x y) into (* x y)
6.465 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.465 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
6.465 * [backup-simplify]: Simplify (* -1 (+ 1.0 (/ 1 y))) into (* -1 (+ 1.0 (/ 1 y)))
6.465 * [backup-simplify]: Simplify (+ (* -1 (+ 1.0 (/ 1 y))) 0) into (- (+ 1.0 (/ 1 y)))
6.465 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 y))) in y
6.465 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
6.465 * [taylor]: Taking taylor expansion of 1.0 in y
6.465 * [backup-simplify]: Simplify 1.0 into 1.0
6.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.466 * [taylor]: Taking taylor expansion of y in y
6.466 * [backup-simplify]: Simplify 0 into 0
6.466 * [backup-simplify]: Simplify 1 into 1
6.466 * [backup-simplify]: Simplify (/ 1 1) into 1
6.467 * [backup-simplify]: Simplify (+ 0 1) into 1
6.467 * [backup-simplify]: Simplify (- 1) into -1
6.467 * [taylor]: Taking taylor expansion of -1 in x
6.467 * [backup-simplify]: Simplify -1 into -1
6.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.468 * [backup-simplify]: Simplify (+ 0 0) into 0
6.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.469 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ 1.0 (/ 1 y)))) into 0
6.469 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
6.469 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.469 * [taylor]: Taking taylor expansion of (* x y) in y
6.469 * [taylor]: Taking taylor expansion of x in y
6.469 * [backup-simplify]: Simplify x into x
6.469 * [taylor]: Taking taylor expansion of y in y
6.469 * [backup-simplify]: Simplify 0 into 0
6.469 * [backup-simplify]: Simplify 1 into 1
6.469 * [backup-simplify]: Simplify (* x 0) into 0
6.470 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.470 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.470 * [taylor]: Taking taylor expansion of x in x
6.470 * [backup-simplify]: Simplify 0 into 0
6.470 * [backup-simplify]: Simplify 1 into 1
6.470 * [backup-simplify]: Simplify (/ 1 1) into 1
6.470 * [backup-simplify]: Simplify 1 into 1
6.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.472 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.472 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.472 * [taylor]: Taking taylor expansion of (- 1.0) in x
6.472 * [taylor]: Taking taylor expansion of 1.0 in x
6.472 * [backup-simplify]: Simplify 1.0 into 1.0
6.472 * [backup-simplify]: Simplify -1 into -1
6.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.473 * [backup-simplify]: Simplify (+ 0 0) into 0
6.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.475 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 y))))) into 0
6.475 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
6.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
6.475 * [backup-simplify]: Simplify (+ 0 0) into 0
6.475 * [taylor]: Taking taylor expansion of 0 in y
6.475 * [backup-simplify]: Simplify 0 into 0
6.476 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
6.476 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.476 * [taylor]: Taking taylor expansion of 0 in x
6.476 * [backup-simplify]: Simplify 0 into 0
6.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.477 * [backup-simplify]: Simplify (+ 0 0) into 0
6.478 * [backup-simplify]: Simplify (- 0) into 0
6.478 * [taylor]: Taking taylor expansion of 0 in x
6.478 * [backup-simplify]: Simplify 0 into 0
6.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.479 * [backup-simplify]: Simplify 0 into 0
6.479 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.479 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.480 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
6.480 * * * [progress]: simplifying candidates
6.480 * [simplify]: Simplifying:
  (expm1 (fma z (- 1.0 y) (* x y)))
  (log1p (fma z (- 1.0 y) (* x y)))
  (* z (- 1.0 y))
  (log (fma z (- 1.0 y) (* x y)))
  (exp (fma z (- 1.0 y) (* x y)))
  (* (cbrt (fma z (- 1.0 y) (* x y))) (cbrt (fma z (- 1.0 y) (* x y))))
  (cbrt (fma z (- 1.0 y) (* x y)))
  (* (* (fma z (- 1.0 y) (* x y)) (fma z (- 1.0 y) (* x y))) (fma z (- 1.0 y) (* x y)))
  (sqrt (fma z (- 1.0 y) (* x y)))
  (sqrt (fma z (- 1.0 y) (* x y)))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
6.480 * * [simplify]: iteration 0: 21 enodes
6.484 * * [simplify]: iteration 1: 35 enodes
6.490 * * [simplify]: iteration 2: 76 enodes
6.510 * * [simplify]: iteration 3: 258 enodes
6.780 * * [simplify]: iteration 4: 1568 enodes
7.557 * * [simplify]: iteration complete: 5023 enodes
7.557 * * [simplify]: Extracting #0: cost 10 inf + 0
7.558 * * [simplify]: Extracting #1: cost 122 inf + 0
7.565 * * [simplify]: Extracting #2: cost 1093 inf + 1648
7.603 * * [simplify]: Extracting #3: cost 997 inf + 90137
7.707 * * [simplify]: Extracting #4: cost 164 inf + 319780
7.859 * * [simplify]: Extracting #5: cost 4 inf + 372288
7.988 * * [simplify]: Extracting #6: cost 0 inf + 373850
8.130 * [simplify]: Simplified to:
  (expm1 (fma z (- 1.0 y) (* x y)))
  (log1p (fma z (- 1.0 y) (* x y)))
  (* (- 1.0 y) z)
  (log (fma z (- 1.0 y) (* x y)))
  (exp (fma z (- 1.0 y) (* x y)))
  (* (cbrt (fma z (- 1.0 y) (* x y))) (cbrt (fma z (- 1.0 y) (* x y))))
  (cbrt (fma z (- 1.0 y) (* x y)))
  (* (* (fma z (- 1.0 y) (* x y)) (fma z (- 1.0 y) (* x y))) (fma z (- 1.0 y) (* x y)))
  (sqrt (fma z (- 1.0 y) (* x y)))
  (sqrt (fma z (- 1.0 y) (* x y)))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
  (fma z (- 1.0 y) (* x y))
8.131 * * * [progress]: adding candidates to table
8.208 * * [progress]: iteration 3 / 4
8.208 * * * [progress]: picking best candidate
8.215 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (fma 1.0 z (* x y)) (* z (- y))))>
8.215 * * * [progress]: localizing error
8.237 * * * [progress]: generating rewritten candidates
8.237 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.243 * * * [progress]: generating series expansions
8.243 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.243 * [backup-simplify]: Simplify (+ (fma 1.0 z (* x y)) (* z (- y))) into (- (fma 1.0 z (* x y)) (* z y))
8.243 * [approximate]: Taking taylor expansion of (- (fma 1.0 z (* x y)) (* z y)) in (z x y) around 0
8.243 * [taylor]: Taking taylor expansion of (- (fma 1.0 z (* x y)) (* z y)) in y
8.243 * [taylor]: Taking taylor expansion of (fma 1.0 z (* x y)) in y
8.243 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* x y))
8.243 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
8.243 * [taylor]: Taking taylor expansion of 1.0 in y
8.243 * [backup-simplify]: Simplify 1.0 into 1.0
8.243 * [taylor]: Taking taylor expansion of z in y
8.243 * [backup-simplify]: Simplify z into z
8.243 * [taylor]: Taking taylor expansion of (* x y) in y
8.243 * [taylor]: Taking taylor expansion of x in y
8.243 * [backup-simplify]: Simplify x into x
8.243 * [taylor]: Taking taylor expansion of y in y
8.243 * [backup-simplify]: Simplify 0 into 0
8.243 * [backup-simplify]: Simplify 1 into 1
8.243 * [taylor]: Taking taylor expansion of (* z y) in y
8.243 * [taylor]: Taking taylor expansion of z in y
8.243 * [backup-simplify]: Simplify z into z
8.243 * [taylor]: Taking taylor expansion of y in y
8.243 * [backup-simplify]: Simplify 0 into 0
8.243 * [backup-simplify]: Simplify 1 into 1
8.243 * [taylor]: Taking taylor expansion of (- (fma 1.0 z (* x y)) (* z y)) in x
8.244 * [taylor]: Taking taylor expansion of (fma 1.0 z (* x y)) in x
8.244 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* x y))
8.244 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
8.244 * [taylor]: Taking taylor expansion of 1.0 in x
8.244 * [backup-simplify]: Simplify 1.0 into 1.0
8.244 * [taylor]: Taking taylor expansion of z in x
8.244 * [backup-simplify]: Simplify z into z
8.244 * [taylor]: Taking taylor expansion of (* x y) in x
8.244 * [taylor]: Taking taylor expansion of x in x
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.244 * [taylor]: Taking taylor expansion of y in x
8.244 * [backup-simplify]: Simplify y into y
8.244 * [taylor]: Taking taylor expansion of (* z y) in x
8.244 * [taylor]: Taking taylor expansion of z in x
8.244 * [backup-simplify]: Simplify z into z
8.244 * [taylor]: Taking taylor expansion of y in x
8.244 * [backup-simplify]: Simplify y into y
8.244 * [taylor]: Taking taylor expansion of (- (fma 1.0 z (* x y)) (* z y)) in z
8.244 * [taylor]: Taking taylor expansion of (fma 1.0 z (* x y)) in z
8.244 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* x y))
8.244 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
8.244 * [taylor]: Taking taylor expansion of 1.0 in z
8.244 * [backup-simplify]: Simplify 1.0 into 1.0
8.244 * [taylor]: Taking taylor expansion of z in z
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.244 * [taylor]: Taking taylor expansion of (* x y) in z
8.244 * [taylor]: Taking taylor expansion of x in z
8.244 * [backup-simplify]: Simplify x into x
8.244 * [taylor]: Taking taylor expansion of y in z
8.244 * [backup-simplify]: Simplify y into y
8.244 * [taylor]: Taking taylor expansion of (* z y) in z
8.244 * [taylor]: Taking taylor expansion of z in z
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.244 * [taylor]: Taking taylor expansion of y in z
8.244 * [backup-simplify]: Simplify y into y
8.244 * [taylor]: Taking taylor expansion of (- (fma 1.0 z (* x y)) (* z y)) in z
8.244 * [taylor]: Taking taylor expansion of (fma 1.0 z (* x y)) in z
8.244 * [taylor]: Rewrote expression to (+ (* 1.0 z) (* x y))
8.244 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
8.244 * [taylor]: Taking taylor expansion of 1.0 in z
8.244 * [backup-simplify]: Simplify 1.0 into 1.0
8.244 * [taylor]: Taking taylor expansion of z in z
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.244 * [taylor]: Taking taylor expansion of (* x y) in z
8.244 * [taylor]: Taking taylor expansion of x in z
8.244 * [backup-simplify]: Simplify x into x
8.244 * [taylor]: Taking taylor expansion of y in z
8.245 * [backup-simplify]: Simplify y into y
8.245 * [taylor]: Taking taylor expansion of (* z y) in z
8.245 * [taylor]: Taking taylor expansion of z in z
8.245 * [backup-simplify]: Simplify 0 into 0
8.245 * [backup-simplify]: Simplify 1 into 1
8.245 * [taylor]: Taking taylor expansion of y in z
8.245 * [backup-simplify]: Simplify y into y
8.245 * [backup-simplify]: Simplify (* 1.0 0) into 0
8.245 * [backup-simplify]: Simplify (* x y) into (* x y)
8.245 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y)
8.245 * [backup-simplify]: Simplify (* 0 y) into 0
8.246 * [backup-simplify]: Simplify (- 0) into 0
8.246 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y)
8.246 * [taylor]: Taking taylor expansion of (* x y) in x
8.246 * [taylor]: Taking taylor expansion of x in x
8.246 * [backup-simplify]: Simplify 0 into 0
8.246 * [backup-simplify]: Simplify 1 into 1
8.246 * [taylor]: Taking taylor expansion of y in x
8.246 * [backup-simplify]: Simplify y into y
8.246 * [backup-simplify]: Simplify (* 0 y) into 0
8.246 * [taylor]: Taking taylor expansion of 0 in y
8.246 * [backup-simplify]: Simplify 0 into 0
8.246 * [backup-simplify]: Simplify 0 into 0
8.247 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
8.247 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
8.247 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.248 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.248 * [backup-simplify]: Simplify (- y) into (- y)
8.248 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
8.248 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
8.248 * [taylor]: Taking taylor expansion of 1.0 in x
8.248 * [backup-simplify]: Simplify 1.0 into 1.0
8.248 * [taylor]: Taking taylor expansion of y in x
8.248 * [backup-simplify]: Simplify y into y
8.248 * [backup-simplify]: Simplify (- y) into (- y)
8.248 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
8.248 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
8.248 * [taylor]: Taking taylor expansion of 1.0 in y
8.248 * [backup-simplify]: Simplify 1.0 into 1.0
8.248 * [taylor]: Taking taylor expansion of y in y
8.248 * [backup-simplify]: Simplify 0 into 0
8.248 * [backup-simplify]: Simplify 1 into 1
8.248 * [backup-simplify]: Simplify (- 0) into 0
8.248 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.248 * [backup-simplify]: Simplify 1.0 into 1.0
8.249 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.249 * [taylor]: Taking taylor expansion of y in y
8.249 * [backup-simplify]: Simplify 0 into 0
8.249 * [backup-simplify]: Simplify 1 into 1
8.249 * [backup-simplify]: Simplify 0 into 0
8.249 * [backup-simplify]: Simplify 0 into 0
8.249 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
8.250 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
8.250 * [backup-simplify]: Simplify (+ 0 0) into 0
8.250 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.251 * [backup-simplify]: Simplify (- 0) into 0
8.251 * [backup-simplify]: Simplify (+ 0 0) into 0
8.251 * [taylor]: Taking taylor expansion of 0 in x
8.251 * [backup-simplify]: Simplify 0 into 0
8.251 * [taylor]: Taking taylor expansion of 0 in y
8.251 * [backup-simplify]: Simplify 0 into 0
8.251 * [backup-simplify]: Simplify 0 into 0
8.251 * [backup-simplify]: Simplify (- 0) into 0
8.252 * [backup-simplify]: Simplify (+ 0 0) into 0
8.252 * [taylor]: Taking taylor expansion of 0 in y
8.252 * [backup-simplify]: Simplify 0 into 0
8.252 * [backup-simplify]: Simplify 0 into 0
8.252 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.252 * [taylor]: Taking taylor expansion of 0 in y
8.252 * [backup-simplify]: Simplify 0 into 0
8.252 * [backup-simplify]: Simplify 0 into 0
8.252 * [backup-simplify]: Simplify (- 1) into -1
8.253 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.253 * [backup-simplify]: Simplify -1 into -1
8.253 * [backup-simplify]: Simplify 1 into 1
8.253 * [backup-simplify]: Simplify (+ (* 1 (* y (* x 1))) (+ (* -1 (* y (* 1 z))) (* 1.0 (* 1 (* 1 z))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
8.253 * [backup-simplify]: Simplify (+ (fma 1.0 (/ 1 z) (* (/ 1 x) (/ 1 y))) (* (/ 1 z) (- (/ 1 y)))) into (- (fma 1.0 (/ 1 z) (/ 1 (* x y))) (/ 1 (* z y)))
8.253 * [approximate]: Taking taylor expansion of (- (fma 1.0 (/ 1 z) (/ 1 (* x y))) (/ 1 (* z y))) in (z x y) around 0
8.253 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 z) (/ 1 (* x y))) (/ 1 (* z y))) in y
8.253 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ 1 (* x y))) in y
8.253 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))
8.253 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
8.253 * [taylor]: Taking taylor expansion of 1.0 in y
8.253 * [backup-simplify]: Simplify 1.0 into 1.0
8.253 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.253 * [taylor]: Taking taylor expansion of z in y
8.253 * [backup-simplify]: Simplify z into z
8.254 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.254 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
8.254 * [taylor]: Taking taylor expansion of (* x y) in y
8.254 * [taylor]: Taking taylor expansion of x in y
8.254 * [backup-simplify]: Simplify x into x
8.254 * [taylor]: Taking taylor expansion of y in y
8.254 * [backup-simplify]: Simplify 0 into 0
8.254 * [backup-simplify]: Simplify 1 into 1
8.254 * [backup-simplify]: Simplify (* x 0) into 0
8.254 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
8.254 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.254 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.254 * [taylor]: Taking taylor expansion of (* z y) in y
8.254 * [taylor]: Taking taylor expansion of z in y
8.254 * [backup-simplify]: Simplify z into z
8.254 * [taylor]: Taking taylor expansion of y in y
8.254 * [backup-simplify]: Simplify 0 into 0
8.254 * [backup-simplify]: Simplify 1 into 1
8.254 * [backup-simplify]: Simplify (* z 0) into 0
8.254 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.255 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.255 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 z) (/ 1 (* x y))) (/ 1 (* z y))) in x
8.255 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ 1 (* x y))) in x
8.255 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))
8.255 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
8.255 * [taylor]: Taking taylor expansion of 1.0 in x
8.255 * [backup-simplify]: Simplify 1.0 into 1.0
8.255 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.255 * [taylor]: Taking taylor expansion of z in x
8.255 * [backup-simplify]: Simplify z into z
8.255 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.255 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
8.255 * [taylor]: Taking taylor expansion of (* x y) in x
8.255 * [taylor]: Taking taylor expansion of x in x
8.255 * [backup-simplify]: Simplify 0 into 0
8.255 * [backup-simplify]: Simplify 1 into 1
8.255 * [taylor]: Taking taylor expansion of y in x
8.255 * [backup-simplify]: Simplify y into y
8.255 * [backup-simplify]: Simplify (* 0 y) into 0
8.259 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.259 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.259 * [taylor]: Taking taylor expansion of (* z y) in x
8.259 * [taylor]: Taking taylor expansion of z in x
8.259 * [backup-simplify]: Simplify z into z
8.259 * [taylor]: Taking taylor expansion of y in x
8.259 * [backup-simplify]: Simplify y into y
8.259 * [backup-simplify]: Simplify (* z y) into (* z y)
8.259 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
8.259 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 z) (/ 1 (* x y))) (/ 1 (* z y))) in z
8.259 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ 1 (* x y))) in z
8.259 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))
8.259 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
8.259 * [taylor]: Taking taylor expansion of 1.0 in z
8.259 * [backup-simplify]: Simplify 1.0 into 1.0
8.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.259 * [taylor]: Taking taylor expansion of z in z
8.259 * [backup-simplify]: Simplify 0 into 0
8.259 * [backup-simplify]: Simplify 1 into 1
8.260 * [backup-simplify]: Simplify (/ 1 1) into 1
8.260 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
8.260 * [taylor]: Taking taylor expansion of (* x y) in z
8.260 * [taylor]: Taking taylor expansion of x in z
8.260 * [backup-simplify]: Simplify x into x
8.260 * [taylor]: Taking taylor expansion of y in z
8.260 * [backup-simplify]: Simplify y into y
8.260 * [backup-simplify]: Simplify (* x y) into (* x y)
8.260 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
8.260 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.260 * [taylor]: Taking taylor expansion of (* z y) in z
8.260 * [taylor]: Taking taylor expansion of z in z
8.260 * [backup-simplify]: Simplify 0 into 0
8.260 * [backup-simplify]: Simplify 1 into 1
8.260 * [taylor]: Taking taylor expansion of y in z
8.260 * [backup-simplify]: Simplify y into y
8.260 * [backup-simplify]: Simplify (* 0 y) into 0
8.261 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.261 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.261 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 z) (/ 1 (* x y))) (/ 1 (* z y))) in z
8.261 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 z) (/ 1 (* x y))) in z
8.261 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))
8.261 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
8.261 * [taylor]: Taking taylor expansion of 1.0 in z
8.261 * [backup-simplify]: Simplify 1.0 into 1.0
8.261 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.261 * [taylor]: Taking taylor expansion of z in z
8.261 * [backup-simplify]: Simplify 0 into 0
8.261 * [backup-simplify]: Simplify 1 into 1
8.261 * [backup-simplify]: Simplify (/ 1 1) into 1
8.261 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
8.261 * [taylor]: Taking taylor expansion of (* x y) in z
8.261 * [taylor]: Taking taylor expansion of x in z
8.261 * [backup-simplify]: Simplify x into x
8.261 * [taylor]: Taking taylor expansion of y in z
8.261 * [backup-simplify]: Simplify y into y
8.261 * [backup-simplify]: Simplify (* x y) into (* x y)
8.261 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
8.261 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.261 * [taylor]: Taking taylor expansion of (* z y) in z
8.261 * [taylor]: Taking taylor expansion of z in z
8.261 * [backup-simplify]: Simplify 0 into 0
8.261 * [backup-simplify]: Simplify 1 into 1
8.261 * [taylor]: Taking taylor expansion of y in z
8.261 * [backup-simplify]: Simplify y into y
8.261 * [backup-simplify]: Simplify (* 0 y) into 0
8.262 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.262 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.262 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.262 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.263 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
8.263 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
8.263 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
8.263 * [taylor]: Taking taylor expansion of 1.0 in x
8.263 * [backup-simplify]: Simplify 1.0 into 1.0
8.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.263 * [taylor]: Taking taylor expansion of y in x
8.263 * [backup-simplify]: Simplify y into y
8.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.264 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.264 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
8.264 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.264 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
8.265 * [backup-simplify]: Simplify (- 0) into 0
8.265 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) 0) into (/ 1 (* x y))
8.265 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
8.265 * [taylor]: Taking taylor expansion of (* x y) in x
8.265 * [taylor]: Taking taylor expansion of x in x
8.265 * [backup-simplify]: Simplify 0 into 0
8.265 * [backup-simplify]: Simplify 1 into 1
8.265 * [taylor]: Taking taylor expansion of y in x
8.265 * [backup-simplify]: Simplify y into y
8.265 * [backup-simplify]: Simplify (* 0 y) into 0
8.265 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.265 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.265 * [taylor]: Taking taylor expansion of y in y
8.265 * [backup-simplify]: Simplify 0 into 0
8.265 * [backup-simplify]: Simplify 1 into 1
8.265 * [backup-simplify]: Simplify (/ 1 1) into 1
8.265 * [backup-simplify]: Simplify 1 into 1
8.266 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
8.266 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
8.266 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
8.266 * [taylor]: Taking taylor expansion of 1.0 in y
8.266 * [backup-simplify]: Simplify 1.0 into 1.0
8.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.266 * [taylor]: Taking taylor expansion of y in y
8.266 * [backup-simplify]: Simplify 0 into 0
8.266 * [backup-simplify]: Simplify 1 into 1
8.266 * [backup-simplify]: Simplify (/ 1 1) into 1
8.266 * [backup-simplify]: Simplify (- 1) into -1
8.267 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.267 * [backup-simplify]: Simplify -1 into -1
8.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.268 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.268 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
8.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
8.268 * [backup-simplify]: Simplify (+ 0 0) into 0
8.269 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
8.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.269 * [backup-simplify]: Simplify (- 0) into 0
8.270 * [backup-simplify]: Simplify (+ 0 0) into 0
8.270 * [taylor]: Taking taylor expansion of 0 in x
8.270 * [backup-simplify]: Simplify 0 into 0
8.270 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
8.270 * [taylor]: Taking taylor expansion of 0 in y
8.270 * [backup-simplify]: Simplify 0 into 0
8.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
8.271 * [backup-simplify]: Simplify (- 0) into 0
8.271 * [backup-simplify]: Simplify (+ 0 0) into 0
8.271 * [taylor]: Taking taylor expansion of 0 in y
8.271 * [backup-simplify]: Simplify 0 into 0
8.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.272 * [backup-simplify]: Simplify 0 into 0
8.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.273 * [backup-simplify]: Simplify (- 0) into 0
8.273 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.273 * [backup-simplify]: Simplify 1.0 into 1.0
8.273 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* -1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
8.274 * [backup-simplify]: Simplify (+ (fma 1.0 (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) (* (/ 1 (- z)) (- (/ 1 (- y))))) into (- (fma 1.0 (/ -1 z) (/ 1 (* x y))) (/ 1 (* z y)))
8.274 * [approximate]: Taking taylor expansion of (- (fma 1.0 (/ -1 z) (/ 1 (* x y))) (/ 1 (* z y))) in (z x y) around 0
8.274 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 z) (/ 1 (* x y))) (/ 1 (* z y))) in y
8.274 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (/ 1 (* x y))) in y
8.274 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (/ 1 (* x y)))
8.274 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in y
8.274 * [taylor]: Taking taylor expansion of 1.0 in y
8.274 * [backup-simplify]: Simplify 1.0 into 1.0
8.274 * [taylor]: Taking taylor expansion of (/ -1 z) in y
8.274 * [taylor]: Taking taylor expansion of -1 in y
8.274 * [backup-simplify]: Simplify -1 into -1
8.274 * [taylor]: Taking taylor expansion of z in y
8.274 * [backup-simplify]: Simplify z into z
8.274 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
8.274 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
8.274 * [taylor]: Taking taylor expansion of (* x y) in y
8.274 * [taylor]: Taking taylor expansion of x in y
8.274 * [backup-simplify]: Simplify x into x
8.274 * [taylor]: Taking taylor expansion of y in y
8.274 * [backup-simplify]: Simplify 0 into 0
8.274 * [backup-simplify]: Simplify 1 into 1
8.274 * [backup-simplify]: Simplify (* x 0) into 0
8.275 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
8.275 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.275 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.275 * [taylor]: Taking taylor expansion of (* z y) in y
8.275 * [taylor]: Taking taylor expansion of z in y
8.275 * [backup-simplify]: Simplify z into z
8.275 * [taylor]: Taking taylor expansion of y in y
8.275 * [backup-simplify]: Simplify 0 into 0
8.275 * [backup-simplify]: Simplify 1 into 1
8.275 * [backup-simplify]: Simplify (* z 0) into 0
8.275 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
8.275 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.275 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 z) (/ 1 (* x y))) (/ 1 (* z y))) in x
8.275 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (/ 1 (* x y))) in x
8.276 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (/ 1 (* x y)))
8.276 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in x
8.276 * [taylor]: Taking taylor expansion of 1.0 in x
8.276 * [backup-simplify]: Simplify 1.0 into 1.0
8.276 * [taylor]: Taking taylor expansion of (/ -1 z) in x
8.276 * [taylor]: Taking taylor expansion of -1 in x
8.276 * [backup-simplify]: Simplify -1 into -1
8.276 * [taylor]: Taking taylor expansion of z in x
8.276 * [backup-simplify]: Simplify z into z
8.276 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
8.276 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
8.276 * [taylor]: Taking taylor expansion of (* x y) in x
8.276 * [taylor]: Taking taylor expansion of x in x
8.276 * [backup-simplify]: Simplify 0 into 0
8.276 * [backup-simplify]: Simplify 1 into 1
8.276 * [taylor]: Taking taylor expansion of y in x
8.276 * [backup-simplify]: Simplify y into y
8.276 * [backup-simplify]: Simplify (* 0 y) into 0
8.277 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.277 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.277 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.277 * [taylor]: Taking taylor expansion of (* z y) in x
8.277 * [taylor]: Taking taylor expansion of z in x
8.277 * [backup-simplify]: Simplify z into z
8.277 * [taylor]: Taking taylor expansion of y in x
8.277 * [backup-simplify]: Simplify y into y
8.277 * [backup-simplify]: Simplify (* z y) into (* z y)
8.277 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
8.277 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 z) (/ 1 (* x y))) (/ 1 (* z y))) in z
8.277 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (/ 1 (* x y))) in z
8.277 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (/ 1 (* x y)))
8.278 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
8.278 * [taylor]: Taking taylor expansion of 1.0 in z
8.278 * [backup-simplify]: Simplify 1.0 into 1.0
8.278 * [taylor]: Taking taylor expansion of (/ -1 z) in z
8.278 * [taylor]: Taking taylor expansion of -1 in z
8.278 * [backup-simplify]: Simplify -1 into -1
8.278 * [taylor]: Taking taylor expansion of z in z
8.278 * [backup-simplify]: Simplify 0 into 0
8.278 * [backup-simplify]: Simplify 1 into 1
8.278 * [backup-simplify]: Simplify (/ -1 1) into -1
8.278 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
8.278 * [taylor]: Taking taylor expansion of (* x y) in z
8.278 * [taylor]: Taking taylor expansion of x in z
8.278 * [backup-simplify]: Simplify x into x
8.278 * [taylor]: Taking taylor expansion of y in z
8.278 * [backup-simplify]: Simplify y into y
8.278 * [backup-simplify]: Simplify (* x y) into (* x y)
8.279 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
8.279 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.279 * [taylor]: Taking taylor expansion of (* z y) in z
8.279 * [taylor]: Taking taylor expansion of z in z
8.279 * [backup-simplify]: Simplify 0 into 0
8.279 * [backup-simplify]: Simplify 1 into 1
8.279 * [taylor]: Taking taylor expansion of y in z
8.279 * [backup-simplify]: Simplify y into y
8.279 * [backup-simplify]: Simplify (* 0 y) into 0
8.279 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.279 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.279 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 z) (/ 1 (* x y))) (/ 1 (* z y))) in z
8.279 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 z) (/ 1 (* x y))) in z
8.280 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 z)) (/ 1 (* x y)))
8.280 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 z)) in z
8.280 * [taylor]: Taking taylor expansion of 1.0 in z
8.280 * [backup-simplify]: Simplify 1.0 into 1.0
8.280 * [taylor]: Taking taylor expansion of (/ -1 z) in z
8.280 * [taylor]: Taking taylor expansion of -1 in z
8.280 * [backup-simplify]: Simplify -1 into -1
8.280 * [taylor]: Taking taylor expansion of z in z
8.280 * [backup-simplify]: Simplify 0 into 0
8.280 * [backup-simplify]: Simplify 1 into 1
8.280 * [backup-simplify]: Simplify (/ -1 1) into -1
8.280 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
8.280 * [taylor]: Taking taylor expansion of (* x y) in z
8.280 * [taylor]: Taking taylor expansion of x in z
8.280 * [backup-simplify]: Simplify x into x
8.280 * [taylor]: Taking taylor expansion of y in z
8.280 * [backup-simplify]: Simplify y into y
8.280 * [backup-simplify]: Simplify (* x y) into (* x y)
8.281 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
8.281 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.281 * [taylor]: Taking taylor expansion of (* z y) in z
8.281 * [taylor]: Taking taylor expansion of z in z
8.281 * [backup-simplify]: Simplify 0 into 0
8.281 * [backup-simplify]: Simplify 1 into 1
8.281 * [taylor]: Taking taylor expansion of y in z
8.281 * [backup-simplify]: Simplify y into y
8.281 * [backup-simplify]: Simplify (* 0 y) into 0
8.281 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.281 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.282 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
8.282 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
8.282 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
8.283 * [backup-simplify]: Simplify (+ (- 1.0) (- (/ 1 y))) into (- (+ 1.0 (/ 1 y)))
8.283 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 y))) in x
8.283 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
8.283 * [taylor]: Taking taylor expansion of 1.0 in x
8.283 * [backup-simplify]: Simplify 1.0 into 1.0
8.283 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.283 * [taylor]: Taking taylor expansion of y in x
8.283 * [backup-simplify]: Simplify y into y
8.283 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.284 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
8.285 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
8.285 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
8.286 * [backup-simplify]: Simplify (- 0) into 0
8.286 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) 0) into (/ 1 (* x y))
8.286 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
8.286 * [taylor]: Taking taylor expansion of (* x y) in x
8.286 * [taylor]: Taking taylor expansion of x in x
8.286 * [backup-simplify]: Simplify 0 into 0
8.286 * [backup-simplify]: Simplify 1 into 1
8.286 * [taylor]: Taking taylor expansion of y in x
8.286 * [backup-simplify]: Simplify y into y
8.286 * [backup-simplify]: Simplify (* 0 y) into 0
8.287 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
8.287 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.287 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.287 * [taylor]: Taking taylor expansion of y in y
8.287 * [backup-simplify]: Simplify 0 into 0
8.287 * [backup-simplify]: Simplify 1 into 1
8.287 * [backup-simplify]: Simplify (/ 1 1) into 1
8.287 * [backup-simplify]: Simplify 1 into 1
8.287 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
8.287 * [backup-simplify]: Simplify (- (+ 1.0 (/ 1 y))) into (- (+ 1.0 (/ 1 y)))
8.287 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 y))) in y
8.287 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
8.287 * [taylor]: Taking taylor expansion of 1.0 in y
8.287 * [backup-simplify]: Simplify 1.0 into 1.0
8.287 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.287 * [taylor]: Taking taylor expansion of y in y
8.287 * [backup-simplify]: Simplify 0 into 0
8.288 * [backup-simplify]: Simplify 1 into 1
8.288 * [backup-simplify]: Simplify (/ 1 1) into 1
8.288 * [backup-simplify]: Simplify (+ 0 1) into 1
8.289 * [backup-simplify]: Simplify (- 1) into -1
8.289 * [backup-simplify]: Simplify -1 into -1
8.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.290 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 -1))) into 0
8.291 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
8.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
8.291 * [backup-simplify]: Simplify (+ 0 0) into 0
8.292 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
8.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.293 * [backup-simplify]: Simplify (- 0) into 0
8.293 * [backup-simplify]: Simplify (+ 0 0) into 0
8.293 * [taylor]: Taking taylor expansion of 0 in x
8.293 * [backup-simplify]: Simplify 0 into 0
8.294 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
8.294 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
8.294 * [taylor]: Taking taylor expansion of 0 in y
8.294 * [backup-simplify]: Simplify 0 into 0
8.294 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
8.295 * [backup-simplify]: Simplify (+ 0 0) into 0
8.295 * [backup-simplify]: Simplify (- 0) into 0
8.295 * [taylor]: Taking taylor expansion of 0 in y
8.295 * [backup-simplify]: Simplify 0 into 0
8.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.296 * [backup-simplify]: Simplify 0 into 0
8.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.297 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.297 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.298 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.299 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
8.299 * * * [progress]: simplifying candidates
8.299 * [simplify]: Simplifying:
  (expm1 (+ (fma 1.0 z (* x y)) (* z (- y))))
  (log1p (+ (fma 1.0 z (* x y)) (* z (- y))))
  (* (exp (fma 1.0 z (* x y))) (exp (* z (- y))))
  (log (+ (fma 1.0 z (* x y)) (* z (- y))))
  (exp (+ (fma 1.0 z (* x y)) (* z (- y))))
  (* (cbrt (+ (fma 1.0 z (* x y)) (* z (- y)))) (cbrt (+ (fma 1.0 z (* x y)) (* z (- y)))))
  (cbrt (+ (fma 1.0 z (* x y)) (* z (- y))))
  (* (* (+ (fma 1.0 z (* x y)) (* z (- y))) (+ (fma 1.0 z (* x y)) (* z (- y)))) (+ (fma 1.0 z (* x y)) (* z (- y))))
  (sqrt (+ (fma 1.0 z (* x y)) (* z (- y))))
  (sqrt (+ (fma 1.0 z (* x y)) (* z (- y))))
  (+ (pow (fma 1.0 z (* x y)) 3) (pow (* z (- y)) 3))
  (+ (* (fma 1.0 z (* x y)) (fma 1.0 z (* x y))) (- (* (* z (- y)) (* z (- y))) (* (fma 1.0 z (* x y)) (* z (- y)))))
  (- (* (fma 1.0 z (* x y)) (fma 1.0 z (* x y))) (* (* z (- y)) (* z (- y))))
  (- (fma 1.0 z (* x y)) (* z (- y)))
  (+ (* x y) (* z (- y)))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
8.300 * * [simplify]: iteration 0: 37 enodes
8.313 * * [simplify]: iteration 1: 114 enodes
8.368 * * [simplify]: iteration 2: 475 enodes
8.805 * * [simplify]: iteration 3: 2051 enodes
10.394 * * [simplify]: iteration complete: 5000 enodes
10.395 * * [simplify]: Extracting #0: cost 14 inf + 0
10.395 * * [simplify]: Extracting #1: cost 180 inf + 0
10.408 * * [simplify]: Extracting #2: cost 537 inf + 2075
10.431 * * [simplify]: Extracting #3: cost 585 inf + 41404
10.473 * * [simplify]: Extracting #4: cost 201 inf + 136870
10.552 * * [simplify]: Extracting #5: cost 28 inf + 184612
10.629 * * [simplify]: Extracting #6: cost 5 inf + 189158
10.721 * * [simplify]: Extracting #7: cost 0 inf + 190913
10.799 * [simplify]: Simplified to:
  (expm1 (fma x y (* z (- 1.0 y))))
  (log1p (fma x y (* z (- 1.0 y))))
  (exp (fma x y (* z (- 1.0 y))))
  (log (fma x y (* z (- 1.0 y))))
  (exp (fma x y (* z (- 1.0 y))))
  (* (cbrt (fma x y (* z (- 1.0 y)))) (cbrt (fma x y (* z (- 1.0 y)))))
  (cbrt (fma x y (* z (- 1.0 y))))
  (* (fma x y (* z (- 1.0 y))) (* (fma x y (* z (- 1.0 y))) (fma x y (* z (- 1.0 y)))))
  (sqrt (fma x y (* z (- 1.0 y))))
  (sqrt (fma x y (* z (- 1.0 y))))
  (- (* (fma x y (* 1.0 z)) (* (fma x y (* 1.0 z)) (fma x y (* 1.0 z)))) (* (* y z) (* (* y z) (* y z))))
  (fma (fma x y (* 1.0 z)) (* y z) (fma (fma x y (* 1.0 z)) (fma x y (* 1.0 z)) (* (* y z) (* y z))))
  (- (* (fma x y (* 1.0 z)) (fma x y (* 1.0 z))) (* (* y z) (* y z)))
  (fma z (+ 1.0 y) (* x y))
  (* y (- x z))
  (fma x y (* z (- 1.0 y)))
  (fma x y (* z (- 1.0 y)))
  (fma x y (* z (- 1.0 y)))
10.800 * * * [progress]: adding candidates to table
10.908 * [progress]: [Phase 3 of 3] Extracting.
10.908 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (fma 1.0 z (* x y)) (* z (- y))))> #<alt (λ (x y z) (fma z (- 1.0 y) (* x y)))>)
10.908 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
10.908 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (fma 1.0 z (* x y)) (* z (- y))))> #<alt (λ (x y z) (fma z (- 1.0 y) (* x y)))>)
10.958 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (fma 1.0 z (* x y)) (* z (- y))))> #<alt (λ (x y z) (fma z (- 1.0 y) (* x y)))>)
10.995 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (fma 1.0 z (* x y)) (* z (- y))))> #<alt (λ (x y z) (fma z (- 1.0 y) (* x y)))>)
11.045 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.045 * [simplify]: Simplifying:
  (+ (fma 1.0 z (* x y)) (* z (- y)))
11.045 * * [simplify]: iteration 0: 9 enodes
11.045 * * [simplify]: iteration 1: 14 enodes
11.046 * * [simplify]: iteration 2: 18 enodes
11.047 * * [simplify]: iteration 3: 19 enodes
11.047 * * [simplify]: iteration complete: 19 enodes
11.047 * * [simplify]: Extracting #0: cost 1 inf + 0
11.047 * * [simplify]: Extracting #1: cost 3 inf + 0
11.047 * * [simplify]: Extracting #2: cost 10 inf + 0
11.047 * * [simplify]: Extracting #3: cost 4 inf + 209
11.048 * * [simplify]: Extracting #4: cost 0 inf + 570
11.048 * [simplify]: Simplified to:
  (+ (fma 1.0 z (* x y)) (* (- y) z))
12.653 * [regime-testing]: Baseline error score: 0.015977916604832804
12.667 * [regime-testing]: Oracle error score: 0.006000750093761721
12.696 * [regime-testing]: End program error score: 0.015977916604832804
12.822 * [regime-testing]: Target error score: 0.014501812726590823