10.177 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.019 * * [simplify]: iteration 0 : 19 enodes (cost 4 ) 0.020 * * [simplify]: iteration 1 : 45 enodes (cost 4 ) 0.022 * * [simplify]: iteration 2 : 82 enodes (cost 3 ) 0.024 * * [simplify]: iteration 3 : 127 enodes (cost 3 ) 0.026 * * [simplify]: iteration 4 : 168 enodes (cost 3 ) 0.029 * * [simplify]: iteration 5 : 224 enodes (cost 3 ) 0.032 * * [simplify]: iteration 6 : 359 enodes (cost 3 ) 0.036 * * [simplify]: iteration 7 : 666 enodes (cost 3 ) 0.040 * * [simplify]: iteration 8 : 763 enodes (cost 3 ) 0.044 * * [simplify]: iteration 9 : 763 enodes (cost 3 ) 0.044 * [simplify]: Simplified to: (fma (- x) (fma 0.12 x 0.253) 1.0) 0.046 * * [progress]: iteration 1 / 4 0.046 * * * [progress]: picking best candidate 0.049 * * * * [pick]: Picked # 0.049 * * * [progress]: localizing error 0.054 * * * [progress]: generating rewritten candidates 0.054 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.055 * * * [progress]: generating series expansions 0.055 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.055 * [approximate]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in (x) around 0 0.055 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.055 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.055 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.055 * [taylor]: Taking taylor expansion of (- x) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.055 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.055 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.055 * [taylor]: Taking taylor expansion of 0.12 in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of 0.253 in x 0.055 * [taylor]: Taking taylor expansion of 1.0 in x 0.055 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.055 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.055 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.055 * [taylor]: Taking taylor expansion of (- x) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.056 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.056 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.056 * [taylor]: Taking taylor expansion of 0.12 in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of 0.253 in x 0.056 * [taylor]: Taking taylor expansion of 1.0 in x 0.065 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in (x) around 0 0.065 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in x 0.065 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) 0.065 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) in x 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.065 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.065 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.065 * [taylor]: Taking taylor expansion of 0.12 in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of 0.253 in x 0.065 * [taylor]: Taking taylor expansion of 1.0 in x 0.066 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in x 0.066 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) 0.066 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) in x 0.066 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.066 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.066 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.066 * [taylor]: Taking taylor expansion of 0.12 in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of 0.253 in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.075 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in (x) around 0 0.075 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.075 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.075 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.076 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.076 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.076 * [taylor]: Taking taylor expansion of 0.12 in x 0.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.076 * [taylor]: Taking taylor expansion of -1 in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of 0.253 in x 0.076 * [taylor]: Taking taylor expansion of 1.0 in x 0.076 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.076 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.076 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.077 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.077 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.077 * [taylor]: Taking taylor expansion of 0.12 in x 0.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.077 * [taylor]: Taking taylor expansion of -1 in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of 0.253 in x 0.077 * [taylor]: Taking taylor expansion of 1.0 in x 0.084 * * * [progress]: simplifying candidates 0.085 * [simplify]: Simplifying using # : (* (- x) (fma 0.12 x 0.253)) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.087 * * [simplify]: iteration 0 : 30 enodes (cost 18 ) 0.088 * * [simplify]: iteration 1 : 71 enodes (cost 18 ) 0.090 * * [simplify]: iteration 2 : 209 enodes (cost 12 ) 0.094 * * [simplify]: iteration 3 : 544 enodes (cost 12 ) 0.106 * * [simplify]: iteration 4 : 1937 enodes (cost 12 ) 0.154 * * [simplify]: iteration 5 : 5001 enodes (cost 12 ) 0.154 * [simplify]: Simplified to: (* (- x) (fma 0.12 x 0.253)) (fma (- x) (fma 0.12 x 0.253) 1.0) (fma (- x) (fma 0.12 x 0.253) 1.0) (fma (- x) (fma 0.12 x 0.253) 1.0) 0.154 * * * [progress]: adding candidates to table 0.156 * * [progress]: iteration 2 / 4 0.157 * * * [progress]: picking best candidate 0.158 * * * * [pick]: Picked # 0.158 * * * [progress]: localizing error 0.163 * * * [progress]: generating rewritten candidates 0.163 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.166 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.169 * * * [progress]: generating series expansions 0.169 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.169 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 0.169 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.169 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.169 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.169 * [taylor]: Taking taylor expansion of 0.12 in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of 0.253 in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.170 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.170 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.170 * [taylor]: Taking taylor expansion of 0.12 in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of 0.253 in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.189 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 0.189 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.189 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.189 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.189 * [taylor]: Taking taylor expansion of 0.12 in x 0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of 0.253 in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.191 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.191 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.191 * [taylor]: Taking taylor expansion of 0.12 in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of 0.253 in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.206 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 0.206 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.206 * [taylor]: Taking taylor expansion of -1 in x 0.206 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.206 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.206 * [taylor]: Taking taylor expansion of 0.253 in x 0.206 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.206 * [taylor]: Taking taylor expansion of 0.12 in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.208 * [taylor]: Taking taylor expansion of -1 in x 0.208 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.208 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.208 * [taylor]: Taking taylor expansion of 0.253 in x 0.208 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of 0.12 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.231 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.231 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.232 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.232 * [taylor]: Taking taylor expansion of 0.12 in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of 0.253 in x 0.232 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.232 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.232 * [taylor]: Taking taylor expansion of 0.12 in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of 0.253 in x 0.239 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.239 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.239 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.239 * [taylor]: Taking taylor expansion of 0.12 in x 0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of 0.253 in x 0.239 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.239 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.239 * [taylor]: Taking taylor expansion of 0.12 in x 0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of 0.253 in x 0.251 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.251 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.251 * [taylor]: Taking taylor expansion of 0.253 in x 0.251 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.251 * [taylor]: Taking taylor expansion of 0.12 in x 0.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.251 * [taylor]: Taking taylor expansion of x in x 0.252 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.252 * [taylor]: Taking taylor expansion of 0.253 in x 0.252 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.252 * [taylor]: Taking taylor expansion of 0.12 in x 0.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.252 * [taylor]: Taking taylor expansion of x in x 0.264 * * * [progress]: simplifying candidates 0.264 * [simplify]: Simplifying using # : (* x 0.253) (* x (* x 0.12)) (* x (* x 0.12)) (* x 0.253) (* 0.253 x) (* (* x 0.12) x) (* (* x 0.12) x) (* 0.253 x) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 0.267 * * [simplify]: iteration 0 : 76 enodes (cost 52 ) 0.269 * * [simplify]: iteration 1 : 225 enodes (cost 46 ) 0.274 * * [simplify]: iteration 2 : 873 enodes (cost 46 ) 0.289 * * [simplify]: iteration 3 : 2905 enodes (cost 46 ) 0.354 * * [simplify]: iteration 4 : 5002 enodes (cost 46 ) 0.355 * [simplify]: Simplified to: (* x 0.253) (* x (* x 0.12)) (* x (* x 0.12)) (* x 0.253) (* x 0.253) (* x (* x 0.12)) (* x (* x 0.12)) (* x 0.253) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (fma (* x 0.12) (- (* x 0.12) 0.253) (* 0.253 0.253)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (fma 0.12 x 0.253) (fma 0.12 x 0.253) (fma 0.12 x 0.253) 0.355 * * * [progress]: adding candidates to table 0.373 * * [progress]: iteration 3 / 4 0.373 * * * [progress]: picking best candidate 0.377 * * * * [pick]: Picked # 0.377 * * * [progress]: localizing error 0.386 * * * [progress]: generating rewritten candidates 0.386 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.393 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.397 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.402 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.405 * * * [progress]: generating series expansions 0.405 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.405 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.405 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.405 * [taylor]: Taking taylor expansion of x in x 0.405 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.405 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.405 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.405 * [taylor]: Taking taylor expansion of 0.12 in x 0.405 * [taylor]: Taking taylor expansion of x in x 0.405 * [taylor]: Taking taylor expansion of 0.253 in x 0.405 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.405 * [taylor]: Taking taylor expansion of x in x 0.405 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.405 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.405 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.405 * [taylor]: Taking taylor expansion of 0.12 in x 0.405 * [taylor]: Taking taylor expansion of x in x 0.405 * [taylor]: Taking taylor expansion of 0.253 in x 0.422 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 0.422 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.422 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.422 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.422 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.422 * [taylor]: Taking taylor expansion of 0.12 in x 0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.422 * [taylor]: Taking taylor expansion of x in x 0.422 * [taylor]: Taking taylor expansion of 0.253 in x 0.422 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.423 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.423 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.423 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.423 * [taylor]: Taking taylor expansion of 0.12 in x 0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of 0.253 in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.439 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 0.439 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.439 * [taylor]: Taking taylor expansion of -1 in x 0.439 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.439 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.439 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.439 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.439 * [taylor]: Taking taylor expansion of 0.12 in x 0.439 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.439 * [taylor]: Taking taylor expansion of -1 in x 0.439 * [taylor]: Taking taylor expansion of x in x 0.439 * [taylor]: Taking taylor expansion of 0.253 in x 0.439 * [taylor]: Taking taylor expansion of x in x 0.440 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.440 * [taylor]: Taking taylor expansion of -1 in x 0.440 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.440 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.441 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.441 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.441 * [taylor]: Taking taylor expansion of 0.12 in x 0.441 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.441 * [taylor]: Taking taylor expansion of -1 in x 0.441 * [taylor]: Taking taylor expansion of x in x 0.441 * [taylor]: Taking taylor expansion of 0.253 in x 0.441 * [taylor]: Taking taylor expansion of x in x 0.463 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.463 * [approximate]: Taking taylor expansion of (* x (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x)))) in (x) around 0 0.463 * [taylor]: Taking taylor expansion of (* x (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x)))) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 0.463 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.463 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.463 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.463 * [taylor]: Taking taylor expansion of 0.12 in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of 0.253 in x 0.463 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.463 * [taylor]: Taking taylor expansion of 0.253 in x 0.463 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.463 * [taylor]: Taking taylor expansion of 0.12 in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (* x (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x)))) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 0.463 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.463 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.463 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.463 * [taylor]: Taking taylor expansion of 0.12 in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of 0.253 in x 0.463 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.464 * [taylor]: Taking taylor expansion of 0.253 in x 0.464 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.464 * [taylor]: Taking taylor expansion of 0.12 in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.508 * [approximate]: Taking taylor expansion of (/ (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) x) in (x) around 0 0.508 * [taylor]: Taking taylor expansion of (/ (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) x) in x 0.508 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 0.508 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.508 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.508 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.508 * [taylor]: Taking taylor expansion of 0.12 in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of 0.253 in x 0.508 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.508 * [taylor]: Taking taylor expansion of 0.253 in x 0.508 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.508 * [taylor]: Taking taylor expansion of 0.12 in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.509 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of (/ (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) x) in x 0.511 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 0.511 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.511 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.511 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.511 * [taylor]: Taking taylor expansion of 0.12 in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of 0.253 in x 0.511 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.511 * [taylor]: Taking taylor expansion of 0.253 in x 0.511 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.511 * [taylor]: Taking taylor expansion of 0.12 in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.556 * [approximate]: Taking taylor expansion of (* -1 (/ (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) x)) in (x) around 0 0.556 * [taylor]: Taking taylor expansion of (* -1 (/ (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) x)) in x 0.556 * [taylor]: Taking taylor expansion of -1 in x 0.556 * [taylor]: Taking taylor expansion of (/ (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) x) in x 0.556 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 0.556 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.556 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.556 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.556 * [taylor]: Taking taylor expansion of 0.12 in x 0.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.556 * [taylor]: Taking taylor expansion of -1 in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of 0.253 in x 0.557 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.557 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.557 * [taylor]: Taking taylor expansion of 0.12 in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of 0.253 in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.559 * [taylor]: Taking taylor expansion of (* -1 (/ (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) x)) in x 0.559 * [taylor]: Taking taylor expansion of -1 in x 0.559 * [taylor]: Taking taylor expansion of (/ (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) x) in x 0.559 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 0.559 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.559 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.559 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.559 * [taylor]: Taking taylor expansion of 0.12 in x 0.559 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.559 * [taylor]: Taking taylor expansion of -1 in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.559 * [taylor]: Taking taylor expansion of 0.253 in x 0.559 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.559 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.559 * [taylor]: Taking taylor expansion of 0.12 in x 0.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of 0.253 in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.606 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 0.606 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.606 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.606 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.606 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.606 * [taylor]: Taking taylor expansion of 0.12 in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of 0.253 in x 0.606 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.606 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.606 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.606 * [taylor]: Taking taylor expansion of 0.12 in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of 0.253 in x 0.627 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 0.627 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.627 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.627 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.627 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.627 * [taylor]: Taking taylor expansion of 0.12 in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of 0.253 in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.629 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.629 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.629 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.629 * [taylor]: Taking taylor expansion of 0.12 in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of 0.253 in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.644 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 0.644 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.644 * [taylor]: Taking taylor expansion of -1 in x 0.644 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.644 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.644 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.644 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.644 * [taylor]: Taking taylor expansion of 0.12 in x 0.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.644 * [taylor]: Taking taylor expansion of -1 in x 0.644 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of 0.253 in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.646 * [taylor]: Taking taylor expansion of -1 in x 0.646 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.646 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.646 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.646 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.646 * [taylor]: Taking taylor expansion of 0.12 in x 0.646 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.646 * [taylor]: Taking taylor expansion of -1 in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of 0.253 in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.668 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.668 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in (x) around 0 0.668 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.668 * [taylor]: Taking taylor expansion of 0.253 in x 0.668 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.668 * [taylor]: Taking taylor expansion of 0.12 in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.668 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.668 * [taylor]: Taking taylor expansion of 0.253 in x 0.668 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.668 * [taylor]: Taking taylor expansion of 0.12 in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.677 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.677 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of 0.253 in x 0.678 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.678 * [taylor]: Taking taylor expansion of 0.12 in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.678 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.678 * [taylor]: Taking taylor expansion of 0.253 in x 0.678 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.678 * [taylor]: Taking taylor expansion of 0.12 in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.690 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.690 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.690 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.690 * [taylor]: Taking taylor expansion of 0.12 in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.691 * [taylor]: Taking taylor expansion of 0.253 in x 0.691 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.691 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.691 * [taylor]: Taking taylor expansion of 0.12 in x 0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.691 * [taylor]: Taking taylor expansion of x in x 0.691 * [taylor]: Taking taylor expansion of 0.253 in x 0.705 * * * [progress]: simplifying candidates 0.706 * [simplify]: Simplifying using # : (- (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12)))) (- (- 0.253 (* x 0.12))) (/ 1 (- 0.253 (* x 0.12))) (/ (- 0.253 (* x 0.12)) (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12)))) (/ (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (/ (- 0.253 (* x 0.12)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (/ (- 0.253 (* x 0.12)) (* x (- 0.253 (* x 0.12)))) (/ (- 0.253 (* x 0.12)) (* x (fma 0.12 x 0.253))) (/ (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3))) (/ (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* (- 0.253 (* x 0.12)) (+ (* 0.253 0.253) (+ (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))) (* (- 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (* (* x (fma 0.12 x 0.253)) 0.253) (* (* x (fma 0.12 x 0.253)) (- (* x 0.12))) (* (* x (fma 0.12 x 0.253)) 0.253) (* (* x (fma 0.12 x 0.253)) (- (* x 0.12))) (* 0.253 (* x (fma 0.12 x 0.253))) (* (- (* x 0.12)) (* x (fma 0.12 x 0.253))) (* 0.253 (* x (fma 0.12 x 0.253))) (* (- (* x 0.12)) (* x (fma 0.12 x 0.253))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* x (- 0.253 (* x 0.12))) (* (* x (fma 0.12 x 0.253)) (- (pow 0.253 3) (pow (* x 0.12) 3))) (* (* x (fma 0.12 x 0.253)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* x (* 0.12 x)) (* x 0.253) (* (* 0.12 x) x) (* 0.253 x) (- (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (+ (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ 0.253 (* x 0.12)) (- (* x 0.12)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (- (* 0.064009 x) (* 0.0144 (pow x 3))) (- (* 0.064009 x) (* 0.0144 (pow x 3))) (- (* 0.064009 x) (* 0.0144 (pow x 3))) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) 0.710 * * [simplify]: iteration 0 : 174 enodes (cost 187 ) 0.713 * * [simplify]: iteration 1 : 734 enodes (cost 175 ) 0.727 * * [simplify]: iteration 2 : 3359 enodes (cost 151 ) 0.792 * * [simplify]: iteration 3 : 5003 enodes (cost 150 ) 0.793 * [simplify]: Simplified to: (- (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12)))) (fma 0.12 x (- 0.253)) (/ 1 (- 0.253 (* x 0.12))) (/ 1 (* x (fma 0.12 x 0.253))) 1 (/ 1 (fma 0.12 x 0.253)) (/ 1 x) (/ (- 0.253 (* x 0.12)) (* x (fma 0.12 x 0.253))) (/ (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3))) (/ x 1) (* (- 0.253 (* 0.12 x)) (fma (* x 0.12) (fma 0.12 x 0.253) (* 0.253 0.253))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (* x (fma 0.12 x 0.253)) 0.253) (* (* x (fma 0.12 x 0.253)) (- (* x 0.12))) (* (* x (fma 0.12 x 0.253)) 0.253) (* (* x (fma 0.12 x 0.253)) (- (* x 0.12))) (* (* x (fma 0.12 x 0.253)) 0.253) (* (* x (fma 0.12 x 0.253)) (- (* x 0.12))) (* (* x (fma 0.12 x 0.253)) 0.253) (* (* x (fma 0.12 x 0.253)) (- (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* x (- 0.253 (* x 0.12))) (* (* x (fma 0.12 x 0.253)) (- (pow 0.253 3) (pow (* x 0.12) 3))) (* (* x (fma 0.12 x 0.253)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* x (* 0.12 x)) (* x 0.253) (* x (* 0.12 x)) (* x 0.253) (- (pow 0.253 3) (pow (* x 0.12) 3)) (fma (* x 0.12) (fma 0.12 x 0.253) (* 0.253 0.253)) (- (* x 0.12)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (fma 0.12 x 0.253) (- (* x 0.12)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (- (* 0.064009 x) (* 0.0144 (pow x 3))) (- (* 0.064009 x) (* 0.0144 (pow x 3))) (- (* 0.064009 x) (* 0.0144 (pow x 3))) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) 0.793 * * * [progress]: adding candidates to table 0.857 * * [progress]: iteration 4 / 4 0.857 * * * [progress]: picking best candidate 0.866 * * * * [pick]: Picked # 0.866 * * * [progress]: localizing error 0.873 * * * [progress]: generating rewritten candidates 0.873 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.877 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.880 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 0.882 * * * [progress]: generating series expansions 0.882 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.882 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.882 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.882 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.882 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.882 * [taylor]: Taking taylor expansion of 0.12 in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of 0.253 in x 0.883 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.883 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.883 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.883 * [taylor]: Taking taylor expansion of 0.12 in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of 0.253 in x 0.903 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 0.903 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.903 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.903 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.903 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.903 * [taylor]: Taking taylor expansion of 0.12 in x 0.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of 0.253 in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.904 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.904 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.904 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.904 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.904 * [taylor]: Taking taylor expansion of 0.12 in x 0.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.904 * [taylor]: Taking taylor expansion of x in x 0.905 * [taylor]: Taking taylor expansion of 0.253 in x 0.905 * [taylor]: Taking taylor expansion of x in x 0.919 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 0.920 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.920 * [taylor]: Taking taylor expansion of -1 in x 0.920 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.920 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.920 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.920 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.920 * [taylor]: Taking taylor expansion of 0.12 in x 0.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.920 * [taylor]: Taking taylor expansion of -1 in x 0.920 * [taylor]: Taking taylor expansion of x in x 0.920 * [taylor]: Taking taylor expansion of 0.253 in x 0.920 * [taylor]: Taking taylor expansion of x in x 0.921 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.921 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.921 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.921 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.921 * [taylor]: Taking taylor expansion of 0.12 in x 0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [taylor]: Taking taylor expansion of x in x 0.922 * [taylor]: Taking taylor expansion of 0.253 in x 0.922 * [taylor]: Taking taylor expansion of x in x 0.943 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.943 * [approximate]: Taking taylor expansion of (/ 1 (* x (fma 0.12 x 0.253))) in (x) around 0 0.943 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 0.12 x 0.253))) in x 0.943 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.943 * [taylor]: Taking taylor expansion of x in x 0.943 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.943 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.943 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.943 * [taylor]: Taking taylor expansion of 0.12 in x 0.944 * [taylor]: Taking taylor expansion of x in x 0.944 * [taylor]: Taking taylor expansion of 0.253 in x 0.946 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 0.12 x 0.253))) in x 0.947 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.947 * [taylor]: Taking taylor expansion of x in x 0.947 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.947 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.947 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.947 * [taylor]: Taking taylor expansion of 0.12 in x 0.947 * [taylor]: Taking taylor expansion of x in x 0.947 * [taylor]: Taking taylor expansion of 0.253 in x 0.958 * [approximate]: Taking taylor expansion of (/ x (fma 0.12 (/ 1 x) 0.253)) in (x) around 0 0.958 * [taylor]: Taking taylor expansion of (/ x (fma 0.12 (/ 1 x) 0.253)) in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.958 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.958 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.958 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.958 * [taylor]: Taking taylor expansion of 0.12 in x 0.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.959 * [taylor]: Taking taylor expansion of 0.253 in x 0.959 * [taylor]: Taking taylor expansion of (/ x (fma 0.12 (/ 1 x) 0.253)) in x 0.959 * [taylor]: Taking taylor expansion of x in x 0.959 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.960 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.960 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.960 * [taylor]: Taking taylor expansion of 0.12 in x 0.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.960 * [taylor]: Taking taylor expansion of x in x 0.960 * [taylor]: Taking taylor expansion of 0.253 in x 0.973 * [approximate]: Taking taylor expansion of (* -1 (/ x (fma 0.12 (/ -1 x) 0.253))) in (x) around 0 0.973 * [taylor]: Taking taylor expansion of (* -1 (/ x (fma 0.12 (/ -1 x) 0.253))) in x 0.973 * [taylor]: Taking taylor expansion of -1 in x 0.973 * [taylor]: Taking taylor expansion of (/ x (fma 0.12 (/ -1 x) 0.253)) in x 0.973 * [taylor]: Taking taylor expansion of x in x 0.973 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.973 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.973 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.973 * [taylor]: Taking taylor expansion of 0.12 in x 0.973 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.973 * [taylor]: Taking taylor expansion of -1 in x 0.973 * [taylor]: Taking taylor expansion of x in x 0.974 * [taylor]: Taking taylor expansion of 0.253 in x 0.975 * [taylor]: Taking taylor expansion of (* -1 (/ x (fma 0.12 (/ -1 x) 0.253))) in x 0.975 * [taylor]: Taking taylor expansion of -1 in x 0.975 * [taylor]: Taking taylor expansion of (/ x (fma 0.12 (/ -1 x) 0.253)) in x 0.975 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.975 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.975 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.975 * [taylor]: Taking taylor expansion of 0.12 in x 0.975 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.975 * [taylor]: Taking taylor expansion of -1 in x 0.975 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of 0.253 in x 0.988 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 0.988 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.988 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.988 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.988 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.988 * [taylor]: Taking taylor expansion of 0.12 in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of 0.253 in x 0.988 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.988 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.988 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.988 * [taylor]: Taking taylor expansion of 0.12 in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of 0.253 in x 1.004 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 1.004 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 1.004 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.004 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.004 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.005 * [taylor]: Taking taylor expansion of 0.12 in x 1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.005 * [taylor]: Taking taylor expansion of x in x 1.005 * [taylor]: Taking taylor expansion of 0.253 in x 1.005 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 1.006 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.006 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.006 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.006 * [taylor]: Taking taylor expansion of 0.12 in x 1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of 0.253 in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.021 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 1.021 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 1.021 * [taylor]: Taking taylor expansion of -1 in x 1.021 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 1.021 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.021 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.021 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.021 * [taylor]: Taking taylor expansion of 0.12 in x 1.021 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.021 * [taylor]: Taking taylor expansion of -1 in x 1.021 * [taylor]: Taking taylor expansion of x in x 1.022 * [taylor]: Taking taylor expansion of 0.253 in x 1.022 * [taylor]: Taking taylor expansion of x in x 1.023 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 1.023 * [taylor]: Taking taylor expansion of -1 in x 1.023 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 1.023 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.023 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.023 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.023 * [taylor]: Taking taylor expansion of 0.12 in x 1.023 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.023 * [taylor]: Taking taylor expansion of -1 in x 1.023 * [taylor]: Taking taylor expansion of x in x 1.023 * [taylor]: Taking taylor expansion of 0.253 in x 1.023 * [taylor]: Taking taylor expansion of x in x 1.050 * * * [progress]: simplifying candidates 1.050 * [simplify]: Simplifying using # : (- -1) (- 1) (- (/ 1 (* x (fma 0.12 x 0.253)))) (/ 1 (/ 1 (* x (fma 0.12 x 0.253)))) (/ (/ 1 (* x (fma 0.12 x 0.253))) 1) (/ 1 1) (/ 1 1) (/ 1 (- 1)) (/ 1 1) (/ 1 (/ 1 x)) (/ 1 (/ 1 (fma 0.12 x 0.253))) (- 1) (- (* x (fma 0.12 x 0.253))) (/ 1 (* x (fma 0.12 x 0.253))) (/ (* x (fma 0.12 x 0.253)) 1) (/ 1 x) (/ 1 (fma 0.12 x 0.253)) (* x (* 0.12 x)) (* x 0.253) (* (* 0.12 x) x) (* 0.253 x) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (- (+ (* 0.8892030190665503 x) (* 3.952569169960474 (/ 1 x))) 1.8747363651986437) (- (+ (* 8.333333333333334 (/ 1 (pow x 2))) (* 37.042245370370374 (/ 1 (pow x 4)))) (* 17.569444444444446 (/ 1 (pow x 3)))) (- (+ (* 8.333333333333334 (/ 1 (pow x 2))) (* 37.042245370370374 (/ 1 (pow x 4)))) (* 17.569444444444446 (/ 1 (pow x 3)))) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) 1.053 * * [simplify]: iteration 0 : 108 enodes (cost 77 ) 1.056 * * [simplify]: iteration 1 : 458 enodes (cost 68 ) 1.066 * * [simplify]: iteration 2 : 2478 enodes (cost 66 ) 1.137 * * [simplify]: iteration 3 : 5001 enodes (cost 64 ) 1.138 * [simplify]: Simplified to: (- -1) (- 1) (- (/ 1 (* x (fma 0.12 x 0.253)))) (* x (fma 0.12 x 0.253)) (/ 1 (* x (fma 0.12 x 0.253))) 1 1 (/ 1 (- 1)) 1 x (fma 0.12 x 0.253) (- 1) (- (* x (fma 0.12 x 0.253))) (/ 1 (* x (fma 0.12 x 0.253))) (* x (fma 0.12 x 0.253)) (/ 1 x) (/ 1 (fma 0.12 x 0.253)) (* x (* 0.12 x)) (* x 0.253) (* x (* 0.12 x)) (* x 0.253) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (fma x 0.8892030190665503 (- (* 3.952569169960474 (/ 1 x)) 1.8747363651986437)) (fma (/ 1 x) (- (/ 8.333333333333334 x) (/ 17.569444444444446 (pow x 2))) (/ 37.042245370370374 (pow x 4))) (fma (/ 1 x) (- (/ 8.333333333333334 x) (/ 17.569444444444446 (pow x 2))) (/ 37.042245370370374 (pow x 4))) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) 1.138 * * * [progress]: adding candidates to table 1.180 * [progress]: [Phase 3 of 3] Extracting. 1.180 * * [regime]: Finding splitpoints for: (# # # # #) 1.181 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.181 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.197 * * * [regime]: Found split indices: #