0.614 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.119 * * * [progress]: [2/2] Setting up program.
0.127 * [progress]: [Phase 2 of 3] Improving.
0.131 * [simplify]: Simplifying:
  (+ x (* y (- z x)))
0.133 * * [simplify]: Extracting # 0 : cost  0
0.133 * * [simplify]: Extracting # 1 : cost  0
0.133 * * [simplify]: Extracting # 2 : cost  0
0.134 * * [simplify]: Extracting # 3 : cost  0
0.134 * * [simplify]: Extracting # 4 : cost  0
0.134 * * [simplify]: Extracting # 5 : cost  0
0.134 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.141 * * [simplify]: Extracting # 0 : cost  0
0.141 * * [simplify]: Extracting # 1 : cost  0
0.141 * * [simplify]: Extracting # 2 : cost  0
0.141 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.146 * * [simplify]: Extracting # 0 : cost  0
0.146 * * [simplify]: Extracting # 1 : cost  0
0.146 * * [simplify]: Extracting # 2 : cost  0
0.146 * * [simplify]: iteration  2 :  19  enodes  (cost  6 )
0.155 * * [simplify]: Extracting # 0 : cost  0
0.155 * * [simplify]: Extracting # 1 : cost  0
0.155 * * [simplify]: Extracting # 2 : cost  0
0.155 * * [simplify]: iteration  3 :  35  enodes  (cost  6 )
0.167 * * [simplify]: Extracting # 0 : cost  0
0.168 * * [simplify]: Extracting # 1 : cost  0
0.168 * * [simplify]: Extracting # 2 : cost  0
0.168 * * [simplify]: iteration  4 :  60  enodes  (cost  6 )
0.191 * * [simplify]: Extracting # 0 : cost  0
0.192 * * [simplify]: Extracting # 1 : cost  0
0.192 * * [simplify]: Extracting # 2 : cost  0
0.192 * * [simplify]: Extracting # 3 : cost  0
0.192 * * [simplify]: iteration  5 :  86  enodes  (cost  6 )
0.261 * * [simplify]: Extracting # 0 : cost  0
0.261 * * [simplify]: Extracting # 1 : cost  0
0.261 * * [simplify]: Extracting # 2 : cost  0
0.261 * * [simplify]: iteration  6 :  100  enodes  (cost  6 )
0.284 * * [simplify]: Extracting # 0 : cost  0
0.285 * * [simplify]: Extracting # 1 : cost  0
0.285 * * [simplify]: Extracting # 2 : cost  0
0.285 * * [simplify]: Extracting # 3 : cost  0
0.285 * * [simplify]: iteration  7 :  121  enodes  (cost  6 )
0.343 * * [simplify]: Extracting # 0 : cost  0
0.343 * * [simplify]: Extracting # 1 : cost  0
0.344 * * [simplify]: Extracting # 2 : cost  0
0.344 * * [simplify]: iteration  8 :  275  enodes  (cost  6 )
0.523 * * [simplify]: Extracting # 0 : cost  0
0.525 * * [simplify]: Extracting # 1 : cost  0
0.527 * * [simplify]: Extracting # 2 : cost  0
0.529 * * [simplify]: iteration  9 :  820  enodes  (cost  6 )
3.388 * * [simplify]: Extracting # 0 : cost  0
3.393 * * [simplify]: Extracting # 1 : cost  0
3.399 * * [simplify]: Extracting # 2 : cost  0
3.405 * * [simplify]: Extracting # 3 : cost  0
3.411 * * [simplify]: iteration  10 :  3984  enodes  (cost  6 )
5.173 * * [simplify]: Extracting # 0 : cost  0
5.181 * * [simplify]: Extracting # 1 : cost  0
5.194 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
5.194 * [simplify]: Simplified to:
  (fma (- z x) y x)
5.205 * * [progress]: iteration 1 / 4
5.205 * * * [progress]: picking best candidate
5.210 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- z x) y x))>
5.210 * * * [progress]: localizing error
5.225 * * * [progress]: generating rewritten candidates
5.225 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.231 * * * [progress]: generating series expansions
5.231 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.236 * [backup-simplify]: Simplify (fma (- z x) y x) into (fma (- z x) y x)
5.236 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0
5.238 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y
5.240 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
5.240 * [taylor]: Taking taylor expansion of (* (- z x) y) in y
5.240 * [taylor]: Taking taylor expansion of (- z x) in y
5.240 * [taylor]: Taking taylor expansion of z in y
5.240 * [backup-simplify]: Simplify z into z
5.240 * [taylor]: Taking taylor expansion of x in y
5.240 * [backup-simplify]: Simplify x into x
5.240 * [taylor]: Taking taylor expansion of y in y
5.240 * [backup-simplify]: Simplify 0 into 0
5.240 * [backup-simplify]: Simplify 1 into 1
5.240 * [taylor]: Taking taylor expansion of x in y
5.240 * [backup-simplify]: Simplify x into x
5.241 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x
5.241 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
5.241 * [taylor]: Taking taylor expansion of (* (- z x) y) in x
5.241 * [taylor]: Taking taylor expansion of (- z x) in x
5.241 * [taylor]: Taking taylor expansion of z in x
5.241 * [backup-simplify]: Simplify z into z
5.241 * [taylor]: Taking taylor expansion of x in x
5.241 * [backup-simplify]: Simplify 0 into 0
5.241 * [backup-simplify]: Simplify 1 into 1
5.241 * [taylor]: Taking taylor expansion of y in x
5.241 * [backup-simplify]: Simplify y into y
5.241 * [taylor]: Taking taylor expansion of x in x
5.241 * [backup-simplify]: Simplify 0 into 0
5.241 * [backup-simplify]: Simplify 1 into 1
5.241 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
5.241 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
5.241 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
5.242 * [taylor]: Taking taylor expansion of (- z x) in z
5.242 * [taylor]: Taking taylor expansion of z in z
5.242 * [backup-simplify]: Simplify 0 into 0
5.242 * [backup-simplify]: Simplify 1 into 1
5.242 * [taylor]: Taking taylor expansion of x in z
5.242 * [backup-simplify]: Simplify x into x
5.242 * [taylor]: Taking taylor expansion of y in z
5.242 * [backup-simplify]: Simplify y into y
5.242 * [taylor]: Taking taylor expansion of x in z
5.242 * [backup-simplify]: Simplify x into x
5.242 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
5.242 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
5.242 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
5.242 * [taylor]: Taking taylor expansion of (- z x) in z
5.242 * [taylor]: Taking taylor expansion of z in z
5.242 * [backup-simplify]: Simplify 0 into 0
5.242 * [backup-simplify]: Simplify 1 into 1
5.242 * [taylor]: Taking taylor expansion of x in z
5.242 * [backup-simplify]: Simplify x into x
5.242 * [taylor]: Taking taylor expansion of y in z
5.242 * [backup-simplify]: Simplify y into y
5.242 * [taylor]: Taking taylor expansion of x in z
5.242 * [backup-simplify]: Simplify x into x
5.243 * [backup-simplify]: Simplify (- x) into (- x)
5.243 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
5.245 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
5.246 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
5.246 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
5.246 * [taylor]: Taking taylor expansion of x in x
5.246 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify 1 into 1
5.246 * [taylor]: Taking taylor expansion of (* x y) in x
5.246 * [taylor]: Taking taylor expansion of x in x
5.246 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify 1 into 1
5.246 * [taylor]: Taking taylor expansion of y in x
5.246 * [backup-simplify]: Simplify y into y
5.246 * [backup-simplify]: Simplify (* 0 y) into 0
5.247 * [backup-simplify]: Simplify (- 0) into 0
5.247 * [backup-simplify]: Simplify (+ 0 0) into 0
5.247 * [taylor]: Taking taylor expansion of 0 in y
5.247 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify (- 0) into 0
5.249 * [backup-simplify]: Simplify (+ 1 0) into 1
5.249 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
5.249 * [backup-simplify]: Simplify (+ y 0) into y
5.249 * [taylor]: Taking taylor expansion of y in x
5.249 * [backup-simplify]: Simplify y into y
5.249 * [taylor]: Taking taylor expansion of y in y
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify 1 into 1
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.249 * [backup-simplify]: Simplify (- y) into (- y)
5.250 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
5.250 * [taylor]: Taking taylor expansion of (- 1 y) in y
5.250 * [taylor]: Taking taylor expansion of 1 in y
5.250 * [backup-simplify]: Simplify 1 into 1
5.250 * [taylor]: Taking taylor expansion of y in y
5.250 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify 1 into 1
5.250 * [backup-simplify]: Simplify (- 0) into 0
5.250 * [backup-simplify]: Simplify (+ 1 0) into 1
5.251 * [backup-simplify]: Simplify 1 into 1
5.251 * [backup-simplify]: Simplify 0 into 0
5.251 * [backup-simplify]: Simplify (- 0) into 0
5.252 * [backup-simplify]: Simplify (+ 0 0) into 0
5.252 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0
5.252 * [backup-simplify]: Simplify (+ 0 0) into 0
5.253 * [taylor]: Taking taylor expansion of 0 in x
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [taylor]: Taking taylor expansion of 0 in y
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [taylor]: Taking taylor expansion of 0 in y
5.253 * [backup-simplify]: Simplify 0 into 0
5.253 * [backup-simplify]: Simplify 0 into 0
5.254 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.254 * [backup-simplify]: Simplify (- 0) into 0
5.254 * [backup-simplify]: Simplify (+ 0 0) into 0
5.254 * [taylor]: Taking taylor expansion of 0 in y
5.254 * [backup-simplify]: Simplify 0 into 0
5.254 * [backup-simplify]: Simplify 0 into 0
5.254 * [backup-simplify]: Simplify 1 into 1
5.255 * [backup-simplify]: Simplify (- 1) into -1
5.255 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.255 * [backup-simplify]: Simplify -1 into -1
5.256 * [backup-simplify]: Simplify (+ (* -1 (* y (* x 1))) (+ (* 1 (* y (* 1 z))) (* 1 (* 1 (* x 1))))) into (- (+ (* z y) x) (* x y))
5.257 * [backup-simplify]: Simplify (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) into (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))
5.257 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0
5.257 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y
5.257 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
5.257 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y
5.257 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.257 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.257 * [taylor]: Taking taylor expansion of z in y
5.257 * [backup-simplify]: Simplify z into z
5.257 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.257 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.257 * [taylor]: Taking taylor expansion of x in y
5.257 * [backup-simplify]: Simplify x into x
5.257 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.257 * [taylor]: Taking taylor expansion of y in y
5.257 * [backup-simplify]: Simplify 0 into 0
5.257 * [backup-simplify]: Simplify 1 into 1
5.258 * [backup-simplify]: Simplify (/ 1 1) into 1
5.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.258 * [taylor]: Taking taylor expansion of x in y
5.258 * [backup-simplify]: Simplify x into x
5.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.258 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x
5.258 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
5.258 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x
5.258 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.258 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.258 * [taylor]: Taking taylor expansion of z in x
5.258 * [backup-simplify]: Simplify z into z
5.258 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.259 * [taylor]: Taking taylor expansion of x in x
5.259 * [backup-simplify]: Simplify 0 into 0
5.259 * [backup-simplify]: Simplify 1 into 1
5.259 * [backup-simplify]: Simplify (/ 1 1) into 1
5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.259 * [taylor]: Taking taylor expansion of y in x
5.259 * [backup-simplify]: Simplify y into y
5.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.259 * [taylor]: Taking taylor expansion of x in x
5.259 * [backup-simplify]: Simplify 0 into 0
5.259 * [backup-simplify]: Simplify 1 into 1
5.260 * [backup-simplify]: Simplify (/ 1 1) into 1
5.260 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
5.260 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
5.260 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
5.260 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.260 * [taylor]: Taking taylor expansion of z in z
5.260 * [backup-simplify]: Simplify 0 into 0
5.260 * [backup-simplify]: Simplify 1 into 1
5.260 * [backup-simplify]: Simplify (/ 1 1) into 1
5.260 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.260 * [taylor]: Taking taylor expansion of x in z
5.260 * [backup-simplify]: Simplify x into x
5.261 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.261 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.261 * [taylor]: Taking taylor expansion of y in z
5.261 * [backup-simplify]: Simplify y into y
5.261 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.261 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.261 * [taylor]: Taking taylor expansion of x in z
5.261 * [backup-simplify]: Simplify x into x
5.261 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.261 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
5.261 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
5.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
5.261 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.261 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.261 * [taylor]: Taking taylor expansion of z in z
5.261 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify 1 into 1
5.262 * [backup-simplify]: Simplify (/ 1 1) into 1
5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.262 * [taylor]: Taking taylor expansion of x in z
5.262 * [backup-simplify]: Simplify x into x
5.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.262 * [taylor]: Taking taylor expansion of y in z
5.262 * [backup-simplify]: Simplify y into y
5.262 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.262 * [taylor]: Taking taylor expansion of x in z
5.262 * [backup-simplify]: Simplify x into x
5.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.263 * [backup-simplify]: Simplify (+ 1 0) into 1
5.263 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
5.263 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.263 * [taylor]: Taking taylor expansion of y in x
5.263 * [backup-simplify]: Simplify y into y
5.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.263 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.264 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.264 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
5.265 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y)))
5.265 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y)))
5.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x
5.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.265 * [taylor]: Taking taylor expansion of x in x
5.265 * [backup-simplify]: Simplify 0 into 0
5.265 * [backup-simplify]: Simplify 1 into 1
5.266 * [backup-simplify]: Simplify (/ 1 1) into 1
5.266 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.266 * [taylor]: Taking taylor expansion of (* x y) in x
5.266 * [taylor]: Taking taylor expansion of x in x
5.266 * [backup-simplify]: Simplify 0 into 0
5.266 * [backup-simplify]: Simplify 1 into 1
5.266 * [taylor]: Taking taylor expansion of y in x
5.266 * [backup-simplify]: Simplify y into y
5.266 * [backup-simplify]: Simplify (* 0 y) into 0
5.266 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.266 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.266 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.267 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
5.267 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
5.267 * [taylor]: Taking taylor expansion of 1 in y
5.267 * [backup-simplify]: Simplify 1 into 1
5.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.267 * [taylor]: Taking taylor expansion of y in y
5.267 * [backup-simplify]: Simplify 0 into 0
5.267 * [backup-simplify]: Simplify 1 into 1
5.267 * [backup-simplify]: Simplify (/ 1 1) into 1
5.267 * [backup-simplify]: Simplify (- 1) into -1
5.268 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.268 * [backup-simplify]: Simplify -1 into -1
5.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.268 * [taylor]: Taking taylor expansion of y in y
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.269 * [backup-simplify]: Simplify (/ 1 1) into 1
5.269 * [backup-simplify]: Simplify 1 into 1
5.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.270 * [backup-simplify]: Simplify (- 0) into 0
5.271 * [backup-simplify]: Simplify (+ 0 0) into 0
5.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0
5.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.272 * [backup-simplify]: Simplify (+ 0 0) into 0
5.272 * [taylor]: Taking taylor expansion of 0 in x
5.272 * [backup-simplify]: Simplify 0 into 0
5.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.273 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.274 * [backup-simplify]: Simplify (- 0) into 0
5.274 * [backup-simplify]: Simplify (+ 0 0) into 0
5.274 * [taylor]: Taking taylor expansion of 0 in y
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.274 * [taylor]: Taking taylor expansion of 0 in y
5.274 * [backup-simplify]: Simplify 0 into 0
5.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.276 * [backup-simplify]: Simplify (- 0) into 0
5.276 * [backup-simplify]: Simplify (+ 1 0) into 1
5.276 * [backup-simplify]: Simplify 1 into 1
5.277 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ (* z y) x) (* x y))
5.277 * [backup-simplify]: Simplify (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))
5.277 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0
5.277 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y
5.277 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
5.277 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y
5.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.277 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.277 * [taylor]: Taking taylor expansion of x in y
5.277 * [backup-simplify]: Simplify x into x
5.278 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.278 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.278 * [taylor]: Taking taylor expansion of z in y
5.278 * [backup-simplify]: Simplify z into z
5.278 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.278 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.278 * [taylor]: Taking taylor expansion of -1 in y
5.278 * [backup-simplify]: Simplify -1 into -1
5.278 * [taylor]: Taking taylor expansion of y in y
5.278 * [backup-simplify]: Simplify 0 into 0
5.278 * [backup-simplify]: Simplify 1 into 1
5.279 * [backup-simplify]: Simplify (/ -1 1) into -1
5.279 * [taylor]: Taking taylor expansion of (/ -1 x) in y
5.279 * [taylor]: Taking taylor expansion of -1 in y
5.279 * [backup-simplify]: Simplify -1 into -1
5.279 * [taylor]: Taking taylor expansion of x in y
5.279 * [backup-simplify]: Simplify x into x
5.279 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
5.279 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x
5.279 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
5.279 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x
5.279 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.279 * [taylor]: Taking taylor expansion of x in x
5.279 * [backup-simplify]: Simplify 0 into 0
5.279 * [backup-simplify]: Simplify 1 into 1
5.280 * [backup-simplify]: Simplify (/ 1 1) into 1
5.280 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.280 * [taylor]: Taking taylor expansion of z in x
5.280 * [backup-simplify]: Simplify z into z
5.280 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.280 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.280 * [taylor]: Taking taylor expansion of -1 in x
5.280 * [backup-simplify]: Simplify -1 into -1
5.280 * [taylor]: Taking taylor expansion of y in x
5.280 * [backup-simplify]: Simplify y into y
5.280 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.280 * [taylor]: Taking taylor expansion of -1 in x
5.280 * [backup-simplify]: Simplify -1 into -1
5.280 * [taylor]: Taking taylor expansion of x in x
5.280 * [backup-simplify]: Simplify 0 into 0
5.280 * [backup-simplify]: Simplify 1 into 1
5.281 * [backup-simplify]: Simplify (/ -1 1) into -1
5.281 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
5.281 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
5.281 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
5.281 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.281 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.281 * [taylor]: Taking taylor expansion of x in z
5.281 * [backup-simplify]: Simplify x into x
5.281 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.281 * [taylor]: Taking taylor expansion of z in z
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify 1 into 1
5.281 * [backup-simplify]: Simplify (/ 1 1) into 1
5.282 * [taylor]: Taking taylor expansion of (/ -1 y) in z
5.282 * [taylor]: Taking taylor expansion of -1 in z
5.282 * [backup-simplify]: Simplify -1 into -1
5.282 * [taylor]: Taking taylor expansion of y in z
5.282 * [backup-simplify]: Simplify y into y
5.282 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.282 * [taylor]: Taking taylor expansion of (/ -1 x) in z
5.282 * [taylor]: Taking taylor expansion of -1 in z
5.282 * [backup-simplify]: Simplify -1 into -1
5.282 * [taylor]: Taking taylor expansion of x in z
5.282 * [backup-simplify]: Simplify x into x
5.282 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
5.282 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
5.282 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
5.282 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
5.282 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.282 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.282 * [taylor]: Taking taylor expansion of x in z
5.282 * [backup-simplify]: Simplify x into x
5.282 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.282 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.282 * [taylor]: Taking taylor expansion of z in z
5.282 * [backup-simplify]: Simplify 0 into 0
5.282 * [backup-simplify]: Simplify 1 into 1
5.283 * [backup-simplify]: Simplify (/ 1 1) into 1
5.283 * [taylor]: Taking taylor expansion of (/ -1 y) in z
5.283 * [taylor]: Taking taylor expansion of -1 in z
5.283 * [backup-simplify]: Simplify -1 into -1
5.283 * [taylor]: Taking taylor expansion of y in z
5.283 * [backup-simplify]: Simplify y into y
5.283 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.283 * [taylor]: Taking taylor expansion of (/ -1 x) in z
5.283 * [taylor]: Taking taylor expansion of -1 in z
5.283 * [backup-simplify]: Simplify -1 into -1
5.283 * [taylor]: Taking taylor expansion of x in z
5.283 * [backup-simplify]: Simplify x into x
5.283 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
5.284 * [backup-simplify]: Simplify (- 1) into -1
5.285 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.285 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
5.285 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.285 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.285 * [taylor]: Taking taylor expansion of y in x
5.285 * [backup-simplify]: Simplify y into y
5.285 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.285 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
5.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.286 * [backup-simplify]: Simplify (- 0) into 0
5.286 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
5.287 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y)))
5.287 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 x) (/ 1 (* x y))))
5.287 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x
5.287 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
5.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.287 * [taylor]: Taking taylor expansion of x in x
5.287 * [backup-simplify]: Simplify 0 into 0
5.287 * [backup-simplify]: Simplify 1 into 1
5.288 * [backup-simplify]: Simplify (/ 1 1) into 1
5.288 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.288 * [taylor]: Taking taylor expansion of (* x y) in x
5.288 * [taylor]: Taking taylor expansion of x in x
5.288 * [backup-simplify]: Simplify 0 into 0
5.288 * [backup-simplify]: Simplify 1 into 1
5.288 * [taylor]: Taking taylor expansion of y in x
5.288 * [backup-simplify]: Simplify y into y
5.288 * [backup-simplify]: Simplify (* 0 y) into 0
5.288 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.288 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.289 * [backup-simplify]: Simplify (+ 1 (/ 1 y)) into (+ (/ 1 y) 1)
5.289 * [backup-simplify]: Simplify (- (+ (/ 1 y) 1)) into (- (+ (/ 1 y) 1))
5.289 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y
5.289 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
5.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.289 * [taylor]: Taking taylor expansion of y in y
5.289 * [backup-simplify]: Simplify 0 into 0
5.289 * [backup-simplify]: Simplify 1 into 1
5.289 * [backup-simplify]: Simplify (/ 1 1) into 1
5.289 * [taylor]: Taking taylor expansion of 1 in y
5.289 * [backup-simplify]: Simplify 1 into 1
5.290 * [backup-simplify]: Simplify (+ 1 0) into 1
5.290 * [backup-simplify]: Simplify (- 1) into -1
5.290 * [backup-simplify]: Simplify -1 into -1
5.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.290 * [taylor]: Taking taylor expansion of y in y
5.290 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify 1 into 1
5.291 * [backup-simplify]: Simplify (/ 1 1) into 1
5.291 * [backup-simplify]: Simplify 1 into 1
5.291 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.292 * [backup-simplify]: Simplify (- 0) into 0
5.293 * [backup-simplify]: Simplify (+ 0 0) into 0
5.293 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0
5.293 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
5.294 * [backup-simplify]: Simplify (+ 0 0) into 0
5.294 * [taylor]: Taking taylor expansion of 0 in x
5.294 * [backup-simplify]: Simplify 0 into 0
5.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.296 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.296 * [backup-simplify]: Simplify (+ 0 0) into 0
5.296 * [backup-simplify]: Simplify (- 0) into 0
5.296 * [taylor]: Taking taylor expansion of 0 in y
5.296 * [backup-simplify]: Simplify 0 into 0
5.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.297 * [taylor]: Taking taylor expansion of 0 in y
5.297 * [backup-simplify]: Simplify 0 into 0
5.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.298 * [backup-simplify]: Simplify (+ 0 1) into 1
5.299 * [backup-simplify]: Simplify (- 1) into -1
5.299 * [backup-simplify]: Simplify -1 into -1
5.299 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ (* z y) x) (* x y))
5.299 * * * [progress]: simplifying candidates
5.301 * [simplify]: Simplifying:
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  (* (- z x) y)
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
5.301 * * [simplify]: Extracting # 0 : cost  0
5.301 * * [simplify]: Extracting # 1 : cost  0
5.301 * * [simplify]: Extracting # 2 : cost  0
5.302 * * [simplify]: Extracting # 3 : cost  0
5.302 * * [simplify]: Extracting # 4 : cost  0
5.302 * * [simplify]: Extracting # 5 : cost  0
5.302 * * [simplify]: iteration  0 :  19  enodes  (cost  116 )
5.309 * * [simplify]: Extracting # 0 : cost  0
5.309 * * [simplify]: Extracting # 1 : cost  0
5.309 * * [simplify]: Extracting # 2 : cost  0
5.309 * * [simplify]: iteration  1 :  32  enodes  (cost  113 )
5.321 * * [simplify]: Extracting # 0 : cost  0
5.322 * * [simplify]: Extracting # 1 : cost  0
5.322 * * [simplify]: Extracting # 2 : cost  0
5.322 * * [simplify]: iteration  2 :  67  enodes  (cost  95 )
5.370 * * [simplify]: Extracting # 0 : cost  0
5.370 * * [simplify]: Extracting # 1 : cost  0
5.371 * * [simplify]: Extracting # 2 : cost  0
5.371 * * [simplify]: Extracting # 3 : cost  0
5.372 * * [simplify]: Extracting # 4 : cost  0
5.372 * * [simplify]: iteration  3 :  264  enodes  (cost  95 )
5.903 * * [simplify]: Extracting # 0 : cost  0
5.908 * * [simplify]: Extracting # 1 : cost  0
5.912 * * [simplify]: Extracting # 2 : cost  0
5.916 * * [simplify]: Extracting # 3 : cost  0
5.920 * * [simplify]: Extracting # 4 : cost  0
5.930 * * [simplify]: Extracting # 5 : cost  0
5.934 * * [simplify]: iteration  4 :  1906  enodes  (cost  95 )
7.500 * * [simplify]: Extracting # 0 : cost  0
7.514 * * [simplify]: Extracting # 1 : cost  0
7.524 * * [simplify]: Extracting # 2 : cost  0
7.533 * * [simplify]: Extracting # 3 : cost  0
7.548 * * [simplify]: Extracting # 4 : cost  0
7.558 * * [simplify]: iteration done:  5000  enodes  (cost  95 )
7.558 * [simplify]: Simplified to:
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  (* (- z x) y)
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (pow (fma y (- z x) x) 3)
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (fma y (- z x) x)
  (fma y (- z x) x)
  (fma y (- z x) x)
7.558 * * * [progress]: adding candidates to table
7.631 * [progress]: [Phase 3 of 3] Extracting.
7.637 * [simplify]: Simplifying:
  (fma (- z x) y x)
7.637 * * [simplify]: Extracting # 0 : cost  0
7.637 * * [simplify]: Extracting # 1 : cost  0
7.637 * * [simplify]: Extracting # 2 : cost  0
7.637 * * [simplify]: Extracting # 3 : cost  0
7.637 * * [simplify]: Extracting # 4 : cost  0
7.637 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
7.638 * * [simplify]: Extracting # 0 : cost  0
7.638 * * [simplify]: iteration done:  5  enodes  (cost  6 )
7.638 * [simplify]: Simplified to:
  (fma (- z x) y x)
9.234 * [regime-testing]: Baseline error score: 0.006500812601575197
9.238 * [regime-testing]: Oracle error score: 0.006500812601575197
9.238 * [regime-testing]: End program error score: 0.006500812601575197