18.948 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.069 * * * [progress]: [2/2] Setting up program. 0.075 * [progress]: [Phase 2 of 3] Improving. 0.075 * [simplify]: Simplifying: (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.076 * * [simplify]: Extracting # 0 : cost 0 0.076 * * [simplify]: Extracting # 1 : cost 0 0.076 * * [simplify]: Extracting # 2 : cost 0 0.076 * * [simplify]: Extracting # 3 : cost 0 0.076 * * [simplify]: Extracting # 4 : cost 0 0.076 * * [simplify]: Extracting # 5 : cost 0 0.076 * * [simplify]: Extracting # 6 : cost 0 0.076 * * [simplify]: Extracting # 7 : cost 0 0.076 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.084 * * [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.101 * * [simplify]: Extracting # 0 : cost 0 0.101 * * [simplify]: Extracting # 1 : cost 0 0.101 * * [simplify]: Extracting # 2 : cost 0 0.101 * * [simplify]: iteration 2 : 118 enodes (cost 19 ) 0.191 * * [simplify]: Extracting # 0 : cost 0 0.192 * * [simplify]: Extracting # 1 : cost 0 0.193 * * [simplify]: Extracting # 2 : cost 0 0.193 * * [simplify]: iteration 3 : 416 enodes (cost 19 ) 0.772 * * [simplify]: Extracting # 0 : cost 0 0.773 * * [simplify]: Extracting # 1 : cost 0 0.778 * * [simplify]: Extracting # 2 : cost 0 0.780 * * [simplify]: Extracting # 3 : cost 0 0.781 * * [simplify]: iteration 4 : 1377 enodes (cost 18 ) 2.449 * * [simplify]: Extracting # 0 : cost 0 2.456 * * [simplify]: Extracting # 1 : cost 0 2.461 * * [simplify]: Extracting # 2 : cost 0 2.466 * * [simplify]: Extracting # 3 : cost 0 2.471 * * [simplify]: Extracting # 4 : cost 0 2.478 * * [simplify]: iteration done: 5000 enodes (cost 18 ) 2.478 * [simplify]: Simplified to: (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))) 2.494 * * [progress]: iteration 1 / 4 2.494 * * * [progress]: picking best candidate 2.500 * * * * [pick]: Picked # 2.501 * * * [progress]: localizing error 2.521 * * * [progress]: generating rewritten candidates 2.522 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3 3) 2.522 * * * [progress]: generating series expansions 2.522 * * * * [progress]: [ 1 / 1 ] generating series at (2 3 3) 2.522 * [backup-simplify]: Simplify (fma a (- 1.0 t) x) into (fma a (- 1.0 t) x) 2.522 * [approximate]: Taking taylor expansion of (fma a (- 1.0 t) x) in (a t x) around 0 2.522 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in x 2.524 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.524 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in x 2.524 * [taylor]: Taking taylor expansion of a in x 2.524 * [backup-simplify]: Simplify a into a 2.524 * [taylor]: Taking taylor expansion of (- 1.0 t) in x 2.524 * [taylor]: Taking taylor expansion of 1.0 in x 2.524 * [backup-simplify]: Simplify 1.0 into 1.0 2.524 * [taylor]: Taking taylor expansion of t in x 2.524 * [backup-simplify]: Simplify t into t 2.524 * [taylor]: Taking taylor expansion of x in x 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in t 2.524 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.524 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in t 2.524 * [taylor]: Taking taylor expansion of a in t 2.524 * [backup-simplify]: Simplify a into a 2.524 * [taylor]: Taking taylor expansion of (- 1.0 t) in t 2.524 * [taylor]: Taking taylor expansion of 1.0 in t 2.524 * [backup-simplify]: Simplify 1.0 into 1.0 2.524 * [taylor]: Taking taylor expansion of t in t 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [taylor]: Taking taylor expansion of x in t 2.524 * [backup-simplify]: Simplify x into x 2.524 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a 2.524 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.524 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a 2.524 * [taylor]: Taking taylor expansion of a in a 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [taylor]: Taking taylor expansion of (- 1.0 t) in a 2.524 * [taylor]: Taking taylor expansion of 1.0 in a 2.524 * [backup-simplify]: Simplify 1.0 into 1.0 2.524 * [taylor]: Taking taylor expansion of t in a 2.524 * [backup-simplify]: Simplify t into t 2.524 * [taylor]: Taking taylor expansion of x in a 2.524 * [backup-simplify]: Simplify x into x 2.524 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a 2.525 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.525 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a 2.525 * [taylor]: Taking taylor expansion of a in a 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify 1 into 1 2.525 * [taylor]: Taking taylor expansion of (- 1.0 t) in a 2.525 * [taylor]: Taking taylor expansion of 1.0 in a 2.525 * [backup-simplify]: Simplify 1.0 into 1.0 2.525 * [taylor]: Taking taylor expansion of t in a 2.525 * [backup-simplify]: Simplify t into t 2.525 * [taylor]: Taking taylor expansion of x in a 2.525 * [backup-simplify]: Simplify x into x 2.525 * [backup-simplify]: Simplify (- t) into (- t) 2.525 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t) 2.525 * [backup-simplify]: Simplify (* 0 (- 1.0 t)) into 0 2.525 * [backup-simplify]: Simplify (+ 0 x) into x 2.525 * [taylor]: Taking taylor expansion of x in t 2.525 * [backup-simplify]: Simplify x into x 2.525 * [taylor]: Taking taylor expansion of x in x 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify 1 into 1 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify (- 0) into 0 2.526 * [backup-simplify]: Simplify (+ 0 0) into 0 2.526 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 t))) into (- 1.0 t) 2.526 * [backup-simplify]: Simplify (+ (- 1.0 t) 0) into (- 1.0 t) 2.526 * [taylor]: Taking taylor expansion of (- 1.0 t) in t 2.526 * [taylor]: Taking taylor expansion of 1.0 in t 2.526 * [backup-simplify]: Simplify 1.0 into 1.0 2.526 * [taylor]: Taking taylor expansion of t in t 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 1 into 1 2.526 * [backup-simplify]: Simplify (- 0) into 0 2.527 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.527 * [taylor]: Taking taylor expansion of 1.0 in x 2.527 * [backup-simplify]: Simplify 1.0 into 1.0 2.527 * [backup-simplify]: Simplify 1.0 into 1.0 2.527 * [taylor]: Taking taylor expansion of 0 in x 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 1 into 1 2.527 * [backup-simplify]: Simplify (- 0) into 0 2.527 * [backup-simplify]: Simplify (+ 0 0) into 0 2.528 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 t)))) into 0 2.528 * [backup-simplify]: Simplify (+ 0 0) into 0 2.528 * [taylor]: Taking taylor expansion of 0 in t 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [taylor]: Taking taylor expansion of 0 in x 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.528 * [backup-simplify]: Simplify (- 1) into -1 2.529 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.529 * [taylor]: Taking taylor expansion of -1 in x 2.529 * [backup-simplify]: Simplify -1 into -1 2.529 * [backup-simplify]: Simplify -1 into -1 2.529 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* t a))) (+ (* 1 (* x (* 1 1))) (* 1.0 (* 1 (* 1 a))))) into (- (+ x (* 1.0 a)) (* t a)) 2.529 * [backup-simplify]: Simplify (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) into (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) 2.529 * [approximate]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in (a t x) around 0 2.529 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in x 2.530 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.530 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in x 2.530 * [taylor]: Taking taylor expansion of (/ 1 a) in x 2.530 * [taylor]: Taking taylor expansion of a in x 2.530 * [backup-simplify]: Simplify a into a 2.530 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.530 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in x 2.530 * [taylor]: Taking taylor expansion of 1.0 in x 2.530 * [backup-simplify]: Simplify 1.0 into 1.0 2.530 * [taylor]: Taking taylor expansion of (/ 1 t) in x 2.530 * [taylor]: Taking taylor expansion of t in x 2.530 * [backup-simplify]: Simplify t into t 2.530 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.530 * [taylor]: Taking taylor expansion of x in x 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 1 into 1 2.530 * [backup-simplify]: Simplify (/ 1 1) into 1 2.530 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in t 2.530 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.530 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in t 2.530 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.530 * [taylor]: Taking taylor expansion of a in t 2.530 * [backup-simplify]: Simplify a into a 2.530 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.530 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 2.530 * [taylor]: Taking taylor expansion of 1.0 in t 2.530 * [backup-simplify]: Simplify 1.0 into 1.0 2.530 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.531 * [taylor]: Taking taylor expansion of t in t 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 1 into 1 2.531 * [backup-simplify]: Simplify (/ 1 1) into 1 2.531 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.531 * [taylor]: Taking taylor expansion of x in t 2.531 * [backup-simplify]: Simplify x into x 2.531 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.531 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a 2.531 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.531 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a 2.531 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.531 * [taylor]: Taking taylor expansion of a in a 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 1 into 1 2.531 * [backup-simplify]: Simplify (/ 1 1) into 1 2.531 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a 2.531 * [taylor]: Taking taylor expansion of 1.0 in a 2.531 * [backup-simplify]: Simplify 1.0 into 1.0 2.531 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.531 * [taylor]: Taking taylor expansion of t in a 2.531 * [backup-simplify]: Simplify t into t 2.532 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.532 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.532 * [taylor]: Taking taylor expansion of x in a 2.532 * [backup-simplify]: Simplify x into x 2.532 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.532 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a 2.532 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.532 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a 2.532 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.532 * [taylor]: Taking taylor expansion of a in a 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 1 into 1 2.532 * [backup-simplify]: Simplify (/ 1 1) into 1 2.532 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a 2.532 * [taylor]: Taking taylor expansion of 1.0 in a 2.532 * [backup-simplify]: Simplify 1.0 into 1.0 2.532 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.532 * [taylor]: Taking taylor expansion of t in a 2.532 * [backup-simplify]: Simplify t into t 2.532 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.532 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.532 * [taylor]: Taking taylor expansion of x in a 2.532 * [backup-simplify]: Simplify x into x 2.532 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.532 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 2.532 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 t))) into (- 1.0 (/ 1 t)) 2.533 * [backup-simplify]: Simplify (* 1 (- 1.0 (/ 1 t))) into (- 1.0 (/ 1 t)) 2.533 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 t)) 0) into (- 1.0 (/ 1 t)) 2.533 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 2.533 * [taylor]: Taking taylor expansion of 1.0 in t 2.533 * [backup-simplify]: Simplify 1.0 into 1.0 2.533 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.533 * [taylor]: Taking taylor expansion of t in t 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 1 into 1 2.533 * [backup-simplify]: Simplify (/ 1 1) into 1 2.533 * [backup-simplify]: Simplify (- 1) into -1 2.533 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.534 * [taylor]: Taking taylor expansion of -1 in x 2.534 * [backup-simplify]: Simplify -1 into -1 2.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.534 * [backup-simplify]: Simplify (- 0) into 0 2.534 * [backup-simplify]: Simplify (+ 0 0) into 0 2.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1.0 (/ 1 t)))) into 0 2.535 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 2.535 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.535 * [taylor]: Taking taylor expansion of x in t 2.535 * [backup-simplify]: Simplify x into x 2.535 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.536 * [backup-simplify]: Simplify (- 0) into 0 2.537 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.537 * [taylor]: Taking taylor expansion of 1.0 in x 2.537 * [backup-simplify]: Simplify 1.0 into 1.0 2.537 * [backup-simplify]: Simplify -1 into -1 2.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.538 * [backup-simplify]: Simplify (- 0) into 0 2.538 * [backup-simplify]: Simplify (+ 0 0) into 0 2.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 t))))) into 0 2.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.540 * [backup-simplify]: Simplify (+ 0 0) into 0 2.540 * [taylor]: Taking taylor expansion of 0 in t 2.540 * [backup-simplify]: Simplify 0 into 0 2.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.541 * [taylor]: Taking taylor expansion of x in x 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify 1 into 1 2.541 * [backup-simplify]: Simplify (/ 1 1) into 1 2.541 * [backup-simplify]: Simplify 1 into 1 2.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.542 * [backup-simplify]: Simplify (- 0) into 0 2.543 * [backup-simplify]: Simplify (+ 0 0) into 0 2.543 * [taylor]: Taking taylor expansion of 0 in x 2.543 * [backup-simplify]: Simplify 0 into 0 2.543 * [backup-simplify]: Simplify 1.0 into 1.0 2.544 * [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.544 * [backup-simplify]: Simplify (fma (/ 1 (- a)) (- 1.0 (/ 1 (- t))) (/ 1 (- x))) into (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) 2.544 * [approximate]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in (a t x) around 0 2.544 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in x 2.544 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.544 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in x 2.544 * [taylor]: Taking taylor expansion of (/ -1 a) in x 2.544 * [taylor]: Taking taylor expansion of -1 in x 2.545 * [backup-simplify]: Simplify -1 into -1 2.545 * [taylor]: Taking taylor expansion of a in x 2.545 * [backup-simplify]: Simplify a into a 2.545 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 2.545 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x 2.545 * [taylor]: Taking taylor expansion of (/ 1 t) in x 2.545 * [taylor]: Taking taylor expansion of t in x 2.545 * [backup-simplify]: Simplify t into t 2.545 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.545 * [taylor]: Taking taylor expansion of 1.0 in x 2.545 * [backup-simplify]: Simplify 1.0 into 1.0 2.545 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.545 * [taylor]: Taking taylor expansion of -1 in x 2.545 * [backup-simplify]: Simplify -1 into -1 2.545 * [taylor]: Taking taylor expansion of x in x 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify 1 into 1 2.546 * [backup-simplify]: Simplify (/ -1 1) into -1 2.546 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in t 2.546 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.546 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in t 2.546 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.546 * [taylor]: Taking taylor expansion of -1 in t 2.546 * [backup-simplify]: Simplify -1 into -1 2.546 * [taylor]: Taking taylor expansion of a in t 2.546 * [backup-simplify]: Simplify a into a 2.546 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 2.546 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.546 * [taylor]: Taking taylor expansion of t in t 2.546 * [backup-simplify]: Simplify 0 into 0 2.546 * [backup-simplify]: Simplify 1 into 1 2.547 * [backup-simplify]: Simplify (/ 1 1) into 1 2.547 * [taylor]: Taking taylor expansion of 1.0 in t 2.547 * [backup-simplify]: Simplify 1.0 into 1.0 2.547 * [taylor]: Taking taylor expansion of (/ -1 x) in t 2.547 * [taylor]: Taking taylor expansion of -1 in t 2.547 * [backup-simplify]: Simplify -1 into -1 2.547 * [taylor]: Taking taylor expansion of x in t 2.547 * [backup-simplify]: Simplify x into x 2.547 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.547 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a 2.547 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.547 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a 2.547 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.547 * [taylor]: Taking taylor expansion of -1 in a 2.547 * [backup-simplify]: Simplify -1 into -1 2.547 * [taylor]: Taking taylor expansion of a in a 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify 1 into 1 2.548 * [backup-simplify]: Simplify (/ -1 1) into -1 2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 2.548 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.548 * [taylor]: Taking taylor expansion of t in a 2.548 * [backup-simplify]: Simplify t into t 2.548 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.548 * [taylor]: Taking taylor expansion of 1.0 in a 2.548 * [backup-simplify]: Simplify 1.0 into 1.0 2.548 * [taylor]: Taking taylor expansion of (/ -1 x) in a 2.548 * [taylor]: Taking taylor expansion of -1 in a 2.548 * [backup-simplify]: Simplify -1 into -1 2.548 * [taylor]: Taking taylor expansion of x in a 2.548 * [backup-simplify]: Simplify x into x 2.548 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.548 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a 2.549 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.549 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a 2.549 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.549 * [taylor]: Taking taylor expansion of -1 in a 2.549 * [backup-simplify]: Simplify -1 into -1 2.549 * [taylor]: Taking taylor expansion of a in a 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify 1 into 1 2.549 * [backup-simplify]: Simplify (/ -1 1) into -1 2.549 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 2.549 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.549 * [taylor]: Taking taylor expansion of t in a 2.549 * [backup-simplify]: Simplify t into t 2.549 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.549 * [taylor]: Taking taylor expansion of 1.0 in a 2.550 * [backup-simplify]: Simplify 1.0 into 1.0 2.550 * [taylor]: Taking taylor expansion of (/ -1 x) in a 2.550 * [taylor]: Taking taylor expansion of -1 in a 2.550 * [backup-simplify]: Simplify -1 into -1 2.550 * [taylor]: Taking taylor expansion of x in a 2.550 * [backup-simplify]: Simplify x into x 2.550 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.550 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0) 2.550 * [backup-simplify]: Simplify (* -1 (+ (/ 1 t) 1.0)) into (* -1 (+ (/ 1 t) 1.0)) 2.550 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 t) 1.0)) 0) into (- (+ (/ 1 t) 1.0)) 2.550 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0)) in t 2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 2.550 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.550 * [taylor]: Taking taylor expansion of t in t 2.550 * [backup-simplify]: Simplify 0 into 0 2.550 * [backup-simplify]: Simplify 1 into 1 2.551 * [backup-simplify]: Simplify (/ 1 1) into 1 2.551 * [taylor]: Taking taylor expansion of 1.0 in t 2.551 * [backup-simplify]: Simplify 1.0 into 1.0 2.551 * [backup-simplify]: Simplify (+ 1 0) into 1 2.552 * [backup-simplify]: Simplify (- 1) into -1 2.552 * [taylor]: Taking taylor expansion of -1 in x 2.552 * [backup-simplify]: Simplify -1 into -1 2.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.552 * [backup-simplify]: Simplify (+ 0 0) into 0 2.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.554 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 t) 1.0))) into 0 2.554 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 2.554 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 2.554 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.554 * [taylor]: Taking taylor expansion of x in t 2.554 * [backup-simplify]: Simplify x into x 2.554 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.555 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.556 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.556 * [taylor]: Taking taylor expansion of (- 1.0) in x 2.556 * [taylor]: Taking taylor expansion of 1.0 in x 2.556 * [backup-simplify]: Simplify 1.0 into 1.0 2.556 * [backup-simplify]: Simplify -1 into -1 2.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.556 * [backup-simplify]: Simplify (+ 0 0) into 0 2.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.558 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 t) 1.0)))) into 0 2.558 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.559 * [backup-simplify]: Simplify (+ 0 0) into 0 2.559 * [taylor]: Taking taylor expansion of 0 in t 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.559 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.559 * [taylor]: Taking taylor expansion of x in x 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify 1 into 1 2.559 * [backup-simplify]: Simplify (/ 1 1) into 1 2.560 * [backup-simplify]: Simplify (- 1) into -1 2.560 * [backup-simplify]: Simplify -1 into -1 2.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.561 * [backup-simplify]: Simplify (+ 0 0) into 0 2.562 * [backup-simplify]: Simplify (- 0) into 0 2.562 * [taylor]: Taking taylor expansion of 0 in x 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.562 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.564 * [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.564 * * * [progress]: simplifying candidates 2.564 * [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.565 * * [simplify]: Extracting # 0 : cost 0 2.565 * * [simplify]: Extracting # 1 : cost 0 2.565 * * [simplify]: Extracting # 2 : cost 0 2.565 * * [simplify]: Extracting # 3 : cost 0 2.565 * * [simplify]: Extracting # 4 : cost 0 2.565 * * [simplify]: Extracting # 5 : cost 0 2.565 * * [simplify]: iteration 0 : 22 enodes (cost 116 ) 2.574 * * [simplify]: Extracting # 0 : cost 0 2.574 * * [simplify]: Extracting # 1 : cost 0 2.574 * * [simplify]: Extracting # 2 : cost 0 2.574 * * [simplify]: iteration 1 : 37 enodes (cost 113 ) 2.589 * * [simplify]: Extracting # 0 : cost 0 2.589 * * [simplify]: Extracting # 1 : cost 0 2.589 * * [simplify]: Extracting # 2 : cost 0 2.589 * * [simplify]: Extracting # 3 : cost 0 2.589 * * [simplify]: iteration 2 : 71 enodes (cost 95 ) 2.624 * * [simplify]: Extracting # 0 : cost 0 2.625 * * [simplify]: Extracting # 1 : cost 0 2.625 * * [simplify]: Extracting # 2 : cost 0 2.625 * * [simplify]: Extracting # 3 : cost 0 2.625 * * [simplify]: iteration 3 : 245 enodes (cost 95 ) 2.923 * * [simplify]: Extracting # 0 : cost 0 2.927 * * [simplify]: Extracting # 1 : cost 0 2.930 * * [simplify]: Extracting # 2 : cost 0 2.933 * * [simplify]: Extracting # 3 : cost 0 2.936 * * [simplify]: Extracting # 4 : cost 0 2.939 * * [simplify]: Extracting # 5 : cost 0 2.941 * * [simplify]: iteration 4 : 1492 enodes (cost 95 ) 3.749 * * [simplify]: Extracting # 0 : cost 0 3.754 * * [simplify]: Extracting # 1 : cost 0 3.761 * * [simplify]: Extracting # 2 : cost 0 3.767 * * [simplify]: Extracting # 3 : cost 0 3.775 * * [simplify]: Extracting # 4 : cost 0 3.781 * * [simplify]: iteration done: 5000 enodes (cost 95 ) 3.781 * [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.781 * * * [progress]: adding candidates to table 3.860 * [progress]: [Phase 3 of 3] Extracting. 3.867 * [simplify]: Simplifying: (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))) 3.867 * * [simplify]: Extracting # 0 : cost 0 3.867 * * [simplify]: Extracting # 1 : cost 0 3.867 * * [simplify]: Extracting # 2 : cost 0 3.867 * * [simplify]: Extracting # 3 : cost 0 3.867 * * [simplify]: Extracting # 4 : cost 0 3.867 * * [simplify]: Extracting # 5 : cost 0 3.867 * * [simplify]: Extracting # 6 : cost 0 3.867 * * [simplify]: iteration 0 : 15 enodes (cost 18 ) 3.868 * * [simplify]: Extracting # 0 : cost 0 3.868 * * [simplify]: iteration 1 : 16 enodes (cost 18 ) 3.870 * * [simplify]: Extracting # 0 : cost 0 3.870 * * [simplify]: iteration done: 16 enodes (cost 18 ) 3.870 * [simplify]: Simplified to: (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))) 7.083 * [regime-testing]: Baseline error score: 0.013824848418642476 7.087 * [regime-testing]: Oracle error score: 0.013824848418642476 7.087 * [regime-testing]: End program error score: 0.013824848418642476