23.600 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying:
  (+ (+ (+ (+ (+ x y) y) x) z) x)
0.039 * * [simplify]: iteration 0: 8 enodes
0.042 * * [simplify]: iteration 1: 20 enodes
0.050 * * [simplify]: iteration 2: 53 enodes
0.081 * * [simplify]: iteration 3: 147 enodes
0.173 * * [simplify]: iteration 4: 260 enodes
0.298 * * [simplify]: iteration 5: 297 enodes
0.391 * * [simplify]: iteration 6: 299 enodes
0.432 * * [simplify]: iteration complete: 299 enodes
0.432 * * [simplify]: Extracting #0: cost 1 inf + 0
0.433 * * [simplify]: Extracting #1: cost 25 inf + 0
0.433 * * [simplify]: Extracting #2: cost 18 inf + 121
0.434 * * [simplify]: Extracting #3: cost 0 inf + 1377
0.437 * [simplify]: Simplified to:
  (fma 2 y (fma 3 x z))
0.448 * * [progress]: iteration 1 / 4
0.448 * * * [progress]: picking best candidate
0.464 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 2 y (fma 3 x z)))>
0.464 * * * [progress]: localizing error
0.483 * * * [progress]: generating rewritten candidates
0.483 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
0.484 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.485 * * * [progress]: generating series expansions
0.485 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
0.485 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z)
0.485 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0
0.485 * [taylor]: Taking taylor expansion of (fma 3 x z) in z
0.485 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.485 * [taylor]: Taking taylor expansion of (* 3 x) in z
0.485 * [taylor]: Taking taylor expansion of 3 in z
0.485 * [backup-simplify]: Simplify 3 into 3
0.485 * [taylor]: Taking taylor expansion of x in z
0.485 * [backup-simplify]: Simplify x into x
0.485 * [taylor]: Taking taylor expansion of z in z
0.485 * [backup-simplify]: Simplify 0 into 0
0.485 * [backup-simplify]: Simplify 1 into 1
0.485 * [taylor]: Taking taylor expansion of (fma 3 x z) in x
0.485 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.485 * [taylor]: Taking taylor expansion of (* 3 x) in x
0.485 * [taylor]: Taking taylor expansion of 3 in x
0.485 * [backup-simplify]: Simplify 3 into 3
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [backup-simplify]: Simplify 0 into 0
0.486 * [backup-simplify]: Simplify 1 into 1
0.486 * [taylor]: Taking taylor expansion of z in x
0.486 * [backup-simplify]: Simplify z into z
0.486 * [taylor]: Taking taylor expansion of (fma 3 x z) in x
0.486 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.486 * [taylor]: Taking taylor expansion of (* 3 x) in x
0.486 * [taylor]: Taking taylor expansion of 3 in x
0.486 * [backup-simplify]: Simplify 3 into 3
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [backup-simplify]: Simplify 0 into 0
0.486 * [backup-simplify]: Simplify 1 into 1
0.486 * [taylor]: Taking taylor expansion of z in x
0.486 * [backup-simplify]: Simplify z into z
0.487 * [backup-simplify]: Simplify (* 3 0) into 0
0.487 * [backup-simplify]: Simplify (+ 0 z) into z
0.487 * [taylor]: Taking taylor expansion of z in z
0.487 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify 1 into 1
0.487 * [backup-simplify]: Simplify 0 into 0
0.488 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
0.488 * [backup-simplify]: Simplify (+ 3 0) into 3
0.488 * [taylor]: Taking taylor expansion of 3 in z
0.488 * [backup-simplify]: Simplify 3 into 3
0.488 * [backup-simplify]: Simplify 3 into 3
0.488 * [backup-simplify]: Simplify 1 into 1
0.489 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
0.490 * [backup-simplify]: Simplify (+ 0 0) into 0
0.490 * [taylor]: Taking taylor expansion of 0 in z
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify 0 into 0
0.491 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.491 * [backup-simplify]: Simplify (+ 0 0) into 0
0.491 * [taylor]: Taking taylor expansion of 0 in z
0.491 * [backup-simplify]: Simplify 0 into 0
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z)
0.492 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z))
0.492 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0
0.492 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z
0.492 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.493 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
0.493 * [taylor]: Taking taylor expansion of 3 in z
0.493 * [backup-simplify]: Simplify 3 into 3
0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.493 * [taylor]: Taking taylor expansion of x in z
0.493 * [backup-simplify]: Simplify x into x
0.493 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.493 * [taylor]: Taking taylor expansion of z in z
0.493 * [backup-simplify]: Simplify 0 into 0
0.493 * [backup-simplify]: Simplify 1 into 1
0.493 * [backup-simplify]: Simplify (/ 1 1) into 1
0.493 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x
0.493 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.493 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
0.493 * [taylor]: Taking taylor expansion of 3 in x
0.493 * [backup-simplify]: Simplify 3 into 3
0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.493 * [taylor]: Taking taylor expansion of x in x
0.494 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify 1 into 1
0.494 * [backup-simplify]: Simplify (/ 1 1) into 1
0.494 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.494 * [taylor]: Taking taylor expansion of z in x
0.494 * [backup-simplify]: Simplify z into z
0.494 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.494 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x
0.494 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.494 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
0.494 * [taylor]: Taking taylor expansion of 3 in x
0.494 * [backup-simplify]: Simplify 3 into 3
0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify 1 into 1
0.495 * [backup-simplify]: Simplify (/ 1 1) into 1
0.495 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.495 * [taylor]: Taking taylor expansion of z in x
0.495 * [backup-simplify]: Simplify z into z
0.495 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.496 * [backup-simplify]: Simplify (* 3 1) into 3
0.496 * [backup-simplify]: Simplify (+ 3 0) into 3
0.496 * [taylor]: Taking taylor expansion of 3 in z
0.496 * [backup-simplify]: Simplify 3 into 3
0.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.498 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
0.499 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.499 * [taylor]: Taking taylor expansion of z in z
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify 1 into 1
0.499 * [backup-simplify]: Simplify (/ 1 1) into 1
0.499 * [backup-simplify]: Simplify 1 into 1
0.499 * [backup-simplify]: Simplify 3 into 3
0.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.501 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
0.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.502 * [backup-simplify]: Simplify (+ 0 0) into 0
0.502 * [taylor]: Taking taylor expansion of 0 in z
0.502 * [backup-simplify]: Simplify 0 into 0
0.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.502 * [backup-simplify]: Simplify 0 into 0
0.503 * [backup-simplify]: Simplify 0 into 0
0.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.505 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.505 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.505 * [backup-simplify]: Simplify (+ 0 0) into 0
0.505 * [taylor]: Taking taylor expansion of 0 in z
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 0 into 0
0.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.507 * [backup-simplify]: Simplify 0 into 0
0.507 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.509 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.510 * [backup-simplify]: Simplify (+ 0 0) into 0
0.510 * [taylor]: Taking taylor expansion of 0 in z
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z)
0.510 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z))
0.510 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0
0.510 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z
0.510 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.510 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z
0.510 * [taylor]: Taking taylor expansion of 3 in z
0.511 * [backup-simplify]: Simplify 3 into 3
0.511 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.511 * [taylor]: Taking taylor expansion of -1 in z
0.511 * [backup-simplify]: Simplify -1 into -1
0.511 * [taylor]: Taking taylor expansion of x in z
0.511 * [backup-simplify]: Simplify x into x
0.511 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.511 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.511 * [taylor]: Taking taylor expansion of -1 in z
0.511 * [backup-simplify]: Simplify -1 into -1
0.511 * [taylor]: Taking taylor expansion of z in z
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify 1 into 1
0.511 * [backup-simplify]: Simplify (/ -1 1) into -1
0.511 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x
0.512 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.512 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x
0.512 * [taylor]: Taking taylor expansion of 3 in x
0.512 * [backup-simplify]: Simplify 3 into 3
0.512 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.512 * [taylor]: Taking taylor expansion of -1 in x
0.512 * [backup-simplify]: Simplify -1 into -1
0.512 * [taylor]: Taking taylor expansion of x in x
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify 1 into 1
0.512 * [backup-simplify]: Simplify (/ -1 1) into -1
0.512 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.512 * [taylor]: Taking taylor expansion of -1 in x
0.512 * [backup-simplify]: Simplify -1 into -1
0.512 * [taylor]: Taking taylor expansion of z in x
0.512 * [backup-simplify]: Simplify z into z
0.512 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.512 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x
0.513 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.513 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x
0.513 * [taylor]: Taking taylor expansion of 3 in x
0.513 * [backup-simplify]: Simplify 3 into 3
0.513 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.513 * [taylor]: Taking taylor expansion of -1 in x
0.513 * [backup-simplify]: Simplify -1 into -1
0.513 * [taylor]: Taking taylor expansion of x in x
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [backup-simplify]: Simplify (/ -1 1) into -1
0.513 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.513 * [taylor]: Taking taylor expansion of -1 in x
0.513 * [backup-simplify]: Simplify -1 into -1
0.513 * [taylor]: Taking taylor expansion of z in x
0.513 * [backup-simplify]: Simplify z into z
0.513 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.514 * [backup-simplify]: Simplify (* 3 -1) into -3
0.514 * [backup-simplify]: Simplify (+ -3 0) into -3
0.514 * [taylor]: Taking taylor expansion of -3 in z
0.514 * [backup-simplify]: Simplify -3 into -3
0.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.516 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0
0.516 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z))
0.516 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.516 * [taylor]: Taking taylor expansion of z in z
0.516 * [backup-simplify]: Simplify 0 into 0
0.516 * [backup-simplify]: Simplify 1 into 1
0.517 * [backup-simplify]: Simplify (/ 1 1) into 1
0.517 * [backup-simplify]: Simplify (- 1) into -1
0.517 * [backup-simplify]: Simplify -1 into -1
0.517 * [backup-simplify]: Simplify -3 into -3
0.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.519 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0
0.519 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
0.520 * [backup-simplify]: Simplify (+ 0 0) into 0
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.521 * [backup-simplify]: Simplify (- 0) into 0
0.521 * [backup-simplify]: Simplify 0 into 0
0.521 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.523 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.523 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.524 * [backup-simplify]: Simplify (+ 0 0) into 0
0.524 * [taylor]: Taking taylor expansion of 0 in z
0.524 * [backup-simplify]: Simplify 0 into 0
0.524 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.525 * [backup-simplify]: Simplify (- 0) into 0
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.527 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.527 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.528 * [backup-simplify]: Simplify (+ 0 0) into 0
0.528 * [taylor]: Taking taylor expansion of 0 in z
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z)
0.528 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.528 * [backup-simplify]: Simplify (fma 2 y (fma 3 x z)) into (fma 2 y (fma 3 x z))
0.529 * [approximate]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in (y x z) around 0
0.529 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in z
0.529 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z))
0.529 * [taylor]: Taking taylor expansion of (* 2 y) in z
0.529 * [taylor]: Taking taylor expansion of 2 in z
0.529 * [backup-simplify]: Simplify 2 into 2
0.529 * [taylor]: Taking taylor expansion of y in z
0.529 * [backup-simplify]: Simplify y into y
0.529 * [taylor]: Taking taylor expansion of (fma 3 x z) in z
0.529 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.529 * [taylor]: Taking taylor expansion of (* 3 x) in z
0.529 * [taylor]: Taking taylor expansion of 3 in z
0.529 * [backup-simplify]: Simplify 3 into 3
0.529 * [taylor]: Taking taylor expansion of x in z
0.529 * [backup-simplify]: Simplify x into x
0.529 * [taylor]: Taking taylor expansion of z in z
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify 1 into 1
0.529 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in x
0.529 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z))
0.529 * [taylor]: Taking taylor expansion of (* 2 y) in x
0.529 * [taylor]: Taking taylor expansion of 2 in x
0.529 * [backup-simplify]: Simplify 2 into 2
0.529 * [taylor]: Taking taylor expansion of y in x
0.530 * [backup-simplify]: Simplify y into y
0.530 * [taylor]: Taking taylor expansion of (fma 3 x z) in x
0.530 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.530 * [taylor]: Taking taylor expansion of (* 3 x) in x
0.530 * [taylor]: Taking taylor expansion of 3 in x
0.530 * [backup-simplify]: Simplify 3 into 3
0.530 * [taylor]: Taking taylor expansion of x in x
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 1 into 1
0.530 * [taylor]: Taking taylor expansion of z in x
0.530 * [backup-simplify]: Simplify z into z
0.530 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in y
0.530 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z))
0.530 * [taylor]: Taking taylor expansion of (* 2 y) in y
0.530 * [taylor]: Taking taylor expansion of 2 in y
0.530 * [backup-simplify]: Simplify 2 into 2
0.530 * [taylor]: Taking taylor expansion of y in y
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 1 into 1
0.530 * [taylor]: Taking taylor expansion of (fma 3 x z) in y
0.530 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.530 * [taylor]: Taking taylor expansion of (* 3 x) in y
0.530 * [taylor]: Taking taylor expansion of 3 in y
0.530 * [backup-simplify]: Simplify 3 into 3
0.530 * [taylor]: Taking taylor expansion of x in y
0.530 * [backup-simplify]: Simplify x into x
0.530 * [taylor]: Taking taylor expansion of z in y
0.531 * [backup-simplify]: Simplify z into z
0.531 * [taylor]: Taking taylor expansion of (fma 2 y (fma 3 x z)) in y
0.531 * [taylor]: Rewrote expression to (+ (* 2 y) (fma 3 x z))
0.531 * [taylor]: Taking taylor expansion of (* 2 y) in y
0.531 * [taylor]: Taking taylor expansion of 2 in y
0.531 * [backup-simplify]: Simplify 2 into 2
0.531 * [taylor]: Taking taylor expansion of y in y
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify 1 into 1
0.531 * [taylor]: Taking taylor expansion of (fma 3 x z) in y
0.531 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.531 * [taylor]: Taking taylor expansion of (* 3 x) in y
0.531 * [taylor]: Taking taylor expansion of 3 in y
0.531 * [backup-simplify]: Simplify 3 into 3
0.531 * [taylor]: Taking taylor expansion of x in y
0.531 * [backup-simplify]: Simplify x into x
0.531 * [taylor]: Taking taylor expansion of z in y
0.531 * [backup-simplify]: Simplify z into z
0.532 * [backup-simplify]: Simplify (* 2 0) into 0
0.532 * [backup-simplify]: Simplify (* 3 x) into (* 3 x)
0.532 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z)
0.532 * [backup-simplify]: Simplify (+ 0 (+ (* 3 x) z)) into (+ (* 3 x) z)
0.532 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x
0.532 * [taylor]: Taking taylor expansion of (* 3 x) in x
0.532 * [taylor]: Taking taylor expansion of 3 in x
0.532 * [backup-simplify]: Simplify 3 into 3
0.532 * [taylor]: Taking taylor expansion of x in x
0.532 * [backup-simplify]: Simplify 0 into 0
0.532 * [backup-simplify]: Simplify 1 into 1
0.532 * [taylor]: Taking taylor expansion of z in x
0.532 * [backup-simplify]: Simplify z into z
0.533 * [backup-simplify]: Simplify (* 3 0) into 0
0.533 * [backup-simplify]: Simplify (+ 0 z) into z
0.533 * [taylor]: Taking taylor expansion of z in z
0.533 * [backup-simplify]: Simplify 0 into 0
0.533 * [backup-simplify]: Simplify 1 into 1
0.533 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.534 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x)) into 0
0.534 * [backup-simplify]: Simplify (+ 0 0) into 0
0.535 * [backup-simplify]: Simplify (+ 2 0) into 2
0.535 * [taylor]: Taking taylor expansion of 2 in x
0.535 * [backup-simplify]: Simplify 2 into 2
0.535 * [taylor]: Taking taylor expansion of 2 in z
0.535 * [backup-simplify]: Simplify 2 into 2
0.535 * [backup-simplify]: Simplify 2 into 2
0.536 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
0.536 * [backup-simplify]: Simplify (+ 3 0) into 3
0.536 * [taylor]: Taking taylor expansion of 3 in z
0.536 * [backup-simplify]: Simplify 3 into 3
0.536 * [backup-simplify]: Simplify 3 into 3
0.536 * [backup-simplify]: Simplify 1 into 1
0.537 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 3 (* 1 (* x 1))) (* 2 (* 1 (* 1 y))))) into (+ (* 3 x) (+ z (* 2 y)))
0.537 * [backup-simplify]: Simplify (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) into (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z)))
0.537 * [approximate]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in (y x z) around 0
0.537 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in z
0.537 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z)))
0.538 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z
0.538 * [taylor]: Taking taylor expansion of 2 in z
0.538 * [backup-simplify]: Simplify 2 into 2
0.538 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.538 * [taylor]: Taking taylor expansion of y in z
0.538 * [backup-simplify]: Simplify y into y
0.538 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.538 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z
0.538 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.538 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
0.538 * [taylor]: Taking taylor expansion of 3 in z
0.538 * [backup-simplify]: Simplify 3 into 3
0.538 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.538 * [taylor]: Taking taylor expansion of x in z
0.538 * [backup-simplify]: Simplify x into x
0.538 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.538 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.538 * [taylor]: Taking taylor expansion of z in z
0.538 * [backup-simplify]: Simplify 0 into 0
0.538 * [backup-simplify]: Simplify 1 into 1
0.539 * [backup-simplify]: Simplify (/ 1 1) into 1
0.539 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in x
0.539 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z)))
0.539 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
0.539 * [taylor]: Taking taylor expansion of 2 in x
0.539 * [backup-simplify]: Simplify 2 into 2
0.539 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.539 * [taylor]: Taking taylor expansion of y in x
0.539 * [backup-simplify]: Simplify y into y
0.539 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.539 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x
0.539 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.539 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
0.539 * [taylor]: Taking taylor expansion of 3 in x
0.539 * [backup-simplify]: Simplify 3 into 3
0.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.539 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify 1 into 1
0.540 * [backup-simplify]: Simplify (/ 1 1) into 1
0.540 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.540 * [taylor]: Taking taylor expansion of z in x
0.540 * [backup-simplify]: Simplify z into z
0.540 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.540 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in y
0.540 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z)))
0.540 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.540 * [taylor]: Taking taylor expansion of 2 in y
0.540 * [backup-simplify]: Simplify 2 into 2
0.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.540 * [taylor]: Taking taylor expansion of y in y
0.540 * [backup-simplify]: Simplify 0 into 0
0.540 * [backup-simplify]: Simplify 1 into 1
0.541 * [backup-simplify]: Simplify (/ 1 1) into 1
0.541 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y
0.541 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.541 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y
0.541 * [taylor]: Taking taylor expansion of 3 in y
0.541 * [backup-simplify]: Simplify 3 into 3
0.541 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.541 * [taylor]: Taking taylor expansion of x in y
0.541 * [backup-simplify]: Simplify x into x
0.541 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.541 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.541 * [taylor]: Taking taylor expansion of z in y
0.541 * [backup-simplify]: Simplify z into z
0.541 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.541 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (fma 3 (/ 1 x) (/ 1 z))) in y
0.541 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (fma 3 (/ 1 x) (/ 1 z)))
0.541 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.541 * [taylor]: Taking taylor expansion of 2 in y
0.541 * [backup-simplify]: Simplify 2 into 2
0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.541 * [taylor]: Taking taylor expansion of y in y
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 1 into 1
0.542 * [backup-simplify]: Simplify (/ 1 1) into 1
0.542 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in y
0.542 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.542 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y
0.542 * [taylor]: Taking taylor expansion of 3 in y
0.542 * [backup-simplify]: Simplify 3 into 3
0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.542 * [taylor]: Taking taylor expansion of x in y
0.542 * [backup-simplify]: Simplify x into x
0.542 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.542 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.542 * [taylor]: Taking taylor expansion of z in y
0.542 * [backup-simplify]: Simplify z into z
0.542 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.543 * [backup-simplify]: Simplify (* 2 1) into 2
0.543 * [backup-simplify]: Simplify (+ 2 0) into 2
0.543 * [taylor]: Taking taylor expansion of 2 in x
0.543 * [backup-simplify]: Simplify 2 into 2
0.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.545 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.545 * [backup-simplify]: Simplify (* 3 (/ 1 x)) into (/ 3 x)
0.545 * [backup-simplify]: Simplify (+ (/ 3 x) (/ 1 z)) into (+ (* 3 (/ 1 x)) (/ 1 z))
0.545 * [backup-simplify]: Simplify (+ 0 (+ (* 3 (/ 1 x)) (/ 1 z))) into (+ (* 3 (/ 1 x)) (/ 1 z))
0.545 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x
0.545 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
0.545 * [taylor]: Taking taylor expansion of 3 in x
0.545 * [backup-simplify]: Simplify 3 into 3
0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.545 * [taylor]: Taking taylor expansion of x in x
0.545 * [backup-simplify]: Simplify 0 into 0
0.545 * [backup-simplify]: Simplify 1 into 1
0.545 * [backup-simplify]: Simplify (/ 1 1) into 1
0.545 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.545 * [taylor]: Taking taylor expansion of z in x
0.545 * [backup-simplify]: Simplify z into z
0.545 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.546 * [backup-simplify]: Simplify (* 3 1) into 3
0.546 * [backup-simplify]: Simplify (+ 3 0) into 3
0.546 * [taylor]: Taking taylor expansion of 3 in z
0.546 * [backup-simplify]: Simplify 3 into 3
0.546 * [taylor]: Taking taylor expansion of 2 in z
0.546 * [backup-simplify]: Simplify 2 into 2
0.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.547 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.548 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 x))) into 0
0.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.548 * [backup-simplify]: Simplify (+ 0 0) into 0
0.548 * [backup-simplify]: Simplify (+ 0 0) into 0
0.548 * [taylor]: Taking taylor expansion of 0 in x
0.548 * [backup-simplify]: Simplify 0 into 0
0.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.549 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
0.549 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.549 * [taylor]: Taking taylor expansion of z in z
0.549 * [backup-simplify]: Simplify 0 into 0
0.549 * [backup-simplify]: Simplify 1 into 1
0.550 * [backup-simplify]: Simplify (/ 1 1) into 1
0.550 * [backup-simplify]: Simplify 1 into 1
0.550 * [taylor]: Taking taylor expansion of 0 in z
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 3 into 3
0.550 * [backup-simplify]: Simplify 2 into 2
0.550 * [backup-simplify]: Simplify (+ (* 2 (* 1 (* 1 (/ 1 (/ 1 y))))) (+ (* 3 (* 1 (* (/ 1 (/ 1 x)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y)))
0.550 * [backup-simplify]: Simplify (fma 2 (/ 1 (- y)) (fma 3 (/ 1 (- x)) (/ 1 (- z)))) into (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z)))
0.550 * [approximate]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in (y x z) around 0
0.550 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in z
0.551 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z)))
0.551 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in z
0.551 * [taylor]: Taking taylor expansion of 2 in z
0.551 * [backup-simplify]: Simplify 2 into 2
0.551 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.551 * [taylor]: Taking taylor expansion of -1 in z
0.551 * [backup-simplify]: Simplify -1 into -1
0.551 * [taylor]: Taking taylor expansion of y in z
0.551 * [backup-simplify]: Simplify y into y
0.551 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.551 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z
0.551 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.551 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z
0.551 * [taylor]: Taking taylor expansion of 3 in z
0.551 * [backup-simplify]: Simplify 3 into 3
0.551 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.551 * [taylor]: Taking taylor expansion of -1 in z
0.551 * [backup-simplify]: Simplify -1 into -1
0.551 * [taylor]: Taking taylor expansion of x in z
0.551 * [backup-simplify]: Simplify x into x
0.551 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.551 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.551 * [taylor]: Taking taylor expansion of -1 in z
0.551 * [backup-simplify]: Simplify -1 into -1
0.551 * [taylor]: Taking taylor expansion of z in z
0.551 * [backup-simplify]: Simplify 0 into 0
0.551 * [backup-simplify]: Simplify 1 into 1
0.551 * [backup-simplify]: Simplify (/ -1 1) into -1
0.551 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in x
0.552 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z)))
0.552 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x
0.552 * [taylor]: Taking taylor expansion of 2 in x
0.552 * [backup-simplify]: Simplify 2 into 2
0.552 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.552 * [taylor]: Taking taylor expansion of -1 in x
0.552 * [backup-simplify]: Simplify -1 into -1
0.552 * [taylor]: Taking taylor expansion of y in x
0.552 * [backup-simplify]: Simplify y into y
0.552 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.552 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x
0.552 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.552 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x
0.552 * [taylor]: Taking taylor expansion of 3 in x
0.552 * [backup-simplify]: Simplify 3 into 3
0.552 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.552 * [taylor]: Taking taylor expansion of -1 in x
0.552 * [backup-simplify]: Simplify -1 into -1
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify 1 into 1
0.552 * [backup-simplify]: Simplify (/ -1 1) into -1
0.552 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.552 * [taylor]: Taking taylor expansion of -1 in x
0.552 * [backup-simplify]: Simplify -1 into -1
0.552 * [taylor]: Taking taylor expansion of z in x
0.552 * [backup-simplify]: Simplify z into z
0.552 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.552 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in y
0.553 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z)))
0.553 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in y
0.553 * [taylor]: Taking taylor expansion of 2 in y
0.553 * [backup-simplify]: Simplify 2 into 2
0.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.553 * [taylor]: Taking taylor expansion of -1 in y
0.553 * [backup-simplify]: Simplify -1 into -1
0.553 * [taylor]: Taking taylor expansion of y in y
0.553 * [backup-simplify]: Simplify 0 into 0
0.553 * [backup-simplify]: Simplify 1 into 1
0.553 * [backup-simplify]: Simplify (/ -1 1) into -1
0.553 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y
0.553 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.553 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y
0.553 * [taylor]: Taking taylor expansion of 3 in y
0.553 * [backup-simplify]: Simplify 3 into 3
0.553 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.553 * [taylor]: Taking taylor expansion of -1 in y
0.553 * [backup-simplify]: Simplify -1 into -1
0.553 * [taylor]: Taking taylor expansion of x in y
0.553 * [backup-simplify]: Simplify x into x
0.553 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.553 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.553 * [taylor]: Taking taylor expansion of -1 in y
0.553 * [backup-simplify]: Simplify -1 into -1
0.553 * [taylor]: Taking taylor expansion of z in y
0.553 * [backup-simplify]: Simplify z into z
0.553 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.553 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (fma 3 (/ -1 x) (/ -1 z))) in y
0.553 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (fma 3 (/ -1 x) (/ -1 z)))
0.554 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in y
0.554 * [taylor]: Taking taylor expansion of 2 in y
0.554 * [backup-simplify]: Simplify 2 into 2
0.554 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.554 * [taylor]: Taking taylor expansion of -1 in y
0.554 * [backup-simplify]: Simplify -1 into -1
0.554 * [taylor]: Taking taylor expansion of y in y
0.554 * [backup-simplify]: Simplify 0 into 0
0.554 * [backup-simplify]: Simplify 1 into 1
0.554 * [backup-simplify]: Simplify (/ -1 1) into -1
0.554 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in y
0.554 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.554 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y
0.554 * [taylor]: Taking taylor expansion of 3 in y
0.554 * [backup-simplify]: Simplify 3 into 3
0.554 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.554 * [taylor]: Taking taylor expansion of -1 in y
0.554 * [backup-simplify]: Simplify -1 into -1
0.554 * [taylor]: Taking taylor expansion of x in y
0.554 * [backup-simplify]: Simplify x into x
0.554 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.554 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.554 * [taylor]: Taking taylor expansion of -1 in y
0.554 * [backup-simplify]: Simplify -1 into -1
0.554 * [taylor]: Taking taylor expansion of z in y
0.554 * [backup-simplify]: Simplify z into z
0.554 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.555 * [backup-simplify]: Simplify (* 2 -1) into -2
0.555 * [backup-simplify]: Simplify (+ -2 0) into -2
0.555 * [taylor]: Taking taylor expansion of -2 in x
0.555 * [backup-simplify]: Simplify -2 into -2
0.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.556 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 -1)) into 0
0.556 * [backup-simplify]: Simplify (* 3 (/ -1 x)) into (/ -3 x)
0.556 * [backup-simplify]: Simplify (+ (/ -3 x) (/ -1 z)) into (- (+ (* 3 (/ 1 x)) (/ 1 z)))
0.556 * [backup-simplify]: Simplify (+ 0 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) into (- (+ (* 3 (/ 1 x)) (/ 1 z)))
0.556 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in x
0.556 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x
0.556 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
0.556 * [taylor]: Taking taylor expansion of 3 in x
0.556 * [backup-simplify]: Simplify 3 into 3
0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [backup-simplify]: Simplify 0 into 0
0.557 * [backup-simplify]: Simplify 1 into 1
0.557 * [backup-simplify]: Simplify (/ 1 1) into 1
0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.557 * [taylor]: Taking taylor expansion of z in x
0.557 * [backup-simplify]: Simplify z into z
0.557 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.557 * [backup-simplify]: Simplify (* 3 1) into 3
0.557 * [backup-simplify]: Simplify (+ 3 0) into 3
0.558 * [backup-simplify]: Simplify (- 3) into -3
0.558 * [taylor]: Taking taylor expansion of -3 in z
0.558 * [backup-simplify]: Simplify -3 into -3
0.558 * [taylor]: Taking taylor expansion of -2 in z
0.558 * [backup-simplify]: Simplify -2 into -2
0.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.564 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 -1))) into 0
0.564 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.565 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ -1 x))) into 0
0.565 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
0.565 * [backup-simplify]: Simplify (+ 0 0) into 0
0.566 * [backup-simplify]: Simplify (+ 0 0) into 0
0.566 * [taylor]: Taking taylor expansion of 0 in x
0.566 * [backup-simplify]: Simplify 0 into 0
0.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.567 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
0.567 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.567 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.567 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.567 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.567 * [taylor]: Taking taylor expansion of z in z
0.567 * [backup-simplify]: Simplify 0 into 0
0.567 * [backup-simplify]: Simplify 1 into 1
0.567 * [backup-simplify]: Simplify (/ 1 1) into 1
0.568 * [backup-simplify]: Simplify (- 1) into -1
0.568 * [backup-simplify]: Simplify -1 into -1
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify -3 into -3
0.568 * [backup-simplify]: Simplify -2 into -2
0.568 * [backup-simplify]: Simplify (+ (* -2 (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (+ (* -3 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y)))
0.569 * * * [progress]: simplifying candidates
0.569 * [simplify]: Simplifying:
  (expm1 (fma 3 x z))
  (log1p (fma 3 x z))
  (* 3 x)
  (log (fma 3 x z))
  (exp (fma 3 x z))
  (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z)))
  (cbrt (fma 3 x z))
  (* (* (fma 3 x z) (fma 3 x z)) (fma 3 x z))
  (sqrt (fma 3 x z))
  (sqrt (fma 3 x z))
  (expm1 (fma 2 y (fma 3 x z)))
  (log1p (fma 2 y (fma 3 x z)))
  (* 2 y)
  (log (fma 2 y (fma 3 x z)))
  (exp (fma 2 y (fma 3 x z)))
  (* (cbrt (fma 2 y (fma 3 x z))) (cbrt (fma 2 y (fma 3 x z))))
  (cbrt (fma 2 y (fma 3 x z)))
  (* (* (fma 2 y (fma 3 x z)) (fma 2 y (fma 3 x z))) (fma 2 y (fma 3 x z)))
  (sqrt (fma 2 y (fma 3 x z)))
  (sqrt (fma 2 y (fma 3 x z)))
  (+ (* 3 x) z)
  (+ (* 3 x) z)
  (+ (* 3 x) z)
  (+ (* 3 x) (+ z (* 2 y)))
  (+ (* 3 x) (+ z (* 2 y)))
  (+ (* 3 x) (+ z (* 2 y)))
0.569 * * [simplify]: iteration 0: 30 enodes
0.574 * * [simplify]: iteration 1: 43 enodes
0.587 * * [simplify]: iteration 2: 96 enodes
0.628 * * [simplify]: iteration 3: 376 enodes
1.007 * * [simplify]: iteration 4: 2009 enodes
2.459 * * [simplify]: iteration complete: 5006 enodes
2.459 * * [simplify]: Extracting #0: cost 20 inf + 0
2.460 * * [simplify]: Extracting #1: cost 172 inf + 0
2.468 * * [simplify]: Extracting #2: cost 796 inf + 1026
2.493 * * [simplify]: Extracting #3: cost 666 inf + 50246
2.598 * * [simplify]: Extracting #4: cost 129 inf + 186740
2.721 * * [simplify]: Extracting #5: cost 9 inf + 206246
2.798 * * [simplify]: Extracting #6: cost 0 inf + 208318
2.905 * [simplify]: Simplified to:
  (expm1 (fma x 3 z))
  (log1p (fma x 3 z))
  (* 3 x)
  (log (fma x 3 z))
  (exp (fma x 3 z))
  (* (cbrt (fma x 3 z)) (cbrt (fma x 3 z)))
  (cbrt (fma x 3 z))
  (* (fma x 3 z) (* (fma x 3 z) (fma x 3 z)))
  (sqrt (fma x 3 z))
  (sqrt (fma x 3 z))
  (expm1 (fma x 3 (fma 2 y z)))
  (log1p (fma x 3 (fma 2 y z)))
  (* y 2)
  (log (fma x 3 (fma 2 y z)))
  (exp (fma x 3 (fma 2 y z)))
  (* (cbrt (fma x 3 (fma 2 y z))) (cbrt (fma x 3 (fma 2 y z))))
  (cbrt (fma x 3 (fma 2 y z)))
  (* (* (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z))) (fma x 3 (fma 2 y z)))
  (sqrt (fma x 3 (fma 2 y z)))
  (sqrt (fma x 3 (fma 2 y z)))
  (fma x 3 z)
  (fma x 3 z)
  (fma x 3 z)
  (fma x 3 (fma 2 y z))
  (fma x 3 (fma 2 y z))
  (fma x 3 (fma 2 y z))
2.906 * * * [progress]: adding candidates to table
3.041 * * [progress]: iteration 2 / 4
3.041 * * * [progress]: picking best candidate
3.045 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x 3 (fma 2 y z)))>
3.045 * * * [progress]: localizing error
3.053 * * * [progress]: generating rewritten candidates
3.054 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.054 * * * [progress]: generating series expansions
3.054 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.054 * [backup-simplify]: Simplify (fma x 3 (fma 2 y z)) into (fma x 3 (fma 2 y z))
3.054 * [approximate]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in (x y z) around 0
3.054 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in z
3.054 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z))
3.054 * [taylor]: Taking taylor expansion of (* x 3) in z
3.054 * [taylor]: Taking taylor expansion of x in z
3.055 * [backup-simplify]: Simplify x into x
3.055 * [taylor]: Taking taylor expansion of 3 in z
3.055 * [backup-simplify]: Simplify 3 into 3
3.055 * [taylor]: Taking taylor expansion of (fma 2 y z) in z
3.055 * [taylor]: Rewrote expression to (+ (* 2 y) z)
3.055 * [taylor]: Taking taylor expansion of (* 2 y) in z
3.055 * [taylor]: Taking taylor expansion of 2 in z
3.055 * [backup-simplify]: Simplify 2 into 2
3.055 * [taylor]: Taking taylor expansion of y in z
3.055 * [backup-simplify]: Simplify y into y
3.055 * [taylor]: Taking taylor expansion of z in z
3.055 * [backup-simplify]: Simplify 0 into 0
3.055 * [backup-simplify]: Simplify 1 into 1
3.055 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in y
3.055 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z))
3.055 * [taylor]: Taking taylor expansion of (* x 3) in y
3.055 * [taylor]: Taking taylor expansion of x in y
3.055 * [backup-simplify]: Simplify x into x
3.055 * [taylor]: Taking taylor expansion of 3 in y
3.055 * [backup-simplify]: Simplify 3 into 3
3.055 * [taylor]: Taking taylor expansion of (fma 2 y z) in y
3.055 * [taylor]: Rewrote expression to (+ (* 2 y) z)
3.055 * [taylor]: Taking taylor expansion of (* 2 y) in y
3.055 * [taylor]: Taking taylor expansion of 2 in y
3.055 * [backup-simplify]: Simplify 2 into 2
3.055 * [taylor]: Taking taylor expansion of y in y
3.055 * [backup-simplify]: Simplify 0 into 0
3.055 * [backup-simplify]: Simplify 1 into 1
3.055 * [taylor]: Taking taylor expansion of z in y
3.055 * [backup-simplify]: Simplify z into z
3.055 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in x
3.055 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z))
3.055 * [taylor]: Taking taylor expansion of (* x 3) in x
3.055 * [taylor]: Taking taylor expansion of x in x
3.055 * [backup-simplify]: Simplify 0 into 0
3.055 * [backup-simplify]: Simplify 1 into 1
3.055 * [taylor]: Taking taylor expansion of 3 in x
3.055 * [backup-simplify]: Simplify 3 into 3
3.055 * [taylor]: Taking taylor expansion of (fma 2 y z) in x
3.055 * [taylor]: Rewrote expression to (+ (* 2 y) z)
3.055 * [taylor]: Taking taylor expansion of (* 2 y) in x
3.055 * [taylor]: Taking taylor expansion of 2 in x
3.055 * [backup-simplify]: Simplify 2 into 2
3.055 * [taylor]: Taking taylor expansion of y in x
3.056 * [backup-simplify]: Simplify y into y
3.056 * [taylor]: Taking taylor expansion of z in x
3.056 * [backup-simplify]: Simplify z into z
3.056 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in x
3.056 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z))
3.056 * [taylor]: Taking taylor expansion of (* x 3) in x
3.056 * [taylor]: Taking taylor expansion of x in x
3.056 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify 1 into 1
3.056 * [taylor]: Taking taylor expansion of 3 in x
3.056 * [backup-simplify]: Simplify 3 into 3
3.056 * [taylor]: Taking taylor expansion of (fma 2 y z) in x
3.056 * [taylor]: Rewrote expression to (+ (* 2 y) z)
3.056 * [taylor]: Taking taylor expansion of (* 2 y) in x
3.056 * [taylor]: Taking taylor expansion of 2 in x
3.056 * [backup-simplify]: Simplify 2 into 2
3.056 * [taylor]: Taking taylor expansion of y in x
3.056 * [backup-simplify]: Simplify y into y
3.056 * [taylor]: Taking taylor expansion of z in x
3.056 * [backup-simplify]: Simplify z into z
3.056 * [backup-simplify]: Simplify (* 0 3) into 0
3.057 * [backup-simplify]: Simplify (* 2 y) into (* 2 y)
3.057 * [backup-simplify]: Simplify (+ (* 2 y) z) into (+ z (* 2 y))
3.057 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y))
3.057 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y
3.057 * [taylor]: Taking taylor expansion of z in y
3.057 * [backup-simplify]: Simplify z into z
3.057 * [taylor]: Taking taylor expansion of (* 2 y) in y
3.057 * [taylor]: Taking taylor expansion of 2 in y
3.057 * [backup-simplify]: Simplify 2 into 2
3.057 * [taylor]: Taking taylor expansion of y in y
3.057 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify 1 into 1
3.057 * [backup-simplify]: Simplify (* 2 0) into 0
3.057 * [backup-simplify]: Simplify (+ z 0) into z
3.057 * [taylor]: Taking taylor expansion of z in z
3.057 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify 1 into 1
3.057 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 3)) into 3
3.058 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0
3.058 * [backup-simplify]: Simplify (+ 0 0) into 0
3.059 * [backup-simplify]: Simplify (+ 3 0) into 3
3.059 * [taylor]: Taking taylor expansion of 3 in y
3.059 * [backup-simplify]: Simplify 3 into 3
3.059 * [taylor]: Taking taylor expansion of 3 in z
3.059 * [backup-simplify]: Simplify 3 into 3
3.059 * [backup-simplify]: Simplify 3 into 3
3.059 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
3.060 * [backup-simplify]: Simplify (+ 0 2) into 2
3.060 * [taylor]: Taking taylor expansion of 2 in z
3.060 * [backup-simplify]: Simplify 2 into 2
3.060 * [backup-simplify]: Simplify 2 into 2
3.060 * [backup-simplify]: Simplify 1 into 1
3.061 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y)))
3.061 * [backup-simplify]: Simplify (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) into (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z)))
3.061 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in (x y z) around 0
3.061 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in z
3.061 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z)))
3.061 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in z
3.061 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.061 * [taylor]: Taking taylor expansion of x in z
3.061 * [backup-simplify]: Simplify x into x
3.061 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.061 * [taylor]: Taking taylor expansion of 3 in z
3.061 * [backup-simplify]: Simplify 3 into 3
3.061 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in z
3.061 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z))
3.061 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z
3.061 * [taylor]: Taking taylor expansion of 2 in z
3.061 * [backup-simplify]: Simplify 2 into 2
3.061 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.061 * [taylor]: Taking taylor expansion of y in z
3.061 * [backup-simplify]: Simplify y into y
3.061 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.061 * [taylor]: Taking taylor expansion of z in z
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 1 into 1
3.062 * [backup-simplify]: Simplify (/ 1 1) into 1
3.062 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in y
3.062 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z)))
3.062 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in y
3.062 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.062 * [taylor]: Taking taylor expansion of x in y
3.062 * [backup-simplify]: Simplify x into x
3.062 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.062 * [taylor]: Taking taylor expansion of 3 in y
3.062 * [backup-simplify]: Simplify 3 into 3
3.062 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in y
3.062 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z))
3.062 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
3.062 * [taylor]: Taking taylor expansion of 2 in y
3.062 * [backup-simplify]: Simplify 2 into 2
3.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.062 * [taylor]: Taking taylor expansion of y in y
3.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [backup-simplify]: Simplify 1 into 1
3.063 * [backup-simplify]: Simplify (/ 1 1) into 1
3.063 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.063 * [taylor]: Taking taylor expansion of z in y
3.063 * [backup-simplify]: Simplify z into z
3.063 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.063 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in x
3.063 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z)))
3.063 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x
3.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.063 * [taylor]: Taking taylor expansion of x in x
3.063 * [backup-simplify]: Simplify 0 into 0
3.063 * [backup-simplify]: Simplify 1 into 1
3.063 * [backup-simplify]: Simplify (/ 1 1) into 1
3.063 * [taylor]: Taking taylor expansion of 3 in x
3.063 * [backup-simplify]: Simplify 3 into 3
3.063 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in x
3.064 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z))
3.064 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
3.064 * [taylor]: Taking taylor expansion of 2 in x
3.064 * [backup-simplify]: Simplify 2 into 2
3.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.064 * [taylor]: Taking taylor expansion of y in x
3.064 * [backup-simplify]: Simplify y into y
3.064 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.064 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.064 * [taylor]: Taking taylor expansion of z in x
3.064 * [backup-simplify]: Simplify z into z
3.064 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.064 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in x
3.064 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z)))
3.064 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x
3.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.064 * [taylor]: Taking taylor expansion of x in x
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify 1 into 1
3.064 * [backup-simplify]: Simplify (/ 1 1) into 1
3.064 * [taylor]: Taking taylor expansion of 3 in x
3.064 * [backup-simplify]: Simplify 3 into 3
3.064 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in x
3.064 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z))
3.064 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
3.064 * [taylor]: Taking taylor expansion of 2 in x
3.064 * [backup-simplify]: Simplify 2 into 2
3.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.064 * [taylor]: Taking taylor expansion of y in x
3.064 * [backup-simplify]: Simplify y into y
3.065 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.065 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.065 * [taylor]: Taking taylor expansion of z in x
3.065 * [backup-simplify]: Simplify z into z
3.065 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.065 * [backup-simplify]: Simplify (* 1 3) into 3
3.065 * [backup-simplify]: Simplify (+ 3 0) into 3
3.065 * [taylor]: Taking taylor expansion of 3 in y
3.065 * [backup-simplify]: Simplify 3 into 3
3.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.066 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0
3.066 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
3.066 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y)))
3.066 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) (* 2 (/ 1 y)))) into (+ (/ 1 z) (* 2 (/ 1 y)))
3.066 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y
3.066 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.066 * [taylor]: Taking taylor expansion of z in y
3.066 * [backup-simplify]: Simplify z into z
3.066 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.066 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
3.067 * [taylor]: Taking taylor expansion of 2 in y
3.067 * [backup-simplify]: Simplify 2 into 2
3.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.067 * [taylor]: Taking taylor expansion of y in y
3.067 * [backup-simplify]: Simplify 0 into 0
3.067 * [backup-simplify]: Simplify 1 into 1
3.067 * [backup-simplify]: Simplify (/ 1 1) into 1
3.067 * [backup-simplify]: Simplify (* 2 1) into 2
3.067 * [backup-simplify]: Simplify (+ 0 2) into 2
3.067 * [taylor]: Taking taylor expansion of 2 in z
3.067 * [backup-simplify]: Simplify 2 into 2
3.067 * [taylor]: Taking taylor expansion of 3 in z
3.067 * [backup-simplify]: Simplify 3 into 3
3.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3))) into 0
3.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.069 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0
3.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.069 * [backup-simplify]: Simplify (+ 0 0) into 0
3.070 * [backup-simplify]: Simplify (+ 0 0) into 0
3.070 * [taylor]: Taking taylor expansion of 0 in y
3.070 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.070 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
3.070 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.071 * [taylor]: Taking taylor expansion of z in z
3.071 * [backup-simplify]: Simplify 0 into 0
3.071 * [backup-simplify]: Simplify 1 into 1
3.071 * [backup-simplify]: Simplify (/ 1 1) into 1
3.071 * [backup-simplify]: Simplify 1 into 1
3.071 * [taylor]: Taking taylor expansion of 0 in z
3.071 * [backup-simplify]: Simplify 0 into 0
3.071 * [backup-simplify]: Simplify 2 into 2
3.071 * [backup-simplify]: Simplify 3 into 3
3.071 * [backup-simplify]: Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 2 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y)))
3.072 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 3 (fma 2 (/ 1 (- y)) (/ 1 (- z)))) into (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z)))
3.072 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in (x y z) around 0
3.072 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in z
3.072 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z)))
3.072 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in z
3.072 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.072 * [taylor]: Taking taylor expansion of -1 in z
3.072 * [backup-simplify]: Simplify -1 into -1
3.072 * [taylor]: Taking taylor expansion of x in z
3.072 * [backup-simplify]: Simplify x into x
3.072 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.072 * [taylor]: Taking taylor expansion of 3 in z
3.072 * [backup-simplify]: Simplify 3 into 3
3.072 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in z
3.072 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z))
3.072 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in z
3.072 * [taylor]: Taking taylor expansion of 2 in z
3.072 * [backup-simplify]: Simplify 2 into 2
3.072 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.072 * [taylor]: Taking taylor expansion of -1 in z
3.072 * [backup-simplify]: Simplify -1 into -1
3.072 * [taylor]: Taking taylor expansion of y in z
3.072 * [backup-simplify]: Simplify y into y
3.072 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.072 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.072 * [taylor]: Taking taylor expansion of -1 in z
3.072 * [backup-simplify]: Simplify -1 into -1
3.072 * [taylor]: Taking taylor expansion of z in z
3.072 * [backup-simplify]: Simplify 0 into 0
3.072 * [backup-simplify]: Simplify 1 into 1
3.073 * [backup-simplify]: Simplify (/ -1 1) into -1
3.073 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in y
3.073 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z)))
3.073 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in y
3.073 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.073 * [taylor]: Taking taylor expansion of -1 in y
3.073 * [backup-simplify]: Simplify -1 into -1
3.073 * [taylor]: Taking taylor expansion of x in y
3.073 * [backup-simplify]: Simplify x into x
3.073 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.073 * [taylor]: Taking taylor expansion of 3 in y
3.073 * [backup-simplify]: Simplify 3 into 3
3.073 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in y
3.073 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z))
3.073 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in y
3.073 * [taylor]: Taking taylor expansion of 2 in y
3.073 * [backup-simplify]: Simplify 2 into 2
3.073 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.073 * [taylor]: Taking taylor expansion of -1 in y
3.073 * [backup-simplify]: Simplify -1 into -1
3.073 * [taylor]: Taking taylor expansion of y in y
3.073 * [backup-simplify]: Simplify 0 into 0
3.073 * [backup-simplify]: Simplify 1 into 1
3.073 * [backup-simplify]: Simplify (/ -1 1) into -1
3.073 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.073 * [taylor]: Taking taylor expansion of -1 in y
3.073 * [backup-simplify]: Simplify -1 into -1
3.073 * [taylor]: Taking taylor expansion of z in y
3.073 * [backup-simplify]: Simplify z into z
3.073 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.074 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in x
3.074 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z)))
3.074 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x
3.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.074 * [taylor]: Taking taylor expansion of -1 in x
3.074 * [backup-simplify]: Simplify -1 into -1
3.074 * [taylor]: Taking taylor expansion of x in x
3.074 * [backup-simplify]: Simplify 0 into 0
3.074 * [backup-simplify]: Simplify 1 into 1
3.074 * [backup-simplify]: Simplify (/ -1 1) into -1
3.074 * [taylor]: Taking taylor expansion of 3 in x
3.074 * [backup-simplify]: Simplify 3 into 3
3.074 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in x
3.074 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z))
3.074 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x
3.074 * [taylor]: Taking taylor expansion of 2 in x
3.074 * [backup-simplify]: Simplify 2 into 2
3.074 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.074 * [taylor]: Taking taylor expansion of -1 in x
3.074 * [backup-simplify]: Simplify -1 into -1
3.074 * [taylor]: Taking taylor expansion of y in x
3.074 * [backup-simplify]: Simplify y into y
3.074 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.074 * [taylor]: Taking taylor expansion of (/ -1 z) in x
3.074 * [taylor]: Taking taylor expansion of -1 in x
3.074 * [backup-simplify]: Simplify -1 into -1
3.074 * [taylor]: Taking taylor expansion of z in x
3.074 * [backup-simplify]: Simplify z into z
3.074 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.074 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in x
3.075 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z)))
3.075 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x
3.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.075 * [taylor]: Taking taylor expansion of -1 in x
3.075 * [backup-simplify]: Simplify -1 into -1
3.075 * [taylor]: Taking taylor expansion of x in x
3.075 * [backup-simplify]: Simplify 0 into 0
3.075 * [backup-simplify]: Simplify 1 into 1
3.075 * [backup-simplify]: Simplify (/ -1 1) into -1
3.075 * [taylor]: Taking taylor expansion of 3 in x
3.075 * [backup-simplify]: Simplify 3 into 3
3.075 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in x
3.075 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z))
3.075 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x
3.075 * [taylor]: Taking taylor expansion of 2 in x
3.075 * [backup-simplify]: Simplify 2 into 2
3.075 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.075 * [taylor]: Taking taylor expansion of -1 in x
3.075 * [backup-simplify]: Simplify -1 into -1
3.075 * [taylor]: Taking taylor expansion of y in x
3.075 * [backup-simplify]: Simplify y into y
3.075 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.075 * [taylor]: Taking taylor expansion of (/ -1 z) in x
3.075 * [taylor]: Taking taylor expansion of -1 in x
3.075 * [backup-simplify]: Simplify -1 into -1
3.075 * [taylor]: Taking taylor expansion of z in x
3.075 * [backup-simplify]: Simplify z into z
3.075 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.076 * [backup-simplify]: Simplify (* -1 3) into -3
3.076 * [backup-simplify]: Simplify (+ -3 0) into -3
3.076 * [taylor]: Taking taylor expansion of -3 in y
3.076 * [backup-simplify]: Simplify -3 into -3
3.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.077 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 3)) into 0
3.077 * [backup-simplify]: Simplify (* 2 (/ -1 y)) into (/ -2 y)
3.077 * [backup-simplify]: Simplify (+ (/ -2 y) (/ -1 z)) into (- (+ (/ 1 z) (* 2 (/ 1 y))))
3.077 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 z) (* 2 (/ 1 y))))) into (- (+ (* 2 (/ 1 y)) (/ 1 z)))
3.077 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 z))) in y
3.077 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 z)) in y
3.077 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
3.077 * [taylor]: Taking taylor expansion of 2 in y
3.077 * [backup-simplify]: Simplify 2 into 2
3.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.077 * [taylor]: Taking taylor expansion of y in y
3.077 * [backup-simplify]: Simplify 0 into 0
3.077 * [backup-simplify]: Simplify 1 into 1
3.078 * [backup-simplify]: Simplify (/ 1 1) into 1
3.078 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.078 * [taylor]: Taking taylor expansion of z in y
3.078 * [backup-simplify]: Simplify z into z
3.078 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.078 * [backup-simplify]: Simplify (* 2 1) into 2
3.078 * [backup-simplify]: Simplify (+ 2 0) into 2
3.078 * [backup-simplify]: Simplify (- 2) into -2
3.078 * [taylor]: Taking taylor expansion of -2 in z
3.078 * [backup-simplify]: Simplify -2 into -2
3.078 * [taylor]: Taking taylor expansion of -3 in z
3.078 * [backup-simplify]: Simplify -3 into -3
3.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.084 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 3))) into 0
3.084 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.084 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ -1 y))) into 0
3.084 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
3.084 * [backup-simplify]: Simplify (+ 0 0) into 0
3.085 * [backup-simplify]: Simplify (+ 0 0) into 0
3.085 * [taylor]: Taking taylor expansion of 0 in y
3.085 * [backup-simplify]: Simplify 0 into 0
3.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.086 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
3.086 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
3.086 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.086 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.086 * [taylor]: Taking taylor expansion of z in z
3.086 * [backup-simplify]: Simplify 0 into 0
3.086 * [backup-simplify]: Simplify 1 into 1
3.086 * [backup-simplify]: Simplify (/ 1 1) into 1
3.086 * [backup-simplify]: Simplify (- 1) into -1
3.086 * [backup-simplify]: Simplify -1 into -1
3.086 * [taylor]: Taking taylor expansion of 0 in z
3.086 * [backup-simplify]: Simplify 0 into 0
3.086 * [backup-simplify]: Simplify -2 into -2
3.086 * [backup-simplify]: Simplify -3 into -3
3.087 * [backup-simplify]: Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -2 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y)))
3.087 * * * [progress]: simplifying candidates
3.087 * [simplify]: Simplifying:
  (expm1 (fma x 3 (fma 2 y z)))
  (log1p (fma x 3 (fma 2 y z)))
  (* x 3)
  (log (fma x 3 (fma 2 y z)))
  (exp (fma x 3 (fma 2 y z)))
  (* (cbrt (fma x 3 (fma 2 y z))) (cbrt (fma x 3 (fma 2 y z))))
  (cbrt (fma x 3 (fma 2 y z)))
  (* (* (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z))) (fma x 3 (fma 2 y z)))
  (sqrt (fma x 3 (fma 2 y z)))
  (sqrt (fma x 3 (fma 2 y z)))
  (+ (* 3 x) (+ z (* 2 y)))
  (+ (* 3 x) (+ z (* 2 y)))
  (+ (* 3 x) (+ z (* 2 y)))
3.087 * * [simplify]: iteration 0: 21 enodes
3.091 * * [simplify]: iteration 1: 31 enodes
3.099 * * [simplify]: iteration 2: 77 enodes
3.143 * * [simplify]: iteration 3: 407 enodes
3.868 * * [simplify]: iteration 4: 3084 enodes
5.009 * * [simplify]: iteration complete: 5000 enodes
5.010 * * [simplify]: Extracting #0: cost 10 inf + 0
5.011 * * [simplify]: Extracting #1: cost 76 inf + 0
5.015 * * [simplify]: Extracting #2: cost 633 inf + 362
5.033 * * [simplify]: Extracting #3: cost 449 inf + 43172
5.116 * * [simplify]: Extracting #4: cost 14 inf + 147878
5.205 * * [simplify]: Extracting #5: cost 0 inf + 151309
5.326 * [simplify]: Simplified to:
  (expm1 (fma 3 x (fma 2 y z)))
  (log1p (fma 3 x (fma 2 y z)))
  (* x 3)
  (log (fma 3 x (fma 2 y z)))
  (exp (fma 3 x (fma 2 y z)))
  (* (cbrt (fma 3 x (fma 2 y z))) (cbrt (fma 3 x (fma 2 y z))))
  (cbrt (fma 3 x (fma 2 y z)))
  (* (* (fma 3 x (fma 2 y z)) (fma 3 x (fma 2 y z))) (fma 3 x (fma 2 y z)))
  (sqrt (fma 3 x (fma 2 y z)))
  (sqrt (fma 3 x (fma 2 y z)))
  (fma 3 x (fma 2 y z))
  (fma 3 x (fma 2 y z))
  (fma 3 x (fma 2 y z))
5.327 * * * [progress]: adding candidates to table
5.393 * [progress]: [Phase 3 of 3] Extracting.
5.397 * [simplify]: Simplifying:
  (fma x 3 (fma 2 y z))
5.397 * * [simplify]: iteration 0: 7 enodes
5.398 * * [simplify]: iteration complete: 7 enodes
5.398 * * [simplify]: Extracting #0: cost 1 inf + 0
5.398 * * [simplify]: Extracting #1: cost 4 inf + 0
5.398 * * [simplify]: Extracting #2: cost 5 inf + 2
5.398 * * [simplify]: Extracting #3: cost 0 inf + 178
5.398 * [simplify]: Simplified to:
  (fma x 3 (fma 2 y z))
7.170 * [regime-testing]: Baseline error score: 0.0006250781347668458
7.188 * [regime-testing]: Oracle error score: 0.0006250781347668458
7.189 * [regime-testing]: End program error score: 0.0006250781347668458