2.169 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.016 * [simplify]: Sending expressions to egg_math: (- h0 (* h1 (+ h2 (* h1 h3)))) 0.018 * * [simplify]: iteration 0 : 19 enodes (cost 4 ) 0.019 * * [simplify]: iteration 1 : 45 enodes (cost 4 ) 0.021 * * [simplify]: iteration 2 : 82 enodes (cost 3 ) 0.023 * * [simplify]: iteration 3 : 127 enodes (cost 3 ) 0.025 * * [simplify]: iteration 4 : 168 enodes (cost 3 ) 0.028 * * [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.045 * * [simplify]: iteration 9 : 763 enodes (cost 3 ) 0.048 * * [progress]: iteration 1 / 4 0.048 * * * [progress]: picking best candidate 0.050 * * * * [pick]: Picked # 0.050 * * * [progress]: localizing error 0.056 * * * [progress]: generating rewritten candidates 0.056 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.056 * * * [progress]: generating series expansions 0.056 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.056 * [backup-simplify]: Simplify (fma (- x) (fma 0.12 x 0.253) 1.0) into (fma (- x) (fma 0.12 x 0.253) 1.0) 0.056 * [approximate]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in (x) around 0 0.056 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.057 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.057 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.057 * [taylor]: Taking taylor expansion of (- x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 1 into 1 0.057 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.057 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.057 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.057 * [taylor]: Taking taylor expansion of 0.12 in x 0.057 * [backup-simplify]: Simplify 0.12 into 0.12 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 1 into 1 0.057 * [taylor]: Taking taylor expansion of 0.253 in x 0.057 * [backup-simplify]: Simplify 0.253 into 0.253 0.057 * [taylor]: Taking taylor expansion of 1.0 in x 0.057 * [backup-simplify]: Simplify 1.0 into 1.0 0.057 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.057 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.057 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.057 * [taylor]: Taking taylor expansion of (- x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 1 into 1 0.057 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.057 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.057 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.057 * [taylor]: Taking taylor expansion of 0.12 in x 0.057 * [backup-simplify]: Simplify 0.12 into 0.12 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [backup-simplify]: Simplify 0 into 0 0.057 * [backup-simplify]: Simplify 1 into 1 0.057 * [taylor]: Taking taylor expansion of 0.253 in x 0.057 * [backup-simplify]: Simplify 0.253 into 0.253 0.057 * [taylor]: Taking taylor expansion of 1.0 in x 0.057 * [backup-simplify]: Simplify 1.0 into 1.0 0.058 * [backup-simplify]: Simplify (- 0) into 0 0.058 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.058 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.059 * [backup-simplify]: Simplify (* 0 0.253) into 0 0.059 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.059 * [backup-simplify]: Simplify 1.0 into 1.0 0.059 * [backup-simplify]: Simplify (- 0) into 0 0.060 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.060 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.060 * [backup-simplify]: Simplify (- 1) into -1 0.061 * [backup-simplify]: Simplify (+ (* 0 0.12) (* -1 0.253)) into (- 0.253) 0.062 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.062 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.062 * [backup-simplify]: Simplify (- 0) into 0 0.063 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.063 * [backup-simplify]: Simplify (+ 0 0) into 0 0.063 * [backup-simplify]: Simplify (- 1) into -1 0.063 * [backup-simplify]: Simplify (- 0) into 0 0.065 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0.12) (* 0 0.253))) into (- 0.12) 0.065 * [backup-simplify]: Simplify (+ (- 0.12) 0) into (- 0.12) 0.066 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.066 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.066 * [backup-simplify]: Simplify (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) into (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) 0.066 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in (x) around 0 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.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [backup-simplify]: Simplify (/ 1 1) into 1 0.067 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.067 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.067 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 0.12 in x 0.067 * [backup-simplify]: Simplify 0.12 into 0.12 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [backup-simplify]: Simplify (/ 1 1) into 1 0.067 * [taylor]: Taking taylor expansion of 0.253 in x 0.067 * [backup-simplify]: Simplify 0.253 into 0.253 0.067 * [taylor]: Taking taylor expansion of 1.0 in x 0.067 * [backup-simplify]: Simplify 1.0 into 1.0 0.067 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in x 0.067 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) 0.067 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) in x 0.068 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [backup-simplify]: Simplify (/ 1 1) into 1 0.068 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.068 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.068 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.068 * [taylor]: Taking taylor expansion of 0.12 in x 0.068 * [backup-simplify]: Simplify 0.12 into 0.12 0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [backup-simplify]: Simplify (/ 1 1) into 1 0.068 * [taylor]: Taking taylor expansion of 0.253 in x 0.068 * [backup-simplify]: Simplify 0.253 into 0.253 0.068 * [taylor]: Taking taylor expansion of 1.0 in x 0.068 * [backup-simplify]: Simplify 1.0 into 1.0 0.069 * [backup-simplify]: Simplify (- 1) into -1 0.069 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.069 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.069 * [backup-simplify]: Simplify (* -1 0.12) into -0.12 0.070 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.070 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.070 * [backup-simplify]: Simplify (- 1) into -1 0.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.071 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.071 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.072 * [backup-simplify]: Simplify (- 0) into 0 0.073 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 0.12)) into (- 0.253) 0.073 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.073 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.074 * [backup-simplify]: Simplify (- 1) into -1 0.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.078 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.078 * [backup-simplify]: Simplify (+ 0 0) into 0 0.078 * [backup-simplify]: Simplify (- 0) into 0 0.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.079 * [backup-simplify]: Simplify (- 0) into 0 0.079 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 0.12))) into 0 0.080 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.080 * [backup-simplify]: Simplify 1.0 into 1.0 0.080 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.081 * [backup-simplify]: Simplify (fma (- (/ 1 (- x))) (fma 0.12 (/ 1 (- x)) 0.253) 1.0) into (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) 0.081 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in (x) around 0 0.081 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.081 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.081 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.081 * [backup-simplify]: Simplify (/ 1 1) into 1 0.081 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.081 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.081 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.081 * [taylor]: Taking taylor expansion of 0.12 in x 0.081 * [backup-simplify]: Simplify 0.12 into 0.12 0.081 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.081 * [taylor]: Taking taylor expansion of -1 in x 0.081 * [backup-simplify]: Simplify -1 into -1 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (/ -1 1) into -1 0.082 * [taylor]: Taking taylor expansion of 0.253 in x 0.082 * [backup-simplify]: Simplify 0.253 into 0.253 0.082 * [taylor]: Taking taylor expansion of 1.0 in x 0.082 * [backup-simplify]: Simplify 1.0 into 1.0 0.082 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.082 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.082 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (/ 1 1) into 1 0.082 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.082 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.082 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.082 * [taylor]: Taking taylor expansion of 0.12 in x 0.082 * [backup-simplify]: Simplify 0.12 into 0.12 0.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.082 * [taylor]: Taking taylor expansion of -1 in x 0.082 * [backup-simplify]: Simplify -1 into -1 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify 1 into 1 0.083 * [backup-simplify]: Simplify (/ -1 1) into -1 0.083 * [taylor]: Taking taylor expansion of 0.253 in x 0.083 * [backup-simplify]: Simplify 0.253 into 0.253 0.083 * [taylor]: Taking taylor expansion of 1.0 in x 0.083 * [backup-simplify]: Simplify 1.0 into 1.0 0.083 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.083 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.084 * [backup-simplify]: Simplify (* 1 (- 0.12)) into -0.12 0.084 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.084 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.085 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.085 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 -1)) into 0 0.085 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.087 * [backup-simplify]: Simplify (+ (* 1 0.253) (* 0 (- 0.12))) into 0.253 0.087 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.087 * [backup-simplify]: Simplify 0.253 into 0.253 0.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.088 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 -1))) into 0 0.088 * [backup-simplify]: Simplify (+ 0 0) into 0 0.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.253) (* 0 (- 0.12)))) into 0 0.090 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.090 * [backup-simplify]: Simplify 1.0 into 1.0 0.090 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.090 * * * [progress]: simplifying candidates 0.091 * [simplify]: Simplifying: (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.091 * [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.093 * * [simplify]: iteration 0 : 42 enodes (cost 66 ) 0.095 * * [simplify]: iteration 1 : 102 enodes (cost 53 ) 0.097 * * [simplify]: iteration 2 : 433 enodes (cost 53 ) 0.106 * * [simplify]: iteration 3 : 2132 enodes (cost 53 ) 0.159 * * [simplify]: iteration 4 : 5001 enodes (cost 53 ) 0.159 * * * [progress]: adding candidates to table 0.186 * * [progress]: iteration 2 / 4 0.186 * * * [progress]: picking best candidate 0.191 * * * * [pick]: Picked # 0.191 * * * [progress]: localizing error 0.197 * * * [progress]: generating rewritten candidates 0.197 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.211 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.221 * * * [progress]: generating series expansions 0.221 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.221 * [backup-simplify]: Simplify (* (- x) (fma 0.12 x 0.253)) into (* -1 (* x (fma 0.12 x 0.253))) 0.221 * [approximate]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in (x) around 0 0.221 * [taylor]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in x 0.221 * [taylor]: Taking taylor expansion of -1 in x 0.221 * [backup-simplify]: Simplify -1 into -1 0.221 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify 1 into 1 0.221 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.221 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.221 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.221 * [taylor]: Taking taylor expansion of 0.12 in x 0.221 * [backup-simplify]: Simplify 0.12 into 0.12 0.221 * [taylor]: Taking taylor expansion of x in x 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify 1 into 1 0.222 * [taylor]: Taking taylor expansion of 0.253 in x 0.222 * [backup-simplify]: Simplify 0.253 into 0.253 0.222 * [taylor]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in x 0.222 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [backup-simplify]: Simplify -1 into -1 0.222 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify 1 into 1 0.222 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.222 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.222 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.222 * [taylor]: Taking taylor expansion of 0.12 in x 0.222 * [backup-simplify]: Simplify 0.12 into 0.12 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify 1 into 1 0.222 * [taylor]: Taking taylor expansion of 0.253 in x 0.222 * [backup-simplify]: Simplify 0.253 into 0.253 0.222 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.223 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.223 * [backup-simplify]: Simplify (* 0 0.253) into 0 0.223 * [backup-simplify]: Simplify (* -1 0) into 0 0.223 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.224 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.225 * [backup-simplify]: Simplify (+ (* 0 0.12) (* 1 0.253)) into 0.253 0.226 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 0)) into (- 0.253) 0.226 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.227 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.227 * [backup-simplify]: Simplify (+ 0 0) into 0 0.228 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0.12) (* 0 0.253))) into 0.12 0.229 * [backup-simplify]: Simplify (+ (* -1 0.12) (+ (* 0 0.253) (* 0 0))) into (- 0.12) 0.230 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.230 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.230 * [backup-simplify]: Simplify (+ 0 0) into 0 0.231 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0.12) (* 0 0.253)))) into 0 0.232 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0)))) into 0 0.232 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.233 * [backup-simplify]: Simplify (+ 0 0) into 0 0.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0.12) (* 0 0.253))))) into 0 0.234 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0))))) into 0 0.234 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.235 * [backup-simplify]: Simplify (+ 0 0) into 0 0.236 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (* 0 0.253)))))) into 0 0.237 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0)))))) into 0 0.237 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.238 * [backup-simplify]: Simplify (+ 0 0) into 0 0.239 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (* 0 0.253))))))) into 0 0.240 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0))))))) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.241 * [backup-simplify]: Simplify (+ 0 0) into 0 0.242 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (* 0 0.253)))))))) into 0 0.243 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0)))))))) into 0 0.243 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 0.244 * [backup-simplify]: Simplify (+ 0 0) into 0 0.245 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (* 0 0.253))))))))) into 0 0.246 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0))))))))) into 0 0.246 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (* (- 0.253) x)) into (- (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.247 * [backup-simplify]: Simplify (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) into (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) 0.247 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in (x) around 0 0.247 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.247 * [taylor]: Taking taylor expansion of -1 in x 0.247 * [backup-simplify]: Simplify -1 into -1 0.247 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.247 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.247 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.247 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.247 * [taylor]: Taking taylor expansion of 0.12 in x 0.248 * [backup-simplify]: Simplify 0.12 into 0.12 0.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.248 * [backup-simplify]: Simplify (/ 1 1) into 1 0.248 * [taylor]: Taking taylor expansion of 0.253 in x 0.248 * [backup-simplify]: Simplify 0.253 into 0.253 0.248 * [taylor]: Taking taylor expansion of x in x 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.248 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.248 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.249 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.249 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.249 * [taylor]: Taking taylor expansion of -1 in x 0.249 * [backup-simplify]: Simplify -1 into -1 0.249 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.249 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.249 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.249 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.249 * [taylor]: Taking taylor expansion of 0.12 in x 0.249 * [backup-simplify]: Simplify 0.12 into 0.12 0.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify 1 into 1 0.249 * [backup-simplify]: Simplify (/ 1 1) into 1 0.249 * [taylor]: Taking taylor expansion of 0.253 in x 0.249 * [backup-simplify]: Simplify 0.253 into 0.253 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify 1 into 1 0.250 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.250 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.250 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.250 * [backup-simplify]: Simplify (* -1 0.12) into -0.12 0.250 * [backup-simplify]: Simplify -0.12 into -0.12 0.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.251 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.251 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.253 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 0.253 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 0.12)) into (- 0.253) 0.254 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.255 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.255 * [backup-simplify]: Simplify (+ 0 0) into 0 0.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.256 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 0.12))) into 0 0.256 * [backup-simplify]: Simplify 0 into 0 0.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.257 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.257 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.259 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12)))) into 0 0.259 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.260 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.260 * [backup-simplify]: Simplify (+ 0 0) into 0 0.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.261 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12))))) into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.263 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.263 * [backup-simplify]: Simplify (+ 0 0) into 0 0.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.264 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12)))))) into 0 0.264 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.266 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.266 * [backup-simplify]: Simplify (+ 0 0) into 0 0.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.267 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12))))))) into 0 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.269 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.269 * [backup-simplify]: Simplify (+ 0 0) into 0 0.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.271 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12)))))))) into 0 0.271 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 x))) (* -0.12 (pow (/ 1 (/ 1 x)) 2))) into (- (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.271 * [backup-simplify]: Simplify (* (- (/ 1 (- x))) (fma 0.12 (/ 1 (- x)) 0.253)) into (/ (fma 0.12 (/ -1 x) 0.253) x) 0.272 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in (x) around 0 0.272 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.272 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.272 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.272 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.272 * [taylor]: Taking taylor expansion of 0.12 in x 0.272 * [backup-simplify]: Simplify 0.12 into 0.12 0.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.272 * [taylor]: Taking taylor expansion of -1 in x 0.272 * [backup-simplify]: Simplify -1 into -1 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.272 * [backup-simplify]: Simplify (/ -1 1) into -1 0.272 * [taylor]: Taking taylor expansion of 0.253 in x 0.272 * [backup-simplify]: Simplify 0.253 into 0.253 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.272 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.273 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.273 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.273 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.273 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.273 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.273 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.273 * [taylor]: Taking taylor expansion of 0.12 in x 0.273 * [backup-simplify]: Simplify 0.12 into 0.12 0.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.273 * [taylor]: Taking taylor expansion of -1 in x 0.273 * [backup-simplify]: Simplify -1 into -1 0.273 * [taylor]: Taking taylor expansion of x in x 0.273 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify 1 into 1 0.274 * [backup-simplify]: Simplify (/ -1 1) into -1 0.274 * [taylor]: Taking taylor expansion of 0.253 in x 0.274 * [backup-simplify]: Simplify 0.253 into 0.253 0.274 * [taylor]: Taking taylor expansion of x in x 0.274 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify 1 into 1 0.274 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.274 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.275 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.275 * [backup-simplify]: Simplify -0.12 into -0.12 0.275 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.276 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 -1)) into 0 0.276 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.277 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 0.277 * [backup-simplify]: Simplify 0.253 into 0.253 0.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.278 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 -1))) into 0 0.278 * [backup-simplify]: Simplify (+ 0 0) into 0 0.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.279 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.280 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.280 * [backup-simplify]: Simplify (+ 0 0) into 0 0.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.285 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.287 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 0.288 * [backup-simplify]: Simplify (+ 0 0) into 0 0.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.288 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.290 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 0.290 * [backup-simplify]: Simplify (+ 0 0) into 0 0.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.291 * [backup-simplify]: Simplify 0 into 0 0.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.292 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 0.292 * [backup-simplify]: Simplify (+ 0 0) into 0 0.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* -0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (- (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.293 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.293 * [backup-simplify]: Simplify (+ (* (- x) (fma 0.12 x 0.253)) 1.0) into (- 1.0 (* x (fma 0.12 x 0.253))) 0.293 * [approximate]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in (x) around 0 0.294 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x 0.294 * [taylor]: Taking taylor expansion of 1.0 in x 0.294 * [backup-simplify]: Simplify 1.0 into 1.0 0.294 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.294 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.294 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.294 * [taylor]: Taking taylor expansion of 0.12 in x 0.294 * [backup-simplify]: Simplify 0.12 into 0.12 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of 0.253 in x 0.294 * [backup-simplify]: Simplify 0.253 into 0.253 0.294 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x 0.294 * [taylor]: Taking taylor expansion of 1.0 in x 0.294 * [backup-simplify]: Simplify 1.0 into 1.0 0.294 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.294 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.294 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.294 * [taylor]: Taking taylor expansion of 0.12 in x 0.294 * [backup-simplify]: Simplify 0.12 into 0.12 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of 0.253 in x 0.294 * [backup-simplify]: Simplify 0.253 into 0.253 0.295 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.295 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.295 * [backup-simplify]: Simplify (* 0 0.253) into 0 0.295 * [backup-simplify]: Simplify (- 0) into 0 0.296 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.296 * [backup-simplify]: Simplify 1.0 into 1.0 0.296 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.297 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.297 * [backup-simplify]: Simplify (+ (* 0 0.12) (* 1 0.253)) into 0.253 0.298 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.298 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.298 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.299 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.301 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0.12) (* 0 0.253))) into 0.12 0.301 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.301 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.302 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.302 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.302 * [backup-simplify]: Simplify (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) into (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) 0.302 * [approximate]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in (x) around 0 0.302 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.302 * [taylor]: Taking taylor expansion of 1.0 in x 0.302 * [backup-simplify]: Simplify 1.0 into 1.0 0.302 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.303 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.303 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.303 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.303 * [taylor]: Taking taylor expansion of 0.12 in x 0.303 * [backup-simplify]: Simplify 0.12 into 0.12 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 1 into 1 0.303 * [backup-simplify]: Simplify (/ 1 1) into 1 0.303 * [taylor]: Taking taylor expansion of 0.253 in x 0.303 * [backup-simplify]: Simplify 0.253 into 0.253 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 1 into 1 0.303 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.304 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.304 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.304 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.304 * [taylor]: Taking taylor expansion of 1.0 in x 0.304 * [backup-simplify]: Simplify 1.0 into 1.0 0.304 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.304 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.304 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.304 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.304 * [taylor]: Taking taylor expansion of 0.12 in x 0.304 * [backup-simplify]: Simplify 0.12 into 0.12 0.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.304 * [taylor]: Taking taylor expansion of x in x 0.304 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify 1 into 1 0.304 * [backup-simplify]: Simplify (/ 1 1) into 1 0.304 * [taylor]: Taking taylor expansion of 0.253 in x 0.304 * [backup-simplify]: Simplify 0.253 into 0.253 0.304 * [taylor]: Taking taylor expansion of x in x 0.304 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify 1 into 1 0.305 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.305 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.305 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.305 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.306 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.306 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.307 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.307 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.308 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 0.309 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.309 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.309 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.310 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.311 * [backup-simplify]: Simplify (+ 0 0) into 0 0.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.311 * [backup-simplify]: Simplify (- 0) into 0 0.312 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.312 * [backup-simplify]: Simplify 1.0 into 1.0 0.312 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.313 * [backup-simplify]: Simplify (+ (* (- (/ 1 (- x))) (fma 0.12 (/ 1 (- x)) 0.253)) 1.0) into (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) 0.313 * [approximate]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in (x) around 0 0.313 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x 0.313 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.313 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.313 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.313 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.313 * [taylor]: Taking taylor expansion of 0.12 in x 0.313 * [backup-simplify]: Simplify 0.12 into 0.12 0.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.313 * [taylor]: Taking taylor expansion of -1 in x 0.313 * [backup-simplify]: Simplify -1 into -1 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [backup-simplify]: Simplify 0 into 0 0.313 * [backup-simplify]: Simplify 1 into 1 0.313 * [backup-simplify]: Simplify (/ -1 1) into -1 0.313 * [taylor]: Taking taylor expansion of 0.253 in x 0.313 * [backup-simplify]: Simplify 0.253 into 0.253 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [backup-simplify]: Simplify 0 into 0 0.313 * [backup-simplify]: Simplify 1 into 1 0.314 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.314 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.314 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.314 * [taylor]: Taking taylor expansion of 1.0 in x 0.314 * [backup-simplify]: Simplify 1.0 into 1.0 0.314 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x 0.314 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.314 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.315 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.315 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.315 * [taylor]: Taking taylor expansion of 0.12 in x 0.315 * [backup-simplify]: Simplify 0.12 into 0.12 0.315 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.315 * [taylor]: Taking taylor expansion of -1 in x 0.315 * [backup-simplify]: Simplify -1 into -1 0.315 * [taylor]: Taking taylor expansion of x in x 0.315 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 1 into 1 0.315 * [backup-simplify]: Simplify (/ -1 1) into -1 0.315 * [taylor]: Taking taylor expansion of 0.253 in x 0.315 * [backup-simplify]: Simplify 0.253 into 0.253 0.315 * [taylor]: Taking taylor expansion of x in x 0.315 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 1 into 1 0.315 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.316 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.316 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.316 * [taylor]: Taking taylor expansion of 1.0 in x 0.316 * [backup-simplify]: Simplify 1.0 into 1.0 0.316 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.317 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.317 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.317 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 -1)) into 0 0.318 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.319 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 0.319 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.319 * [backup-simplify]: Simplify 0.253 into 0.253 0.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.320 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 -1))) into 0 0.320 * [backup-simplify]: Simplify (+ 0 0) into 0 0.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.321 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.321 * [backup-simplify]: Simplify 1.0 into 1.0 0.322 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.322 * * * [progress]: simplifying candidates 0.322 * [simplify]: Simplifying: (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.323 * [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.326 * * [simplify]: iteration 0 : 205 enodes (cost 250 ) 0.330 * * [simplify]: iteration 1 : 826 enodes (cost 222 ) 0.349 * * [simplify]: iteration 2 : 4576 enodes (cost 219 ) 0.462 * * [simplify]: iteration 3 : 5001 enodes (cost 218 ) 0.464 * * * [progress]: adding candidates to table 0.563 * * [progress]: iteration 3 / 4 0.563 * * * [progress]: picking best candidate 0.579 * * * * [pick]: Picked # 0.579 * * * [progress]: localizing error 0.586 * * * [progress]: generating rewritten candidates 0.586 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.608 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.628 * * * [progress]: generating series expansions 0.628 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.629 * [backup-simplify]: Simplify (* (* 0.12 x) (- x)) into (* -0.12 (pow x 2)) 0.629 * [approximate]: Taking taylor expansion of (* -0.12 (pow x 2)) in (x) around 0 0.629 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.629 * [taylor]: Taking taylor expansion of -0.12 in x 0.629 * [backup-simplify]: Simplify -0.12 into -0.12 0.629 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 1 into 1 0.629 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.629 * [taylor]: Taking taylor expansion of -0.12 in x 0.629 * [backup-simplify]: Simplify -0.12 into -0.12 0.629 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 1 into 1 0.629 * [backup-simplify]: Simplify (* 1 1) into 1 0.630 * [backup-simplify]: Simplify (* -0.12 1) into -0.12 0.630 * [backup-simplify]: Simplify -0.12 into -0.12 0.630 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.630 * [backup-simplify]: Simplify (+ (* -0.12 0) (* 0 1)) into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.631 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.631 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.633 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.634 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.634 * [backup-simplify]: Simplify 0 into 0 0.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.635 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.635 * [backup-simplify]: Simplify 0 into 0 0.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.637 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.637 * [backup-simplify]: Simplify 0 into 0 0.637 * [backup-simplify]: Simplify (* -0.12 (pow x 2)) into (* -0.12 (pow x 2)) 0.637 * [backup-simplify]: Simplify (* (* 0.12 (/ 1 x)) (- (/ 1 x))) into (/ -0.12 (pow x 2)) 0.637 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.637 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.637 * [taylor]: Taking taylor expansion of -0.12 in x 0.637 * [backup-simplify]: Simplify -0.12 into -0.12 0.637 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [backup-simplify]: Simplify 0 into 0 0.637 * [backup-simplify]: Simplify 1 into 1 0.637 * [backup-simplify]: Simplify (* 1 1) into 1 0.638 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.638 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.638 * [taylor]: Taking taylor expansion of -0.12 in x 0.638 * [backup-simplify]: Simplify -0.12 into -0.12 0.638 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify 1 into 1 0.638 * [backup-simplify]: Simplify (* 1 1) into 1 0.638 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.638 * [backup-simplify]: Simplify -0.12 into -0.12 0.639 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)))) into 0 0.639 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.640 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.641 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.642 * [backup-simplify]: Simplify 0 into 0 0.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.644 * [backup-simplify]: Simplify 0 into 0 0.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify (* -0.12 (pow (/ 1 (/ 1 x)) 2)) into (* -0.12 (pow x 2)) 0.645 * [backup-simplify]: Simplify (* (* 0.12 (/ 1 (- x))) (- (/ 1 (- x)))) into (/ -0.12 (pow x 2)) 0.645 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.645 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.645 * [taylor]: Taking taylor expansion of -0.12 in x 0.645 * [backup-simplify]: Simplify -0.12 into -0.12 0.645 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify 1 into 1 0.646 * [backup-simplify]: Simplify (* 1 1) into 1 0.646 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.646 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.646 * [taylor]: Taking taylor expansion of -0.12 in x 0.646 * [backup-simplify]: Simplify -0.12 into -0.12 0.646 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 1 into 1 0.646 * [backup-simplify]: Simplify (* 1 1) into 1 0.647 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.647 * [backup-simplify]: Simplify -0.12 into -0.12 0.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)))) into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.648 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.653 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify (* -0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* -0.12 (pow x 2)) 0.653 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.654 * [backup-simplify]: Simplify (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)) into (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) 0.654 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in (x) around 0 0.654 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.654 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.654 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.654 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.654 * [taylor]: Taking taylor expansion of 0.253 in x 0.654 * [backup-simplify]: Simplify 0.253 into 0.253 0.654 * [taylor]: Taking taylor expansion of (- x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [taylor]: Taking taylor expansion of 1.0 in x 0.654 * [backup-simplify]: Simplify 1.0 into 1.0 0.654 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.654 * [taylor]: Taking taylor expansion of 0.12 in x 0.654 * [backup-simplify]: Simplify 0.12 into 0.12 0.654 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.654 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.654 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.654 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.654 * [taylor]: Taking taylor expansion of 0.253 in x 0.654 * [backup-simplify]: Simplify 0.253 into 0.253 0.654 * [taylor]: Taking taylor expansion of (- x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify 1 into 1 0.654 * [taylor]: Taking taylor expansion of 1.0 in x 0.654 * [backup-simplify]: Simplify 1.0 into 1.0 0.654 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.654 * [taylor]: Taking taylor expansion of 0.12 in x 0.654 * [backup-simplify]: Simplify 0.12 into 0.12 0.654 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify 1 into 1 0.655 * [backup-simplify]: Simplify (- 0) into 0 0.655 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.655 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.655 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.655 * [backup-simplify]: Simplify 1.0 into 1.0 0.656 * [backup-simplify]: Simplify (- 1) into -1 0.656 * [backup-simplify]: Simplify (- 0) into 0 0.657 * [backup-simplify]: Simplify (+ (* 0.253 -1) (* 0 0)) into (- 0.253) 0.657 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.658 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.658 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.658 * [backup-simplify]: Simplify (- 0) into 0 0.658 * [backup-simplify]: Simplify (- 1) into -1 0.658 * [backup-simplify]: Simplify (- 0) into 0 0.659 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 -1) (* 0 0))) into 0 0.659 * [backup-simplify]: Simplify (+ 0 0) into 0 0.659 * [backup-simplify]: Simplify (* 1 1) into 1 0.660 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.660 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.660 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.661 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.661 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.661 * [backup-simplify]: Simplify (+ (* (* 0.12 (/ 1 x)) (- (/ 1 x))) (fma 0.253 (- (/ 1 x)) 1.0)) into (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) 0.661 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.661 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.661 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.662 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.662 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.662 * [taylor]: Taking taylor expansion of 0.253 in x 0.662 * [backup-simplify]: Simplify 0.253 into 0.253 0.662 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.662 * [taylor]: Taking taylor expansion of x in x 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [backup-simplify]: Simplify (/ 1 1) into 1 0.662 * [taylor]: Taking taylor expansion of 1.0 in x 0.662 * [backup-simplify]: Simplify 1.0 into 1.0 0.662 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.662 * [taylor]: Taking taylor expansion of 0.12 in x 0.662 * [backup-simplify]: Simplify 0.12 into 0.12 0.662 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.662 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.662 * [taylor]: Taking taylor expansion of x in x 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [backup-simplify]: Simplify (* 1 1) into 1 0.663 * [backup-simplify]: Simplify (/ 1 1) into 1 0.663 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.663 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.663 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.663 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.663 * [taylor]: Taking taylor expansion of 0.253 in x 0.663 * [backup-simplify]: Simplify 0.253 into 0.253 0.663 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (/ 1 1) into 1 0.663 * [taylor]: Taking taylor expansion of 1.0 in x 0.663 * [backup-simplify]: Simplify 1.0 into 1.0 0.663 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.663 * [taylor]: Taking taylor expansion of 0.12 in x 0.663 * [backup-simplify]: Simplify 0.12 into 0.12 0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.663 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.664 * [backup-simplify]: Simplify (* 1 1) into 1 0.664 * [backup-simplify]: Simplify (/ 1 1) into 1 0.664 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.664 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.665 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.665 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.665 * [backup-simplify]: Simplify (- 1) into -1 0.666 * [backup-simplify]: Simplify (* 0.253 -1) into -0.253 0.666 * [backup-simplify]: Simplify (+ -0.253 0) into (- 0.253) 0.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.667 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.667 * [backup-simplify]: Simplify (- 0) into 0 0.668 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.668 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.668 * [backup-simplify]: Simplify (- 0) into 0 0.669 * [backup-simplify]: Simplify (- 1) into -1 0.669 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 -1)) into 0 0.669 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.671 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.671 * [backup-simplify]: Simplify (- 0) into 0 0.671 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.671 * [backup-simplify]: Simplify 1.0 into 1.0 0.672 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.672 * [backup-simplify]: Simplify (+ (* (* 0.12 (/ 1 (- x))) (- (/ 1 (- x)))) (fma 0.253 (- (/ 1 (- x))) 1.0)) into (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) 0.672 * [approximate]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.672 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.672 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.672 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.672 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.672 * [taylor]: Taking taylor expansion of 0.253 in x 0.672 * [backup-simplify]: Simplify 0.253 into 0.253 0.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.672 * [taylor]: Taking taylor expansion of x in x 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.673 * [backup-simplify]: Simplify (/ 1 1) into 1 0.673 * [taylor]: Taking taylor expansion of 1.0 in x 0.673 * [backup-simplify]: Simplify 1.0 into 1.0 0.673 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.673 * [taylor]: Taking taylor expansion of 0.12 in x 0.673 * [backup-simplify]: Simplify 0.12 into 0.12 0.673 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.673 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.673 * [taylor]: Taking taylor expansion of x in x 0.673 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.673 * [backup-simplify]: Simplify (* 1 1) into 1 0.673 * [backup-simplify]: Simplify (/ 1 1) into 1 0.673 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.673 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.673 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.673 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.673 * [taylor]: Taking taylor expansion of 0.253 in x 0.673 * [backup-simplify]: Simplify 0.253 into 0.253 0.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.673 * [taylor]: Taking taylor expansion of x in x 0.673 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.674 * [backup-simplify]: Simplify (/ 1 1) into 1 0.674 * [taylor]: Taking taylor expansion of 1.0 in x 0.674 * [backup-simplify]: Simplify 1.0 into 1.0 0.674 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.674 * [taylor]: Taking taylor expansion of 0.12 in x 0.674 * [backup-simplify]: Simplify 0.12 into 0.12 0.674 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.674 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [backup-simplify]: Simplify 1 into 1 0.674 * [backup-simplify]: Simplify (* 1 1) into 1 0.674 * [backup-simplify]: Simplify (/ 1 1) into 1 0.675 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.675 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.675 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.676 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.676 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.676 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.677 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.677 * [backup-simplify]: Simplify (- 0) into 0 0.678 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.678 * [backup-simplify]: Simplify 0.253 into 0.253 0.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.678 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.679 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.680 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.680 * [backup-simplify]: Simplify (- 0) into 0 0.683 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.683 * [backup-simplify]: Simplify 1.0 into 1.0 0.684 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.684 * * * [progress]: simplifying candidates 0.684 * [simplify]: Simplifying: (expm1 (* (* 0.12 x) (- x))) (log1p (* (* 0.12 x) (- x))) (* (* 0.12 x) (- x)) (* (* 0.12 x) (- x)) (+ (+ (log 0.12) (log x)) (log (- x))) (+ (log (* 0.12 x)) (log (- x))) (log (* (* 0.12 x) (- x))) (exp (* (* 0.12 x) (- x))) (* (* (* (* 0.12 0.12) 0.12) (* (* x x) x)) (* (* (- x) (- x)) (- x))) (* (* (* (* 0.12 x) (* 0.12 x)) (* 0.12 x)) (* (* (- x) (- x)) (- x))) (* (cbrt (* (* 0.12 x) (- x))) (cbrt (* (* 0.12 x) (- x)))) (cbrt (* (* 0.12 x) (- x))) (* (* (* (* 0.12 x) (- x)) (* (* 0.12 x) (- x))) (* (* 0.12 x) (- x))) (sqrt (* (* 0.12 x) (- x))) (sqrt (* (* 0.12 x) (- x))) (* (* 0.12 x) x) (* (* 0.12 x) (* (cbrt (- x)) (cbrt (- x)))) (* (* 0.12 x) (sqrt (- x))) (* (* 0.12 x) 1) (* (* 0.12 x) -1) (* (* 0.12 x) (- (* (cbrt x) (cbrt x)))) (* (* 0.12 x) (- (sqrt x))) (* (* 0.12 x) (- 1)) (* (* 0.12 x) (* (cbrt x) (cbrt x))) (* (* 0.12 x) (sqrt x)) (* (* 0.12 x) 1) (* x (- x)) (expm1 (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (log1p (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (* (exp (* (* 0.12 x) (- x))) (exp (fma 0.253 (- x) 1.0))) (log (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (exp (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (* (cbrt (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (cbrt (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)))) (cbrt (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (* (* (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)) (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (sqrt (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (sqrt (+ (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0))) (+ (pow (* (* 0.12 x) (- x)) 3) (pow (fma 0.253 (- x) 1.0) 3)) (+ (* (* (* 0.12 x) (- x)) (* (* 0.12 x) (- x))) (- (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0)) (* (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)))) (- (* (* (* 0.12 x) (- x)) (* (* 0.12 x) (- x))) (* (fma 0.253 (- x) 1.0) (fma 0.253 (- x) 1.0))) (- (* (* 0.12 x) (- x)) (fma 0.253 (- x) 1.0)) (+ (* (* 0.12 x) (- 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.685 * [simplify]: Sending expressions to egg_math: (expm1 (* (* h0 h1) (- h1))) (log1p (* (* h0 h1) (- h1))) (* (* h0 h1) (- h1)) (* (* h0 h1) (- h1)) (+ (+ (log h0) (log h1)) (log (- h1))) (+ (log (* h0 h1)) (log (- h1))) (log (* (* h0 h1) (- h1))) (exp (* (* h0 h1) (- h1))) (* (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (- h1) (- h1)) (- h1))) (* (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (- h1) (- h1)) (- h1))) (* (cbrt (* (* h0 h1) (- h1))) (cbrt (* (* h0 h1) (- h1)))) (cbrt (* (* h0 h1) (- h1))) (* (* (* (* h0 h1) (- h1)) (* (* h0 h1) (- h1))) (* (* h0 h1) (- h1))) (sqrt (* (* h0 h1) (- h1))) (sqrt (* (* h0 h1) (- h1))) (* (* h0 h1) h1) (* (* h0 h1) (* (cbrt (- h1)) (cbrt (- h1)))) (* (* h0 h1) (sqrt (- h1))) (* (* h0 h1) 1) (* (* h0 h1) -1) (* (* h0 h1) (- (* (cbrt h1) (cbrt h1)))) (* (* h0 h1) (- (sqrt h1))) (* (* h0 h1) (- 1)) (* (* h0 h1) (* (cbrt h1) (cbrt h1))) (* (* h0 h1) (sqrt h1)) (* (* h0 h1) 1) (* h1 (- h1)) (expm1 (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (log1p (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (* (exp (* (* h0 h1) (- h1))) (exp (fma h2 (- h1) h3))) (log (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (exp (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (* (cbrt (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (cbrt (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3)))) (cbrt (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (* (* (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3)) (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (sqrt (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (sqrt (+ (* (* h0 h1) (- h1)) (fma h2 (- h1) h3))) (+ (pow (* (* h0 h1) (- h1)) 3) (pow (fma h2 (- h1) h3) 3)) (+ (* (* (* h0 h1) (- h1)) (* (* h0 h1) (- h1))) (- (* (fma h2 (- h1) h3) (fma h2 (- h1) h3)) (* (* (* h0 h1) (- h1)) (fma h2 (- h1) h3)))) (- (* (* (* h0 h1) (- h1)) (* (* h0 h1) (- h1))) (* (fma h2 (- h1) h3) (fma h2 (- h1) h3))) (- (* (* h0 h1) (- h1)) (fma h2 (- h1) h3)) (+ (* (* h0 h1) (- h1)) (* h2 (- h1))) (* h4 (pow h1 2)) (* h4 (pow h1 2)) (* h4 (pow h1 2)) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) (- h3 (+ (* h0 (pow h1 2)) (* h2 h1))) 0.688 * * [simplify]: iteration 0 : 246 enodes (cost 268 ) 0.694 * * [simplify]: iteration 1 : 1187 enodes (cost 239 ) 0.723 * * [simplify]: iteration 2 : 5001 enodes (cost 226 ) 0.725 * * * [progress]: adding candidates to table 0.817 * * [progress]: iteration 4 / 4 0.817 * * * [progress]: picking best candidate 0.827 * * * * [pick]: Picked # 0.827 * * * [progress]: localizing error 0.833 * * * [progress]: generating rewritten candidates 0.833 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.834 * * * [progress]: generating series expansions 0.834 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.834 * [backup-simplify]: Simplify (fma (- x) (fma 0.12 x 0.253) 1.0) into (fma (- x) (fma 0.12 x 0.253) 1.0) 0.834 * [approximate]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in (x) around 0 0.834 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.834 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.834 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.834 * [taylor]: Taking taylor expansion of (- x) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [backup-simplify]: Simplify 0 into 0 0.834 * [backup-simplify]: Simplify 1 into 1 0.834 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.834 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.834 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.834 * [taylor]: Taking taylor expansion of 0.12 in x 0.834 * [backup-simplify]: Simplify 0.12 into 0.12 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [backup-simplify]: Simplify 0 into 0 0.834 * [backup-simplify]: Simplify 1 into 1 0.834 * [taylor]: Taking taylor expansion of 0.253 in x 0.834 * [backup-simplify]: Simplify 0.253 into 0.253 0.834 * [taylor]: Taking taylor expansion of 1.0 in x 0.834 * [backup-simplify]: Simplify 1.0 into 1.0 0.834 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.834 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.834 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.834 * [taylor]: Taking taylor expansion of (- x) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [backup-simplify]: Simplify 0 into 0 0.834 * [backup-simplify]: Simplify 1 into 1 0.834 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.835 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.835 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.835 * [taylor]: Taking taylor expansion of 0.12 in x 0.835 * [backup-simplify]: Simplify 0.12 into 0.12 0.835 * [taylor]: Taking taylor expansion of x in x 0.835 * [backup-simplify]: Simplify 0 into 0 0.835 * [backup-simplify]: Simplify 1 into 1 0.835 * [taylor]: Taking taylor expansion of 0.253 in x 0.835 * [backup-simplify]: Simplify 0.253 into 0.253 0.835 * [taylor]: Taking taylor expansion of 1.0 in x 0.835 * [backup-simplify]: Simplify 1.0 into 1.0 0.835 * [backup-simplify]: Simplify (- 0) into 0 0.835 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.836 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.836 * [backup-simplify]: Simplify (* 0 0.253) into 0 0.836 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.836 * [backup-simplify]: Simplify 1.0 into 1.0 0.837 * [backup-simplify]: Simplify (- 0) into 0 0.837 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.838 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.838 * [backup-simplify]: Simplify (- 1) into -1 0.839 * [backup-simplify]: Simplify (+ (* 0 0.12) (* -1 0.253)) into (- 0.253) 0.839 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.839 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.840 * [backup-simplify]: Simplify (- 0) into 0 0.840 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.840 * [backup-simplify]: Simplify (+ 0 0) into 0 0.841 * [backup-simplify]: Simplify (- 1) into -1 0.841 * [backup-simplify]: Simplify (- 0) into 0 0.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0.12) (* 0 0.253))) into (- 0.12) 0.843 * [backup-simplify]: Simplify (+ (- 0.12) 0) into (- 0.12) 0.843 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.844 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.844 * [backup-simplify]: Simplify (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) into (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) 0.844 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in (x) around 0 0.844 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in x 0.844 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) 0.844 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) in x 0.844 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.844 * [backup-simplify]: Simplify 0 into 0 0.844 * [backup-simplify]: Simplify 1 into 1 0.845 * [backup-simplify]: Simplify (/ 1 1) into 1 0.845 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.845 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.845 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.845 * [taylor]: Taking taylor expansion of 0.12 in x 0.845 * [backup-simplify]: Simplify 0.12 into 0.12 0.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.845 * [taylor]: Taking taylor expansion of x in x 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 1 into 1 0.845 * [backup-simplify]: Simplify (/ 1 1) into 1 0.845 * [taylor]: Taking taylor expansion of 0.253 in x 0.845 * [backup-simplify]: Simplify 0.253 into 0.253 0.845 * [taylor]: Taking taylor expansion of 1.0 in x 0.845 * [backup-simplify]: Simplify 1.0 into 1.0 0.845 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in x 0.845 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) 0.845 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) in x 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.845 * [taylor]: Taking taylor expansion of x in x 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 1 into 1 0.846 * [backup-simplify]: Simplify (/ 1 1) into 1 0.846 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.846 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.846 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.846 * [taylor]: Taking taylor expansion of 0.12 in x 0.846 * [backup-simplify]: Simplify 0.12 into 0.12 0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.846 * [taylor]: Taking taylor expansion of x in x 0.846 * [backup-simplify]: Simplify 0 into 0 0.846 * [backup-simplify]: Simplify 1 into 1 0.846 * [backup-simplify]: Simplify (/ 1 1) into 1 0.846 * [taylor]: Taking taylor expansion of 0.253 in x 0.846 * [backup-simplify]: Simplify 0.253 into 0.253 0.846 * [taylor]: Taking taylor expansion of 1.0 in x 0.846 * [backup-simplify]: Simplify 1.0 into 1.0 0.847 * [backup-simplify]: Simplify (- 1) into -1 0.847 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.847 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.847 * [backup-simplify]: Simplify (* -1 0.12) into -0.12 0.848 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.848 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.848 * [backup-simplify]: Simplify (- 1) into -1 0.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.849 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.849 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.850 * [backup-simplify]: Simplify (- 0) into 0 0.851 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 0.12)) into (- 0.253) 0.851 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.851 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.852 * [backup-simplify]: Simplify (- 1) into -1 0.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.853 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.853 * [backup-simplify]: Simplify (+ 0 0) into 0 0.853 * [backup-simplify]: Simplify (- 0) into 0 0.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.854 * [backup-simplify]: Simplify (- 0) into 0 0.854 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 0.12))) into 0 0.855 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.855 * [backup-simplify]: Simplify 1.0 into 1.0 0.855 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.855 * [backup-simplify]: Simplify (fma (- (/ 1 (- x))) (fma 0.12 (/ 1 (- x)) 0.253) 1.0) into (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) 0.856 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in (x) around 0 0.856 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.856 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.856 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.856 * [taylor]: Taking taylor expansion of x in x 0.856 * [backup-simplify]: Simplify 0 into 0 0.856 * [backup-simplify]: Simplify 1 into 1 0.856 * [backup-simplify]: Simplify (/ 1 1) into 1 0.856 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.856 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.856 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.856 * [taylor]: Taking taylor expansion of 0.12 in x 0.856 * [backup-simplify]: Simplify 0.12 into 0.12 0.856 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.856 * [taylor]: Taking taylor expansion of -1 in x 0.856 * [backup-simplify]: Simplify -1 into -1 0.856 * [taylor]: Taking taylor expansion of x in x 0.856 * [backup-simplify]: Simplify 0 into 0 0.856 * [backup-simplify]: Simplify 1 into 1 0.856 * [backup-simplify]: Simplify (/ -1 1) into -1 0.857 * [taylor]: Taking taylor expansion of 0.253 in x 0.857 * [backup-simplify]: Simplify 0.253 into 0.253 0.857 * [taylor]: Taking taylor expansion of 1.0 in x 0.857 * [backup-simplify]: Simplify 1.0 into 1.0 0.857 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.857 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.857 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.857 * [taylor]: Taking taylor expansion of x in x 0.857 * [backup-simplify]: Simplify 0 into 0 0.857 * [backup-simplify]: Simplify 1 into 1 0.857 * [backup-simplify]: Simplify (/ 1 1) into 1 0.857 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.857 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.857 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.857 * [taylor]: Taking taylor expansion of 0.12 in x 0.857 * [backup-simplify]: Simplify 0.12 into 0.12 0.857 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.857 * [taylor]: Taking taylor expansion of -1 in x 0.857 * [backup-simplify]: Simplify -1 into -1 0.857 * [taylor]: Taking taylor expansion of x in x 0.857 * [backup-simplify]: Simplify 0 into 0 0.857 * [backup-simplify]: Simplify 1 into 1 0.858 * [backup-simplify]: Simplify (/ -1 1) into -1 0.858 * [taylor]: Taking taylor expansion of 0.253 in x 0.858 * [backup-simplify]: Simplify 0.253 into 0.253 0.858 * [taylor]: Taking taylor expansion of 1.0 in x 0.858 * [backup-simplify]: Simplify 1.0 into 1.0 0.858 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.858 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.859 * [backup-simplify]: Simplify (* 1 (- 0.12)) into -0.12 0.859 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.859 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.860 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 -1)) into 0 0.860 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.862 * [backup-simplify]: Simplify (+ (* 1 0.253) (* 0 (- 0.12))) into 0.253 0.862 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.862 * [backup-simplify]: Simplify 0.253 into 0.253 0.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.863 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 -1))) into 0 0.863 * [backup-simplify]: Simplify (+ 0 0) into 0 0.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.253) (* 0 (- 0.12)))) into 0 0.864 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.864 * [backup-simplify]: Simplify 1.0 into 1.0 0.865 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.865 * * * [progress]: simplifying candidates 0.865 * [simplify]: Simplifying: (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.866 * [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.868 * * [simplify]: iteration 0 : 42 enodes (cost 66 ) 0.870 * * [simplify]: iteration 1 : 102 enodes (cost 53 ) 0.873 * * [simplify]: iteration 2 : 433 enodes (cost 53 ) 0.881 * * [simplify]: iteration 3 : 2132 enodes (cost 53 ) 0.934 * * [simplify]: iteration 4 : 5001 enodes (cost 53 ) 0.935 * * * [progress]: adding candidates to table 0.964 * [progress]: [Phase 3 of 3] Extracting. 0.964 * * [regime]: Finding splitpoints for: (# # # #) 0.965 * * * [regime-changes]: Trying 1 branch expressions: (x) 0.965 * * * * [regimes]: Trying to branch on x from (# # # #) 0.979 * * * [regime]: Found split indices: #