2.042 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.015 * [simplify]: Sending expressions to egg_math: (- h0 (* h1 (+ h2 (* h1 h3)))) 0.017 * * [simplify]: iteration 0 : 19 enodes (cost 4 ) 0.019 * * [simplify]: iteration 1 : 45 enodes (cost 4 ) 0.020 * * [simplify]: iteration 2 : 82 enodes (cost 3 ) 0.022 * * [simplify]: iteration 3 : 127 enodes (cost 3 ) 0.024 * * [simplify]: iteration 4 : 168 enodes (cost 3 ) 0.027 * * [simplify]: iteration 5 : 224 enodes (cost 3 ) 0.031 * * [simplify]: iteration 6 : 359 enodes (cost 3 ) 0.035 * * [simplify]: iteration 7 : 666 enodes (cost 3 ) 0.039 * * [simplify]: iteration 8 : 763 enodes (cost 3 ) 0.043 * * [simplify]: iteration 9 : 763 enodes (cost 3 ) 0.043 * [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.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.056 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.056 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.056 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.056 * [taylor]: Taking taylor expansion of (- x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [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.064 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in (x) around 0 0.064 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in x 0.064 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) 0.064 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) in x 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [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.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.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.075 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.075 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.075 * [taylor]: Taking taylor expansion of 0.12 in x 0.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.075 * [taylor]: Taking taylor expansion of -1 in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [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.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.083 * * * [progress]: simplifying candidates 0.084 * [simplify]: Simplifying using # : (expm1 (fma (- x) (fma 0.12 x 0.253) 1.0)) (log1p (fma (- x) (fma 0.12 x 0.253) 1.0)) (* (- x) (fma 0.12 x 0.253)) (log (fma (- x) (fma 0.12 x 0.253) 1.0)) (exp (fma (- x) (fma 0.12 x 0.253) 1.0)) (* (cbrt (fma (- x) (fma 0.12 x 0.253) 1.0)) (cbrt (fma (- x) (fma 0.12 x 0.253) 1.0))) (cbrt (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)) (fma (- x) (fma 0.12 x 0.253) 1.0)) (sqrt (fma (- x) (fma 0.12 x 0.253) 1.0)) (sqrt (fma (- x) (fma 0.12 x 0.253) 1.0)) (- 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.084 * [simplify]: Sending expressions to egg_math: (expm1 (fma (- h0) (fma h1 h0 h2) h3)) (log1p (fma (- h0) (fma h1 h0 h2) h3)) (* (- h0) (fma h1 h0 h2)) (log (fma (- h0) (fma h1 h0 h2) h3)) (exp (fma (- h0) (fma h1 h0 h2) h3)) (* (cbrt (fma (- h0) (fma h1 h0 h2) h3)) (cbrt (fma (- h0) (fma h1 h0 h2) h3))) (cbrt (fma (- h0) (fma h1 h0 h2) h3)) (* (* (fma (- h0) (fma h1 h0 h2) h3) (fma (- h0) (fma h1 h0 h2) h3)) (fma (- h0) (fma h1 h0 h2) h3)) (sqrt (fma (- h0) (fma h1 h0 h2) h3)) (sqrt (fma (- h0) (fma h1 h0 h2) h3)) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) 0.086 * * [simplify]: iteration 0 : 42 enodes (cost 66 ) 0.088 * * [simplify]: iteration 1 : 102 enodes (cost 53 ) 0.090 * * [simplify]: iteration 2 : 433 enodes (cost 53 ) 0.099 * * [simplify]: iteration 3 : 2132 enodes (cost 53 ) 0.150 * * [simplify]: iteration 4 : 5001 enodes (cost 53 ) 0.150 * [simplify]: Simplified to: (expm1 (fma (- x) (fma 0.12 x 0.253) 1.0)) (log1p (fma (- x) (fma 0.12 x 0.253) 1.0)) (* (- x) (fma 0.12 x 0.253)) (log (fma (- x) (fma 0.12 x 0.253) 1.0)) (exp (fma (- x) (fma 0.12 x 0.253) 1.0)) (* (cbrt (fma (- x) (fma 0.12 x 0.253) 1.0)) (cbrt (fma (- x) (fma 0.12 x 0.253) 1.0))) (cbrt (fma (- x) (fma 0.12 x 0.253) 1.0)) (pow (fma (- x) (fma 0.12 x 0.253) 1.0) 3) (sqrt (fma (- x) (fma 0.12 x 0.253) 1.0)) (sqrt (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) (fma (- x) (fma 0.12 x 0.253) 1.0) 0.151 * * * [progress]: adding candidates to table 0.180 * * [progress]: iteration 2 / 4 0.180 * * * [progress]: picking best candidate 0.186 * * * * [pick]: Picked # 0.186 * * * [progress]: localizing error 0.192 * * * [progress]: generating rewritten candidates 0.192 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.203 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.213 * * * [progress]: generating series expansions 0.213 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.213 * [approximate]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in (x) around 0 0.213 * [taylor]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.213 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.213 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.213 * [taylor]: Taking taylor expansion of 0.12 in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of 0.253 in x 0.213 * [taylor]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.213 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.213 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.214 * [taylor]: Taking taylor expansion of 0.12 in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of 0.253 in x 0.241 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in (x) around 0 0.241 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.241 * [taylor]: Taking taylor expansion of -1 in x 0.242 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.242 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.242 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.242 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.242 * [taylor]: Taking taylor expansion of 0.12 in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of 0.253 in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.243 * [taylor]: Taking taylor expansion of -1 in x 0.243 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.243 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.243 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.243 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of 0.12 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of 0.253 in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.264 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in (x) around 0 0.264 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.264 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.264 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.264 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.264 * [taylor]: Taking taylor expansion of 0.12 in x 0.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.264 * [taylor]: Taking taylor expansion of -1 in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of 0.253 in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.266 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.266 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.266 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.266 * [taylor]: Taking taylor expansion of 0.12 in x 0.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.266 * [taylor]: Taking taylor expansion of -1 in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of 0.253 in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.282 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.282 * [approximate]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in (x) around 0 0.282 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x 0.282 * [taylor]: Taking taylor expansion of 1.0 in x 0.282 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.282 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.282 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.282 * [taylor]: Taking taylor expansion of 0.12 in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of 0.253 in x 0.282 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x 0.282 * [taylor]: Taking taylor expansion of 1.0 in x 0.282 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.282 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.282 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.282 * [taylor]: Taking taylor expansion of 0.12 in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of 0.253 in x 0.290 * [approximate]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in (x) around 0 0.290 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.290 * [taylor]: Taking taylor expansion of 1.0 in x 0.290 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.290 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.290 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.290 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.290 * [taylor]: Taking taylor expansion of 0.12 in x 0.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.290 * [taylor]: Taking taylor expansion of 0.253 in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.291 * [taylor]: Taking taylor expansion of 1.0 in x 0.291 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.291 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.291 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.291 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.291 * [taylor]: Taking taylor expansion of 0.12 in x 0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.292 * [taylor]: Taking taylor expansion of 0.253 in x 0.292 * [taylor]: Taking taylor expansion of x in x 0.299 * [approximate]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in (x) around 0 0.299 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x 0.299 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.299 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.299 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.299 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.299 * [taylor]: Taking taylor expansion of 0.12 in x 0.299 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.299 * [taylor]: Taking taylor expansion of -1 in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.299 * [taylor]: Taking taylor expansion of 0.253 in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of 1.0 in x 0.301 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x 0.301 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.301 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.301 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.301 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.301 * [taylor]: Taking taylor expansion of 0.12 in x 0.301 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.301 * [taylor]: Taking taylor expansion of -1 in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of 0.253 in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of 1.0 in x 0.307 * * * [progress]: simplifying candidates 0.308 * [simplify]: Simplifying using # : (expm1 (* (- x) (fma 0.12 x 0.253))) (log1p (* (- x) (fma 0.12 x 0.253))) (* (- x) (fma 0.12 x 0.253)) (+ (log (- x)) (log (fma 0.12 x 0.253))) (log (* (- x) (fma 0.12 x 0.253))) (exp (* (- x) (fma 0.12 x 0.253))) (* (* (* (- x) (- x)) (- x)) (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253))) (* (cbrt (* (- x) (fma 0.12 x 0.253))) (cbrt (* (- x) (fma 0.12 x 0.253)))) (cbrt (* (- x) (fma 0.12 x 0.253))) (* (* (* (- x) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253))) (* (- x) (fma 0.12 x 0.253))) (sqrt (* (- x) (fma 0.12 x 0.253))) (sqrt (* (- x) (fma 0.12 x 0.253))) (* (sqrt (- x)) (sqrt (fma 0.12 x 0.253))) (* (sqrt (- x)) (sqrt (fma 0.12 x 0.253))) (* x (fma 0.12 x 0.253)) (* (- x) (* 0.12 x)) (* (- x) 0.253) (* (* 0.12 x) (- x)) (* 0.253 (- x)) (* (- x) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (- x) (sqrt (fma 0.12 x 0.253))) (* (- x) 1) (* (cbrt (- x)) (fma 0.12 x 0.253)) (* (sqrt (- x)) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* (cbrt x) (fma 0.12 x 0.253)) (* (sqrt x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* (- (cbrt x)) (fma 0.12 x 0.253)) (* (- (sqrt x)) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253)) (expm1 (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (log1p (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (* (exp (* (- x) (fma 0.12 x 0.253))) (exp 1.0)) (log (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (exp (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (* (cbrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (cbrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0))) (cbrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (* (* (+ (* (- x) (fma 0.12 x 0.253)) 1.0) (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (sqrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (sqrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (+ (pow (* (- x) (fma 0.12 x 0.253)) 3) (pow 1.0 3)) (+ (* (* (- x) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253))) (- (* 1.0 1.0) (* (* (- x) (fma 0.12 x 0.253)) 1.0))) (- (* (* (- x) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253))) (* 1.0 1.0)) (- (* (- x) (fma 0.12 x 0.253)) 1.0) (+ (* (- x) 0.253) 1.0) (+ (* 0.253 (- x)) 1.0) (- (+ (* 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.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.308 * [simplify]: Sending expressions to egg_math: (expm1 (* (- h0) (fma h1 h0 h2))) (log1p (* (- h0) (fma h1 h0 h2))) (* (- h0) (fma h1 h0 h2)) (+ (log (- h0)) (log (fma h1 h0 h2))) (log (* (- h0) (fma h1 h0 h2))) (exp (* (- h0) (fma h1 h0 h2))) (* (* (* (- h0) (- h0)) (- h0)) (* (* (fma h1 h0 h2) (fma h1 h0 h2)) (fma h1 h0 h2))) (* (cbrt (* (- h0) (fma h1 h0 h2))) (cbrt (* (- h0) (fma h1 h0 h2)))) (cbrt (* (- h0) (fma h1 h0 h2))) (* (* (* (- h0) (fma h1 h0 h2)) (* (- h0) (fma h1 h0 h2))) (* (- h0) (fma h1 h0 h2))) (sqrt (* (- h0) (fma h1 h0 h2))) (sqrt (* (- h0) (fma h1 h0 h2))) (* (sqrt (- h0)) (sqrt (fma h1 h0 h2))) (* (sqrt (- h0)) (sqrt (fma h1 h0 h2))) (* h0 (fma h1 h0 h2)) (* (- h0) (* h1 h0)) (* (- h0) h2) (* (* h1 h0) (- h0)) (* h2 (- h0)) (* (- h0) (* (cbrt (fma h1 h0 h2)) (cbrt (fma h1 h0 h2)))) (* (- h0) (sqrt (fma h1 h0 h2))) (* (- h0) 1) (* (cbrt (- h0)) (fma h1 h0 h2)) (* (sqrt (- h0)) (fma h1 h0 h2)) (* (- h0) (fma h1 h0 h2)) (* h0 (fma h1 h0 h2)) (* (cbrt h0) (fma h1 h0 h2)) (* (sqrt h0) (fma h1 h0 h2)) (* h0 (fma h1 h0 h2)) (* (- (cbrt h0)) (fma h1 h0 h2)) (* (- (sqrt h0)) (fma h1 h0 h2)) (* (- h0) (fma h1 h0 h2)) (expm1 (+ (* (- h0) (fma h1 h0 h2)) h3)) (log1p (+ (* (- h0) (fma h1 h0 h2)) h3)) (* (exp (* (- h0) (fma h1 h0 h2))) (exp h3)) (log (+ (* (- h0) (fma h1 h0 h2)) h3)) (exp (+ (* (- h0) (fma h1 h0 h2)) h3)) (* (cbrt (+ (* (- h0) (fma h1 h0 h2)) h3)) (cbrt (+ (* (- h0) (fma h1 h0 h2)) h3))) (cbrt (+ (* (- h0) (fma h1 h0 h2)) h3)) (* (* (+ (* (- h0) (fma h1 h0 h2)) h3) (+ (* (- h0) (fma h1 h0 h2)) h3)) (+ (* (- h0) (fma h1 h0 h2)) h3)) (sqrt (+ (* (- h0) (fma h1 h0 h2)) h3)) (sqrt (+ (* (- h0) (fma h1 h0 h2)) h3)) (+ (pow (* (- h0) (fma h1 h0 h2)) 3) (pow h3 3)) (+ (* (* (- h0) (fma h1 h0 h2)) (* (- h0) (fma h1 h0 h2))) (- (* h3 h3) (* (* (- h0) (fma h1 h0 h2)) h3))) (- (* (* (- h0) (fma h1 h0 h2)) (* (- h0) (fma h1 h0 h2))) (* h3 h3)) (- (* (- h0) (fma h1 h0 h2)) h3) (+ (* (- h0) h2) h3) (+ (* h2 (- h0)) h3) (- (+ (* h1 (pow h0 2)) (* h2 h0))) (- (+ (* h1 (pow h0 2)) (* h2 h0))) (- (+ (* h1 (pow h0 2)) (* h2 h0))) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) 0.317 * * [simplify]: iteration 0 : 205 enodes (cost 250 ) 0.321 * * [simplify]: iteration 1 : 826 enodes (cost 222 ) 0.340 * * [simplify]: iteration 2 : 4576 enodes (cost 219 ) 0.453 * * [simplify]: iteration 3 : 5001 enodes (cost 218 ) 0.454 * [simplify]: Simplified to: (expm1 (* (- x) (fma 0.12 x 0.253))) (log1p (* (- x) (fma 0.12 x 0.253))) (* (- x) (fma 0.12 x 0.253)) (log (* (- x) (fma 0.12 x 0.253))) (log (* (- x) (fma 0.12 x 0.253))) (exp (* (- x) (fma 0.12 x 0.253))) (pow (* (- x) (fma 0.12 x 0.253)) 3) (* (cbrt (* (- x) (fma 0.12 x 0.253))) (cbrt (* (- x) (fma 0.12 x 0.253)))) (cbrt (* (- x) (fma 0.12 x 0.253))) (pow (* (- x) (fma 0.12 x 0.253)) 3) (sqrt (* (- x) (fma 0.12 x 0.253))) (sqrt (* (- x) (fma 0.12 x 0.253))) (* (sqrt (- x)) (sqrt (fma 0.12 x 0.253))) (* (sqrt (- x)) (sqrt (fma 0.12 x 0.253))) (* x (fma 0.12 x 0.253)) (* (- x) (* 0.12 x)) (* (- x) 0.253) (* (- x) (* 0.12 x)) (* (- x) 0.253) (* (- x) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (- x) (sqrt (fma 0.12 x 0.253))) (- x) (* (cbrt (- x)) (fma 0.12 x 0.253)) (* (sqrt (- x)) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* (cbrt x) (fma 0.12 x 0.253)) (* (sqrt x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* (- (cbrt x)) (fma 0.12 x 0.253)) (* (- (sqrt x)) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253)) (expm1 (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (log1p (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (exp (fma (- x) (fma 0.12 x 0.253) 1.0)) (log (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (exp (fma (- x) (fma 0.12 x 0.253) 1.0)) (* (cbrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (cbrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0))) (cbrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (pow (fma (- x) (fma 0.12 x 0.253) 1.0) 3) (sqrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (sqrt (+ (* (- x) (fma 0.12 x 0.253)) 1.0)) (- (pow 1.0 3) (pow (* x (fma 0.12 x 0.253)) 3)) (fma (* x (* (fma 0.12 x 0.253) (fma 0.12 x 0.253))) x (* 1.0 (+ (* x (fma 0.12 x 0.253)) 1.0))) (fma (pow x 2) (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (- (* 1.0 1.0))) (- (* (- x) (fma 0.12 x 0.253)) 1.0) (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0) (* (- x) (fma 0.12 x 0.253)) (* (- x) (fma 0.12 x 0.253)) (* (- 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.455 * * * [progress]: adding candidates to table 0.545 * * [progress]: iteration 3 / 4 0.545 * * * [progress]: picking best candidate 0.563 * * * * [pick]: Picked # 0.563 * * * [progress]: localizing error 0.570 * * * [progress]: generating rewritten candidates 0.570 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.589 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.608 * * * [progress]: generating series expansions 0.608 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.608 * [approximate]: Taking taylor expansion of (* -0.12 (pow x 2)) in (x) around 0 0.608 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.608 * [taylor]: Taking taylor expansion of -0.12 in x 0.608 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.608 * [taylor]: Taking taylor expansion of -0.12 in x 0.608 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.619 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.619 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.619 * [taylor]: Taking taylor expansion of -0.12 in x 0.619 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.620 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.620 * [taylor]: Taking taylor expansion of -0.12 in x 0.620 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.620 * [taylor]: Taking taylor expansion of x in x 0.627 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.627 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.627 * [taylor]: Taking taylor expansion of -0.12 in x 0.627 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.628 * [taylor]: Taking taylor expansion of -0.12 in x 0.628 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.634 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.635 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in (x) around 0 0.635 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.635 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.635 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.635 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.635 * [taylor]: Taking taylor expansion of 0.253 in x 0.635 * [taylor]: Taking taylor expansion of (- x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of 1.0 in x 0.635 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.635 * [taylor]: Taking taylor expansion of 0.12 in x 0.635 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.635 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.635 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.635 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.635 * [taylor]: Taking taylor expansion of 0.253 in x 0.635 * [taylor]: Taking taylor expansion of (- x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of 1.0 in x 0.635 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.635 * [taylor]: Taking taylor expansion of 0.12 in x 0.635 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.642 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.642 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.642 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.642 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.642 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.642 * [taylor]: Taking taylor expansion of 0.253 in x 0.642 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [taylor]: Taking taylor expansion of 1.0 in x 0.642 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.642 * [taylor]: Taking taylor expansion of 0.12 in x 0.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.642 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.643 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.643 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.643 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.643 * [taylor]: Taking taylor expansion of 0.253 in x 0.643 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of 1.0 in x 0.643 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.643 * [taylor]: Taking taylor expansion of 0.12 in x 0.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.643 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.651 * [approximate]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.651 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.651 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.651 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.651 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.651 * [taylor]: Taking taylor expansion of 0.253 in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.652 * [taylor]: Taking taylor expansion of 1.0 in x 0.652 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.652 * [taylor]: Taking taylor expansion of 0.12 in x 0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.652 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.652 * [taylor]: Taking taylor expansion of x in x 0.652 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.652 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.652 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.652 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.652 * [taylor]: Taking taylor expansion of 0.253 in x 0.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.652 * [taylor]: Taking taylor expansion of x in x 0.653 * [taylor]: Taking taylor expansion of 1.0 in x 0.653 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.653 * [taylor]: Taking taylor expansion of 0.12 in x 0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.653 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.653 * [taylor]: Taking taylor expansion of x in x 0.660 * * * [progress]: simplifying candidates 0.660 * [simplify]: Simplifying using # : (expm1 (* (- x) (* 0.12 x))) (log1p (* (- x) (* 0.12 x))) (* (- x) (* 0.12 x)) (* (- x) (* 0.12 x)) (+ (log (- x)) (+ (log 0.12) (log x))) (+ (log (- x)) (log (* 0.12 x))) (log (* (- x) (* 0.12 x))) (exp (* (- x) (* 0.12 x))) (* (* (* (- x) (- x)) (- x)) (* (* (* 0.12 0.12) 0.12) (* (* x x) x))) (* (* (* (- x) (- x)) (- x)) (* (* (* 0.12 x) (* 0.12 x)) (* 0.12 x))) (* (cbrt (* (- x) (* 0.12 x))) (cbrt (* (- x) (* 0.12 x)))) (cbrt (* (- x) (* 0.12 x))) (* (* (* (- x) (* 0.12 x)) (* (- x) (* 0.12 x))) (* (- x) (* 0.12 x))) (sqrt (* (- x) (* 0.12 x))) (sqrt (* (- x) (* 0.12 x))) (* x (* 0.12 x)) (* (- x) 0.12) (* (cbrt (- x)) (* 0.12 x)) (* (sqrt (- x)) (* 0.12 x)) (* (- x) (* 0.12 x)) (* x (* 0.12 x)) (* (cbrt x) (* 0.12 x)) (* (sqrt x) (* 0.12 x)) (* x (* 0.12 x)) (* (- (cbrt x)) (* 0.12 x)) (* (- (sqrt x)) (* 0.12 x)) (* (- x) (* 0.12 x)) (expm1 (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (log1p (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (* (exp (* (- x) (* 0.12 x))) (exp (fma 0.253 (- x) 1.0))) (log (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (exp (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (* (cbrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (cbrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)))) (cbrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (* (* (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)) (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (sqrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (sqrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (+ (pow (* (- x) (* 0.12 x)) 3) (pow (fma 0.253 (- x) 1.0) 3)) (+ (* (* (- x) (* 0.12 x)) (* (- x) (* 0.12 x))) (- (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0)) (* (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)))) (- (* (* (- x) (* 0.12 x)) (* (- x) (* 0.12 x))) (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0))) (- (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)) (+ (* (- x) (* 0.12 x)) (* 0.253 (- x))) (* -0.12 (pow x 2)) (* -0.12 (pow x 2)) (* -0.12 (pow x 2)) (- 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.661 * [simplify]: Sending expressions to egg_math: (expm1 (* (- h0) (* h1 h0))) (log1p (* (- h0) (* h1 h0))) (* (- h0) (* h1 h0)) (* (- h0) (* h1 h0)) (+ (log (- h0)) (+ (log h1) (log h0))) (+ (log (- h0)) (log (* h1 h0))) (log (* (- h0) (* h1 h0))) (exp (* (- h0) (* h1 h0))) (* (* (* (- h0) (- h0)) (- h0)) (* (* (* h1 h1) h1) (* (* h0 h0) h0))) (* (* (* (- h0) (- h0)) (- h0)) (* (* (* h1 h0) (* h1 h0)) (* h1 h0))) (* (cbrt (* (- h0) (* h1 h0))) (cbrt (* (- h0) (* h1 h0)))) (cbrt (* (- h0) (* h1 h0))) (* (* (* (- h0) (* h1 h0)) (* (- h0) (* h1 h0))) (* (- h0) (* h1 h0))) (sqrt (* (- h0) (* h1 h0))) (sqrt (* (- h0) (* h1 h0))) (* h0 (* h1 h0)) (* (- h0) h1) (* (cbrt (- h0)) (* h1 h0)) (* (sqrt (- h0)) (* h1 h0)) (* (- h0) (* h1 h0)) (* h0 (* h1 h0)) (* (cbrt h0) (* h1 h0)) (* (sqrt h0) (* h1 h0)) (* h0 (* h1 h0)) (* (- (cbrt h0)) (* h1 h0)) (* (- (sqrt h0)) (* h1 h0)) (* (- h0) (* h1 h0)) (expm1 (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (log1p (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (* (exp (* (- h0) (* h1 h0))) (exp (fma h2 (- h0) h3))) (log (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (exp (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (* (cbrt (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (cbrt (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3)))) (cbrt (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (* (* (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3)) (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (sqrt (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (sqrt (+ (* (- h0) (* h1 h0)) (fma h2 (- h0) h3))) (+ (pow (* (- h0) (* h1 h0)) 3) (pow (fma h2 (- h0) h3) 3)) (+ (* (* (- h0) (* h1 h0)) (* (- h0) (* h1 h0))) (- (* (fma h2 (- h0) h3) (fma h2 (- h0) h3)) (* (* (- h0) (* h1 h0)) (fma h2 (- h0) h3)))) (- (* (* (- h0) (* h1 h0)) (* (- h0) (* h1 h0))) (* (fma h2 (- h0) h3) (fma h2 (- h0) h3))) (- (* (- h0) (* h1 h0)) (fma h2 (- h0) h3)) (+ (* (- h0) (* h1 h0)) (* h2 (- h0))) (* h4 (pow h0 2)) (* h4 (pow h0 2)) (* h4 (pow h0 2)) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) (- h3 (+ (* h1 (pow h0 2)) (* h2 h0))) 0.664 * * [simplify]: iteration 0 : 220 enodes (cost 266 ) 0.669 * * [simplify]: iteration 1 : 887 enodes (cost 240 ) 0.691 * * [simplify]: iteration 2 : 4841 enodes (cost 230 ) 0.796 * * [simplify]: iteration 3 : 5001 enodes (cost 227 ) 0.798 * [simplify]: Simplified to: (expm1 (* (- x) (* 0.12 x))) (log1p (* (- x) (* 0.12 x))) (* (- x) (* 0.12 x)) (* (- x) (* 0.12 x)) (log (* (- x) (* 0.12 x))) (log (* (- x) (* 0.12 x))) (log (* (- x) (* 0.12 x))) (exp (* (- x) (* 0.12 x))) (pow (* (- x) (* 0.12 x)) 3) (pow (* (- x) (* 0.12 x)) 3) (* (cbrt (* (- x) (* 0.12 x))) (cbrt (* (- x) (* 0.12 x)))) (cbrt (* (- x) (* 0.12 x))) (pow (* (- x) (* 0.12 x)) 3) (sqrt (* (- x) (* 0.12 x))) (sqrt (* (- x) (* 0.12 x))) (* 0.12 (pow x 2)) (* (- x) 0.12) (* (cbrt (- x)) (* 0.12 x)) (* (sqrt (- x)) (* 0.12 x)) (* (- x) (* 0.12 x)) (* 0.12 (pow x 2)) (* (cbrt x) (* 0.12 x)) (* (sqrt x) (* 0.12 x)) (* 0.12 (pow x 2)) (* (- (cbrt x)) (* 0.12 x)) (* (- (sqrt x)) (* 0.12 x)) (* (- x) (* 0.12 x)) (expm1 (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (log1p (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (/ (exp 1.0) (exp (fma 0.12 (pow x 2) (* 0.253 x)))) (log (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (/ (exp 1.0) (exp (fma 0.12 (pow x 2) (* 0.253 x)))) (* (cbrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (cbrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)))) (cbrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (pow (fma (- x) (+ (* 0.12 x) 0.253) 1.0) 3) (sqrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (sqrt (+ (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0))) (- (pow (fma 0.253 (- x) 1.0) 3) (pow (* x (* 0.12 x)) 3)) (fma (* 0.12 x) (* (pow x 3) 0.12) (* (fma 0.253 (- x) 1.0) (- (fma 0.253 (- x) 1.0) (* (- x) (* 0.12 x))))) (fma (* 0.12 x) (* (pow x 3) 0.12) (- (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0)))) (- (* (- x) (* 0.12 x)) (fma 0.253 (- x) 1.0)) (- (* x (fma x 0.12 0.253))) (* -0.12 (pow x 2)) (* -0.12 (pow x 2)) (* -0.12 (pow x 2)) (fma (fma x 0.12 0.253) (- x) 1.0) (fma (fma x 0.12 0.253) (- x) 1.0) (fma (fma x 0.12 0.253) (- x) 1.0) 0.798 * * * [progress]: adding candidates to table 0.903 * * [progress]: iteration 4 / 4 0.903 * * * [progress]: picking best candidate 0.909 * * * * [pick]: Picked # 0.909 * * * [progress]: localizing error 0.919 * * * [progress]: generating rewritten candidates 0.919 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.931 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.945 * * * [progress]: generating series expansions 0.945 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.945 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 0.945 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.945 * [taylor]: Taking taylor expansion of 0.12 in x 0.946 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.946 * [taylor]: Taking taylor expansion of x in x 0.946 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.946 * [taylor]: Taking taylor expansion of 0.12 in x 0.946 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.946 * [taylor]: Taking taylor expansion of x in x 0.954 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 0.954 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.954 * [taylor]: Taking taylor expansion of 0.12 in x 0.954 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.954 * [taylor]: Taking taylor expansion of x in x 0.955 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.955 * [taylor]: Taking taylor expansion of 0.12 in x 0.955 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.955 * [taylor]: Taking taylor expansion of x in x 0.962 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 0.962 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.962 * [taylor]: Taking taylor expansion of 0.12 in x 0.962 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 0.962 * [taylor]: Taking taylor expansion of 0.12 in x 0.962 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.969 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.970 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in (x) around 0 0.970 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.970 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.970 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.970 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.970 * [taylor]: Taking taylor expansion of 0.253 in x 0.970 * [taylor]: Taking taylor expansion of (- x) in x 0.970 * [taylor]: Taking taylor expansion of x in x 0.970 * [taylor]: Taking taylor expansion of 1.0 in x 0.970 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.970 * [taylor]: Taking taylor expansion of 0.12 in x 0.970 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.970 * [taylor]: Taking taylor expansion of x in x 0.970 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.970 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.970 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.970 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.970 * [taylor]: Taking taylor expansion of 0.253 in x 0.970 * [taylor]: Taking taylor expansion of (- x) in x 0.970 * [taylor]: Taking taylor expansion of x in x 0.970 * [taylor]: Taking taylor expansion of 1.0 in x 0.970 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.970 * [taylor]: Taking taylor expansion of 0.12 in x 0.970 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.970 * [taylor]: Taking taylor expansion of x in x 0.977 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.977 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.977 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.977 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.977 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.977 * [taylor]: Taking taylor expansion of 0.253 in x 0.977 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.977 * [taylor]: Taking taylor expansion of x in x 0.977 * [taylor]: Taking taylor expansion of 1.0 in x 0.977 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.977 * [taylor]: Taking taylor expansion of 0.12 in x 0.977 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.977 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.977 * [taylor]: Taking taylor expansion of x in x 0.978 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.978 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.978 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.978 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.978 * [taylor]: Taking taylor expansion of 0.253 in x 0.978 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.978 * [taylor]: Taking taylor expansion of x in x 0.978 * [taylor]: Taking taylor expansion of 1.0 in x 0.978 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.978 * [taylor]: Taking taylor expansion of 0.12 in x 0.978 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.978 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.978 * [taylor]: Taking taylor expansion of x in x 0.986 * [approximate]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.987 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.987 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.987 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.987 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.987 * [taylor]: Taking taylor expansion of 0.253 in x 0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.987 * [taylor]: Taking taylor expansion of x in x 0.987 * [taylor]: Taking taylor expansion of 1.0 in x 0.987 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.987 * [taylor]: Taking taylor expansion of 0.12 in x 0.987 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.987 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.987 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.988 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.988 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.988 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.988 * [taylor]: Taking taylor expansion of 0.253 in x 0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.988 * [taylor]: Taking taylor expansion of 1.0 in x 0.988 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.988 * [taylor]: Taking taylor expansion of 0.12 in x 0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.988 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.988 * [taylor]: Taking taylor expansion of x in x 0.995 * * * [progress]: simplifying candidates 0.996 * [simplify]: Simplifying using # : (expm1 (* 0.12 (pow x 2))) (log1p (* 0.12 (pow x 2))) (+ (log 0.12) (* (log x) 2)) (+ (log 0.12) (* (log x) 2)) (+ (log 0.12) (log (pow x 2))) (log (* 0.12 (pow x 2))) (exp (* 0.12 (pow x 2))) (* (* (* 0.12 0.12) 0.12) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 0.12 (pow x 2))) (cbrt (* 0.12 (pow x 2)))) (cbrt (* 0.12 (pow x 2))) (* (* (* 0.12 (pow x 2)) (* 0.12 (pow x 2))) (* 0.12 (pow x 2))) (sqrt (* 0.12 (pow x 2))) (sqrt (* 0.12 (pow x 2))) (* (sqrt 0.12) (pow (sqrt x) 2)) (* (sqrt 0.12) (pow (sqrt x) 2)) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (pow x (/ 2 2))) (* (sqrt 0.12) (pow x (/ 2 2))) (* 0.12 (pow (* (cbrt x) (cbrt x)) 2)) (* 0.12 (pow (sqrt x) 2)) (* 0.12 (pow 1 2)) (* 0.12 x) (* 0.12 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 0.12 (sqrt (pow x 2))) (* 0.12 1) (* 0.12 (pow x (/ 2 2))) (* (cbrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* 0.12 (pow x 2)) (expm1 (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (log1p (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (* (/ 1 (exp (* 0.12 (pow x 2)))) (exp (fma 0.253 (- x) 1.0))) (* (exp (- (* 0.12 (pow x 2)))) (exp (fma 0.253 (- x) 1.0))) (log (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (exp (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (* (cbrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (cbrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)))) (cbrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (* (* (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)) (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (sqrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (sqrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (+ (pow (- (* 0.12 (pow x 2))) 3) (pow (fma 0.253 (- x) 1.0) 3)) (+ (* (- (* 0.12 (pow x 2))) (- (* 0.12 (pow x 2)))) (- (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0)) (* (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)))) (- (* (- (* 0.12 (pow x 2))) (- (* 0.12 (pow x 2)))) (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0))) (- (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)) (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)) (+ (- (* 0.12 (pow x 2))) (* 0.253 (- x))) (- (* 0.12 (pow x 2)) (fma 0.253 (- x) 1.0)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 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.996 * [simplify]: Sending expressions to egg_math: (expm1 (* h0 (pow h1 2))) (log1p (* h0 (pow h1 2))) (+ (log h0) (* (log h1) 2)) (+ (log h0) (* (log h1) 2)) (+ (log h0) (log (pow h1 2))) (log (* h0 (pow h1 2))) (exp (* h0 (pow h1 2))) (* (* (* h0 h0) h0) (* (* (pow h1 2) (pow h1 2)) (pow h1 2))) (* (cbrt (* h0 (pow h1 2))) (cbrt (* h0 (pow h1 2)))) (cbrt (* h0 (pow h1 2))) (* (* (* h0 (pow h1 2)) (* h0 (pow h1 2))) (* h0 (pow h1 2))) (sqrt (* h0 (pow h1 2))) (sqrt (* h0 (pow h1 2))) (* (sqrt h0) (pow (sqrt h1) 2)) (* (sqrt h0) (pow (sqrt h1) 2)) (* (sqrt h0) h1) (* (sqrt h0) h1) (* (sqrt h0) (sqrt (pow h1 2))) (* (sqrt h0) (sqrt (pow h1 2))) (* (sqrt h0) (pow h1 (/ 2 2))) (* (sqrt h0) (pow h1 (/ 2 2))) (* h0 (pow (* (cbrt h1) (cbrt h1)) 2)) (* h0 (pow (sqrt h1) 2)) (* h0 (pow 1 2)) (* h0 h1) (* h0 (* (cbrt (pow h1 2)) (cbrt (pow h1 2)))) (* h0 (sqrt (pow h1 2))) (* h0 1) (* h0 (pow h1 (/ 2 2))) (* (cbrt h0) (pow h1 2)) (* (sqrt h0) (pow h1 2)) (* h0 (pow h1 2)) (expm1 (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (log1p (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (* (/ 1 (exp (* h0 (pow h1 2)))) (exp (fma h2 (- h1) h3))) (* (exp (- (* h0 (pow h1 2)))) (exp (fma h2 (- h1) h3))) (log (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (exp (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (* (cbrt (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (cbrt (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3)))) (cbrt (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (* (* (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3)) (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (sqrt (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (sqrt (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3))) (+ (pow (- (* h0 (pow h1 2))) 3) (pow (fma h2 (- h1) h3) 3)) (+ (* (- (* h0 (pow h1 2))) (- (* h0 (pow h1 2)))) (- (* (fma h2 (- h1) h3) (fma h2 (- h1) h3)) (* (- (* h0 (pow h1 2))) (fma h2 (- h1) h3)))) (- (* (- (* h0 (pow h1 2))) (- (* h0 (pow h1 2)))) (* (fma h2 (- h1) h3) (fma h2 (- h1) h3))) (- (- (* h0 (pow h1 2))) (fma h2 (- h1) h3)) (+ (- (* h0 (pow h1 2))) (fma h2 (- h1) h3)) (+ (- (* h0 (pow h1 2))) (* h2 (- h1))) (- (* h0 (pow h1 2)) (fma h2 (- h1) h3)) (* h0 (pow h1 2)) (* h0 (pow h1 2)) (* h0 (pow h1 2)) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) 1.000 * * [simplify]: iteration 0 : 217 enodes (cost 279 ) 1.005 * * [simplify]: iteration 1 : 869 enodes (cost 240 ) 1.029 * * [simplify]: iteration 2 : 5002 enodes (cost 237 ) 1.031 * [simplify]: Simplified to: (expm1 (* 0.12 (pow x 2))) (log1p (* 0.12 (pow x 2))) (log (* 0.12 (pow x 2))) (log (* 0.12 (pow x 2))) (log (* 0.12 (pow x 2))) (log (* 0.12 (pow x 2))) (exp (* 0.12 (pow x 2))) (pow (* 0.12 (pow x 2)) 3) (* (cbrt (* 0.12 (pow x 2))) (cbrt (* 0.12 (pow x 2)))) (cbrt (* 0.12 (pow x 2))) (pow (* 0.12 (pow x 2)) 3) (sqrt (* 0.12 (pow x 2))) (sqrt (* 0.12 (pow x 2))) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* (sqrt 0.12) (sqrt (pow x 2))) (* (sqrt 0.12) (sqrt (pow x 2))) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* 0.12 (pow (* (cbrt x) (cbrt x)) 2)) (* x 0.12) 0.12 (* x 0.12) (* 0.12 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 0.12 (fabs x)) 0.12 (* x 0.12) (* (cbrt 0.12) (pow x 2)) (* (sqrt 0.12) (pow x 2)) (* 0.12 (pow x 2)) (expm1 (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (log1p (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (exp (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (exp (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (log (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (exp (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))) (* (cbrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (cbrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)))) (cbrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (pow (fma (- 0.12) (pow x 2) (fma 0.253 (- x) 1.0)) 3) (sqrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (sqrt (+ (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0))) (- (pow (fma 0.253 (- x) 1.0) 3) (pow (* 0.12 (pow x 2)) 3)) (fma (* 0.12 0.12) (pow x 4) (* (fma 0.253 (- x) 1.0) (- (fma 0.253 (- x) 1.0) (- (* 0.12 (pow x 2)))))) (fma (* 0.12 0.12) (pow x 4) (- (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0)))) (- (- (* 0.12 (pow x 2))) (fma 0.253 (- x) 1.0)) (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) (- (fma 0.12 (pow x 2) (* 0.253 x))) (- (* 0.12 (pow x 2)) (fma 0.253 (- x) 1.0)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 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))) 1.031 * * * [progress]: adding candidates to table 1.161 * [progress]: [Phase 3 of 3] Extracting. 1.161 * * [regime]: Finding splitpoints for: (# # # # #) 1.162 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.162 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.181 * * * [regime]: Found split indices: #