23.378 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.076 * * * [progress]: [2/2] Setting up program.
0.079 * [progress]: [Phase 2 of 3] Improving.
0.079 * [simplify]: Simplifying:
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
0.079 * * [simplify]: Extracting # 0 : cost  0
0.080 * * [simplify]: Extracting # 1 : cost  0
0.080 * * [simplify]: Extracting # 2 : cost  0
0.080 * * [simplify]: Extracting # 3 : cost  0
0.080 * * [simplify]: Extracting # 4 : cost  0
0.080 * * [simplify]: Extracting # 5 : cost  0
0.080 * * [simplify]: Extracting # 6 : cost  0
0.080 * * [simplify]: Extracting # 7 : cost  0
0.080 * * [simplify]: iteration  0 :  18  enodes  (cost  21 )
0.083 * * [simplify]: Extracting # 0 : cost  0
0.084 * * [simplify]: Extracting # 1 : cost  0
0.084 * * [simplify]: Extracting # 2 : cost  0
0.084 * * [simplify]: iteration  1 :  38  enodes  (cost  21 )
0.092 * * [simplify]: Extracting # 0 : cost  0
0.092 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.092 * * [simplify]: iteration  2 :  118  enodes  (cost  19 )
0.165 * * [simplify]: Extracting # 0 : cost  0
0.165 * * [simplify]: Extracting # 1 : cost  0
0.166 * * [simplify]: Extracting # 2 : cost  0
0.166 * * [simplify]: iteration  3 :  416  enodes  (cost  19 )
0.429 * * [simplify]: Extracting # 0 : cost  0
0.431 * * [simplify]: Extracting # 1 : cost  0
0.432 * * [simplify]: Extracting # 2 : cost  0
0.433 * * [simplify]: Extracting # 3 : cost  0
0.438 * * [simplify]: iteration  4 :  1377  enodes  (cost  18 )
2.320 * * [simplify]: Extracting # 0 : cost  0
2.326 * * [simplify]: Extracting # 1 : cost  0
2.332 * * [simplify]: Extracting # 2 : cost  0
2.339 * * [simplify]: Extracting # 3 : cost  0
2.349 * * [simplify]: Extracting # 4 : cost  0
2.359 * * [simplify]: iteration done:  5000  enodes  (cost  18 )
2.359 * [simplify]: Simplified to:
  (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
2.363 * * [progress]: iteration 1 / 4
2.363 * * * [progress]: picking best candidate
2.366 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))))>
2.366 * * * [progress]: localizing error
2.387 * * * [progress]: generating rewritten candidates
2.387 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3 3)
2.388 * * * [progress]: generating series expansions
2.388 * * * * [progress]: [ 1 / 1 ] generating series at (2 3 3)
2.388 * [backup-simplify]: Simplify (fma a (- 1.0 t) x) into (fma a (- 1.0 t) x)
2.388 * [approximate]: Taking taylor expansion of (fma a (- 1.0 t) x) in (a t x) around 0
2.388 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in x
2.389 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.389 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in x
2.389 * [taylor]: Taking taylor expansion of a in x
2.389 * [backup-simplify]: Simplify a into a
2.389 * [taylor]: Taking taylor expansion of (- 1.0 t) in x
2.389 * [taylor]: Taking taylor expansion of 1.0 in x
2.389 * [backup-simplify]: Simplify 1.0 into 1.0
2.389 * [taylor]: Taking taylor expansion of t in x
2.389 * [backup-simplify]: Simplify t into t
2.389 * [taylor]: Taking taylor expansion of x in x
2.389 * [backup-simplify]: Simplify 0 into 0
2.389 * [backup-simplify]: Simplify 1 into 1
2.389 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in t
2.389 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.389 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in t
2.389 * [taylor]: Taking taylor expansion of a in t
2.389 * [backup-simplify]: Simplify a into a
2.389 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.389 * [taylor]: Taking taylor expansion of 1.0 in t
2.389 * [backup-simplify]: Simplify 1.0 into 1.0
2.389 * [taylor]: Taking taylor expansion of t in t
2.389 * [backup-simplify]: Simplify 0 into 0
2.389 * [backup-simplify]: Simplify 1 into 1
2.389 * [taylor]: Taking taylor expansion of x in t
2.389 * [backup-simplify]: Simplify x into x
2.389 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a
2.390 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.390 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a
2.390 * [taylor]: Taking taylor expansion of a in a
2.390 * [backup-simplify]: Simplify 0 into 0
2.390 * [backup-simplify]: Simplify 1 into 1
2.390 * [taylor]: Taking taylor expansion of (- 1.0 t) in a
2.390 * [taylor]: Taking taylor expansion of 1.0 in a
2.390 * [backup-simplify]: Simplify 1.0 into 1.0
2.390 * [taylor]: Taking taylor expansion of t in a
2.390 * [backup-simplify]: Simplify t into t
2.390 * [taylor]: Taking taylor expansion of x in a
2.390 * [backup-simplify]: Simplify x into x
2.390 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a
2.390 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.390 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a
2.390 * [taylor]: Taking taylor expansion of a in a
2.390 * [backup-simplify]: Simplify 0 into 0
2.390 * [backup-simplify]: Simplify 1 into 1
2.390 * [taylor]: Taking taylor expansion of (- 1.0 t) in a
2.390 * [taylor]: Taking taylor expansion of 1.0 in a
2.390 * [backup-simplify]: Simplify 1.0 into 1.0
2.390 * [taylor]: Taking taylor expansion of t in a
2.390 * [backup-simplify]: Simplify t into t
2.390 * [taylor]: Taking taylor expansion of x in a
2.390 * [backup-simplify]: Simplify x into x
2.390 * [backup-simplify]: Simplify (- t) into (- t)
2.390 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
2.390 * [backup-simplify]: Simplify (* 0 (- 1.0 t)) into 0
2.390 * [backup-simplify]: Simplify (+ 0 x) into x
2.390 * [taylor]: Taking taylor expansion of x in t
2.390 * [backup-simplify]: Simplify x into x
2.390 * [taylor]: Taking taylor expansion of x in x
2.390 * [backup-simplify]: Simplify 0 into 0
2.390 * [backup-simplify]: Simplify 1 into 1
2.390 * [backup-simplify]: Simplify 0 into 0
2.391 * [backup-simplify]: Simplify (- 0) into 0
2.391 * [backup-simplify]: Simplify (+ 0 0) into 0
2.392 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 t))) into (- 1.0 t)
2.392 * [backup-simplify]: Simplify (+ (- 1.0 t) 0) into (- 1.0 t)
2.392 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.392 * [taylor]: Taking taylor expansion of 1.0 in t
2.392 * [backup-simplify]: Simplify 1.0 into 1.0
2.392 * [taylor]: Taking taylor expansion of t in t
2.392 * [backup-simplify]: Simplify 0 into 0
2.392 * [backup-simplify]: Simplify 1 into 1
2.392 * [backup-simplify]: Simplify (- 0) into 0
2.393 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.393 * [taylor]: Taking taylor expansion of 1.0 in x
2.393 * [backup-simplify]: Simplify 1.0 into 1.0
2.393 * [backup-simplify]: Simplify 1.0 into 1.0
2.393 * [taylor]: Taking taylor expansion of 0 in x
2.393 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify 1 into 1
2.393 * [backup-simplify]: Simplify (- 0) into 0
2.394 * [backup-simplify]: Simplify (+ 0 0) into 0
2.395 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 t)))) into 0
2.395 * [backup-simplify]: Simplify (+ 0 0) into 0
2.395 * [taylor]: Taking taylor expansion of 0 in t
2.395 * [backup-simplify]: Simplify 0 into 0
2.395 * [taylor]: Taking taylor expansion of 0 in x
2.395 * [backup-simplify]: Simplify 0 into 0
2.395 * [backup-simplify]: Simplify 0 into 0
2.396 * [backup-simplify]: Simplify (- 1) into -1
2.396 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.396 * [taylor]: Taking taylor expansion of -1 in x
2.396 * [backup-simplify]: Simplify -1 into -1
2.396 * [backup-simplify]: Simplify -1 into -1
2.397 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* t a))) (+ (* 1 (* x (* 1 1))) (* 1.0 (* 1 (* 1 a))))) into (- (+ x (* 1.0 a)) (* t a))
2.397 * [backup-simplify]: Simplify (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) into (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))
2.397 * [approximate]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in (a t x) around 0
2.397 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in x
2.397 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.397 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in x
2.397 * [taylor]: Taking taylor expansion of (/ 1 a) in x
2.397 * [taylor]: Taking taylor expansion of a in x
2.397 * [backup-simplify]: Simplify a into a
2.398 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.398 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in x
2.398 * [taylor]: Taking taylor expansion of 1.0 in x
2.398 * [backup-simplify]: Simplify 1.0 into 1.0
2.398 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.398 * [taylor]: Taking taylor expansion of t in x
2.398 * [backup-simplify]: Simplify t into t
2.398 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.398 * [taylor]: Taking taylor expansion of x in x
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 1 into 1
2.398 * [backup-simplify]: Simplify (/ 1 1) into 1
2.398 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in t
2.398 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.399 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in t
2.399 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.399 * [taylor]: Taking taylor expansion of a in t
2.399 * [backup-simplify]: Simplify a into a
2.399 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.399 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.399 * [taylor]: Taking taylor expansion of 1.0 in t
2.399 * [backup-simplify]: Simplify 1.0 into 1.0
2.399 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.399 * [taylor]: Taking taylor expansion of t in t
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 1 into 1
2.399 * [backup-simplify]: Simplify (/ 1 1) into 1
2.399 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.399 * [taylor]: Taking taylor expansion of x in t
2.399 * [backup-simplify]: Simplify x into x
2.399 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.399 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a
2.400 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.400 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a
2.400 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.400 * [taylor]: Taking taylor expansion of a in a
2.400 * [backup-simplify]: Simplify 0 into 0
2.400 * [backup-simplify]: Simplify 1 into 1
2.400 * [backup-simplify]: Simplify (/ 1 1) into 1
2.400 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a
2.400 * [taylor]: Taking taylor expansion of 1.0 in a
2.400 * [backup-simplify]: Simplify 1.0 into 1.0
2.400 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.400 * [taylor]: Taking taylor expansion of t in a
2.400 * [backup-simplify]: Simplify t into t
2.400 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.400 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.400 * [taylor]: Taking taylor expansion of x in a
2.401 * [backup-simplify]: Simplify x into x
2.401 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.401 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a
2.401 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.401 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a
2.401 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.401 * [taylor]: Taking taylor expansion of a in a
2.401 * [backup-simplify]: Simplify 0 into 0
2.401 * [backup-simplify]: Simplify 1 into 1
2.401 * [backup-simplify]: Simplify (/ 1 1) into 1
2.401 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a
2.401 * [taylor]: Taking taylor expansion of 1.0 in a
2.401 * [backup-simplify]: Simplify 1.0 into 1.0
2.401 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.401 * [taylor]: Taking taylor expansion of t in a
2.402 * [backup-simplify]: Simplify t into t
2.402 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.402 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.402 * [taylor]: Taking taylor expansion of x in a
2.402 * [backup-simplify]: Simplify x into x
2.402 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.402 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.402 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 t))) into (- 1.0 (/ 1 t))
2.402 * [backup-simplify]: Simplify (* 1 (- 1.0 (/ 1 t))) into (- 1.0 (/ 1 t))
2.402 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 t)) 0) into (- 1.0 (/ 1 t))
2.402 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.402 * [taylor]: Taking taylor expansion of 1.0 in t
2.402 * [backup-simplify]: Simplify 1.0 into 1.0
2.402 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.402 * [taylor]: Taking taylor expansion of t in t
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify 1 into 1
2.403 * [backup-simplify]: Simplify (/ 1 1) into 1
2.403 * [backup-simplify]: Simplify (- 1) into -1
2.404 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.404 * [taylor]: Taking taylor expansion of -1 in x
2.404 * [backup-simplify]: Simplify -1 into -1
2.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.404 * [backup-simplify]: Simplify (- 0) into 0
2.405 * [backup-simplify]: Simplify (+ 0 0) into 0
2.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.406 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1.0 (/ 1 t)))) into 0
2.406 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
2.406 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.406 * [taylor]: Taking taylor expansion of x in t
2.406 * [backup-simplify]: Simplify x into x
2.406 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.407 * [backup-simplify]: Simplify (- 0) into 0
2.407 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.407 * [taylor]: Taking taylor expansion of 1.0 in x
2.407 * [backup-simplify]: Simplify 1.0 into 1.0
2.407 * [backup-simplify]: Simplify -1 into -1
2.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.408 * [backup-simplify]: Simplify (- 0) into 0
2.408 * [backup-simplify]: Simplify (+ 0 0) into 0
2.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 t))))) into 0
2.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.409 * [backup-simplify]: Simplify (+ 0 0) into 0
2.409 * [taylor]: Taking taylor expansion of 0 in t
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.409 * [taylor]: Taking taylor expansion of x in x
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify 1 into 1
2.410 * [backup-simplify]: Simplify (/ 1 1) into 1
2.410 * [backup-simplify]: Simplify 1 into 1
2.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.410 * [backup-simplify]: Simplify (- 0) into 0
2.411 * [backup-simplify]: Simplify (+ 0 0) into 0
2.411 * [taylor]: Taking taylor expansion of 0 in x
2.411 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify 1.0 into 1.0
2.411 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 a))))) (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 t)) (/ 1 (/ 1 a))))))) into (- (+ (* 1.0 a) x) (* t a))
2.411 * [backup-simplify]: Simplify (fma (/ 1 (- a)) (- 1.0 (/ 1 (- t))) (/ 1 (- x))) into (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))
2.411 * [approximate]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in (a t x) around 0
2.411 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in x
2.412 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.412 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in x
2.412 * [taylor]: Taking taylor expansion of (/ -1 a) in x
2.412 * [taylor]: Taking taylor expansion of -1 in x
2.412 * [backup-simplify]: Simplify -1 into -1
2.412 * [taylor]: Taking taylor expansion of a in x
2.412 * [backup-simplify]: Simplify a into a
2.412 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.412 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x
2.412 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.412 * [taylor]: Taking taylor expansion of t in x
2.412 * [backup-simplify]: Simplify t into t
2.412 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.412 * [taylor]: Taking taylor expansion of 1.0 in x
2.412 * [backup-simplify]: Simplify 1.0 into 1.0
2.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.412 * [taylor]: Taking taylor expansion of -1 in x
2.412 * [backup-simplify]: Simplify -1 into -1
2.412 * [taylor]: Taking taylor expansion of x in x
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.412 * [backup-simplify]: Simplify (/ -1 1) into -1
2.412 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in t
2.412 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.412 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in t
2.412 * [taylor]: Taking taylor expansion of (/ -1 a) in t
2.412 * [taylor]: Taking taylor expansion of -1 in t
2.413 * [backup-simplify]: Simplify -1 into -1
2.413 * [taylor]: Taking taylor expansion of a in t
2.413 * [backup-simplify]: Simplify a into a
2.413 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.413 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.413 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.413 * [taylor]: Taking taylor expansion of t in t
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify 1 into 1
2.413 * [backup-simplify]: Simplify (/ 1 1) into 1
2.413 * [taylor]: Taking taylor expansion of 1.0 in t
2.413 * [backup-simplify]: Simplify 1.0 into 1.0
2.413 * [taylor]: Taking taylor expansion of (/ -1 x) in t
2.413 * [taylor]: Taking taylor expansion of -1 in t
2.413 * [backup-simplify]: Simplify -1 into -1
2.413 * [taylor]: Taking taylor expansion of x in t
2.413 * [backup-simplify]: Simplify x into x
2.413 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.413 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a
2.413 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.413 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a
2.413 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.413 * [taylor]: Taking taylor expansion of -1 in a
2.413 * [backup-simplify]: Simplify -1 into -1
2.413 * [taylor]: Taking taylor expansion of a in a
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify 1 into 1
2.414 * [backup-simplify]: Simplify (/ -1 1) into -1
2.414 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
2.414 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.414 * [taylor]: Taking taylor expansion of t in a
2.414 * [backup-simplify]: Simplify t into t
2.414 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.414 * [taylor]: Taking taylor expansion of 1.0 in a
2.414 * [backup-simplify]: Simplify 1.0 into 1.0
2.414 * [taylor]: Taking taylor expansion of (/ -1 x) in a
2.414 * [taylor]: Taking taylor expansion of -1 in a
2.414 * [backup-simplify]: Simplify -1 into -1
2.414 * [taylor]: Taking taylor expansion of x in a
2.414 * [backup-simplify]: Simplify x into x
2.414 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.414 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a
2.414 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.414 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a
2.414 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.414 * [taylor]: Taking taylor expansion of -1 in a
2.414 * [backup-simplify]: Simplify -1 into -1
2.414 * [taylor]: Taking taylor expansion of a in a
2.414 * [backup-simplify]: Simplify 0 into 0
2.414 * [backup-simplify]: Simplify 1 into 1
2.414 * [backup-simplify]: Simplify (/ -1 1) into -1
2.415 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
2.415 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.415 * [taylor]: Taking taylor expansion of t in a
2.415 * [backup-simplify]: Simplify t into t
2.415 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.415 * [taylor]: Taking taylor expansion of 1.0 in a
2.415 * [backup-simplify]: Simplify 1.0 into 1.0
2.415 * [taylor]: Taking taylor expansion of (/ -1 x) in a
2.415 * [taylor]: Taking taylor expansion of -1 in a
2.415 * [backup-simplify]: Simplify -1 into -1
2.415 * [taylor]: Taking taylor expansion of x in a
2.415 * [backup-simplify]: Simplify x into x
2.415 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.415 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
2.415 * [backup-simplify]: Simplify (* -1 (+ (/ 1 t) 1.0)) into (* -1 (+ (/ 1 t) 1.0))
2.415 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 t) 1.0)) 0) into (- (+ (/ 1 t) 1.0))
2.415 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0)) in t
2.415 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.415 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.415 * [taylor]: Taking taylor expansion of t in t
2.415 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify 1 into 1
2.415 * [backup-simplify]: Simplify (/ 1 1) into 1
2.415 * [taylor]: Taking taylor expansion of 1.0 in t
2.416 * [backup-simplify]: Simplify 1.0 into 1.0
2.416 * [backup-simplify]: Simplify (+ 1 0) into 1
2.416 * [backup-simplify]: Simplify (- 1) into -1
2.416 * [taylor]: Taking taylor expansion of -1 in x
2.416 * [backup-simplify]: Simplify -1 into -1
2.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.416 * [backup-simplify]: Simplify (+ 0 0) into 0
2.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.417 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 t) 1.0))) into 0
2.417 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
2.417 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t
2.417 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.417 * [taylor]: Taking taylor expansion of x in t
2.417 * [backup-simplify]: Simplify x into x
2.417 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.418 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.418 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.418 * [taylor]: Taking taylor expansion of (- 1.0) in x
2.418 * [taylor]: Taking taylor expansion of 1.0 in x
2.418 * [backup-simplify]: Simplify 1.0 into 1.0
2.418 * [backup-simplify]: Simplify -1 into -1
2.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.419 * [backup-simplify]: Simplify (+ 0 0) into 0
2.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.420 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 t) 1.0)))) into 0
2.420 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.420 * [backup-simplify]: Simplify (+ 0 0) into 0
2.420 * [taylor]: Taking taylor expansion of 0 in t
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.420 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.420 * [taylor]: Taking taylor expansion of x in x
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify 1 into 1
2.421 * [backup-simplify]: Simplify (/ 1 1) into 1
2.421 * [backup-simplify]: Simplify (- 1) into -1
2.421 * [backup-simplify]: Simplify -1 into -1
2.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.421 * [backup-simplify]: Simplify (+ 0 0) into 0
2.422 * [backup-simplify]: Simplify (- 0) into 0
2.422 * [taylor]: Taking taylor expansion of 0 in x
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.422 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.423 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- a)))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 (- t))) (/ 1 (/ 1 (- a)))))))) into (- (+ (* 1.0 a) x) (* t a))
2.423 * * * [progress]: simplifying candidates
2.423 * [simplify]: Simplifying:
  (expm1 (fma a (- 1.0 t) x))
  (log1p (fma a (- 1.0 t) x))
  (* a (- 1.0 t))
  (log (fma a (- 1.0 t) x))
  (exp (fma a (- 1.0 t) x))
  (* (cbrt (fma a (- 1.0 t) x)) (cbrt (fma a (- 1.0 t) x)))
  (cbrt (fma a (- 1.0 t) x))
  (* (* (fma a (- 1.0 t) x) (fma a (- 1.0 t) x)) (fma a (- 1.0 t) x))
  (sqrt (fma a (- 1.0 t) x))
  (sqrt (fma a (- 1.0 t) x))
  (- (+ x (* 1.0 a)) (* t a))
  (- (+ (* 1.0 a) x) (* t a))
  (- (+ (* 1.0 a) x) (* t a))
2.424 * * [simplify]: Extracting # 0 : cost  0
2.424 * * [simplify]: Extracting # 1 : cost  0
2.424 * * [simplify]: Extracting # 2 : cost  0
2.424 * * [simplify]: Extracting # 3 : cost  0
2.424 * * [simplify]: Extracting # 4 : cost  0
2.424 * * [simplify]: Extracting # 5 : cost  0
2.424 * * [simplify]: iteration  0 :  22  enodes  (cost  116 )
2.428 * * [simplify]: Extracting # 0 : cost  0
2.428 * * [simplify]: Extracting # 1 : cost  0
2.428 * * [simplify]: Extracting # 2 : cost  0
2.428 * * [simplify]: iteration  1 :  37  enodes  (cost  113 )
2.435 * * [simplify]: Extracting # 0 : cost  0
2.435 * * [simplify]: Extracting # 1 : cost  0
2.435 * * [simplify]: Extracting # 2 : cost  0
2.435 * * [simplify]: Extracting # 3 : cost  0
2.435 * * [simplify]: iteration  2 :  71  enodes  (cost  95 )
2.475 * * [simplify]: Extracting # 0 : cost  0
2.475 * * [simplify]: Extracting # 1 : cost  0
2.476 * * [simplify]: Extracting # 2 : cost  0
2.476 * * [simplify]: Extracting # 3 : cost  0
2.477 * * [simplify]: iteration  3 :  245  enodes  (cost  95 )
2.771 * * [simplify]: Extracting # 0 : cost  0
2.773 * * [simplify]: Extracting # 1 : cost  0
2.774 * * [simplify]: Extracting # 2 : cost  0
2.776 * * [simplify]: Extracting # 3 : cost  0
2.777 * * [simplify]: Extracting # 4 : cost  0
2.778 * * [simplify]: Extracting # 5 : cost  0
2.780 * * [simplify]: iteration  4 :  1492  enodes  (cost  95 )
3.501 * * [simplify]: Extracting # 0 : cost  0
3.507 * * [simplify]: Extracting # 1 : cost  0
3.513 * * [simplify]: Extracting # 2 : cost  0
3.524 * * [simplify]: Extracting # 3 : cost  0
3.536 * * [simplify]: Extracting # 4 : cost  0
3.549 * * [simplify]: iteration done:  5000  enodes  (cost  95 )
3.549 * [simplify]: Simplified to:
  (expm1 (fma a (- 1.0 t) x))
  (log1p (fma a (- 1.0 t) x))
  (* a (- 1.0 t))
  (log (fma a (- 1.0 t) x))
  (exp (fma a (- 1.0 t) x))
  (* (cbrt (fma a (- 1.0 t) x)) (cbrt (fma a (- 1.0 t) x)))
  (cbrt (fma a (- 1.0 t) x))
  (pow (fma a (- 1.0 t) x) 3)
  (sqrt (fma a (- 1.0 t) x))
  (sqrt (fma a (- 1.0 t) x))
  (fma a (- 1.0 t) x)
  (fma a (- 1.0 t) x)
  (fma a (- 1.0 t) x)
3.549 * * * [progress]: adding candidates to table
3.628 * [progress]: [Phase 3 of 3] Extracting.
3.631 * [simplify]: Simplifying:
  (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
3.631 * * [simplify]: Extracting # 0 : cost  0
3.631 * * [simplify]: Extracting # 1 : cost  0
3.631 * * [simplify]: Extracting # 2 : cost  0
3.631 * * [simplify]: Extracting # 3 : cost  0
3.631 * * [simplify]: Extracting # 4 : cost  0
3.631 * * [simplify]: Extracting # 5 : cost  0
3.632 * * [simplify]: Extracting # 6 : cost  0
3.632 * * [simplify]: iteration  0 :  15  enodes  (cost  18 )
3.632 * * [simplify]: Extracting # 0 : cost  0
3.632 * * [simplify]: iteration  1 :  16  enodes  (cost  18 )
3.633 * * [simplify]: Extracting # 0 : cost  0
3.633 * * [simplify]: iteration done:  16  enodes  (cost  18 )
3.633 * [simplify]: Simplified to:
  (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
6.891 * [regime-testing]: Baseline error score: 0.013824848418642476
6.892 * [regime-testing]: Oracle error score: 0.013824848418642476
6.892 * [regime-testing]: End program error score: 0.013824848418642476