32.182 * [progress]: [Phase 1 of 3] Setting up.
0.016 * * * [progress]: [1/2] Preparing points
0.149 * * * [progress]: [2/2] Setting up program.
0.162 * [progress]: [Phase 2 of 3] Improving.
0.163 * [simplify]: Simplifying:
  (+ (* x y) (* z t))
0.167 * * [simplify]: iteration 0: 7 enodes
0.170 * * [simplify]: iteration 1: 11 enodes
0.178 * * [simplify]: iteration 2: 14 enodes
0.182 * * [simplify]: iteration complete: 14 enodes
0.182 * * [simplify]: Extracting #0: cost 1 inf + 0
0.182 * * [simplify]: Extracting #1: cost 7 inf + 0
0.182 * * [simplify]: Extracting #2: cost 1 inf + 88
0.182 * * [simplify]: Extracting #3: cost 0 inf + 187
0.182 * [simplify]: Simplified to:
  (fma z t (* y x))
0.215 * * [progress]: iteration 1 / 4
0.215 * * * [progress]: picking best candidate
0.231 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma z t (* y x)))>
0.236 * * * [progress]: localizing error
0.269 * * * [progress]: generating rewritten candidates
0.269 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.270 * * * [progress]: generating series expansions
0.270 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.270 * [backup-simplify]: Simplify (fma z t (* y x)) into (fma z t (* x y))
0.270 * [approximate]: Taking taylor expansion of (fma z t (* x y)) in (z t y x) around 0
0.271 * [taylor]: Taking taylor expansion of (fma z t (* x y)) in x
0.271 * [taylor]: Rewrote expression to (+ (* z t) (* x y))
0.271 * [taylor]: Taking taylor expansion of (* z t) in x
0.275 * [taylor]: Taking taylor expansion of z in x
0.275 * [backup-simplify]: Simplify z into z
0.275 * [taylor]: Taking taylor expansion of t in x
0.275 * [backup-simplify]: Simplify t into t
0.275 * [taylor]: Taking taylor expansion of (* x y) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 1 into 1
0.275 * [taylor]: Taking taylor expansion of y in x
0.275 * [backup-simplify]: Simplify y into y
0.275 * [taylor]: Taking taylor expansion of (fma z t (* x y)) in y
0.275 * [taylor]: Rewrote expression to (+ (* z t) (* x y))
0.275 * [taylor]: Taking taylor expansion of (* z t) in y
0.275 * [taylor]: Taking taylor expansion of z in y
0.275 * [backup-simplify]: Simplify z into z
0.276 * [taylor]: Taking taylor expansion of t in y
0.276 * [backup-simplify]: Simplify t into t
0.276 * [taylor]: Taking taylor expansion of (* x y) in y
0.276 * [taylor]: Taking taylor expansion of x in y
0.276 * [backup-simplify]: Simplify x into x
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 1 into 1
0.276 * [taylor]: Taking taylor expansion of (fma z t (* x y)) in t
0.276 * [taylor]: Rewrote expression to (+ (* z t) (* x y))
0.276 * [taylor]: Taking taylor expansion of (* z t) in t
0.276 * [taylor]: Taking taylor expansion of z in t
0.276 * [backup-simplify]: Simplify z into z
0.276 * [taylor]: Taking taylor expansion of t in t
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 1 into 1
0.276 * [taylor]: Taking taylor expansion of (* x y) in t
0.276 * [taylor]: Taking taylor expansion of x in t
0.276 * [backup-simplify]: Simplify x into x
0.276 * [taylor]: Taking taylor expansion of y in t
0.276 * [backup-simplify]: Simplify y into y
0.276 * [taylor]: Taking taylor expansion of (fma z t (* x y)) in z
0.276 * [taylor]: Rewrote expression to (+ (* z t) (* x y))
0.276 * [taylor]: Taking taylor expansion of (* z t) in z
0.276 * [taylor]: Taking taylor expansion of z in z
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 1 into 1
0.276 * [taylor]: Taking taylor expansion of t in z
0.277 * [backup-simplify]: Simplify t into t
0.277 * [taylor]: Taking taylor expansion of (* x y) in z
0.277 * [taylor]: Taking taylor expansion of x in z
0.277 * [backup-simplify]: Simplify x into x
0.277 * [taylor]: Taking taylor expansion of y in z
0.277 * [backup-simplify]: Simplify y into y
0.277 * [taylor]: Taking taylor expansion of (fma z t (* x y)) in z
0.277 * [taylor]: Rewrote expression to (+ (* z t) (* x y))
0.277 * [taylor]: Taking taylor expansion of (* z t) in z
0.277 * [taylor]: Taking taylor expansion of z in z
0.277 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify 1 into 1
0.277 * [taylor]: Taking taylor expansion of t in z
0.277 * [backup-simplify]: Simplify t into t
0.277 * [taylor]: Taking taylor expansion of (* x y) in z
0.277 * [taylor]: Taking taylor expansion of x in z
0.277 * [backup-simplify]: Simplify x into x
0.277 * [taylor]: Taking taylor expansion of y in z
0.277 * [backup-simplify]: Simplify y into y
0.277 * [backup-simplify]: Simplify (* 0 t) into 0
0.277 * [backup-simplify]: Simplify (* x y) into (* x y)
0.277 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y)
0.277 * [taylor]: Taking taylor expansion of (* x y) in t
0.277 * [taylor]: Taking taylor expansion of x in t
0.277 * [backup-simplify]: Simplify x into x
0.277 * [taylor]: Taking taylor expansion of y in t
0.278 * [backup-simplify]: Simplify y into y
0.278 * [backup-simplify]: Simplify (* x y) into (* x y)
0.278 * [taylor]: Taking taylor expansion of (* x y) in y
0.278 * [taylor]: Taking taylor expansion of x in y
0.278 * [backup-simplify]: Simplify x into x
0.278 * [taylor]: Taking taylor expansion of y in y
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 1 into 1
0.278 * [backup-simplify]: Simplify (* x 0) into 0
0.278 * [taylor]: Taking taylor expansion of 0 in x
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 t)) into t
0.279 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.279 * [backup-simplify]: Simplify (+ t 0) into t
0.279 * [taylor]: Taking taylor expansion of t in t
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 1 into 1
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [taylor]: Taking taylor expansion of 0 in x
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [taylor]: Taking taylor expansion of 0 in x
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify 1 into 1
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 t))) into 0
0.281 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.282 * [backup-simplify]: Simplify (+ 0 0) into 0
0.282 * [taylor]: Taking taylor expansion of 0 in t
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [taylor]: Taking taylor expansion of 0 in y
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [taylor]: Taking taylor expansion of 0 in x
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify (fma (/ 1 z) (/ 1 t) (* (/ 1 y) (/ 1 x))) into (fma (/ 1 z) (/ 1 t) (/ 1 (* x y)))
0.282 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (/ 1 t) (/ 1 (* x y))) in (z t y x) around 0
0.282 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 t) (/ 1 (* x y))) in x
0.282 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 t)) (/ 1 (* x y)))
0.282 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 t)) in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.282 * [taylor]: Taking taylor expansion of z in x
0.282 * [backup-simplify]: Simplify z into z
0.283 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.283 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.283 * [taylor]: Taking taylor expansion of t in x
0.283 * [backup-simplify]: Simplify t into t
0.283 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.283 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.283 * [taylor]: Taking taylor expansion of (* x y) in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.291 * [backup-simplify]: Simplify 0 into 0
0.291 * [backup-simplify]: Simplify 1 into 1
0.291 * [taylor]: Taking taylor expansion of y in x
0.291 * [backup-simplify]: Simplify y into y
0.291 * [backup-simplify]: Simplify (* 0 y) into 0
0.292 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.292 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.292 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 t) (/ 1 (* x y))) in y
0.292 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 t)) (/ 1 (* x y)))
0.292 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 t)) in y
0.292 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.292 * [taylor]: Taking taylor expansion of z in y
0.292 * [backup-simplify]: Simplify z into z
0.292 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.292 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.292 * [taylor]: Taking taylor expansion of t in y
0.292 * [backup-simplify]: Simplify t into t
0.292 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.292 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.292 * [taylor]: Taking taylor expansion of (* x y) in y
0.293 * [taylor]: Taking taylor expansion of x in y
0.293 * [backup-simplify]: Simplify x into x
0.293 * [taylor]: Taking taylor expansion of y in y
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify 1 into 1
0.293 * [backup-simplify]: Simplify (* x 0) into 0
0.293 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.293 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.293 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 t) (/ 1 (* x y))) in t
0.293 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 t)) (/ 1 (* x y)))
0.293 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 t)) in t
0.293 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.293 * [taylor]: Taking taylor expansion of z in t
0.294 * [backup-simplify]: Simplify z into z
0.294 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.294 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.294 * [taylor]: Taking taylor expansion of t in t
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify 1 into 1
0.294 * [backup-simplify]: Simplify (/ 1 1) into 1
0.294 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.294 * [taylor]: Taking taylor expansion of (* x y) in t
0.294 * [taylor]: Taking taylor expansion of x in t
0.294 * [backup-simplify]: Simplify x into x
0.294 * [taylor]: Taking taylor expansion of y in t
0.294 * [backup-simplify]: Simplify y into y
0.294 * [backup-simplify]: Simplify (* x y) into (* x y)
0.294 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.294 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 t) (/ 1 (* x y))) in z
0.295 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 t)) (/ 1 (* x y)))
0.295 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 t)) in z
0.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.295 * [taylor]: Taking taylor expansion of z in z
0.295 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify 1 into 1
0.297 * [backup-simplify]: Simplify (/ 1 1) into 1
0.297 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.297 * [taylor]: Taking taylor expansion of t in z
0.297 * [backup-simplify]: Simplify t into t
0.297 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.297 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.297 * [taylor]: Taking taylor expansion of (* x y) in z
0.297 * [taylor]: Taking taylor expansion of x in z
0.297 * [backup-simplify]: Simplify x into x
0.297 * [taylor]: Taking taylor expansion of y in z
0.297 * [backup-simplify]: Simplify y into y
0.297 * [backup-simplify]: Simplify (* x y) into (* x y)
0.297 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.297 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 t) (/ 1 (* x y))) in z
0.298 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 t)) (/ 1 (* x y)))
0.298 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 t)) in z
0.298 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.298 * [taylor]: Taking taylor expansion of z in z
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 1 into 1
0.298 * [backup-simplify]: Simplify (/ 1 1) into 1
0.298 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.298 * [taylor]: Taking taylor expansion of t in z
0.298 * [backup-simplify]: Simplify t into t
0.298 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.298 * [taylor]: Taking taylor expansion of (* x y) in z
0.298 * [taylor]: Taking taylor expansion of x in z
0.298 * [backup-simplify]: Simplify x into x
0.298 * [taylor]: Taking taylor expansion of y in z
0.298 * [backup-simplify]: Simplify y into y
0.298 * [backup-simplify]: Simplify (* x y) into (* x y)
0.299 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.299 * [backup-simplify]: Simplify (* 1 (/ 1 t)) into (/ 1 t)
0.299 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
0.299 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.299 * [taylor]: Taking taylor expansion of t in t
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [backup-simplify]: Simplify (/ 1 1) into 1
0.299 * [taylor]: Taking taylor expansion of 1 in y
0.299 * [backup-simplify]: Simplify 1 into 1
0.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
0.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.301 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 t))) into 0
0.301 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
0.301 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.301 * [taylor]: Taking taylor expansion of (* x y) in t
0.301 * [taylor]: Taking taylor expansion of x in t
0.301 * [backup-simplify]: Simplify x into x
0.301 * [taylor]: Taking taylor expansion of y in t
0.301 * [backup-simplify]: Simplify y into y
0.301 * [backup-simplify]: Simplify (* x y) into (* x y)
0.301 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.302 * [taylor]: Taking taylor expansion of 0 in y
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [taylor]: Taking taylor expansion of 1 in x
0.302 * [backup-simplify]: Simplify 1 into 1
0.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
0.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
0.313 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
0.313 * [backup-simplify]: Simplify (+ 0 0) into 0
0.313 * [taylor]: Taking taylor expansion of 0 in t
0.314 * [backup-simplify]: Simplify 0 into 0
0.314 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.314 * [taylor]: Taking taylor expansion of (* x y) in y
0.314 * [taylor]: Taking taylor expansion of x in y
0.314 * [backup-simplify]: Simplify x into x
0.314 * [taylor]: Taking taylor expansion of y in y
0.314 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify 1 into 1
0.314 * [backup-simplify]: Simplify (* x 0) into 0
0.314 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.314 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.314 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify 1 into 1
0.323 * [backup-simplify]: Simplify (/ 1 1) into 1
0.323 * [backup-simplify]: Simplify 1 into 1
0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.325 * [taylor]: Taking taylor expansion of 0 in y
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [taylor]: Taking taylor expansion of 0 in x
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [taylor]: Taking taylor expansion of 0 in x
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify 1 into 1
0.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
0.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t))))) into 0
0.328 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.328 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.329 * [backup-simplify]: Simplify (+ 0 0) into 0
0.329 * [taylor]: Taking taylor expansion of 0 in t
0.329 * [backup-simplify]: Simplify 0 into 0
0.329 * [taylor]: Taking taylor expansion of 0 in y
0.329 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
0.329 * [taylor]: Taking taylor expansion of 0 in y
0.329 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.330 * [taylor]: Taking taylor expansion of 0 in y
0.330 * [backup-simplify]: Simplify 0 into 0
0.331 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
0.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.335 * [taylor]: Taking taylor expansion of 0 in x
0.335 * [backup-simplify]: Simplify 0 into 0
0.335 * [taylor]: Taking taylor expansion of 0 in x
0.335 * [backup-simplify]: Simplify 0 into 0
0.335 * [taylor]: Taking taylor expansion of 0 in x
0.335 * [backup-simplify]: Simplify 0 into 0
0.335 * [taylor]: Taking taylor expansion of 0 in x
0.335 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
0.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 t)))))) into 0
0.348 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.348 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.348 * [backup-simplify]: Simplify (+ 0 0) into 0
0.348 * [taylor]: Taking taylor expansion of 0 in t
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [taylor]: Taking taylor expansion of 0 in y
0.348 * [backup-simplify]: Simplify 0 into 0
0.349 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.349 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [taylor]: Taking taylor expansion of 0 in x
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [taylor]: Taking taylor expansion of 0 in x
0.351 * [backup-simplify]: Simplify 0 into 0
0.351 * [taylor]: Taking taylor expansion of 0 in x
0.351 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.356 * [taylor]: Taking taylor expansion of 0 in x
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [taylor]: Taking taylor expansion of 0 in x
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [taylor]: Taking taylor expansion of 0 in x
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [taylor]: Taking taylor expansion of 0 in x
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify 0 into 0
0.357 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 t)) (/ 1 (/ 1 z)))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) (* 1 1))))) into (+ (* t z) (* x y))
0.358 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (/ 1 (- t)) (* (/ 1 (- y)) (/ 1 (- x)))) into (fma (/ -1 z) (/ -1 t) (/ 1 (* x y)))
0.358 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (/ -1 t) (/ 1 (* x y))) in (z t y x) around 0
0.358 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 t) (/ 1 (* x y))) in x
0.358 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 t)) (/ 1 (* x y)))
0.358 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 t)) in x
0.358 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.358 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [backup-simplify]: Simplify -1 into -1
0.358 * [taylor]: Taking taylor expansion of z in x
0.358 * [backup-simplify]: Simplify z into z
0.358 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.358 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.358 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [backup-simplify]: Simplify -1 into -1
0.358 * [taylor]: Taking taylor expansion of t in x
0.358 * [backup-simplify]: Simplify t into t
0.358 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t)
0.358 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.358 * [taylor]: Taking taylor expansion of (* x y) in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.358 * [backup-simplify]: Simplify 0 into 0
0.358 * [backup-simplify]: Simplify 1 into 1
0.359 * [taylor]: Taking taylor expansion of y in x
0.359 * [backup-simplify]: Simplify y into y
0.359 * [backup-simplify]: Simplify (* 0 y) into 0
0.359 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.359 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.359 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 t) (/ 1 (* x y))) in y
0.359 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 t)) (/ 1 (* x y)))
0.360 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 t)) in y
0.360 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.360 * [taylor]: Taking taylor expansion of -1 in y
0.360 * [backup-simplify]: Simplify -1 into -1
0.360 * [taylor]: Taking taylor expansion of z in y
0.360 * [backup-simplify]: Simplify z into z
0.360 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.360 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.360 * [taylor]: Taking taylor expansion of -1 in y
0.360 * [backup-simplify]: Simplify -1 into -1
0.360 * [taylor]: Taking taylor expansion of t in y
0.360 * [backup-simplify]: Simplify t into t
0.360 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t)
0.360 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.360 * [taylor]: Taking taylor expansion of (* x y) in y
0.360 * [taylor]: Taking taylor expansion of x in y
0.360 * [backup-simplify]: Simplify x into x
0.360 * [taylor]: Taking taylor expansion of y in y
0.360 * [backup-simplify]: Simplify 0 into 0
0.360 * [backup-simplify]: Simplify 1 into 1
0.360 * [backup-simplify]: Simplify (* x 0) into 0
0.361 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.361 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.361 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 t) (/ 1 (* x y))) in t
0.361 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 t)) (/ 1 (* x y)))
0.361 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 t)) in t
0.361 * [taylor]: Taking taylor expansion of (/ -1 z) in t
0.361 * [taylor]: Taking taylor expansion of -1 in t
0.361 * [backup-simplify]: Simplify -1 into -1
0.361 * [taylor]: Taking taylor expansion of z in t
0.361 * [backup-simplify]: Simplify z into z
0.362 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.362 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.362 * [taylor]: Taking taylor expansion of -1 in t
0.362 * [backup-simplify]: Simplify -1 into -1
0.362 * [taylor]: Taking taylor expansion of t in t
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 1 into 1
0.362 * [backup-simplify]: Simplify (/ -1 1) into -1
0.362 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.362 * [taylor]: Taking taylor expansion of (* x y) in t
0.362 * [taylor]: Taking taylor expansion of x in t
0.362 * [backup-simplify]: Simplify x into x
0.362 * [taylor]: Taking taylor expansion of y in t
0.363 * [backup-simplify]: Simplify y into y
0.363 * [backup-simplify]: Simplify (* x y) into (* x y)
0.363 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.363 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 t) (/ 1 (* x y))) in z
0.378 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 t)) (/ 1 (* x y)))
0.378 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 t)) in z
0.378 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.378 * [taylor]: Taking taylor expansion of -1 in z
0.378 * [backup-simplify]: Simplify -1 into -1
0.378 * [taylor]: Taking taylor expansion of z in z
0.378 * [backup-simplify]: Simplify 0 into 0
0.378 * [backup-simplify]: Simplify 1 into 1
0.379 * [backup-simplify]: Simplify (/ -1 1) into -1
0.379 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.379 * [taylor]: Taking taylor expansion of -1 in z
0.379 * [backup-simplify]: Simplify -1 into -1
0.379 * [taylor]: Taking taylor expansion of t in z
0.379 * [backup-simplify]: Simplify t into t
0.379 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t)
0.379 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.379 * [taylor]: Taking taylor expansion of (* x y) in z
0.379 * [taylor]: Taking taylor expansion of x in z
0.379 * [backup-simplify]: Simplify x into x
0.379 * [taylor]: Taking taylor expansion of y in z
0.379 * [backup-simplify]: Simplify y into y
0.379 * [backup-simplify]: Simplify (* x y) into (* x y)
0.380 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.380 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 t) (/ 1 (* x y))) in z
0.380 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 t)) (/ 1 (* x y)))
0.380 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 t)) in z
0.380 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.380 * [taylor]: Taking taylor expansion of -1 in z
0.380 * [backup-simplify]: Simplify -1 into -1
0.380 * [taylor]: Taking taylor expansion of z in z
0.380 * [backup-simplify]: Simplify 0 into 0
0.380 * [backup-simplify]: Simplify 1 into 1
0.380 * [backup-simplify]: Simplify (/ -1 1) into -1
0.381 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.381 * [taylor]: Taking taylor expansion of -1 in z
0.381 * [backup-simplify]: Simplify -1 into -1
0.381 * [taylor]: Taking taylor expansion of t in z
0.381 * [backup-simplify]: Simplify t into t
0.381 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t)
0.381 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.381 * [taylor]: Taking taylor expansion of (* x y) in z
0.381 * [taylor]: Taking taylor expansion of x in z
0.381 * [backup-simplify]: Simplify x into x
0.381 * [taylor]: Taking taylor expansion of y in z
0.381 * [backup-simplify]: Simplify y into y
0.381 * [backup-simplify]: Simplify (* x y) into (* x y)
0.381 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.381 * [backup-simplify]: Simplify (* -1 (/ -1 t)) into (/ 1 t)
0.381 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
0.381 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.381 * [taylor]: Taking taylor expansion of t in t
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [backup-simplify]: Simplify 1 into 1
0.382 * [backup-simplify]: Simplify (/ 1 1) into 1
0.382 * [taylor]: Taking taylor expansion of 1 in y
0.382 * [backup-simplify]: Simplify 1 into 1
0.382 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0
0.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.398 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 t))) into 0
0.398 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
0.398 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.398 * [taylor]: Taking taylor expansion of (* x y) in t
0.399 * [taylor]: Taking taylor expansion of x in t
0.399 * [backup-simplify]: Simplify x into x
0.399 * [taylor]: Taking taylor expansion of y in t
0.399 * [backup-simplify]: Simplify y into y
0.399 * [backup-simplify]: Simplify (* x y) into (* x y)
0.399 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.400 * [taylor]: Taking taylor expansion of 0 in y
0.400 * [backup-simplify]: Simplify 0 into 0
0.400 * [taylor]: Taking taylor expansion of 1 in x
0.400 * [backup-simplify]: Simplify 1 into 1
0.400 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
0.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.402 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 t)))) into 0
0.402 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.402 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
0.403 * [backup-simplify]: Simplify (+ 0 0) into 0
0.411 * [taylor]: Taking taylor expansion of 0 in t
0.411 * [backup-simplify]: Simplify 0 into 0
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.411 * [taylor]: Taking taylor expansion of (* x y) in y
0.411 * [taylor]: Taking taylor expansion of x in y
0.411 * [backup-simplify]: Simplify x into x
0.411 * [taylor]: Taking taylor expansion of y in y
0.411 * [backup-simplify]: Simplify 0 into 0
0.411 * [backup-simplify]: Simplify 1 into 1
0.411 * [backup-simplify]: Simplify (* x 0) into 0
0.412 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.412 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [backup-simplify]: Simplify 0 into 0
0.412 * [backup-simplify]: Simplify 1 into 1
0.413 * [backup-simplify]: Simplify (/ 1 1) into 1
0.413 * [backup-simplify]: Simplify 1 into 1
0.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.414 * [taylor]: Taking taylor expansion of 0 in y
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [taylor]: Taking taylor expansion of 0 in x
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [taylor]: Taking taylor expansion of 0 in x
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [backup-simplify]: Simplify 1 into 1
0.414 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
0.415 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.417 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t))))) into 0
0.417 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.418 * [backup-simplify]: Simplify (+ 0 0) into 0
0.418 * [taylor]: Taking taylor expansion of 0 in t
0.418 * [backup-simplify]: Simplify 0 into 0
0.418 * [taylor]: Taking taylor expansion of 0 in y
0.418 * [backup-simplify]: Simplify 0 into 0
0.418 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
0.419 * [taylor]: Taking taylor expansion of 0 in y
0.419 * [backup-simplify]: Simplify 0 into 0
0.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.420 * [taylor]: Taking taylor expansion of 0 in y
0.420 * [backup-simplify]: Simplify 0 into 0
0.420 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
0.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.421 * [taylor]: Taking taylor expansion of 0 in x
0.421 * [backup-simplify]: Simplify 0 into 0
0.421 * [taylor]: Taking taylor expansion of 0 in x
0.421 * [backup-simplify]: Simplify 0 into 0
0.421 * [taylor]: Taking taylor expansion of 0 in x
0.421 * [backup-simplify]: Simplify 0 into 0
0.421 * [taylor]: Taking taylor expansion of 0 in x
0.421 * [backup-simplify]: Simplify 0 into 0
0.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.424 * [backup-simplify]: Simplify 0 into 0
0.424 * [backup-simplify]: Simplify 0 into 0
0.424 * [backup-simplify]: Simplify 0 into 0
0.424 * [backup-simplify]: Simplify 0 into 0
0.424 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
0.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.521 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 t)))))) into 0
0.522 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.523 * [backup-simplify]: Simplify (+ 0 0) into 0
0.523 * [taylor]: Taking taylor expansion of 0 in t
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [taylor]: Taking taylor expansion of 0 in y
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [taylor]: Taking taylor expansion of 0 in y
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.524 * [taylor]: Taking taylor expansion of 0 in y
0.524 * [backup-simplify]: Simplify 0 into 0
0.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.525 * [taylor]: Taking taylor expansion of 0 in y
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [taylor]: Taking taylor expansion of 0 in x
0.525 * [backup-simplify]: Simplify 0 into 0
0.525 * [taylor]: Taking taylor expansion of 0 in x
0.525 * [backup-simplify]: Simplify 0 into 0
0.529 * [taylor]: Taking taylor expansion of 0 in x
0.529 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.530 * [taylor]: Taking taylor expansion of 0 in x
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [taylor]: Taking taylor expansion of 0 in x
0.530 * [backup-simplify]: Simplify 0 into 0
0.531 * [taylor]: Taking taylor expansion of 0 in x
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [taylor]: Taking taylor expansion of 0 in x
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- t))) (/ 1 (/ 1 (- z))))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) (* 1 1))))) into (+ (* t z) (* x y))
0.539 * * * [progress]: simplifying candidates
0.544 * [simplify]: Simplifying:
  (expm1 (fma z t (* y x)))
  (log1p (fma z t (* y x)))
  (* z t)
  (log (fma z t (* y x)))
  (exp (fma z t (* y x)))
  (* (cbrt (fma z t (* y x))) (cbrt (fma z t (* y x))))
  (cbrt (fma z t (* y x)))
  (* (* (fma z t (* y x)) (fma z t (* y x))) (fma z t (* y x)))
  (sqrt (fma z t (* y x)))
  (sqrt (fma z t (* y x)))
  0
  (+ (* t z) (* x y))
  (+ (* t z) (* x y))
0.544 * * [simplify]: iteration 0: 20 enodes
0.565 * * [simplify]: iteration 1: 24 enodes
0.584 * * [simplify]: iteration 2: 45 enodes
0.643 * * [simplify]: iteration 3: 147 enodes
0.883 * * [simplify]: iteration 4: 537 enodes
5.686 * * [simplify]: iteration 5: 2355 enodes
10.332 * * [simplify]: iteration complete: 5000 enodes
10.333 * * [simplify]: Extracting #0: cost 11 inf + 0
10.333 * * [simplify]: Extracting #1: cost 117 inf + 1
10.342 * * [simplify]: Extracting #2: cost 301 inf + 2356
10.497 * * [simplify]: Extracting #3: cost 118 inf + 37091
10.644 * * [simplify]: Extracting #4: cost 22 inf + 56907
10.793 * * [simplify]: Extracting #5: cost 3 inf + 65216
10.963 * * [simplify]: Extracting #6: cost 0 inf + 66949
11.116 * [simplify]: Simplified to:
  (expm1 (fma z t (* y x)))
  (log1p (fma z t (* y x)))
  (* t z)
  (log (fma z t (* y x)))
  (exp (fma z t (* y x)))
  (* (cbrt (fma z t (* y x))) (cbrt (fma z t (* y x))))
  (cbrt (fma z t (* y x)))
  (* (* (fma z t (* y x)) (fma z t (* y x))) (fma z t (* y x)))
  (sqrt (fma z t (* y x)))
  (sqrt (fma z t (* y x)))
  0
  (fma z t (* y x))
  (fma z t (* y x))
11.118 * * * [progress]: adding candidates to table
11.253 * [progress]: [Phase 3 of 3] Extracting.
11.344 * [simplify]: Simplifying:
  (fma z t (* y x))
11.344 * * [simplify]: iteration 0: 6 enodes
11.345 * * [simplify]: iteration 1: 7 enodes
11.345 * * [simplify]: iteration complete: 7 enodes
11.345 * * [simplify]: Extracting #0: cost 1 inf + 0
11.345 * * [simplify]: Extracting #1: cost 4 inf + 0
11.345 * * [simplify]: Extracting #2: cost 4 inf + 2
11.345 * * [simplify]: Extracting #3: cost 2 inf + 4
11.345 * * [simplify]: Extracting #4: cost 0 inf + 145
11.345 * [simplify]: Simplified to:
  (fma z t (* y x))
15.609 * [regime-testing]: Baseline error score: 0.005625703212901613
15.627 * [regime-testing]: Oracle error score: 0.005625703212901613
15.627 * [regime-testing]: End program error score: 0.005625703212901613