2.140 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.015 * [simplify]: Sending expressions to egg_math: (- h0 (* h1 (+ h2 (* h1 h3)))) 0.017 * * [simplify]: iteration 0 : 19 enodes (cost 4 ) 0.018 * * [simplify]: iteration 1 : 45 enodes (cost 4 ) 0.020 * * [simplify]: iteration 2 : 82 enodes (cost 3 ) 0.022 * * [simplify]: iteration 3 : 127 enodes (cost 3 ) 0.025 * * [simplify]: iteration 4 : 168 enodes (cost 3 ) 0.027 * * [simplify]: iteration 5 : 224 enodes (cost 3 ) 0.031 * * [simplify]: iteration 6 : 359 enodes (cost 3 ) 0.035 * * [simplify]: iteration 7 : 666 enodes (cost 3 ) 0.039 * * [simplify]: iteration 8 : 763 enodes (cost 3 ) 0.043 * * [simplify]: iteration 9 : 763 enodes (cost 3 ) 0.045 * * [progress]: iteration 1 / 4 0.045 * * * [progress]: picking best candidate 0.048 * * * * [pick]: Picked # 0.048 * * * [progress]: localizing error 0.056 * * * [progress]: generating rewritten candidates 0.056 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.057 * * * [progress]: generating series expansions 0.057 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.057 * [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.057 * [approximate]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in (x) around 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.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify 1 into 1 0.058 * [taylor]: Taking taylor expansion of 0.253 in x 0.058 * [backup-simplify]: Simplify 0.253 into 0.253 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [backup-simplify]: Simplify 1.0 into 1.0 0.058 * [taylor]: Taking taylor expansion of (fma (- x) (fma 0.12 x 0.253) 1.0) in x 0.058 * [taylor]: Rewrote expression to (+ (* (- x) (fma 0.12 x 0.253)) 1.0) 0.058 * [taylor]: Taking taylor expansion of (* (- x) (fma 0.12 x 0.253)) in x 0.058 * [taylor]: Taking taylor expansion of (- x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify 1 into 1 0.058 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.058 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.058 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.058 * [taylor]: Taking taylor expansion of 0.12 in x 0.058 * [backup-simplify]: Simplify 0.12 into 0.12 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify 1 into 1 0.058 * [taylor]: Taking taylor expansion of 0.253 in x 0.058 * [backup-simplify]: Simplify 0.253 into 0.253 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [backup-simplify]: Simplify 1.0 into 1.0 0.059 * [backup-simplify]: Simplify (- 0) into 0 0.059 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.059 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.059 * [backup-simplify]: Simplify (* 0 0.253) into 0 0.060 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.060 * [backup-simplify]: Simplify 1.0 into 1.0 0.060 * [backup-simplify]: Simplify (- 0) into 0 0.061 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.061 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.061 * [backup-simplify]: Simplify (- 1) into -1 0.062 * [backup-simplify]: Simplify (+ (* 0 0.12) (* -1 0.253)) into (- 0.253) 0.063 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.063 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.063 * [backup-simplify]: Simplify (- 0) into 0 0.064 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.064 * [backup-simplify]: Simplify (+ 0 0) into 0 0.064 * [backup-simplify]: Simplify (- 1) into -1 0.064 * [backup-simplify]: Simplify (- 0) into 0 0.066 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0.12) (* 0 0.253))) into (- 0.12) 0.066 * [backup-simplify]: Simplify (+ (- 0.12) 0) into (- 0.12) 0.067 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.067 * [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.067 * [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.067 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in (x) around 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.067 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [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.068 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253) 1.0) in x 0.068 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) 1.0) 0.068 * [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.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [backup-simplify]: Simplify (/ 1 1) into 1 0.069 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.069 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.069 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.069 * [taylor]: Taking taylor expansion of 0.12 in x 0.069 * [backup-simplify]: Simplify 0.12 into 0.12 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [backup-simplify]: Simplify (/ 1 1) into 1 0.069 * [taylor]: Taking taylor expansion of 0.253 in x 0.069 * [backup-simplify]: Simplify 0.253 into 0.253 0.069 * [taylor]: Taking taylor expansion of 1.0 in x 0.069 * [backup-simplify]: Simplify 1.0 into 1.0 0.070 * [backup-simplify]: Simplify (- 1) into -1 0.070 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.070 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.070 * [backup-simplify]: Simplify (* -1 0.12) into -0.12 0.071 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.071 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.071 * [backup-simplify]: Simplify (- 1) into -1 0.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.072 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.072 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.073 * [backup-simplify]: Simplify (- 0) into 0 0.074 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 0.12)) into (- 0.253) 0.074 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.074 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.075 * [backup-simplify]: Simplify (- 1) into -1 0.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.076 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.076 * [backup-simplify]: Simplify (+ 0 0) into 0 0.076 * [backup-simplify]: Simplify (- 0) into 0 0.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.077 * [backup-simplify]: Simplify (- 0) into 0 0.077 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 0.12))) into 0 0.077 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.077 * [backup-simplify]: Simplify 1.0 into 1.0 0.078 * [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.078 * [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.078 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in (x) around 0 0.078 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.078 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.078 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.079 * [backup-simplify]: Simplify (/ 1 1) into 1 0.079 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.079 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.079 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.079 * [taylor]: Taking taylor expansion of 0.12 in x 0.079 * [backup-simplify]: Simplify 0.12 into 0.12 0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.079 * [taylor]: Taking taylor expansion of -1 in x 0.079 * [backup-simplify]: Simplify -1 into -1 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.079 * [backup-simplify]: Simplify (/ -1 1) into -1 0.079 * [taylor]: Taking taylor expansion of 0.253 in x 0.079 * [backup-simplify]: Simplify 0.253 into 0.253 0.079 * [taylor]: Taking taylor expansion of 1.0 in x 0.079 * [backup-simplify]: Simplify 1.0 into 1.0 0.079 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.12 (/ -1 x) 0.253) 1.0) in x 0.080 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) 1.0) 0.080 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.12 (/ -1 x) 0.253)) in x 0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.080 * [backup-simplify]: Simplify (/ 1 1) into 1 0.080 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.080 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.080 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.080 * [taylor]: Taking taylor expansion of 0.12 in x 0.080 * [backup-simplify]: Simplify 0.12 into 0.12 0.080 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.080 * [taylor]: Taking taylor expansion of -1 in x 0.080 * [backup-simplify]: Simplify -1 into -1 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.081 * [backup-simplify]: Simplify (/ -1 1) into -1 0.081 * [taylor]: Taking taylor expansion of 0.253 in x 0.081 * [backup-simplify]: Simplify 0.253 into 0.253 0.081 * [taylor]: Taking taylor expansion of 1.0 in x 0.081 * [backup-simplify]: Simplify 1.0 into 1.0 0.081 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.081 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.082 * [backup-simplify]: Simplify (* 1 (- 0.12)) into -0.12 0.082 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.082 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.083 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 -1)) into 0 0.083 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.085 * [backup-simplify]: Simplify (+ (* 1 0.253) (* 0 (- 0.12))) into 0.253 0.085 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.085 * [backup-simplify]: Simplify 0.253 into 0.253 0.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.086 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 -1))) into 0 0.086 * [backup-simplify]: Simplify (+ 0 0) into 0 0.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.253) (* 0 (- 0.12)))) into 0 0.088 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.088 * [backup-simplify]: Simplify 1.0 into 1.0 0.088 * [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.088 * * * [progress]: simplifying candidates 0.089 * [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.089 * [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.091 * * [simplify]: iteration 0 : 42 enodes (cost 66 ) 0.093 * * [simplify]: iteration 1 : 102 enodes (cost 53 ) 0.096 * * [simplify]: iteration 2 : 433 enodes (cost 53 ) 0.104 * * [simplify]: iteration 3 : 2132 enodes (cost 53 ) 0.157 * * [simplify]: iteration 4 : 5001 enodes (cost 53 ) 0.158 * * * [progress]: adding candidates to table 0.183 * * [progress]: iteration 2 / 4 0.183 * * * [progress]: picking best candidate 0.192 * * * * [pick]: Picked # 0.192 * * * [progress]: localizing error 0.198 * * * [progress]: generating rewritten candidates 0.198 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.208 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.218 * * * [progress]: generating series expansions 0.218 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.218 * [backup-simplify]: Simplify (* (- x) (fma 0.12 x 0.253)) into (* -1 (* x (fma 0.12 x 0.253))) 0.218 * [approximate]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in (x) around 0 0.218 * [taylor]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.218 * [backup-simplify]: Simplify -1 into -1 0.218 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [backup-simplify]: Simplify 0 into 0 0.218 * [backup-simplify]: Simplify 1 into 1 0.218 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.219 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.219 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.219 * [taylor]: Taking taylor expansion of 0.12 in x 0.219 * [backup-simplify]: Simplify 0.12 into 0.12 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [taylor]: Taking taylor expansion of 0.253 in x 0.219 * [backup-simplify]: Simplify 0.253 into 0.253 0.219 * [taylor]: Taking taylor expansion of (* -1 (* x (fma 0.12 x 0.253))) in x 0.219 * [taylor]: Taking taylor expansion of -1 in x 0.219 * [backup-simplify]: Simplify -1 into -1 0.219 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.219 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.219 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.219 * [taylor]: Taking taylor expansion of 0.12 in x 0.219 * [backup-simplify]: Simplify 0.12 into 0.12 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [taylor]: Taking taylor expansion of 0.253 in x 0.219 * [backup-simplify]: Simplify 0.253 into 0.253 0.220 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.220 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.220 * [backup-simplify]: Simplify (* 0 0.253) into 0 0.220 * [backup-simplify]: Simplify (* -1 0) into 0 0.220 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.221 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.222 * [backup-simplify]: Simplify (+ (* 0 0.12) (* 1 0.253)) into 0.253 0.223 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 0)) into (- 0.253) 0.223 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.224 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.224 * [backup-simplify]: Simplify (+ 0 0) into 0 0.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0.12) (* 0 0.253))) into 0.12 0.227 * [backup-simplify]: Simplify (+ (* -1 0.12) (+ (* 0 0.253) (* 0 0))) into (- 0.12) 0.227 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.228 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.228 * [backup-simplify]: Simplify (+ 0 0) into 0 0.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0.12) (* 0 0.253)))) into 0 0.229 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0)))) into 0 0.229 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 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) (+ (* 0 0.12) (* 0 0.253))))) into 0 0.232 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0))))) into 0 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 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) (+ (* 0 0.12) (* 0 0.253)))))) into 0 0.234 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 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 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) (+ (* 0 0.12) (* 0 0.253))))))) into 0 0.237 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 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 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.239 * [backup-simplify]: Simplify (+ 0 0) into 0 0.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (* 0 0.253)))))))) into 0 0.241 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.12) (+ (* 0 0.253) (* 0 0)))))))) into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.242 * [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.242 * [backup-simplify]: Simplify (+ 0 0) into 0 0.243 * [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.244 * [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.244 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (* (- 0.253) x)) into (- (+ (* 0.12 (pow x 2)) (* 0.253 x))) 0.245 * [backup-simplify]: Simplify (* (- (/ 1 x)) (fma 0.12 (/ 1 x) 0.253)) into (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) 0.245 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in (x) around 0 0.245 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.245 * [taylor]: Taking taylor expansion of -1 in x 0.245 * [backup-simplify]: Simplify -1 into -1 0.245 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.245 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.245 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.245 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.245 * [taylor]: Taking taylor expansion of 0.12 in x 0.245 * [backup-simplify]: Simplify 0.12 into 0.12 0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (/ 1 1) into 1 0.245 * [taylor]: Taking taylor expansion of 0.253 in x 0.246 * [backup-simplify]: Simplify 0.253 into 0.253 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.246 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.246 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.246 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.246 * [taylor]: Taking taylor expansion of -1 in x 0.246 * [backup-simplify]: Simplify -1 into -1 0.246 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.246 * [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.247 * [backup-simplify]: Simplify 0.12 into 0.12 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (/ 1 1) into 1 0.247 * [taylor]: Taking taylor expansion of 0.253 in x 0.247 * [backup-simplify]: Simplify 0.253 into 0.253 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.247 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.248 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.248 * [backup-simplify]: Simplify (* -1 0.12) into -0.12 0.248 * [backup-simplify]: Simplify -0.12 into -0.12 0.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.249 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.249 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.250 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 0.251 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 0.12)) into (- 0.253) 0.251 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.252 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.253 * [backup-simplify]: Simplify (+ 0 0) into 0 0.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.254 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 0.12))) into 0 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.255 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.255 * [backup-simplify]: Simplify (+ 0 0) into 0 0.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.256 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12)))) into 0 0.256 * [backup-simplify]: Simplify 0 into 0 0.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.258 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.258 * [backup-simplify]: Simplify (+ 0 0) into 0 0.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.263 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12))))) into 0 0.263 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.265 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.265 * [backup-simplify]: Simplify (+ 0 0) into 0 0.266 * [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.266 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12)))))) into 0 0.266 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.268 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.268 * [backup-simplify]: Simplify (+ 0 0) into 0 0.269 * [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.270 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12))))))) into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [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.271 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.271 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [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.273 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 0.12)))))))) into 0 0.273 * [backup-simplify]: Simplify 0 into 0 0.273 * [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.274 * [backup-simplify]: Simplify (* (- (/ 1 (- x))) (fma 0.12 (/ 1 (- x)) 0.253)) into (/ (fma 0.12 (/ -1 x) 0.253) x) 0.274 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in (x) around 0 0.274 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.274 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.274 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.274 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.274 * [taylor]: Taking taylor expansion of 0.12 in x 0.274 * [backup-simplify]: Simplify 0.12 into 0.12 0.274 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.274 * [taylor]: Taking taylor expansion of -1 in x 0.274 * [backup-simplify]: Simplify -1 into -1 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 (/ -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.275 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.275 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.275 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.275 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.275 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.275 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.276 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.276 * [taylor]: Taking taylor expansion of 0.12 in x 0.276 * [backup-simplify]: Simplify 0.12 into 0.12 0.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.276 * [taylor]: Taking taylor expansion of -1 in x 0.276 * [backup-simplify]: Simplify -1 into -1 0.276 * [taylor]: Taking taylor expansion of x in x 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 1 into 1 0.276 * [backup-simplify]: Simplify (/ -1 1) into -1 0.276 * [taylor]: Taking taylor expansion of 0.253 in x 0.276 * [backup-simplify]: Simplify 0.253 into 0.253 0.276 * [taylor]: Taking taylor expansion of x in x 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 1 into 1 0.276 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.276 * [backup-simplify]: Simplify (+ -0.12 0) into (- 0.12) 0.277 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 0.277 * [backup-simplify]: Simplify -0.12 into -0.12 0.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.278 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 -1)) into 0 0.278 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.279 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 0.279 * [backup-simplify]: Simplify 0.253 into 0.253 0.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.280 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 -1))) into 0 0.281 * [backup-simplify]: Simplify (+ 0 0) into 0 0.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.282 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.283 * [backup-simplify]: Simplify (+ 0 0) into 0 0.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.283 * [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.284 * [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.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.285 * [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.287 * [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.288 * [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.289 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 0.289 * [backup-simplify]: Simplify (+ 0 0) into 0 0.290 * [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.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [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.291 * [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.292 * [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.292 * [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.293 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x 0.293 * [taylor]: Taking taylor expansion of 1.0 in x 0.293 * [backup-simplify]: Simplify 1.0 into 1.0 0.293 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.293 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.293 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.293 * [taylor]: Taking taylor expansion of 0.12 in x 0.293 * [backup-simplify]: Simplify 0.12 into 0.12 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of 0.253 in x 0.293 * [backup-simplify]: Simplify 0.253 into 0.253 0.293 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x 0.293 * [taylor]: Taking taylor expansion of 1.0 in x 0.293 * [backup-simplify]: Simplify 1.0 into 1.0 0.293 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.293 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.293 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.293 * [taylor]: Taking taylor expansion of 0.12 in x 0.293 * [backup-simplify]: Simplify 0.12 into 0.12 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of 0.253 in x 0.293 * [backup-simplify]: Simplify 0.253 into 0.253 0.294 * [backup-simplify]: Simplify (* 0.12 0) into 0 0.294 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.294 * [backup-simplify]: Simplify (* 0 0.253) into 0 0.295 * [backup-simplify]: Simplify (- 0) into 0 0.295 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.295 * [backup-simplify]: Simplify 1.0 into 1.0 0.296 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 0.296 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.297 * [backup-simplify]: Simplify (+ (* 0 0.12) (* 1 0.253)) into 0.253 0.297 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.297 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 0.298 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.298 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 0.298 * [backup-simplify]: Simplify (+ 0 0) into 0 0.300 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0.12) (* 0 0.253))) into 0.12 0.300 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.301 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.301 * [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.302 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.302 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.302 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.302 * [taylor]: Taking taylor expansion of 0.12 in x 0.302 * [backup-simplify]: Simplify 0.12 into 0.12 0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [backup-simplify]: Simplify (/ 1 1) into 1 0.302 * [taylor]: Taking taylor expansion of 0.253 in x 0.302 * [backup-simplify]: Simplify 0.253 into 0.253 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.303 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.303 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 0.303 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 0.303 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 0.303 * [taylor]: Taking taylor expansion of 1.0 in x 0.303 * [backup-simplify]: Simplify 1.0 into 1.0 0.303 * [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.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.304 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.304 * [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.305 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.305 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.306 * [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.308 * [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.309 * [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.310 * [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.311 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.311 * [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.312 * [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.312 * [approximate]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in (x) around 0 0.312 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x 0.312 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.312 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.312 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.312 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.312 * [taylor]: Taking taylor expansion of 0.12 in x 0.312 * [backup-simplify]: Simplify 0.12 into 0.12 0.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.312 * [taylor]: Taking taylor expansion of -1 in x 0.312 * [backup-simplify]: Simplify -1 into -1 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [backup-simplify]: Simplify 0 into 0 0.312 * [backup-simplify]: Simplify 1 into 1 0.312 * [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.313 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.313 * [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.314 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.314 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.314 * [taylor]: Taking taylor expansion of 0.12 in x 0.314 * [backup-simplify]: Simplify 0.12 into 0.12 0.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.314 * [taylor]: Taking taylor expansion of -1 in x 0.314 * [backup-simplify]: Simplify -1 into -1 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.314 * [backup-simplify]: Simplify (/ -1 1) into -1 0.314 * [taylor]: Taking taylor expansion of 0.253 in x 0.314 * [backup-simplify]: Simplify 0.253 into 0.253 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.315 * [backup-simplify]: Simplify (* 0.12 -1) into -0.12 0.315 * [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.316 * [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.317 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 0.318 * [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.319 * [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.320 * [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.321 * [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.321 * * * [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.322 * [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.558 * * [progress]: iteration 3 / 4 0.558 * * * [progress]: picking best candidate 0.571 * * * * [pick]: Picked # 0.572 * * * [progress]: localizing error 0.578 * * * [progress]: generating rewritten candidates 0.578 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.601 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.619 * * * [progress]: generating series expansions 0.619 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.619 * [backup-simplify]: Simplify (* (* 0.12 x) (- x)) into (* -0.12 (pow x 2)) 0.619 * [approximate]: Taking taylor expansion of (* -0.12 (pow x 2)) in (x) around 0 0.619 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.619 * [taylor]: Taking taylor expansion of -0.12 in x 0.619 * [backup-simplify]: Simplify -0.12 into -0.12 0.619 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.619 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.619 * [taylor]: Taking taylor expansion of -0.12 in x 0.619 * [backup-simplify]: Simplify -0.12 into -0.12 0.619 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.620 * [backup-simplify]: Simplify (* 1 1) into 1 0.620 * [backup-simplify]: Simplify (* -0.12 1) into -0.12 0.620 * [backup-simplify]: Simplify -0.12 into -0.12 0.621 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.621 * [backup-simplify]: Simplify (+ (* -0.12 0) (* 0 1)) into 0 0.621 * [backup-simplify]: Simplify 0 into 0 0.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.622 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.622 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.623 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.623 * [backup-simplify]: Simplify 0 into 0 0.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.624 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.625 * [backup-simplify]: Simplify 0 into 0 0.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.626 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.626 * [backup-simplify]: Simplify 0 into 0 0.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.628 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify (* -0.12 (pow x 2)) into (* -0.12 (pow x 2)) 0.628 * [backup-simplify]: Simplify (* (* 0.12 (/ 1 x)) (- (/ 1 x))) into (/ -0.12 (pow x 2)) 0.628 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.628 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.628 * [taylor]: Taking taylor expansion of -0.12 in x 0.628 * [backup-simplify]: Simplify -0.12 into -0.12 0.628 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.628 * [backup-simplify]: Simplify (* 1 1) into 1 0.628 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.628 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.628 * [taylor]: Taking taylor expansion of -0.12 in x 0.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.629 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.629 * [backup-simplify]: Simplify -0.12 into -0.12 0.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)))) into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 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.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.632 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.633 * [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.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.634 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.636 * [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.636 * [backup-simplify]: Simplify 0 into 0 0.636 * [backup-simplify]: Simplify (* -0.12 (pow (/ 1 (/ 1 x)) 2)) into (* -0.12 (pow x 2)) 0.636 * [backup-simplify]: Simplify (* (* 0.12 (/ 1 (- x))) (- (/ 1 (- x)))) into (/ -0.12 (pow x 2)) 0.636 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.636 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.636 * [taylor]: Taking taylor expansion of -0.12 in x 0.636 * [backup-simplify]: Simplify -0.12 into -0.12 0.636 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.636 * [taylor]: Taking taylor expansion of x in x 0.636 * [backup-simplify]: Simplify 0 into 0 0.636 * [backup-simplify]: Simplify 1 into 1 0.637 * [backup-simplify]: Simplify (* 1 1) into 1 0.637 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 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.637 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.638 * [backup-simplify]: Simplify -0.12 into -0.12 0.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)))) into 0 0.638 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.639 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 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 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.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.643 * [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.644 * [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.644 * [backup-simplify]: Simplify 0 into 0 0.644 * [backup-simplify]: Simplify (* -0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* -0.12 (pow x 2)) 0.645 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.645 * [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.645 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in (x) around 0 0.645 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.645 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.645 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.645 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.645 * [taylor]: Taking taylor expansion of 0.253 in x 0.645 * [backup-simplify]: Simplify 0.253 into 0.253 0.645 * [taylor]: Taking taylor expansion of (- x) 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.645 * [taylor]: Taking taylor expansion of 1.0 in x 0.645 * [backup-simplify]: Simplify 1.0 into 1.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.645 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.645 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.645 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.645 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.645 * [taylor]: Taking taylor expansion of 0.253 in x 0.645 * [backup-simplify]: Simplify 0.253 into 0.253 0.645 * [taylor]: Taking taylor expansion of (- x) 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.645 * [taylor]: Taking taylor expansion of 1.0 in x 0.645 * [backup-simplify]: Simplify 1.0 into 1.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 (- 0) into 0 0.646 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.646 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.647 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.647 * [backup-simplify]: Simplify 1.0 into 1.0 0.647 * [backup-simplify]: Simplify (- 1) into -1 0.647 * [backup-simplify]: Simplify (- 0) into 0 0.648 * [backup-simplify]: Simplify (+ (* 0.253 -1) (* 0 0)) into (- 0.253) 0.648 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.649 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.649 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.649 * [backup-simplify]: Simplify (- 0) into 0 0.653 * [backup-simplify]: Simplify (- 1) into -1 0.653 * [backup-simplify]: Simplify (- 0) into 0 0.654 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 -1) (* 0 0))) into 0 0.654 * [backup-simplify]: Simplify (+ 0 0) into 0 0.654 * [backup-simplify]: Simplify (* 1 1) into 1 0.655 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.655 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.655 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.656 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.656 * [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.656 * [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.656 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.656 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.656 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.657 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.657 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.657 * [taylor]: Taking taylor expansion of 0.253 in x 0.657 * [backup-simplify]: Simplify 0.253 into 0.253 0.657 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.657 * [taylor]: Taking taylor expansion of x in x 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify (/ 1 1) into 1 0.657 * [taylor]: Taking taylor expansion of 1.0 in x 0.657 * [backup-simplify]: Simplify 1.0 into 1.0 0.657 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.657 * [taylor]: Taking taylor expansion of 0.12 in x 0.657 * [backup-simplify]: Simplify 0.12 into 0.12 0.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.657 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.657 * [taylor]: Taking taylor expansion of x in x 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify (* 1 1) into 1 0.658 * [backup-simplify]: Simplify (/ 1 1) into 1 0.658 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.658 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.658 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.658 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.658 * [taylor]: Taking taylor expansion of 0.253 in x 0.658 * [backup-simplify]: Simplify 0.253 into 0.253 0.658 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [backup-simplify]: Simplify (/ 1 1) into 1 0.658 * [taylor]: Taking taylor expansion of 1.0 in x 0.658 * [backup-simplify]: Simplify 1.0 into 1.0 0.658 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.658 * [taylor]: Taking taylor expansion of 0.12 in x 0.658 * [backup-simplify]: Simplify 0.12 into 0.12 0.658 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.658 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [backup-simplify]: Simplify (* 1 1) into 1 0.659 * [backup-simplify]: Simplify (/ 1 1) into 1 0.659 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.659 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.660 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.660 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.660 * [backup-simplify]: Simplify (- 1) into -1 0.660 * [backup-simplify]: Simplify (* 0.253 -1) into -0.253 0.661 * [backup-simplify]: Simplify (+ -0.253 0) into (- 0.253) 0.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.662 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.662 * [backup-simplify]: Simplify (- 0) into 0 0.662 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.663 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.663 * [backup-simplify]: Simplify (- 0) into 0 0.664 * [backup-simplify]: Simplify (- 1) into -1 0.664 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 -1)) into 0 0.664 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.666 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.666 * [backup-simplify]: Simplify (- 0) into 0 0.666 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.666 * [backup-simplify]: Simplify 1.0 into 1.0 0.667 * [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.667 * [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.667 * [approximate]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.667 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.667 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.668 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.668 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.668 * [taylor]: Taking taylor expansion of 0.253 in x 0.668 * [backup-simplify]: Simplify 0.253 into 0.253 0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify 1 into 1 0.668 * [backup-simplify]: Simplify (/ 1 1) into 1 0.668 * [taylor]: Taking taylor expansion of 1.0 in x 0.668 * [backup-simplify]: Simplify 1.0 into 1.0 0.668 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.668 * [taylor]: Taking taylor expansion of 0.12 in x 0.668 * [backup-simplify]: Simplify 0.12 into 0.12 0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.668 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify 1 into 1 0.668 * [backup-simplify]: Simplify (* 1 1) into 1 0.669 * [backup-simplify]: Simplify (/ 1 1) into 1 0.669 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.669 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.669 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.669 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.669 * [taylor]: Taking taylor expansion of 0.253 in x 0.669 * [backup-simplify]: Simplify 0.253 into 0.253 0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.669 * [taylor]: Taking taylor expansion of x in x 0.669 * [backup-simplify]: Simplify 0 into 0 0.669 * [backup-simplify]: Simplify 1 into 1 0.669 * [backup-simplify]: Simplify (/ 1 1) into 1 0.669 * [taylor]: Taking taylor expansion of 1.0 in x 0.669 * [backup-simplify]: Simplify 1.0 into 1.0 0.669 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.669 * [taylor]: Taking taylor expansion of 0.12 in x 0.669 * [backup-simplify]: Simplify 0.12 into 0.12 0.669 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.669 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.669 * [taylor]: Taking taylor expansion of x in x 0.669 * [backup-simplify]: Simplify 0 into 0 0.669 * [backup-simplify]: Simplify 1 into 1 0.669 * [backup-simplify]: Simplify (* 1 1) into 1 0.670 * [backup-simplify]: Simplify (/ 1 1) into 1 0.670 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.670 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.671 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.671 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.671 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.671 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.673 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.673 * [backup-simplify]: Simplify (- 0) into 0 0.673 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.673 * [backup-simplify]: Simplify 0.253 into 0.253 0.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.674 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.674 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.676 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.676 * [backup-simplify]: Simplify (- 0) into 0 0.676 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.676 * [backup-simplify]: Simplify 1.0 into 1.0 0.677 * [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.677 * * * [progress]: simplifying candidates 0.677 * [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.678 * [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.681 * * [simplify]: iteration 0 : 246 enodes (cost 268 ) 0.687 * * [simplify]: iteration 1 : 1187 enodes (cost 239 ) 0.716 * * [simplify]: iteration 2 : 5001 enodes (cost 226 ) 0.717 * * * [progress]: adding candidates to table 0.813 * * [progress]: iteration 4 / 4 0.813 * * * [progress]: picking best candidate 0.819 * * * * [pick]: Picked # 0.819 * * * [progress]: localizing error 0.826 * * * [progress]: generating rewritten candidates 0.826 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.845 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.868 * * * [progress]: generating series expansions 0.868 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.868 * [backup-simplify]: Simplify (* 0.12 (* x (- x))) into (* -0.12 (pow x 2)) 0.868 * [approximate]: Taking taylor expansion of (* -0.12 (pow x 2)) in (x) around 0 0.868 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.868 * [taylor]: Taking taylor expansion of -0.12 in x 0.868 * [backup-simplify]: Simplify -0.12 into -0.12 0.868 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [backup-simplify]: Simplify 0 into 0 0.868 * [backup-simplify]: Simplify 1 into 1 0.868 * [taylor]: Taking taylor expansion of (* -0.12 (pow x 2)) in x 0.868 * [taylor]: Taking taylor expansion of -0.12 in x 0.868 * [backup-simplify]: Simplify -0.12 into -0.12 0.868 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [backup-simplify]: Simplify 0 into 0 0.868 * [backup-simplify]: Simplify 1 into 1 0.869 * [backup-simplify]: Simplify (* 1 1) into 1 0.869 * [backup-simplify]: Simplify (* -0.12 1) into -0.12 0.869 * [backup-simplify]: Simplify -0.12 into -0.12 0.869 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.870 * [backup-simplify]: Simplify (+ (* -0.12 0) (* 0 1)) into 0 0.870 * [backup-simplify]: Simplify 0 into 0 0.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.871 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.871 * [backup-simplify]: Simplify 0 into 0 0.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.872 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.872 * [backup-simplify]: Simplify 0 into 0 0.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.873 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.873 * [backup-simplify]: Simplify 0 into 0 0.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.875 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.875 * [backup-simplify]: Simplify 0 into 0 0.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.876 * [backup-simplify]: Simplify (+ (* -0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.876 * [backup-simplify]: Simplify 0 into 0 0.876 * [backup-simplify]: Simplify (* -0.12 (pow x 2)) into (* -0.12 (pow x 2)) 0.877 * [backup-simplify]: Simplify (* 0.12 (* (/ 1 x) (- (/ 1 x)))) into (/ -0.12 (pow x 2)) 0.877 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.877 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.877 * [taylor]: Taking taylor expansion of -0.12 in x 0.877 * [backup-simplify]: Simplify -0.12 into -0.12 0.877 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.877 * [taylor]: Taking taylor expansion of x in x 0.877 * [backup-simplify]: Simplify 0 into 0 0.877 * [backup-simplify]: Simplify 1 into 1 0.877 * [backup-simplify]: Simplify (* 1 1) into 1 0.877 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.877 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.877 * [taylor]: Taking taylor expansion of -0.12 in x 0.877 * [backup-simplify]: Simplify -0.12 into -0.12 0.877 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.877 * [taylor]: Taking taylor expansion of x in x 0.877 * [backup-simplify]: Simplify 0 into 0 0.877 * [backup-simplify]: Simplify 1 into 1 0.878 * [backup-simplify]: Simplify (* 1 1) into 1 0.878 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.878 * [backup-simplify]: Simplify -0.12 into -0.12 0.878 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)))) into 0 0.879 * [backup-simplify]: Simplify 0 into 0 0.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.880 * [backup-simplify]: Simplify 0 into 0 0.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.881 * [backup-simplify]: Simplify 0 into 0 0.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.882 * [backup-simplify]: Simplify 0 into 0 0.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.883 * [backup-simplify]: Simplify 0 into 0 0.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.885 * [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.885 * [backup-simplify]: Simplify 0 into 0 0.885 * [backup-simplify]: Simplify (* -0.12 (pow (/ 1 (/ 1 x)) 2)) into (* -0.12 (pow x 2)) 0.885 * [backup-simplify]: Simplify (* 0.12 (* (/ 1 (- x)) (- (/ 1 (- x))))) into (/ -0.12 (pow x 2)) 0.885 * [approximate]: Taking taylor expansion of (/ -0.12 (pow x 2)) in (x) around 0 0.885 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.885 * [taylor]: Taking taylor expansion of -0.12 in x 0.885 * [backup-simplify]: Simplify -0.12 into -0.12 0.885 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.885 * [backup-simplify]: Simplify 0 into 0 0.885 * [backup-simplify]: Simplify 1 into 1 0.885 * [backup-simplify]: Simplify (* 1 1) into 1 0.886 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.886 * [taylor]: Taking taylor expansion of (/ -0.12 (pow x 2)) in x 0.886 * [taylor]: Taking taylor expansion of -0.12 in x 0.886 * [backup-simplify]: Simplify -0.12 into -0.12 0.886 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.886 * [taylor]: Taking taylor expansion of x in x 0.886 * [backup-simplify]: Simplify 0 into 0 0.886 * [backup-simplify]: Simplify 1 into 1 0.886 * [backup-simplify]: Simplify (* 1 1) into 1 0.886 * [backup-simplify]: Simplify (/ -0.12 1) into -0.12 0.886 * [backup-simplify]: Simplify -0.12 into -0.12 0.887 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)))) into 0 0.887 * [backup-simplify]: Simplify 0 into 0 0.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.888 * [backup-simplify]: Simplify 0 into 0 0.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.889 * [backup-simplify]: Simplify 0 into 0 0.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.890 * [backup-simplify]: Simplify 0 into 0 0.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.893 * [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.893 * [backup-simplify]: Simplify 0 into 0 0.893 * [backup-simplify]: Simplify (* -0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* -0.12 (pow x 2)) 0.893 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.894 * [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.894 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in (x) around 0 0.894 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.894 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.894 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.894 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.894 * [taylor]: Taking taylor expansion of 0.253 in x 0.894 * [backup-simplify]: Simplify 0.253 into 0.253 0.894 * [taylor]: Taking taylor expansion of (- x) in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 1 into 1 0.894 * [taylor]: Taking taylor expansion of 1.0 in x 0.894 * [backup-simplify]: Simplify 1.0 into 1.0 0.894 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.894 * [taylor]: Taking taylor expansion of 0.12 in x 0.894 * [backup-simplify]: Simplify 0.12 into 0.12 0.894 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 1 into 1 0.894 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- x) 1.0) (* 0.12 (pow x 2))) in x 0.894 * [taylor]: Taking taylor expansion of (fma 0.253 (- x) 1.0) in x 0.894 * [taylor]: Rewrote expression to (+ (* 0.253 (- x)) 1.0) 0.894 * [taylor]: Taking taylor expansion of (* 0.253 (- x)) in x 0.894 * [taylor]: Taking taylor expansion of 0.253 in x 0.894 * [backup-simplify]: Simplify 0.253 into 0.253 0.894 * [taylor]: Taking taylor expansion of (- x) in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 1 into 1 0.894 * [taylor]: Taking taylor expansion of 1.0 in x 0.894 * [backup-simplify]: Simplify 1.0 into 1.0 0.894 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 0.894 * [taylor]: Taking taylor expansion of 0.12 in x 0.894 * [backup-simplify]: Simplify 0.12 into 0.12 0.894 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 1 into 1 0.895 * [backup-simplify]: Simplify (- 0) into 0 0.895 * [backup-simplify]: Simplify (* 0.253 0) into 0 0.895 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.895 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.895 * [backup-simplify]: Simplify 1.0 into 1.0 0.896 * [backup-simplify]: Simplify (- 1) into -1 0.896 * [backup-simplify]: Simplify (- 0) into 0 0.897 * [backup-simplify]: Simplify (+ (* 0.253 -1) (* 0 0)) into (- 0.253) 0.897 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.898 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.898 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.898 * [backup-simplify]: Simplify (- 0) into 0 0.898 * [backup-simplify]: Simplify (- 1) into -1 0.899 * [backup-simplify]: Simplify (- 0) into 0 0.899 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 -1) (* 0 0))) into 0 0.899 * [backup-simplify]: Simplify (+ 0 0) into 0 0.900 * [backup-simplify]: Simplify (* 1 1) into 1 0.900 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.900 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.901 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.901 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.901 * [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.902 * [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.902 * [approximate]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.902 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.902 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.902 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.902 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.902 * [taylor]: Taking taylor expansion of 0.253 in x 0.902 * [backup-simplify]: Simplify 0.253 into 0.253 0.902 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 1 into 1 0.902 * [backup-simplify]: Simplify (/ 1 1) into 1 0.902 * [taylor]: Taking taylor expansion of 1.0 in x 0.902 * [backup-simplify]: Simplify 1.0 into 1.0 0.902 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.902 * [taylor]: Taking taylor expansion of 0.12 in x 0.902 * [backup-simplify]: Simplify 0.12 into 0.12 0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.902 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 1 into 1 0.903 * [backup-simplify]: Simplify (* 1 1) into 1 0.903 * [backup-simplify]: Simplify (/ 1 1) into 1 0.903 * [taylor]: Taking taylor expansion of (- (fma 0.253 (- (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.903 * [taylor]: Taking taylor expansion of (fma 0.253 (- (/ 1 x)) 1.0) in x 0.903 * [taylor]: Rewrote expression to (+ (* 0.253 (- (/ 1 x))) 1.0) 0.903 * [taylor]: Taking taylor expansion of (* 0.253 (- (/ 1 x))) in x 0.903 * [taylor]: Taking taylor expansion of 0.253 in x 0.903 * [backup-simplify]: Simplify 0.253 into 0.253 0.903 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [backup-simplify]: Simplify 0 into 0 0.903 * [backup-simplify]: Simplify 1 into 1 0.903 * [backup-simplify]: Simplify (/ 1 1) into 1 0.903 * [taylor]: Taking taylor expansion of 1.0 in x 0.903 * [backup-simplify]: Simplify 1.0 into 1.0 0.903 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.903 * [taylor]: Taking taylor expansion of 0.12 in x 0.903 * [backup-simplify]: Simplify 0.12 into 0.12 0.903 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.903 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [backup-simplify]: Simplify 0 into 0 0.903 * [backup-simplify]: Simplify 1 into 1 0.904 * [backup-simplify]: Simplify (* 1 1) into 1 0.904 * [backup-simplify]: Simplify (/ 1 1) into 1 0.904 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.904 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.905 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.905 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.905 * [backup-simplify]: Simplify (- 1) into -1 0.906 * [backup-simplify]: Simplify (* 0.253 -1) into -0.253 0.906 * [backup-simplify]: Simplify (+ -0.253 0) into (- 0.253) 0.906 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.907 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.907 * [backup-simplify]: Simplify (- 0) into 0 0.908 * [backup-simplify]: Simplify (+ (- 0.253) 0) into (- 0.253) 0.908 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 0.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.909 * [backup-simplify]: Simplify (- 0) into 0 0.909 * [backup-simplify]: Simplify (- 1) into -1 0.909 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 -1)) into 0 0.909 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.911 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.911 * [backup-simplify]: Simplify (- 0) into 0 0.911 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.911 * [backup-simplify]: Simplify 1.0 into 1.0 0.912 * [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.912 * [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.912 * [approximate]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 0.912 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.912 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.912 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.912 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.912 * [taylor]: Taking taylor expansion of 0.253 in x 0.913 * [backup-simplify]: Simplify 0.253 into 0.253 0.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.913 * [taylor]: Taking taylor expansion of x in x 0.913 * [backup-simplify]: Simplify 0 into 0 0.913 * [backup-simplify]: Simplify 1 into 1 0.913 * [backup-simplify]: Simplify (/ 1 1) into 1 0.913 * [taylor]: Taking taylor expansion of 1.0 in x 0.913 * [backup-simplify]: Simplify 1.0 into 1.0 0.913 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.913 * [taylor]: Taking taylor expansion of 0.12 in x 0.913 * [backup-simplify]: Simplify 0.12 into 0.12 0.913 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.913 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.913 * [taylor]: Taking taylor expansion of x in x 0.913 * [backup-simplify]: Simplify 0 into 0 0.913 * [backup-simplify]: Simplify 1 into 1 0.913 * [backup-simplify]: Simplify (* 1 1) into 1 0.913 * [backup-simplify]: Simplify (/ 1 1) into 1 0.913 * [taylor]: Taking taylor expansion of (- (fma 0.253 (/ 1 x) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 0.913 * [taylor]: Taking taylor expansion of (fma 0.253 (/ 1 x) 1.0) in x 0.914 * [taylor]: Rewrote expression to (+ (* 0.253 (/ 1 x)) 1.0) 0.914 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 0.914 * [taylor]: Taking taylor expansion of 0.253 in x 0.914 * [backup-simplify]: Simplify 0.253 into 0.253 0.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.914 * [taylor]: Taking taylor expansion of x in x 0.914 * [backup-simplify]: Simplify 0 into 0 0.914 * [backup-simplify]: Simplify 1 into 1 0.914 * [backup-simplify]: Simplify (/ 1 1) into 1 0.914 * [taylor]: Taking taylor expansion of 1.0 in x 0.914 * [backup-simplify]: Simplify 1.0 into 1.0 0.914 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 0.914 * [taylor]: Taking taylor expansion of 0.12 in x 0.914 * [backup-simplify]: Simplify 0.12 into 0.12 0.914 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.914 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.914 * [taylor]: Taking taylor expansion of x in x 0.914 * [backup-simplify]: Simplify 0 into 0 0.914 * [backup-simplify]: Simplify 1 into 1 0.914 * [backup-simplify]: Simplify (* 1 1) into 1 0.915 * [backup-simplify]: Simplify (/ 1 1) into 1 0.915 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 0.915 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.916 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 0.916 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 0.916 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 0.916 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.917 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.918 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 0.918 * [backup-simplify]: Simplify (- 0) into 0 0.918 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 0.918 * [backup-simplify]: Simplify 0.253 into 0.253 0.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.919 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 0.919 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.921 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 0.921 * [backup-simplify]: Simplify (- 0) into 0 0.921 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.921 * [backup-simplify]: Simplify 1.0 into 1.0 0.922 * [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.922 * * * [progress]: simplifying candidates 0.922 * [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) (log (* x (- 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 0.12) 0.12) (* (* (* x (- x)) (* 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 0.12) (* x (- x))) (* (sqrt 0.12) (* x (- x))) (* 0.12 (* 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.923 * [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) (log (* h1 (- h1)))) (log (* h0 (* h1 (- h1)))) (exp (* h0 (* h1 (- h1)))) (* (* (* h0 h0) h0) (* (* (* h1 h1) h1) (* (* (- h1) (- h1)) (- h1)))) (* (* (* h0 h0) h0) (* (* (* h1 (- h1)) (* 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 h0) (* h1 (- h1))) (* (sqrt h0) (* h1 (- h1))) (* h0 (* 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.926 * * [simplify]: iteration 0 : 196 enodes (cost 244 ) 0.931 * * [simplify]: iteration 1 : 766 enodes (cost 217 ) 0.951 * * [simplify]: iteration 2 : 4416 enodes (cost 203 ) 1.037 * * [simplify]: iteration 3 : 5001 enodes (cost 203 ) 1.038 * * * [progress]: adding candidates to table 1.119 * [progress]: [Phase 3 of 3] Extracting. 1.119 * * [regime]: Finding splitpoints for: (# # # #) 1.120 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.120 * * * * [regimes]: Trying to branch on x from (# # # #) 1.134 * * * [regime]: Found split indices: #