5.123 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) 0.018 * * [simplify]: iteration 0 : 16 enodes (cost 5 ) 0.020 * * [simplify]: iteration 1 : 40 enodes (cost 4 ) 0.021 * * [simplify]: iteration 2 : 88 enodes (cost 4 ) 0.023 * * [simplify]: iteration 3 : 142 enodes (cost 4 ) 0.026 * * [simplify]: iteration 4 : 202 enodes (cost 4 ) 0.029 * * [simplify]: iteration 5 : 400 enodes (cost 4 ) 0.038 * * [simplify]: iteration 6 : 1349 enodes (cost 4 ) 0.072 * * [simplify]: iteration 7 : 4708 enodes (cost 4 ) 0.206 * * [simplify]: iteration 8 : 5001 enodes (cost 4 ) 0.207 * [simplify]: Simplified to: (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) 0.209 * * [progress]: iteration 1 / 4 0.209 * * * [progress]: picking best candidate 0.211 * * * * [pick]: Picked # 0.211 * * * [progress]: localizing error 0.218 * * * [progress]: generating rewritten candidates 0.218 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.226 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.233 * * * [progress]: generating series expansions 0.234 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.234 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 0.234 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.234 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.234 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.234 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.234 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.250 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 0.250 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.250 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.250 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.251 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.251 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.251 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.251 * [taylor]: Taking taylor expansion of x in x 0.262 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 0.262 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.262 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.262 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.263 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.263 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.274 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.274 * [approximate]: Taking taylor expansion of (pow x 3) in (x) around 0 0.274 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.274 * [taylor]: Taking taylor expansion of x in x 0.274 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.274 * [taylor]: Taking taylor expansion of x in x 0.281 * [approximate]: Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0 0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.281 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.282 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.293 * [approximate]: Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0 0.293 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 0.293 * [taylor]: Taking taylor expansion of -1 in x 0.293 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 0.294 * [taylor]: Taking taylor expansion of -1 in x 0.294 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.305 * * * [progress]: simplifying candidates 0.305 * [simplify]: Simplifying using # : (expm1 (* 0.12900613773279798 (* (* x x) x))) (log1p (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x)) (+ (log 0.12900613773279798) (+ (+ (log x) (log x)) (log x))) (+ (log 0.12900613773279798) (+ (log (* x x)) (log x))) (+ (log 0.12900613773279798) (log (* (* x x) x))) (log (* 0.12900613773279798 (* (* x x) x))) (exp (* 0.12900613773279798 (* (* x x) x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))) (* (cbrt (* 0.12900613773279798 (* (* x x) x))) (cbrt (* 0.12900613773279798 (* (* x x) x)))) (cbrt (* 0.12900613773279798 (* (* x x) x))) (* (* (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* (* x x) x))) (sqrt (* 0.12900613773279798 (* (* x x) x))) (sqrt (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* x x)) (* (cbrt 0.12900613773279798) (* (* x x) x)) (* (sqrt 0.12900613773279798) (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x)) (expm1 (* (* x x) x)) (log1p (* (* x x) x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* x x) x) (* (* x x) x) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log x) (log x)) (log x)) (+ (log (* x x)) (log x)) (log (* (* x x) x)) (exp (* (* x x) x)) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)) (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)) (* (cbrt (* (* x x) x)) (cbrt (* (* x x) x))) (cbrt (* (* x x) x)) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)) (sqrt (* (* x x) x)) (sqrt (* (* x x) x)) (* x (sqrt x)) (* x (sqrt x)) (* (* x x) (* (cbrt x) (cbrt x))) (* (* x x) (sqrt x)) (* (* x x) 1) (* x x) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (pow x 3) (pow x 3) (pow x 3) 0.309 * * [simplify]: iteration 0 : 153 enodes (cost 171 ) 0.312 * * [simplify]: iteration 1 : 578 enodes (cost 126 ) 0.325 * * [simplify]: iteration 2 : 2575 enodes (cost 122 ) 0.383 * * [simplify]: iteration 3 : 5002 enodes (cost 119 ) 0.384 * [simplify]: Simplified to: (expm1 (* 0.12900613773279798 (* (* x x) x))) (log1p (* 0.12900613773279798 (* (* x x) x))) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (pow (exp 0.12900613773279798) (pow x 3)) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (* (cbrt (* 0.12900613773279798 (* (* x x) x))) (cbrt (* 0.12900613773279798 (* (* x x) x)))) (cbrt (* 0.12900613773279798 (* (* x x) x))) (pow (* (pow x 3) 0.12900613773279798) 3) (sqrt (* 0.12900613773279798 (* (* x x) x))) (sqrt (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* x x)) (* (pow x 3) (cbrt 0.12900613773279798)) (* (pow x 3) (sqrt 0.12900613773279798)) (* (pow x 3) 0.12900613773279798) (expm1 (* (* x x) x)) (log1p (* (* x x) x)) 3 3 3 3 (pow x 3) (pow x 3) 3 3 3 3 (* 3 (log x)) (* 3 (log x)) (* 3 (log x)) (exp (pow x 3)) (pow x 9) (pow x 9) (* x x) x (pow x 9) (fabs (pow x 3/2)) (fabs (pow x 3/2)) (* x (sqrt x)) (* x (sqrt x)) (* (* x x) (* (cbrt x) (cbrt x))) (* (* x x) (sqrt x)) (* x x) (* x x) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (pow x 3) (pow x 3) (pow x 3) 0.384 * * * [progress]: adding candidates to table 0.459 * * [progress]: iteration 2 / 4 0.459 * * * [progress]: picking best candidate 0.463 * * * * [pick]: Picked # 0.464 * * * [progress]: localizing error 0.470 * * * [progress]: generating rewritten candidates 0.470 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 0.476 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.485 * * * [progress]: generating series expansions 0.485 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 0.485 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in (x) around 0 0.485 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x 0.485 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.485 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.485 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x 0.485 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.485 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.494 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0 0.494 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 0.494 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.494 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 0.494 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.494 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.505 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0 0.505 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 0.505 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.505 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x 0.506 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.506 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.513 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.513 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 0.513 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.513 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.513 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.513 * [taylor]: Taking taylor expansion of x in x 0.513 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.514 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.514 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.514 * [taylor]: Taking taylor expansion of x in x 0.525 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 0.525 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.525 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.525 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.526 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.526 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.538 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 0.538 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.538 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.538 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.538 * [taylor]: Taking taylor expansion of x in x 0.538 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.538 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.538 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.538 * [taylor]: Taking taylor expansion of x in x 0.549 * * * [progress]: simplifying candidates 0.550 * [simplify]: Simplifying using # : (expm1 (* 0.12900613773279798 (* x x))) (log1p (* 0.12900613773279798 (* x x))) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)) (+ (log 0.12900613773279798) (+ (log x) (log x))) (+ (log 0.12900613773279798) (log (* x x))) (log (* 0.12900613773279798 (* x x))) (exp (* 0.12900613773279798 (* x x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) x) (* (* x x) x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) (* x x)) (* x x))) (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x)))) (cbrt (* 0.12900613773279798 (* x x))) (* (* (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x))) (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x))) (* (sqrt 0.12900613773279798) x) (* (sqrt 0.12900613773279798) x) (* 0.12900613773279798 x) (* (cbrt 0.12900613773279798) (* x x)) (* (sqrt 0.12900613773279798) (* x x)) (* 0.12900613773279798 (* x x)) (expm1 (* (* 0.12900613773279798 (* x x)) x)) (log1p (* (* 0.12900613773279798 (* x x)) x)) (* (* 0.12900613773279798 (* x x)) x) (* (* 0.12900613773279798 (* x x)) x) (* (* 0.12900613773279798 (* x x)) x) (+ (+ (log 0.12900613773279798) (+ (log x) (log x))) (log x)) (+ (+ (log 0.12900613773279798) (log (* x x))) (log x)) (+ (log (* 0.12900613773279798 (* x x))) (log x)) (log (* (* 0.12900613773279798 (* x x)) x)) (exp (* (* 0.12900613773279798 (* x x)) x)) (* (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) x) (* (* x x) x))) (* (* x x) x)) (* (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) (* x x)) (* x x))) (* (* x x) x)) (* (* (* (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x))) (* 0.12900613773279798 (* x x))) (* (* x x) x)) (* (cbrt (* (* 0.12900613773279798 (* x x)) x)) (cbrt (* (* 0.12900613773279798 (* x x)) x))) (cbrt (* (* 0.12900613773279798 (* x x)) x)) (* (* (* (* 0.12900613773279798 (* x x)) x) (* (* 0.12900613773279798 (* x x)) x)) (* (* 0.12900613773279798 (* x x)) x)) (sqrt (* (* 0.12900613773279798 (* x x)) x)) (sqrt (* (* 0.12900613773279798 (* x x)) x)) (* (* 0.12900613773279798 (* x x)) (* (cbrt x) (cbrt x))) (* (* 0.12900613773279798 (* x x)) (sqrt x)) (* (* 0.12900613773279798 (* x x)) 1) (* (* x x) x) (* 0.12900613773279798 (pow x 2)) (* 0.12900613773279798 (pow x 2)) (* 0.12900613773279798 (pow x 2)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 0.554 * * [simplify]: iteration 0 : 164 enodes (cost 190 ) 0.558 * * [simplify]: iteration 1 : 767 enodes (cost 151 ) 0.578 * * [simplify]: iteration 2 : 4129 enodes (cost 147 ) 0.673 * * [simplify]: iteration 3 : 5001 enodes (cost 145 ) 0.674 * [simplify]: Simplified to: (expm1 (* 0.12900613773279798 (* x x))) (log1p (* 0.12900613773279798 (* x x))) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)) (log (* 0.12900613773279798 (* x x))) (log (* 0.12900613773279798 (* x x))) (log (* 0.12900613773279798 (* x x))) (exp (* 0.12900613773279798 (* x x))) (pow (* 0.12900613773279798 (* x x)) 3) (pow (* 0.12900613773279798 (* x x)) 3) (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x)))) (cbrt (* 0.12900613773279798 (* x x))) (pow (* 0.12900613773279798 (* x x)) 3) (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x))) (* (sqrt 0.12900613773279798) x) (* (sqrt 0.12900613773279798) x) (* 0.12900613773279798 x) (* (cbrt 0.12900613773279798) (* x x)) (* (sqrt 0.12900613773279798) (* x x)) (* 0.12900613773279798 (* x x)) (expm1 (* (* 0.12900613773279798 (* x x)) x)) (log1p (* (* 0.12900613773279798 (* x x)) x)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (pow (exp 0.12900613773279798) (pow x 3)) (pow (* 0.12900613773279798 (pow x 3)) 3) (pow (* 0.12900613773279798 (pow x 3)) 3) (pow (* 0.12900613773279798 (pow x 3)) 3) (* (cbrt (* (* 0.12900613773279798 (* x x)) x)) (cbrt (* (* 0.12900613773279798 (* x x)) x))) (cbrt (* (* 0.12900613773279798 (* x x)) x)) (pow (* 0.12900613773279798 (pow x 3)) 3) (sqrt (* (* 0.12900613773279798 (* x x)) x)) (sqrt (* (* 0.12900613773279798 (* x x)) x)) (* (* 0.12900613773279798 (* x x)) (* (cbrt x) (cbrt x))) (* 0.12900613773279798 (pow x 5/2)) (* 0.12900613773279798 (* x x)) (pow x 3) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 0.675 * * * [progress]: adding candidates to table 0.746 * * [progress]: iteration 3 / 4 0.746 * * * [progress]: picking best candidate 0.751 * * * * [pick]: Picked # 0.751 * * * [progress]: localizing error 0.759 * * * [progress]: generating rewritten candidates 0.759 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 0.766 * * * [progress]: generating series expansions 0.766 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 0.766 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 0.766 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.766 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.766 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.766 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.766 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.778 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 0.778 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.778 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.778 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.778 * [taylor]: Taking taylor expansion of x in x 0.779 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.779 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.779 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.789 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 0.789 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.790 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.790 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.790 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.790 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.790 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.801 * * * [progress]: simplifying candidates 0.802 * [simplify]: Simplifying using # : (expm1 (* (pow x 3) 0.12900613773279798)) (log1p (* (pow x 3) 0.12900613773279798)) (+ (* (log x) 3) (log 0.12900613773279798)) (+ (* (log x) 3) (log 0.12900613773279798)) (+ (log (pow x 3)) (log 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (exp (* (pow x 3) 0.12900613773279798)) (* (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798)) (* (cbrt (* (pow x 3) 0.12900613773279798)) (cbrt (* (pow x 3) 0.12900613773279798))) (cbrt (* (pow x 3) 0.12900613773279798)) (* (* (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798)) (* (pow x 3) 0.12900613773279798)) (sqrt (* (pow x 3) 0.12900613773279798)) (sqrt (* (pow x 3) 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (pow x (/ 3 2)) (sqrt 0.12900613773279798)) (* (pow x (/ 3 2)) (sqrt 0.12900613773279798)) (* (pow x 3) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798))) (* (pow x 3) (sqrt 0.12900613773279798)) (* (pow x 3) 1) (* (pow (cbrt x) 3) 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* x 0.12900613773279798) (* (cbrt (pow x 3)) 0.12900613773279798) (* (pow (cbrt x) 3) 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (* x x) 0.12900613773279798) (* (sqrt (pow x 3)) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x (/ 3 2)) 0.12900613773279798) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 0.805 * * [simplify]: iteration 0 : 110 enodes (cost 119 ) 0.808 * * [simplify]: iteration 1 : 468 enodes (cost 111 ) 0.826 * * [simplify]: iteration 2 : 4900 enodes (cost 111 ) 1.033 * * [simplify]: iteration 3 : 5002 enodes (cost 111 ) 1.034 * [simplify]: Simplified to: (expm1 (* (pow x 3) 0.12900613773279798)) (log1p (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (exp (* (pow x 3) 0.12900613773279798)) (pow (* (pow x 3) 0.12900613773279798) 3) (* (cbrt (* (pow x 3) 0.12900613773279798)) (cbrt (* (pow x 3) 0.12900613773279798))) (cbrt (* (pow x 3) 0.12900613773279798)) (pow (* (pow x 3) 0.12900613773279798) 3) (sqrt (* (pow x 3) 0.12900613773279798)) (sqrt (* (pow x 3) 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (pow x 3/2) (sqrt 0.12900613773279798)) (* (pow x 3/2) (sqrt 0.12900613773279798)) (* (pow x 3) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798))) (* (pow x 3) (sqrt 0.12900613773279798)) (pow x 3) (* x 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* x 0.12900613773279798) (* x 0.12900613773279798) (* x 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (* x x) 0.12900613773279798) (* (sqrt (pow x 3)) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3/2) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) 1.035 * * * [progress]: adding candidates to table 1.106 * * [progress]: iteration 4 / 4 1.106 * * * [progress]: picking best candidate 1.109 * * * * [pick]: Picked # 1.109 * * * [progress]: localizing error 1.117 * * * [progress]: generating rewritten candidates 1.117 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 1.125 * * * [progress]: generating series expansions 1.125 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 1.125 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 1.125 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1.125 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 1.125 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.125 * [taylor]: Taking taylor expansion of x in x 1.125 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 1.125 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 1.125 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.125 * [taylor]: Taking taylor expansion of x in x 1.137 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 1.137 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1.137 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 1.137 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.137 * [taylor]: Taking taylor expansion of x in x 1.138 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 1.138 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 1.138 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.149 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 1.149 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1.149 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 1.149 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.149 * [taylor]: Taking taylor expansion of x in x 1.150 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 1.150 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 1.150 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.150 * [taylor]: Taking taylor expansion of x in x 1.166 * * * [progress]: simplifying candidates 1.166 * [simplify]: Simplifying using # : (expm1 (* (* x x) (* x 0.12900613773279798))) (log1p (* (* x x) (* x 0.12900613773279798))) (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798)) (+ (+ (log x) (log x)) (+ (log x) (log 0.12900613773279798))) (+ (+ (log x) (log x)) (log (* x 0.12900613773279798))) (+ (log (* x x)) (+ (log x) (log 0.12900613773279798))) (+ (log (* x x)) (log (* x 0.12900613773279798))) (log (* (* x x) (* x 0.12900613773279798))) (exp (* (* x x) (* x 0.12900613773279798))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x 0.12900613773279798) (* x 0.12900613773279798)) (* x 0.12900613773279798))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x 0.12900613773279798) (* x 0.12900613773279798)) (* x 0.12900613773279798))) (* (cbrt (* (* x x) (* x 0.12900613773279798))) (cbrt (* (* x x) (* x 0.12900613773279798)))) (cbrt (* (* x x) (* x 0.12900613773279798))) (* (* (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798))) (* (* x x) (* x 0.12900613773279798))) (sqrt (* (* x x) (* x 0.12900613773279798))) (sqrt (* (* x x) (* x 0.12900613773279798))) (* (* x x) x) (* x (* x 0.12900613773279798)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 1.169 * * [simplify]: iteration 0 : 119 enodes (cost 113 ) 1.172 * * [simplify]: iteration 1 : 480 enodes (cost 84 ) 1.183 * * [simplify]: iteration 2 : 2026 enodes (cost 79 ) 1.230 * * [simplify]: iteration 3 : 5002 enodes (cost 79 ) 1.231 * [simplify]: Simplified to: (expm1 (* (* x x) (* x 0.12900613773279798))) (log1p (* (* x x) (* x 0.12900613773279798))) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (fma 3 (log x) (log 0.12900613773279798)) (pow (exp (pow x 3)) 0.12900613773279798) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (* (cbrt (* (* x x) (* x 0.12900613773279798))) (cbrt (* (* x x) (* x 0.12900613773279798)))) (cbrt (* (* x x) (* x 0.12900613773279798))) (pow (* (pow x 3) 0.12900613773279798) 3) (sqrt (* (* x x) (* x 0.12900613773279798))) (sqrt (* (* x x) (* x 0.12900613773279798))) (pow x 3) (* x (* x 0.12900613773279798)) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) 1.231 * * * [progress]: adding candidates to table 1.263 * [progress]: [Phase 3 of 3] Extracting. 1.263 * * [regime]: Finding splitpoints for: (# # # #) 1.263 * * * [regime-changes]: Trying 2 branch expressions: ((- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) x) 1.263 * * * * [regimes]: Trying to branch on (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) from (# # # #) 1.281 * * * * [regimes]: Trying to branch on x from (# # # #) 1.295 * * * [regime]: Found split indices: #