2.784 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (* (* x x) (- 3.0 (* x 2.0))) 0.025 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.028 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 0.034 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 0.047 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 0.064 * * [simplify]: iteration 5 : 91 enodes (cost 9 ) 0.086 * * [simplify]: iteration 6 : 108 enodes (cost 9 ) 0.109 * * [simplify]: iteration 7 : 150 enodes (cost 9 ) 0.157 * * [simplify]: iteration 8 : 271 enodes (cost 9 ) 0.319 * * [simplify]: iteration 9 : 676 enodes (cost 9 ) 1.502 * * [simplify]: iteration 10 : 2239 enodes (cost 9 ) 4.371 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 4.371 * [simplify]: Simplified to: (* (* x x) (- 3.0 (* x 2.0))) 4.372 * * [progress]: iteration 1 / 4 4.372 * * * [progress]: picking best candidate 4.374 * * * * [pick]: Picked # 4.374 * * * [progress]: localizing error 4.379 * * * [progress]: generating rewritten candidates 4.379 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.394 * * * [progress]: generating series expansions 4.394 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.395 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in (x) around 0 4.395 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 4.395 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.395 * [taylor]: Taking taylor expansion of x in x 4.395 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 4.395 * [taylor]: Taking taylor expansion of 3.0 in x 4.395 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.395 * [taylor]: Taking taylor expansion of 2.0 in x 4.395 * [taylor]: Taking taylor expansion of x in x 4.395 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 4.395 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.395 * [taylor]: Taking taylor expansion of x in x 4.395 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 4.395 * [taylor]: Taking taylor expansion of 3.0 in x 4.395 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 4.395 * [taylor]: Taking taylor expansion of 2.0 in x 4.395 * [taylor]: Taking taylor expansion of x in x 4.397 * [approximate]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in (x) around 0 4.397 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 4.397 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 4.397 * [taylor]: Taking taylor expansion of 3.0 in x 4.397 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.397 * [taylor]: Taking taylor expansion of 2.0 in x 4.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.397 * [taylor]: Taking taylor expansion of x in x 4.397 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.397 * [taylor]: Taking taylor expansion of x in x 4.397 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 4.397 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 4.397 * [taylor]: Taking taylor expansion of 3.0 in x 4.397 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.397 * [taylor]: Taking taylor expansion of 2.0 in x 4.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.397 * [taylor]: Taking taylor expansion of x in x 4.397 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.397 * [taylor]: Taking taylor expansion of x in x 4.400 * [approximate]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in (x) around 0 4.400 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 4.400 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 4.400 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.400 * [taylor]: Taking taylor expansion of 2.0 in x 4.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.400 * [taylor]: Taking taylor expansion of x in x 4.400 * [taylor]: Taking taylor expansion of 3.0 in x 4.400 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.400 * [taylor]: Taking taylor expansion of x in x 4.400 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 4.400 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 4.400 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 4.400 * [taylor]: Taking taylor expansion of 2.0 in x 4.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.400 * [taylor]: Taking taylor expansion of x in x 4.400 * [taylor]: Taking taylor expansion of 3.0 in x 4.400 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.400 * [taylor]: Taking taylor expansion of x in x 4.403 * * * [progress]: simplifying candidates 4.403 * [simplify]: Simplifying using # : (* (* x x) (- 3.0 (* x 2.0))) (* (* x x) (- 3.0 (* x 2.0))) (+ (+ (log x) (log x)) (log (- 3.0 (* x 2.0)))) (+ (log (* x x)) (log (- 3.0 (* x 2.0)))) (log (* (* x x) (- 3.0 (* x 2.0)))) (exp (* (* x x) (- 3.0 (* x 2.0)))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (- 3.0 (* x 2.0)) (- 3.0 (* x 2.0))) (- 3.0 (* x 2.0)))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (- 3.0 (* x 2.0)) (- 3.0 (* x 2.0))) (- 3.0 (* x 2.0)))) (* (cbrt (* (* x x) (- 3.0 (* x 2.0)))) (cbrt (* (* x x) (- 3.0 (* x 2.0))))) (cbrt (* (* x x) (- 3.0 (* x 2.0)))) (* (* (* (* x x) (- 3.0 (* x 2.0))) (* (* x x) (- 3.0 (* x 2.0)))) (* (* x x) (- 3.0 (* x 2.0)))) (sqrt (* (* x x) (- 3.0 (* x 2.0)))) (sqrt (* (* x x) (- 3.0 (* x 2.0)))) (* x (sqrt (- 3.0 (* x 2.0)))) (* x (sqrt (- 3.0 (* x 2.0)))) (* (* x x) 3.0) (* (* x x) (neg (* x 2.0))) (* (* x x) 3.0) (* (* x x) (neg (* x 2.0))) (* 3.0 (* x x)) (* (neg (* x 2.0)) (* x x)) (* 3.0 (* x x)) (* (neg (* x 2.0)) (* x x)) (* (* x x) (* (cbrt (- 3.0 (* x 2.0))) (cbrt (- 3.0 (* x 2.0))))) (* (* x x) (sqrt (- 3.0 (* x 2.0)))) (* (* x x) 1) (* x (- 3.0 (* x 2.0))) (* (* x x) (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (* x x) (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0)))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) 4.404 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 4.405 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 4.407 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 4.412 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 4.426 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 4.444 * * [simplify]: iteration 5 : 91 enodes (cost 9 ) 4.464 * * [simplify]: iteration 6 : 108 enodes (cost 9 ) 4.488 * * [simplify]: iteration 7 : 150 enodes (cost 9 ) 4.536 * * [simplify]: iteration 8 : 271 enodes (cost 9 ) 4.697 * * [simplify]: iteration 9 : 676 enodes (cost 9 ) 6.066 * * [simplify]: iteration 10 : 2239 enodes (cost 9 ) 8.983 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 8.984 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 8.985 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 8.987 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 8.993 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 9.012 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 9.030 * * [simplify]: iteration 5 : 91 enodes (cost 9 ) 9.048 * * [simplify]: iteration 6 : 108 enodes (cost 9 ) 9.076 * * [simplify]: iteration 7 : 150 enodes (cost 9 ) 9.124 * * [simplify]: iteration 8 : 271 enodes (cost 9 ) 9.288 * * [simplify]: iteration 9 : 676 enodes (cost 9 ) 10.487 * * [simplify]: iteration 10 : 2239 enodes (cost 9 ) 13.418 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 13.419 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 13.420 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 13.422 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 13.425 * * [simplify]: iteration done : 27 enodes (cost 11 ) 13.426 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 13.427 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 13.429 * * [simplify]: iteration 2 : 28 enodes (cost 11 ) 13.432 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 13.435 * * [simplify]: iteration done : 29 enodes (cost 11 ) 13.436 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 13.437 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 13.439 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 13.446 * * [simplify]: iteration 3 : 84 enodes (cost 10 ) 13.465 * * [simplify]: iteration 4 : 105 enodes (cost 10 ) 13.484 * * [simplify]: iteration 5 : 109 enodes (cost 10 ) 13.504 * * [simplify]: iteration 6 : 126 enodes (cost 10 ) 13.532 * * [simplify]: iteration 7 : 168 enodes (cost 10 ) 13.582 * * [simplify]: iteration 8 : 293 enodes (cost 10 ) 13.748 * * [simplify]: iteration 9 : 707 enodes (cost 10 ) 14.900 * * [simplify]: iteration 10 : 2262 enodes (cost 10 ) 17.819 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 17.820 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 17.821 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 17.824 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 17.831 * * [simplify]: iteration 3 : 108 enodes (cost 10 ) 17.851 * * [simplify]: iteration 4 : 208 enodes (cost 10 ) 17.896 * * [simplify]: iteration 5 : 442 enodes (cost 10 ) 18.120 * * [simplify]: iteration 6 : 1267 enodes (cost 10 ) 19.607 * * [simplify]: iteration 7 : 4818 enodes (cost 10 ) 20.661 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 20.662 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 20.663 * * [simplify]: iteration 1 : 27 enodes (cost 29 ) 20.669 * * [simplify]: iteration 2 : 103 enodes (cost 15 ) 20.712 * * [simplify]: iteration 3 : 463 enodes (cost 11 ) 21.172 * * [simplify]: iteration 4 : 2426 enodes (cost 11 ) 22.979 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 22.979 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 22.982 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 22.987 * * [simplify]: iteration 2 : 104 enodes (cost 13 ) 23.030 * * [simplify]: iteration 3 : 471 enodes (cost 11 ) 23.467 * * [simplify]: iteration 4 : 2421 enodes (cost 11 ) 25.405 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 25.406 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 25.407 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 25.409 * * [simplify]: iteration 2 : 36 enodes (cost 21 ) 25.415 * * [simplify]: iteration 3 : 71 enodes (cost 21 ) 25.433 * * [simplify]: iteration 4 : 86 enodes (cost 21 ) 25.451 * * [simplify]: iteration 5 : 91 enodes (cost 21 ) 25.469 * * [simplify]: iteration 6 : 108 enodes (cost 21 ) 25.496 * * [simplify]: iteration 7 : 150 enodes (cost 21 ) 25.544 * * [simplify]: iteration 8 : 269 enodes (cost 21 ) 25.704 * * [simplify]: iteration 9 : 670 enodes (cost 21 ) 26.779 * * [simplify]: iteration 10 : 2163 enodes (cost 21 ) 29.403 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 29.404 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 29.405 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 29.407 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 29.412 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 29.432 * * [simplify]: iteration 4 : 85 enodes (cost 10 ) 29.450 * * [simplify]: iteration 5 : 90 enodes (cost 10 ) 29.469 * * [simplify]: iteration 6 : 107 enodes (cost 10 ) 29.495 * * [simplify]: iteration 7 : 149 enodes (cost 10 ) 29.543 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 29.707 * * [simplify]: iteration 9 : 675 enodes (cost 10 ) 30.860 * * [simplify]: iteration 10 : 2198 enodes (cost 10 ) 34.492 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 34.493 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 34.499 * * [simplify]: iteration 1 : 25 enodes (cost 29 ) 34.505 * * [simplify]: iteration 2 : 113 enodes (cost 11 ) 34.556 * * [simplify]: iteration 3 : 533 enodes (cost 11 ) 35.205 * * [simplify]: iteration 4 : 2417 enodes (cost 11 ) 37.507 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 37.508 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 37.509 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 37.511 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 37.517 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 37.531 * * [simplify]: iteration 4 : 85 enodes (cost 10 ) 37.549 * * [simplify]: iteration 5 : 90 enodes (cost 10 ) 37.571 * * [simplify]: iteration 6 : 107 enodes (cost 10 ) 37.595 * * [simplify]: iteration 7 : 149 enodes (cost 10 ) 37.643 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 37.805 * * [simplify]: iteration 9 : 675 enodes (cost 10 ) 38.939 * * [simplify]: iteration 10 : 2198 enodes (cost 10 ) 42.524 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 42.525 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 42.526 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 42.527 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 42.533 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 42.549 * * [simplify]: iteration 4 : 85 enodes (cost 10 ) 42.567 * * [simplify]: iteration 5 : 90 enodes (cost 10 ) 42.586 * * [simplify]: iteration 6 : 107 enodes (cost 10 ) 42.613 * * [simplify]: iteration 7 : 149 enodes (cost 10 ) 42.662 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 42.825 * * [simplify]: iteration 9 : 675 enodes (cost 10 ) 43.957 * * [simplify]: iteration 10 : 2198 enodes (cost 10 ) 47.575 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 47.576 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.577 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 47.578 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 47.580 * * [simplify]: iteration done : 18 enodes (cost 8 ) 47.581 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.581 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 47.583 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 47.585 * * [simplify]: iteration done : 18 enodes (cost 8 ) 47.585 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 47.586 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 47.587 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 47.588 * * [simplify]: iteration done : 9 enodes (cost 5 ) 47.588 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 47.589 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 47.592 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 47.600 * * [simplify]: iteration 3 : 62 enodes (cost 8 ) 47.612 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 47.626 * * [simplify]: iteration 5 : 69 enodes (cost 6 ) 47.640 * * [simplify]: iteration 6 : 86 enodes (cost 6 ) 47.658 * * [simplify]: iteration 7 : 126 enodes (cost 6 ) 47.702 * * [simplify]: iteration 8 : 241 enodes (cost 6 ) 47.849 * * [simplify]: iteration 9 : 648 enodes (cost 6 ) 48.941 * * [simplify]: iteration 10 : 2160 enodes (cost 6 ) 52.138 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 52.139 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 52.140 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 52.141 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 52.142 * * [simplify]: iteration done : 9 enodes (cost 5 ) 52.142 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 52.143 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 52.146 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 52.158 * * [simplify]: iteration 3 : 62 enodes (cost 8 ) 52.170 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 52.182 * * [simplify]: iteration 5 : 69 enodes (cost 6 ) 52.195 * * [simplify]: iteration 6 : 86 enodes (cost 6 ) 52.217 * * [simplify]: iteration 7 : 126 enodes (cost 6 ) 52.260 * * [simplify]: iteration 8 : 241 enodes (cost 6 ) 52.408 * * [simplify]: iteration 9 : 648 enodes (cost 6 ) 53.526 * * [simplify]: iteration 10 : 2160 enodes (cost 6 ) 56.528 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 56.529 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 56.529 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 56.530 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 56.531 * * [simplify]: iteration done : 9 enodes (cost 5 ) 56.532 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 56.533 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 56.535 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 56.543 * * [simplify]: iteration 3 : 66 enodes (cost 6 ) 56.556 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 56.573 * * [simplify]: iteration 5 : 89 enodes (cost 6 ) 56.591 * * [simplify]: iteration 6 : 129 enodes (cost 6 ) 56.635 * * [simplify]: iteration 7 : 252 enodes (cost 6 ) 56.787 * * [simplify]: iteration 8 : 658 enodes (cost 6 ) 57.892 * * [simplify]: iteration 9 : 2151 enodes (cost 6 ) 60.698 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 60.699 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 60.700 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 60.701 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 60.702 * * [simplify]: iteration done : 9 enodes (cost 5 ) 60.702 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 60.703 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 60.706 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 60.714 * * [simplify]: iteration 3 : 66 enodes (cost 6 ) 60.726 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 60.743 * * [simplify]: iteration 5 : 89 enodes (cost 6 ) 60.762 * * [simplify]: iteration 6 : 129 enodes (cost 6 ) 60.805 * * [simplify]: iteration 7 : 252 enodes (cost 6 ) 60.958 * * [simplify]: iteration 8 : 658 enodes (cost 6 ) 62.069 * * [simplify]: iteration 9 : 2151 enodes (cost 6 ) 64.849 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 64.849 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 64.851 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 64.854 * * [simplify]: iteration 2 : 37 enodes (cost 17 ) 64.860 * * [simplify]: iteration done : 37 enodes (cost 17 ) 64.860 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 64.861 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 64.863 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 64.866 * * [simplify]: iteration done : 23 enodes (cost 10 ) 64.866 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 64.867 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 64.868 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 64.869 * * [simplify]: iteration done : 17 enodes (cost 3 ) 64.870 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 64.870 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 64.872 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 64.875 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 64.881 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 64.887 * * [simplify]: iteration done : 41 enodes (cost 7 ) 64.888 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 64.889 * * [simplify]: iteration 1 : 32 enodes (cost 13 ) 64.895 * * [simplify]: iteration 2 : 100 enodes (cost 13 ) 64.928 * * [simplify]: iteration 3 : 395 enodes (cost 13 ) 65.262 * * [simplify]: iteration 4 : 1404 enodes (cost 13 ) 67.989 * * [simplify]: iteration 5 : 4681 enodes (cost 13 ) 69.320 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 69.321 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 69.322 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 69.326 * * [simplify]: iteration 2 : 74 enodes (cost 15 ) 69.350 * * [simplify]: iteration 3 : 234 enodes (cost 15 ) 69.449 * * [simplify]: iteration 4 : 536 enodes (cost 15 ) 69.710 * * [simplify]: iteration 5 : 861 enodes (cost 15 ) 70.221 * * [simplify]: iteration 6 : 1270 enodes (cost 15 ) 71.257 * * [simplify]: iteration 7 : 2438 enodes (cost 15 ) 73.113 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 73.114 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 73.116 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 73.121 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 73.136 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 73.174 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 73.301 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 74.116 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 76.823 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 76.823 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 76.825 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 76.831 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 76.840 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 76.883 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 77.007 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 77.846 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 80.342 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 80.343 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 80.344 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 80.350 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 80.359 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 80.402 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 80.525 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 81.344 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 83.818 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 83.819 * [simplify]: Simplified to: (* (* x x) (- 3.0 (* x 2.0))) (* (* x x) (- 3.0 (* x 2.0))) (+ (* 2 (log x)) (log (- 3.0 (* x 2.0)))) (+ (log (* x x)) (log (- 3.0 (* x 2.0)))) (log (* (* x x) (- 3.0 (* x 2.0)))) (exp (* (* x x) (- 3.0 (* x 2.0)))) (* (pow (- 3.0 (* x 2.0)) 3) (pow x 6)) (* (pow (- 3.0 (* x 2.0)) 3) (pow x 6)) (* (cbrt (* (* x x) (- 3.0 (* x 2.0)))) (cbrt (* (* x x) (- 3.0 (* x 2.0))))) (cbrt (* (* x x) (- 3.0 (* x 2.0)))) (pow (* (* x x) (- 3.0 (* x 2.0))) 3) (sqrt (* (* x x) (- 3.0 (* x 2.0)))) (sqrt (* (* x x) (- 3.0 (* x 2.0)))) (* x (sqrt (- 3.0 (* x 2.0)))) (* x (sqrt (- 3.0 (* x 2.0)))) (* (* x x) 3.0) (* (pow x 3) (neg 2.0)) (* (* x x) 3.0) (* (pow x 3) (neg 2.0)) (* 3.0 (* x x)) (* 2.0 (neg (pow x 3))) (* 3.0 (* x x)) (* 2.0 (neg (pow x 3))) (* (* x x) (* (cbrt (- 3.0 (* x 2.0))) (cbrt (- 3.0 (* x 2.0))))) (* (* x x) (sqrt (- 3.0 (* x 2.0)))) (* x x) (* x (- 3.0 (* x 2.0))) (* (* x x) (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (* x x) (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0)))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) 83.819 * * * [progress]: adding candidates to table 83.867 * * [progress]: iteration 2 / 4 83.867 * * * [progress]: picking best candidate 83.879 * * * * [pick]: Picked # 83.879 * * * [progress]: localizing error 83.888 * * * [progress]: generating rewritten candidates 83.888 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 83.895 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 83.902 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 83.917 * * * [progress]: generating series expansions 83.917 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 83.917 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0 83.917 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 83.917 * [taylor]: Taking taylor expansion of 3.0 in x 83.917 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.918 * [taylor]: Taking taylor expansion of x in x 83.918 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 83.918 * [taylor]: Taking taylor expansion of 3.0 in x 83.918 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.918 * [taylor]: Taking taylor expansion of x in x 83.918 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 83.918 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 83.919 * [taylor]: Taking taylor expansion of 3.0 in x 83.919 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.919 * [taylor]: Taking taylor expansion of x in x 83.919 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 83.919 * [taylor]: Taking taylor expansion of 3.0 in x 83.919 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.919 * [taylor]: Taking taylor expansion of x in x 83.920 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 83.920 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 83.920 * [taylor]: Taking taylor expansion of 3.0 in x 83.920 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.920 * [taylor]: Taking taylor expansion of x in x 83.920 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 83.920 * [taylor]: Taking taylor expansion of 3.0 in x 83.920 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.920 * [taylor]: Taking taylor expansion of x in x 83.921 * * * * [progress]: [ 2 / 3 ] generating series at (2) 83.921 * [approximate]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) in (x) around 0 83.921 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) in x 83.921 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 83.921 * [taylor]: Taking taylor expansion of 3.0 in x 83.921 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.921 * [taylor]: Taking taylor expansion of x in x 83.921 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 3)) in x 83.921 * [taylor]: Taking taylor expansion of 2.0 in x 83.921 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.921 * [taylor]: Taking taylor expansion of x in x 83.921 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) in x 83.921 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 83.921 * [taylor]: Taking taylor expansion of 3.0 in x 83.921 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.921 * [taylor]: Taking taylor expansion of x in x 83.921 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 3)) in x 83.921 * [taylor]: Taking taylor expansion of 2.0 in x 83.921 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.921 * [taylor]: Taking taylor expansion of x in x 83.923 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in (x) around 0 83.923 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 83.924 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 83.924 * [taylor]: Taking taylor expansion of 3.0 in x 83.924 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 83.924 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.924 * [taylor]: Taking taylor expansion of x in x 83.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 83.924 * [taylor]: Taking taylor expansion of 2.0 in x 83.924 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 83.924 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.924 * [taylor]: Taking taylor expansion of x in x 83.924 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 83.924 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 83.924 * [taylor]: Taking taylor expansion of 3.0 in x 83.924 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 83.924 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.924 * [taylor]: Taking taylor expansion of x in x 83.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 83.924 * [taylor]: Taking taylor expansion of 2.0 in x 83.924 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 83.924 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.924 * [taylor]: Taking taylor expansion of x in x 83.928 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in (x) around 0 83.928 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 83.928 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 83.928 * [taylor]: Taking taylor expansion of 3.0 in x 83.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 83.928 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.928 * [taylor]: Taking taylor expansion of x in x 83.928 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 83.928 * [taylor]: Taking taylor expansion of 2.0 in x 83.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 83.928 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.928 * [taylor]: Taking taylor expansion of x in x 83.928 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 83.928 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 83.928 * [taylor]: Taking taylor expansion of 3.0 in x 83.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 83.928 * [taylor]: Taking taylor expansion of (pow x 2) in x 83.928 * [taylor]: Taking taylor expansion of x in x 83.928 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 83.928 * [taylor]: Taking taylor expansion of 2.0 in x 83.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 83.928 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.928 * [taylor]: Taking taylor expansion of x in x 83.931 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 83.931 * [approximate]: Taking taylor expansion of (* -2.0 (pow x 3)) in (x) around 0 83.931 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 3)) in x 83.931 * [taylor]: Taking taylor expansion of -2.0 in x 83.931 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.932 * [taylor]: Taking taylor expansion of x in x 83.932 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 3)) in x 83.932 * [taylor]: Taking taylor expansion of -2.0 in x 83.932 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.932 * [taylor]: Taking taylor expansion of x in x 83.933 * [approximate]: Taking taylor expansion of (/ -2.0 (pow x 3)) in (x) around 0 83.933 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 3)) in x 83.933 * [taylor]: Taking taylor expansion of -2.0 in x 83.933 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.933 * [taylor]: Taking taylor expansion of x in x 83.933 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 3)) in x 83.933 * [taylor]: Taking taylor expansion of -2.0 in x 83.933 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.933 * [taylor]: Taking taylor expansion of x in x 83.934 * [approximate]: Taking taylor expansion of (/ 2.0 (pow x 3)) in (x) around 0 83.934 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 3)) in x 83.934 * [taylor]: Taking taylor expansion of 2.0 in x 83.934 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.934 * [taylor]: Taking taylor expansion of x in x 83.934 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 3)) in x 83.934 * [taylor]: Taking taylor expansion of 2.0 in x 83.934 * [taylor]: Taking taylor expansion of (pow x 3) in x 83.934 * [taylor]: Taking taylor expansion of x in x 83.936 * * * [progress]: simplifying candidates 83.937 * [simplify]: Simplifying using # : (* (* x x) 3.0) (* (* x x) 3.0) (+ (+ (log x) (log x)) (log 3.0)) (+ (log (* x x)) (log 3.0)) (log (* (* x x) 3.0)) (exp (* (* x x) 3.0)) (* (* (* (* x x) x) (* (* x x) x)) (* (* 3.0 3.0) 3.0)) (* (* (* (* x x) (* x x)) (* x x)) (* (* 3.0 3.0) 3.0)) (* (cbrt (* (* x x) 3.0)) (cbrt (* (* x x) 3.0))) (cbrt (* (* x x) 3.0)) (* (* (* (* x x) 3.0) (* (* x x) 3.0)) (* (* x x) 3.0)) (sqrt (* (* x x) 3.0)) (sqrt (* (* x x) 3.0)) (* x (sqrt 3.0)) (* x (sqrt 3.0)) (* (* x x) (* (cbrt 3.0) (cbrt 3.0))) (* (* x x) (sqrt 3.0)) (* (* x x) 1) (* x 3.0) (* (exp (* (* x x) 3.0)) (exp (* (pow x 3) (neg 2.0)))) (log (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (exp (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (* (cbrt (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (cbrt (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0))))) (cbrt (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (* (* (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0))) (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (sqrt (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (sqrt (+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))) (+ (pow (* (* x x) 3.0) 3) (pow (* (pow x 3) (neg 2.0)) 3)) (+ (* (* (* x x) 3.0) (* (* x x) 3.0)) (- (* (* (pow x 3) (neg 2.0)) (* (pow x 3) (neg 2.0))) (* (* (* x x) 3.0) (* (pow x 3) (neg 2.0))))) (- (* (* (* x x) 3.0) (* (* x x) 3.0)) (* (* (pow x 3) (neg 2.0)) (* (pow x 3) (neg 2.0)))) (- (* (* x x) 3.0) (* (pow x 3) (neg 2.0))) (+ (* (log x) 3) (log (neg 2.0))) (+ (* (log x) 3) (log (neg 2.0))) (+ (log (pow x 3)) (log (neg 2.0))) (log (* (pow x 3) (neg 2.0))) (exp (* (pow x 3) (neg 2.0))) (* (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* (neg 2.0) (neg 2.0)) (neg 2.0))) (* (cbrt (* (pow x 3) (neg 2.0))) (cbrt (* (pow x 3) (neg 2.0)))) (cbrt (* (pow x 3) (neg 2.0))) (* (* (* (pow x 3) (neg 2.0)) (* (pow x 3) (neg 2.0))) (* (pow x 3) (neg 2.0))) (sqrt (* (pow x 3) (neg 2.0))) (sqrt (* (pow x 3) (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (sqrt (pow x 3)) (sqrt (neg 2.0))) (* (sqrt (pow x 3)) (sqrt (neg 2.0))) (* (pow x (/ 3 2)) (sqrt (neg 2.0))) (* (pow x (/ 3 2)) (sqrt (neg 2.0))) (* (pow x 3) 2.0) (* (pow x 3) (* (cbrt (neg 2.0)) (cbrt (neg 2.0)))) (* (pow x 3) (sqrt (neg 2.0))) (* (pow x 3) 1) (* (pow x 3) -1) (* (pow x 3) (neg (* (cbrt 2.0) (cbrt 2.0)))) (* (pow x 3) (neg (sqrt 2.0))) (* (pow x 3) (neg 1)) (* (pow x 3) (* (cbrt 2.0) (cbrt 2.0))) (* (pow x 3) (sqrt 2.0)) (* (pow x 3) 1) (* (pow (cbrt x) 3) (neg 2.0)) (* (pow (sqrt x) 3) (neg 2.0)) (* (pow x 3) (neg 2.0)) (* x (neg 2.0)) (* (cbrt (pow x 3)) (neg 2.0)) (* (pow (cbrt x) 3) (neg 2.0)) (* (pow (sqrt x) 3) (neg 2.0)) (* (pow x 3) (neg 2.0)) (* (* x x) (neg 2.0)) (* (sqrt (pow x 3)) (neg 2.0)) (* (pow x 3) (neg 2.0)) (* (pow x (/ 3 2)) (neg 2.0)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (* -2.0 (pow x 3)) (* -2.0 (pow x 3)) (* -2.0 (pow x 3)) 83.937 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 83.938 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 83.939 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 83.940 * * [simplify]: iteration done : 9 enodes (cost 5 ) 83.940 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 83.941 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 83.942 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 83.943 * * [simplify]: iteration done : 9 enodes (cost 5 ) 83.944 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 83.944 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 83.945 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 83.947 * * [simplify]: iteration done : 14 enodes (cost 7 ) 83.948 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 83.949 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 83.950 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 83.951 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 83.953 * * [simplify]: iteration done : 16 enodes (cost 7 ) 83.954 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 83.955 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 83.956 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 83.959 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 83.961 * * [simplify]: iteration 4 : 26 enodes (cost 6 ) 83.964 * * [simplify]: iteration done : 26 enodes (cost 6 ) 83.965 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 83.966 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 83.967 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 83.970 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 83.975 * * [simplify]: iteration 4 : 79 enodes (cost 6 ) 83.993 * * [simplify]: iteration 5 : 184 enodes (cost 6 ) 84.074 * * [simplify]: iteration 6 : 449 enodes (cost 6 ) 84.370 * * [simplify]: iteration 7 : 1203 enodes (cost 6 ) 86.610 * * [simplify]: iteration 8 : 4669 enodes (cost 6 ) 87.860 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 87.861 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 87.862 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 87.867 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 87.897 * * [simplify]: iteration 3 : 213 enodes (cost 7 ) 88.009 * * [simplify]: iteration 4 : 436 enodes (cost 7 ) 88.483 * * [simplify]: iteration 5 : 1198 enodes (cost 7 ) 91.035 * * [simplify]: iteration 6 : 4072 enodes (cost 7 ) 92.966 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 92.966 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 92.968 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 92.972 * * [simplify]: iteration 2 : 74 enodes (cost 9 ) 93.002 * * [simplify]: iteration 3 : 211 enodes (cost 7 ) 93.115 * * [simplify]: iteration 4 : 446 enodes (cost 7 ) 93.641 * * [simplify]: iteration 5 : 1262 enodes (cost 7 ) 96.354 * * [simplify]: iteration 6 : 4293 enodes (cost 7 ) 98.716 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 98.717 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 98.718 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 98.719 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 98.720 * * [simplify]: iteration done : 11 enodes (cost 13 ) 98.726 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 98.727 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 98.728 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 98.729 * * [simplify]: iteration done : 10 enodes (cost 6 ) 98.730 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 98.731 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 98.736 * * [simplify]: iteration 2 : 70 enodes (cost 7 ) 98.764 * * [simplify]: iteration 3 : 230 enodes (cost 7 ) 98.925 * * [simplify]: iteration 4 : 358 enodes (cost 7 ) 99.146 * * [simplify]: iteration 5 : 524 enodes (cost 7 ) 99.743 * * [simplify]: iteration 6 : 1407 enodes (cost 7 ) 103.036 * * [simplify]: iteration 7 : 4747 enodes (cost 7 ) 105.105 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 105.105 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 105.106 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 105.107 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 105.108 * * [simplify]: iteration done : 10 enodes (cost 6 ) 105.109 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 105.110 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 105.110 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 105.112 * * [simplify]: iteration done : 10 enodes (cost 6 ) 105.112 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 105.113 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 105.113 * * [simplify]: iteration done : 5 enodes (cost 4 ) 105.114 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 105.114 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 105.115 * * [simplify]: iteration done : 5 enodes (cost 4 ) 105.115 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 105.116 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 105.118 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 105.122 * * [simplify]: iteration done : 24 enodes (cost 9 ) 105.122 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 105.123 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 105.124 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 105.126 * * [simplify]: iteration done : 10 enodes (cost 6 ) 105.126 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 105.127 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 105.129 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 105.129 * * [simplify]: iteration done : 17 enodes (cost 3 ) 105.130 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 105.130 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 105.131 * * [simplify]: iteration done : 4 enodes (cost 3 ) 105.131 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 105.133 * * [simplify]: iteration 1 : 32 enodes (cost 13 ) 105.143 * * [simplify]: iteration 2 : 83 enodes (cost 12 ) 105.158 * * [simplify]: iteration 3 : 220 enodes (cost 10 ) 105.218 * * [simplify]: iteration 4 : 619 enodes (cost 10 ) 105.672 * * [simplify]: iteration 5 : 2721 enodes (cost 10 ) 106.631 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 106.632 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 106.633 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 106.637 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 106.647 * * [simplify]: iteration 3 : 119 enodes (cost 10 ) 106.682 * * [simplify]: iteration 4 : 245 enodes (cost 10 ) 106.795 * * [simplify]: iteration 5 : 582 enodes (cost 10 ) 107.464 * * [simplify]: iteration 6 : 1880 enodes (cost 10 ) 109.745 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 109.746 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 109.747 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 109.752 * * [simplify]: iteration 2 : 72 enodes (cost 12 ) 109.766 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 109.816 * * [simplify]: iteration 4 : 496 enodes (cost 10 ) 110.110 * * [simplify]: iteration 5 : 2096 enodes (cost 10 ) 110.941 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 110.941 * * [simplify]: iteration 0 : 12 enodes (cost 27 ) 110.943 * * [simplify]: iteration 1 : 26 enodes (cost 27 ) 110.947 * * [simplify]: iteration 2 : 56 enodes (cost 25 ) 110.957 * * [simplify]: iteration 3 : 120 enodes (cost 21 ) 110.993 * * [simplify]: iteration 4 : 238 enodes (cost 21 ) 111.101 * * [simplify]: iteration 5 : 573 enodes (cost 21 ) 111.773 * * [simplify]: iteration 6 : 1869 enodes (cost 21 ) 113.954 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 113.955 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 113.956 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 113.960 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 113.970 * * [simplify]: iteration 3 : 119 enodes (cost 10 ) 114.007 * * [simplify]: iteration 4 : 239 enodes (cost 10 ) 114.113 * * [simplify]: iteration 5 : 572 enodes (cost 10 ) 114.790 * * [simplify]: iteration 6 : 1903 enodes (cost 10 ) 117.065 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 117.066 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 117.068 * * [simplify]: iteration 1 : 39 enodes (cost 38 ) 117.076 * * [simplify]: iteration 2 : 148 enodes (cost 13 ) 117.146 * * [simplify]: iteration 3 : 806 enodes (cost 11 ) 118.256 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 118.257 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 118.259 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 118.262 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 118.272 * * [simplify]: iteration 3 : 119 enodes (cost 10 ) 118.318 * * [simplify]: iteration 4 : 239 enodes (cost 10 ) 118.427 * * [simplify]: iteration 5 : 572 enodes (cost 10 ) 119.111 * * [simplify]: iteration 6 : 1903 enodes (cost 10 ) 121.623 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 121.623 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 121.625 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 121.628 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 121.646 * * [simplify]: iteration 3 : 119 enodes (cost 10 ) 121.677 * * [simplify]: iteration 4 : 239 enodes (cost 10 ) 121.787 * * [simplify]: iteration 5 : 572 enodes (cost 10 ) 122.498 * * [simplify]: iteration 6 : 1903 enodes (cost 10 ) 124.810 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 124.811 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 124.813 * * [simplify]: iteration 1 : 42 enodes (cost 16 ) 124.823 * * [simplify]: iteration 2 : 163 enodes (cost 16 ) 124.899 * * [simplify]: iteration 3 : 846 enodes (cost 15 ) 126.470 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 126.470 * * [simplify]: iteration 0 : 14 enodes (cost 38 ) 126.473 * * [simplify]: iteration 1 : 53 enodes (cost 31 ) 126.485 * * [simplify]: iteration 2 : 226 enodes (cost 29 ) 126.631 * * [simplify]: iteration 3 : 1061 enodes (cost 24 ) 129.273 * * [simplify]: iteration 4 : 4999 enodes (cost 19 ) 131.082 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 131.083 * * [simplify]: iteration 0 : 12 enodes (cost 25 ) 131.085 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 131.095 * * [simplify]: iteration 2 : 169 enodes (cost 17 ) 131.206 * * [simplify]: iteration 3 : 747 enodes (cost 15 ) 132.768 * * [simplify]: iteration 4 : 3261 enodes (cost 15 ) 134.310 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 134.310 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 134.312 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 134.316 * * [simplify]: iteration 2 : 60 enodes (cost 11 ) 134.332 * * [simplify]: iteration 3 : 160 enodes (cost 9 ) 134.409 * * [simplify]: iteration 4 : 372 enodes (cost 9 ) 134.756 * * [simplify]: iteration 5 : 987 enodes (cost 9 ) 136.654 * * [simplify]: iteration 6 : 3082 enodes (cost 9 ) 139.132 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 139.133 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 139.134 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 139.135 * * [simplify]: iteration done : 10 enodes (cost 8 ) 139.136 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 139.136 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 139.137 * * [simplify]: iteration done : 10 enodes (cost 8 ) 139.138 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 139.139 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 139.141 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 139.145 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 139.153 * * [simplify]: iteration 4 : 114 enodes (cost 8 ) 139.184 * * [simplify]: iteration 5 : 263 enodes (cost 8 ) 139.315 * * [simplify]: iteration 6 : 756 enodes (cost 8 ) 140.307 * * [simplify]: iteration 7 : 2807 enodes (cost 8 ) 142.068 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 142.069 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 142.070 * * [simplify]: iteration 1 : 21 enodes (cost 7 ) 142.073 * * [simplify]: iteration 2 : 56 enodes (cost 7 ) 142.083 * * [simplify]: iteration 3 : 140 enodes (cost 7 ) 142.122 * * [simplify]: iteration 4 : 313 enodes (cost 7 ) 142.259 * * [simplify]: iteration 5 : 809 enodes (cost 7 ) 143.139 * * [simplify]: iteration 6 : 2656 enodes (cost 7 ) 145.066 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 145.066 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.067 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 145.070 * * [simplify]: iteration 2 : 61 enodes (cost 7 ) 145.080 * * [simplify]: iteration 3 : 152 enodes (cost 7 ) 145.121 * * [simplify]: iteration 4 : 392 enodes (cost 7 ) 145.273 * * [simplify]: iteration 5 : 1152 enodes (cost 7 ) 146.526 * * [simplify]: iteration 6 : 4208 enodes (cost 7 ) 147.694 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 147.694 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 147.696 * * [simplify]: iteration 1 : 35 enodes (cost 14 ) 147.703 * * [simplify]: iteration 2 : 126 enodes (cost 10 ) 147.785 * * [simplify]: iteration 3 : 664 enodes (cost 10 ) 149.124 * * [simplify]: iteration 4 : 3960 enodes (cost 8 ) 151.209 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 151.210 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 151.211 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 151.213 * * [simplify]: iteration 2 : 46 enodes (cost 15 ) 151.221 * * [simplify]: iteration 3 : 97 enodes (cost 15 ) 151.252 * * [simplify]: iteration 4 : 209 enodes (cost 15 ) 151.354 * * [simplify]: iteration 5 : 537 enodes (cost 15 ) 152.036 * * [simplify]: iteration 6 : 1822 enodes (cost 15 ) 154.116 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 154.117 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 154.118 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 154.120 * * [simplify]: iteration 2 : 45 enodes (cost 7 ) 154.133 * * [simplify]: iteration 3 : 100 enodes (cost 7 ) 154.159 * * [simplify]: iteration 4 : 209 enodes (cost 7 ) 154.264 * * [simplify]: iteration 5 : 540 enodes (cost 7 ) 154.960 * * [simplify]: iteration 6 : 1842 enodes (cost 7 ) 157.308 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 157.309 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 157.310 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 157.317 * * [simplify]: iteration 2 : 145 enodes (cost 8 ) 157.421 * * [simplify]: iteration 3 : 886 enodes (cost 8 ) 159.719 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 159.720 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 159.721 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 159.723 * * [simplify]: iteration 2 : 45 enodes (cost 7 ) 159.731 * * [simplify]: iteration 3 : 100 enodes (cost 7 ) 159.757 * * [simplify]: iteration 4 : 209 enodes (cost 7 ) 159.861 * * [simplify]: iteration 5 : 540 enodes (cost 7 ) 160.564 * * [simplify]: iteration 6 : 1842 enodes (cost 7 ) 162.947 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 162.948 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 162.949 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 162.952 * * [simplify]: iteration 2 : 45 enodes (cost 7 ) 162.960 * * [simplify]: iteration 3 : 100 enodes (cost 7 ) 162.990 * * [simplify]: iteration 4 : 209 enodes (cost 7 ) 163.096 * * [simplify]: iteration 5 : 540 enodes (cost 7 ) 163.808 * * [simplify]: iteration 6 : 1842 enodes (cost 7 ) 166.130 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 166.131 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.132 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 166.134 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 166.139 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 166.147 * * [simplify]: iteration 4 : 101 enodes (cost 8 ) 166.180 * * [simplify]: iteration 5 : 246 enodes (cost 8 ) 166.377 * * [simplify]: iteration 6 : 766 enodes (cost 8 ) 168.427 * * [simplify]: iteration 7 : 3055 enodes (cost 8 ) 171.759 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 171.760 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 171.761 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 171.763 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 171.767 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 171.776 * * [simplify]: iteration 4 : 101 enodes (cost 8 ) 171.809 * * [simplify]: iteration 5 : 246 enodes (cost 8 ) 172.009 * * [simplify]: iteration 6 : 766 enodes (cost 8 ) 174.058 * * [simplify]: iteration 7 : 3055 enodes (cost 8 ) 177.419 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 177.419 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 177.420 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 177.423 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 177.431 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 177.440 * * [simplify]: iteration 4 : 101 enodes (cost 8 ) 177.469 * * [simplify]: iteration 5 : 246 enodes (cost 8 ) 177.668 * * [simplify]: iteration 6 : 766 enodes (cost 8 ) 179.714 * * [simplify]: iteration 7 : 3055 enodes (cost 8 ) 183.047 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 183.048 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 183.049 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 183.051 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 183.056 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 183.064 * * [simplify]: iteration 4 : 101 enodes (cost 8 ) 183.097 * * [simplify]: iteration 5 : 246 enodes (cost 8 ) 183.292 * * [simplify]: iteration 6 : 766 enodes (cost 8 ) 185.547 * * [simplify]: iteration 7 : 3055 enodes (cost 8 ) 188.933 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 188.934 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 188.935 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 188.937 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 188.939 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 188.943 * * [simplify]: iteration 4 : 57 enodes (cost 8 ) 188.953 * * [simplify]: iteration 5 : 122 enodes (cost 8 ) 189.003 * * [simplify]: iteration 6 : 337 enodes (cost 8 ) 189.472 * * [simplify]: iteration 7 : 1272 enodes (cost 8 ) 191.828 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 191.829 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 191.830 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 191.832 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 191.834 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 191.838 * * [simplify]: iteration 4 : 57 enodes (cost 8 ) 191.848 * * [simplify]: iteration 5 : 122 enodes (cost 8 ) 191.899 * * [simplify]: iteration 6 : 337 enodes (cost 8 ) 192.362 * * [simplify]: iteration 7 : 1272 enodes (cost 8 ) 194.719 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 194.720 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 194.721 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 194.723 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 194.725 * * [simplify]: iteration 3 : 43 enodes (cost 7 ) 194.733 * * [simplify]: iteration 4 : 90 enodes (cost 7 ) 194.763 * * [simplify]: iteration 5 : 232 enodes (cost 7 ) 194.956 * * [simplify]: iteration 6 : 758 enodes (cost 7 ) 197.025 * * [simplify]: iteration 7 : 3048 enodes (cost 7 ) 200.302 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 200.303 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 200.304 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 200.306 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 200.308 * * [simplify]: iteration 3 : 43 enodes (cost 7 ) 200.315 * * [simplify]: iteration 4 : 90 enodes (cost 7 ) 200.343 * * [simplify]: iteration 5 : 232 enodes (cost 7 ) 200.534 * * [simplify]: iteration 6 : 758 enodes (cost 7 ) 202.585 * * [simplify]: iteration 7 : 3048 enodes (cost 7 ) 205.878 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 205.879 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 205.879 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 205.881 * * [simplify]: iteration 2 : 32 enodes (cost 5 ) 205.886 * * [simplify]: iteration 3 : 53 enodes (cost 5 ) 205.895 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 205.929 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 206.117 * * [simplify]: iteration 6 : 773 enodes (cost 5 ) 208.137 * * [simplify]: iteration 7 : 3066 enodes (cost 5 ) 210.939 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 210.939 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 210.941 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 210.943 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 210.952 * * [simplify]: iteration 3 : 101 enodes (cost 11 ) 210.978 * * [simplify]: iteration 4 : 192 enodes (cost 11 ) 211.087 * * [simplify]: iteration 5 : 492 enodes (cost 11 ) 211.980 * * [simplify]: iteration 6 : 1574 enodes (cost 11 ) 214.677 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 214.677 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 214.679 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 214.681 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 214.685 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 214.695 * * [simplify]: iteration 4 : 102 enodes (cost 7 ) 214.729 * * [simplify]: iteration 5 : 245 enodes (cost 7 ) 214.938 * * [simplify]: iteration 6 : 772 enodes (cost 7 ) 216.943 * * [simplify]: iteration 7 : 3062 enodes (cost 7 ) 219.718 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 219.718 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 219.719 * * [simplify]: iteration 1 : 16 enodes (cost 3 ) 219.721 * * [simplify]: iteration 2 : 37 enodes (cost 3 ) 219.730 * * [simplify]: iteration 3 : 73 enodes (cost 3 ) 219.740 * * [simplify]: iteration 4 : 119 enodes (cost 3 ) 219.761 * * [simplify]: iteration 5 : 220 enodes (cost 3 ) 219.859 * * [simplify]: iteration 6 : 502 enodes (cost 3 ) 220.581 * * [simplify]: iteration 7 : 1650 enodes (cost 3 ) 222.882 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 222.883 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 222.884 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 222.886 * * [simplify]: iteration 2 : 33 enodes (cost 4 ) 222.896 * * [simplify]: iteration 3 : 63 enodes (cost 4 ) 222.906 * * [simplify]: iteration 4 : 115 enodes (cost 4 ) 222.940 * * [simplify]: iteration 5 : 272 enodes (cost 4 ) 223.161 * * [simplify]: iteration 6 : 823 enodes (cost 4 ) 225.400 * * [simplify]: iteration 7 : 3208 enodes (cost 4 ) 227.842 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 227.843 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 227.844 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 227.847 * * [simplify]: iteration 2 : 60 enodes (cost 10 ) 227.860 * * [simplify]: iteration 3 : 167 enodes (cost 10 ) 227.937 * * [simplify]: iteration 4 : 410 enodes (cost 10 ) 228.267 * * [simplify]: iteration 5 : 1075 enodes (cost 10 ) 230.425 * * [simplify]: iteration 6 : 3552 enodes (cost 10 ) 232.643 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 232.644 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 232.645 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 232.648 * * [simplify]: iteration 2 : 45 enodes (cost 7 ) 232.655 * * [simplify]: iteration 3 : 93 enodes (cost 7 ) 232.687 * * [simplify]: iteration 4 : 205 enodes (cost 7 ) 232.790 * * [simplify]: iteration 5 : 538 enodes (cost 7 ) 233.463 * * [simplify]: iteration 6 : 1818 enodes (cost 7 ) 235.799 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 235.800 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 235.801 * * [simplify]: iteration 1 : 20 enodes (cost 5 ) 235.803 * * [simplify]: iteration 2 : 47 enodes (cost 4 ) 235.825 * * [simplify]: iteration 3 : 138 enodes (cost 4 ) 235.854 * * [simplify]: iteration 4 : 231 enodes (cost 4 ) 235.946 * * [simplify]: iteration 5 : 464 enodes (cost 4 ) 236.582 * * [simplify]: iteration 6 : 1171 enodes (cost 4 ) 240.160 * * [simplify]: iteration 7 : 4057 enodes (cost 4 ) 243.149 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 243.150 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 243.151 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 243.154 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 243.168 * * [simplify]: iteration 3 : 93 enodes (cost 9 ) 243.193 * * [simplify]: iteration 4 : 188 enodes (cost 9 ) 243.296 * * [simplify]: iteration 5 : 475 enodes (cost 9 ) 243.917 * * [simplify]: iteration 6 : 1531 enodes (cost 9 ) 246.577 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 246.578 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 246.579 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 246.587 * * [simplify]: iteration 2 : 33 enodes (cost 6 ) 246.592 * * [simplify]: iteration 3 : 61 enodes (cost 6 ) 246.601 * * [simplify]: iteration 4 : 109 enodes (cost 6 ) 246.630 * * [simplify]: iteration 5 : 255 enodes (cost 6 ) 246.830 * * [simplify]: iteration 6 : 779 enodes (cost 6 ) 248.870 * * [simplify]: iteration 7 : 3085 enodes (cost 6 ) 252.259 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 252.260 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 252.260 * * [simplify]: iteration 1 : 16 enodes (cost 3 ) 252.263 * * [simplify]: iteration 2 : 37 enodes (cost 3 ) 252.271 * * [simplify]: iteration 3 : 73 enodes (cost 3 ) 252.285 * * [simplify]: iteration 4 : 119 enodes (cost 3 ) 252.307 * * [simplify]: iteration 5 : 220 enodes (cost 3 ) 252.405 * * [simplify]: iteration 6 : 502 enodes (cost 3 ) 253.128 * * [simplify]: iteration 7 : 1650 enodes (cost 3 ) 255.418 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 255.419 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 255.420 * * [simplify]: iteration 1 : 18 enodes (cost 4 ) 255.422 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 255.425 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 255.427 * * [simplify]: iteration 4 : 42 enodes (cost 4 ) 255.431 * * [simplify]: iteration 5 : 63 enodes (cost 4 ) 255.440 * * [simplify]: iteration 6 : 127 enodes (cost 4 ) 255.488 * * [simplify]: iteration 7 : 344 enodes (cost 4 ) 255.936 * * [simplify]: iteration 8 : 1256 enodes (cost 4 ) 258.371 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 258.372 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 258.373 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 258.376 * * [simplify]: iteration 2 : 45 enodes (cost 7 ) 258.383 * * [simplify]: iteration 3 : 89 enodes (cost 7 ) 258.407 * * [simplify]: iteration 4 : 192 enodes (cost 7 ) 258.504 * * [simplify]: iteration 5 : 515 enodes (cost 7 ) 259.197 * * [simplify]: iteration 6 : 1825 enodes (cost 7 ) 261.561 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 261.562 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 261.563 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 261.565 * * [simplify]: iteration 2 : 44 enodes (cost 6 ) 261.573 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 261.603 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 261.705 * * [simplify]: iteration 5 : 536 enodes (cost 6 ) 262.384 * * [simplify]: iteration 6 : 1814 enodes (cost 6 ) 264.993 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 264.993 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 264.994 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 264.995 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 264.996 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 264.997 * * [simplify]: iteration done : 11 enodes (cost 4 ) 264.998 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 264.999 * * [simplify]: iteration 1 : 18 enodes (cost 4 ) 265.001 * * [simplify]: iteration 2 : 27 enodes (cost 4 ) 265.004 * * [simplify]: iteration 3 : 38 enodes (cost 4 ) 265.008 * * [simplify]: iteration 4 : 61 enodes (cost 4 ) 265.018 * * [simplify]: iteration 5 : 122 enodes (cost 4 ) 265.068 * * [simplify]: iteration 6 : 339 enodes (cost 4 ) 265.520 * * [simplify]: iteration 7 : 1255 enodes (cost 4 ) 267.911 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 267.912 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 267.913 * * [simplify]: iteration 1 : 18 enodes (cost 4 ) 267.914 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 267.916 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 267.925 * * [simplify]: iteration 4 : 42 enodes (cost 4 ) 267.929 * * [simplify]: iteration 5 : 63 enodes (cost 4 ) 267.938 * * [simplify]: iteration 6 : 127 enodes (cost 4 ) 267.984 * * [simplify]: iteration 7 : 344 enodes (cost 4 ) 268.431 * * [simplify]: iteration 8 : 1256 enodes (cost 4 ) 270.879 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 270.880 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 270.880 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 270.883 * * [simplify]: iteration 2 : 45 enodes (cost 7 ) 270.890 * * [simplify]: iteration 3 : 89 enodes (cost 7 ) 270.921 * * [simplify]: iteration 4 : 192 enodes (cost 7 ) 271.017 * * [simplify]: iteration 5 : 515 enodes (cost 7 ) 271.710 * * [simplify]: iteration 6 : 1825 enodes (cost 7 ) 274.065 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 274.066 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 274.067 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 274.069 * * [simplify]: iteration 2 : 44 enodes (cost 6 ) 274.077 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 274.110 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 274.211 * * [simplify]: iteration 5 : 536 enodes (cost 6 ) 274.890 * * [simplify]: iteration 6 : 1814 enodes (cost 6 ) 277.244 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 277.244 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 277.245 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 277.246 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 277.249 * * [simplify]: iteration 3 : 26 enodes (cost 6 ) 277.253 * * [simplify]: iteration 4 : 28 enodes (cost 6 ) 277.258 * * [simplify]: iteration done : 28 enodes (cost 6 ) 277.258 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 277.259 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 277.261 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 277.264 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 277.275 * * [simplify]: iteration 4 : 62 enodes (cost 7 ) 277.286 * * [simplify]: iteration 5 : 123 enodes (cost 7 ) 277.336 * * [simplify]: iteration 6 : 339 enodes (cost 7 ) 277.781 * * [simplify]: iteration 7 : 1257 enodes (cost 7 ) 280.154 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 280.155 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 280.156 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 280.158 * * [simplify]: iteration 2 : 44 enodes (cost 6 ) 280.166 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 280.196 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 280.295 * * [simplify]: iteration 5 : 536 enodes (cost 6 ) 280.964 * * [simplify]: iteration 6 : 1814 enodes (cost 6 ) 283.296 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 283.297 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 283.298 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 283.300 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 283.304 * * [simplify]: iteration 3 : 61 enodes (cost 6 ) 283.322 * * [simplify]: iteration 4 : 152 enodes (cost 6 ) 283.393 * * [simplify]: iteration 5 : 474 enodes (cost 6 ) 284.043 * * [simplify]: iteration 6 : 1806 enodes (cost 6 ) 286.396 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 286.396 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 286.397 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 286.399 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 286.401 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 286.403 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 286.406 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 286.410 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 286.419 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 286.467 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 286.911 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 289.406 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 289.407 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 289.408 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 289.409 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 289.411 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 289.414 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 289.422 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 289.426 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 289.435 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 289.483 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 289.937 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 292.243 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 292.243 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 292.244 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 292.246 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 292.248 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 292.250 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 292.253 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 292.257 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 292.266 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 292.316 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 292.760 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 295.029 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 295.030 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 295.032 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 295.037 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 295.046 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 295.090 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 295.212 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 296.035 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 298.480 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 298.481 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 298.482 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 298.487 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 298.496 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 298.540 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 298.665 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 299.477 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 301.943 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 301.944 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 301.946 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 301.952 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 301.961 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 302.002 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 302.124 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 302.934 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 305.385 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 305.386 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 305.387 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 305.389 * * [simplify]: iteration 2 : 32 enodes (cost 5 ) 305.393 * * [simplify]: iteration 3 : 54 enodes (cost 5 ) 305.403 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 305.437 * * [simplify]: iteration 5 : 244 enodes (cost 5 ) 305.631 * * [simplify]: iteration 6 : 773 enodes (cost 5 ) 307.732 * * [simplify]: iteration 7 : 3060 enodes (cost 5 ) 311.037 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 311.037 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 311.038 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 311.041 * * [simplify]: iteration 2 : 32 enodes (cost 5 ) 311.046 * * [simplify]: iteration 3 : 54 enodes (cost 5 ) 311.060 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 311.090 * * [simplify]: iteration 5 : 244 enodes (cost 5 ) 311.285 * * [simplify]: iteration 6 : 773 enodes (cost 5 ) 313.368 * * [simplify]: iteration 7 : 3060 enodes (cost 5 ) 316.913 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 316.914 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 316.915 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 316.917 * * [simplify]: iteration 2 : 32 enodes (cost 5 ) 316.921 * * [simplify]: iteration 3 : 54 enodes (cost 5 ) 316.930 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 316.965 * * [simplify]: iteration 5 : 244 enodes (cost 5 ) 317.159 * * [simplify]: iteration 6 : 773 enodes (cost 5 ) 319.298 * * [simplify]: iteration 7 : 3060 enodes (cost 5 ) 322.632 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 322.633 * [simplify]: Simplified to: (* (* x x) 3.0) (* (* x x) 3.0) (+ (log 3.0) (* 2 (log x))) (+ (log (* x x)) (log 3.0)) (log (* (* x x) 3.0)) (exp (* (* x x) 3.0)) (* (pow x 6) (pow 3.0 3)) (* (pow x 6) (pow 3.0 3)) (* (cbrt (* (* x x) 3.0)) (cbrt (* (* x x) 3.0))) (cbrt (* (* x x) 3.0)) (pow (* (* x x) 3.0) 3) (sqrt (* (* x x) 3.0)) (sqrt (* (* x x) 3.0)) (* x (sqrt 3.0)) (* x (sqrt 3.0)) (* (* x x) (* (cbrt 3.0) (cbrt 3.0))) (* (* x x) (sqrt 3.0)) (* x x) (* x 3.0) (exp (* (* x x) (- 3.0 (* x 2.0)))) (log (* (* x x) (- 3.0 (* x 2.0)))) (exp (* (* x x) (- 3.0 (* x 2.0)))) (* (cbrt (* (* x x) (- 3.0 (* x 2.0)))) (cbrt (* (* x x) (- 3.0 (* x 2.0))))) (cbrt (* (* x x) (- 3.0 (* x 2.0)))) (pow (* (* x x) (- 3.0 (* x 2.0))) 3) (sqrt (* (* x x) (- 3.0 (* x 2.0)))) (sqrt (* (* x x) (- 3.0 (* x 2.0)))) (- (pow (* (* x x) 3.0) 3) (pow (* (pow x 3) 2.0) 3)) (+ (* (* 2.0 2.0) (pow x 6)) (* (* (pow x 4) 3.0) (+ (* 2.0 x) 3.0))) (- (* (* 3.0 (pow x 4)) 3.0) (* (pow x 6) (* 2.0 2.0))) (* (* x x) (+ 3.0 (* x 2.0))) (+ (* (log x) 3) (log (neg 2.0))) (+ (* (log x) 3) (log (neg 2.0))) (+ (log (pow x 3)) (log (neg 2.0))) (log (* (pow x 3) (neg 2.0))) (exp (* (pow x 3) (neg 2.0))) (pow (* (pow x 3) (neg 2.0)) 3) (* (cbrt (* (pow x 3) (neg 2.0))) (cbrt (* (pow x 3) (neg 2.0)))) (cbrt (* (pow x 3) (neg 2.0))) (pow (* (pow x 3) (neg 2.0)) 3) (sqrt (* (pow x 3) (neg 2.0))) (sqrt (* (pow x 3) (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (pow (sqrt x) 3) (sqrt (neg 2.0))) (* (sqrt (pow x 3)) (sqrt (neg 2.0))) (* (sqrt (pow x 3)) (sqrt (neg 2.0))) (* (sqrt (neg 2.0)) (pow x 3/2)) (* (sqrt (neg 2.0)) (pow x 3/2)) (* (pow x 3) 2.0) (* (pow x 3) (* (cbrt (neg 2.0)) (cbrt (neg 2.0)))) (* (pow x 3) (sqrt (neg 2.0))) (pow x 3) (neg (pow x 3)) (* (pow x 3) (neg (* (cbrt 2.0) (cbrt 2.0)))) (* (pow x 3) (neg (sqrt 2.0))) (neg (pow x 3)) (* (pow x 3) (* (cbrt 2.0) (cbrt 2.0))) (* (pow x 3) (sqrt 2.0)) (pow x 3) (* (neg 2.0) x) (* (pow (sqrt x) 3) (neg 2.0)) (* (pow x 3) (neg 2.0)) (* x (neg 2.0)) (* (neg 2.0) x) (* (neg 2.0) x) (* (pow (sqrt x) 3) (neg 2.0)) (* (pow x 3) (neg 2.0)) (* (* x x) (neg 2.0)) (* (sqrt (pow x 3)) (neg 2.0)) (* (pow x 3) (neg 2.0)) (* (neg 2.0) (pow x 3/2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* -2.0 (pow x 3)) (* -2.0 (pow x 3)) (* -2.0 (pow x 3)) 322.634 * * * [progress]: adding candidates to table 322.747 * * [progress]: iteration 3 / 4 322.747 * * * [progress]: picking best candidate 322.759 * * * * [pick]: Picked # 322.759 * * * [progress]: localizing error 322.765 * * * [progress]: generating rewritten candidates 322.765 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 322.774 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 322.783 * * * [progress]: generating series expansions 322.783 * * * * [progress]: [ 1 / 2 ] generating series at (2) 322.783 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in (x) around 0 322.783 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 322.783 * [taylor]: Taking taylor expansion of (pow x 2) in x 322.783 * [taylor]: Taking taylor expansion of x in x 322.783 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 322.783 * [taylor]: Taking taylor expansion of 3.0 in x 322.783 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 322.783 * [taylor]: Taking taylor expansion of 2.0 in x 322.783 * [taylor]: Taking taylor expansion of x in x 322.783 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 322.783 * [taylor]: Taking taylor expansion of (pow x 2) in x 322.783 * [taylor]: Taking taylor expansion of x in x 322.783 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 322.784 * [taylor]: Taking taylor expansion of 3.0 in x 322.784 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 322.784 * [taylor]: Taking taylor expansion of 2.0 in x 322.784 * [taylor]: Taking taylor expansion of x in x 322.785 * [approximate]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in (x) around 0 322.785 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 322.785 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 322.785 * [taylor]: Taking taylor expansion of 3.0 in x 322.785 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.785 * [taylor]: Taking taylor expansion of 2.0 in x 322.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.785 * [taylor]: Taking taylor expansion of x in x 322.785 * [taylor]: Taking taylor expansion of (pow x 2) in x 322.785 * [taylor]: Taking taylor expansion of x in x 322.786 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 322.786 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 322.786 * [taylor]: Taking taylor expansion of 3.0 in x 322.786 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.786 * [taylor]: Taking taylor expansion of 2.0 in x 322.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.786 * [taylor]: Taking taylor expansion of x in x 322.786 * [taylor]: Taking taylor expansion of (pow x 2) in x 322.786 * [taylor]: Taking taylor expansion of x in x 322.788 * [approximate]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in (x) around 0 322.788 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 322.788 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 322.788 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.788 * [taylor]: Taking taylor expansion of 2.0 in x 322.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.788 * [taylor]: Taking taylor expansion of x in x 322.788 * [taylor]: Taking taylor expansion of 3.0 in x 322.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 322.788 * [taylor]: Taking taylor expansion of x in x 322.788 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 322.788 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 322.788 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.788 * [taylor]: Taking taylor expansion of 2.0 in x 322.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.788 * [taylor]: Taking taylor expansion of x in x 322.788 * [taylor]: Taking taylor expansion of 3.0 in x 322.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 322.789 * [taylor]: Taking taylor expansion of x in x 322.791 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 322.791 * [approximate]: Taking taylor expansion of (* x (- 3.0 (* 2.0 x))) in (x) around 0 322.791 * [taylor]: Taking taylor expansion of (* x (- 3.0 (* 2.0 x))) in x 322.791 * [taylor]: Taking taylor expansion of x in x 322.791 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 322.791 * [taylor]: Taking taylor expansion of 3.0 in x 322.791 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 322.791 * [taylor]: Taking taylor expansion of 2.0 in x 322.791 * [taylor]: Taking taylor expansion of x in x 322.791 * [taylor]: Taking taylor expansion of (* x (- 3.0 (* 2.0 x))) in x 322.791 * [taylor]: Taking taylor expansion of x in x 322.791 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 322.791 * [taylor]: Taking taylor expansion of 3.0 in x 322.791 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 322.791 * [taylor]: Taking taylor expansion of 2.0 in x 322.791 * [taylor]: Taking taylor expansion of x in x 322.792 * [approximate]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) x) in (x) around 0 322.793 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) x) in x 322.793 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 322.793 * [taylor]: Taking taylor expansion of 3.0 in x 322.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.793 * [taylor]: Taking taylor expansion of 2.0 in x 322.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.793 * [taylor]: Taking taylor expansion of x in x 322.793 * [taylor]: Taking taylor expansion of x in x 322.793 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) x) in x 322.793 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 322.793 * [taylor]: Taking taylor expansion of 3.0 in x 322.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.793 * [taylor]: Taking taylor expansion of 2.0 in x 322.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.793 * [taylor]: Taking taylor expansion of x in x 322.793 * [taylor]: Taking taylor expansion of x in x 322.795 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 2.0 (/ 1 x)) 3.0) x)) in (x) around 0 322.795 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 2.0 (/ 1 x)) 3.0) x)) in x 322.795 * [taylor]: Taking taylor expansion of -1 in x 322.795 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) x) in x 322.795 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 322.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.795 * [taylor]: Taking taylor expansion of 2.0 in x 322.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.795 * [taylor]: Taking taylor expansion of x in x 322.795 * [taylor]: Taking taylor expansion of 3.0 in x 322.795 * [taylor]: Taking taylor expansion of x in x 322.795 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 2.0 (/ 1 x)) 3.0) x)) in x 322.795 * [taylor]: Taking taylor expansion of -1 in x 322.795 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) x) in x 322.795 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 322.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 322.795 * [taylor]: Taking taylor expansion of 2.0 in x 322.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 322.795 * [taylor]: Taking taylor expansion of x in x 322.795 * [taylor]: Taking taylor expansion of 3.0 in x 322.795 * [taylor]: Taking taylor expansion of x in x 322.797 * * * [progress]: simplifying candidates 322.798 * [simplify]: Simplifying using # : (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) (+ (log x) (+ (log x) (log (- 3.0 (* x 2.0))))) (+ (log x) (log (* x (- 3.0 (* x 2.0))))) (log (* x (* x (- 3.0 (* x 2.0))))) (exp (* x (* x (- 3.0 (* x 2.0))))) (* (* (* x x) x) (* (* (* x x) x) (* (* (- 3.0 (* x 2.0)) (- 3.0 (* x 2.0))) (- 3.0 (* x 2.0))))) (* (* (* x x) x) (* (* (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0)))) (* x (- 3.0 (* x 2.0))))) (* (cbrt (* x (* x (- 3.0 (* x 2.0))))) (cbrt (* x (* x (- 3.0 (* x 2.0)))))) (cbrt (* x (* x (- 3.0 (* x 2.0))))) (* (* (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0))))) (* x (* x (- 3.0 (* x 2.0))))) (sqrt (* x (* x (- 3.0 (* x 2.0))))) (sqrt (* x (* x (- 3.0 (* x 2.0))))) (* x (* x 3.0)) (* x (* x (neg (* x 2.0)))) (* x (* x 3.0)) (* x (* x (neg (* x 2.0)))) (* x (* 3.0 x)) (* x (* (neg (* x 2.0)) x)) (* x (* 3.0 x)) (* x (* (neg (* x 2.0)) x)) (* (* x 3.0) x) (* (* x (neg (* x 2.0))) x) (* (* x 3.0) x) (* (* x (neg (* x 2.0))) x) (* (* 3.0 x) x) (* (* (neg (* x 2.0)) x) x) (* (* 3.0 x) x) (* (* (neg (* x 2.0)) x) x) (* x x) (* (cbrt x) (* x (- 3.0 (* x 2.0)))) (* (sqrt x) (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- (pow 3.0 3) (pow (* x 2.0) 3)))) (* x (* x (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0))))) (* x (- 3.0 (* x 2.0))) (+ (log x) (log (- 3.0 (* x 2.0)))) (log (* x (- 3.0 (* x 2.0)))) (exp (* x (- 3.0 (* x 2.0)))) (* (* (* x x) x) (* (* (- 3.0 (* x 2.0)) (- 3.0 (* x 2.0))) (- 3.0 (* x 2.0)))) (* (cbrt (* x (- 3.0 (* x 2.0)))) (cbrt (* x (- 3.0 (* x 2.0))))) (cbrt (* x (- 3.0 (* x 2.0)))) (* (* (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0)))) (* x (- 3.0 (* x 2.0)))) (sqrt (* x (- 3.0 (* x 2.0)))) (sqrt (* x (- 3.0 (* x 2.0)))) (* (sqrt x) (sqrt (- 3.0 (* x 2.0)))) (* (sqrt x) (sqrt (- 3.0 (* x 2.0)))) (* x 3.0) (* x (neg (* x 2.0))) (* x 3.0) (* x (neg (* x 2.0))) (* 3.0 x) (* (neg (* x 2.0)) x) (* 3.0 x) (* (neg (* x 2.0)) x) (* x (* (cbrt (- 3.0 (* x 2.0))) (cbrt (- 3.0 (* x 2.0))))) (* x (sqrt (- 3.0 (* x 2.0)))) (* x 1) (* (cbrt x) (- 3.0 (* x 2.0))) (* (sqrt x) (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* x (- (pow 3.0 3) (pow (* x 2.0) 3))) (* x (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0)))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 x) (* 2.0 (pow x 2))) (- (* 3.0 x) (* 2.0 (pow x 2))) (- (* 3.0 x) (* 2.0 (pow x 2))) 322.799 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 322.800 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 322.802 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 322.807 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 322.826 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 322.845 * * [simplify]: iteration 5 : 91 enodes (cost 9 ) 322.863 * * [simplify]: iteration 6 : 108 enodes (cost 9 ) 322.890 * * [simplify]: iteration 7 : 150 enodes (cost 9 ) 322.940 * * [simplify]: iteration 8 : 272 enodes (cost 9 ) 323.104 * * [simplify]: iteration 9 : 680 enodes (cost 9 ) 324.271 * * [simplify]: iteration 10 : 2222 enodes (cost 9 ) 326.901 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 326.902 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 326.903 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 326.905 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 326.911 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 326.930 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 326.947 * * [simplify]: iteration 5 : 91 enodes (cost 9 ) 326.966 * * [simplify]: iteration 6 : 108 enodes (cost 9 ) 326.993 * * [simplify]: iteration 7 : 150 enodes (cost 9 ) 327.043 * * [simplify]: iteration 8 : 272 enodes (cost 9 ) 327.208 * * [simplify]: iteration 9 : 680 enodes (cost 9 ) 328.368 * * [simplify]: iteration 10 : 2222 enodes (cost 9 ) 330.971 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 330.972 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 330.973 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 330.975 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 330.978 * * [simplify]: iteration 3 : 27 enodes (cost 11 ) 330.981 * * [simplify]: iteration done : 27 enodes (cost 11 ) 330.982 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 330.983 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 330.985 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 330.994 * * [simplify]: iteration 3 : 49 enodes (cost 11 ) 331.001 * * [simplify]: iteration 4 : 56 enodes (cost 11 ) 331.009 * * [simplify]: iteration done : 56 enodes (cost 11 ) 331.009 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 331.010 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 331.013 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 331.020 * * [simplify]: iteration 3 : 82 enodes (cost 10 ) 331.036 * * [simplify]: iteration 4 : 104 enodes (cost 10 ) 331.057 * * [simplify]: iteration 5 : 109 enodes (cost 10 ) 331.078 * * [simplify]: iteration 6 : 126 enodes (cost 10 ) 331.106 * * [simplify]: iteration 7 : 168 enodes (cost 10 ) 331.157 * * [simplify]: iteration 8 : 292 enodes (cost 10 ) 331.325 * * [simplify]: iteration 9 : 713 enodes (cost 10 ) 332.486 * * [simplify]: iteration 10 : 2264 enodes (cost 10 ) 335.077 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 335.077 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 335.085 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 335.088 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 335.095 * * [simplify]: iteration 3 : 105 enodes (cost 10 ) 335.115 * * [simplify]: iteration 4 : 216 enodes (cost 10 ) 335.162 * * [simplify]: iteration 5 : 482 enodes (cost 10 ) 335.441 * * [simplify]: iteration 6 : 1507 enodes (cost 10 ) 336.501 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 336.502 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 336.504 * * [simplify]: iteration 1 : 26 enodes (cost 29 ) 336.510 * * [simplify]: iteration 2 : 110 enodes (cost 15 ) 336.555 * * [simplify]: iteration 3 : 491 enodes (cost 11 ) 336.978 * * [simplify]: iteration 4 : 2295 enodes (cost 11 ) 338.533 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 338.534 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 338.536 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 338.542 * * [simplify]: iteration 2 : 127 enodes (cost 13 ) 338.604 * * [simplify]: iteration 3 : 597 enodes (cost 13 ) 339.293 * * [simplify]: iteration 4 : 2479 enodes (cost 11 ) 341.531 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 341.532 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 341.534 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 341.536 * * [simplify]: iteration 2 : 36 enodes (cost 21 ) 341.542 * * [simplify]: iteration 3 : 71 enodes (cost 21 ) 341.561 * * [simplify]: iteration 4 : 90 enodes (cost 21 ) 341.579 * * [simplify]: iteration 5 : 95 enodes (cost 21 ) 341.598 * * [simplify]: iteration 6 : 112 enodes (cost 21 ) 341.626 * * [simplify]: iteration 7 : 154 enodes (cost 21 ) 341.675 * * [simplify]: iteration 8 : 278 enodes (cost 21 ) 341.838 * * [simplify]: iteration 9 : 680 enodes (cost 21 ) 342.922 * * [simplify]: iteration 10 : 2171 enodes (cost 21 ) 345.120 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 345.120 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 345.121 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 345.123 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 345.129 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 345.149 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 345.166 * * [simplify]: iteration 5 : 92 enodes (cost 10 ) 345.184 * * [simplify]: iteration 6 : 109 enodes (cost 10 ) 345.211 * * [simplify]: iteration 7 : 151 enodes (cost 10 ) 345.260 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 345.417 * * [simplify]: iteration 9 : 671 enodes (cost 10 ) 346.548 * * [simplify]: iteration 10 : 2211 enodes (cost 10 ) 349.206 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 349.206 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 349.208 * * [simplify]: iteration 1 : 25 enodes (cost 29 ) 349.213 * * [simplify]: iteration 2 : 99 enodes (cost 11 ) 349.255 * * [simplify]: iteration 3 : 403 enodes (cost 11 ) 349.663 * * [simplify]: iteration 4 : 1731 enodes (cost 11 ) 352.190 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 352.191 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 352.192 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 352.194 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 352.206 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 352.220 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 352.237 * * [simplify]: iteration 5 : 92 enodes (cost 10 ) 352.255 * * [simplify]: iteration 6 : 109 enodes (cost 10 ) 352.283 * * [simplify]: iteration 7 : 151 enodes (cost 10 ) 352.332 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 352.490 * * [simplify]: iteration 9 : 671 enodes (cost 10 ) 353.618 * * [simplify]: iteration 10 : 2211 enodes (cost 10 ) 356.272 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 356.273 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 356.274 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 356.276 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 356.282 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 356.299 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 356.318 * * [simplify]: iteration 5 : 92 enodes (cost 10 ) 356.336 * * [simplify]: iteration 6 : 109 enodes (cost 10 ) 356.364 * * [simplify]: iteration 7 : 151 enodes (cost 10 ) 356.413 * * [simplify]: iteration 8 : 266 enodes (cost 10 ) 356.572 * * [simplify]: iteration 9 : 671 enodes (cost 10 ) 357.686 * * [simplify]: iteration 10 : 2211 enodes (cost 10 ) 360.347 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 360.348 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 360.348 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 360.349 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 360.350 * * [simplify]: iteration done : 9 enodes (cost 5 ) 360.351 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 360.352 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 360.354 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 360.361 * * [simplify]: iteration 3 : 53 enodes (cost 8 ) 360.373 * * [simplify]: iteration 4 : 58 enodes (cost 6 ) 360.386 * * [simplify]: iteration 5 : 63 enodes (cost 6 ) 360.403 * * [simplify]: iteration 6 : 80 enodes (cost 6 ) 360.421 * * [simplify]: iteration 7 : 124 enodes (cost 6 ) 360.465 * * [simplify]: iteration 8 : 248 enodes (cost 6 ) 360.620 * * [simplify]: iteration 9 : 650 enodes (cost 6 ) 361.726 * * [simplify]: iteration 10 : 2155 enodes (cost 6 ) 364.089 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 364.089 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 364.090 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 364.091 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 364.092 * * [simplify]: iteration done : 9 enodes (cost 5 ) 364.093 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 364.094 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 364.096 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 364.103 * * [simplify]: iteration 3 : 53 enodes (cost 8 ) 364.118 * * [simplify]: iteration 4 : 58 enodes (cost 6 ) 364.130 * * [simplify]: iteration 5 : 63 enodes (cost 6 ) 364.142 * * [simplify]: iteration 6 : 80 enodes (cost 6 ) 364.161 * * [simplify]: iteration 7 : 124 enodes (cost 6 ) 364.203 * * [simplify]: iteration 8 : 248 enodes (cost 6 ) 364.356 * * [simplify]: iteration 9 : 650 enodes (cost 6 ) 365.465 * * [simplify]: iteration 10 : 2155 enodes (cost 6 ) 368.091 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 368.091 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 368.092 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 368.093 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 368.094 * * [simplify]: iteration done : 9 enodes (cost 5 ) 368.094 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 368.095 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 368.097 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 368.104 * * [simplify]: iteration 3 : 54 enodes (cost 8 ) 368.115 * * [simplify]: iteration 4 : 61 enodes (cost 6 ) 368.127 * * [simplify]: iteration 5 : 66 enodes (cost 6 ) 368.141 * * [simplify]: iteration 6 : 83 enodes (cost 6 ) 368.163 * * [simplify]: iteration 7 : 127 enodes (cost 6 ) 368.207 * * [simplify]: iteration 8 : 249 enodes (cost 6 ) 368.364 * * [simplify]: iteration 9 : 651 enodes (cost 6 ) 369.488 * * [simplify]: iteration 10 : 2118 enodes (cost 6 ) 372.585 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 372.585 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 372.586 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 372.587 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 372.588 * * [simplify]: iteration done : 9 enodes (cost 5 ) 372.588 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 372.589 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 372.591 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 372.597 * * [simplify]: iteration 3 : 54 enodes (cost 8 ) 372.613 * * [simplify]: iteration 4 : 61 enodes (cost 6 ) 372.626 * * [simplify]: iteration 5 : 66 enodes (cost 6 ) 372.639 * * [simplify]: iteration 6 : 83 enodes (cost 6 ) 372.657 * * [simplify]: iteration 7 : 127 enodes (cost 6 ) 372.701 * * [simplify]: iteration 8 : 249 enodes (cost 6 ) 372.861 * * [simplify]: iteration 9 : 651 enodes (cost 6 ) 373.994 * * [simplify]: iteration 10 : 2118 enodes (cost 6 ) 377.057 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 377.057 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 377.058 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 377.059 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 377.060 * * [simplify]: iteration done : 9 enodes (cost 5 ) 377.060 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 377.062 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 377.064 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 377.070 * * [simplify]: iteration 3 : 53 enodes (cost 8 ) 377.081 * * [simplify]: iteration 4 : 62 enodes (cost 6 ) 377.093 * * [simplify]: iteration 5 : 67 enodes (cost 6 ) 377.110 * * [simplify]: iteration 6 : 84 enodes (cost 6 ) 377.129 * * [simplify]: iteration 7 : 126 enodes (cost 6 ) 377.172 * * [simplify]: iteration 8 : 243 enodes (cost 6 ) 377.326 * * [simplify]: iteration 9 : 655 enodes (cost 6 ) 378.424 * * [simplify]: iteration 10 : 2178 enodes (cost 6 ) 380.622 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 380.623 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 380.623 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 380.624 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 380.625 * * [simplify]: iteration done : 9 enodes (cost 5 ) 380.626 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 380.627 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 380.629 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 380.634 * * [simplify]: iteration 3 : 53 enodes (cost 8 ) 380.650 * * [simplify]: iteration 4 : 62 enodes (cost 6 ) 380.662 * * [simplify]: iteration 5 : 67 enodes (cost 6 ) 380.675 * * [simplify]: iteration 6 : 84 enodes (cost 6 ) 380.696 * * [simplify]: iteration 7 : 126 enodes (cost 6 ) 380.737 * * [simplify]: iteration 8 : 243 enodes (cost 6 ) 380.889 * * [simplify]: iteration 9 : 655 enodes (cost 6 ) 381.972 * * [simplify]: iteration 10 : 2178 enodes (cost 6 ) 384.172 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 384.172 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 384.173 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 384.174 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 384.175 * * [simplify]: iteration done : 9 enodes (cost 5 ) 384.176 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 384.176 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 384.179 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 384.186 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 384.197 * * [simplify]: iteration 4 : 65 enodes (cost 6 ) 384.212 * * [simplify]: iteration 5 : 70 enodes (cost 6 ) 384.225 * * [simplify]: iteration 6 : 87 enodes (cost 6 ) 384.243 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 384.285 * * [simplify]: iteration 8 : 256 enodes (cost 6 ) 384.435 * * [simplify]: iteration 9 : 664 enodes (cost 6 ) 385.518 * * [simplify]: iteration 10 : 2140 enodes (cost 6 ) 388.495 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 388.495 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 388.496 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 388.497 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 388.498 * * [simplify]: iteration done : 9 enodes (cost 5 ) 388.499 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 388.499 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 388.502 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 388.509 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 388.523 * * [simplify]: iteration 4 : 65 enodes (cost 6 ) 388.535 * * [simplify]: iteration 5 : 70 enodes (cost 6 ) 388.549 * * [simplify]: iteration 6 : 87 enodes (cost 6 ) 388.567 * * [simplify]: iteration 7 : 129 enodes (cost 6 ) 388.610 * * [simplify]: iteration 8 : 256 enodes (cost 6 ) 388.762 * * [simplify]: iteration 9 : 664 enodes (cost 6 ) 389.858 * * [simplify]: iteration 10 : 2140 enodes (cost 6 ) 392.889 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 392.890 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 392.890 * * [simplify]: iteration done : 2 enodes (cost 3 ) 392.891 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 392.892 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 392.894 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 392.902 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 392.925 * * [simplify]: iteration 4 : 145 enodes (cost 10 ) 392.964 * * [simplify]: iteration 5 : 172 enodes (cost 10 ) 393.011 * * [simplify]: iteration 6 : 182 enodes (cost 10 ) 393.055 * * [simplify]: iteration done : 182 enodes (cost 10 ) 393.056 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 393.057 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 393.059 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 393.066 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 393.091 * * [simplify]: iteration 4 : 145 enodes (cost 10 ) 393.132 * * [simplify]: iteration 5 : 172 enodes (cost 10 ) 393.179 * * [simplify]: iteration 6 : 182 enodes (cost 10 ) 393.221 * * [simplify]: iteration done : 182 enodes (cost 10 ) 393.221 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 393.223 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 393.225 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 393.233 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 393.248 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 393.265 * * [simplify]: iteration 5 : 91 enodes (cost 9 ) 393.283 * * [simplify]: iteration 6 : 108 enodes (cost 9 ) 393.311 * * [simplify]: iteration 7 : 150 enodes (cost 9 ) 393.360 * * [simplify]: iteration 8 : 272 enodes (cost 9 ) 393.523 * * [simplify]: iteration 9 : 680 enodes (cost 9 ) 394.676 * * [simplify]: iteration 10 : 2222 enodes (cost 9 ) 397.523 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 397.524 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 397.525 * * [simplify]: iteration 1 : 33 enodes (cost 13 ) 397.537 * * [simplify]: iteration 2 : 100 enodes (cost 13 ) 397.565 * * [simplify]: iteration 3 : 391 enodes (cost 13 ) 397.909 * * [simplify]: iteration 4 : 1413 enodes (cost 13 ) 400.631 * * [simplify]: iteration 5 : 4740 enodes (cost 13 ) 401.944 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 401.945 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 401.946 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 401.951 * * [simplify]: iteration 2 : 74 enodes (cost 15 ) 401.977 * * [simplify]: iteration 3 : 235 enodes (cost 15 ) 402.079 * * [simplify]: iteration 4 : 545 enodes (cost 15 ) 402.339 * * [simplify]: iteration 5 : 863 enodes (cost 15 ) 402.860 * * [simplify]: iteration 6 : 1277 enodes (cost 15 ) 403.897 * * [simplify]: iteration 7 : 2445 enodes (cost 15 ) 405.719 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 405.720 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 405.720 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 405.722 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 405.725 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 405.731 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 405.741 * * [simplify]: iteration done : 41 enodes (cost 7 ) 405.742 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 405.743 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 405.744 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 405.746 * * [simplify]: iteration done : 19 enodes (cost 9 ) 405.747 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 405.748 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 405.749 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 405.753 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 405.760 * * [simplify]: iteration 4 : 48 enodes (cost 8 ) 405.767 * * [simplify]: iteration done : 48 enodes (cost 8 ) 405.767 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 405.768 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 405.770 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 405.775 * * [simplify]: iteration 3 : 66 enodes (cost 8 ) 405.786 * * [simplify]: iteration 4 : 130 enodes (cost 8 ) 405.810 * * [simplify]: iteration 5 : 274 enodes (cost 8 ) 405.925 * * [simplify]: iteration 6 : 722 enodes (cost 8 ) 406.526 * * [simplify]: iteration 7 : 2452 enodes (cost 8 ) 407.555 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 407.556 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 407.563 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 407.566 * * [simplify]: iteration 2 : 70 enodes (cost 11 ) 407.586 * * [simplify]: iteration 3 : 295 enodes (cost 11 ) 407.764 * * [simplify]: iteration 4 : 1320 enodes (cost 9 ) 409.666 * * [simplify]: iteration done : 5002 enodes (cost 9 ) 409.667 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 409.668 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 409.670 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 409.673 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 409.679 * * [simplify]: iteration 4 : 43 enodes (cost 17 ) 409.685 * * [simplify]: iteration done : 43 enodes (cost 17 ) 409.686 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 409.687 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 409.688 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 409.696 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 409.702 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 409.709 * * [simplify]: iteration done : 44 enodes (cost 8 ) 409.710 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 409.711 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 409.715 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 409.740 * * [simplify]: iteration 3 : 325 enodes (cost 9 ) 409.972 * * [simplify]: iteration 4 : 1203 enodes (cost 9 ) 412.030 * * [simplify]: iteration 5 : 4320 enodes (cost 9 ) 414.328 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 414.329 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 414.330 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 414.335 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 414.339 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 414.345 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 414.351 * * [simplify]: iteration done : 44 enodes (cost 8 ) 414.352 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 414.353 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 414.354 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 414.358 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 414.364 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 414.370 * * [simplify]: iteration done : 44 enodes (cost 8 ) 414.371 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 414.372 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 414.373 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 414.375 * * [simplify]: iteration done : 19 enodes (cost 9 ) 414.376 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 414.377 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 414.378 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 414.380 * * [simplify]: iteration done : 19 enodes (cost 9 ) 414.381 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 414.381 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 414.381 * * [simplify]: iteration done : 4 enodes (cost 3 ) 414.382 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 414.383 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 414.384 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 414.388 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 414.394 * * [simplify]: iteration done : 28 enodes (cost 6 ) 414.395 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 414.395 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 414.396 * * [simplify]: iteration done : 4 enodes (cost 3 ) 414.396 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 414.398 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 414.400 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 414.403 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 414.407 * * [simplify]: iteration done : 28 enodes (cost 6 ) 414.408 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 414.409 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 414.409 * * [simplify]: iteration done : 4 enodes (cost 3 ) 414.410 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 414.410 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 414.412 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 414.416 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 414.420 * * [simplify]: iteration done : 28 enodes (cost 6 ) 414.421 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 414.422 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 414.422 * * [simplify]: iteration done : 4 enodes (cost 3 ) 414.423 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 414.423 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 414.425 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 414.428 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 414.433 * * [simplify]: iteration done : 28 enodes (cost 6 ) 414.433 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 414.434 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 414.436 * * [simplify]: iteration 2 : 23 enodes (cost 15 ) 414.439 * * [simplify]: iteration done : 23 enodes (cost 15 ) 414.439 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 414.440 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 414.441 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 414.443 * * [simplify]: iteration done : 18 enodes (cost 8 ) 414.444 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 414.444 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 414.445 * * [simplify]: iteration done : 6 enodes (cost 1 ) 414.445 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 414.446 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 414.447 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 414.451 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 414.463 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 414.474 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 414.484 * * [simplify]: iteration done : 71 enodes (cost 8 ) 414.485 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 414.486 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 414.487 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 414.491 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 414.498 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 414.508 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 414.521 * * [simplify]: iteration done : 71 enodes (cost 8 ) 414.522 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 414.523 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 414.525 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 414.528 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 414.535 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 414.541 * * [simplify]: iteration done : 41 enodes (cost 7 ) 414.542 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 414.543 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 414.548 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 414.577 * * [simplify]: iteration 3 : 325 enodes (cost 11 ) 414.816 * * [simplify]: iteration 4 : 1017 enodes (cost 11 ) 416.098 * * [simplify]: iteration 5 : 3078 enodes (cost 11 ) 418.365 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 418.365 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 418.367 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 418.371 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 418.386 * * [simplify]: iteration 3 : 161 enodes (cost 13 ) 418.437 * * [simplify]: iteration 4 : 322 enodes (cost 13 ) 418.552 * * [simplify]: iteration 5 : 515 enodes (cost 13 ) 418.773 * * [simplify]: iteration 6 : 766 enodes (cost 13 ) 419.406 * * [simplify]: iteration 7 : 1305 enodes (cost 13 ) 421.630 * * [simplify]: iteration 8 : 4467 enodes (cost 13 ) 423.727 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 423.728 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 423.730 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 423.735 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 423.745 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 423.786 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 423.908 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 424.738 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 427.195 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 427.195 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 427.197 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 427.207 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 427.216 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 427.259 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 427.377 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 428.176 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 430.564 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 430.564 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 430.566 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 430.571 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 430.585 * * [simplify]: iteration 3 : 138 enodes (cost 9 ) 430.622 * * [simplify]: iteration 4 : 294 enodes (cost 9 ) 430.743 * * [simplify]: iteration 5 : 651 enodes (cost 9 ) 431.533 * * [simplify]: iteration 6 : 2073 enodes (cost 9 ) 433.935 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 433.936 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 433.938 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 433.940 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 433.945 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 433.952 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 433.961 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 433.970 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 433.985 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 434.036 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 434.501 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 436.778 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 436.779 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 436.780 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 436.783 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 436.787 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 436.795 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 436.807 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 436.816 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 436.831 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 436.884 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 437.343 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 439.619 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 439.619 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 439.621 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 439.623 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 439.627 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 439.635 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 439.644 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 439.654 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 439.669 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 439.721 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 440.184 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 442.452 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 442.453 * [simplify]: Simplified to: (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) (+ (* 2 (log x)) (log (- 3.0 (* x 2.0)))) (+ (log x) (log (* x (- 3.0 (* x 2.0))))) (log (* x (* x (- 3.0 (* x 2.0))))) (exp (* x (* x (- 3.0 (* x 2.0))))) (* (pow x 6) (pow (- 3.0 (* x 2.0)) 3)) (pow (* (* x x) (- 3.0 (* x 2.0))) 3) (* (cbrt (* x (* x (- 3.0 (* x 2.0))))) (cbrt (* x (* x (- 3.0 (* x 2.0)))))) (cbrt (* x (* x (- 3.0 (* x 2.0))))) (pow (* x (* x (- 3.0 (* x 2.0)))) 3) (sqrt (* x (* x (- 3.0 (* x 2.0))))) (sqrt (* x (* x (- 3.0 (* x 2.0))))) (* x (* x 3.0)) (* 2.0 (neg (pow x 3))) (* x (* x 3.0)) (* 2.0 (neg (pow x 3))) (* x (* 3.0 x)) (* (neg 2.0) (pow x 3)) (* x (* 3.0 x)) (* (neg 2.0) (pow x 3)) (* (* x 3.0) x) (* (neg 2.0) (pow x 3)) (* (* x 3.0) x) (* (neg 2.0) (pow x 3)) (* (* 3.0 x) x) (neg (* (pow x 3) 2.0)) (* (* 3.0 x) x) (neg (* (pow x 3) 2.0)) (* x x) (* (cbrt x) (* x (- 3.0 (* x 2.0)))) (* (sqrt x) (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- (pow 3.0 3) (pow (* x 2.0) 3)))) (* x (* x (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0))))) (* x (- 3.0 (* x 2.0))) (+ (log x) (log (- 3.0 (* x 2.0)))) (log (* x (- 3.0 (* x 2.0)))) (exp (* x (- 3.0 (* x 2.0)))) (pow (* x (- 3.0 (* x 2.0))) 3) (* (cbrt (* x (- 3.0 (* x 2.0)))) (cbrt (* x (- 3.0 (* x 2.0))))) (cbrt (* x (- 3.0 (* x 2.0)))) (pow (* x (- 3.0 (* x 2.0))) 3) (sqrt (* x (- 3.0 (* x 2.0)))) (sqrt (* x (- 3.0 (* x 2.0)))) (* (sqrt x) (sqrt (- 3.0 (* x 2.0)))) (* (sqrt x) (sqrt (- 3.0 (* x 2.0)))) (* x 3.0) (* x (neg (* x 2.0))) (* x 3.0) (* x (neg (* x 2.0))) (* 3.0 x) (* (neg (* x 2.0)) x) (* 3.0 x) (* (neg (* x 2.0)) x) (* x (* (cbrt (- 3.0 (* x 2.0))) (cbrt (- 3.0 (* x 2.0))))) (* x (sqrt (- 3.0 (* x 2.0)))) x (* (cbrt x) (- 3.0 (* x 2.0))) (* (sqrt x) (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* x (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (+ 3.0 (* x 2.0)) (* (- 3.0 (* x 2.0)) x)) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) 442.453 * * * [progress]: adding candidates to table 442.520 * * [progress]: iteration 4 / 4 442.520 * * * [progress]: picking best candidate 442.525 * * * * [pick]: Picked # 442.525 * * * [progress]: localizing error 442.535 * * * [progress]: generating rewritten candidates 442.535 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 442.536 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 442.538 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 442.539 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 442.548 * * * [progress]: generating series expansions 442.548 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 442.548 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 442.548 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 442.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 442.548 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 442.548 * [taylor]: Taking taylor expansion of 1/3 in x 442.548 * [taylor]: Taking taylor expansion of (log x) in x 442.548 * [taylor]: Taking taylor expansion of x in x 442.549 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 442.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 442.549 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 442.549 * [taylor]: Taking taylor expansion of 1/3 in x 442.549 * [taylor]: Taking taylor expansion of (log x) in x 442.549 * [taylor]: Taking taylor expansion of x in x 442.556 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 442.556 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.556 * [taylor]: Taking taylor expansion of 1/3 in x 442.556 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.556 * [taylor]: Taking taylor expansion of x in x 442.556 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.556 * [taylor]: Taking taylor expansion of 1/3 in x 442.556 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.556 * [taylor]: Taking taylor expansion of x in x 442.567 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 442.567 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 442.567 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.567 * [taylor]: Taking taylor expansion of 1/3 in x 442.567 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.567 * [taylor]: Taking taylor expansion of x in x 442.568 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.568 * [taylor]: Taking taylor expansion of -1 in x 442.568 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 442.568 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.568 * [taylor]: Taking taylor expansion of 1/3 in x 442.568 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.568 * [taylor]: Taking taylor expansion of x in x 442.568 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.568 * [taylor]: Taking taylor expansion of -1 in x 442.577 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 442.577 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 442.577 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 442.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 442.577 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 442.577 * [taylor]: Taking taylor expansion of 1/3 in x 442.577 * [taylor]: Taking taylor expansion of (log x) in x 442.577 * [taylor]: Taking taylor expansion of x in x 442.577 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 442.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 442.577 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 442.577 * [taylor]: Taking taylor expansion of 1/3 in x 442.577 * [taylor]: Taking taylor expansion of (log x) in x 442.577 * [taylor]: Taking taylor expansion of x in x 442.584 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 442.584 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.585 * [taylor]: Taking taylor expansion of 1/3 in x 442.585 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.585 * [taylor]: Taking taylor expansion of x in x 442.585 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.585 * [taylor]: Taking taylor expansion of 1/3 in x 442.585 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.585 * [taylor]: Taking taylor expansion of x in x 442.603 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 442.603 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 442.603 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.604 * [taylor]: Taking taylor expansion of 1/3 in x 442.604 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.604 * [taylor]: Taking taylor expansion of x in x 442.604 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.604 * [taylor]: Taking taylor expansion of -1 in x 442.604 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 442.604 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.604 * [taylor]: Taking taylor expansion of 1/3 in x 442.604 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.604 * [taylor]: Taking taylor expansion of x in x 442.604 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.604 * [taylor]: Taking taylor expansion of -1 in x 442.613 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 442.614 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 442.614 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 442.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 442.614 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 442.614 * [taylor]: Taking taylor expansion of 1/3 in x 442.614 * [taylor]: Taking taylor expansion of (log x) in x 442.614 * [taylor]: Taking taylor expansion of x in x 442.614 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 442.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 442.614 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 442.614 * [taylor]: Taking taylor expansion of 1/3 in x 442.614 * [taylor]: Taking taylor expansion of (log x) in x 442.614 * [taylor]: Taking taylor expansion of x in x 442.621 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 442.621 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.621 * [taylor]: Taking taylor expansion of 1/3 in x 442.621 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.621 * [taylor]: Taking taylor expansion of x in x 442.621 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.621 * [taylor]: Taking taylor expansion of 1/3 in x 442.621 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.621 * [taylor]: Taking taylor expansion of x in x 442.629 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 442.629 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 442.629 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.629 * [taylor]: Taking taylor expansion of 1/3 in x 442.629 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.629 * [taylor]: Taking taylor expansion of x in x 442.629 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.629 * [taylor]: Taking taylor expansion of -1 in x 442.629 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 442.629 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 442.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 442.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 442.629 * [taylor]: Taking taylor expansion of 1/3 in x 442.629 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 442.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 442.629 * [taylor]: Taking taylor expansion of x in x 442.629 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.629 * [taylor]: Taking taylor expansion of -1 in x 442.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 442.638 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 442.639 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 442.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 442.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 442.639 * [taylor]: Taking taylor expansion of 1/3 in x 442.639 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 442.639 * [taylor]: Taking taylor expansion of (pow x 2) in x 442.639 * [taylor]: Taking taylor expansion of x in x 442.639 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 442.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 442.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 442.639 * [taylor]: Taking taylor expansion of 1/3 in x 442.639 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 442.639 * [taylor]: Taking taylor expansion of (pow x 2) in x 442.639 * [taylor]: Taking taylor expansion of x in x 442.646 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 442.646 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 442.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 442.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 442.646 * [taylor]: Taking taylor expansion of 1/3 in x 442.647 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 442.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 442.647 * [taylor]: Taking taylor expansion of (pow x 2) in x 442.647 * [taylor]: Taking taylor expansion of x in x 442.647 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 442.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 442.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 442.647 * [taylor]: Taking taylor expansion of 1/3 in x 442.647 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 442.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 442.647 * [taylor]: Taking taylor expansion of (pow x 2) in x 442.647 * [taylor]: Taking taylor expansion of x in x 442.656 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0 442.656 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 442.656 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 442.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 442.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 442.656 * [taylor]: Taking taylor expansion of 1/3 in x 442.656 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 442.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 442.656 * [taylor]: Taking taylor expansion of (pow x 2) in x 442.656 * [taylor]: Taking taylor expansion of x in x 442.656 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 442.656 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.656 * [taylor]: Taking taylor expansion of -1 in x 442.656 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 442.657 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 442.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 442.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 442.657 * [taylor]: Taking taylor expansion of 1/3 in x 442.657 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 442.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 442.657 * [taylor]: Taking taylor expansion of (pow x 2) in x 442.657 * [taylor]: Taking taylor expansion of x in x 442.657 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 442.657 * [taylor]: Taking taylor expansion of (cbrt -1) in x 442.657 * [taylor]: Taking taylor expansion of -1 in x 442.669 * * * [progress]: simplifying candidates 442.670 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (+ 1/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))) (pow (cbrt -1) 2)) 442.670 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 442.671 * * [simplify]: iteration done : 3 enodes (cost 3 ) 442.671 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 442.671 * * [simplify]: iteration done : 3 enodes (cost 3 ) 442.672 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 442.672 * * [simplify]: iteration done : 4 enodes (cost 6 ) 442.677 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 442.678 * * [simplify]: iteration done : 3 enodes (cost 3 ) 442.678 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 442.679 * * [simplify]: iteration done : 3 enodes (cost 3 ) 442.679 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 442.679 * * [simplify]: iteration done : 3 enodes (cost 3 ) 442.680 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 442.680 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 442.680 * * [simplify]: iteration done : 4 enodes (cost 1 ) 442.681 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 442.681 * * [simplify]: iteration done : 2 enodes (cost 2 ) 442.682 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 442.682 * * [simplify]: iteration done : 4 enodes (cost 7 ) 442.683 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 442.683 * * [simplify]: iteration done : 3 enodes (cost 3 ) 442.684 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 442.684 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 442.685 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 442.686 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 442.686 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 442.687 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 442.689 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 442.692 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 442.700 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 442.746 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 443.428 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 445.844 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 445.844 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.845 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.845 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.846 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.846 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.846 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.847 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.847 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.848 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 445.848 * * [simplify]: iteration done : 4 enodes (cost 6 ) 445.849 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.849 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.850 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.850 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.851 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.851 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.851 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 445.852 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 445.852 * * [simplify]: iteration done : 4 enodes (cost 1 ) 445.852 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 445.853 * * [simplify]: iteration done : 2 enodes (cost 2 ) 445.853 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 445.854 * * [simplify]: iteration done : 4 enodes (cost 7 ) 445.854 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 445.855 * * [simplify]: iteration done : 3 enodes (cost 3 ) 445.855 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 445.856 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 445.856 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 445.857 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 445.858 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 445.859 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 445.860 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 445.863 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 445.872 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 445.920 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 446.393 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 448.796 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 448.796 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.797 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.797 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.798 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.798 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.798 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.799 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.799 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.800 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 448.800 * * [simplify]: iteration done : 4 enodes (cost 6 ) 448.801 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.801 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.802 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.802 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.802 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.803 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.803 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 448.803 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 448.804 * * [simplify]: iteration done : 4 enodes (cost 1 ) 448.804 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 448.804 * * [simplify]: iteration done : 2 enodes (cost 2 ) 448.805 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 448.805 * * [simplify]: iteration done : 4 enodes (cost 7 ) 448.806 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.806 * * [simplify]: iteration done : 3 enodes (cost 3 ) 448.807 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 448.807 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 448.808 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 448.809 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 448.809 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 448.811 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 448.812 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 448.815 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 448.824 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 448.870 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 449.334 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 451.715 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 451.716 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 451.716 * * [simplify]: iteration done : 3 enodes (cost 3 ) 451.716 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 451.717 * * [simplify]: iteration done : 3 enodes (cost 3 ) 451.717 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 451.718 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 451.718 * * [simplify]: iteration done : 5 enodes (cost 1 ) 451.718 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 451.719 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 451.719 * * [simplify]: iteration done : 6 enodes (cost 1 ) 451.719 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 451.720 * * [simplify]: iteration done : 2 enodes (cost 3 ) 451.720 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 451.721 * * [simplify]: iteration done : 3 enodes (cost 5 ) 451.721 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 451.721 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 451.722 * * [simplify]: iteration done : 6 enodes (cost 1 ) 451.722 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 451.723 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 451.723 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 451.724 * * [simplify]: iteration done : 7 enodes (cost 5 ) 451.725 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 451.725 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 451.726 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 451.727 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 451.728 * * [simplify]: iteration done : 9 enodes (cost 5 ) 451.728 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 451.729 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 451.729 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 451.731 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 451.733 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 451.737 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 451.764 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 451.859 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 452.729 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 454.848 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 454.849 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 454.849 * * [simplify]: iteration done : 2 enodes (cost 3 ) 454.850 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 454.851 * * [simplify]: iteration done : 5 enodes (cost 13 ) 454.851 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 454.852 * * [simplify]: iteration done : 4 enodes (cost 6 ) 454.852 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 454.853 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 454.855 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 454.859 * * [simplify]: iteration 3 : 34 enodes (cost 3 ) 454.870 * * [simplify]: iteration 4 : 53 enodes (cost 3 ) 454.877 * * [simplify]: iteration 5 : 87 enodes (cost 3 ) 454.888 * * [simplify]: iteration 6 : 151 enodes (cost 3 ) 454.932 * * [simplify]: iteration 7 : 335 enodes (cost 3 ) 455.063 * * [simplify]: iteration 8 : 832 enodes (cost 3 ) 456.168 * * [simplify]: iteration 9 : 3226 enodes (cost 3 ) 457.900 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 457.901 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 457.901 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 457.902 * * [simplify]: iteration done : 5 enodes (cost 3 ) 457.903 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 457.903 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 457.903 * * [simplify]: iteration done : 5 enodes (cost 3 ) 457.904 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 457.905 * * [simplify]: iteration done : 5 enodes (cost 13 ) 457.905 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 457.906 * * [simplify]: iteration done : 4 enodes (cost 7 ) 457.906 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 457.906 * * [simplify]: iteration done : 4 enodes (cost 7 ) 457.907 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 457.907 * * [simplify]: iteration done : 4 enodes (cost 7 ) 457.908 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 457.908 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 457.909 * * [simplify]: iteration done : 5 enodes (cost 1 ) 457.909 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 457.910 * * [simplify]: iteration done : 3 enodes (cost 5 ) 457.910 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 457.911 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 457.912 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 457.914 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 457.922 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 457.926 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 457.936 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 457.981 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 458.326 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 459.911 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 459.912 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 459.912 * * [simplify]: iteration done : 4 enodes (cost 7 ) 459.913 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 459.913 * * [simplify]: iteration done : 4 enodes (cost 2 ) 459.914 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 459.914 * * [simplify]: iteration done : 4 enodes (cost 2 ) 459.915 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 459.915 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 459.916 * * [simplify]: iteration done : 4 enodes (cost 1 ) 459.916 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 459.917 * * [simplify]: iteration done : 3 enodes (cost 5 ) 459.917 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 459.918 * * [simplify]: iteration done : 4 enodes (cost 7 ) 459.918 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 459.919 * * [simplify]: iteration done : 4 enodes (cost 7 ) 459.919 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 459.920 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 459.920 * * [simplify]: iteration done : 7 enodes (cost 7 ) 459.921 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 459.921 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 459.922 * * [simplify]: iteration done : 7 enodes (cost 7 ) 459.923 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 459.923 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 459.924 * * [simplify]: iteration done : 7 enodes (cost 7 ) 459.925 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 459.925 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 459.926 * * [simplify]: iteration done : 7 enodes (cost 7 ) 459.926 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 459.927 * * [simplify]: iteration done : 4 enodes (cost 2 ) 459.927 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 459.928 * * [simplify]: iteration done : 4 enodes (cost 2 ) 459.928 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 459.929 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 459.929 * * [simplify]: iteration done : 5 enodes (cost 1 ) 459.930 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 459.930 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 459.930 * * [simplify]: iteration done : 6 enodes (cost 1 ) 459.931 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 459.931 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 459.932 * * [simplify]: iteration done : 6 enodes (cost 9 ) 459.933 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 459.933 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 459.934 * * [simplify]: iteration done : 6 enodes (cost 6 ) 459.934 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 459.935 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 459.935 * * [simplify]: iteration done : 8 enodes (cost 4 ) 459.936 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 459.936 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 459.937 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 459.939 * * [simplify]: iteration done : 10 enodes (cost 10 ) 459.939 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 459.940 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 459.940 * * [simplify]: iteration done : 5 enodes (cost 6 ) 459.941 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 459.941 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 459.942 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 459.942 * * [simplify]: iteration done : 10 enodes (cost 2 ) 459.943 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 459.943 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 459.944 * * [simplify]: iteration done : 5 enodes (cost 6 ) 459.945 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 459.945 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 459.946 * * [simplify]: iteration done : 6 enodes (cost 6 ) 459.946 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 459.946 * * [simplify]: iteration done : 3 enodes (cost 5 ) 459.947 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 459.947 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 459.948 * * [simplify]: iteration done : 5 enodes (cost 6 ) 459.949 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 459.949 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 459.950 * * [simplify]: iteration done : 5 enodes (cost 6 ) 459.950 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 459.951 * * [simplify]: iteration done : 3 enodes (cost 5 ) 459.951 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 459.952 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 459.955 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 459.958 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 459.965 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 459.985 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 460.039 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 460.227 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 461.611 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 463.395 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 463.396 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 463.397 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 463.399 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 463.410 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 463.418 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 463.447 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 463.558 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 464.060 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 465.821 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 465.822 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 465.823 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 465.826 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 465.832 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 465.853 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 465.926 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 466.208 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 467.838 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 469.120 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 469.120 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 469.126 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 469.129 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 469.132 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 469.138 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 469.154 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 469.208 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 469.394 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 470.786 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 472.589 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 472.590 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 472.591 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 472.593 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 472.598 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 472.606 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 472.638 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 472.742 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 473.233 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 474.991 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 474.992 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 474.994 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 474.996 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 475.002 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 475.028 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 475.097 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 475.381 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 476.753 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 478.017 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 478.018 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 478.019 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 478.021 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 478.025 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 478.031 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 478.047 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 478.101 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 478.291 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 479.663 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 481.457 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 481.458 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 481.459 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 481.461 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 481.466 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 481.474 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 481.506 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 481.613 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 482.104 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 483.828 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 483.829 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 483.830 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 483.833 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 483.839 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 483.860 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 483.929 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 484.212 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 485.571 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 487.042 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 487.043 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 487.044 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 487.047 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 487.058 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 487.074 * * [simplify]: iteration 4 : 156 enodes (cost 3 ) 487.125 * * [simplify]: iteration 5 : 315 enodes (cost 3 ) 487.310 * * [simplify]: iteration 6 : 887 enodes (cost 3 ) 488.510 * * [simplify]: iteration 7 : 2939 enodes (cost 3 ) 489.914 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 489.915 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 489.916 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 489.919 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 489.928 * * [simplify]: iteration 3 : 131 enodes (cost 5 ) 489.971 * * [simplify]: iteration 4 : 286 enodes (cost 3 ) 490.119 * * [simplify]: iteration 5 : 617 enodes (cost 3 ) 491.034 * * [simplify]: iteration 6 : 1980 enodes (cost 3 ) 492.300 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 492.301 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 492.303 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 492.307 * * [simplify]: iteration 2 : 66 enodes (cost 14 ) 492.318 * * [simplify]: iteration 3 : 189 enodes (cost 11 ) 492.377 * * [simplify]: iteration 4 : 553 enodes (cost 10 ) 492.976 * * [simplify]: iteration 5 : 2139 enodes (cost 10 ) 494.142 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 494.143 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) 2/3 2 (* x x) (* (cbrt x) (cbrt x)) 2 (* 2 (log (cbrt x))) (* 2 (log (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (* (cbrt x) (cbrt x)) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 1 (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* 1 (cbrt x)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (cbrt x) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (pow x 2/3) (pow x 2/3) (* (cbrt (* x x)) (pow (cbrt -1) 2)) 494.143 * * * [progress]: adding candidates to table 494.211 * [progress]: [Phase 3 of 3] Extracting. 494.212 * * [regime]: Finding splitpoints for: (# # # #) 494.212 * * * [regime-changes]: Trying 1 branch expressions: (x) 494.212 * * * * [regimes]: Trying to branch on x from (# # # #) 494.243 * * * [regime]: Found split indices: #