7.069 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.074 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.078 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.079 * [simplify]: Simplifying: (- (exp (* a x)) 1) 0.079 * * [simplify]: iteration 1: (6 enodes) 0.082 * * [simplify]: iteration 2: (13 enodes) 0.085 * * [simplify]: iteration 3: (17 enodes) 0.089 * * [simplify]: iteration 4: (29 enodes) 0.098 * * [simplify]: iteration 5: (58 enodes) 0.121 * * [simplify]: iteration 6: (143 enodes) 0.226 * * [simplify]: iteration 7: (393 enodes) 0.547 * * [simplify]: iteration 8: (1361 enodes) 7.286 * * [simplify]: Extracting #0: cost 1 inf + 0 7.287 * * [simplify]: Extracting #1: cost 186 inf + 0 7.291 * * [simplify]: Extracting #2: cost 1099 inf + 2 7.298 * * [simplify]: Extracting #3: cost 1247 inf + 1106 7.311 * * [simplify]: Extracting #4: cost 1139 inf + 56217 7.470 * * [simplify]: Extracting #5: cost 395 inf + 617295 7.834 * * [simplify]: Extracting #6: cost 8 inf + 888498 8.187 * * [simplify]: Extracting #7: cost 0 inf + 863458 8.606 * * [simplify]: Extracting #8: cost 0 inf + 860168 8.957 * * [simplify]: Extracting #9: cost 0 inf + 859507 9.331 * * [simplify]: Extracting #10: cost 0 inf + 859395 9.655 * [simplify]: Simplified to: (expm1 (* a x)) 9.661 * * [progress]: iteration 1 / 4 9.661 * * * [progress]: picking best candidate 9.664 * * * * [pick]: Picked # 9.664 * * * [progress]: localizing error 9.677 * * * [progress]: generating rewritten candidates 9.677 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.678 * * * [progress]: generating series expansions 9.678 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.678 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 9.678 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 9.678 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 9.678 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 9.678 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 9.678 * [taylor]: Taking taylor expansion of (* a x) in x 9.678 * [taylor]: Taking taylor expansion of a in x 9.678 * [backup-simplify]: Simplify a into a 9.678 * [taylor]: Taking taylor expansion of x in x 9.678 * [backup-simplify]: Simplify 0 into 0 9.678 * [backup-simplify]: Simplify 1 into 1 9.678 * [backup-simplify]: Simplify (* a 0) into 0 9.679 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.679 * [backup-simplify]: Simplify (exp 0) into 1 9.679 * [taylor]: Taking taylor expansion of 1 in x 9.679 * [backup-simplify]: Simplify 1 into 1 9.679 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 9.679 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 9.679 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.679 * [taylor]: Taking taylor expansion of (* a x) in a 9.679 * [taylor]: Taking taylor expansion of a in a 9.679 * [backup-simplify]: Simplify 0 into 0 9.679 * [backup-simplify]: Simplify 1 into 1 9.679 * [taylor]: Taking taylor expansion of x in a 9.680 * [backup-simplify]: Simplify x into x 9.680 * [backup-simplify]: Simplify (* 0 x) into 0 9.680 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.680 * [backup-simplify]: Simplify (exp 0) into 1 9.680 * [taylor]: Taking taylor expansion of 1 in a 9.680 * [backup-simplify]: Simplify 1 into 1 9.680 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 9.680 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 9.680 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.680 * [taylor]: Taking taylor expansion of (* a x) in a 9.680 * [taylor]: Taking taylor expansion of a in a 9.680 * [backup-simplify]: Simplify 0 into 0 9.680 * [backup-simplify]: Simplify 1 into 1 9.680 * [taylor]: Taking taylor expansion of x in a 9.680 * [backup-simplify]: Simplify x into x 9.681 * [backup-simplify]: Simplify (* 0 x) into 0 9.681 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.681 * [backup-simplify]: Simplify (exp 0) into 1 9.681 * [taylor]: Taking taylor expansion of 1 in a 9.681 * [backup-simplify]: Simplify 1 into 1 9.682 * [backup-simplify]: Simplify (- 1) into -1 9.682 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.682 * [taylor]: Taking taylor expansion of 0 in x 9.682 * [backup-simplify]: Simplify 0 into 0 9.682 * [backup-simplify]: Simplify 0 into 0 9.682 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 9.683 * [backup-simplify]: Simplify (- 0) into 0 9.683 * [backup-simplify]: Simplify (+ x 0) into x 9.683 * [taylor]: Taking taylor expansion of x in x 9.683 * [backup-simplify]: Simplify 0 into 0 9.683 * [backup-simplify]: Simplify 1 into 1 9.683 * [backup-simplify]: Simplify 0 into 0 9.683 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 9.685 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 9.685 * [backup-simplify]: Simplify (- 0) into 0 9.685 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 9.685 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 9.685 * [taylor]: Taking taylor expansion of 1/2 in x 9.685 * [backup-simplify]: Simplify 1/2 into 1/2 9.685 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.686 * [taylor]: Taking taylor expansion of x in x 9.686 * [backup-simplify]: Simplify 0 into 0 9.686 * [backup-simplify]: Simplify 1 into 1 9.686 * [backup-simplify]: Simplify 1 into 1 9.686 * [backup-simplify]: Simplify 0 into 0 9.687 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 9.688 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3)) 9.689 * [backup-simplify]: Simplify (- 0) into 0 9.689 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 9.689 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 9.689 * [taylor]: Taking taylor expansion of 1/6 in x 9.689 * [backup-simplify]: Simplify 1/6 into 1/6 9.689 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.689 * [taylor]: Taking taylor expansion of x in x 9.689 * [backup-simplify]: Simplify 0 into 0 9.689 * [backup-simplify]: Simplify 1 into 1 9.689 * [backup-simplify]: Simplify 0 into 0 9.689 * [backup-simplify]: Simplify 0 into 0 9.691 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 9.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4)) 9.694 * [backup-simplify]: Simplify (- 0) into 0 9.694 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 9.694 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 9.694 * [taylor]: Taking taylor expansion of 1/24 in x 9.694 * [backup-simplify]: Simplify 1/24 into 1/24 9.694 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.694 * [taylor]: Taking taylor expansion of x in x 9.694 * [backup-simplify]: Simplify 0 into 0 9.694 * [backup-simplify]: Simplify 1 into 1 9.695 * [backup-simplify]: Simplify (* 1 1) into 1 9.695 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 9.695 * [backup-simplify]: Simplify 1/2 into 1/2 9.695 * [backup-simplify]: Simplify 0 into 0 9.695 * [backup-simplify]: Simplify 0 into 0 9.698 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 9.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5)) 9.702 * [backup-simplify]: Simplify (- 0) into 0 9.702 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 9.702 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 9.702 * [taylor]: Taking taylor expansion of 1/120 in x 9.702 * [backup-simplify]: Simplify 1/120 into 1/120 9.702 * [taylor]: Taking taylor expansion of (pow x 5) in x 9.702 * [taylor]: Taking taylor expansion of x in x 9.702 * [backup-simplify]: Simplify 0 into 0 9.702 * [backup-simplify]: Simplify 1 into 1 9.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.703 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 9.703 * [backup-simplify]: Simplify 0 into 0 9.703 * [backup-simplify]: Simplify 0 into 0 9.703 * [backup-simplify]: Simplify 0 into 0 9.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 9.709 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6)) 9.709 * [backup-simplify]: Simplify (- 0) into 0 9.709 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 9.709 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 9.709 * [taylor]: Taking taylor expansion of 1/720 in x 9.709 * [backup-simplify]: Simplify 1/720 into 1/720 9.709 * [taylor]: Taking taylor expansion of (pow x 6) in x 9.709 * [taylor]: Taking taylor expansion of x in x 9.709 * [backup-simplify]: Simplify 0 into 0 9.709 * [backup-simplify]: Simplify 1 into 1 9.710 * [backup-simplify]: Simplify (* 1 1) into 1 9.710 * [backup-simplify]: Simplify (* 1 1) into 1 9.710 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.710 * [backup-simplify]: Simplify 1/6 into 1/6 9.711 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) 9.711 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 9.711 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 9.711 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 9.711 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.711 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.711 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.711 * [taylor]: Taking taylor expansion of (* a x) in x 9.711 * [taylor]: Taking taylor expansion of a in x 9.711 * [backup-simplify]: Simplify a into a 9.711 * [taylor]: Taking taylor expansion of x in x 9.711 * [backup-simplify]: Simplify 0 into 0 9.711 * [backup-simplify]: Simplify 1 into 1 9.711 * [backup-simplify]: Simplify (* a 0) into 0 9.711 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.711 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.711 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.711 * [taylor]: Taking taylor expansion of 1 in x 9.711 * [backup-simplify]: Simplify 1 into 1 9.711 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.711 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.711 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.711 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.711 * [taylor]: Taking taylor expansion of (* a x) in a 9.711 * [taylor]: Taking taylor expansion of a in a 9.712 * [backup-simplify]: Simplify 0 into 0 9.712 * [backup-simplify]: Simplify 1 into 1 9.712 * [taylor]: Taking taylor expansion of x in a 9.712 * [backup-simplify]: Simplify x into x 9.712 * [backup-simplify]: Simplify (* 0 x) into 0 9.712 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.712 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.712 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.712 * [taylor]: Taking taylor expansion of 1 in a 9.712 * [backup-simplify]: Simplify 1 into 1 9.712 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.712 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.712 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.712 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.712 * [taylor]: Taking taylor expansion of (* a x) in a 9.712 * [taylor]: Taking taylor expansion of a in a 9.712 * [backup-simplify]: Simplify 0 into 0 9.712 * [backup-simplify]: Simplify 1 into 1 9.712 * [taylor]: Taking taylor expansion of x in a 9.712 * [backup-simplify]: Simplify x into x 9.712 * [backup-simplify]: Simplify (* 0 x) into 0 9.713 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.713 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.713 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.713 * [taylor]: Taking taylor expansion of 1 in a 9.713 * [backup-simplify]: Simplify 1 into 1 9.713 * [backup-simplify]: Simplify (- 1) into -1 9.713 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.713 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 9.713 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.713 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.713 * [taylor]: Taking taylor expansion of (* a x) in x 9.713 * [taylor]: Taking taylor expansion of a in x 9.713 * [backup-simplify]: Simplify a into a 9.713 * [taylor]: Taking taylor expansion of x in x 9.713 * [backup-simplify]: Simplify 0 into 0 9.713 * [backup-simplify]: Simplify 1 into 1 9.714 * [backup-simplify]: Simplify (* a 0) into 0 9.714 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.714 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.714 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.714 * [taylor]: Taking taylor expansion of 1 in x 9.714 * [backup-simplify]: Simplify 1 into 1 9.714 * [backup-simplify]: Simplify (- 1) into -1 9.714 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.714 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 9.715 * [backup-simplify]: Simplify (- 0) into 0 9.715 * [backup-simplify]: Simplify (+ 0 0) into 0 9.715 * [taylor]: Taking taylor expansion of 0 in x 9.715 * [backup-simplify]: Simplify 0 into 0 9.715 * [backup-simplify]: Simplify 0 into 0 9.715 * [backup-simplify]: Simplify (- 0) into 0 9.715 * [backup-simplify]: Simplify (+ 0 0) into 0 9.715 * [backup-simplify]: Simplify 0 into 0 9.716 * [backup-simplify]: Simplify (- 0) into 0 9.716 * [backup-simplify]: Simplify (+ 0 0) into 0 9.716 * [taylor]: Taking taylor expansion of 0 in x 9.716 * [backup-simplify]: Simplify 0 into 0 9.716 * [backup-simplify]: Simplify 0 into 0 9.716 * [backup-simplify]: Simplify 0 into 0 9.716 * [backup-simplify]: Simplify (- 0) into 0 9.716 * [backup-simplify]: Simplify (+ 0 0) into 0 9.716 * [backup-simplify]: Simplify 0 into 0 9.717 * [backup-simplify]: Simplify (- 0) into 0 9.717 * [backup-simplify]: Simplify (+ 0 0) into 0 9.717 * [taylor]: Taking taylor expansion of 0 in x 9.717 * [backup-simplify]: Simplify 0 into 0 9.717 * [backup-simplify]: Simplify 0 into 0 9.717 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 9.717 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 9.717 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 9.717 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 9.717 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.717 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.717 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.717 * [taylor]: Taking taylor expansion of (* a x) in x 9.717 * [taylor]: Taking taylor expansion of a in x 9.717 * [backup-simplify]: Simplify a into a 9.717 * [taylor]: Taking taylor expansion of x in x 9.717 * [backup-simplify]: Simplify 0 into 0 9.717 * [backup-simplify]: Simplify 1 into 1 9.717 * [backup-simplify]: Simplify (* a 0) into 0 9.718 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.718 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.718 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.718 * [taylor]: Taking taylor expansion of 1 in x 9.718 * [backup-simplify]: Simplify 1 into 1 9.718 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.718 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.718 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.718 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.718 * [taylor]: Taking taylor expansion of (* a x) in a 9.718 * [taylor]: Taking taylor expansion of a in a 9.718 * [backup-simplify]: Simplify 0 into 0 9.718 * [backup-simplify]: Simplify 1 into 1 9.718 * [taylor]: Taking taylor expansion of x in a 9.718 * [backup-simplify]: Simplify x into x 9.718 * [backup-simplify]: Simplify (* 0 x) into 0 9.718 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.718 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.719 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.719 * [taylor]: Taking taylor expansion of 1 in a 9.719 * [backup-simplify]: Simplify 1 into 1 9.719 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.719 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.719 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.719 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.719 * [taylor]: Taking taylor expansion of (* a x) in a 9.719 * [taylor]: Taking taylor expansion of a in a 9.719 * [backup-simplify]: Simplify 0 into 0 9.719 * [backup-simplify]: Simplify 1 into 1 9.719 * [taylor]: Taking taylor expansion of x in a 9.719 * [backup-simplify]: Simplify x into x 9.719 * [backup-simplify]: Simplify (* 0 x) into 0 9.719 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.719 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.719 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.719 * [taylor]: Taking taylor expansion of 1 in a 9.719 * [backup-simplify]: Simplify 1 into 1 9.719 * [backup-simplify]: Simplify (- 1) into -1 9.720 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.720 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 9.720 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.720 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.720 * [taylor]: Taking taylor expansion of (* a x) in x 9.720 * [taylor]: Taking taylor expansion of a in x 9.720 * [backup-simplify]: Simplify a into a 9.720 * [taylor]: Taking taylor expansion of x in x 9.720 * [backup-simplify]: Simplify 0 into 0 9.720 * [backup-simplify]: Simplify 1 into 1 9.720 * [backup-simplify]: Simplify (* a 0) into 0 9.720 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.720 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.720 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.720 * [taylor]: Taking taylor expansion of 1 in x 9.720 * [backup-simplify]: Simplify 1 into 1 9.721 * [backup-simplify]: Simplify (- 1) into -1 9.721 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.721 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 9.721 * [backup-simplify]: Simplify (- 0) into 0 9.721 * [backup-simplify]: Simplify (+ 0 0) into 0 9.721 * [taylor]: Taking taylor expansion of 0 in x 9.721 * [backup-simplify]: Simplify 0 into 0 9.721 * [backup-simplify]: Simplify 0 into 0 9.722 * [backup-simplify]: Simplify (- 0) into 0 9.722 * [backup-simplify]: Simplify (+ 0 0) into 0 9.722 * [backup-simplify]: Simplify 0 into 0 9.722 * [backup-simplify]: Simplify (- 0) into 0 9.722 * [backup-simplify]: Simplify (+ 0 0) into 0 9.722 * [taylor]: Taking taylor expansion of 0 in x 9.722 * [backup-simplify]: Simplify 0 into 0 9.722 * [backup-simplify]: Simplify 0 into 0 9.722 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify (- 0) into 0 9.723 * [backup-simplify]: Simplify (+ 0 0) into 0 9.723 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify (- 0) into 0 9.723 * [backup-simplify]: Simplify (+ 0 0) into 0 9.723 * [taylor]: Taking taylor expansion of 0 in x 9.723 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify 0 into 0 9.724 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 9.724 * * * [progress]: simplifying candidates 9.724 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))> 9.724 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 9.724 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 9.724 * [simplify]: Simplifying: (exp (* a x)) (expm1 (expm1 (* a x))) (log1p (expm1 (* a x))) (log (expm1 (* a x))) (exp (expm1 (* a x))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))) (real->posit16 (expm1 (* a x))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) (- (exp (* a x)) 1) (- (exp (* a x)) 1) 9.725 * * [simplify]: iteration 1: (31 enodes) 9.737 * * [simplify]: iteration 2: (72 enodes) 9.771 * * [simplify]: iteration 3: (220 enodes) 9.915 * * [simplify]: iteration 4: (788 enodes) 10.868 * * [simplify]: Extracting #0: cost 12 inf + 0 10.868 * * [simplify]: Extracting #1: cost 116 inf + 0 10.872 * * [simplify]: Extracting #2: cost 415 inf + 1608 10.883 * * [simplify]: Extracting #3: cost 333 inf + 18206 10.912 * * [simplify]: Extracting #4: cost 108 inf + 92726 10.946 * * [simplify]: Extracting #5: cost 10 inf + 142056 10.972 * * [simplify]: Extracting #6: cost 0 inf + 146061 11.017 * [simplify]: Simplified to: (exp (* a x)) (expm1 (expm1 (* a x))) (* a x) (log (expm1 (* a x))) (exp (expm1 (* a x))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))) (real->posit16 (expm1 (* a x))) (fma 1/2 (* (* a x) (* a x)) (fma 1/6 (* (* (* a x) (* a x)) (* a x)) (* a x))) (expm1 (* a x)) (expm1 (* a x)) 11.017 * * * [progress]: adding candidates to table 11.130 * [progress]: [Phase 3 of 3] Extracting. 11.132 * [simplify]: Simplifying: (expm1 (* a x)) 11.132 * * [simplify]: iteration 1: (4 enodes) 11.132 * * [simplify]: iteration 2: (5 enodes) 11.132 * * [simplify]: Extracting #0: cost 1 inf + 0 11.132 * * [simplify]: Extracting #1: cost 2 inf + 0 11.132 * * [simplify]: Extracting #2: cost 4 inf + 0 11.132 * * [simplify]: Extracting #3: cost 2 inf + 2 11.133 * * [simplify]: Extracting #4: cost 0 inf + 156 11.133 * [simplify]: Simplified to: (expm1 (* a x)) 14.021 * [regime-testing]: Baseline error score: 0.02152406232555327 14.025 * [regime-testing]: Oracle error score: 0.02152406232555327 14.025 * [regime-testing]: End program error score: 0.02152406232555327 14.136 * [regime-testing]: Target error score: 0.16827594757438438