71.519 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.051 * * * [progress]: [2/2] Setting up program.
0.060 * [progress]: [Phase 2 of 3] Improving.
0.063 * [simplify]: Simplifying:
  (+ (+ (+ (+ (+ x y) y) x) z) x)
0.063 * * [simplify]: iteration 0: 8 enodes
0.068 * * [simplify]: iteration 1: 20 enodes
0.078 * * [simplify]: iteration 2: 53 enodes
0.270 * * [simplify]: iteration 3: 145 enodes
0.525 * * [simplify]: iteration 4: 264 enodes
0.800 * * [simplify]: iteration 5: 297 enodes
1.089 * * [simplify]: iteration 6: 299 enodes
1.172 * * [simplify]: iteration complete: 299 enodes
1.172 * * [simplify]: Extracting #0: cost 1 inf + 0
1.172 * * [simplify]: Extracting #1: cost 25 inf + 0
1.173 * * [simplify]: Extracting #2: cost 17 inf + 146
1.175 * * [simplify]: Extracting #3: cost 0 inf + 1417
1.179 * * [simplify]: Extracting #4: cost 0 inf + 1377
1.181 * [simplify]: Simplified to:
  (fma 3 x (fma y 2 z))
1.191 * * [progress]: iteration 1 / 4
1.192 * * * [progress]: picking best candidate
1.200 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 3 x (fma y 2 z)))>
1.200 * * * [progress]: localizing error
1.235 * * * [progress]: generating rewritten candidates
1.235 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.236 * * * [progress]: generating series expansions
1.237 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.237 * [backup-simplify]: Simplify (fma 3 x (fma y 2 z)) into (fma 3 x (fma y 2 z))
1.237 * [approximate]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in (x y z) around 0
1.237 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in z
1.237 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z))
1.237 * [taylor]: Taking taylor expansion of (* 3 x) in z
1.237 * [taylor]: Taking taylor expansion of 3 in z
1.237 * [backup-simplify]: Simplify 3 into 3
1.237 * [taylor]: Taking taylor expansion of x in z
1.237 * [backup-simplify]: Simplify x into x
1.237 * [taylor]: Taking taylor expansion of (fma y 2 z) in z
1.237 * [taylor]: Rewrote expression to (+ (* y 2) z)
1.237 * [taylor]: Taking taylor expansion of (* y 2) in z
1.237 * [taylor]: Taking taylor expansion of y in z
1.237 * [backup-simplify]: Simplify y into y
1.237 * [taylor]: Taking taylor expansion of 2 in z
1.237 * [backup-simplify]: Simplify 2 into 2
1.238 * [taylor]: Taking taylor expansion of z in z
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 1 into 1
1.238 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in y
1.238 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z))
1.238 * [taylor]: Taking taylor expansion of (* 3 x) in y
1.238 * [taylor]: Taking taylor expansion of 3 in y
1.238 * [backup-simplify]: Simplify 3 into 3
1.238 * [taylor]: Taking taylor expansion of x in y
1.238 * [backup-simplify]: Simplify x into x
1.238 * [taylor]: Taking taylor expansion of (fma y 2 z) in y
1.238 * [taylor]: Rewrote expression to (+ (* y 2) z)
1.238 * [taylor]: Taking taylor expansion of (* y 2) in y
1.238 * [taylor]: Taking taylor expansion of y in y
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 1 into 1
1.238 * [taylor]: Taking taylor expansion of 2 in y
1.238 * [backup-simplify]: Simplify 2 into 2
1.238 * [taylor]: Taking taylor expansion of z in y
1.238 * [backup-simplify]: Simplify z into z
1.238 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in x
1.239 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z))
1.239 * [taylor]: Taking taylor expansion of (* 3 x) in x
1.239 * [taylor]: Taking taylor expansion of 3 in x
1.239 * [backup-simplify]: Simplify 3 into 3
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify 1 into 1
1.239 * [taylor]: Taking taylor expansion of (fma y 2 z) in x
1.239 * [taylor]: Rewrote expression to (+ (* y 2) z)
1.239 * [taylor]: Taking taylor expansion of (* y 2) in x
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [backup-simplify]: Simplify y into y
1.239 * [taylor]: Taking taylor expansion of 2 in x
1.239 * [backup-simplify]: Simplify 2 into 2
1.239 * [taylor]: Taking taylor expansion of z in x
1.239 * [backup-simplify]: Simplify z into z
1.239 * [taylor]: Taking taylor expansion of (fma 3 x (fma y 2 z)) in x
1.239 * [taylor]: Rewrote expression to (+ (* 3 x) (fma y 2 z))
1.239 * [taylor]: Taking taylor expansion of (* 3 x) in x
1.239 * [taylor]: Taking taylor expansion of 3 in x
1.239 * [backup-simplify]: Simplify 3 into 3
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify 1 into 1
1.239 * [taylor]: Taking taylor expansion of (fma y 2 z) in x
1.240 * [taylor]: Rewrote expression to (+ (* y 2) z)
1.240 * [taylor]: Taking taylor expansion of (* y 2) in x
1.240 * [taylor]: Taking taylor expansion of y in x
1.240 * [backup-simplify]: Simplify y into y
1.240 * [taylor]: Taking taylor expansion of 2 in x
1.240 * [backup-simplify]: Simplify 2 into 2
1.240 * [taylor]: Taking taylor expansion of z in x
1.240 * [backup-simplify]: Simplify z into z
1.241 * [backup-simplify]: Simplify (* 3 0) into 0
1.241 * [backup-simplify]: Simplify (* y 2) into (* 2 y)
1.241 * [backup-simplify]: Simplify (+ (* 2 y) z) into (+ z (* 2 y))
1.241 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y))
1.241 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y
1.241 * [taylor]: Taking taylor expansion of z in y
1.241 * [backup-simplify]: Simplify z into z
1.241 * [taylor]: Taking taylor expansion of (* 2 y) in y
1.241 * [taylor]: Taking taylor expansion of 2 in y
1.241 * [backup-simplify]: Simplify 2 into 2
1.241 * [taylor]: Taking taylor expansion of y in y
1.241 * [backup-simplify]: Simplify 0 into 0
1.241 * [backup-simplify]: Simplify 1 into 1
1.242 * [backup-simplify]: Simplify (* 2 0) into 0
1.246 * [backup-simplify]: Simplify (+ z 0) into z
1.246 * [taylor]: Taking taylor expansion of z in z
1.246 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify 1 into 1
1.246 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
1.248 * [backup-simplify]: Simplify (+ (* y 0) (* 0 2)) into 0
1.248 * [backup-simplify]: Simplify (+ 0 0) into 0
1.248 * [backup-simplify]: Simplify (+ 3 0) into 3
1.248 * [taylor]: Taking taylor expansion of 3 in y
1.248 * [backup-simplify]: Simplify 3 into 3
1.249 * [taylor]: Taking taylor expansion of 3 in z
1.249 * [backup-simplify]: Simplify 3 into 3
1.249 * [backup-simplify]: Simplify 3 into 3
1.249 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
1.258 * [backup-simplify]: Simplify (+ 0 2) into 2
1.258 * [taylor]: Taking taylor expansion of 2 in z
1.258 * [backup-simplify]: Simplify 2 into 2
1.258 * [backup-simplify]: Simplify 2 into 2
1.258 * [backup-simplify]: Simplify 1 into 1
1.259 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y)))
1.259 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) into (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z)))
1.259 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in (x y z) around 0
1.259 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in z
1.260 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z)))
1.260 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
1.260 * [taylor]: Taking taylor expansion of 3 in z
1.260 * [backup-simplify]: Simplify 3 into 3
1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.260 * [taylor]: Taking taylor expansion of x in z
1.260 * [backup-simplify]: Simplify x into x
1.260 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.260 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in z
1.260 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z))
1.260 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z
1.260 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.260 * [taylor]: Taking taylor expansion of y in z
1.260 * [backup-simplify]: Simplify y into y
1.260 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.260 * [taylor]: Taking taylor expansion of 2 in z
1.260 * [backup-simplify]: Simplify 2 into 2
1.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.260 * [taylor]: Taking taylor expansion of z in z
1.260 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify 1 into 1
1.261 * [backup-simplify]: Simplify (/ 1 1) into 1
1.261 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in y
1.261 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z)))
1.261 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y
1.261 * [taylor]: Taking taylor expansion of 3 in y
1.261 * [backup-simplify]: Simplify 3 into 3
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.261 * [taylor]: Taking taylor expansion of x in y
1.261 * [backup-simplify]: Simplify x into x
1.261 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.261 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in y
1.261 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z))
1.261 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y
1.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.262 * [taylor]: Taking taylor expansion of y in y
1.262 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify 1 into 1
1.262 * [backup-simplify]: Simplify (/ 1 1) into 1
1.262 * [taylor]: Taking taylor expansion of 2 in y
1.262 * [backup-simplify]: Simplify 2 into 2
1.262 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.262 * [taylor]: Taking taylor expansion of z in y
1.262 * [backup-simplify]: Simplify z into z
1.262 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.262 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in x
1.262 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z)))
1.262 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
1.263 * [taylor]: Taking taylor expansion of 3 in x
1.263 * [backup-simplify]: Simplify 3 into 3
1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.263 * [taylor]: Taking taylor expansion of x in x
1.263 * [backup-simplify]: Simplify 0 into 0
1.263 * [backup-simplify]: Simplify 1 into 1
1.263 * [backup-simplify]: Simplify (/ 1 1) into 1
1.263 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x
1.263 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z))
1.263 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x
1.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.263 * [taylor]: Taking taylor expansion of y in x
1.263 * [backup-simplify]: Simplify y into y
1.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.263 * [taylor]: Taking taylor expansion of 2 in x
1.263 * [backup-simplify]: Simplify 2 into 2
1.264 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.264 * [taylor]: Taking taylor expansion of z in x
1.264 * [backup-simplify]: Simplify z into z
1.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.264 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (fma (/ 1 y) 2 (/ 1 z))) in x
1.264 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (fma (/ 1 y) 2 (/ 1 z)))
1.264 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
1.264 * [taylor]: Taking taylor expansion of 3 in x
1.264 * [backup-simplify]: Simplify 3 into 3
1.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.264 * [taylor]: Taking taylor expansion of x in x
1.264 * [backup-simplify]: Simplify 0 into 0
1.264 * [backup-simplify]: Simplify 1 into 1
1.264 * [backup-simplify]: Simplify (/ 1 1) into 1
1.264 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x
1.265 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z))
1.265 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x
1.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.265 * [taylor]: Taking taylor expansion of y in x
1.265 * [backup-simplify]: Simplify y into y
1.265 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.265 * [taylor]: Taking taylor expansion of 2 in x
1.265 * [backup-simplify]: Simplify 2 into 2
1.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.265 * [taylor]: Taking taylor expansion of z in x
1.265 * [backup-simplify]: Simplify z into z
1.265 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.266 * [backup-simplify]: Simplify (* 3 1) into 3
1.274 * [backup-simplify]: Simplify (+ 3 0) into 3
1.274 * [taylor]: Taking taylor expansion of 3 in y
1.274 * [backup-simplify]: Simplify 3 into 3
1.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.275 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.275 * [backup-simplify]: Simplify (* (/ 1 y) 2) into (/ 2 y)
1.275 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y)))
1.275 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) (* 2 (/ 1 y)))) into (+ (/ 1 z) (* 2 (/ 1 y)))
1.275 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y
1.275 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.275 * [taylor]: Taking taylor expansion of z in y
1.275 * [backup-simplify]: Simplify z into z
1.275 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.276 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.276 * [taylor]: Taking taylor expansion of 2 in y
1.276 * [backup-simplify]: Simplify 2 into 2
1.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.276 * [taylor]: Taking taylor expansion of y in y
1.276 * [backup-simplify]: Simplify 0 into 0
1.276 * [backup-simplify]: Simplify 1 into 1
1.276 * [backup-simplify]: Simplify (/ 1 1) into 1
1.276 * [backup-simplify]: Simplify (* 2 1) into 2
1.276 * [backup-simplify]: Simplify (+ 0 2) into 2
1.276 * [taylor]: Taking taylor expansion of 2 in z
1.276 * [backup-simplify]: Simplify 2 into 2
1.276 * [taylor]: Taking taylor expansion of 3 in z
1.276 * [backup-simplify]: Simplify 3 into 3
1.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.278 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.278 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 2)) into 0
1.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.279 * [backup-simplify]: Simplify (+ 0 0) into 0
1.279 * [backup-simplify]: Simplify (+ 0 0) into 0
1.279 * [taylor]: Taking taylor expansion of 0 in y
1.279 * [backup-simplify]: Simplify 0 into 0
1.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.281 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.281 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
1.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.281 * [taylor]: Taking taylor expansion of z in z
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify 1 into 1
1.281 * [backup-simplify]: Simplify (/ 1 1) into 1
1.281 * [backup-simplify]: Simplify 1 into 1
1.282 * [taylor]: Taking taylor expansion of 0 in z
1.282 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify 2 into 2
1.282 * [backup-simplify]: Simplify 3 into 3
1.287 * [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)))
1.287 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (fma (/ 1 (- y)) 2 (/ 1 (- z)))) into (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z)))
1.287 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in (x y z) around 0
1.287 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in z
1.287 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z)))
1.287 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z
1.287 * [taylor]: Taking taylor expansion of 3 in z
1.287 * [backup-simplify]: Simplify 3 into 3
1.287 * [taylor]: Taking taylor expansion of (/ -1 x) in z
1.287 * [taylor]: Taking taylor expansion of -1 in z
1.287 * [backup-simplify]: Simplify -1 into -1
1.287 * [taylor]: Taking taylor expansion of x in z
1.287 * [backup-simplify]: Simplify x into x
1.287 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.287 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in z
1.287 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z))
1.287 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z
1.287 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.287 * [taylor]: Taking taylor expansion of -1 in z
1.287 * [backup-simplify]: Simplify -1 into -1
1.287 * [taylor]: Taking taylor expansion of y in z
1.287 * [backup-simplify]: Simplify y into y
1.288 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.288 * [taylor]: Taking taylor expansion of 2 in z
1.288 * [backup-simplify]: Simplify 2 into 2
1.288 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.288 * [taylor]: Taking taylor expansion of -1 in z
1.288 * [backup-simplify]: Simplify -1 into -1
1.288 * [taylor]: Taking taylor expansion of z in z
1.288 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify 1 into 1
1.288 * [backup-simplify]: Simplify (/ -1 1) into -1
1.288 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in y
1.289 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z)))
1.289 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in y
1.289 * [taylor]: Taking taylor expansion of 3 in y
1.289 * [backup-simplify]: Simplify 3 into 3
1.289 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.289 * [taylor]: Taking taylor expansion of -1 in y
1.289 * [backup-simplify]: Simplify -1 into -1
1.289 * [taylor]: Taking taylor expansion of x in y
1.289 * [backup-simplify]: Simplify x into x
1.289 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.289 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in y
1.289 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z))
1.289 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y
1.289 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.289 * [taylor]: Taking taylor expansion of -1 in y
1.289 * [backup-simplify]: Simplify -1 into -1
1.289 * [taylor]: Taking taylor expansion of y in y
1.289 * [backup-simplify]: Simplify 0 into 0
1.289 * [backup-simplify]: Simplify 1 into 1
1.290 * [backup-simplify]: Simplify (/ -1 1) into -1
1.290 * [taylor]: Taking taylor expansion of 2 in y
1.290 * [backup-simplify]: Simplify 2 into 2
1.290 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.290 * [taylor]: Taking taylor expansion of -1 in y
1.290 * [backup-simplify]: Simplify -1 into -1
1.290 * [taylor]: Taking taylor expansion of z in y
1.290 * [backup-simplify]: Simplify z into z
1.290 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
1.290 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in x
1.290 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z)))
1.290 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x
1.290 * [taylor]: Taking taylor expansion of 3 in x
1.290 * [backup-simplify]: Simplify 3 into 3
1.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.290 * [taylor]: Taking taylor expansion of -1 in x
1.291 * [backup-simplify]: Simplify -1 into -1
1.291 * [taylor]: Taking taylor expansion of x in x
1.291 * [backup-simplify]: Simplify 0 into 0
1.291 * [backup-simplify]: Simplify 1 into 1
1.291 * [backup-simplify]: Simplify (/ -1 1) into -1
1.291 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x
1.291 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z))
1.291 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x
1.291 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.291 * [taylor]: Taking taylor expansion of -1 in x
1.291 * [backup-simplify]: Simplify -1 into -1
1.291 * [taylor]: Taking taylor expansion of y in x
1.291 * [backup-simplify]: Simplify y into y
1.291 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.292 * [taylor]: Taking taylor expansion of 2 in x
1.292 * [backup-simplify]: Simplify 2 into 2
1.292 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.292 * [taylor]: Taking taylor expansion of -1 in x
1.292 * [backup-simplify]: Simplify -1 into -1
1.292 * [taylor]: Taking taylor expansion of z in x
1.292 * [backup-simplify]: Simplify z into z
1.292 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
1.292 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (fma (/ -1 y) 2 (/ -1 z))) in x
1.292 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (fma (/ -1 y) 2 (/ -1 z)))
1.292 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x
1.292 * [taylor]: Taking taylor expansion of 3 in x
1.292 * [backup-simplify]: Simplify 3 into 3
1.292 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.292 * [taylor]: Taking taylor expansion of -1 in x
1.292 * [backup-simplify]: Simplify -1 into -1
1.292 * [taylor]: Taking taylor expansion of x in x
1.292 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify 1 into 1
1.293 * [backup-simplify]: Simplify (/ -1 1) into -1
1.293 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x
1.293 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z))
1.293 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x
1.293 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.293 * [taylor]: Taking taylor expansion of -1 in x
1.293 * [backup-simplify]: Simplify -1 into -1
1.293 * [taylor]: Taking taylor expansion of y in x
1.293 * [backup-simplify]: Simplify y into y
1.293 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.293 * [taylor]: Taking taylor expansion of 2 in x
1.293 * [backup-simplify]: Simplify 2 into 2
1.293 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.293 * [taylor]: Taking taylor expansion of -1 in x
1.293 * [backup-simplify]: Simplify -1 into -1
1.294 * [taylor]: Taking taylor expansion of z in x
1.294 * [backup-simplify]: Simplify z into z
1.294 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
1.294 * [backup-simplify]: Simplify (* 3 -1) into -3
1.295 * [backup-simplify]: Simplify (+ -3 0) into -3
1.295 * [taylor]: Taking taylor expansion of -3 in y
1.295 * [backup-simplify]: Simplify -3 into -3
1.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.297 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0
1.297 * [backup-simplify]: Simplify (* (/ -1 y) 2) into (/ -2 y)
1.297 * [backup-simplify]: Simplify (+ (/ -2 y) (/ -1 z)) into (- (+ (/ 1 z) (* 2 (/ 1 y))))
1.297 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 z) (* 2 (/ 1 y))))) into (- (+ (* 2 (/ 1 y)) (/ 1 z)))
1.297 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 z))) in y
1.297 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 z)) in y
1.297 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.297 * [taylor]: Taking taylor expansion of 2 in y
1.297 * [backup-simplify]: Simplify 2 into 2
1.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.297 * [taylor]: Taking taylor expansion of y in y
1.297 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 1 into 1
1.298 * [backup-simplify]: Simplify (/ 1 1) into 1
1.298 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.298 * [taylor]: Taking taylor expansion of z in y
1.298 * [backup-simplify]: Simplify z into z
1.298 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.298 * [backup-simplify]: Simplify (* 2 1) into 2
1.299 * [backup-simplify]: Simplify (+ 2 0) into 2
1.299 * [backup-simplify]: Simplify (- 2) into -2
1.299 * [taylor]: Taking taylor expansion of -2 in z
1.299 * [backup-simplify]: Simplify -2 into -2
1.299 * [taylor]: Taking taylor expansion of -3 in z
1.299 * [backup-simplify]: Simplify -3 into -3
1.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.301 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0
1.302 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.305 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 2)) into 0
1.305 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
1.305 * [backup-simplify]: Simplify (+ 0 0) into 0
1.306 * [backup-simplify]: Simplify (+ 0 0) into 0
1.306 * [taylor]: Taking taylor expansion of 0 in y
1.306 * [backup-simplify]: Simplify 0 into 0
1.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.307 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.307 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.307 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.307 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.308 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.308 * [taylor]: Taking taylor expansion of z in z
1.308 * [backup-simplify]: Simplify 0 into 0
1.308 * [backup-simplify]: Simplify 1 into 1
1.308 * [backup-simplify]: Simplify (/ 1 1) into 1
1.308 * [backup-simplify]: Simplify (- 1) into -1
1.308 * [backup-simplify]: Simplify -1 into -1
1.308 * [taylor]: Taking taylor expansion of 0 in z
1.308 * [backup-simplify]: Simplify 0 into 0
1.308 * [backup-simplify]: Simplify -2 into -2
1.309 * [backup-simplify]: Simplify -3 into -3
1.309 * [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)))
1.309 * * * [progress]: simplifying candidates
1.310 * [simplify]: Simplifying:
  (expm1 (fma 3 x (fma y 2 z)))
  (log1p (fma 3 x (fma y 2 z)))
  (* 3 x)
  (log (fma 3 x (fma y 2 z)))
  (exp (fma 3 x (fma y 2 z)))
  (* (cbrt (fma 3 x (fma y 2 z))) (cbrt (fma 3 x (fma y 2 z))))
  (cbrt (fma 3 x (fma y 2 z)))
  (* (* (fma 3 x (fma y 2 z)) (fma 3 x (fma y 2 z))) (fma 3 x (fma y 2 z)))
  (sqrt (fma 3 x (fma y 2 z)))
  (sqrt (fma 3 x (fma y 2 z)))
  (+ (* 3 x) (+ z (* 2 y)))
  (+ (* 3 x) (+ z (* 2 y)))
  (+ (* 3 x) (+ z (* 2 y)))
1.316 * * [simplify]: iteration 0: 20 enodes
1.326 * * [simplify]: iteration 1: 30 enodes
1.340 * * [simplify]: iteration 2: 83 enodes
1.720 * * [simplify]: iteration 3: 423 enodes
5.238 * * [simplify]: iteration 4: 2916 enodes
12.626 * * [simplify]: iteration complete: 5000 enodes
12.626 * * [simplify]: Extracting #0: cost 10 inf + 0
12.627 * * [simplify]: Extracting #1: cost 52 inf + 0
12.630 * * [simplify]: Extracting #2: cost 399 inf + 247
12.658 * * [simplify]: Extracting #3: cost 417 inf + 33582
12.953 * * [simplify]: Extracting #4: cost 16 inf + 120900
13.252 * * [simplify]: Extracting #5: cost 0 inf + 124634
13.541 * [simplify]: Simplified to:
  (expm1 (fma y 2 (fma 3 x z)))
  (log1p (fma y 2 (fma 3 x z)))
  (* x 3)
  (log (fma y 2 (fma 3 x z)))
  (exp (fma y 2 (fma 3 x z)))
  (* (cbrt (fma y 2 (fma 3 x z))) (cbrt (fma y 2 (fma 3 x z))))
  (cbrt (fma y 2 (fma 3 x z)))
  (* (* (fma y 2 (fma 3 x z)) (fma y 2 (fma 3 x z))) (fma y 2 (fma 3 x z)))
  (sqrt (fma y 2 (fma 3 x z)))
  (sqrt (fma y 2 (fma 3 x z)))
  (fma y 2 (fma 3 x z))
  (fma y 2 (fma 3 x z))
  (fma y 2 (fma 3 x z))
13.544 * * * [progress]: adding candidates to table
13.813 * [progress]: [Phase 3 of 3] Extracting.
13.821 * [simplify]: Simplifying:
  (fma 3 x (fma y 2 z))
13.822 * * [simplify]: iteration 0: 7 enodes
13.822 * * [simplify]: iteration complete: 7 enodes
13.822 * * [simplify]: Extracting #0: cost 1 inf + 0
13.822 * * [simplify]: Extracting #1: cost 4 inf + 0
13.822 * * [simplify]: Extracting #2: cost 5 inf + 2
13.822 * * [simplify]: Extracting #3: cost 2 inf + 5
13.823 * * [simplify]: Extracting #4: cost 0 inf + 178
13.823 * [simplify]: Simplified to:
  (fma 3 x (fma y 2 z))
16.431 * [regime-testing]: Baseline error score: 0.001375171896487061
16.451 * [regime-testing]: Oracle error score: 0.001375171896487061
16.486 * [regime-testing]: End program error score: 0.001375171896487061