4.974 * [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.027 * * [simplify]: iteration 5 : 224 enodes (cost 3 ) 0.030 * * [simplify]: iteration 6 : 359 enodes (cost 3 ) 0.035 * * [simplify]: iteration 7 : 666 enodes (cost 3 ) 0.039 * * [simplify]: iteration 8 : 763 enodes (cost 3 ) 0.043 * * [simplify]: iteration 9 : 763 enodes (cost 3 ) 0.043 * [simplify]: Simplified to: (fma (- x) (fma 0.12 x 0.253) 1.0) 0.045 * * [progress]: iteration 1 / 4 0.045 * * * [progress]: picking best candidate 0.048 * * * * [pick]: Picked # 0.048 * * * [progress]: localizing error 0.054 * * * [progress]: generating rewritten candidates 0.054 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.061 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.066 * * * [progress]: generating series expansions 0.067 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.067 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 0.067 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.067 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.067 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.067 * [taylor]: Taking taylor expansion of 0.12 in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of 0.253 in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.067 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.067 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.067 * [taylor]: Taking taylor expansion of 0.12 in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of 0.253 in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.085 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 0.085 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.085 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.085 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.085 * [taylor]: Taking taylor expansion of 0.12 in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of 0.253 in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.086 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.086 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.086 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.086 * [taylor]: Taking taylor expansion of 0.12 in x 0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of 0.253 in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.102 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.102 * [taylor]: Taking taylor expansion of -1 in x 0.102 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.102 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.102 * [taylor]: Taking taylor expansion of 0.253 in x 0.102 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.103 * [taylor]: Taking taylor expansion of 0.12 in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.104 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.104 * [taylor]: Taking taylor expansion of -1 in x 0.104 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.104 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.104 * [taylor]: Taking taylor expansion of 0.253 in x 0.105 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.105 * [taylor]: Taking taylor expansion of 0.12 in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.130 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.130 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 0.130 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.130 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.130 * [taylor]: Taking taylor expansion of 0.12 in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of 0.253 in x 0.130 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.130 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.130 * [taylor]: Taking taylor expansion of 0.12 in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of 0.253 in x 0.137 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.138 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.138 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.138 * [taylor]: Taking taylor expansion of 0.12 in x 0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of 0.253 in x 0.138 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.138 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.138 * [taylor]: Taking taylor expansion of 0.12 in x 0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of 0.253 in x 0.151 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.152 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.152 * [taylor]: Taking taylor expansion of 0.253 in x 0.152 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.152 * [taylor]: Taking taylor expansion of 0.12 in x 0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.152 * [taylor]: Taking taylor expansion of x in x 0.152 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.152 * [taylor]: Taking taylor expansion of 0.253 in x 0.152 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.152 * [taylor]: Taking taylor expansion of 0.12 in x 0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.152 * [taylor]: Taking taylor expansion of x in x 0.165 * * * [progress]: simplifying candidates 0.165 * [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.169 * * [simplify]: iteration 0 : 175 enodes (cost 184 ) 0.173 * * [simplify]: iteration 1 : 809 enodes (cost 150 ) 0.193 * * [simplify]: iteration 2 : 4290 enodes (cost 148 ) 0.281 * * [simplify]: iteration 3 : 5001 enodes (cost 148 ) 0.282 * [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.282 * * * [progress]: adding candidates to table 0.371 * * [progress]: iteration 2 / 4 0.371 * * * [progress]: picking best candidate 0.381 * * * * [pick]: Picked # 0.381 * * * [progress]: localizing error 0.386 * * * [progress]: generating rewritten candidates 0.386 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.390 * * * [progress]: generating series expansions 0.390 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.390 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.390 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.390 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.390 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.390 * [taylor]: Taking taylor expansion of 0.12 in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of 0.253 in x 0.390 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.390 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.390 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.391 * [taylor]: Taking taylor expansion of 0.12 in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of 0.253 in x 0.408 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 0.408 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.408 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.408 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.408 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.408 * [taylor]: Taking taylor expansion of 0.12 in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [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 x in x 0.409 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.410 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.410 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.410 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.410 * [taylor]: Taking taylor expansion of 0.12 in x 0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of 0.253 in x 0.410 * [taylor]: Taking taylor expansion of x in x 0.426 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 0.426 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.426 * [taylor]: Taking taylor expansion of -1 in x 0.426 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.426 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.426 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.426 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.426 * [taylor]: Taking taylor expansion of 0.12 in x 0.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.426 * [taylor]: Taking taylor expansion of -1 in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.426 * [taylor]: Taking taylor expansion of 0.253 in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.427 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.427 * [taylor]: Taking taylor expansion of -1 in x 0.427 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 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 x in x 0.454 * * * [progress]: simplifying candidates 0.455 * [simplify]: Simplifying using # : (expm1 (* x (fma 0.12 x 0.253))) (log1p (* x (fma 0.12 x 0.253))) (* x (fma 0.12 x 0.253)) (+ (log x) (log (fma 0.12 x 0.253))) (log (* x (fma 0.12 x 0.253))) (exp (* x (fma 0.12 x 0.253))) (* (* (* x x) x) (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253))) (* (cbrt (* x (fma 0.12 x 0.253))) (cbrt (* x (fma 0.12 x 0.253)))) (cbrt (* x (fma 0.12 x 0.253))) (* (* (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253))) (* x (fma 0.12 x 0.253))) (sqrt (* x (fma 0.12 x 0.253))) (sqrt (* x (fma 0.12 x 0.253))) (* (sqrt x) (sqrt (fma 0.12 x 0.253))) (* (sqrt x) (sqrt (fma 0.12 x 0.253))) (* x (* 0.12 x)) (* x 0.253) (* (* 0.12 x) x) (* 0.253 x) (* x (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* x (sqrt (fma 0.12 x 0.253))) (* x 1) (* (cbrt x) (fma 0.12 x 0.253)) (* (sqrt x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (+ (* 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.458 * * [simplify]: iteration 0 : 82 enodes (cost 89 ) 0.461 * * [simplify]: iteration 1 : 345 enodes (cost 76 ) 0.469 * * [simplify]: iteration 2 : 1707 enodes (cost 76 ) 0.502 * * [simplify]: iteration 3 : 5003 enodes (cost 76 ) 0.503 * [simplify]: Simplified to: (expm1 (* x (fma 0.12 x 0.253))) (log1p (* x (fma 0.12 x 0.253))) (* x (fma 0.12 x 0.253)) (log (* x (fma 0.12 x 0.253))) (log (* x (fma 0.12 x 0.253))) (exp (* x (fma 0.12 x 0.253))) (pow (* x (fma 0.12 x 0.253)) 3) (* (cbrt (* x (fma 0.12 x 0.253))) (cbrt (* x (fma 0.12 x 0.253)))) (cbrt (* x (fma 0.12 x 0.253))) (pow (* x (fma 0.12 x 0.253)) 3) (sqrt (* x (fma 0.12 x 0.253))) (sqrt (* x (fma 0.12 x 0.253))) (* (sqrt (fma 0.12 x 0.253)) (pow x 1/2)) (* (sqrt (fma 0.12 x 0.253)) (pow x 1/2)) (* x (* 0.12 x)) (* x 0.253) (* x (* 0.12 x)) (* x 0.253) (* x (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* x (sqrt (fma 0.12 x 0.253))) x (* (cbrt x) (fma 0.12 x 0.253)) (* (sqrt x) (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253)) 0.504 * * * [progress]: adding candidates to table 0.538 * * [progress]: iteration 3 / 4 0.538 * * * [progress]: picking best candidate 0.547 * * * * [pick]: Picked # 0.547 * * * [progress]: localizing error 0.556 * * * [progress]: generating rewritten candidates 0.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.565 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.573 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.588 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 0.593 * * * [progress]: generating series expansions 0.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.593 * [approximate]: Taking taylor expansion of (fma 0.12 x 0.253) in (x) around 0 0.593 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.593 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.593 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.593 * [taylor]: Taking taylor expansion of 0.12 in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of 0.253 in x 0.593 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.593 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.593 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.593 * [taylor]: Taking taylor expansion of 0.12 in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of 0.253 in x 0.601 * [approximate]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in (x) around 0 0.601 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.601 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.601 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.601 * [taylor]: Taking taylor expansion of 0.12 in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of 0.253 in x 0.602 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.602 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.602 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.602 * [taylor]: Taking taylor expansion of 0.12 in x 0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.602 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of 0.253 in x 0.616 * [approximate]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in (x) around 0 0.616 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.616 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.616 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.616 * [taylor]: Taking taylor expansion of 0.12 in x 0.616 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.616 * [taylor]: Taking taylor expansion of -1 in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of 0.253 in x 0.617 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.617 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.617 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.617 * [taylor]: Taking taylor expansion of 0.12 in x 0.617 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.617 * [taylor]: Taking taylor expansion of -1 in x 0.617 * [taylor]: Taking taylor expansion of x in x 0.617 * [taylor]: Taking taylor expansion of 0.253 in x 0.628 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.628 * [approximate]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in (x) around 0 0.628 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 0.628 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.628 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.628 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.628 * [taylor]: Taking taylor expansion of 0.12 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.253 (* 0.12 x)) in x 0.628 * [taylor]: Taking taylor expansion of 0.253 in x 0.628 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.628 * [taylor]: Taking taylor expansion of 0.12 in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 0.628 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.628 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.628 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.628 * [taylor]: Taking taylor expansion of 0.12 in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of 0.253 in x 0.629 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.629 * [taylor]: Taking taylor expansion of 0.253 in x 0.629 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.629 * [taylor]: Taking taylor expansion of 0.12 in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.657 * [approximate]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in (x) around 0 0.658 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 0.658 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.658 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.658 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.658 * [taylor]: Taking taylor expansion of 0.12 in x 0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [taylor]: Taking taylor expansion of 0.253 in x 0.658 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.658 * [taylor]: Taking taylor expansion of 0.253 in x 0.658 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.658 * [taylor]: Taking taylor expansion of 0.12 in x 0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 0.658 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.659 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.659 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.659 * [taylor]: Taking taylor expansion of 0.12 in x 0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.659 * [taylor]: Taking taylor expansion of 0.253 in x 0.659 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.659 * [taylor]: Taking taylor expansion of 0.253 in x 0.659 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.659 * [taylor]: Taking taylor expansion of 0.12 in x 0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.697 * [approximate]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in (x) around 0 0.697 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 0.698 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.698 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.698 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.698 * [taylor]: Taking taylor expansion of 0.12 in x 0.698 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.698 * [taylor]: Taking taylor expansion of -1 in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of 0.253 in x 0.698 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.698 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of 0.12 in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of 0.253 in x 0.698 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 0.698 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.699 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.699 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.699 * [taylor]: Taking taylor expansion of 0.12 in x 0.699 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.699 * [taylor]: Taking taylor expansion of -1 in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of 0.253 in x 0.699 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.699 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.699 * [taylor]: Taking taylor expansion of 0.12 in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of 0.253 in x 0.733 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.733 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.733 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.733 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.733 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.733 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.733 * [taylor]: Taking taylor expansion of 0.12 in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.733 * [taylor]: Taking taylor expansion of 0.253 in x 0.733 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.733 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.733 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.733 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.733 * [taylor]: Taking taylor expansion of 0.12 in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.733 * [taylor]: Taking taylor expansion of 0.253 in x 0.750 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 0.750 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.750 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.751 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.751 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.751 * [taylor]: Taking taylor expansion of 0.12 in x 0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of 0.253 in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.752 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.752 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.752 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.752 * [taylor]: Taking taylor expansion of 0.12 in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of 0.253 in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.772 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 0.772 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.772 * [taylor]: Taking taylor expansion of -1 in x 0.772 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.772 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.772 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.772 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.772 * [taylor]: Taking taylor expansion of 0.12 in x 0.772 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.772 * [taylor]: Taking taylor expansion of -1 in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.773 * [taylor]: Taking taylor expansion of 0.253 in x 0.773 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.774 * [taylor]: Taking taylor expansion of -1 in x 0.774 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.774 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.774 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.774 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.774 * [taylor]: Taking taylor expansion of 0.12 in x 0.774 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.774 * [taylor]: Taking taylor expansion of -1 in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of 0.253 in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.797 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 0.797 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in (x) around 0 0.797 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.797 * [taylor]: Taking taylor expansion of 0.253 in x 0.797 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.797 * [taylor]: Taking taylor expansion of 0.12 in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 0.797 * [taylor]: Taking taylor expansion of 0.253 in x 0.797 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.797 * [taylor]: Taking taylor expansion of 0.12 in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.807 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.808 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.808 * [taylor]: Taking taylor expansion of 0.253 in x 0.808 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.808 * [taylor]: Taking taylor expansion of 0.12 in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.808 * [taylor]: Taking taylor expansion of 0.253 in x 0.808 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.808 * [taylor]: Taking taylor expansion of 0.12 in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.821 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.821 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.822 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.822 * [taylor]: Taking taylor expansion of 0.12 in x 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of 0.253 in x 0.822 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.822 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.822 * [taylor]: Taking taylor expansion of 0.12 in x 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of 0.253 in x 0.833 * * * [progress]: simplifying candidates 0.834 * [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.841 * * [simplify]: iteration 0 : 379 enodes (cost 867 ) 0.851 * * [simplify]: iteration 1 : 2372 enodes (cost 588 ) 0.911 * * [simplify]: iteration 2 : 5002 enodes (cost 588 ) 0.918 * [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.918 * * * [progress]: adding candidates to table 1.163 * * [progress]: iteration 4 / 4 1.163 * * * [progress]: picking best candidate 1.172 * * * * [pick]: Picked # 1.173 * * * [progress]: localizing error 1.184 * * * [progress]: generating rewritten candidates 1.184 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.199 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 1.204 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.212 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 1.218 * * * [progress]: generating series expansions 1.218 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.218 * [approximate]: Taking taylor expansion of (/ (* x (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* 0.12 x))) in (x) around 0 1.218 * [taylor]: Taking taylor expansion of (/ (* x (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* 0.12 x))) in x 1.218 * [taylor]: Taking taylor expansion of (* x (- 0.064009 (* 0.0144 (pow x 2)))) in x 1.218 * [taylor]: Taking taylor expansion of x in x 1.218 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x 1.218 * [taylor]: Taking taylor expansion of 0.064009 in x 1.218 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x 1.218 * [taylor]: Taking taylor expansion of 0.0144 in x 1.218 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.218 * [taylor]: Taking taylor expansion of x in x 1.218 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.218 * [taylor]: Taking taylor expansion of 0.253 in x 1.218 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.218 * [taylor]: Taking taylor expansion of 0.12 in x 1.218 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of (/ (* x (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* 0.12 x))) in x 1.221 * [taylor]: Taking taylor expansion of (* x (- 0.064009 (* 0.0144 (pow x 2)))) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x 1.221 * [taylor]: Taking taylor expansion of 0.064009 in x 1.221 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x 1.221 * [taylor]: Taking taylor expansion of 0.0144 in x 1.221 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.221 * [taylor]: Taking taylor expansion of 0.253 in x 1.221 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.221 * [taylor]: Taking taylor expansion of 0.12 in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.265 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in (x) around 0 1.265 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in x 1.265 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.265 * [taylor]: Taking taylor expansion of 0.064009 in x 1.265 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.265 * [taylor]: Taking taylor expansion of 0.0144 in x 1.265 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.265 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.265 * [taylor]: Taking taylor expansion of (* x (- 0.253 (* 0.12 (/ 1 x)))) in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.265 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.265 * [taylor]: Taking taylor expansion of 0.253 in x 1.265 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.265 * [taylor]: Taking taylor expansion of 0.12 in x 1.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.271 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in x 1.271 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.271 * [taylor]: Taking taylor expansion of 0.064009 in x 1.271 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.271 * [taylor]: Taking taylor expansion of 0.0144 in x 1.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.271 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (* x (- 0.253 (* 0.12 (/ 1 x)))) in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.272 * [taylor]: Taking taylor expansion of 0.253 in x 1.272 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.272 * [taylor]: Taking taylor expansion of 0.12 in x 1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.325 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in (x) around 0 1.325 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in x 1.325 * [taylor]: Taking taylor expansion of -1 in x 1.325 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253))) in x 1.325 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.325 * [taylor]: Taking taylor expansion of 0.064009 in x 1.325 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.325 * [taylor]: Taking taylor expansion of 0.0144 in x 1.325 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.325 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.325 * [taylor]: Taking taylor expansion of x in x 1.325 * [taylor]: Taking taylor expansion of (* x (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.325 * [taylor]: Taking taylor expansion of x in x 1.325 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.326 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.326 * [taylor]: Taking taylor expansion of 0.12 in x 1.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of 0.253 in x 1.330 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in x 1.330 * [taylor]: Taking taylor expansion of -1 in x 1.330 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253))) in x 1.330 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.330 * [taylor]: Taking taylor expansion of 0.064009 in x 1.330 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.330 * [taylor]: Taking taylor expansion of 0.0144 in x 1.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.330 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.330 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of (* x (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.331 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.331 * [taylor]: Taking taylor expansion of 0.12 in x 1.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of 0.253 in x 1.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 1.384 * [approximate]: Taking taylor expansion of (* 0.0144 (pow x 2)) in (x) around 0 1.384 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x 1.384 * [taylor]: Taking taylor expansion of 0.0144 in x 1.384 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.384 * [taylor]: Taking taylor expansion of x in x 1.384 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x 1.384 * [taylor]: Taking taylor expansion of 0.0144 in x 1.384 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.384 * [taylor]: Taking taylor expansion of x in x 1.395 * [approximate]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in (x) around 0 1.395 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x 1.395 * [taylor]: Taking taylor expansion of 0.0144 in x 1.395 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.395 * [taylor]: Taking taylor expansion of x in x 1.396 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x 1.396 * [taylor]: Taking taylor expansion of 0.0144 in x 1.396 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.403 * [approximate]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in (x) around 0 1.403 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x 1.403 * [taylor]: Taking taylor expansion of 0.0144 in x 1.403 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x 1.404 * [taylor]: Taking taylor expansion of 0.0144 in x 1.404 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.412 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.412 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in (x) around 0 1.412 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in x 1.412 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x 1.412 * [taylor]: Taking taylor expansion of 0.064009 in x 1.412 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x 1.412 * [taylor]: Taking taylor expansion of 0.0144 in x 1.412 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.412 * [taylor]: Taking taylor expansion of 0.253 in x 1.412 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.412 * [taylor]: Taking taylor expansion of 0.12 in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.414 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in x 1.414 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x 1.414 * [taylor]: Taking taylor expansion of 0.064009 in x 1.414 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x 1.414 * [taylor]: Taking taylor expansion of 0.0144 in x 1.414 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.414 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.414 * [taylor]: Taking taylor expansion of 0.253 in x 1.414 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.414 * [taylor]: Taking taylor expansion of 0.12 in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.443 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in (x) around 0 1.443 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in x 1.443 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.443 * [taylor]: Taking taylor expansion of 0.064009 in x 1.443 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.443 * [taylor]: Taking taylor expansion of 0.0144 in x 1.443 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.443 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.443 * [taylor]: Taking taylor expansion of x in x 1.444 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.444 * [taylor]: Taking taylor expansion of 0.253 in x 1.444 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.444 * [taylor]: Taking taylor expansion of 0.12 in x 1.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.444 * [taylor]: Taking taylor expansion of x in x 1.447 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in x 1.447 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.447 * [taylor]: Taking taylor expansion of 0.064009 in x 1.447 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.447 * [taylor]: Taking taylor expansion of 0.0144 in x 1.447 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.447 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.448 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.448 * [taylor]: Taking taylor expansion of 0.253 in x 1.448 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.448 * [taylor]: Taking taylor expansion of 0.12 in x 1.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.448 * [taylor]: Taking taylor expansion of x in x 1.489 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (+ (* 0.12 (/ 1 x)) 0.253)) in (x) around 0 1.490 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.490 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.490 * [taylor]: Taking taylor expansion of 0.064009 in x 1.490 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.490 * [taylor]: Taking taylor expansion of 0.0144 in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.490 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.490 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.490 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.490 * [taylor]: Taking taylor expansion of 0.12 in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.491 * [taylor]: Taking taylor expansion of 0.253 in x 1.493 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (+ (* 0.12 (/ 1 x)) 0.253)) in x 1.493 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x 1.493 * [taylor]: Taking taylor expansion of 0.064009 in x 1.493 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x 1.493 * [taylor]: Taking taylor expansion of 0.0144 in x 1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.493 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.493 * [taylor]: Taking taylor expansion of x in x 1.493 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.493 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.493 * [taylor]: Taking taylor expansion of 0.12 in x 1.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.493 * [taylor]: Taking taylor expansion of x in x 1.494 * [taylor]: Taking taylor expansion of 0.253 in x 1.529 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 1.529 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in (x) around 0 1.529 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.529 * [taylor]: Taking taylor expansion of 0.253 in x 1.529 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.529 * [taylor]: Taking taylor expansion of 0.12 in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.529 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 1.529 * [taylor]: Taking taylor expansion of 0.253 in x 1.530 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 1.530 * [taylor]: Taking taylor expansion of 0.12 in x 1.530 * [taylor]: Taking taylor expansion of x in x 1.539 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 1.539 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.540 * [taylor]: Taking taylor expansion of 0.253 in x 1.540 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.540 * [taylor]: Taking taylor expansion of 0.12 in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 1.540 * [taylor]: Taking taylor expansion of 0.253 in x 1.540 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.540 * [taylor]: Taking taylor expansion of 0.12 in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.556 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 1.556 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.556 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.556 * [taylor]: Taking taylor expansion of 0.12 in x 1.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [taylor]: Taking taylor expansion of 0.253 in x 1.556 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 1.556 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 1.556 * [taylor]: Taking taylor expansion of 0.12 in x 1.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [taylor]: Taking taylor expansion of 0.253 in x 1.567 * * * [progress]: simplifying candidates 1.569 * [simplify]: Simplifying using # : (expm1 (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (log1p (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (+ (log x) (- (log (- 0.064009 (* 0.0144 (pow x 2)))) (log (- 0.253 (* x 0.12))))) (+ (log x) (log (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (log (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (exp (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (* (* x x) x) (/ (* (* (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.064009 (* 0.0144 (pow x 2)))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))) (* (* (* x x) x) (* (* (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (cbrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (cbrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))))) (cbrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (* (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12))))) (* x (* (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))))) (* x (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* x (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (sqrt (- 0.253 (* x 0.12))))) (* x (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) 1)) (* x (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12))))) (* x (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) 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 1) (* x (- 0.064009 (* 0.0144 (pow x 2)))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- (pow 0.253 3) (pow (* x 0.12) 3)))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))) (* (cbrt x) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* (sqrt x) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* x (- 0.064009 (* 0.0144 (pow x 2)))) (expm1 (* 0.0144 (pow x 2))) (log1p (* 0.0144 (pow x 2))) (+ (log 0.0144) (* (log x) 2)) (+ (log 0.0144) (* (log x) 2)) (+ (log 0.0144) (log (pow x 2))) (log (* 0.0144 (pow x 2))) (exp (* 0.0144 (pow x 2))) (* (* (* 0.0144 0.0144) 0.0144) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 0.0144 (pow x 2))) (cbrt (* 0.0144 (pow x 2)))) (cbrt (* 0.0144 (pow x 2))) (* (* (* 0.0144 (pow x 2)) (* 0.0144 (pow x 2))) (* 0.0144 (pow x 2))) (sqrt (* 0.0144 (pow x 2))) (sqrt (* 0.0144 (pow x 2))) (* (sqrt 0.0144) (pow (sqrt x) 2)) (* (sqrt 0.0144) (pow (sqrt x) 2)) (* (sqrt 0.0144) x) (* (sqrt 0.0144) x) (* (sqrt 0.0144) (sqrt (pow x 2))) (* (sqrt 0.0144) (sqrt (pow x 2))) (* (sqrt 0.0144) (pow x (/ 2 2))) (* (sqrt 0.0144) (pow x (/ 2 2))) (* 0.0144 (pow (* (cbrt x) (cbrt x)) 2)) (* 0.0144 (pow (sqrt x) 2)) (* 0.0144 (pow 1 2)) (* 0.0144 x) (* 0.0144 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 0.0144 (sqrt (pow x 2))) (* 0.0144 1) (* 0.0144 (pow x (/ 2 2))) (* (cbrt 0.0144) (pow x 2)) (* (sqrt 0.0144) (pow x 2)) (* 0.0144 (pow x 2)) (expm1 (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (log1p (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (- (log (- 0.064009 (* 0.0144 (pow x 2)))) (log (- 0.253 (* x 0.12)))) (log (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (exp (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (/ (* (* (- 0.064009 (* 0.0144 (pow x 2))) (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.064009 (* 0.0144 (pow x 2)))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))) (* (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* (* (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (- (- 0.064009 (* 0.0144 (pow x 2)))) (- (- 0.253 (* x 0.12))) (/ 0.064009 (- 0.253 (* x 0.12))) (/ (* 0.0144 (pow x 2)) (- 0.253 (* x 0.12))) (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.253 (* x 0.12)))) (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (sqrt (- 0.253 (* x 0.12)))) (/ (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12)))) (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) 1) (/ (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* x 0.12))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.253 (* x 0.12)))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12)))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12)))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) 1) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* x 0.12))) (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (cbrt (- 0.253 (* x 0.12)))) (/ 1 (sqrt (- 0.253 (* x 0.12)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (sqrt (- 0.253 (* x 0.12)))) (/ 1 1) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))) (/ 1 (- 0.253 (* x 0.12))) (/ (- 0.253 (* x 0.12)) (- 0.064009 (* 0.0144 (pow x 2)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (sqrt (- 0.253 (* x 0.12)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) 1) (/ (- 0.253 (* x 0.12)) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (/ (- 0.253 (* x 0.12)) (sqrt (- 0.064009 (* 0.0144 (pow x 2))))) (/ (- 0.253 (* x 0.12)) (- 0.064009 (* 0.0144 (pow x 2)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- (pow 0.253 3) (pow (* x 0.12) 3))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (* (- 0.253 (* x 0.12)) (+ (* 0.064009 0.064009) (+ (* (* 0.0144 (pow x 2)) (* 0.0144 (pow x 2))) (* 0.064009 (* 0.0144 (pow x 2)))))) (* (- 0.253 (* x 0.12)) (+ 0.064009 (* 0.0144 (pow x 2)))) (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 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (* 0.0144 (pow x 2)) (* 0.0144 (pow x 2)) (* 0.0144 (pow x 2)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) (- 0.253 (* 0.12 x)) 1.577 * * [simplify]: iteration 0 : 451 enodes (cost 924 ) 1.587 * * [simplify]: iteration 1 : 2128 enodes (cost 822 ) 1.634 * * [simplify]: iteration 2 : 5001 enodes (cost 822 ) 1.638 * [simplify]: Simplified to: (expm1 (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (log1p (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (log (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (log (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (log (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (exp (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (pow (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) 3) (pow (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) 3) (* (cbrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (cbrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))))) (cbrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (pow (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) 3) (sqrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (sqrt (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (sqrt x) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12))))) (* (sqrt x) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12))))) (* x (* (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))))) (* x (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (* x (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (sqrt (- 0.253 (* x 0.12))))) (* (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) x) (* x (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))) (* x (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12))))) (* (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) x) (/ x (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ x (sqrt (- 0.253 (* x 0.12)))) x x (* x (- 0.064009 (* 0.0144 (pow x 2)))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- (pow 0.253 3) (pow (* x 0.12) 3)))) (* (/ (- 0.064009 (* 0.0144 (pow x 2))) (fma 0.12 x 0.253)) (/ x (- 0.253 (* 0.12 x)))) (* (cbrt x) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* (sqrt x) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* x (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (* x (- 0.064009 (* 0.0144 (pow x 2)))) (expm1 (* 0.0144 (pow x 2))) (log1p (* 0.0144 (pow x 2))) (log (* 0.0144 (pow x 2))) (log (* 0.0144 (pow x 2))) (log (* 0.0144 (pow x 2))) (log (* 0.0144 (pow x 2))) (exp (* 0.0144 (pow x 2))) (pow (* 0.0144 (pow x 2)) 3) (* (cbrt (* 0.0144 (pow x 2))) (cbrt (* 0.0144 (pow x 2)))) (cbrt (* 0.0144 (pow x 2))) (pow (* 0.0144 (pow x 2)) 3) (sqrt (* 0.0144 (pow x 2))) (sqrt (* 0.0144 (pow x 2))) (* x (sqrt 0.0144)) (* x (sqrt 0.0144)) (* x (sqrt 0.0144)) (* x (sqrt 0.0144)) (* (sqrt 0.0144) (sqrt (pow x 2))) (* (sqrt 0.0144) (sqrt (pow x 2))) (* x (sqrt 0.0144)) (* x (sqrt 0.0144)) (* 0.0144 (pow (* (cbrt x) (cbrt x)) 2)) (* x 0.0144) 0.0144 (* x 0.0144) (* 0.0144 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 0.0144 (fabs x)) 0.0144 (* x 0.0144) (* (cbrt 0.0144) (pow x 2)) (* (sqrt 0.0144) (pow x 2)) (* 0.0144 (pow x 2)) (expm1 (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (log1p (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (log (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (log (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (exp (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (pow (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))) 3) (* (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))))) (cbrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (pow (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))) 3) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (sqrt (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12)))) (- (- 0.064009 (* 0.0144 (pow x 2)))) (- (- 0.253 (* x 0.12))) (/ 0.064009 (- 0.253 (* x 0.12))) (/ (* 0.0144 (pow x 2)) (- 0.253 (* x 0.12))) (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.253 (* x 0.12)))) (/ (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (sqrt (- 0.253 (* x 0.12)))) (/ (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12)))) (* (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (/ (cbrt (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* x 0.12))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (cbrt (- 0.253 (* x 0.12)))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12)))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (sqrt (- 0.253 (* x 0.12)))) (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (/ (sqrt (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* x 0.12))) (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (cbrt (- 0.253 (* x 0.12)))) (/ 1 (sqrt (- 0.253 (* x 0.12)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (sqrt (- 0.253 (* x 0.12)))) 1 (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* x 0.12))) (/ 1 (- 0.253 (* x 0.12))) (/ (- 0.253 (* x 0.12)) (- 0.064009 (* 0.0144 (pow x 2)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (sqrt (- 0.253 (* x 0.12)))) (- 0.064009 (* 0.0144 (pow x 2))) (/ (- 0.253 (* x 0.12)) (cbrt (- 0.064009 (* 0.0144 (pow x 2))))) (/ (- 0.253 (* x 0.12)) (sqrt (- 0.064009 (* 0.0144 (pow x 2))))) (/ (- 0.253 (* x 0.12)) (- 0.064009 (* 0.0144 (pow x 2)))) (/ (- 0.064009 (* 0.0144 (pow x 2))) (- (pow 0.253 3) (pow (* x 0.12) 3))) (/ (/ (- 0.064009 (* 0.0144 (pow x 2))) (fma 0.12 x 0.253)) (- 0.253 (* 0.12 x))) (* (- 0.253 (* 0.12 x)) (fma (* 0.0144 (pow x 2)) (+ 0.064009 (* 0.0144 (pow x 2))) (* 0.064009 0.064009))) (* (- 0.253 (* 0.12 x)) (fma (pow x 2) 0.0144 0.064009)) (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 (* 0.12 x))) (fma 0.12 x 0.253) (- (* x 0.12)) (fma 0.12 (pow x 2) (* 0.253 x)) (fma 0.12 (pow x 2) (* 0.253 x)) (fma 0.12 (pow x 2) (* 0.253 x)) (* 0.0144 (pow x 2)) (* 0.0144 (pow x 2)) (* 0.0144 (pow x 2)) (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)) 1.639 * * * [progress]: adding candidates to table 1.941 * [progress]: [Phase 3 of 3] Extracting. 1.941 * * [regime]: Finding splitpoints for: (# # # # #) 1.942 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.942 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.960 * * * [regime]: Found split indices: #