111.708 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (+ (* x y) (* z (- 1.0 y)))
0.035 * * [simplify]: iteration 0: 8 enodes
0.037 * * [simplify]: iteration 1: 14 enodes
0.040 * * [simplify]: iteration 2: 24 enodes
0.043 * * [simplify]: iteration 3: 40 enodes
0.049 * * [simplify]: iteration 4: 61 enodes
0.058 * * [simplify]: iteration 5: 78 enodes
0.068 * * [simplify]: iteration 6: 98 enodes
0.080 * * [simplify]: iteration 7: 124 enodes
0.108 * * [simplify]: iteration 8: 167 enodes
0.154 * * [simplify]: iteration 9: 292 enodes
0.276 * * [simplify]: iteration 10: 681 enodes
0.650 * * [simplify]: iteration 11: 1597 enodes
1.272 * * [simplify]: iteration 12: 2429 enodes
1.442 * * [simplify]: iteration 13: 2655 enodes
1.564 * * [simplify]: iteration 14: 2926 enodes
1.651 * * [simplify]: iteration 15: 3141 enodes
1.758 * * [simplify]: iteration 16: 3410 enodes
1.846 * * [simplify]: iteration 17: 3623 enodes
1.956 * * [simplify]: iteration 18: 3894 enodes
2.039 * * [simplify]: iteration 19: 4109 enodes
2.160 * * [simplify]: iteration 20: 4378 enodes
2.243 * * [simplify]: iteration 21: 4591 enodes
2.348 * * [simplify]: iteration 22: 4863 enodes
2.407 * * [simplify]: iteration complete: 5001 enodes
2.407 * * [simplify]: Extracting #0: cost 1 inf + 0
2.407 * * [simplify]: Extracting #1: cost 26 inf + 0
2.407 * * [simplify]: Extracting #2: cost 82 inf + 348
2.410 * * [simplify]: Extracting #3: cost 11 inf + 6709
2.415 * * [simplify]: Extracting #4: cost 0 inf + 7799
2.418 * [simplify]: Simplified to:
  (fma x y (* (- 1.0 y) z))
2.423 * * [progress]: iteration 1 / 4
2.423 * * * [progress]: picking best candidate
2.430 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* (- 1.0 y) z)))>
2.430 * * * [progress]: localizing error
2.441 * * * [progress]: generating rewritten candidates
2.441 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
2.458 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.459 * * * [progress]: generating series expansions
2.459 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
2.459 * [backup-simplify]: Simplify (* (- 1.0 y) z) into (* (- 1.0 y) z)
2.459 * [approximate]: Taking taylor expansion of (* (- 1.0 y) z) in (y z) around 0
2.459 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
2.459 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
2.459 * [taylor]: Taking taylor expansion of 1.0 in z
2.459 * [backup-simplify]: Simplify 1.0 into 1.0
2.459 * [taylor]: Taking taylor expansion of y in z
2.459 * [backup-simplify]: Simplify y into y
2.459 * [taylor]: Taking taylor expansion of z in z
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.459 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
2.459 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
2.459 * [taylor]: Taking taylor expansion of 1.0 in y
2.459 * [backup-simplify]: Simplify 1.0 into 1.0
2.459 * [taylor]: Taking taylor expansion of y in y
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.459 * [taylor]: Taking taylor expansion of z in y
2.459 * [backup-simplify]: Simplify z into z
2.459 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
2.459 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
2.459 * [taylor]: Taking taylor expansion of 1.0 in y
2.460 * [backup-simplify]: Simplify 1.0 into 1.0
2.460 * [taylor]: Taking taylor expansion of y in y
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify 1 into 1
2.460 * [taylor]: Taking taylor expansion of z in y
2.460 * [backup-simplify]: Simplify z into z
2.460 * [backup-simplify]: Simplify (- 0) into 0
2.460 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.461 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
2.461 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
2.461 * [taylor]: Taking taylor expansion of 1.0 in z
2.461 * [backup-simplify]: Simplify 1.0 into 1.0
2.461 * [taylor]: Taking taylor expansion of z in z
2.461 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify 1 into 1
2.461 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.461 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify (- 1) into -1
2.461 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.462 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 z)) into (- z)
2.462 * [taylor]: Taking taylor expansion of (- z) in z
2.462 * [taylor]: Taking taylor expansion of z in z
2.462 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify 1 into 1
2.462 * [backup-simplify]: Simplify (- 0) into 0
2.462 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.463 * [backup-simplify]: Simplify 1.0 into 1.0
2.463 * [backup-simplify]: Simplify (- 0) into 0
2.463 * [backup-simplify]: Simplify (+ 0 0) into 0
2.464 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 z))) into 0
2.464 * [taylor]: Taking taylor expansion of 0 in z
2.464 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify (- 1) into -1
2.464 * [backup-simplify]: Simplify -1 into -1
2.465 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.465 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify (- 0) into 0
2.465 * [backup-simplify]: Simplify (+ 0 0) into 0
2.466 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (+ (* 0 0) (* 0 z)))) into 0
2.466 * [taylor]: Taking taylor expansion of 0 in z
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (- 0) into 0
2.466 * [backup-simplify]: Simplify 0 into 0
2.467 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.467 * [backup-simplify]: Simplify 0 into 0
2.467 * [backup-simplify]: Simplify (- 0) into 0
2.468 * [backup-simplify]: Simplify (+ 0 0) into 0
2.469 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
2.469 * [taylor]: Taking taylor expansion of 0 in z
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify (+ (* -1 (* z y)) (* 1.0 (* z 1))) into (- (* 1.0 z) (* z y))
2.469 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 y)) (/ 1 z)) into (/ (- 1.0 (/ 1 y)) z)
2.469 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (y z) around 0
2.469 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
2.469 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
2.469 * [taylor]: Taking taylor expansion of 1.0 in z
2.469 * [backup-simplify]: Simplify 1.0 into 1.0
2.469 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.469 * [taylor]: Taking taylor expansion of y in z
2.469 * [backup-simplify]: Simplify y into y
2.469 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.469 * [taylor]: Taking taylor expansion of z in z
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.469 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.469 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
2.469 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
2.469 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
2.469 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
2.469 * [taylor]: Taking taylor expansion of 1.0 in y
2.469 * [backup-simplify]: Simplify 1.0 into 1.0
2.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.469 * [taylor]: Taking taylor expansion of y in y
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.470 * [backup-simplify]: Simplify (/ 1 1) into 1
2.470 * [taylor]: Taking taylor expansion of z in y
2.470 * [backup-simplify]: Simplify z into z
2.470 * [backup-simplify]: Simplify (- 1) into -1
2.470 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.470 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.470 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
2.470 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
2.470 * [taylor]: Taking taylor expansion of 1.0 in y
2.470 * [backup-simplify]: Simplify 1.0 into 1.0
2.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.470 * [taylor]: Taking taylor expansion of y in y
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify 1 into 1
2.471 * [backup-simplify]: Simplify (/ 1 1) into 1
2.471 * [taylor]: Taking taylor expansion of z in y
2.471 * [backup-simplify]: Simplify z into z
2.471 * [backup-simplify]: Simplify (- 1) into -1
2.471 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.471 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.471 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.471 * [taylor]: Taking taylor expansion of -1 in z
2.471 * [backup-simplify]: Simplify -1 into -1
2.472 * [taylor]: Taking taylor expansion of z in z
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify 1 into 1
2.472 * [backup-simplify]: Simplify (/ -1 1) into -1
2.472 * [backup-simplify]: Simplify -1 into -1
2.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.473 * [backup-simplify]: Simplify (- 0) into 0
2.473 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.473 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ -1 z) (/ 0 z)))) into (* 1.0 (/ 1 z))
2.473 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.473 * [taylor]: Taking taylor expansion of 1.0 in z
2.473 * [backup-simplify]: Simplify 1.0 into 1.0
2.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.473 * [taylor]: Taking taylor expansion of z in z
2.473 * [backup-simplify]: Simplify 0 into 0
2.473 * [backup-simplify]: Simplify 1 into 1
2.473 * [backup-simplify]: Simplify (/ 1 1) into 1
2.474 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.474 * [backup-simplify]: Simplify 1.0 into 1.0
2.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.475 * [backup-simplify]: Simplify (- 0) into 0
2.475 * [backup-simplify]: Simplify (+ 0 0) into 0
2.475 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0
2.475 * [taylor]: Taking taylor expansion of 0 in z
2.475 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.476 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.476 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.477 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.478 * [backup-simplify]: Simplify (- 0) into 0
2.478 * [backup-simplify]: Simplify (+ 0 0) into 0
2.478 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.478 * [taylor]: Taking taylor expansion of 0 in z
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.479 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.479 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.480 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) 1)) (* -1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) into (- (* 1.0 z) (* z y))
2.480 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ (+ 1.0 (/ 1 y)) z))
2.480 * [approximate]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in (y z) around 0
2.480 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z
2.480 * [taylor]: Taking taylor expansion of -1 in z
2.480 * [backup-simplify]: Simplify -1 into -1
2.480 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z
2.480 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
2.480 * [taylor]: Taking taylor expansion of 1.0 in z
2.480 * [backup-simplify]: Simplify 1.0 into 1.0
2.480 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.480 * [taylor]: Taking taylor expansion of y in z
2.480 * [backup-simplify]: Simplify y into y
2.480 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.480 * [taylor]: Taking taylor expansion of z in z
2.480 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify 1 into 1
2.480 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
2.480 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y))
2.480 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in y
2.480 * [taylor]: Taking taylor expansion of -1 in y
2.480 * [backup-simplify]: Simplify -1 into -1
2.480 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in y
2.480 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
2.481 * [taylor]: Taking taylor expansion of 1.0 in y
2.481 * [backup-simplify]: Simplify 1.0 into 1.0
2.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.481 * [taylor]: Taking taylor expansion of y in y
2.481 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify 1 into 1
2.481 * [backup-simplify]: Simplify (/ 1 1) into 1
2.481 * [taylor]: Taking taylor expansion of z in y
2.481 * [backup-simplify]: Simplify z into z
2.481 * [backup-simplify]: Simplify (+ 0 1) into 1
2.481 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.481 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in y
2.481 * [taylor]: Taking taylor expansion of -1 in y
2.481 * [backup-simplify]: Simplify -1 into -1
2.481 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in y
2.481 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
2.481 * [taylor]: Taking taylor expansion of 1.0 in y
2.481 * [backup-simplify]: Simplify 1.0 into 1.0
2.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.481 * [taylor]: Taking taylor expansion of y in y
2.481 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify 1 into 1
2.482 * [backup-simplify]: Simplify (/ 1 1) into 1
2.482 * [taylor]: Taking taylor expansion of z in y
2.482 * [backup-simplify]: Simplify z into z
2.482 * [backup-simplify]: Simplify (+ 0 1) into 1
2.482 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.482 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
2.482 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.482 * [taylor]: Taking taylor expansion of -1 in z
2.482 * [backup-simplify]: Simplify -1 into -1
2.482 * [taylor]: Taking taylor expansion of z in z
2.482 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify 1 into 1
2.482 * [backup-simplify]: Simplify (/ -1 1) into -1
2.482 * [backup-simplify]: Simplify -1 into -1
2.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.483 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.483 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ 1 z) (/ 0 z)))) into (* 1.0 (/ 1 z))
2.483 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 z))) (* 0 (/ 1 z))) into (- (* 1.0 (/ 1 z)))
2.483 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
2.483 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.483 * [taylor]: Taking taylor expansion of 1.0 in z
2.483 * [backup-simplify]: Simplify 1.0 into 1.0
2.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.483 * [taylor]: Taking taylor expansion of z in z
2.483 * [backup-simplify]: Simplify 0 into 0
2.484 * [backup-simplify]: Simplify 1 into 1
2.484 * [backup-simplify]: Simplify (/ 1 1) into 1
2.484 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.484 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.484 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.485 * [backup-simplify]: Simplify 0 into 0
2.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.486 * [backup-simplify]: Simplify (+ 0 0) into 0
2.486 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0
2.486 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 z))) (* 0 (/ 1 z)))) into 0
2.486 * [taylor]: Taking taylor expansion of 0 in z
2.486 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.487 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.487 * [backup-simplify]: Simplify (- 0) into 0
2.487 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.488 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.489 * [backup-simplify]: Simplify (+ 0 0) into 0
2.489 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.490 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 z))) (* 0 (/ 1 z))))) into 0
2.490 * [taylor]: Taking taylor expansion of 0 in z
2.490 * [backup-simplify]: Simplify 0 into 0
2.490 * [backup-simplify]: Simplify 0 into 0
2.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.491 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.491 * [backup-simplify]: Simplify (- 0) into 0
2.491 * [backup-simplify]: Simplify 0 into 0
2.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.492 * [backup-simplify]: Simplify 0 into 0
2.492 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) 1)) (* -1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) into (- (* 1.0 z) (* z y))
2.492 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.492 * [backup-simplify]: Simplify (fma x y (* (- 1.0 y) z)) into (fma x y (* (- 1.0 y) z))
2.492 * [approximate]: Taking taylor expansion of (fma x y (* (- 1.0 y) z)) in (x y z) around 0
2.492 * [taylor]: Taking taylor expansion of (fma x y (* (- 1.0 y) z)) in z
2.492 * [taylor]: Rewrote expression to (+ (* x y) (* (- 1.0 y) z))
2.492 * [taylor]: Taking taylor expansion of (* x y) in z
2.492 * [taylor]: Taking taylor expansion of x in z
2.492 * [backup-simplify]: Simplify x into x
2.492 * [taylor]: Taking taylor expansion of y in z
2.492 * [backup-simplify]: Simplify y into y
2.492 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
2.492 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
2.492 * [taylor]: Taking taylor expansion of 1.0 in z
2.493 * [backup-simplify]: Simplify 1.0 into 1.0
2.493 * [taylor]: Taking taylor expansion of y in z
2.493 * [backup-simplify]: Simplify y into y
2.493 * [taylor]: Taking taylor expansion of z in z
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify 1 into 1
2.493 * [taylor]: Taking taylor expansion of (fma x y (* (- 1.0 y) z)) in y
2.493 * [taylor]: Rewrote expression to (+ (* x y) (* (- 1.0 y) z))
2.493 * [taylor]: Taking taylor expansion of (* x y) in y
2.493 * [taylor]: Taking taylor expansion of x in y
2.493 * [backup-simplify]: Simplify x into x
2.493 * [taylor]: Taking taylor expansion of y in y
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify 1 into 1
2.493 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
2.493 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
2.493 * [taylor]: Taking taylor expansion of 1.0 in y
2.493 * [backup-simplify]: Simplify 1.0 into 1.0
2.493 * [taylor]: Taking taylor expansion of y in y
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify 1 into 1
2.493 * [taylor]: Taking taylor expansion of z in y
2.493 * [backup-simplify]: Simplify z into z
2.493 * [taylor]: Taking taylor expansion of (fma x y (* (- 1.0 y) z)) in x
2.493 * [taylor]: Rewrote expression to (+ (* x y) (* (- 1.0 y) z))
2.493 * [taylor]: Taking taylor expansion of (* x y) in x
2.493 * [taylor]: Taking taylor expansion of x in x
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify 1 into 1
2.493 * [taylor]: Taking taylor expansion of y in x
2.493 * [backup-simplify]: Simplify y into y
2.493 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in x
2.493 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
2.493 * [taylor]: Taking taylor expansion of 1.0 in x
2.493 * [backup-simplify]: Simplify 1.0 into 1.0
2.493 * [taylor]: Taking taylor expansion of y in x
2.493 * [backup-simplify]: Simplify y into y
2.493 * [taylor]: Taking taylor expansion of z in x
2.493 * [backup-simplify]: Simplify z into z
2.493 * [taylor]: Taking taylor expansion of (fma x y (* (- 1.0 y) z)) in x
2.493 * [taylor]: Rewrote expression to (+ (* x y) (* (- 1.0 y) z))
2.493 * [taylor]: Taking taylor expansion of (* x y) in x
2.493 * [taylor]: Taking taylor expansion of x in x
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify 1 into 1
2.493 * [taylor]: Taking taylor expansion of y in x
2.493 * [backup-simplify]: Simplify y into y
2.493 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in x
2.493 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
2.493 * [taylor]: Taking taylor expansion of 1.0 in x
2.494 * [backup-simplify]: Simplify 1.0 into 1.0
2.494 * [taylor]: Taking taylor expansion of y in x
2.494 * [backup-simplify]: Simplify y into y
2.494 * [taylor]: Taking taylor expansion of z in x
2.494 * [backup-simplify]: Simplify z into z
2.494 * [backup-simplify]: Simplify (* 0 y) into 0
2.494 * [backup-simplify]: Simplify (- y) into (- y)
2.494 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
2.494 * [backup-simplify]: Simplify (* (- 1.0 y) z) into (* (- 1.0 y) z)
2.494 * [backup-simplify]: Simplify (+ 0 (* (- 1.0 y) z)) into (- (* 1.0 z) (* z y))
2.494 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in y
2.494 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
2.494 * [taylor]: Taking taylor expansion of 1.0 in y
2.494 * [backup-simplify]: Simplify 1.0 into 1.0
2.494 * [taylor]: Taking taylor expansion of z in y
2.494 * [backup-simplify]: Simplify z into z
2.494 * [taylor]: Taking taylor expansion of (* z y) in y
2.494 * [taylor]: Taking taylor expansion of z in y
2.494 * [backup-simplify]: Simplify z into z
2.494 * [taylor]: Taking taylor expansion of y in y
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 1 into 1
2.494 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
2.494 * [backup-simplify]: Simplify (* z 0) into 0
2.494 * [backup-simplify]: Simplify (- 0) into 0
2.494 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z)
2.495 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
2.495 * [taylor]: Taking taylor expansion of 1.0 in z
2.495 * [backup-simplify]: Simplify 1.0 into 1.0
2.495 * [taylor]: Taking taylor expansion of z in z
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 1 into 1
2.495 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.495 * [backup-simplify]: Simplify (- 0) into 0
2.496 * [backup-simplify]: Simplify (+ 0 0) into 0
2.496 * [backup-simplify]: Simplify (+ (* (- 1.0 y) 0) (* 0 z)) into 0
2.496 * [backup-simplify]: Simplify (+ y 0) into y
2.496 * [taylor]: Taking taylor expansion of y in y
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [taylor]: Taking taylor expansion of 0 in z
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
2.497 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.497 * [backup-simplify]: Simplify (- z) into (- z)
2.497 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
2.497 * [taylor]: Taking taylor expansion of (- z) in z
2.497 * [taylor]: Taking taylor expansion of z in z
2.497 * [backup-simplify]: Simplify 0 into 0
2.497 * [backup-simplify]: Simplify 1 into 1
2.497 * [backup-simplify]: Simplify (- 0) into 0
2.497 * [backup-simplify]: Simplify 0 into 0
2.498 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.498 * [backup-simplify]: Simplify 1.0 into 1.0
2.498 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.499 * [backup-simplify]: Simplify (- 0) into 0
2.499 * [backup-simplify]: Simplify (+ 0 0) into 0
2.499 * [backup-simplify]: Simplify (+ (* (- 1.0 y) 0) (+ (* 0 0) (* 0 z))) into 0
2.499 * [backup-simplify]: Simplify (+ 0 0) into 0
2.499 * [taylor]: Taking taylor expansion of 0 in y
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [taylor]: Taking taylor expansion of 0 in z
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [taylor]: Taking taylor expansion of 1 in z
2.500 * [backup-simplify]: Simplify 1 into 1
2.500 * [backup-simplify]: Simplify 1 into 1
2.500 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
2.500 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.501 * [backup-simplify]: Simplify (- 0) into 0
2.501 * [backup-simplify]: Simplify (+ 0 0) into 0
2.501 * [taylor]: Taking taylor expansion of 0 in z
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify (- 1) into -1
2.501 * [backup-simplify]: Simplify -1 into -1
2.502 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (+ (* 1 (* 1 (* y x))) (* 1.0 (* z (* 1 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
2.502 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (* (- 1.0 (/ 1 y)) (/ 1 z))) into (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z))
2.502 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in (x y z) around 0
2.502 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in z
2.502 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
2.502 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
2.502 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.502 * [taylor]: Taking taylor expansion of x in z
2.502 * [backup-simplify]: Simplify x into x
2.502 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.502 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.502 * [taylor]: Taking taylor expansion of y in z
2.502 * [backup-simplify]: Simplify y into y
2.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.502 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
2.502 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
2.502 * [taylor]: Taking taylor expansion of 1.0 in z
2.502 * [backup-simplify]: Simplify 1.0 into 1.0
2.502 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.502 * [taylor]: Taking taylor expansion of y in z
2.502 * [backup-simplify]: Simplify y into y
2.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.502 * [taylor]: Taking taylor expansion of z in z
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.503 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
2.503 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y))
2.503 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in y
2.503 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
2.503 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
2.503 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.503 * [taylor]: Taking taylor expansion of x in y
2.503 * [backup-simplify]: Simplify x into x
2.503 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.503 * [taylor]: Taking taylor expansion of y in y
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 1 into 1
2.503 * [backup-simplify]: Simplify (/ 1 1) into 1
2.503 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
2.503 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
2.503 * [taylor]: Taking taylor expansion of 1.0 in y
2.503 * [backup-simplify]: Simplify 1.0 into 1.0
2.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.503 * [taylor]: Taking taylor expansion of y in y
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 1 into 1
2.504 * [backup-simplify]: Simplify (/ 1 1) into 1
2.504 * [taylor]: Taking taylor expansion of z in y
2.504 * [backup-simplify]: Simplify z into z
2.504 * [backup-simplify]: Simplify (- 1) into -1
2.504 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.504 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.504 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in x
2.504 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
2.504 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
2.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.504 * [taylor]: Taking taylor expansion of x in x
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 1 into 1
2.505 * [backup-simplify]: Simplify (/ 1 1) into 1
2.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.505 * [taylor]: Taking taylor expansion of y in x
2.505 * [backup-simplify]: Simplify y into y
2.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.505 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in x
2.505 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
2.505 * [taylor]: Taking taylor expansion of 1.0 in x
2.505 * [backup-simplify]: Simplify 1.0 into 1.0
2.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.505 * [taylor]: Taking taylor expansion of y in x
2.505 * [backup-simplify]: Simplify y into y
2.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.505 * [taylor]: Taking taylor expansion of z in x
2.505 * [backup-simplify]: Simplify z into z
2.505 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.505 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
2.505 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) z) into (/ (- 1.0 (/ 1 y)) z)
2.505 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in x
2.505 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z))
2.505 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
2.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.505 * [taylor]: Taking taylor expansion of x in x
2.505 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify 1 into 1
2.506 * [backup-simplify]: Simplify (/ 1 1) into 1
2.506 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.506 * [taylor]: Taking taylor expansion of y in x
2.506 * [backup-simplify]: Simplify y into y
2.506 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.506 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in x
2.506 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
2.506 * [taylor]: Taking taylor expansion of 1.0 in x
2.506 * [backup-simplify]: Simplify 1.0 into 1.0
2.506 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.506 * [taylor]: Taking taylor expansion of y in x
2.506 * [backup-simplify]: Simplify y into y
2.506 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.506 * [taylor]: Taking taylor expansion of z in x
2.506 * [backup-simplify]: Simplify z into z
2.506 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.506 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
2.506 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) z) into (/ (- 1.0 (/ 1 y)) z)
2.506 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
2.506 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.506 * [taylor]: Taking taylor expansion of y in y
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 1 into 1
2.507 * [backup-simplify]: Simplify (/ 1 1) into 1
2.507 * [taylor]: Taking taylor expansion of 1 in z
2.507 * [backup-simplify]: Simplify 1 into 1
2.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0
2.508 * [backup-simplify]: Simplify (+ 0 (/ (- 1.0 (/ 1 y)) z)) into (- (* 1.0 (/ 1 z)) (/ 1 (* z y)))
2.508 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in y
2.508 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
2.508 * [taylor]: Taking taylor expansion of 1.0 in y
2.508 * [backup-simplify]: Simplify 1.0 into 1.0
2.508 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.508 * [taylor]: Taking taylor expansion of z in y
2.508 * [backup-simplify]: Simplify z into z
2.508 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.508 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.508 * [taylor]: Taking taylor expansion of (* z y) in y
2.508 * [taylor]: Taking taylor expansion of z in y
2.508 * [backup-simplify]: Simplify z into z
2.508 * [taylor]: Taking taylor expansion of y in y
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 1 into 1
2.508 * [backup-simplify]: Simplify (* z 0) into 0
2.508 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.508 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.508 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
2.509 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
2.509 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.509 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.509 * [taylor]: Taking taylor expansion of z in z
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [backup-simplify]: Simplify (/ 1 1) into 1
2.509 * [backup-simplify]: Simplify (- 1) into -1
2.509 * [backup-simplify]: Simplify -1 into -1
2.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.510 * [taylor]: Taking taylor expansion of 0 in z
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
2.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.514 * [backup-simplify]: Simplify (- 0) into 0
2.514 * [backup-simplify]: Simplify (+ 0 0) into 0
2.515 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (- 1.0 (/ 1 y)) z) (/ 0 z)))) into 0
2.515 * [backup-simplify]: Simplify (+ 0 0) into 0
2.515 * [taylor]: Taking taylor expansion of 0 in y
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
2.515 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.516 * [backup-simplify]: Simplify (- 0) into 0
2.516 * [backup-simplify]: Simplify (+ (/ 1.0 z) 0) into (* 1.0 (/ 1 z))
2.516 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.516 * [taylor]: Taking taylor expansion of 1.0 in z
2.516 * [backup-simplify]: Simplify 1.0 into 1.0
2.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.516 * [taylor]: Taking taylor expansion of z in z
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 1 into 1
2.516 * [backup-simplify]: Simplify (/ 1 1) into 1
2.516 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.516 * [backup-simplify]: Simplify 1.0 into 1.0
2.517 * [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))
2.517 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (* (- 1.0 (/ 1 (- y))) (/ 1 (- z)))) into (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
2.517 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in (x y z) around 0
2.517 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in z
2.517 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
2.517 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
2.517 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.517 * [taylor]: Taking taylor expansion of -1 in z
2.517 * [backup-simplify]: Simplify -1 into -1
2.517 * [taylor]: Taking taylor expansion of x in z
2.517 * [backup-simplify]: Simplify x into x
2.517 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.517 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.517 * [taylor]: Taking taylor expansion of -1 in z
2.517 * [backup-simplify]: Simplify -1 into -1
2.518 * [taylor]: Taking taylor expansion of y in z
2.518 * [backup-simplify]: Simplify y into y
2.518 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.518 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z
2.518 * [taylor]: Taking taylor expansion of -1 in z
2.518 * [backup-simplify]: Simplify -1 into -1
2.518 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z
2.518 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z
2.518 * [taylor]: Taking taylor expansion of 1.0 in z
2.518 * [backup-simplify]: Simplify 1.0 into 1.0
2.518 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.518 * [taylor]: Taking taylor expansion of y in z
2.518 * [backup-simplify]: Simplify y into y
2.518 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.518 * [taylor]: Taking taylor expansion of z in z
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 1 into 1
2.518 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
2.518 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y))
2.518 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in y
2.518 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
2.518 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
2.518 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.518 * [taylor]: Taking taylor expansion of -1 in y
2.518 * [backup-simplify]: Simplify -1 into -1
2.518 * [taylor]: Taking taylor expansion of x in y
2.518 * [backup-simplify]: Simplify x into x
2.518 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.518 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.518 * [taylor]: Taking taylor expansion of -1 in y
2.518 * [backup-simplify]: Simplify -1 into -1
2.518 * [taylor]: Taking taylor expansion of y in y
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify (/ -1 1) into -1
2.519 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in y
2.519 * [taylor]: Taking taylor expansion of -1 in y
2.519 * [backup-simplify]: Simplify -1 into -1
2.519 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in y
2.519 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
2.519 * [taylor]: Taking taylor expansion of 1.0 in y
2.519 * [backup-simplify]: Simplify 1.0 into 1.0
2.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.519 * [taylor]: Taking taylor expansion of y in y
2.519 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify (/ 1 1) into 1
2.519 * [taylor]: Taking taylor expansion of z in y
2.519 * [backup-simplify]: Simplify z into z
2.519 * [backup-simplify]: Simplify (+ 0 1) into 1
2.519 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.519 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in x
2.519 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
2.519 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.519 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.519 * [taylor]: Taking taylor expansion of -1 in x
2.519 * [backup-simplify]: Simplify -1 into -1
2.519 * [taylor]: Taking taylor expansion of x in x
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (/ -1 1) into -1
2.520 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.520 * [taylor]: Taking taylor expansion of -1 in x
2.520 * [backup-simplify]: Simplify -1 into -1
2.520 * [taylor]: Taking taylor expansion of y in x
2.520 * [backup-simplify]: Simplify y into y
2.520 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.520 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in x
2.520 * [taylor]: Taking taylor expansion of -1 in x
2.520 * [backup-simplify]: Simplify -1 into -1
2.520 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in x
2.520 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
2.520 * [taylor]: Taking taylor expansion of 1.0 in x
2.520 * [backup-simplify]: Simplify 1.0 into 1.0
2.520 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.520 * [taylor]: Taking taylor expansion of y in x
2.520 * [backup-simplify]: Simplify y into y
2.520 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.520 * [taylor]: Taking taylor expansion of z in x
2.520 * [backup-simplify]: Simplify z into z
2.520 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
2.520 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) z) into (/ (+ 1.0 (/ 1 y)) z)
2.520 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in x
2.520 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z)))
2.520 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
2.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.520 * [taylor]: Taking taylor expansion of -1 in x
2.520 * [backup-simplify]: Simplify -1 into -1
2.520 * [taylor]: Taking taylor expansion of x in x
2.521 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify 1 into 1
2.521 * [backup-simplify]: Simplify (/ -1 1) into -1
2.521 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.521 * [taylor]: Taking taylor expansion of -1 in x
2.521 * [backup-simplify]: Simplify -1 into -1
2.521 * [taylor]: Taking taylor expansion of y in x
2.521 * [backup-simplify]: Simplify y into y
2.521 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.521 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in x
2.521 * [taylor]: Taking taylor expansion of -1 in x
2.521 * [backup-simplify]: Simplify -1 into -1
2.521 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in x
2.521 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
2.521 * [taylor]: Taking taylor expansion of 1.0 in x
2.521 * [backup-simplify]: Simplify 1.0 into 1.0
2.521 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.521 * [taylor]: Taking taylor expansion of y in x
2.521 * [backup-simplify]: Simplify y into y
2.521 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.521 * [taylor]: Taking taylor expansion of z in x
2.521 * [backup-simplify]: Simplify z into z
2.521 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y))
2.521 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) z) into (/ (+ 1.0 (/ 1 y)) z)
2.521 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
2.522 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.522 * [taylor]: Taking taylor expansion of y in y
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [backup-simplify]: Simplify (/ 1 1) into 1
2.522 * [taylor]: Taking taylor expansion of 1 in z
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
2.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.523 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0
2.523 * [backup-simplify]: Simplify (* -1 (/ (+ 1.0 (/ 1 y)) z)) into (* -1 (/ (+ 1.0 (/ 1 y)) z))
2.523 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (+ 1.0 (/ 1 y)) z))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))))
2.523 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y
2.523 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y
2.523 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.523 * [taylor]: Taking taylor expansion of (* z y) in y
2.523 * [taylor]: Taking taylor expansion of z in y
2.523 * [backup-simplify]: Simplify z into z
2.523 * [taylor]: Taking taylor expansion of y in y
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (* z 0) into 0
2.524 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.524 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.524 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
2.524 * [taylor]: Taking taylor expansion of 1.0 in y
2.524 * [backup-simplify]: Simplify 1.0 into 1.0
2.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.524 * [taylor]: Taking taylor expansion of z in y
2.524 * [backup-simplify]: Simplify z into z
2.524 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.524 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
2.524 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
2.524 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.524 * [taylor]: Taking taylor expansion of z in z
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (/ 1 1) into 1
2.525 * [backup-simplify]: Simplify (- 1) into -1
2.525 * [backup-simplify]: Simplify -1 into -1
2.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.525 * [taylor]: Taking taylor expansion of 0 in z
2.525 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify 1 into 1
2.525 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.526 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
2.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.527 * [backup-simplify]: Simplify (+ 0 0) into 0
2.527 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ 1.0 (/ 1 y)) z) (/ 0 z)))) into 0
2.527 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (+ 1.0 (/ 1 y)) z))) into 0
2.527 * [backup-simplify]: Simplify (+ 0 0) into 0
2.527 * [taylor]: Taking taylor expansion of 0 in y
2.527 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.528 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
2.528 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
2.528 * [backup-simplify]: Simplify (- (* 1.0 (/ 1 z))) into (- (* 1.0 (/ 1 z)))
2.528 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
2.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.528 * [taylor]: Taking taylor expansion of 1.0 in z
2.528 * [backup-simplify]: Simplify 1.0 into 1.0
2.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.528 * [taylor]: Taking taylor expansion of z in z
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify 1 into 1
2.528 * [backup-simplify]: Simplify (/ 1 1) into 1
2.529 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.529 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.529 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.530 * [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))
2.530 * * * [progress]: simplifying candidates
2.531 * [simplify]: Simplifying:
  (expm1 (* (- 1.0 y) z))
  (log1p (* (- 1.0 y) z))
  (* (- 1.0 y) z)
  (+ (log (- 1.0 y)) (log z))
  (log (* (- 1.0 y) z))
  (exp (* (- 1.0 y) z))
  (* (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y)) (* (* z z) z))
  (* (cbrt (* (- 1.0 y) z)) (cbrt (* (- 1.0 y) z)))
  (cbrt (* (- 1.0 y) z))
  (* (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (- 1.0 y) (* (cbrt z) (cbrt z)))
  (* (- 1.0 y) (sqrt z))
  (* (- 1.0 y) 1)
  (* (cbrt (- 1.0 y)) z)
  (* (sqrt (- 1.0 y)) z)
  (* (- 1.0 y) z)
  (* (- (sqrt 1.0) (sqrt y)) z)
  (* (- 1.0 y) z)
  (* (- (pow 1.0 3) (pow y 3)) z)
  (* (- (* 1.0 1.0) (* y y)) z)
  (expm1 (fma x y (* (- 1.0 y) z)))
  (log1p (fma x y (* (- 1.0 y) z)))
  (* x y)
  (log (fma x y (* (- 1.0 y) z)))
  (exp (fma x y (* (- 1.0 y) z)))
  (* (cbrt (fma x y (* (- 1.0 y) z))) (cbrt (fma x y (* (- 1.0 y) z))))
  (cbrt (fma x y (* (- 1.0 y) z)))
  (* (* (fma x y (* (- 1.0 y) z)) (fma x y (* (- 1.0 y) z))) (fma x y (* (- 1.0 y) z)))
  (sqrt (fma x y (* (- 1.0 y) z)))
  (sqrt (fma x y (* (- 1.0 y) 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))
2.531 * * [simplify]: iteration 0: 64 enodes
2.544 * * [simplify]: iteration 1: 135 enodes
2.576 * * [simplify]: iteration 2: 365 enodes
2.760 * * [simplify]: iteration 3: 1571 enodes
3.537 * * [simplify]: iteration complete: 5005 enodes
3.537 * * [simplify]: Extracting #0: cost 28 inf + 0
3.539 * * [simplify]: Extracting #1: cost 410 inf + 0
3.543 * * [simplify]: Extracting #2: cost 1271 inf + 1065
3.565 * * [simplify]: Extracting #3: cost 1281 inf + 85984
3.618 * * [simplify]: Extracting #4: cost 345 inf + 283411
3.701 * * [simplify]: Extracting #5: cost 46 inf + 349072
3.770 * * [simplify]: Extracting #6: cost 8 inf + 354972
3.847 * * [simplify]: Extracting #7: cost 0 inf + 356996
3.925 * [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 z) (sqrt (- 1.0 y)))
  (* (sqrt z) (sqrt (- 1.0 y)))
  (* (* (cbrt z) (cbrt z)) (- 1.0 y))
  (* (- 1.0 y) (sqrt z))
  (- 1.0 y)
  (* z (cbrt (- 1.0 y)))
  (* z (sqrt (- 1.0 y)))
  (* z (- 1.0 y))
  (* z (- (sqrt 1.0) (sqrt y)))
  (* z (- 1.0 y))
  (* (- (* 1.0 (* 1.0 1.0)) (* y (* y y))) z)
  (* (+ 1.0 y) (* z (- 1.0 y)))
  (expm1 (fma (- x z) y (* z 1.0)))
  (log1p (fma (- x z) y (* z 1.0)))
  (* x y)
  (log (fma (- x z) y (* z 1.0)))
  (exp (fma (- x z) y (* z 1.0)))
  (* (cbrt (fma (- x z) y (* z 1.0))) (cbrt (fma (- x z) y (* z 1.0))))
  (cbrt (fma (- x z) y (* z 1.0)))
  (* (* (fma (- x z) y (* z 1.0)) (fma (- x z) y (* z 1.0))) (fma (- x z) y (* z 1.0)))
  (sqrt (fma (- x z) y (* z 1.0)))
  (sqrt (fma (- x z) y (* z 1.0)))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (fma (- x z) y (* z 1.0))
  (fma (- x z) y (* z 1.0))
  (fma (- x z) y (* z 1.0))
3.926 * * * [progress]: adding candidates to table
4.060 * * [progress]: iteration 2 / 4
4.060 * * * [progress]: picking best candidate
4.064 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- x z) y (* z 1.0)))>
4.064 * * * [progress]: localizing error
4.073 * * * [progress]: generating rewritten candidates
4.073 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.073 * * * [progress]: generating series expansions
4.073 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.074 * [backup-simplify]: Simplify (fma (- x z) y (* z 1.0)) into (fma (- x z) y (* 1.0 z))
4.074 * [approximate]: Taking taylor expansion of (fma (- x z) y (* 1.0 z)) in (x z y) around 0
4.074 * [taylor]: Taking taylor expansion of (fma (- x z) y (* 1.0 z)) in y
4.074 * [taylor]: Rewrote expression to (+ (* (- x z) y) (* 1.0 z))
4.074 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
4.074 * [taylor]: Taking taylor expansion of (- x z) in y
4.074 * [taylor]: Taking taylor expansion of x in y
4.074 * [backup-simplify]: Simplify x into x
4.074 * [taylor]: Taking taylor expansion of z in y
4.074 * [backup-simplify]: Simplify z into z
4.074 * [taylor]: Taking taylor expansion of y in y
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify 1 into 1
4.074 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
4.074 * [taylor]: Taking taylor expansion of 1.0 in y
4.074 * [backup-simplify]: Simplify 1.0 into 1.0
4.074 * [taylor]: Taking taylor expansion of z in y
4.074 * [backup-simplify]: Simplify z into z
4.074 * [taylor]: Taking taylor expansion of (fma (- x z) y (* 1.0 z)) in z
4.074 * [taylor]: Rewrote expression to (+ (* (- x z) y) (* 1.0 z))
4.074 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
4.074 * [taylor]: Taking taylor expansion of (- x z) in z
4.074 * [taylor]: Taking taylor expansion of x in z
4.074 * [backup-simplify]: Simplify x into x
4.074 * [taylor]: Taking taylor expansion of z in z
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify 1 into 1
4.074 * [taylor]: Taking taylor expansion of y in z
4.074 * [backup-simplify]: Simplify y into y
4.074 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
4.074 * [taylor]: Taking taylor expansion of 1.0 in z
4.074 * [backup-simplify]: Simplify 1.0 into 1.0
4.074 * [taylor]: Taking taylor expansion of z in z
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify 1 into 1
4.074 * [taylor]: Taking taylor expansion of (fma (- x z) y (* 1.0 z)) in x
4.074 * [taylor]: Rewrote expression to (+ (* (- x z) y) (* 1.0 z))
4.074 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
4.074 * [taylor]: Taking taylor expansion of (- x z) in x
4.074 * [taylor]: Taking taylor expansion of x in x
4.074 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify 1 into 1
4.075 * [taylor]: Taking taylor expansion of z in x
4.075 * [backup-simplify]: Simplify z into z
4.075 * [taylor]: Taking taylor expansion of y in x
4.075 * [backup-simplify]: Simplify y into y
4.075 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
4.075 * [taylor]: Taking taylor expansion of 1.0 in x
4.075 * [backup-simplify]: Simplify 1.0 into 1.0
4.075 * [taylor]: Taking taylor expansion of z in x
4.075 * [backup-simplify]: Simplify z into z
4.075 * [taylor]: Taking taylor expansion of (fma (- x z) y (* 1.0 z)) in x
4.075 * [taylor]: Rewrote expression to (+ (* (- x z) y) (* 1.0 z))
4.075 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
4.075 * [taylor]: Taking taylor expansion of (- x z) in x
4.075 * [taylor]: Taking taylor expansion of x in x
4.075 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify 1 into 1
4.075 * [taylor]: Taking taylor expansion of z in x
4.075 * [backup-simplify]: Simplify z into z
4.075 * [taylor]: Taking taylor expansion of y in x
4.075 * [backup-simplify]: Simplify y into y
4.075 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
4.075 * [taylor]: Taking taylor expansion of 1.0 in x
4.075 * [backup-simplify]: Simplify 1.0 into 1.0
4.075 * [taylor]: Taking taylor expansion of z in x
4.075 * [backup-simplify]: Simplify z into z
4.075 * [backup-simplify]: Simplify (- z) into (- z)
4.075 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.075 * [backup-simplify]: Simplify (* (- z) y) into (* -1 (* z y))
4.075 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
4.076 * [backup-simplify]: Simplify (+ (* -1 (* z y)) (* 1.0 z)) into (- (* 1.0 z) (* z y))
4.076 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in z
4.076 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
4.076 * [taylor]: Taking taylor expansion of 1.0 in z
4.076 * [backup-simplify]: Simplify 1.0 into 1.0
4.076 * [taylor]: Taking taylor expansion of z in z
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 1 into 1
4.076 * [taylor]: Taking taylor expansion of (* z y) in z
4.076 * [taylor]: Taking taylor expansion of z in z
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 1 into 1
4.076 * [taylor]: Taking taylor expansion of y in z
4.076 * [backup-simplify]: Simplify y into y
4.076 * [backup-simplify]: Simplify (* 1.0 0) into 0
4.077 * [backup-simplify]: Simplify (* 0 y) into 0
4.077 * [backup-simplify]: Simplify (- 0) into 0
4.077 * [backup-simplify]: Simplify (+ 0 0) into 0
4.077 * [taylor]: Taking taylor expansion of 0 in y
4.077 * [backup-simplify]: Simplify 0 into 0
4.077 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify (- 0) into 0
4.078 * [backup-simplify]: Simplify (+ 1 0) into 1
4.078 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 y)) into y
4.078 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
4.079 * [backup-simplify]: Simplify (+ y 0) into y
4.079 * [taylor]: Taking taylor expansion of y in z
4.079 * [backup-simplify]: Simplify y into y
4.079 * [taylor]: Taking taylor expansion of y in y
4.079 * [backup-simplify]: Simplify 0 into 0
4.079 * [backup-simplify]: Simplify 1 into 1
4.079 * [backup-simplify]: Simplify 0 into 0
4.080 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
4.080 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.080 * [backup-simplify]: Simplify (- y) into (- y)
4.080 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
4.080 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
4.081 * [taylor]: Taking taylor expansion of 1.0 in y
4.081 * [backup-simplify]: Simplify 1.0 into 1.0
4.081 * [taylor]: Taking taylor expansion of y in y
4.081 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify 1 into 1
4.081 * [backup-simplify]: Simplify (- 0) into 0
4.081 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.081 * [backup-simplify]: Simplify 1.0 into 1.0
4.081 * [backup-simplify]: Simplify 0 into 0
4.082 * [backup-simplify]: Simplify (- 0) into 0
4.082 * [backup-simplify]: Simplify (+ 0 0) into 0
4.083 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 y))) into 0
4.083 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
4.084 * [backup-simplify]: Simplify (+ 0 0) into 0
4.084 * [taylor]: Taking taylor expansion of 0 in z
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [taylor]: Taking taylor expansion of 0 in y
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [taylor]: Taking taylor expansion of 0 in y
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify 0 into 0
4.085 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
4.085 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.086 * [backup-simplify]: Simplify (- 0) into 0
4.086 * [backup-simplify]: Simplify (+ 0 0) into 0
4.086 * [taylor]: Taking taylor expansion of 0 in y
4.086 * [backup-simplify]: Simplify 0 into 0
4.086 * [backup-simplify]: Simplify 0 into 0
4.086 * [backup-simplify]: Simplify 1 into 1
4.086 * [backup-simplify]: Simplify (- 1) into -1
4.087 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.087 * [backup-simplify]: Simplify -1 into -1
4.087 * [backup-simplify]: Simplify (+ (* -1 (* y (* z 1))) (+ (* 1 (* y (* 1 x))) (* 1.0 (* 1 (* z 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
4.087 * [backup-simplify]: Simplify (fma (- (/ 1 x) (/ 1 z)) (/ 1 y) (* (/ 1 z) 1.0)) into (fma (- (/ 1 x) (/ 1 z)) (/ 1 y) (/ 1.0 z))
4.087 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ 1 y) (/ 1.0 z)) in (x z y) around 0
4.087 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ 1 y) (/ 1.0 z)) in y
4.088 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) (/ 1.0 z))
4.088 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) in y
4.088 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.088 * [taylor]: Taking taylor expansion of x in y
4.088 * [backup-simplify]: Simplify x into x
4.088 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.088 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.088 * [taylor]: Taking taylor expansion of z in y
4.088 * [backup-simplify]: Simplify z into z
4.088 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.088 * [taylor]: Taking taylor expansion of y in y
4.088 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify 1 into 1
4.088 * [backup-simplify]: Simplify (/ 1 1) into 1
4.088 * [taylor]: Taking taylor expansion of (/ 1.0 z) in y
4.088 * [taylor]: Taking taylor expansion of 1.0 in y
4.088 * [backup-simplify]: Simplify 1.0 into 1.0
4.088 * [taylor]: Taking taylor expansion of z in y
4.088 * [backup-simplify]: Simplify z into z
4.088 * [backup-simplify]: Simplify (/ 1.0 z) into (/ 1.0 z)
4.088 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ 1 y) (/ 1.0 z)) in z
4.089 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) (/ 1.0 z))
4.089 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) in z
4.089 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.089 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.089 * [taylor]: Taking taylor expansion of x in z
4.089 * [backup-simplify]: Simplify x into x
4.089 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.089 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.089 * [taylor]: Taking taylor expansion of z in z
4.089 * [backup-simplify]: Simplify 0 into 0
4.089 * [backup-simplify]: Simplify 1 into 1
4.089 * [backup-simplify]: Simplify (/ 1 1) into 1
4.089 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.089 * [taylor]: Taking taylor expansion of y in z
4.089 * [backup-simplify]: Simplify y into y
4.089 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.089 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
4.089 * [taylor]: Taking taylor expansion of 1.0 in z
4.089 * [backup-simplify]: Simplify 1.0 into 1.0
4.089 * [taylor]: Taking taylor expansion of z in z
4.089 * [backup-simplify]: Simplify 0 into 0
4.089 * [backup-simplify]: Simplify 1 into 1
4.090 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
4.090 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ 1 y) (/ 1.0 z)) in x
4.090 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) (/ 1.0 z))
4.090 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) in x
4.090 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.090 * [taylor]: Taking taylor expansion of x in x
4.090 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify 1 into 1
4.094 * [backup-simplify]: Simplify (/ 1 1) into 1
4.094 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.094 * [taylor]: Taking taylor expansion of z in x
4.094 * [backup-simplify]: Simplify z into z
4.094 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.094 * [taylor]: Taking taylor expansion of y in x
4.094 * [backup-simplify]: Simplify y into y
4.094 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.094 * [taylor]: Taking taylor expansion of (/ 1.0 z) in x
4.094 * [taylor]: Taking taylor expansion of 1.0 in x
4.094 * [backup-simplify]: Simplify 1.0 into 1.0
4.094 * [taylor]: Taking taylor expansion of z in x
4.094 * [backup-simplify]: Simplify z into z
4.094 * [backup-simplify]: Simplify (/ 1.0 z) into (/ 1.0 z)
4.094 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ 1 y) (/ 1.0 z)) in x
4.095 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) (/ 1.0 z))
4.095 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) in x
4.095 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.095 * [taylor]: Taking taylor expansion of x in x
4.095 * [backup-simplify]: Simplify 0 into 0
4.095 * [backup-simplify]: Simplify 1 into 1
4.095 * [backup-simplify]: Simplify (/ 1 1) into 1
4.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.095 * [taylor]: Taking taylor expansion of z in x
4.095 * [backup-simplify]: Simplify z into z
4.095 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.095 * [taylor]: Taking taylor expansion of y in x
4.095 * [backup-simplify]: Simplify y into y
4.095 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.095 * [taylor]: Taking taylor expansion of (/ 1.0 z) in x
4.095 * [taylor]: Taking taylor expansion of 1.0 in x
4.095 * [backup-simplify]: Simplify 1.0 into 1.0
4.095 * [taylor]: Taking taylor expansion of z in x
4.096 * [backup-simplify]: Simplify z into z
4.096 * [backup-simplify]: Simplify (/ 1.0 z) into (/ 1.0 z)
4.096 * [backup-simplify]: Simplify (+ 1 0) into 1
4.096 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
4.096 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.096 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.096 * [taylor]: Taking taylor expansion of y in z
4.096 * [backup-simplify]: Simplify y into y
4.096 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.097 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.097 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
4.098 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 z)) (/ 1 y))) into (- (/ 1 (* z y)))
4.098 * [backup-simplify]: Simplify (+ (- (/ 1 (* z y))) (/ 1.0 z)) into (- (* 1.0 (/ 1 z)) (/ 1 (* z y)))
4.098 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in z
4.098 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
4.098 * [taylor]: Taking taylor expansion of 1.0 in z
4.098 * [backup-simplify]: Simplify 1.0 into 1.0
4.098 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.098 * [taylor]: Taking taylor expansion of z in z
4.098 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify 1 into 1
4.098 * [backup-simplify]: Simplify (/ 1 1) into 1
4.098 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.098 * [taylor]: Taking taylor expansion of (* z y) in z
4.098 * [taylor]: Taking taylor expansion of z in z
4.098 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify 1 into 1
4.098 * [taylor]: Taking taylor expansion of y in z
4.099 * [backup-simplify]: Simplify y into y
4.099 * [backup-simplify]: Simplify (* 0 y) into 0
4.099 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.099 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.099 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
4.099 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.100 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
4.100 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
4.100 * [taylor]: Taking taylor expansion of 1.0 in y
4.100 * [backup-simplify]: Simplify 1.0 into 1.0
4.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.100 * [taylor]: Taking taylor expansion of y in y
4.100 * [backup-simplify]: Simplify 0 into 0
4.100 * [backup-simplify]: Simplify 1 into 1
4.100 * [backup-simplify]: Simplify (/ 1 1) into 1
4.101 * [backup-simplify]: Simplify (- 1) into -1
4.101 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.101 * [backup-simplify]: Simplify -1 into -1
4.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.101 * [taylor]: Taking taylor expansion of y in y
4.101 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify 1 into 1
4.101 * [backup-simplify]: Simplify (/ 1 1) into 1
4.101 * [backup-simplify]: Simplify 1 into 1
4.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.103 * [backup-simplify]: Simplify (- 0) into 0
4.103 * [backup-simplify]: Simplify (+ 0 0) into 0
4.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (* 0 (/ 1 y)))) into 0
4.104 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1.0 z) (/ 0 z)))) into 0
4.104 * [backup-simplify]: Simplify (+ 0 0) into 0
4.104 * [taylor]: Taking taylor expansion of 0 in z
4.104 * [backup-simplify]: Simplify 0 into 0
4.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.105 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
4.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.106 * [backup-simplify]: Simplify (- 0) into 0
4.107 * [backup-simplify]: Simplify (+ 0 0) into 0
4.107 * [taylor]: Taking taylor expansion of 0 in y
4.107 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.107 * [taylor]: Taking taylor expansion of 0 in y
4.107 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.108 * [backup-simplify]: Simplify (- 0) into 0
4.108 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.108 * [backup-simplify]: Simplify 1.0 into 1.0
4.109 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 z)) 1))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
4.109 * [backup-simplify]: Simplify (fma (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y)) (* (/ 1 (- z)) 1.0)) into (fma (- (/ 1 z) (/ 1 x)) (/ -1 y) (/ -1.0 z))
4.109 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ -1 y) (/ -1.0 z)) in (x z y) around 0
4.109 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ -1 y) (/ -1.0 z)) in y
4.109 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) (/ -1.0 z))
4.109 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) in y
4.109 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.109 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.109 * [taylor]: Taking taylor expansion of z in y
4.109 * [backup-simplify]: Simplify z into z
4.109 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.110 * [taylor]: Taking taylor expansion of x in y
4.110 * [backup-simplify]: Simplify x into x
4.110 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.110 * [taylor]: Taking taylor expansion of -1 in y
4.110 * [backup-simplify]: Simplify -1 into -1
4.110 * [taylor]: Taking taylor expansion of y in y
4.110 * [backup-simplify]: Simplify 0 into 0
4.110 * [backup-simplify]: Simplify 1 into 1
4.110 * [backup-simplify]: Simplify (/ -1 1) into -1
4.110 * [taylor]: Taking taylor expansion of (/ -1.0 z) in y
4.110 * [taylor]: Taking taylor expansion of -1.0 in y
4.110 * [backup-simplify]: Simplify -1.0 into -1.0
4.110 * [taylor]: Taking taylor expansion of z in y
4.111 * [backup-simplify]: Simplify z into z
4.111 * [backup-simplify]: Simplify (/ -1.0 z) into (/ -1.0 z)
4.111 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ -1 y) (/ -1.0 z)) in z
4.111 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) (/ -1.0 z))
4.111 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) in z
4.111 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.111 * [taylor]: Taking taylor expansion of z in z
4.111 * [backup-simplify]: Simplify 0 into 0
4.111 * [backup-simplify]: Simplify 1 into 1
4.111 * [backup-simplify]: Simplify (/ 1 1) into 1
4.111 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.111 * [taylor]: Taking taylor expansion of x in z
4.111 * [backup-simplify]: Simplify x into x
4.112 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.112 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.112 * [taylor]: Taking taylor expansion of -1 in z
4.112 * [backup-simplify]: Simplify -1 into -1
4.112 * [taylor]: Taking taylor expansion of y in z
4.112 * [backup-simplify]: Simplify y into y
4.112 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.112 * [taylor]: Taking taylor expansion of (/ -1.0 z) in z
4.112 * [taylor]: Taking taylor expansion of -1.0 in z
4.112 * [backup-simplify]: Simplify -1.0 into -1.0
4.112 * [taylor]: Taking taylor expansion of z in z
4.112 * [backup-simplify]: Simplify 0 into 0
4.112 * [backup-simplify]: Simplify 1 into 1
4.112 * [backup-simplify]: Simplify (/ -1.0 1) into -1.0
4.112 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ -1 y) (/ -1.0 z)) in x
4.112 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) (/ -1.0 z))
4.112 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) in x
4.112 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.113 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.113 * [taylor]: Taking taylor expansion of z in x
4.113 * [backup-simplify]: Simplify z into z
4.113 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.113 * [taylor]: Taking taylor expansion of x in x
4.113 * [backup-simplify]: Simplify 0 into 0
4.113 * [backup-simplify]: Simplify 1 into 1
4.113 * [backup-simplify]: Simplify (/ 1 1) into 1
4.113 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.113 * [taylor]: Taking taylor expansion of -1 in x
4.113 * [backup-simplify]: Simplify -1 into -1
4.113 * [taylor]: Taking taylor expansion of y in x
4.113 * [backup-simplify]: Simplify y into y
4.113 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.113 * [taylor]: Taking taylor expansion of (/ -1.0 z) in x
4.113 * [taylor]: Taking taylor expansion of -1.0 in x
4.113 * [backup-simplify]: Simplify -1.0 into -1.0
4.113 * [taylor]: Taking taylor expansion of z in x
4.113 * [backup-simplify]: Simplify z into z
4.113 * [backup-simplify]: Simplify (/ -1.0 z) into (/ -1.0 z)
4.113 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ -1 y) (/ -1.0 z)) in x
4.114 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) (/ -1.0 z))
4.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ -1 y)) in x
4.114 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.114 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.114 * [taylor]: Taking taylor expansion of z in x
4.114 * [backup-simplify]: Simplify z into z
4.114 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.114 * [taylor]: Taking taylor expansion of x in x
4.114 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify 1 into 1
4.114 * [backup-simplify]: Simplify (/ 1 1) into 1
4.114 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.114 * [taylor]: Taking taylor expansion of -1 in x
4.114 * [backup-simplify]: Simplify -1 into -1
4.114 * [taylor]: Taking taylor expansion of y in x
4.114 * [backup-simplify]: Simplify y into y
4.114 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.114 * [taylor]: Taking taylor expansion of (/ -1.0 z) in x
4.114 * [taylor]: Taking taylor expansion of -1.0 in x
4.114 * [backup-simplify]: Simplify -1.0 into -1.0
4.114 * [taylor]: Taking taylor expansion of z in x
4.114 * [backup-simplify]: Simplify z into z
4.115 * [backup-simplify]: Simplify (/ -1.0 z) into (/ -1.0 z)
4.115 * [backup-simplify]: Simplify (- 1) into -1
4.115 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.115 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
4.115 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.115 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.115 * [taylor]: Taking taylor expansion of y in z
4.116 * [backup-simplify]: Simplify y into y
4.116 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.116 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.117 * [backup-simplify]: Simplify (- 0) into 0
4.117 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
4.117 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 z) (/ -1 y))) into (- (/ 1 (* z y)))
4.117 * [backup-simplify]: Simplify (+ (- (/ 1 (* z y))) (/ -1.0 z)) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))))
4.117 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in z
4.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in z
4.117 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.118 * [taylor]: Taking taylor expansion of (* z y) in z
4.118 * [taylor]: Taking taylor expansion of z in z
4.118 * [backup-simplify]: Simplify 0 into 0
4.118 * [backup-simplify]: Simplify 1 into 1
4.118 * [taylor]: Taking taylor expansion of y in z
4.118 * [backup-simplify]: Simplify y into y
4.118 * [backup-simplify]: Simplify (* 0 y) into 0
4.118 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.118 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.118 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
4.118 * [taylor]: Taking taylor expansion of 1.0 in z
4.118 * [backup-simplify]: Simplify 1.0 into 1.0
4.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.118 * [taylor]: Taking taylor expansion of z in z
4.118 * [backup-simplify]: Simplify 0 into 0
4.118 * [backup-simplify]: Simplify 1 into 1
4.119 * [backup-simplify]: Simplify (/ 1 1) into 1
4.119 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
4.119 * [backup-simplify]: Simplify (+ (/ 1 y) 1.0) into (+ 1.0 (/ 1 y))
4.119 * [backup-simplify]: Simplify (- (+ 1.0 (/ 1 y))) into (- (+ 1.0 (/ 1 y)))
4.119 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 y))) in y
4.119 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
4.119 * [taylor]: Taking taylor expansion of 1.0 in y
4.119 * [backup-simplify]: Simplify 1.0 into 1.0
4.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.119 * [taylor]: Taking taylor expansion of y in y
4.119 * [backup-simplify]: Simplify 0 into 0
4.119 * [backup-simplify]: Simplify 1 into 1
4.120 * [backup-simplify]: Simplify (/ 1 1) into 1
4.120 * [backup-simplify]: Simplify (+ 0 1) into 1
4.120 * [backup-simplify]: Simplify (- 1) into -1
4.120 * [backup-simplify]: Simplify -1 into -1
4.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.121 * [taylor]: Taking taylor expansion of y in y
4.121 * [backup-simplify]: Simplify 0 into 0
4.121 * [backup-simplify]: Simplify 1 into 1
4.121 * [backup-simplify]: Simplify (/ 1 1) into 1
4.121 * [backup-simplify]: Simplify 1 into 1
4.121 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.121 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.122 * [backup-simplify]: Simplify (- 0) into 0
4.123 * [backup-simplify]: Simplify (+ 0 0) into 0
4.123 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 z) 0) (* 0 (/ -1 y)))) into 0
4.123 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1.0 z) (/ 0 z)))) into 0
4.124 * [backup-simplify]: Simplify (+ 0 0) into 0
4.124 * [taylor]: Taking taylor expansion of 0 in z
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.124 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.126 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
4.126 * [backup-simplify]: Simplify (+ 0 0) into 0
4.126 * [backup-simplify]: Simplify (- 0) into 0
4.126 * [taylor]: Taking taylor expansion of 0 in y
4.126 * [backup-simplify]: Simplify 0 into 0
4.127 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.127 * [taylor]: Taking taylor expansion of 0 in y
4.127 * [backup-simplify]: Simplify 0 into 0
4.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.128 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.128 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.128 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.129 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* (/ 1 (/ 1 (- z))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y))
4.129 * * * [progress]: simplifying candidates
4.129 * [simplify]: Simplifying:
  (expm1 (fma (- x z) y (* z 1.0)))
  (log1p (fma (- x z) y (* z 1.0)))
  (* (- x z) y)
  (log (fma (- x z) y (* z 1.0)))
  (exp (fma (- x z) y (* z 1.0)))
  (* (cbrt (fma (- x z) y (* z 1.0))) (cbrt (fma (- x z) y (* z 1.0))))
  (cbrt (fma (- x z) y (* z 1.0)))
  (* (* (fma (- x z) y (* z 1.0)) (fma (- x z) y (* z 1.0))) (fma (- x z) y (* z 1.0)))
  (sqrt (fma (- x z) y (* z 1.0)))
  (sqrt (fma (- x z) y (* z 1.0)))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
  (- (+ (* 1.0 z) (* x y)) (* z y))
4.129 * * [simplify]: iteration 0: 22 enodes
4.133 * * [simplify]: iteration 1: 35 enodes
4.139 * * [simplify]: iteration 2: 74 enodes
4.165 * * [simplify]: iteration 3: 286 enodes
4.441 * * [simplify]: iteration 4: 1453 enodes
5.031 * * [simplify]: iteration complete: 5009 enodes
5.031 * * [simplify]: Extracting #0: cost 10 inf + 0
5.032 * * [simplify]: Extracting #1: cost 126 inf + 0
5.037 * * [simplify]: Extracting #2: cost 998 inf + 172
5.052 * * [simplify]: Extracting #3: cost 1339 inf + 30328
5.137 * * [simplify]: Extracting #4: cost 331 inf + 288672
5.271 * * [simplify]: Extracting #5: cost 8 inf + 378350
5.405 * * [simplify]: Extracting #6: cost 0 inf + 381041
5.508 * [simplify]: Simplified to:
  (expm1 (fma x y (* z (- 1.0 y))))
  (log1p (fma x y (* z (- 1.0 y))))
  (* (- x z) 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 (* z (- 1.0 y)))
  (fma x y (* z (- 1.0 y)))
  (fma x y (* z (- 1.0 y)))
5.509 * * * [progress]: adding candidates to table
5.558 * [progress]: [Phase 3 of 3] Extracting.
5.558 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma x y (* (- 1.0 y) z)))> #<alt (λ (x y z) (fma (- x z) y (* z 1.0)))>)
5.558 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
5.558 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma x y (* (- 1.0 y) z)))> #<alt (λ (x y z) (fma (- x z) y (* z 1.0)))>)
5.591 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma x y (* (- 1.0 y) z)))> #<alt (λ (x y z) (fma (- x z) y (* z 1.0)))>)
5.627 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma x y (* (- 1.0 y) z)))> #<alt (λ (x y z) (fma (- x z) y (* z 1.0)))>)
5.664 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
5.664 * [simplify]: Simplifying:
  (fma x y (* (- 1.0 y) z))
5.664 * * [simplify]: iteration 0: 7 enodes
5.665 * * [simplify]: iteration 1: 8 enodes
5.665 * * [simplify]: iteration complete: 8 enodes
5.665 * * [simplify]: Extracting #0: cost 1 inf + 0
5.665 * * [simplify]: Extracting #1: cost 4 inf + 0
5.665 * * [simplify]: Extracting #2: cost 4 inf + 2
5.665 * * [simplify]: Extracting #3: cost 4 inf + 3
5.665 * * [simplify]: Extracting #4: cost 0 inf + 268
5.665 * [simplify]: Simplified to:
  (fma x y (* (- 1.0 y) z))
7.199 * [regime-testing]: Baseline error score: 0.010376297037129641
7.207 * [regime-testing]: Oracle error score: 0.0015001875234404302
7.224 * [regime-testing]: End program error score: 0.010376297037129641
7.337 * [regime-testing]: Target error score: 0.014898102888041295