18.410 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.089 * * * [progress]: [2/2] Setting up program. 0.094 * [progress]: [Phase 2 of 3] Improving. 0.095 * [simplify]: Simplifying: (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.095 * * [simplify]: Extracting # 0 : cost 0 0.095 * * [simplify]: Extracting # 1 : cost 0 0.095 * * [simplify]: Extracting # 2 : cost 0 0.095 * * [simplify]: Extracting # 3 : cost 0 0.095 * * [simplify]: Extracting # 4 : cost 0 0.095 * * [simplify]: Extracting # 5 : cost 0 0.096 * * [simplify]: Extracting # 6 : cost 0 0.096 * * [simplify]: Extracting # 7 : cost 0 0.096 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.102 * * [simplify]: Extracting # 0 : cost 0 0.102 * * [simplify]: Extracting # 1 : cost 0 0.102 * * [simplify]: Extracting # 2 : cost 0 0.102 * * [simplify]: iteration 1 : 38 enodes (cost 21 ) 0.147 * * [simplify]: Extracting # 0 : cost 0 0.148 * * [simplify]: Extracting # 1 : cost 0 0.148 * * [simplify]: Extracting # 2 : cost 0 0.148 * * [simplify]: iteration 2 : 118 enodes (cost 19 ) 0.222 * * [simplify]: Extracting # 0 : cost 0 0.223 * * [simplify]: Extracting # 1 : cost 0 0.224 * * [simplify]: Extracting # 2 : cost 0 0.224 * * [simplify]: iteration 3 : 416 enodes (cost 19 ) 0.656 * * [simplify]: Extracting # 0 : cost 0 0.658 * * [simplify]: Extracting # 1 : cost 0 0.659 * * [simplify]: Extracting # 2 : cost 0 0.661 * * [simplify]: Extracting # 3 : cost 0 0.662 * * [simplify]: iteration 4 : 1377 enodes (cost 18 ) 2.619 * * [simplify]: Extracting # 0 : cost 0 2.625 * * [simplify]: Extracting # 1 : cost 0 2.630 * * [simplify]: Extracting # 2 : cost 0 2.642 * * [simplify]: Extracting # 3 : cost 0 2.648 * * [simplify]: Extracting # 4 : cost 0 2.658 * * [simplify]: iteration done: 5000 enodes (cost 18 ) 2.658 * [simplify]: Simplified to: (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))) 2.667 * * [progress]: iteration 1 / 4 2.667 * * * [progress]: picking best candidate 2.673 * * * * [pick]: Picked # 2.673 * * * [progress]: localizing error 2.699 * * * [progress]: generating rewritten candidates 2.699 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3 3) 2.700 * * * [progress]: generating series expansions 2.700 * * * * [progress]: [ 1 / 1 ] generating series at (2 3 3) 2.700 * [backup-simplify]: Simplify (fma a (- 1.0 t) x) into (fma a (- 1.0 t) x) 2.700 * [approximate]: Taking taylor expansion of (fma a (- 1.0 t) x) in (a t x) around 0 2.700 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in x 2.701 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.701 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in x 2.701 * [taylor]: Taking taylor expansion of a in x 2.701 * [backup-simplify]: Simplify a into a 2.701 * [taylor]: Taking taylor expansion of (- 1.0 t) in x 2.701 * [taylor]: Taking taylor expansion of 1.0 in x 2.701 * [backup-simplify]: Simplify 1.0 into 1.0 2.701 * [taylor]: Taking taylor expansion of t in x 2.701 * [backup-simplify]: Simplify t into t 2.701 * [taylor]: Taking taylor expansion of x in x 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify 1 into 1 2.701 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in t 2.702 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.702 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in t 2.702 * [taylor]: Taking taylor expansion of a in t 2.702 * [backup-simplify]: Simplify a into a 2.702 * [taylor]: Taking taylor expansion of (- 1.0 t) in t 2.702 * [taylor]: Taking taylor expansion of 1.0 in t 2.702 * [backup-simplify]: Simplify 1.0 into 1.0 2.702 * [taylor]: Taking taylor expansion of t in t 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [taylor]: Taking taylor expansion of x in t 2.702 * [backup-simplify]: Simplify x into x 2.702 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a 2.702 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.702 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a 2.702 * [taylor]: Taking taylor expansion of a in a 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [taylor]: Taking taylor expansion of (- 1.0 t) in a 2.702 * [taylor]: Taking taylor expansion of 1.0 in a 2.702 * [backup-simplify]: Simplify 1.0 into 1.0 2.702 * [taylor]: Taking taylor expansion of t in a 2.702 * [backup-simplify]: Simplify t into t 2.702 * [taylor]: Taking taylor expansion of x in a 2.702 * [backup-simplify]: Simplify x into x 2.702 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a 2.702 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x) 2.702 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a 2.702 * [taylor]: Taking taylor expansion of a in a 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [taylor]: Taking taylor expansion of (- 1.0 t) in a 2.702 * [taylor]: Taking taylor expansion of 1.0 in a 2.702 * [backup-simplify]: Simplify 1.0 into 1.0 2.702 * [taylor]: Taking taylor expansion of t in a 2.702 * [backup-simplify]: Simplify t into t 2.702 * [taylor]: Taking taylor expansion of x in a 2.702 * [backup-simplify]: Simplify x into x 2.702 * [backup-simplify]: Simplify (- t) into (- t) 2.702 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t) 2.703 * [backup-simplify]: Simplify (* 0 (- 1.0 t)) into 0 2.703 * [backup-simplify]: Simplify (+ 0 x) into x 2.703 * [taylor]: Taking taylor expansion of x in t 2.703 * [backup-simplify]: Simplify x into x 2.703 * [taylor]: Taking taylor expansion of x in x 2.703 * [backup-simplify]: Simplify 0 into 0 2.703 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify 0 into 0 2.703 * [backup-simplify]: Simplify (- 0) into 0 2.703 * [backup-simplify]: Simplify (+ 0 0) into 0 2.704 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 t))) into (- 1.0 t) 2.704 * [backup-simplify]: Simplify (+ (- 1.0 t) 0) into (- 1.0 t) 2.704 * [taylor]: Taking taylor expansion of (- 1.0 t) in t 2.704 * [taylor]: Taking taylor expansion of 1.0 in t 2.704 * [backup-simplify]: Simplify 1.0 into 1.0 2.704 * [taylor]: Taking taylor expansion of t in t 2.704 * [backup-simplify]: Simplify 0 into 0 2.704 * [backup-simplify]: Simplify 1 into 1 2.704 * [backup-simplify]: Simplify (- 0) into 0 2.704 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.704 * [taylor]: Taking taylor expansion of 1.0 in x 2.704 * [backup-simplify]: Simplify 1.0 into 1.0 2.704 * [backup-simplify]: Simplify 1.0 into 1.0 2.704 * [taylor]: Taking taylor expansion of 0 in x 2.705 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify 1 into 1 2.705 * [backup-simplify]: Simplify (- 0) into 0 2.705 * [backup-simplify]: Simplify (+ 0 0) into 0 2.706 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 t)))) into 0 2.706 * [backup-simplify]: Simplify (+ 0 0) into 0 2.706 * [taylor]: Taking taylor expansion of 0 in t 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [taylor]: Taking taylor expansion of 0 in x 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify (- 1) into -1 2.706 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.706 * [taylor]: Taking taylor expansion of -1 in x 2.706 * [backup-simplify]: Simplify -1 into -1 2.706 * [backup-simplify]: Simplify -1 into -1 2.707 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* t a))) (+ (* 1 (* x (* 1 1))) (* 1.0 (* 1 (* 1 a))))) into (- (+ x (* 1.0 a)) (* t a)) 2.707 * [backup-simplify]: Simplify (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) into (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) 2.707 * [approximate]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in (a t x) around 0 2.707 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in x 2.707 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.707 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in x 2.707 * [taylor]: Taking taylor expansion of (/ 1 a) in x 2.707 * [taylor]: Taking taylor expansion of a in x 2.707 * [backup-simplify]: Simplify a into a 2.707 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.707 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in x 2.707 * [taylor]: Taking taylor expansion of 1.0 in x 2.707 * [backup-simplify]: Simplify 1.0 into 1.0 2.707 * [taylor]: Taking taylor expansion of (/ 1 t) in x 2.707 * [taylor]: Taking taylor expansion of t in x 2.707 * [backup-simplify]: Simplify t into t 2.707 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.707 * [taylor]: Taking taylor expansion of x in x 2.707 * [backup-simplify]: Simplify 0 into 0 2.707 * [backup-simplify]: Simplify 1 into 1 2.708 * [backup-simplify]: Simplify (/ 1 1) into 1 2.708 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in t 2.708 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.708 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in t 2.708 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.708 * [taylor]: Taking taylor expansion of a in t 2.708 * [backup-simplify]: Simplify a into a 2.708 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.708 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 2.708 * [taylor]: Taking taylor expansion of 1.0 in t 2.708 * [backup-simplify]: Simplify 1.0 into 1.0 2.708 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.708 * [taylor]: Taking taylor expansion of t in t 2.708 * [backup-simplify]: Simplify 0 into 0 2.708 * [backup-simplify]: Simplify 1 into 1 2.708 * [backup-simplify]: Simplify (/ 1 1) into 1 2.708 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.708 * [taylor]: Taking taylor expansion of x in t 2.708 * [backup-simplify]: Simplify x into x 2.708 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.708 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a 2.709 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.709 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a 2.709 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.709 * [taylor]: Taking taylor expansion of a in a 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [backup-simplify]: Simplify 1 into 1 2.709 * [backup-simplify]: Simplify (/ 1 1) into 1 2.709 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a 2.709 * [taylor]: Taking taylor expansion of 1.0 in a 2.709 * [backup-simplify]: Simplify 1.0 into 1.0 2.709 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.709 * [taylor]: Taking taylor expansion of t in a 2.709 * [backup-simplify]: Simplify t into t 2.709 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.709 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.709 * [taylor]: Taking taylor expansion of x in a 2.709 * [backup-simplify]: Simplify x into x 2.709 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.709 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a 2.709 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x)) 2.709 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a 2.709 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.709 * [taylor]: Taking taylor expansion of a in a 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [backup-simplify]: Simplify 1 into 1 2.710 * [backup-simplify]: Simplify (/ 1 1) into 1 2.710 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a 2.710 * [taylor]: Taking taylor expansion of 1.0 in a 2.710 * [backup-simplify]: Simplify 1.0 into 1.0 2.710 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.710 * [taylor]: Taking taylor expansion of t in a 2.710 * [backup-simplify]: Simplify t into t 2.710 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.710 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.710 * [taylor]: Taking taylor expansion of x in a 2.710 * [backup-simplify]: Simplify x into x 2.710 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.710 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 2.710 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 t))) into (- 1.0 (/ 1 t)) 2.710 * [backup-simplify]: Simplify (* 1 (- 1.0 (/ 1 t))) into (- 1.0 (/ 1 t)) 2.710 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 t)) 0) into (- 1.0 (/ 1 t)) 2.710 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 2.710 * [taylor]: Taking taylor expansion of 1.0 in t 2.710 * [backup-simplify]: Simplify 1.0 into 1.0 2.710 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.710 * [taylor]: Taking taylor expansion of t in t 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify 1 into 1 2.710 * [backup-simplify]: Simplify (/ 1 1) into 1 2.711 * [backup-simplify]: Simplify (- 1) into -1 2.711 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.711 * [taylor]: Taking taylor expansion of -1 in x 2.711 * [backup-simplify]: Simplify -1 into -1 2.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.711 * [backup-simplify]: Simplify (- 0) into 0 2.712 * [backup-simplify]: Simplify (+ 0 0) into 0 2.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1.0 (/ 1 t)))) into 0 2.712 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 2.712 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.712 * [taylor]: Taking taylor expansion of x in t 2.712 * [backup-simplify]: Simplify x into x 2.712 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.713 * [backup-simplify]: Simplify (- 0) into 0 2.713 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.713 * [taylor]: Taking taylor expansion of 1.0 in x 2.713 * [backup-simplify]: Simplify 1.0 into 1.0 2.713 * [backup-simplify]: Simplify -1 into -1 2.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.714 * [backup-simplify]: Simplify (- 0) into 0 2.714 * [backup-simplify]: Simplify (+ 0 0) into 0 2.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 t))))) into 0 2.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.715 * [backup-simplify]: Simplify (+ 0 0) into 0 2.715 * [taylor]: Taking taylor expansion of 0 in t 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.715 * [taylor]: Taking taylor expansion of x in x 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (/ 1 1) into 1 2.716 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.716 * [backup-simplify]: Simplify (- 0) into 0 2.717 * [backup-simplify]: Simplify (+ 0 0) into 0 2.717 * [taylor]: Taking taylor expansion of 0 in x 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify 1.0 into 1.0 2.717 * [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.717 * [backup-simplify]: Simplify (fma (/ 1 (- a)) (- 1.0 (/ 1 (- t))) (/ 1 (- x))) into (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) 2.717 * [approximate]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in (a t x) around 0 2.717 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in x 2.718 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.718 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in x 2.718 * [taylor]: Taking taylor expansion of (/ -1 a) in x 2.718 * [taylor]: Taking taylor expansion of -1 in x 2.718 * [backup-simplify]: Simplify -1 into -1 2.718 * [taylor]: Taking taylor expansion of a in x 2.718 * [backup-simplify]: Simplify a into a 2.718 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 2.718 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x 2.718 * [taylor]: Taking taylor expansion of (/ 1 t) in x 2.718 * [taylor]: Taking taylor expansion of t in x 2.718 * [backup-simplify]: Simplify t into t 2.718 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.718 * [taylor]: Taking taylor expansion of 1.0 in x 2.718 * [backup-simplify]: Simplify 1.0 into 1.0 2.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.718 * [taylor]: Taking taylor expansion of -1 in x 2.718 * [backup-simplify]: Simplify -1 into -1 2.718 * [taylor]: Taking taylor expansion of x in x 2.718 * [backup-simplify]: Simplify 0 into 0 2.718 * [backup-simplify]: Simplify 1 into 1 2.718 * [backup-simplify]: Simplify (/ -1 1) into -1 2.718 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in t 2.718 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.718 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in t 2.718 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.718 * [taylor]: Taking taylor expansion of -1 in t 2.718 * [backup-simplify]: Simplify -1 into -1 2.719 * [taylor]: Taking taylor expansion of a in t 2.719 * [backup-simplify]: Simplify a into a 2.719 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 2.719 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 2.719 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.719 * [taylor]: Taking taylor expansion of t in t 2.719 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify 1 into 1 2.719 * [backup-simplify]: Simplify (/ 1 1) into 1 2.719 * [taylor]: Taking taylor expansion of 1.0 in t 2.719 * [backup-simplify]: Simplify 1.0 into 1.0 2.719 * [taylor]: Taking taylor expansion of (/ -1 x) in t 2.719 * [taylor]: Taking taylor expansion of -1 in t 2.719 * [backup-simplify]: Simplify -1 into -1 2.719 * [taylor]: Taking taylor expansion of x in t 2.719 * [backup-simplify]: Simplify x into x 2.719 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.719 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a 2.719 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.719 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a 2.719 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.719 * [taylor]: Taking taylor expansion of -1 in a 2.719 * [backup-simplify]: Simplify -1 into -1 2.719 * [taylor]: Taking taylor expansion of a in a 2.719 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify 1 into 1 2.720 * [backup-simplify]: Simplify (/ -1 1) into -1 2.720 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 2.720 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.720 * [taylor]: Taking taylor expansion of t in a 2.720 * [backup-simplify]: Simplify t into t 2.720 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.720 * [taylor]: Taking taylor expansion of 1.0 in a 2.720 * [backup-simplify]: Simplify 1.0 into 1.0 2.720 * [taylor]: Taking taylor expansion of (/ -1 x) in a 2.720 * [taylor]: Taking taylor expansion of -1 in a 2.720 * [backup-simplify]: Simplify -1 into -1 2.720 * [taylor]: Taking taylor expansion of x in a 2.720 * [backup-simplify]: Simplify x into x 2.720 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.720 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a 2.720 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x)) 2.720 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a 2.720 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.720 * [taylor]: Taking taylor expansion of -1 in a 2.720 * [backup-simplify]: Simplify -1 into -1 2.720 * [taylor]: Taking taylor expansion of a in a 2.720 * [backup-simplify]: Simplify 0 into 0 2.720 * [backup-simplify]: Simplify 1 into 1 2.720 * [backup-simplify]: Simplify (/ -1 1) into -1 2.720 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 2.720 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.720 * [taylor]: Taking taylor expansion of t in a 2.720 * [backup-simplify]: Simplify t into t 2.720 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.720 * [taylor]: Taking taylor expansion of 1.0 in a 2.721 * [backup-simplify]: Simplify 1.0 into 1.0 2.721 * [taylor]: Taking taylor expansion of (/ -1 x) in a 2.721 * [taylor]: Taking taylor expansion of -1 in a 2.721 * [backup-simplify]: Simplify -1 into -1 2.721 * [taylor]: Taking taylor expansion of x in a 2.721 * [backup-simplify]: Simplify x into x 2.721 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.721 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0) 2.721 * [backup-simplify]: Simplify (* -1 (+ (/ 1 t) 1.0)) into (* -1 (+ (/ 1 t) 1.0)) 2.721 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 t) 1.0)) 0) into (- (+ (/ 1 t) 1.0)) 2.721 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0)) in t 2.721 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 2.721 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.721 * [taylor]: Taking taylor expansion of t in t 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify 1 into 1 2.721 * [backup-simplify]: Simplify (/ 1 1) into 1 2.721 * [taylor]: Taking taylor expansion of 1.0 in t 2.721 * [backup-simplify]: Simplify 1.0 into 1.0 2.722 * [backup-simplify]: Simplify (+ 1 0) into 1 2.722 * [backup-simplify]: Simplify (- 1) into -1 2.722 * [taylor]: Taking taylor expansion of -1 in x 2.722 * [backup-simplify]: Simplify -1 into -1 2.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.722 * [backup-simplify]: Simplify (+ 0 0) into 0 2.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.724 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 t) 1.0))) into 0 2.724 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 2.724 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 2.724 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.724 * [taylor]: Taking taylor expansion of x in t 2.724 * [backup-simplify]: Simplify x into x 2.724 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.725 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.726 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.726 * [taylor]: Taking taylor expansion of (- 1.0) in x 2.726 * [taylor]: Taking taylor expansion of 1.0 in x 2.726 * [backup-simplify]: Simplify 1.0 into 1.0 2.726 * [backup-simplify]: Simplify -1 into -1 2.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.726 * [backup-simplify]: Simplify (+ 0 0) into 0 2.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.728 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 t) 1.0)))) into 0 2.728 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.729 * [backup-simplify]: Simplify (+ 0 0) into 0 2.729 * [taylor]: Taking taylor expansion of 0 in t 2.729 * [backup-simplify]: Simplify 0 into 0 2.729 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.729 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.729 * [taylor]: Taking taylor expansion of x in x 2.729 * [backup-simplify]: Simplify 0 into 0 2.729 * [backup-simplify]: Simplify 1 into 1 2.729 * [backup-simplify]: Simplify (/ 1 1) into 1 2.730 * [backup-simplify]: Simplify (- 1) into -1 2.730 * [backup-simplify]: Simplify -1 into -1 2.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.731 * [backup-simplify]: Simplify (+ 0 0) into 0 2.732 * [backup-simplify]: Simplify (- 0) into 0 2.732 * [taylor]: Taking taylor expansion of 0 in x 2.732 * [backup-simplify]: Simplify 0 into 0 2.732 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.732 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.734 * [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.734 * * * [progress]: simplifying candidates 2.735 * [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.735 * * [simplify]: Extracting # 0 : cost 0 2.735 * * [simplify]: Extracting # 1 : cost 0 2.735 * * [simplify]: Extracting # 2 : cost 0 2.735 * * [simplify]: Extracting # 3 : cost 0 2.735 * * [simplify]: Extracting # 4 : cost 0 2.735 * * [simplify]: Extracting # 5 : cost 0 2.736 * * [simplify]: iteration 0 : 22 enodes (cost 116 ) 2.743 * * [simplify]: Extracting # 0 : cost 0 2.743 * * [simplify]: Extracting # 1 : cost 0 2.743 * * [simplify]: Extracting # 2 : cost 0 2.743 * * [simplify]: iteration 1 : 37 enodes (cost 113 ) 2.770 * * [simplify]: Extracting # 0 : cost 0 2.770 * * [simplify]: Extracting # 1 : cost 0 2.770 * * [simplify]: Extracting # 2 : cost 0 2.771 * * [simplify]: Extracting # 3 : cost 0 2.771 * * [simplify]: iteration 2 : 71 enodes (cost 95 ) 2.812 * * [simplify]: Extracting # 0 : cost 0 2.812 * * [simplify]: Extracting # 1 : cost 0 2.813 * * [simplify]: Extracting # 2 : cost 0 2.813 * * [simplify]: Extracting # 3 : cost 0 2.814 * * [simplify]: iteration 3 : 245 enodes (cost 95 ) 3.119 * * [simplify]: Extracting # 0 : cost 0 3.121 * * [simplify]: Extracting # 1 : cost 0 3.122 * * [simplify]: Extracting # 2 : cost 0 3.124 * * [simplify]: Extracting # 3 : cost 0 3.125 * * [simplify]: Extracting # 4 : cost 0 3.126 * * [simplify]: Extracting # 5 : cost 0 3.128 * * [simplify]: iteration 4 : 1492 enodes (cost 95 ) 3.964 * * [simplify]: Extracting # 0 : cost 0 3.970 * * [simplify]: Extracting # 1 : cost 0 3.977 * * [simplify]: Extracting # 2 : cost 0 3.984 * * [simplify]: Extracting # 3 : cost 0 3.998 * * [simplify]: Extracting # 4 : cost 0 4.010 * * [simplify]: iteration done: 5000 enodes (cost 95 ) 4.010 * [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) 4.010 * * * [progress]: adding candidates to table 4.105 * [progress]: [Phase 3 of 3] Extracting. 4.111 * [simplify]: Simplifying: (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))) 4.112 * * [simplify]: Extracting # 0 : cost 0 4.112 * * [simplify]: Extracting # 1 : cost 0 4.112 * * [simplify]: Extracting # 2 : cost 0 4.112 * * [simplify]: Extracting # 3 : cost 0 4.112 * * [simplify]: Extracting # 4 : cost 0 4.112 * * [simplify]: Extracting # 5 : cost 0 4.112 * * [simplify]: Extracting # 6 : cost 0 4.112 * * [simplify]: iteration 0 : 15 enodes (cost 18 ) 4.113 * * [simplify]: Extracting # 0 : cost 0 4.113 * * [simplify]: iteration 1 : 16 enodes (cost 18 ) 4.114 * * [simplify]: Extracting # 0 : cost 0 4.114 * * [simplify]: iteration done: 16 enodes (cost 18 ) 4.114 * [simplify]: Simplified to: (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))) 7.214 * [regime-testing]: Baseline error score: 0.013824848418642476 7.217 * [regime-testing]: Oracle error score: 0.013824848418642476 7.217 * [regime-testing]: End program error score: 0.013824848418642476