42.580 * [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.017 * [simplify]: Simplifying using # : (+ x (* x x)) 0.017 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 0.018 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.019 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 0.020 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 0.022 * * [simplify]: iteration done : 17 enodes (cost 5 ) 0.022 * [simplify]: Simplified to: (+ x (* x x)) 0.023 * * [progress]: iteration 1 / 4 0.023 * * * [progress]: picking best candidate 0.028 * * * * [pick]: Picked # 0.028 * * * [progress]: localizing error 0.032 * * * [progress]: generating rewritten candidates 0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.036 * * * [progress]: generating series expansions 0.036 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.036 * [approximate]: Taking taylor expansion of (+ x (pow x 2)) in (x) around 0 0.036 * [taylor]: Taking taylor expansion of (+ x (pow x 2)) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (+ x (pow x 2)) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.037 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in (x) around 0 0.037 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x 0.037 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.037 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x 0.037 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.037 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.039 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in (x) around 0 0.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.039 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.039 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.040 * * * [progress]: simplifying candidates 0.041 * [simplify]: Simplifying using # : (* (exp x) (exp (* x x))) (log (+ x (* x x))) (exp (+ 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))) (+ (pow x 3) (pow (* x x) 3)) (+ (* x x) (- (* (* x x) (* x x)) (* x (* x x)))) (- (* x x) (* (* x x) (* x x))) (- x (* x x)) (+ 1 x) (+ x 1) (+ x (pow x 2)) (+ x (pow x 2)) (+ x (pow x 2)) 0.041 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.042 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.043 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 0.046 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 0.051 * * [simplify]: iteration 4 : 82 enodes (cost 6 ) 0.067 * * [simplify]: iteration 5 : 176 enodes (cost 6 ) 0.136 * * [simplify]: iteration 6 : 440 enodes (cost 6 ) 0.477 * * [simplify]: iteration 7 : 1387 enodes (cost 6 ) 2.064 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.065 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 2.071 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 2.072 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 2.074 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 2.076 * * [simplify]: iteration done : 22 enodes (cost 6 ) 2.077 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 2.078 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 2.079 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 2.081 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 2.087 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 2.094 * * [simplify]: iteration 5 : 95 enodes (cost 6 ) 2.115 * * [simplify]: iteration 6 : 209 enodes (cost 6 ) 2.200 * * [simplify]: iteration 7 : 514 enodes (cost 6 ) 2.609 * * [simplify]: iteration 8 : 1637 enodes (cost 6 ) 3.851 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.852 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 3.853 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 3.854 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 3.855 * * [simplify]: iteration 3 : 19 enodes (cost 13 ) 3.858 * * [simplify]: iteration done : 19 enodes (cost 13 ) 3.859 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 3.859 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 3.860 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 3.861 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 3.864 * * [simplify]: iteration done : 18 enodes (cost 6 ) 3.864 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 3.866 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 3.870 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 3.901 * * [simplify]: iteration 3 : 215 enodes (cost 7 ) 4.170 * * [simplify]: iteration 4 : 906 enodes (cost 7 ) 5.523 * * [simplify]: iteration 5 : 2721 enodes (cost 7 ) 7.360 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 7.360 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 7.361 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 7.362 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 7.363 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 7.366 * * [simplify]: iteration done : 18 enodes (cost 6 ) 7.366 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 7.367 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 7.368 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 7.369 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 7.372 * * [simplify]: iteration done : 18 enodes (cost 6 ) 7.372 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 7.373 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 7.382 * * [simplify]: iteration 2 : 53 enodes (cost 7 ) 7.393 * * [simplify]: iteration 3 : 125 enodes (cost 7 ) 7.429 * * [simplify]: iteration 4 : 308 enodes (cost 7 ) 7.623 * * [simplify]: iteration 5 : 937 enodes (cost 7 ) 9.824 * * [simplify]: iteration 6 : 3980 enodes (cost 7 ) 12.109 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 12.109 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 12.115 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 12.123 * * [simplify]: iteration 2 : 49 enodes (cost 11 ) 12.133 * * [simplify]: iteration 3 : 117 enodes (cost 11 ) 12.161 * * [simplify]: iteration 4 : 232 enodes (cost 11 ) 12.227 * * [simplify]: iteration 5 : 497 enodes (cost 11 ) 12.699 * * [simplify]: iteration 6 : 1760 enodes (cost 11 ) 13.720 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 13.720 * * [simplify]: iteration 0 : 4 enodes (cost 11 ) 13.721 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 13.724 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 13.730 * * [simplify]: iteration 3 : 83 enodes (cost 7 ) 13.745 * * [simplify]: iteration 4 : 154 enodes (cost 7 ) 13.823 * * [simplify]: iteration 5 : 392 enodes (cost 7 ) 14.080 * * [simplify]: iteration 6 : 987 enodes (cost 7 ) 15.665 * * [simplify]: iteration 7 : 3428 enodes (cost 7 ) 17.480 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 17.481 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 17.481 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 17.482 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 17.483 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 17.485 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 17.486 * * [simplify]: iteration 5 : 23 enodes (cost 5 ) 17.490 * * [simplify]: iteration 6 : 24 enodes (cost 5 ) 17.492 * * [simplify]: iteration done : 24 enodes (cost 5 ) 17.492 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 17.493 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 17.493 * * [simplify]: iteration done : 6 enodes (cost 3 ) 17.494 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 17.494 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 17.495 * * [simplify]: iteration done : 6 enodes (cost 3 ) 17.495 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 17.496 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 17.497 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 17.498 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 17.501 * * [simplify]: iteration 4 : 39 enodes (cost 5 ) 17.505 * * [simplify]: iteration 5 : 49 enodes (cost 5 ) 17.509 * * [simplify]: iteration 6 : 71 enodes (cost 5 ) 17.519 * * [simplify]: iteration 7 : 133 enodes (cost 5 ) 17.568 * * [simplify]: iteration 8 : 352 enodes (cost 5 ) 18.008 * * [simplify]: iteration 9 : 1273 enodes (cost 5 ) 20.319 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 20.320 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 20.321 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 20.322 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 20.323 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 20.326 * * [simplify]: iteration 4 : 39 enodes (cost 5 ) 20.330 * * [simplify]: iteration 5 : 49 enodes (cost 5 ) 20.334 * * [simplify]: iteration 6 : 71 enodes (cost 5 ) 20.343 * * [simplify]: iteration 7 : 133 enodes (cost 5 ) 20.392 * * [simplify]: iteration 8 : 352 enodes (cost 5 ) 20.827 * * [simplify]: iteration 9 : 1273 enodes (cost 5 ) 23.166 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 23.166 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 23.167 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 23.169 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 23.170 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 23.173 * * [simplify]: iteration 4 : 39 enodes (cost 5 ) 23.183 * * [simplify]: iteration 5 : 49 enodes (cost 5 ) 23.187 * * [simplify]: iteration 6 : 71 enodes (cost 5 ) 23.196 * * [simplify]: iteration 7 : 133 enodes (cost 5 ) 23.245 * * [simplify]: iteration 8 : 352 enodes (cost 5 ) 23.688 * * [simplify]: iteration 9 : 1273 enodes (cost 5 ) 26.267 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 26.267 * [simplify]: Simplified to: (exp (+ x (* x x))) (log (+ x (* x x))) (exp (+ x (* x x))) (* (cbrt (+ x (* x x))) (cbrt (+ x (* x x)))) (cbrt (+ x (* x x))) (pow (+ x (* x x)) 3) (sqrt (+ x (* x x))) (sqrt (+ x (* x x))) (+ (pow x 6) (pow x 3)) (- (* x (+ x (pow x 3))) (pow x 3)) (* x (- x (pow x 3))) (- x (* x x)) (+ 1 x) (+ x 1) (+ x (pow x 2)) (+ x (pow x 2)) (+ x (pow x 2)) 26.267 * * * [progress]: adding candidates to table 26.287 * * [progress]: iteration 2 / 4 26.287 * * * [progress]: picking best candidate 26.289 * * * * [pick]: Picked # 26.289 * * * [progress]: localizing error 26.292 * * * [progress]: generating rewritten candidates 26.292 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 26.305 * * * [progress]: generating series expansions 26.305 * * * * [progress]: [ 1 / 1 ] generating series at (2) 26.306 * [approximate]: Taking taylor expansion of (* x (+ x 1)) in (x) around 0 26.306 * [taylor]: Taking taylor expansion of (* x (+ x 1)) in x 26.306 * [taylor]: Taking taylor expansion of x in x 26.306 * [taylor]: Taking taylor expansion of (+ x 1) in x 26.306 * [taylor]: Taking taylor expansion of x in x 26.306 * [taylor]: Taking taylor expansion of 1 in x 26.306 * [taylor]: Taking taylor expansion of (* x (+ x 1)) in x 26.306 * [taylor]: Taking taylor expansion of x in x 26.306 * [taylor]: Taking taylor expansion of (+ x 1) in x 26.306 * [taylor]: Taking taylor expansion of x in x 26.306 * [taylor]: Taking taylor expansion of 1 in x 26.307 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in (x) around 0 26.307 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 26.307 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 26.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.307 * [taylor]: Taking taylor expansion of x in x 26.307 * [taylor]: Taking taylor expansion of 1 in x 26.307 * [taylor]: Taking taylor expansion of x in x 26.307 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 26.307 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 26.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.307 * [taylor]: Taking taylor expansion of x in x 26.307 * [taylor]: Taking taylor expansion of 1 in x 26.307 * [taylor]: Taking taylor expansion of x in x 26.309 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in (x) around 0 26.309 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 26.309 * [taylor]: Taking taylor expansion of -1 in x 26.309 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 26.309 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 26.309 * [taylor]: Taking taylor expansion of 1 in x 26.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.309 * [taylor]: Taking taylor expansion of x in x 26.309 * [taylor]: Taking taylor expansion of x in x 26.309 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 26.309 * [taylor]: Taking taylor expansion of -1 in x 26.309 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 26.309 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 26.309 * [taylor]: Taking taylor expansion of 1 in x 26.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.309 * [taylor]: Taking taylor expansion of x in x 26.309 * [taylor]: Taking taylor expansion of x in x 26.311 * * * [progress]: simplifying candidates 26.312 * [simplify]: Simplifying using # : (* x (+ 1 x)) (+ (log x) (log (+ 1 x))) (log (* x (+ 1 x))) (exp (* x (+ 1 x))) (* (* (* x x) x) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) (* (cbrt (* x (+ 1 x))) (cbrt (* x (+ 1 x)))) (cbrt (* x (+ 1 x))) (* (* (* x (+ 1 x)) (* x (+ 1 x))) (* x (+ 1 x))) (sqrt (* x (+ 1 x))) (sqrt (* x (+ 1 x))) (* (sqrt x) (sqrt (+ 1 x))) (* (sqrt x) (sqrt (+ 1 x))) (* x 1) (* x x) (* 1 x) (* x x) (* x (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (* x (sqrt (+ 1 x))) (* x 1) (* x 1) (* (cbrt x) (+ 1 x)) (* (sqrt x) (+ 1 x)) (* x (+ 1 x)) (* x (+ (pow 1 3) (pow x 3))) (* x (- (* 1 1) (* x x))) (+ x (pow x 2)) (+ x (pow x 2)) (+ x (pow x 2)) 26.312 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 26.313 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 26.315 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 26.316 * * [simplify]: iteration done : 14 enodes (cost 5 ) 26.316 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.317 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 26.318 * * [simplify]: iteration done : 10 enodes (cost 7 ) 26.318 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 26.319 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 26.321 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 26.323 * * [simplify]: iteration done : 19 enodes (cost 6 ) 26.323 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 26.324 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 26.327 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 26.330 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 26.334 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 26.347 * * [simplify]: iteration 5 : 133 enodes (cost 6 ) 26.389 * * [simplify]: iteration 6 : 279 enodes (cost 6 ) 26.564 * * [simplify]: iteration 7 : 806 enodes (cost 6 ) 27.697 * * [simplify]: iteration 8 : 2962 enodes (cost 6 ) 29.427 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 29.427 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 29.429 * * [simplify]: iteration 1 : 30 enodes (cost 17 ) 29.437 * * [simplify]: iteration 2 : 108 enodes (cost 9 ) 29.503 * * [simplify]: iteration 3 : 324 enodes (cost 9 ) 29.780 * * [simplify]: iteration 4 : 1023 enodes (cost 7 ) 31.908 * * [simplify]: iteration 5 : 3998 enodes (cost 7 ) 33.707 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 33.708 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 33.709 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 33.710 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 33.712 * * [simplify]: iteration done : 16 enodes (cost 13 ) 33.712 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 33.713 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 33.715 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 33.716 * * [simplify]: iteration done : 15 enodes (cost 6 ) 33.717 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 33.718 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 33.731 * * [simplify]: iteration 2 : 91 enodes (cost 7 ) 33.773 * * [simplify]: iteration 3 : 239 enodes (cost 7 ) 33.958 * * [simplify]: iteration 4 : 642 enodes (cost 7 ) 34.905 * * [simplify]: iteration 5 : 2221 enodes (cost 7 ) 37.065 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 37.066 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 37.067 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 37.069 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 37.070 * * [simplify]: iteration done : 15 enodes (cost 6 ) 37.071 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 37.071 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 37.073 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 37.075 * * [simplify]: iteration done : 15 enodes (cost 6 ) 37.075 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 37.076 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 37.077 * * [simplify]: iteration done : 10 enodes (cost 7 ) 37.077 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 37.078 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 37.079 * * [simplify]: iteration done : 10 enodes (cost 7 ) 37.080 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.080 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 37.080 * * [simplify]: iteration done : 6 enodes (cost 1 ) 37.081 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 37.081 * * [simplify]: iteration done : 2 enodes (cost 3 ) 37.082 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.082 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 37.082 * * [simplify]: iteration done : 6 enodes (cost 1 ) 37.083 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 37.083 * * [simplify]: iteration done : 2 enodes (cost 3 ) 37.084 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 37.084 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 37.086 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 37.087 * * [simplify]: iteration done : 14 enodes (cost 11 ) 37.088 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 37.088 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 37.089 * * [simplify]: iteration done : 9 enodes (cost 6 ) 37.089 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.090 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 37.090 * * [simplify]: iteration done : 6 enodes (cost 1 ) 37.091 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.091 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 37.091 * * [simplify]: iteration done : 6 enodes (cost 1 ) 37.092 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 37.093 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 37.095 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 37.097 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 37.104 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 37.108 * * [simplify]: iteration done : 48 enodes (cost 6 ) 37.109 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 37.109 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 37.111 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 37.113 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 37.120 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 37.124 * * [simplify]: iteration done : 48 enodes (cost 6 ) 37.125 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 37.125 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 37.131 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 37.132 * * [simplify]: iteration done : 14 enodes (cost 5 ) 37.132 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 37.134 * * [simplify]: iteration 1 : 30 enodes (cost 7 ) 37.138 * * [simplify]: iteration 2 : 47 enodes (cost 5 ) 37.144 * * [simplify]: iteration 3 : 75 enodes (cost 5 ) 37.154 * * [simplify]: iteration 4 : 134 enodes (cost 5 ) 37.192 * * [simplify]: iteration 5 : 326 enodes (cost 5 ) 37.455 * * [simplify]: iteration 6 : 1100 enodes (cost 5 ) 40.796 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 40.797 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 40.798 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 40.799 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 40.805 * * [simplify]: iteration 3 : 63 enodes (cost 7 ) 40.818 * * [simplify]: iteration 4 : 119 enodes (cost 5 ) 40.869 * * [simplify]: iteration 5 : 264 enodes (cost 5 ) 40.989 * * [simplify]: iteration 6 : 472 enodes (cost 5 ) 41.445 * * [simplify]: iteration 7 : 970 enodes (cost 5 ) 44.513 * * [simplify]: iteration 8 : 3642 enodes (cost 5 ) 46.601 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 46.602 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 46.603 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 46.604 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 46.605 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 46.607 * * [simplify]: iteration 4 : 39 enodes (cost 5 ) 46.611 * * [simplify]: iteration 5 : 49 enodes (cost 5 ) 46.615 * * [simplify]: iteration 6 : 71 enodes (cost 5 ) 46.625 * * [simplify]: iteration 7 : 133 enodes (cost 5 ) 46.673 * * [simplify]: iteration 8 : 352 enodes (cost 5 ) 47.119 * * [simplify]: iteration 9 : 1273 enodes (cost 5 ) 49.490 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 49.491 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 49.492 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 49.493 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 49.494 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 49.496 * * [simplify]: iteration 4 : 39 enodes (cost 5 ) 49.500 * * [simplify]: iteration 5 : 49 enodes (cost 5 ) 49.505 * * [simplify]: iteration 6 : 71 enodes (cost 5 ) 49.514 * * [simplify]: iteration 7 : 133 enodes (cost 5 ) 49.566 * * [simplify]: iteration 8 : 352 enodes (cost 5 ) 50.009 * * [simplify]: iteration 9 : 1273 enodes (cost 5 ) 52.340 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 52.341 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 52.341 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 52.343 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 52.344 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 52.347 * * [simplify]: iteration 4 : 39 enodes (cost 5 ) 52.355 * * [simplify]: iteration 5 : 49 enodes (cost 5 ) 52.359 * * [simplify]: iteration 6 : 71 enodes (cost 5 ) 52.368 * * [simplify]: iteration 7 : 133 enodes (cost 5 ) 52.416 * * [simplify]: iteration 8 : 352 enodes (cost 5 ) 52.854 * * [simplify]: iteration 9 : 1273 enodes (cost 5 ) 55.172 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 55.172 * [simplify]: Simplified to: (* x (+ 1 x)) (+ (log x) (log (+ 1 x))) (log (* x (+ 1 x))) (exp (* x (+ 1 x))) (pow (* (+ 1 x) x) 3) (* (cbrt (* x (+ 1 x))) (cbrt (* x (+ 1 x)))) (cbrt (* x (+ 1 x))) (pow (* x (+ 1 x)) 3) (sqrt (* x (+ 1 x))) (sqrt (* x (+ 1 x))) (* (sqrt x) (sqrt (+ 1 x))) (* (sqrt x) (sqrt (+ 1 x))) x (* x x) x (* x x) (* x (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (* x (sqrt (+ 1 x))) x x (* (cbrt x) (+ 1 x)) (* (sqrt x) (+ 1 x)) (* x (+ 1 x)) (+ (pow x 4) x) (- x (pow x 3)) (+ x (pow x 2)) (+ x (pow x 2)) (+ x (pow x 2)) 55.172 * * * [progress]: adding candidates to table 55.199 * [progress]: [Phase 3 of 3] Extracting. 55.199 * * [regime]: Finding splitpoints for: (# #) 55.199 * * * [regime-changes]: Trying 2 branch expressions: ((+ x (* x x)) x) 55.199 * * * * [regimes]: Trying to branch on (+ x (* x x)) from (# #) 55.231 * * * * [regimes]: Trying to branch on x from (# #) 55.256 * * * [regime]: Found split indices: #