4.725 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.016 * * [simplify]: iteration 0 : 19 enodes (cost 4 ) 0.018 * * [simplify]: iteration 1 : 45 enodes (cost 4 ) 0.019 * * [simplify]: iteration 2 : 82 enodes (cost 3 ) 0.021 * * [simplify]: iteration 3 : 127 enodes (cost 3 ) 0.024 * * [simplify]: iteration 4 : 168 enodes (cost 3 ) 0.026 * * [simplify]: iteration 5 : 224 enodes (cost 3 ) 0.030 * * [simplify]: iteration 6 : 359 enodes (cost 3 ) 0.034 * * [simplify]: iteration 7 : 666 enodes (cost 3 ) 0.038 * * [simplify]: iteration 8 : 763 enodes (cost 3 ) 0.042 * * [simplify]: iteration 9 : 763 enodes (cost 3 ) 0.042 * [simplify]: Simplified to: (fma (- x) (fma 0.12 x 0.253) 1.0) 0.045 * * [progress]: iteration 1 / 4 0.045 * * * [progress]: picking best candidate 0.046 * * * * [pick]: Picked # 0.046 * * * [progress]: localizing error 0.051 * * * [progress]: generating rewritten candidates 0.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.056 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.060 * * * [progress]: generating series expansions 0.060 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.060 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 0.060 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.060 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.060 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.060 * [taylor]: Taking taylor expansion of 0.12 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of 0.253 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.060 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.060 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.060 * [taylor]: Taking taylor expansion of 0.12 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of 0.253 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.080 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 0.081 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.081 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.081 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.081 * [taylor]: Taking taylor expansion of 0.12 in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of 0.253 in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.082 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.082 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.082 * [taylor]: Taking taylor expansion of 0.12 in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of 0.253 in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.097 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 0.097 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.097 * [taylor]: Taking taylor expansion of -1 in x 0.097 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.097 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.097 * [taylor]: Taking taylor expansion of 0.253 in x 0.097 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.097 * [taylor]: Taking taylor expansion of 0.12 in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.099 * [taylor]: Taking taylor expansion of -1 in x 0.099 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.099 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.099 * [taylor]: Taking taylor expansion of 0.253 in x 0.099 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.099 * [taylor]: Taking taylor expansion of 0.12 in x 0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.124 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.124 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 0.124 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.124 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.124 * [taylor]: Taking taylor expansion of 0.12 in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of 0.253 in x 0.124 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.124 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.124 * [taylor]: Taking taylor expansion of 0.12 in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of 0.253 in x 0.131 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.132 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.132 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.132 * [taylor]: Taking taylor expansion of 0.12 in x 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of 0.253 in x 0.132 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.132 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.132 * [taylor]: Taking taylor expansion of 0.12 in x 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of 0.253 in x 0.142 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.142 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.142 * [taylor]: Taking taylor expansion of 0.253 in x 0.142 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.142 * [taylor]: Taking taylor expansion of 0.12 in x 0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.142 * [taylor]: Taking taylor expansion of x in x 0.143 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.143 * [taylor]: Taking taylor expansion of 0.253 in x 0.143 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.143 * [taylor]: Taking taylor expansion of 0.12 in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.158 * * * [progress]: simplifying candidates 0.158 * [simplify]: Simplifying using # : (expm1 (* x (+ 0.253 (* x 0.12)))) (log1p (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (expm1 (+ 0.253 (* x 0.12))) (log1p (+ 0.253 (* x 0.12))) (* (exp 0.253) (exp (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 0.162 * * [simplify]: iteration 0 : 175 enodes (cost 184 ) 0.166 * * [simplify]: iteration 1 : 809 enodes (cost 150 ) 0.185 * * [simplify]: iteration 2 : 4290 enodes (cost 148 ) 0.270 * * [simplify]: iteration 3 : 5001 enodes (cost 148 ) 0.272 * [simplify]: Simplified to: (expm1 (* x (+ 0.253 (* x 0.12)))) (log1p (* x (+ 0.253 (* x 0.12)))) (* x (fma 0.12 x 0.253)) (log (* x (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (pow (exp x) (fma 0.12 x 0.253)) (pow (* x (fma 0.12 x 0.253)) 3) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (pow (* x (fma 0.12 x 0.253)) 3) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt (+ 0.253 (* x 0.12))) (pow x 1/2)) (* (sqrt (+ 0.253 (* x 0.12))) (pow x 1/2)) (* x 0.253) (* x (* x 0.12)) (* x 0.253) (* x (* x 0.12)) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) x (* (cbrt x) (fma 0.12 x 0.253)) (* (sqrt x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (expm1 (+ 0.253 (* x 0.12))) (log1p (+ 0.253 (* x 0.12))) (exp (fma 0.12 x 0.253)) (log (fma 0.12 x 0.253)) (exp (fma 0.12 x 0.253)) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (pow (fma 0.12 x 0.253) 3) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (fma (* x 0.12) (- (* x 0.12) 0.253) (* 0.253 0.253)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (fma 0.12 x 0.253) (fma 0.12 x 0.253) (fma 0.12 x 0.253) 0.272 * * * [progress]: adding candidates to table 0.359 * * [progress]: iteration 2 / 4 0.359 * * * [progress]: picking best candidate 0.370 * * * * [pick]: Picked # 0.370 * * * [progress]: localizing error 0.380 * * * [progress]: generating rewritten candidates 0.380 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.388 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.393 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.402 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 0.408 * * * [progress]: generating series expansions 0.408 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.409 * [approximate]: Taking taylor expansion of (fma 0.12 x 0.253) in (x) around 0 0.409 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.409 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.409 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.409 * [taylor]: Taking taylor expansion of 0.12 in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of 0.253 in x 0.409 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.409 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.409 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.409 * [taylor]: Taking taylor expansion of 0.12 in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of 0.253 in x 0.417 * [approximate]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in (x) around 0 0.417 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.417 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.417 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.417 * [taylor]: Taking taylor expansion of 0.12 in x 0.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.417 * [taylor]: Taking taylor expansion of x in x 0.417 * [taylor]: Taking taylor expansion of 0.253 in x 0.417 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.417 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.417 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.417 * [taylor]: Taking taylor expansion of 0.12 in x 0.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.417 * [taylor]: Taking taylor expansion of x in x 0.418 * [taylor]: Taking taylor expansion of 0.253 in x 0.428 * [approximate]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in (x) around 0 0.428 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.428 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.428 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.428 * [taylor]: Taking taylor expansion of 0.12 in x 0.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.428 * [taylor]: Taking taylor expansion of -1 in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.428 * [taylor]: Taking taylor expansion of 0.253 in x 0.428 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.429 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.429 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.429 * [taylor]: Taking taylor expansion of 0.12 in x 0.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.429 * [taylor]: Taking taylor expansion of -1 in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of 0.253 in x 0.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.443 * [approximate]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in (x) around 0 0.443 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 0.443 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.444 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.444 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.444 * [taylor]: Taking taylor expansion of 0.12 in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of 0.253 in x 0.444 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.444 * [taylor]: Taking taylor expansion of 0.253 in x 0.444 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.444 * [taylor]: Taking taylor expansion of 0.12 in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 0.444 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.444 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.444 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.444 * [taylor]: Taking taylor expansion of 0.12 in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of 0.253 in x 0.444 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.444 * [taylor]: Taking taylor expansion of 0.253 in x 0.444 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.444 * [taylor]: Taking taylor expansion of 0.12 in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.472 * [approximate]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in (x) around 0 0.472 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 0.472 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.472 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.472 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.472 * [taylor]: Taking taylor expansion of 0.12 in x 0.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.472 * [taylor]: Taking taylor expansion of x in x 0.473 * [taylor]: Taking taylor expansion of 0.253 in x 0.473 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.473 * [taylor]: Taking taylor expansion of 0.253 in x 0.473 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.473 * [taylor]: Taking taylor expansion of 0.12 in x 0.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.473 * [taylor]: Taking taylor expansion of x in x 0.473 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 0.473 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.473 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.473 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.473 * [taylor]: Taking taylor expansion of 0.12 in x 0.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.473 * [taylor]: Taking taylor expansion of x in x 0.473 * [taylor]: Taking taylor expansion of 0.253 in x 0.473 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.474 * [taylor]: Taking taylor expansion of 0.253 in x 0.474 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.474 * [taylor]: Taking taylor expansion of 0.12 in x 0.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.474 * [taylor]: Taking taylor expansion of x in x 0.510 * [approximate]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in (x) around 0 0.510 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 0.510 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.510 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.510 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.510 * [taylor]: Taking taylor expansion of 0.12 in x 0.510 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.510 * [taylor]: Taking taylor expansion of -1 in x 0.510 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of 0.253 in x 0.511 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.511 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.511 * [taylor]: Taking taylor expansion of 0.12 in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of 0.253 in x 0.511 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 0.511 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.511 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.511 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.511 * [taylor]: Taking taylor expansion of 0.12 in x 0.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.511 * [taylor]: Taking taylor expansion of -1 in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of 0.253 in x 0.512 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.512 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.512 * [taylor]: Taking taylor expansion of 0.12 in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of 0.253 in x 0.544 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.544 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.544 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.545 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.545 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.545 * [taylor]: Taking taylor expansion of 0.12 in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of 0.253 in x 0.545 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.545 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.545 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.545 * [taylor]: Taking taylor expansion of 0.12 in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of 0.253 in x 0.561 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 0.561 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.561 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.561 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.561 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.561 * [taylor]: Taking taylor expansion of 0.12 in x 0.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.561 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of 0.253 in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.562 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.563 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.563 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.563 * [taylor]: Taking taylor expansion of 0.12 in x 0.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.563 * [taylor]: Taking taylor expansion of 0.253 in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.578 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 0.578 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.578 * [taylor]: Taking taylor expansion of -1 in x 0.578 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.578 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.578 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.578 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.578 * [taylor]: Taking taylor expansion of 0.12 in x 0.578 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.578 * [taylor]: Taking taylor expansion of -1 in x 0.579 * [taylor]: Taking taylor expansion of x in x 0.579 * [taylor]: Taking taylor expansion of 0.253 in x 0.579 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.580 * [taylor]: Taking taylor expansion of -1 in x 0.580 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.580 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.580 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.580 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.580 * [taylor]: Taking taylor expansion of 0.12 in x 0.580 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.580 * [taylor]: Taking taylor expansion of -1 in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of 0.253 in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.605 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 0.605 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in (x) around 0 0.605 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.605 * [taylor]: Taking taylor expansion of 0.253 in x 0.605 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.605 * [taylor]: Taking taylor expansion of 0.12 in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.605 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.605 * [taylor]: Taking taylor expansion of 0.253 in x 0.605 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.605 * [taylor]: Taking taylor expansion of 0.12 in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.615 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.615 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.615 * [taylor]: Taking taylor expansion of 0.253 in x 0.615 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.615 * [taylor]: Taking taylor expansion of 0.12 in x 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.615 * [taylor]: Taking taylor expansion of x in x 0.615 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.615 * [taylor]: Taking taylor expansion of 0.253 in x 0.615 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.615 * [taylor]: Taking taylor expansion of 0.12 in x 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.615 * [taylor]: Taking taylor expansion of x in x 0.628 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.628 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.628 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.628 * [taylor]: Taking taylor expansion of 0.12 in x 0.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of 0.253 in x 0.628 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.628 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.628 * [taylor]: Taking taylor expansion of 0.12 in x 0.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of 0.253 in x 0.639 * * * [progress]: simplifying candidates 0.640 * [simplify]: Simplifying using # : (expm1 (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (log1p (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (- (+ (log (fma 0.12 x 0.253)) (log (- 0.253 (* x 0.12)))) (log (- 0.253 (* x 0.12)))) (- (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log (- 0.253 (* x 0.12)))) (log (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (exp (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (/ (* (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253)) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (/ (* (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (cbrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (cbrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (cbrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (* (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (sqrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (sqrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (- (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (- (- 0.253 (* x 0.12))) (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (- 0.253 (* x 0.12)) (cbrt (- 0.253 (* x 0.12)))) (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (/ (- 0.253 (* x 0.12)) (sqrt (- 0.253 (* x 0.12)))) (/ (fma 0.12 x 0.253) 1) (/ (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (/ 1 (- 0.253 (* x 0.12))) (/ (- 0.253 (* x 0.12)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (sqrt (- 0.253 (* x 0.12)))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) 1) (/ (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* (- 0.253 (* x 0.12)) (+ (* 0.253 0.253) (+ (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))) (* (- 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (expm1 (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log1p (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (+ (log (fma 0.12 x 0.253)) (log (- 0.253 (* x 0.12)))) (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (exp (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253)) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (fma (sqrt 0.253) (sqrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (fma 1 0.253 (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x))) (fma 0.12 x 0.253)) (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* (fma (sqrt 0.253) (sqrt 0.253) (- (* 0.12 x))) (fma 0.12 x 0.253)) (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* (fma 1 0.253 (- (* 0.12 x))) (fma 0.12 x 0.253)) (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253)) (* (- (* x 0.12)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253)) (* (- (* x 0.12)) (fma 0.12 x 0.253)) (* (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (* (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) 1) (* (cbrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (sqrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- (pow 0.253 3) (pow (* x 0.12) 3))) (* (fma 0.12 x 0.253) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (expm1 (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (log1p (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (+ (log x) (- (+ (log (fma 0.12 x 0.253)) (log (- 0.253 (* x 0.12)))) (log (- 0.253 (* x 0.12))))) (+ (log x) (- (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log (- 0.253 (* x 0.12))))) (+ (log x) (log (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (log (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (exp (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (* (* x x) x) (/ (* (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253)) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (* (* x x) x) (/ (* (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (* (* x x) x) (* (* (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (cbrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (cbrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))))) (cbrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (* (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* x (* (cbrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (cbrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))))) (* x (sqrt (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* x (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12))))) (* x (/ (fma 0.12 x 0.253) 1)) (* x 1) (* x (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3)))) (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))) (* (cbrt x) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (sqrt x) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* x (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x))) (fma (- 0.12) x (* 0.12 x)) (fma (sqrt 0.253) (sqrt 0.253) (- (* 0.12 x))) (fma (- 0.12) x (* 0.12 x)) (fma 1 0.253 (- (* 0.12 x))) (fma (- 0.12) x (* 0.12 x)) (expm1 (- 0.253 (* x 0.12))) (log1p (- 0.253 (* x 0.12))) (- (* x 0.12)) (- (* x 0.12)) (- (* x 0.12)) (/ (exp 0.253) (exp (* x 0.12))) (log (- 0.253 (* x 0.12))) (exp (- 0.253 (* x 0.12))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))) (cbrt (- 0.253 (* x 0.12))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))) (sqrt (- 0.253 (* x 0.12))) (sqrt (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (+ (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ 0.253 (* x 0.12)) (- (* x 0.12)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) 0.647 * * [simplify]: iteration 0 : 379 enodes (cost 867 ) 0.656 * * [simplify]: iteration 1 : 2372 enodes (cost 588 ) 0.714 * * [simplify]: iteration 2 : 5002 enodes (cost 588 ) 0.719 * [simplify]: Simplified to: (expm1 (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (log1p (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (log (fma 0.12 x 0.253)) (log (fma 0.12 x 0.253)) (log (fma 0.12 x 0.253)) (exp (fma 0.12 x 0.253)) (pow (fma 0.12 x 0.253) 3) (pow (fma 0.12 x 0.253) 3) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)) (pow (fma 0.12 x 0.253) 3) (sqrt (fma 0.12 x 0.253)) (sqrt (fma 0.12 x 0.253)) (- (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (- (- 0.253 (* x 0.12))) (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (- 0.253 (* x 0.12)) (cbrt (- 0.253 (* x 0.12)))) (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (/ (- 0.253 (* x 0.12)) (sqrt (- 0.253 (* x 0.12)))) (fma 0.12 x 0.253) 1 (/ 1 (- 0.253 (* x 0.12))) (/ 1 (fma 0.12 x 0.253)) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (sqrt (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) 1 (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3))) 1 (* (- 0.253 (* 0.12 x)) (fma (* x 0.12) (fma 0.12 x 0.253) (* 0.253 0.253))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (expm1 (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log1p (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (exp (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (pow (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) 3) (* (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (pow (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) 3) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (* (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (fma 0.12 x 0.253) (* (cbrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (sqrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- (pow 0.253 3) (pow (* x 0.12) 3))) (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (fma 0.12 x 0.253)) (expm1 (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (log1p (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (fma 0.12 x 0.253) x) (log (* (fma 0.12 x 0.253) x)) (log (* (fma 0.12 x 0.253) x)) (log (* (fma 0.12 x 0.253) x)) (log (* (fma 0.12 x 0.253) x)) (pow (exp x) (fma 0.12 x 0.253)) (pow (* (fma 0.12 x 0.253) x) 3) (pow (* (fma 0.12 x 0.253) x) 3) (pow (* (fma 0.12 x 0.253) x) 3) (* (cbrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (cbrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))))) (cbrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (pow (* (fma 0.12 x 0.253) x) 3) (sqrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (fma 0.12 x 0.253))) (* (sqrt x) (sqrt (fma 0.12 x 0.253))) (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (* x (sqrt (fma 0.12 x 0.253))) (* x (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12))))) (* (fma 0.12 x 0.253) x) x (* x (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* x (/ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3)))) x (* (fma 0.12 x 0.253) (cbrt x)) (* (fma 0.12 x 0.253) (sqrt x)) (* (fma 0.12 x 0.253) x) (* x (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x))) (fma (- 0.12) x (* 0.12 x)) (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)) (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)) (expm1 (- 0.253 (* x 0.12))) (log1p (- 0.253 (* x 0.12))) (- (* x 0.12)) (- (* x 0.12)) (- (* x 0.12)) (exp (- 0.253 (* x 0.12))) (log (- 0.253 (* 0.12 x))) (exp (- 0.253 (* x 0.12))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))) (cbrt (- 0.253 (* x 0.12))) (pow (- 0.253 (* 0.12 x)) 3) (sqrt (- 0.253 (* x 0.12))) (sqrt (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3)) (fma (* x 0.12) (fma 0.12 x 0.253) (* 0.253 0.253)) (- (* x 0.12)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (fma 0.12 x 0.253) (- (* x 0.12)) (fma 0.12 x 0.253) (fma 0.12 x 0.253) (fma 0.12 x 0.253) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12)) 0.720 * * * [progress]: adding candidates to table 0.960 * * [progress]: iteration 3 / 4 0.960 * * * [progress]: picking best candidate 0.978 * * * * [pick]: Picked # 0.978 * * * [progress]: localizing error 0.983 * * * [progress]: generating rewritten candidates 0.983 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.988 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.992 * * * [progress]: generating series expansions 0.992 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.992 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 0.992 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.992 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.992 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.992 * [taylor]: Taking taylor expansion of 0.12 in x 0.992 * [taylor]: Taking taylor expansion of x in x 0.992 * [taylor]: Taking taylor expansion of 0.253 in x 0.992 * [taylor]: Taking taylor expansion of x in x 0.992 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.992 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.992 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.992 * [taylor]: Taking taylor expansion of 0.12 in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [taylor]: Taking taylor expansion of 0.253 in x 0.993 * [taylor]: Taking taylor expansion of x in x 1.009 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 1.009 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 1.009 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.009 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.009 * [taylor]: Taking taylor expansion of 0.12 in x 1.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.009 * [taylor]: Taking taylor expansion of x in x 1.009 * [taylor]: Taking taylor expansion of 0.253 in x 1.010 * [taylor]: Taking taylor expansion of x in x 1.010 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 1.010 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.010 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.010 * [taylor]: Taking taylor expansion of 0.12 in x 1.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.010 * [taylor]: Taking taylor expansion of x in x 1.011 * [taylor]: Taking taylor expansion of 0.253 in x 1.011 * [taylor]: Taking taylor expansion of x in x 1.026 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 1.026 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 1.026 * [taylor]: Taking taylor expansion of -1 in x 1.026 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 1.026 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.026 * [taylor]: Taking taylor expansion of 0.253 in x 1.026 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.026 * [taylor]: Taking taylor expansion of 0.12 in x 1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.026 * [taylor]: Taking taylor expansion of x in x 1.026 * [taylor]: Taking taylor expansion of x in x 1.028 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 1.028 * [taylor]: Taking taylor expansion of -1 in x 1.028 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 1.028 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.028 * [taylor]: Taking taylor expansion of 0.253 in x 1.028 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.028 * [taylor]: Taking taylor expansion of 0.12 in x 1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.028 * [taylor]: Taking taylor expansion of x in x 1.028 * [taylor]: Taking taylor expansion of x in x 1.054 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.054 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 1.054 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 1.054 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.054 * [taylor]: Taking taylor expansion of 0.12 in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of 0.253 in x 1.054 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 1.054 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.054 * [taylor]: Taking taylor expansion of 0.12 in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of 0.253 in x 1.061 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 1.061 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.061 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.061 * [taylor]: Taking taylor expansion of 0.12 in x 1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.061 * [taylor]: Taking taylor expansion of x in x 1.062 * [taylor]: Taking taylor expansion of 0.253 in x 1.062 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.062 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.062 * [taylor]: Taking taylor expansion of 0.12 in x 1.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.062 * [taylor]: Taking taylor expansion of x in x 1.062 * [taylor]: Taking taylor expansion of 0.253 in x 1.072 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 1.072 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.072 * [taylor]: Taking taylor expansion of 0.253 in x 1.072 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.072 * [taylor]: Taking taylor expansion of 0.12 in x 1.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.072 * [taylor]: Taking taylor expansion of x in x 1.072 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.072 * [taylor]: Taking taylor expansion of 0.253 in x 1.072 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.072 * [taylor]: Taking taylor expansion of 0.12 in x 1.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.072 * [taylor]: Taking taylor expansion of x in x 1.085 * * * [progress]: simplifying candidates 1.086 * [simplify]: Simplifying using # : (expm1 (* x (+ 0.253 (* x 0.12)))) (log1p (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (expm1 (+ 0.253 (* x 0.12))) (log1p (+ 0.253 (* x 0.12))) (* (exp 0.253) (exp (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 1.089 * * [simplify]: iteration 0 : 175 enodes (cost 184 ) 1.093 * * [simplify]: iteration 1 : 809 enodes (cost 150 ) 1.112 * * [simplify]: iteration 2 : 4290 enodes (cost 148 ) 1.195 * * [simplify]: iteration 3 : 5001 enodes (cost 148 ) 1.196 * [simplify]: Simplified to: (expm1 (* x (+ 0.253 (* x 0.12)))) (log1p (* x (+ 0.253 (* x 0.12)))) (* x (fma 0.12 x 0.253)) (log (* x (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (pow (exp x) (fma 0.12 x 0.253)) (pow (* x (fma 0.12 x 0.253)) 3) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (pow (* x (fma 0.12 x 0.253)) 3) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt (+ 0.253 (* x 0.12))) (pow x 1/2)) (* (sqrt (+ 0.253 (* x 0.12))) (pow x 1/2)) (* x 0.253) (* x (* x 0.12)) (* x 0.253) (* x (* x 0.12)) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) x (* (cbrt x) (fma 0.12 x 0.253)) (* (sqrt x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (expm1 (+ 0.253 (* x 0.12))) (log1p (+ 0.253 (* x 0.12))) (exp (fma 0.12 x 0.253)) (log (fma 0.12 x 0.253)) (exp (fma 0.12 x 0.253)) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (pow (fma 0.12 x 0.253) 3) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (fma (* x 0.12) (- (* x 0.12) 0.253) (* 0.253 0.253)) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (fma 0.12 x 0.253) (fma 0.12 x 0.253) (fma 0.12 x 0.253) 1.197 * * * [progress]: adding candidates to table 1.280 * * [progress]: iteration 4 / 4 1.280 * * * [progress]: picking best candidate 1.294 * * * * [pick]: Picked # 1.294 * * * [progress]: localizing error 1.309 * * * [progress]: generating rewritten candidates 1.309 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2) 1.310 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.323 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 1.328 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.343 * * * [progress]: generating series expansions 1.343 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2) 1.344 * [approximate]: Taking taylor expansion of (fma (- 0.12) x (* 0.12 x)) in (x) around 0 1.344 * [taylor]: Taking taylor expansion of (fma (- 0.12) x (* 0.12 x)) in x 1.344 * [taylor]: Rewrote expression to (+ (* (- 0.12) x) (* 0.12 x)) 1.344 * [taylor]: Taking taylor expansion of (* (- 0.12) x) in x 1.344 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.344 * [taylor]: Taking taylor expansion of 0.12 in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.344 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.344 * [taylor]: Taking taylor expansion of 0.12 in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.344 * [taylor]: Taking taylor expansion of (fma (- 0.12) x (* 0.12 x)) in x 1.344 * [taylor]: Rewrote expression to (+ (* (- 0.12) x) (* 0.12 x)) 1.344 * [taylor]: Taking taylor expansion of (* (- 0.12) x) in x 1.344 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.344 * [taylor]: Taking taylor expansion of 0.12 in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.344 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.344 * [taylor]: Taking taylor expansion of 0.12 in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.358 * [approximate]: Taking taylor expansion of (fma (- 0.12) (/ 1 x) (/ 0.12 x)) in (x) around 0 1.358 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ 1 x) (/ 0.12 x)) in x 1.359 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ 1 x)) (/ 0.12 x)) 1.359 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ 1 x)) in x 1.359 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.359 * [taylor]: Taking taylor expansion of 0.12 in x 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.359 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 1.359 * [taylor]: Taking taylor expansion of 0.12 in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.359 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ 1 x) (/ 0.12 x)) in x 1.359 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ 1 x)) (/ 0.12 x)) 1.359 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ 1 x)) in x 1.359 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.359 * [taylor]: Taking taylor expansion of 0.12 in x 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.360 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 1.360 * [taylor]: Taking taylor expansion of 0.12 in x 1.360 * [taylor]: Taking taylor expansion of x in x 1.375 * [approximate]: Taking taylor expansion of (fma (- 0.12) (/ -1 x) (/ -0.12 x)) in (x) around 0 1.375 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ -1 x) (/ -0.12 x)) in x 1.375 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ -1 x)) (/ -0.12 x)) 1.375 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ -1 x)) in x 1.375 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.375 * [taylor]: Taking taylor expansion of 0.12 in x 1.375 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.375 * [taylor]: Taking taylor expansion of -1 in x 1.375 * [taylor]: Taking taylor expansion of x in x 1.375 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 1.375 * [taylor]: Taking taylor expansion of -0.12 in x 1.375 * [taylor]: Taking taylor expansion of x in x 1.376 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ -1 x) (/ -0.12 x)) in x 1.376 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ -1 x)) (/ -0.12 x)) 1.376 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ -1 x)) in x 1.376 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.376 * [taylor]: Taking taylor expansion of 0.12 in x 1.376 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.376 * [taylor]: Taking taylor expansion of -1 in x 1.376 * [taylor]: Taking taylor expansion of x in x 1.376 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 1.376 * [taylor]: Taking taylor expansion of -0.12 in x 1.376 * [taylor]: Taking taylor expansion of x in x 1.391 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.391 * [approximate]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) (- 0.253 (* 0.12 x))) in (x) around 0 1.391 * [taylor]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) (- 0.253 (* 0.12 x))) in x 1.391 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) in x 1.391 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) in x 1.391 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) in x 1.391 * [taylor]: Taking taylor expansion of (fma (- 0.12) x (* 0.12 x)) in x 1.392 * [taylor]: Rewrote expression to (+ (* (- 0.12) x) (* 0.12 x)) 1.392 * [taylor]: Taking taylor expansion of (* (- 0.12) x) in x 1.392 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.392 * [taylor]: Taking taylor expansion of 0.12 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.392 * [taylor]: Taking taylor expansion of 0.12 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.392 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.392 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.392 * [taylor]: Taking taylor expansion of 0.12 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of 0.253 in x 1.392 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 x 0.253)) in x 1.392 * [taylor]: Taking taylor expansion of 0.253 in x 1.392 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.392 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.392 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.392 * [taylor]: Taking taylor expansion of 0.12 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of 0.253 in x 1.392 * [taylor]: Taking taylor expansion of (* 0.12 (* x (fma 0.12 x 0.253))) in x 1.392 * [taylor]: Taking taylor expansion of 0.12 in x 1.392 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.392 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.392 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.392 * [taylor]: Taking taylor expansion of 0.12 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of 0.253 in x 1.392 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.392 * [taylor]: Taking taylor expansion of 0.253 in x 1.392 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.392 * [taylor]: Taking taylor expansion of 0.12 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) (- 0.253 (* 0.12 x))) in x 1.403 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) in x 1.403 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) in x 1.403 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) in x 1.403 * [taylor]: Taking taylor expansion of (fma (- 0.12) x (* 0.12 x)) in x 1.403 * [taylor]: Rewrote expression to (+ (* (- 0.12) x) (* 0.12 x)) 1.403 * [taylor]: Taking taylor expansion of (* (- 0.12) x) in x 1.403 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.403 * [taylor]: Taking taylor expansion of 0.12 in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.403 * [taylor]: Taking taylor expansion of 0.12 in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.403 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.403 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.403 * [taylor]: Taking taylor expansion of 0.12 in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of 0.253 in x 1.403 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 x 0.253)) in x 1.403 * [taylor]: Taking taylor expansion of 0.253 in x 1.403 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.404 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.404 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.404 * [taylor]: Taking taylor expansion of 0.12 in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of 0.253 in x 1.404 * [taylor]: Taking taylor expansion of (* 0.12 (* x (fma 0.12 x 0.253))) in x 1.404 * [taylor]: Taking taylor expansion of 0.12 in x 1.404 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.404 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.404 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.404 * [taylor]: Taking taylor expansion of 0.12 in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of 0.253 in x 1.404 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.404 * [taylor]: Taking taylor expansion of 0.253 in x 1.404 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.404 * [taylor]: Taking taylor expansion of 0.12 in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.498 * [approximate]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) (- 0.253 (* 0.12 (/ 1 x)))) in (x) around 0 1.498 * [taylor]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) (- 0.253 (* 0.12 (/ 1 x)))) in x 1.498 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 1.498 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) in x 1.498 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) in x 1.498 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ 1 x) (/ 0.12 x)) in x 1.498 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ 1 x)) (/ 0.12 x)) 1.498 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ 1 x)) in x 1.498 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.498 * [taylor]: Taking taylor expansion of 0.12 in x 1.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.498 * [taylor]: Taking taylor expansion of x in x 1.498 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 1.498 * [taylor]: Taking taylor expansion of 0.12 in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.499 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.499 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.499 * [taylor]: Taking taylor expansion of 0.12 in x 1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of 0.253 in x 1.499 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ 1 x) 0.253)) in x 1.499 * [taylor]: Taking taylor expansion of 0.253 in x 1.499 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.499 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.499 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.499 * [taylor]: Taking taylor expansion of 0.12 in x 1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.500 * [taylor]: Taking taylor expansion of 0.253 in x 1.500 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 1.500 * [taylor]: Taking taylor expansion of 0.12 in x 1.500 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 1.500 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.500 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.500 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.500 * [taylor]: Taking taylor expansion of 0.12 in x 1.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.500 * [taylor]: Taking taylor expansion of x in x 1.500 * [taylor]: Taking taylor expansion of 0.253 in x 1.500 * [taylor]: Taking taylor expansion of x in x 1.501 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.501 * [taylor]: Taking taylor expansion of 0.253 in x 1.501 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.501 * [taylor]: Taking taylor expansion of 0.12 in x 1.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.501 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) (- 0.253 (* 0.12 (/ 1 x)))) in x 1.506 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 1.506 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) in x 1.506 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) in x 1.506 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ 1 x) (/ 0.12 x)) in x 1.506 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ 1 x)) (/ 0.12 x)) 1.506 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ 1 x)) in x 1.506 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.506 * [taylor]: Taking taylor expansion of 0.12 in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 1.507 * [taylor]: Taking taylor expansion of 0.12 in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.507 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.507 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.507 * [taylor]: Taking taylor expansion of 0.12 in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.508 * [taylor]: Taking taylor expansion of 0.253 in x 1.508 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ 1 x) 0.253)) in x 1.508 * [taylor]: Taking taylor expansion of 0.253 in x 1.508 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.508 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.508 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.508 * [taylor]: Taking taylor expansion of 0.12 in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [taylor]: Taking taylor expansion of 0.253 in x 1.508 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 1.508 * [taylor]: Taking taylor expansion of 0.12 in x 1.508 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 1.508 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.508 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.508 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.508 * [taylor]: Taking taylor expansion of 0.12 in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of 0.253 in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.509 * [taylor]: Taking taylor expansion of 0.253 in x 1.509 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.509 * [taylor]: Taking taylor expansion of 0.12 in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.510 * [taylor]: Taking taylor expansion of x in x 1.610 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (+ (* 0.12 (/ 1 x)) 0.253)) in (x) around 0 1.610 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.610 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) in x 1.610 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 1.610 * [taylor]: Taking taylor expansion of 0.12 in x 1.610 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 1.610 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.611 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.611 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.611 * [taylor]: Taking taylor expansion of 0.12 in x 1.611 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.611 * [taylor]: Taking taylor expansion of -1 in x 1.611 * [taylor]: Taking taylor expansion of x in x 1.611 * [taylor]: Taking taylor expansion of 0.253 in x 1.611 * [taylor]: Taking taylor expansion of x in x 1.612 * [taylor]: Taking taylor expansion of (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253))) in x 1.612 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ -1 x) 0.253)) in x 1.612 * [taylor]: Taking taylor expansion of 0.253 in x 1.612 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.612 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.612 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.612 * [taylor]: Taking taylor expansion of 0.12 in x 1.612 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.612 * [taylor]: Taking taylor expansion of -1 in x 1.612 * [taylor]: Taking taylor expansion of x in x 1.613 * [taylor]: Taking taylor expansion of 0.253 in x 1.613 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)) in x 1.613 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ -1 x) (/ -0.12 x)) in x 1.613 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ -1 x)) (/ -0.12 x)) 1.613 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ -1 x)) in x 1.613 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.613 * [taylor]: Taking taylor expansion of 0.12 in x 1.613 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.613 * [taylor]: Taking taylor expansion of -1 in x 1.613 * [taylor]: Taking taylor expansion of x in x 1.613 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 1.613 * [taylor]: Taking taylor expansion of -0.12 in x 1.613 * [taylor]: Taking taylor expansion of x in x 1.614 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.614 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.614 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.614 * [taylor]: Taking taylor expansion of 0.12 in x 1.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.614 * [taylor]: Taking taylor expansion of -1 in x 1.614 * [taylor]: Taking taylor expansion of x in x 1.614 * [taylor]: Taking taylor expansion of 0.253 in x 1.614 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.614 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.614 * [taylor]: Taking taylor expansion of 0.12 in x 1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.614 * [taylor]: Taking taylor expansion of x in x 1.614 * [taylor]: Taking taylor expansion of 0.253 in x 1.618 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.618 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) in x 1.618 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 1.618 * [taylor]: Taking taylor expansion of 0.12 in x 1.618 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 1.618 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.618 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.618 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.618 * [taylor]: Taking taylor expansion of 0.12 in x 1.618 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.618 * [taylor]: Taking taylor expansion of -1 in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of 0.253 in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.620 * [taylor]: Taking taylor expansion of (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253))) in x 1.620 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ -1 x) 0.253)) in x 1.620 * [taylor]: Taking taylor expansion of 0.253 in x 1.620 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.620 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.620 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.620 * [taylor]: Taking taylor expansion of 0.12 in x 1.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.620 * [taylor]: Taking taylor expansion of -1 in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.620 * [taylor]: Taking taylor expansion of 0.253 in x 1.620 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)) in x 1.620 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ -1 x) (/ -0.12 x)) in x 1.620 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ -1 x)) (/ -0.12 x)) 1.620 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ -1 x)) in x 1.620 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.620 * [taylor]: Taking taylor expansion of 0.12 in x 1.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.620 * [taylor]: Taking taylor expansion of -1 in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.621 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 1.621 * [taylor]: Taking taylor expansion of -0.12 in x 1.621 * [taylor]: Taking taylor expansion of x in x 1.621 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.621 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.621 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.621 * [taylor]: Taking taylor expansion of 0.12 in x 1.621 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.621 * [taylor]: Taking taylor expansion of -1 in x 1.621 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of 0.253 in x 1.622 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.622 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.622 * [taylor]: Taking taylor expansion of 0.12 in x 1.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of 0.253 in x 1.724 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 1.724 * [approximate]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in (x) around 0 1.724 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 1.724 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.724 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.724 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.724 * [taylor]: Taking taylor expansion of 0.12 in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of 0.253 in x 1.724 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.724 * [taylor]: Taking taylor expansion of 0.253 in x 1.724 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.724 * [taylor]: Taking taylor expansion of 0.12 in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 1.724 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.725 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.725 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.725 * [taylor]: Taking taylor expansion of 0.12 in x 1.725 * [taylor]: Taking taylor expansion of x in x 1.725 * [taylor]: Taking taylor expansion of 0.253 in x 1.725 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.725 * [taylor]: Taking taylor expansion of 0.253 in x 1.725 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.725 * [taylor]: Taking taylor expansion of 0.12 in x 1.725 * [taylor]: Taking taylor expansion of x in x 1.753 * [approximate]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in (x) around 0 1.753 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 1.753 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.753 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.753 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.753 * [taylor]: Taking taylor expansion of 0.12 in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of 0.253 in x 1.753 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.753 * [taylor]: Taking taylor expansion of 0.253 in x 1.753 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.753 * [taylor]: Taking taylor expansion of 0.12 in x 1.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 1.754 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.754 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.754 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.754 * [taylor]: Taking taylor expansion of 0.12 in x 1.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of 0.253 in x 1.754 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.754 * [taylor]: Taking taylor expansion of 0.253 in x 1.754 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.754 * [taylor]: Taking taylor expansion of 0.12 in x 1.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.793 * [approximate]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in (x) around 0 1.794 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.794 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.794 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.794 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.794 * [taylor]: Taking taylor expansion of 0.12 in x 1.794 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.794 * [taylor]: Taking taylor expansion of -1 in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of 0.253 in x 1.794 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.794 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.794 * [taylor]: Taking taylor expansion of 0.12 in x 1.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of 0.253 in x 1.795 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.795 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 1.795 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 1.795 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 1.795 * [taylor]: Taking taylor expansion of 0.12 in x 1.795 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.795 * [taylor]: Taking taylor expansion of -1 in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [taylor]: Taking taylor expansion of 0.253 in x 1.795 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.795 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.795 * [taylor]: Taking taylor expansion of 0.12 in x 1.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [taylor]: Taking taylor expansion of 0.253 in x 1.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.828 * [approximate]: Taking taylor expansion of (/ (* (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) x) (- 0.253 (* 0.12 x))) in (x) around 0 1.828 * [taylor]: Taking taylor expansion of (/ (* (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) x) (- 0.253 (* 0.12 x))) in x 1.828 * [taylor]: Taking taylor expansion of (* (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) x) in x 1.829 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) in x 1.829 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) in x 1.829 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) in x 1.829 * [taylor]: Taking taylor expansion of (fma (- 0.12) x (* 0.12 x)) in x 1.829 * [taylor]: Rewrote expression to (+ (* (- 0.12) x) (* 0.12 x)) 1.829 * [taylor]: Taking taylor expansion of (* (- 0.12) x) in x 1.829 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.829 * [taylor]: Taking taylor expansion of 0.12 in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.829 * [taylor]: Taking taylor expansion of 0.12 in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.829 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.829 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.829 * [taylor]: Taking taylor expansion of 0.12 in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of 0.253 in x 1.829 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 x 0.253)) in x 1.829 * [taylor]: Taking taylor expansion of 0.253 in x 1.829 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.829 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.829 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.829 * [taylor]: Taking taylor expansion of 0.12 in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of 0.253 in x 1.829 * [taylor]: Taking taylor expansion of (* 0.12 (* x (fma 0.12 x 0.253))) in x 1.829 * [taylor]: Taking taylor expansion of 0.12 in x 1.829 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.829 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.829 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.829 * [taylor]: Taking taylor expansion of 0.12 in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of 0.253 in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.829 * [taylor]: Taking taylor expansion of 0.253 in x 1.830 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.830 * [taylor]: Taking taylor expansion of 0.12 in x 1.830 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of (/ (* (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) x) (- 0.253 (* 0.12 x))) in x 1.846 * [taylor]: Taking taylor expansion of (* (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) x) in x 1.846 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) (* 0.12 (* x (fma 0.12 x 0.253)))) in x 1.846 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253))) in x 1.846 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) in x 1.846 * [taylor]: Taking taylor expansion of (fma (- 0.12) x (* 0.12 x)) in x 1.846 * [taylor]: Rewrote expression to (+ (* (- 0.12) x) (* 0.12 x)) 1.846 * [taylor]: Taking taylor expansion of (* (- 0.12) x) in x 1.846 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.846 * [taylor]: Taking taylor expansion of 0.12 in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.846 * [taylor]: Taking taylor expansion of 0.12 in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.846 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.846 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.846 * [taylor]: Taking taylor expansion of 0.12 in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of 0.253 in x 1.846 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 x 0.253)) in x 1.846 * [taylor]: Taking taylor expansion of 0.253 in x 1.846 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.846 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.846 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.846 * [taylor]: Taking taylor expansion of 0.12 in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of 0.253 in x 1.846 * [taylor]: Taking taylor expansion of (* 0.12 (* x (fma 0.12 x 0.253))) in x 1.846 * [taylor]: Taking taylor expansion of 0.12 in x 1.846 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 1.847 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 1.847 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.847 * [taylor]: Taking taylor expansion of 0.12 in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of 0.253 in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.847 * [taylor]: Taking taylor expansion of 0.253 in x 1.847 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.847 * [taylor]: Taking taylor expansion of 0.12 in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.968 * [approximate]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in (x) around 0 1.968 * [taylor]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in x 1.968 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 1.968 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) in x 1.968 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) in x 1.968 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ 1 x) (/ 0.12 x)) in x 1.968 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ 1 x)) (/ 0.12 x)) 1.968 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ 1 x)) in x 1.968 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.968 * [taylor]: Taking taylor expansion of 0.12 in x 1.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.968 * [taylor]: Taking taylor expansion of x in x 1.968 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 1.968 * [taylor]: Taking taylor expansion of 0.12 in x 1.968 * [taylor]: Taking taylor expansion of x in x 1.969 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.969 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.969 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.969 * [taylor]: Taking taylor expansion of 0.12 in x 1.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.969 * [taylor]: Taking taylor expansion of x in x 1.969 * [taylor]: Taking taylor expansion of 0.253 in x 1.969 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ 1 x) 0.253)) in x 1.969 * [taylor]: Taking taylor expansion of 0.253 in x 1.969 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.969 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.969 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.969 * [taylor]: Taking taylor expansion of 0.12 in x 1.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.969 * [taylor]: Taking taylor expansion of x in x 1.970 * [taylor]: Taking taylor expansion of 0.253 in x 1.970 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 1.970 * [taylor]: Taking taylor expansion of 0.12 in x 1.970 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 1.970 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.970 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.970 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.970 * [taylor]: Taking taylor expansion of 0.12 in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.970 * [taylor]: Taking taylor expansion of 0.253 in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.971 * [taylor]: Taking taylor expansion of (* x (- 0.253 (* 0.12 (/ 1 x)))) in x 1.971 * [taylor]: Taking taylor expansion of x in x 1.971 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.971 * [taylor]: Taking taylor expansion of 0.253 in x 1.971 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.971 * [taylor]: Taking taylor expansion of 0.12 in x 1.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.971 * [taylor]: Taking taylor expansion of x in x 1.978 * [taylor]: Taking taylor expansion of (/ (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in x 1.978 * [taylor]: Taking taylor expansion of (- (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 1.979 * [taylor]: Taking taylor expansion of (+ (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) (* 0.253 (fma 0.12 (/ 1 x) 0.253))) in x 1.979 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ 1 x) (/ 0.12 x)) (fma 0.12 (/ 1 x) 0.253)) in x 1.979 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ 1 x) (/ 0.12 x)) in x 1.979 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ 1 x)) (/ 0.12 x)) 1.979 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ 1 x)) in x 1.979 * [taylor]: Taking taylor expansion of (- 0.12) in x 1.979 * [taylor]: Taking taylor expansion of 0.12 in x 1.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.979 * [taylor]: Taking taylor expansion of x in x 1.979 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 1.979 * [taylor]: Taking taylor expansion of 0.12 in x 1.979 * [taylor]: Taking taylor expansion of x in x 1.979 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.979 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.980 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.980 * [taylor]: Taking taylor expansion of 0.12 in x 1.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.980 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of 0.253 in x 1.980 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ 1 x) 0.253)) in x 1.980 * [taylor]: Taking taylor expansion of 0.253 in x 1.980 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.980 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.980 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.980 * [taylor]: Taking taylor expansion of 0.12 in x 1.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.980 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of 0.253 in x 1.980 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 1.980 * [taylor]: Taking taylor expansion of 0.12 in x 1.980 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 1.980 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 1.981 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 1.981 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.981 * [taylor]: Taking taylor expansion of 0.12 in x 1.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.981 * [taylor]: Taking taylor expansion of x in x 1.981 * [taylor]: Taking taylor expansion of 0.253 in x 1.981 * [taylor]: Taking taylor expansion of x in x 1.982 * [taylor]: Taking taylor expansion of (* x (- 0.253 (* 0.12 (/ 1 x)))) in x 1.982 * [taylor]: Taking taylor expansion of x in x 1.982 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.982 * [taylor]: Taking taylor expansion of 0.253 in x 1.982 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.982 * [taylor]: Taking taylor expansion of 0.12 in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.982 * [taylor]: Taking taylor expansion of x in x 2.099 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in (x) around 0 2.099 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in x 2.099 * [taylor]: Taking taylor expansion of -1 in x 2.099 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (* x (+ (* 0.12 (/ 1 x)) 0.253))) in x 2.099 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) in x 2.099 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 2.099 * [taylor]: Taking taylor expansion of 0.12 in x 2.099 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 2.099 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 2.100 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 2.100 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 2.100 * [taylor]: Taking taylor expansion of 0.12 in x 2.100 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.100 * [taylor]: Taking taylor expansion of -1 in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.100 * [taylor]: Taking taylor expansion of 0.253 in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.101 * [taylor]: Taking taylor expansion of (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253))) in x 2.101 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ -1 x) 0.253)) in x 2.101 * [taylor]: Taking taylor expansion of 0.253 in x 2.101 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 2.101 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 2.101 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 2.101 * [taylor]: Taking taylor expansion of 0.12 in x 2.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.101 * [taylor]: Taking taylor expansion of -1 in x 2.102 * [taylor]: Taking taylor expansion of x in x 2.102 * [taylor]: Taking taylor expansion of 0.253 in x 2.102 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)) in x 2.102 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ -1 x) (/ -0.12 x)) in x 2.102 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ -1 x)) (/ -0.12 x)) 2.102 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ -1 x)) in x 2.102 * [taylor]: Taking taylor expansion of (- 0.12) in x 2.102 * [taylor]: Taking taylor expansion of 0.12 in x 2.102 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.102 * [taylor]: Taking taylor expansion of -1 in x 2.102 * [taylor]: Taking taylor expansion of x in x 2.102 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 2.102 * [taylor]: Taking taylor expansion of -0.12 in x 2.102 * [taylor]: Taking taylor expansion of x in x 2.103 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 2.103 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 2.103 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 2.103 * [taylor]: Taking taylor expansion of 0.12 in x 2.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.103 * [taylor]: Taking taylor expansion of -1 in x 2.103 * [taylor]: Taking taylor expansion of x in x 2.103 * [taylor]: Taking taylor expansion of 0.253 in x 2.103 * [taylor]: Taking taylor expansion of (* x (+ (* 0.12 (/ 1 x)) 0.253)) in x 2.103 * [taylor]: Taking taylor expansion of x in x 2.103 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 2.103 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.103 * [taylor]: Taking taylor expansion of 0.12 in x 2.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.103 * [taylor]: Taking taylor expansion of x in x 2.104 * [taylor]: Taking taylor expansion of 0.253 in x 2.109 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in x 2.109 * [taylor]: Taking taylor expansion of -1 in x 2.109 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) (* x (+ (* 0.12 (/ 1 x)) 0.253))) in x 2.109 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)))) in x 2.109 * [taylor]: Taking taylor expansion of (* 0.12 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 2.109 * [taylor]: Taking taylor expansion of 0.12 in x 2.109 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 2.109 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 2.110 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 2.110 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 2.110 * [taylor]: Taking taylor expansion of 0.12 in x 2.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.110 * [taylor]: Taking taylor expansion of -1 in x 2.110 * [taylor]: Taking taylor expansion of x in x 2.110 * [taylor]: Taking taylor expansion of 0.253 in x 2.110 * [taylor]: Taking taylor expansion of x in x 2.111 * [taylor]: Taking taylor expansion of (+ (* 0.253 (fma 0.12 (/ -1 x) 0.253)) (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253))) in x 2.111 * [taylor]: Taking taylor expansion of (* 0.253 (fma 0.12 (/ -1 x) 0.253)) in x 2.111 * [taylor]: Taking taylor expansion of 0.253 in x 2.111 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 2.111 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 2.111 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 2.111 * [taylor]: Taking taylor expansion of 0.12 in x 2.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.111 * [taylor]: Taking taylor expansion of -1 in x 2.111 * [taylor]: Taking taylor expansion of x in x 2.112 * [taylor]: Taking taylor expansion of 0.253 in x 2.112 * [taylor]: Taking taylor expansion of (* (fma (- 0.12) (/ -1 x) (/ -0.12 x)) (fma 0.12 (/ -1 x) 0.253)) in x 2.112 * [taylor]: Taking taylor expansion of (fma (- 0.12) (/ -1 x) (/ -0.12 x)) in x 2.112 * [taylor]: Rewrote expression to (+ (* (- 0.12) (/ -1 x)) (/ -0.12 x)) 2.112 * [taylor]: Taking taylor expansion of (* (- 0.12) (/ -1 x)) in x 2.112 * [taylor]: Taking taylor expansion of (- 0.12) in x 2.112 * [taylor]: Taking taylor expansion of 0.12 in x 2.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.112 * [taylor]: Taking taylor expansion of -1 in x 2.112 * [taylor]: Taking taylor expansion of x in x 2.112 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 2.112 * [taylor]: Taking taylor expansion of -0.12 in x 2.112 * [taylor]: Taking taylor expansion of x in x 2.112 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 2.113 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 2.113 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 2.113 * [taylor]: Taking taylor expansion of 0.12 in x 2.113 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.113 * [taylor]: Taking taylor expansion of -1 in x 2.113 * [taylor]: Taking taylor expansion of x in x 2.113 * [taylor]: Taking taylor expansion of 0.253 in x 2.113 * [taylor]: Taking taylor expansion of (* x (+ (* 0.12 (/ 1 x)) 0.253)) in x 2.113 * [taylor]: Taking taylor expansion of x in x 2.113 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 2.113 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.113 * [taylor]: Taking taylor expansion of 0.12 in x 2.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.113 * [taylor]: Taking taylor expansion of x in x 2.113 * [taylor]: Taking taylor expansion of 0.253 in x 2.228 * * * [progress]: simplifying candidates 2.231 * [simplify]: Simplifying using # : (expm1 (fma (- 0.12) x (* 0.12 x))) (log1p (fma (- 0.12) x (* 0.12 x))) (* (- 0.12) x) (log (fma (- 0.12) x (* 0.12 x))) (exp (fma (- 0.12) x (* 0.12 x))) (* (cbrt (fma (- 0.12) x (* 0.12 x))) (cbrt (fma (- 0.12) x (* 0.12 x)))) (cbrt (fma (- 0.12) x (* 0.12 x))) (* (* (fma (- 0.12) x (* 0.12 x)) (fma (- 0.12) x (* 0.12 x))) (fma (- 0.12) x (* 0.12 x))) (sqrt (fma (- 0.12) x (* 0.12 x))) (sqrt (fma (- 0.12) x (* 0.12 x))) (expm1 (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (log1p (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (- (log (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (log (- 0.253 (* x 0.12)))) (log (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (exp (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (/ (* (* (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (* (* (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (- (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (- (- 0.253 (* x 0.12))) (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (- 0.253 (* x 0.12)))) (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (sqrt (- 0.253 (* x 0.12)))) (/ (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12)))) (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) 1) (/ (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (- 0.253 (* x 0.12))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (- 0.253 (* x 0.12)))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12)))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12)))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) 1) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (- 0.253 (* x 0.12))) (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (cbrt (- 0.253 (* x 0.12)))) (/ 1 (sqrt (- 0.253 (* x 0.12)))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (sqrt (- 0.253 (* x 0.12)))) (/ 1 1) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))) (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))) (cbrt (- 0.253 (* x 0.12)))) (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (/ (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))) (sqrt (- 0.253 (* x 0.12)))) (/ (fma 0.12 x 0.253) 1) (/ (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))) (- 0.253 (* x 0.12))) (/ 1 (- 0.253 (* x 0.12))) (/ (- 0.253 (* x 0.12)) (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (sqrt (- 0.253 (* x 0.12)))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) 1) (/ (- 0.253 (* x 0.12)) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (/ (- 0.253 (* x 0.12)) (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (/ (- 0.253 (* x 0.12)) (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (/ (- 0.253 (* x 0.12)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- (pow 0.253 3) (pow (* x 0.12) 3))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* (- 0.253 (* x 0.12)) (+ (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (- (* (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))))) (* (- 0.253 (* x 0.12)) (- (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (expm1 (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log1p (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (+ (log (fma 0.12 x 0.253)) (log (- 0.253 (* x 0.12)))) (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (exp (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253)) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (fma (sqrt 0.253) (sqrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (fma 1 0.253 (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x))) (fma 0.12 x 0.253)) (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* (fma (sqrt 0.253) (sqrt 0.253) (- (* 0.12 x))) (fma 0.12 x 0.253)) (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* (fma 1 0.253 (- (* 0.12 x))) (fma 0.12 x 0.253)) (* (fma (- 0.12) x (* 0.12 x)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253)) (* (- (* x 0.12)) (fma 0.12 x 0.253)) (* 0.253 (fma 0.12 x 0.253)) (* (- (* x 0.12)) (fma 0.12 x 0.253)) (* (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (* (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) 1) (* (cbrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (sqrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- (pow 0.253 3) (pow (* x 0.12) 3))) (* (fma 0.12 x 0.253) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (expm1 (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (log1p (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (+ (log x) (- (log (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (log (- 0.253 (* x 0.12))))) (+ (log x) (log (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (log (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (exp (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (* (* x x) x) (/ (* (* (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (* (* x x) x) (* (* (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (cbrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (cbrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))))) (cbrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (* (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12))))) (* x (* (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))))) (* x (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* x (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (sqrt (- 0.253 (* x 0.12))))) (* x (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) 1)) (* x (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12))))) (* x (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) 1)) (* x (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ 1 (sqrt (- 0.253 (* x 0.12))))) (* x (/ 1 1)) (* x (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12))))) (* x (/ (fma 0.12 x 0.253) 1)) (* x 1) (* x (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- (pow 0.253 3) (pow (* x 0.12) 3)))) (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))) (* (cbrt x) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (* (sqrt x) (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (* x (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) 0 0 0 (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) 2.240 * * [simplify]: iteration 0 : 448 enodes (cost 1692 ) 2.250 * * [simplify]: iteration 1 : 2476 enodes (cost 1494 ) 2.301 * * [simplify]: iteration 2 : 5001 enodes (cost 1472 ) 2.310 * [simplify]: Simplified to: (expm1 (fma (- 0.12) x (* 0.12 x))) (log1p (fma (- 0.12) x (* 0.12 x))) (- (* 0.12 x)) (log (fma (- 0.12) x (* 0.12 x))) (exp (fma (- 0.12) x (* 0.12 x))) (* (cbrt (fma (- 0.12) x (* 0.12 x))) (cbrt (fma (- 0.12) x (* 0.12 x)))) (cbrt (fma (- 0.12) x (* 0.12 x))) (pow (fma (- 0.12) x (* 0.12 x)) 3) (sqrt (fma (- 0.12) x (* 0.12 x))) (sqrt (fma (- 0.12) x (* 0.12 x))) (expm1 (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (log1p (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (- (log (fma 0.12 x 0.253)) (log (/ (- 0.253 (* x 0.12)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))))) (- (log (fma 0.12 x 0.253)) (log (/ (- 0.253 (* x 0.12)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))))) (exp (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (pow (/ (fma 0.12 x 0.253) (/ (- 0.253 (* x 0.12)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) 3) (* (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (pow (/ (fma 0.12 x 0.253) (/ (- 0.253 (* x 0.12)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) 3) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (* (- (fma 0.12 x 0.253)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) (- (- 0.253 (* x 0.12))) (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (- 0.253 (* x 0.12)))) (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (sqrt (- 0.253 (* x 0.12)))) (/ (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12)))) (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (/ (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (- 0.253 (* x 0.12))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (- 0.253 (* x 0.12)))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12)))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12)))) (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (- 0.253 (* x 0.12))) (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (fma 0.12 x 0.253) (/ (cbrt (- 0.253 (* x 0.12))) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) (/ 1 (sqrt (- 0.253 (* x 0.12)))) (/ (fma 0.12 x 0.253) (/ (sqrt (- 0.253 (* x 0.12))) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) 1 (/ (fma 0.12 x 0.253) (/ (- 0.253 (* x 0.12)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))) (cbrt (- 0.253 (* x 0.12)))) (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (/ (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))) (sqrt (- 0.253 (* x 0.12)))) (fma 0.12 x 0.253) (/ (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))) (- 0.253 (* x 0.12))) (/ 1 (- 0.253 (* x 0.12))) (/ (/ (- 0.253 (* x 0.12)) (fma 0.12 x 0.253)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) (* (/ (fma x (+ (- 0.12) 0.12) (- 0.253 (* x 0.12))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (fma 0.12 x 0.253)) (/ (fma 0.12 x 0.253) (/ (sqrt (- 0.253 (* x 0.12))) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) (/ (- 0.253 (* x 0.12)) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (/ (- 0.253 (* x 0.12)) (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (/ (/ (- 0.253 (* x 0.12)) (fma 0.12 x 0.253)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) (/ (- 0.253 (* x 0.12)) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) (* (/ (fma x (+ (- 0.12) 0.12) (- 0.253 (* x 0.12))) (- (pow 0.253 3) (pow (* x 0.12) 3))) (fma 0.12 x 0.253)) (* (fma 0.12 x 0.253) (/ (fma x (+ (- 0.12) 0.12) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (fma (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (pow (- 0.253 (* x 0.12)) 3) (* (* (- 0.253 (* x 0.12)) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (* (fma 0.12 x 0.253) (- (fma (- 0.12) x (* 0.12 x)) (- 0.253 (* x 0.12)))))) (* (* (fma 0.12 x 0.253) (- (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))) (expm1 (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log1p (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (log (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (exp (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (pow (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) 3) (* (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (pow (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) 3) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (sqrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (sqrt (fma 0.12 x 0.253)) (sqrt (- 0.253 (* x 0.12)))) (* (fma 0.12 x 0.253) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) (fma (* (cbrt 0.253) (cbrt 0.253)) (cbrt 0.253) (- (* 0.12 x)))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) 0.253) (* (fma 0.12 x 0.253) (- (* x 0.12))) (* (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (* (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12)))) (fma 0.12 x 0.253) (* (cbrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (sqrt (fma 0.12 x 0.253)) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- (pow 0.253 3) (pow (* x 0.12) 3))) (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (fma 0.12 x 0.253)) (expm1 (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (log1p (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (/ (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (- 0.253 (* x 0.12))) (- (log (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x)) (log (- 0.253 (* x 0.12)))) (- (log (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x)) (log (- 0.253 (* x 0.12)))) (- (log (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x)) (log (- 0.253 (* x 0.12)))) (pow (exp 1) (/ (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (- 0.253 (* x 0.12)))) (pow (/ (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (- 0.253 (* x 0.12))) 3) (pow (/ (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (- 0.253 (* x 0.12))) 3) (* (cbrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (cbrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))))) (cbrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (pow (/ (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (- 0.253 (* x 0.12))) 3) (sqrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12))))) (* x (* (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))) (cbrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12)))))) (* x (sqrt (/ (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))) (- 0.253 (* x 0.12))))) (* x (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) (sqrt (- 0.253 (* x 0.12))))) (* (* (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (cbrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x)))))) x) (* x (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) (sqrt (- 0.253 (* x 0.12))))) (* (sqrt (+ (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (fma (- 0.12) x (* 0.12 x))))) x) (/ x (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ x (sqrt (- 0.253 (* x 0.12)))) x (* x (/ (fma 0.12 x 0.253) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (fma 0.12 x 0.253) (sqrt (- 0.253 (* x 0.12))))) (* (fma 0.12 x 0.253) x) x (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (/ (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (- (pow 0.253 3) (pow (* x 0.12) 3))) (* (* (fma 0.12 x 0.253) x) (/ (fma x (+ (- 0.12) 0.12) (- 0.253 (* x 0.12))) (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (/ (* (cbrt x) (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) (- 0.253 (* x 0.12))) (/ (* (sqrt x) (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x))))) (- 0.253 (* x 0.12))) (/ (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) (- 0.253 (* x 0.12))) (* (* (fma 0.12 x 0.253) (+ (- 0.253 (* x 0.12)) (fma (- 0.12) x (* 0.12 x)))) x) 0 0 0 (fma 0.12 x 0.253) (fma 0.12 x 0.253) (fma 0.12 x 0.253) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2))) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) 2.311 * * * [progress]: adding candidates to table 2.689 * [progress]: [Phase 3 of 3] Extracting. 2.689 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 2.691 * * * [regime-changes]: Trying 3 branch expressions: ((* x (+ 0.253 (* x 0.12))) (- 1.0 (* x (+ 0.253 (* x 0.12)))) x) 2.691 * * * * [regimes]: Trying to branch on (* x (+ 0.253 (* x 0.12))) from (# # # # # # # # #) 2.718 * * * * [regimes]: Trying to branch on (- 1.0 (* x (+ 0.253 (* x 0.12)))) from (# # # # # # # # #) 2.747 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 2.777 * * * [regime]: Found split indices: #