490.625 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (* (* x 3.0) x) 0.016 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.016 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.017 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.018 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.018 * [simplify]: Simplified to: (* (* x 3.0) x) 0.019 * * [progress]: iteration 1 / 4 0.019 * * * [progress]: picking best candidate 0.020 * * * * [pick]: Picked # 0.020 * * * [progress]: localizing error 0.023 * * * [progress]: generating rewritten candidates 0.023 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.030 * * * [progress]: generating series expansions 0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.030 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0 0.030 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.030 * [taylor]: Taking taylor expansion of 3.0 in x 0.030 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.030 * [taylor]: Taking taylor expansion of 3.0 in x 0.030 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.031 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.031 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.031 * [taylor]: Taking taylor expansion of 3.0 in x 0.031 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.032 * [taylor]: Taking taylor expansion of 3.0 in x 0.032 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.033 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.033 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.033 * [taylor]: Taking taylor expansion of 3.0 in x 0.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.033 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.033 * [taylor]: Taking taylor expansion of 3.0 in x 0.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.034 * * * [progress]: simplifying candidates 0.034 * [simplify]: Simplifying using # : (* (* x 3.0) x) (* (* x 3.0) x) (+ (+ (log x) (log 3.0)) (log x)) (+ (log (* x 3.0)) (log x)) (log (* (* x 3.0) x)) (exp (* (* x 3.0) x)) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x)) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x)) (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x)) (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (* (* x 3.0) (* (cbrt x) (cbrt x))) (* (* x 3.0) (sqrt x)) (* (* x 3.0) 1) (* 3.0 x) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 0.035 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.035 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.036 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.037 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.038 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.038 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.045 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.047 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.047 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.049 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 0.049 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 0.051 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 0.052 * * [simplify]: iteration 4 : 14 enodes (cost 7 ) 0.054 * * [simplify]: iteration done : 14 enodes (cost 7 ) 0.054 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.055 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.056 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 0.058 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 0.060 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 0.062 * * [simplify]: iteration done : 17 enodes (cost 7 ) 0.063 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.063 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.065 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 0.067 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 0.070 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 0.072 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 0.075 * * [simplify]: iteration done : 26 enodes (cost 6 ) 0.076 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.076 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.078 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 0.080 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 0.086 * * [simplify]: iteration 4 : 78 enodes (cost 6 ) 0.099 * * [simplify]: iteration 5 : 175 enodes (cost 6 ) 0.169 * * [simplify]: iteration 6 : 423 enodes (cost 6 ) 0.451 * * [simplify]: iteration 7 : 1172 enodes (cost 6 ) 2.587 * * [simplify]: iteration 8 : 4568 enodes (cost 6 ) 3.905 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.906 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 3.907 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 3.911 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 3.934 * * [simplify]: iteration 3 : 200 enodes (cost 7 ) 4.282 * * [simplify]: iteration 4 : 446 enodes (cost 7 ) 4.702 * * [simplify]: iteration 5 : 1121 enodes (cost 7 ) 7.116 * * [simplify]: iteration 6 : 3799 enodes (cost 7 ) 9.192 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 9.193 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 9.194 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 9.200 * * [simplify]: iteration 2 : 88 enodes (cost 9 ) 9.247 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 9.458 * * [simplify]: iteration 4 : 490 enodes (cost 7 ) 9.905 * * [simplify]: iteration 5 : 1060 enodes (cost 7 ) 11.929 * * [simplify]: iteration 6 : 3098 enodes (cost 7 ) 13.990 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 13.991 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 13.991 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 13.993 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 13.994 * * [simplify]: iteration done : 11 enodes (cost 13 ) 13.995 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.000 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 14.001 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 14.002 * * [simplify]: iteration done : 10 enodes (cost 6 ) 14.002 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 14.004 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 14.007 * * [simplify]: iteration 2 : 65 enodes (cost 7 ) 14.032 * * [simplify]: iteration 3 : 176 enodes (cost 7 ) 14.145 * * [simplify]: iteration 4 : 314 enodes (cost 7 ) 14.376 * * [simplify]: iteration 5 : 505 enodes (cost 7 ) 14.929 * * [simplify]: iteration 6 : 1317 enodes (cost 7 ) 17.927 * * [simplify]: iteration 7 : 4379 enodes (cost 7 ) 19.954 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 19.955 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 19.955 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 19.956 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 19.958 * * [simplify]: iteration done : 10 enodes (cost 6 ) 19.958 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 19.959 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 19.960 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 19.961 * * [simplify]: iteration done : 10 enodes (cost 6 ) 19.961 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 19.962 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 19.964 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 19.968 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 19.978 * * [simplify]: iteration done : 37 enodes (cost 9 ) 19.979 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 19.980 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 19.981 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 19.983 * * [simplify]: iteration done : 15 enodes (cost 6 ) 19.984 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.985 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 19.987 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 19.989 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 19.990 * * [simplify]: iteration done : 27 enodes (cost 3 ) 19.990 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 19.991 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 19.991 * * [simplify]: iteration done : 4 enodes (cost 3 ) 19.992 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.992 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 19.994 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 19.996 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 19.998 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 20.001 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 20.005 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 20.014 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 20.061 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 20.502 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 22.771 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 22.772 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 22.773 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 22.774 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 22.776 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 22.779 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 22.787 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 22.791 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 22.801 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 22.848 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 23.294 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 25.577 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 25.578 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 25.579 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 25.580 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 25.582 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 25.584 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 25.587 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 25.591 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 25.602 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 25.651 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 26.104 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 28.618 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 28.618 * [simplify]: Simplified to: (* (* x 3.0) x) (* (* x 3.0) x) (+ (* 2 (log x)) (log 3.0)) (+ (log (* x 3.0)) (log x)) (log (* (* x 3.0) x)) (exp (* (* x 3.0) x)) (* (pow x 6) (pow 3.0 3)) (pow (* (* x x) 3.0) 3) (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x)) (pow (* (* x 3.0) x) 3) (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (* (* x 3.0) (* (cbrt x) (cbrt x))) (* (* x 3.0) (sqrt x)) (* x 3.0) (* 3.0 x) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 28.618 * * * [progress]: adding candidates to table 28.645 * * [progress]: iteration 2 / 4 28.645 * * * [progress]: picking best candidate 28.658 * * * * [pick]: Picked # 28.658 * * * [progress]: localizing error 28.663 * * * [progress]: generating rewritten candidates 28.663 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 28.670 * * * [progress]: generating series expansions 28.670 * * * * [progress]: [ 1 / 1 ] generating series at (2) 28.670 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0 28.670 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 28.670 * [taylor]: Taking taylor expansion of 3.0 in x 28.670 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.670 * [taylor]: Taking taylor expansion of x in x 28.670 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 28.670 * [taylor]: Taking taylor expansion of 3.0 in x 28.670 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.670 * [taylor]: Taking taylor expansion of x in x 28.671 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 28.671 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 28.671 * [taylor]: Taking taylor expansion of 3.0 in x 28.671 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.671 * [taylor]: Taking taylor expansion of x in x 28.671 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 28.671 * [taylor]: Taking taylor expansion of 3.0 in x 28.671 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.671 * [taylor]: Taking taylor expansion of x in x 28.672 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 28.672 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 28.672 * [taylor]: Taking taylor expansion of 3.0 in x 28.672 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.672 * [taylor]: Taking taylor expansion of x in x 28.672 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 28.672 * [taylor]: Taking taylor expansion of 3.0 in x 28.672 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.672 * [taylor]: Taking taylor expansion of x in x 28.673 * * * [progress]: simplifying candidates 28.674 * [simplify]: Simplifying using # : (+ (log 3.0) (* (log x) 2)) (+ (log 3.0) (* (log x) 2)) (+ (log 3.0) (log (pow x 2))) (log (* 3.0 (pow x 2))) (exp (* 3.0 (pow x 2))) (* (* (* 3.0 3.0) 3.0) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 3.0 (pow x 2))) (cbrt (* 3.0 (pow x 2)))) (cbrt (* 3.0 (pow x 2))) (* (* (* 3.0 (pow x 2)) (* 3.0 (pow x 2))) (* 3.0 (pow x 2))) (sqrt (* 3.0 (pow x 2))) (sqrt (* 3.0 (pow x 2))) (* (sqrt 3.0) (pow (sqrt x) 2)) (* (sqrt 3.0) (pow (sqrt x) 2)) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) (sqrt (pow x 2))) (* (sqrt 3.0) (sqrt (pow x 2))) (* (sqrt 3.0) (pow x (/ 2 2))) (* (sqrt 3.0) (pow x (/ 2 2))) (* 3.0 (pow (* (cbrt x) (cbrt x)) 2)) (* 3.0 (pow (sqrt x) 2)) (* 3.0 (pow 1 2)) (* 3.0 x) (* 3.0 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 3.0 (sqrt (pow x 2))) (* 3.0 1) (* 3.0 (pow x (/ 2 2))) (* (cbrt 3.0) (pow x 2)) (* (sqrt 3.0) (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 28.674 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 28.675 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 28.676 * * [simplify]: iteration done : 9 enodes (cost 7 ) 28.677 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 28.677 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 28.678 * * [simplify]: iteration done : 9 enodes (cost 7 ) 28.679 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 28.680 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 28.687 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 28.689 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 28.692 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 28.695 * * [simplify]: iteration 5 : 50 enodes (cost 7 ) 28.700 * * [simplify]: iteration 6 : 72 enodes (cost 7 ) 28.711 * * [simplify]: iteration 7 : 133 enodes (cost 7 ) 28.759 * * [simplify]: iteration 8 : 345 enodes (cost 7 ) 29.221 * * [simplify]: iteration 9 : 1259 enodes (cost 7 ) 31.684 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 31.685 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 31.686 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 31.689 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 31.692 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 31.697 * * [simplify]: iteration 4 : 58 enodes (cost 6 ) 31.701 * * [simplify]: iteration 5 : 68 enodes (cost 6 ) 31.711 * * [simplify]: iteration 6 : 90 enodes (cost 6 ) 31.722 * * [simplify]: iteration 7 : 153 enodes (cost 6 ) 31.771 * * [simplify]: iteration 8 : 367 enodes (cost 6 ) 32.240 * * [simplify]: iteration 9 : 1307 enodes (cost 6 ) 34.741 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 34.742 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 34.743 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 34.745 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 34.748 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 34.754 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 34.767 * * [simplify]: iteration 5 : 199 enodes (cost 6 ) 34.855 * * [simplify]: iteration 6 : 452 enodes (cost 6 ) 35.218 * * [simplify]: iteration 7 : 1303 enodes (cost 6 ) 37.693 * * [simplify]: iteration 8 : 4632 enodes (cost 6 ) 38.903 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 38.904 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 38.906 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 38.912 * * [simplify]: iteration 2 : 88 enodes (cost 9 ) 38.930 * * [simplify]: iteration 3 : 210 enodes (cost 9 ) 39.025 * * [simplify]: iteration 4 : 418 enodes (cost 7 ) 39.333 * * [simplify]: iteration 5 : 783 enodes (cost 7 ) 40.440 * * [simplify]: iteration 6 : 2344 enodes (cost 7 ) 41.930 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 41.931 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 41.932 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 41.934 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 41.937 * * [simplify]: iteration 3 : 34 enodes (cost 13 ) 41.939 * * [simplify]: iteration 4 : 40 enodes (cost 13 ) 41.942 * * [simplify]: iteration 5 : 50 enodes (cost 13 ) 41.952 * * [simplify]: iteration 6 : 74 enodes (cost 13 ) 41.962 * * [simplify]: iteration 7 : 136 enodes (cost 13 ) 42.013 * * [simplify]: iteration 8 : 358 enodes (cost 13 ) 42.476 * * [simplify]: iteration 9 : 1301 enodes (cost 13 ) 44.875 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 44.875 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 44.876 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 44.878 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 44.880 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 44.883 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 44.885 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 44.897 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 44.907 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 44.954 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 45.408 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 47.971 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 47.972 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 47.973 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 47.980 * * [simplify]: iteration 2 : 95 enodes (cost 7 ) 48.004 * * [simplify]: iteration 3 : 242 enodes (cost 7 ) 48.143 * * [simplify]: iteration 4 : 390 enodes (cost 7 ) 48.379 * * [simplify]: iteration 5 : 564 enodes (cost 7 ) 49.006 * * [simplify]: iteration 6 : 1458 enodes (cost 7 ) 52.545 * * [simplify]: iteration 7 : 4785 enodes (cost 7 ) 54.371 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 54.372 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 54.373 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 54.374 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 54.377 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 54.379 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 54.381 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 54.391 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 54.401 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 54.449 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 54.912 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 57.484 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 57.485 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 57.486 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 57.488 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 57.490 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 57.492 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 57.495 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 57.499 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 57.509 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 57.557 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 58.012 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 60.545 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 60.546 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 60.547 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 60.549 * * [simplify]: iteration 2 : 29 enodes (cost 4 ) 60.552 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 60.556 * * [simplify]: iteration 4 : 79 enodes (cost 4 ) 60.574 * * [simplify]: iteration 5 : 199 enodes (cost 4 ) 60.731 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 62.243 * * [simplify]: iteration 7 : 2611 enodes (cost 4 ) 65.696 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 65.697 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 65.698 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 65.700 * * [simplify]: iteration 2 : 29 enodes (cost 4 ) 65.702 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 65.707 * * [simplify]: iteration 4 : 79 enodes (cost 4 ) 65.724 * * [simplify]: iteration 5 : 199 enodes (cost 4 ) 65.880 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 67.398 * * [simplify]: iteration 7 : 2611 enodes (cost 4 ) 70.831 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 70.832 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 70.833 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 70.833 * * [simplify]: iteration done : 5 enodes (cost 4 ) 70.834 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 70.834 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 70.835 * * [simplify]: iteration done : 5 enodes (cost 4 ) 70.835 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 70.836 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 70.838 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 70.839 * * [simplify]: iteration 3 : 28 enodes (cost 5 ) 70.841 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 70.843 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 70.847 * * [simplify]: iteration 6 : 68 enodes (cost 5 ) 70.856 * * [simplify]: iteration 7 : 134 enodes (cost 5 ) 70.904 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 71.360 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 73.742 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 73.743 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 73.744 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 73.745 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 73.747 * * [simplify]: iteration 3 : 28 enodes (cost 5 ) 73.748 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 73.751 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 73.754 * * [simplify]: iteration 6 : 68 enodes (cost 5 ) 73.764 * * [simplify]: iteration 7 : 134 enodes (cost 5 ) 73.812 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 74.272 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 76.662 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 76.662 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 76.663 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 76.665 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 76.667 * * [simplify]: iteration 3 : 40 enodes (cost 4 ) 76.672 * * [simplify]: iteration 4 : 76 enodes (cost 4 ) 76.690 * * [simplify]: iteration 5 : 200 enodes (cost 4 ) 76.834 * * [simplify]: iteration 6 : 658 enodes (cost 4 ) 78.238 * * [simplify]: iteration 7 : 2471 enodes (cost 4 ) 81.692 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 81.693 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 81.694 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 81.695 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 81.698 * * [simplify]: iteration 3 : 40 enodes (cost 4 ) 81.703 * * [simplify]: iteration 4 : 76 enodes (cost 4 ) 81.724 * * [simplify]: iteration 5 : 200 enodes (cost 4 ) 81.869 * * [simplify]: iteration 6 : 658 enodes (cost 4 ) 83.284 * * [simplify]: iteration 7 : 2471 enodes (cost 4 ) 86.560 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 86.561 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 86.562 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 86.564 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 86.569 * * [simplify]: iteration 3 : 74 enodes (cost 9 ) 86.584 * * [simplify]: iteration 4 : 172 enodes (cost 6 ) 86.650 * * [simplify]: iteration 5 : 424 enodes (cost 6 ) 87.129 * * [simplify]: iteration 6 : 1335 enodes (cost 6 ) 91.156 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 91.156 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 91.157 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 91.159 * * [simplify]: iteration 2 : 28 enodes (cost 3 ) 91.161 * * [simplify]: iteration 3 : 45 enodes (cost 3 ) 91.166 * * [simplify]: iteration 4 : 83 enodes (cost 3 ) 91.190 * * [simplify]: iteration 5 : 205 enodes (cost 3 ) 91.330 * * [simplify]: iteration 6 : 642 enodes (cost 3 ) 92.846 * * [simplify]: iteration 7 : 2582 enodes (cost 3 ) 97.183 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 97.184 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.185 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 97.186 * * [simplify]: iteration 2 : 16 enodes (cost 1 ) 97.186 * * [simplify]: iteration done : 16 enodes (cost 1 ) 97.187 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 97.187 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 97.188 * * [simplify]: iteration done : 4 enodes (cost 3 ) 97.188 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 97.189 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 97.191 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 97.193 * * [simplify]: iteration 3 : 30 enodes (cost 11 ) 97.196 * * [simplify]: iteration 4 : 36 enodes (cost 11 ) 97.199 * * [simplify]: iteration 5 : 46 enodes (cost 11 ) 97.203 * * [simplify]: iteration 6 : 70 enodes (cost 11 ) 97.213 * * [simplify]: iteration 7 : 130 enodes (cost 11 ) 97.260 * * [simplify]: iteration 8 : 339 enodes (cost 11 ) 97.715 * * [simplify]: iteration 9 : 1266 enodes (cost 11 ) 100.105 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 100.106 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 100.107 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 100.108 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 100.110 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 100.112 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 100.114 * * [simplify]: iteration 5 : 43 enodes (cost 4 ) 100.117 * * [simplify]: iteration 6 : 65 enodes (cost 4 ) 100.126 * * [simplify]: iteration 7 : 124 enodes (cost 4 ) 100.179 * * [simplify]: iteration 8 : 349 enodes (cost 4 ) 100.645 * * [simplify]: iteration 9 : 1270 enodes (cost 4 ) 103.006 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 103.006 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 103.007 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 103.007 * * [simplify]: iteration done : 6 enodes (cost 1 ) 103.008 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 103.009 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 103.010 * * [simplify]: iteration 2 : 25 enodes (cost 3 ) 103.012 * * [simplify]: iteration 3 : 41 enodes (cost 3 ) 103.017 * * [simplify]: iteration 4 : 78 enodes (cost 3 ) 103.039 * * [simplify]: iteration 5 : 194 enodes (cost 3 ) 103.189 * * [simplify]: iteration 6 : 648 enodes (cost 3 ) 104.587 * * [simplify]: iteration 7 : 2425 enodes (cost 3 ) 107.706 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 107.707 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 107.708 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 107.709 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 107.711 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 107.714 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 107.717 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 107.721 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 107.731 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 107.779 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 108.240 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 111.055 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 111.055 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 111.056 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 111.058 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 111.060 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 111.063 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 111.066 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 111.071 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 111.081 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 111.131 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 111.606 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 114.194 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 114.195 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 114.195 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 114.197 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 114.199 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 114.202 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 114.204 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 114.208 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 114.225 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 114.268 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 114.730 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 117.048 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 117.049 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 117.050 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 117.051 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 117.053 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 117.056 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 117.058 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 117.062 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 117.072 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 117.123 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 117.577 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 119.888 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 119.889 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 119.890 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 119.892 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 119.894 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 119.896 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 119.898 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 119.902 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 119.912 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 119.961 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 120.411 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 122.705 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 122.706 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 122.707 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 122.709 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 122.711 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 122.713 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 122.716 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 122.720 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 122.735 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 122.779 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 123.223 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 125.496 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 125.496 * [simplify]: Simplified to: (+ (log 3.0) (* (log x) 2)) (+ (log 3.0) (* (log x) 2)) (+ (log 3.0) (log (pow x 2))) (log (* 3.0 (pow x 2))) (exp (* 3.0 (pow x 2))) (pow (* 3.0 (pow x 2)) 3) (* (cbrt (* 3.0 (pow x 2))) (cbrt (* 3.0 (pow x 2)))) (cbrt (* 3.0 (pow x 2))) (pow (* 3.0 (pow x 2)) 3) (sqrt (* 3.0 (pow x 2))) (sqrt (* 3.0 (pow x 2))) (* x (sqrt 3.0)) (* x (sqrt 3.0)) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (fabs x) (sqrt 3.0)) (* (fabs x) (sqrt 3.0)) (* x (sqrt 3.0)) (* x (sqrt 3.0)) (* (* (cbrt x) 3.0) x) (* x 3.0) 3.0 (* 3.0 x) (* 3.0 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* (fabs x) 3.0) 3.0 (* x 3.0) (* (cbrt 3.0) (pow x 2)) (* (sqrt 3.0) (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 125.496 * * * [progress]: adding candidates to table 125.534 * * [progress]: iteration 3 / 4 125.534 * * * [progress]: picking best candidate 125.554 * * * * [pick]: Picked # 125.554 * * * [progress]: localizing error 125.559 * * * [progress]: generating rewritten candidates 125.559 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 125.565 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 125.570 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 125.582 * * * [progress]: generating series expansions 125.582 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 125.582 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0 125.582 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x 125.582 * [taylor]: Taking taylor expansion of x in x 125.582 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.582 * [taylor]: Taking taylor expansion of 3.0 in x 125.582 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x 125.582 * [taylor]: Taking taylor expansion of x in x 125.582 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.582 * [taylor]: Taking taylor expansion of 3.0 in x 125.583 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0 125.583 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.583 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.583 * [taylor]: Taking taylor expansion of 3.0 in x 125.584 * [taylor]: Taking taylor expansion of x in x 125.584 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.584 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.584 * [taylor]: Taking taylor expansion of 3.0 in x 125.584 * [taylor]: Taking taylor expansion of x in x 125.585 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in (x) around 0 125.585 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in x 125.585 * [taylor]: Taking taylor expansion of -1 in x 125.585 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.585 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.585 * [taylor]: Taking taylor expansion of 3.0 in x 125.585 * [taylor]: Taking taylor expansion of x in x 125.585 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in x 125.585 * [taylor]: Taking taylor expansion of -1 in x 125.585 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.585 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.585 * [taylor]: Taking taylor expansion of 3.0 in x 125.585 * [taylor]: Taking taylor expansion of x in x 125.587 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 125.587 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0 125.587 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x 125.587 * [taylor]: Taking taylor expansion of x in x 125.587 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.587 * [taylor]: Taking taylor expansion of 3.0 in x 125.587 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x 125.587 * [taylor]: Taking taylor expansion of x in x 125.587 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.587 * [taylor]: Taking taylor expansion of 3.0 in x 125.588 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0 125.588 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.588 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.588 * [taylor]: Taking taylor expansion of 3.0 in x 125.588 * [taylor]: Taking taylor expansion of x in x 125.588 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.588 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.588 * [taylor]: Taking taylor expansion of 3.0 in x 125.588 * [taylor]: Taking taylor expansion of x in x 125.589 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in (x) around 0 125.589 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in x 125.589 * [taylor]: Taking taylor expansion of -1 in x 125.589 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.589 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.589 * [taylor]: Taking taylor expansion of 3.0 in x 125.589 * [taylor]: Taking taylor expansion of x in x 125.589 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in x 125.590 * [taylor]: Taking taylor expansion of -1 in x 125.590 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 125.590 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.590 * [taylor]: Taking taylor expansion of 3.0 in x 125.590 * [taylor]: Taking taylor expansion of x in x 125.591 * * * * [progress]: [ 3 / 3 ] generating series at (2) 125.591 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in (x) around 0 125.591 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x 125.591 * [taylor]: Taking taylor expansion of (pow x 2) in x 125.591 * [taylor]: Taking taylor expansion of x in x 125.591 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 125.591 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.591 * [taylor]: Taking taylor expansion of 3.0 in x 125.592 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x 125.592 * [taylor]: Taking taylor expansion of (pow x 2) in x 125.592 * [taylor]: Taking taylor expansion of x in x 125.592 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 125.592 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.592 * [taylor]: Taking taylor expansion of 3.0 in x 125.594 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0 125.594 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 125.594 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 125.594 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.594 * [taylor]: Taking taylor expansion of 3.0 in x 125.594 * [taylor]: Taking taylor expansion of (pow x 2) in x 125.594 * [taylor]: Taking taylor expansion of x in x 125.594 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 125.594 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 125.594 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.594 * [taylor]: Taking taylor expansion of 3.0 in x 125.594 * [taylor]: Taking taylor expansion of (pow x 2) in x 125.594 * [taylor]: Taking taylor expansion of x in x 125.597 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0 125.597 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 125.597 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 125.597 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.597 * [taylor]: Taking taylor expansion of 3.0 in x 125.597 * [taylor]: Taking taylor expansion of (pow x 2) in x 125.597 * [taylor]: Taking taylor expansion of x in x 125.597 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 125.597 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 125.597 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 125.597 * [taylor]: Taking taylor expansion of 3.0 in x 125.597 * [taylor]: Taking taylor expansion of (pow x 2) in x 125.597 * [taylor]: Taking taylor expansion of x in x 125.600 * * * [progress]: simplifying candidates 125.601 * [simplify]: Simplifying using # : (* x (sqrt 3.0)) (+ (log x) (log (sqrt 3.0))) (log (* x (sqrt 3.0))) (exp (* x (sqrt 3.0))) (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (cbrt (* x (sqrt 3.0))) (cbrt (* x (sqrt 3.0)))) (cbrt (* x (sqrt 3.0))) (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (sqrt (* (cbrt 3.0) (cbrt 3.0)))) (* x (sqrt (sqrt 3.0))) (* x (sqrt 1)) (* x (sqrt (sqrt 3.0))) (* x 1) (* (cbrt x) (sqrt 3.0)) (* (sqrt x) (sqrt 3.0)) (* x (sqrt 3.0)) (* x (sqrt 3.0)) (+ (log x) (log (sqrt 3.0))) (log (* x (sqrt 3.0))) (exp (* x (sqrt 3.0))) (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (cbrt (* x (sqrt 3.0))) (cbrt (* x (sqrt 3.0)))) (cbrt (* x (sqrt 3.0))) (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (sqrt (* (cbrt 3.0) (cbrt 3.0)))) (* x (sqrt (sqrt 3.0))) (* x (sqrt 1)) (* x (sqrt (sqrt 3.0))) (* x 1) (* (cbrt x) (sqrt 3.0)) (* (sqrt x) (sqrt 3.0)) (* x (sqrt 3.0)) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (+ 1 1) (+ 1 1) (+ (+ (log x) (log (sqrt 3.0))) (+ (log x) (log (sqrt 3.0)))) (+ (+ (log x) (log (sqrt 3.0))) (log (* x (sqrt 3.0)))) (+ (log (* x (sqrt 3.0))) (+ (log x) (log (sqrt 3.0)))) (+ (log (* x (sqrt 3.0))) (log (* x (sqrt 3.0)))) (log (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (exp (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (* (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)))) (* (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0)))) (* (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)))) (* (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0)))) (* (cbrt (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (cbrt (* (* x (sqrt 3.0)) (* x (sqrt 3.0))))) (cbrt (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (* (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (sqrt (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (sqrt (* (* x (sqrt 3.0)) (* x (sqrt 3.0)))) (* x x) (* (sqrt 3.0) (sqrt 3.0)) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* x (sqrt 3.0)) x) (* (sqrt 3.0) (* x (sqrt 3.0))) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (pow (sqrt 3.0) 2) (pow x 2)) (* (pow (sqrt 3.0) 2) (pow x 2)) (* (pow (sqrt 3.0) 2) (pow x 2)) 125.602 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 125.602 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 125.603 * * [simplify]: iteration done : 5 enodes (cost 4 ) 125.604 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 125.604 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 125.605 * * [simplify]: iteration done : 7 enodes (cost 6 ) 125.605 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 125.606 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 125.607 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 125.608 * * [simplify]: iteration done : 10 enodes (cost 5 ) 125.608 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 125.609 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 125.611 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 125.612 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 125.615 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 125.622 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 125.659 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 125.812 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 126.882 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 128.847 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 128.848 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 128.849 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 128.851 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 128.859 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 128.875 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 128.901 * * [simplify]: iteration 5 : 144 enodes (cost 8 ) 128.948 * * [simplify]: iteration 6 : 264 enodes (cost 8 ) 129.111 * * [simplify]: iteration 7 : 653 enodes (cost 8 ) 130.251 * * [simplify]: iteration 8 : 2091 enodes (cost 8 ) 133.531 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 133.532 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 133.532 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 133.533 * * [simplify]: iteration done : 7 enodes (cost 11 ) 133.534 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 133.534 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 133.535 * * [simplify]: iteration done : 6 enodes (cost 5 ) 133.535 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 133.536 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 133.540 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 133.552 * * [simplify]: iteration 3 : 88 enodes (cost 6 ) 133.581 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 133.608 * * [simplify]: iteration 5 : 149 enodes (cost 6 ) 133.664 * * [simplify]: iteration 6 : 280 enodes (cost 6 ) 133.828 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 134.856 * * [simplify]: iteration 8 : 2739 enodes (cost 6 ) 136.759 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 136.759 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.760 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 136.761 * * [simplify]: iteration done : 6 enodes (cost 5 ) 136.761 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.762 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 136.762 * * [simplify]: iteration done : 6 enodes (cost 5 ) 136.763 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.763 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 136.764 * * [simplify]: iteration done : 7 enodes (cost 6 ) 136.765 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.765 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 136.766 * * [simplify]: iteration done : 7 enodes (cost 6 ) 136.767 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.767 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 136.768 * * [simplify]: iteration done : 7 enodes (cost 6 ) 136.769 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.769 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 136.770 * * [simplify]: iteration done : 7 enodes (cost 6 ) 136.771 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 136.771 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 136.772 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 136.774 * * [simplify]: iteration done : 11 enodes (cost 9 ) 136.774 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 136.775 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 136.776 * * [simplify]: iteration done : 8 enodes (cost 5 ) 136.776 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.777 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 136.777 * * [simplify]: iteration done : 6 enodes (cost 5 ) 136.778 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 136.778 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 136.779 * * [simplify]: iteration done : 7 enodes (cost 3 ) 136.779 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.780 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 136.781 * * [simplify]: iteration done : 6 enodes (cost 5 ) 136.781 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 136.782 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 136.782 * * [simplify]: iteration done : 6 enodes (cost 1 ) 136.783 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.783 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 136.784 * * [simplify]: iteration done : 6 enodes (cost 5 ) 136.784 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.785 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 136.785 * * [simplify]: iteration done : 6 enodes (cost 5 ) 136.786 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 136.786 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 136.787 * * [simplify]: iteration done : 5 enodes (cost 4 ) 136.787 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 136.788 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 136.788 * * [simplify]: iteration done : 5 enodes (cost 4 ) 136.789 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.790 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 136.790 * * [simplify]: iteration done : 7 enodes (cost 6 ) 136.791 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.791 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 136.792 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 136.793 * * [simplify]: iteration done : 10 enodes (cost 5 ) 136.794 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 136.795 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 136.796 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 136.797 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 136.804 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 136.811 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 136.844 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 136.996 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 138.107 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 140.124 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 140.124 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 140.125 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 140.128 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 140.135 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 140.157 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 140.181 * * [simplify]: iteration 5 : 144 enodes (cost 8 ) 140.229 * * [simplify]: iteration 6 : 264 enodes (cost 8 ) 140.395 * * [simplify]: iteration 7 : 653 enodes (cost 8 ) 141.550 * * [simplify]: iteration 8 : 2091 enodes (cost 8 ) 144.834 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 144.835 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 144.836 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 144.836 * * [simplify]: iteration done : 7 enodes (cost 11 ) 144.837 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.837 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 144.838 * * [simplify]: iteration done : 6 enodes (cost 5 ) 144.839 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 144.840 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 144.843 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 144.859 * * [simplify]: iteration 3 : 88 enodes (cost 6 ) 144.884 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 144.915 * * [simplify]: iteration 5 : 149 enodes (cost 6 ) 144.973 * * [simplify]: iteration 6 : 280 enodes (cost 6 ) 145.140 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 146.167 * * [simplify]: iteration 8 : 2739 enodes (cost 6 ) 147.843 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 147.843 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 147.844 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 147.845 * * [simplify]: iteration done : 6 enodes (cost 5 ) 147.845 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 147.846 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 147.847 * * [simplify]: iteration done : 6 enodes (cost 5 ) 147.847 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 147.848 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 147.849 * * [simplify]: iteration done : 7 enodes (cost 6 ) 147.850 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 147.850 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 147.851 * * [simplify]: iteration done : 7 enodes (cost 6 ) 147.851 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 147.852 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 147.853 * * [simplify]: iteration done : 7 enodes (cost 6 ) 147.853 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 147.854 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 147.855 * * [simplify]: iteration done : 7 enodes (cost 6 ) 147.855 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 147.860 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 147.861 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 147.862 * * [simplify]: iteration done : 11 enodes (cost 9 ) 147.863 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 147.864 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 147.864 * * [simplify]: iteration done : 8 enodes (cost 5 ) 147.865 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 147.866 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 147.866 * * [simplify]: iteration done : 6 enodes (cost 5 ) 147.867 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 147.867 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 147.868 * * [simplify]: iteration done : 7 enodes (cost 3 ) 147.868 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 147.869 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 147.870 * * [simplify]: iteration done : 6 enodes (cost 5 ) 147.870 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.871 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 147.871 * * [simplify]: iteration done : 6 enodes (cost 1 ) 147.871 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 147.872 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 147.872 * * [simplify]: iteration done : 6 enodes (cost 5 ) 147.873 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 147.874 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 147.874 * * [simplify]: iteration done : 6 enodes (cost 5 ) 147.875 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 147.875 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 147.876 * * [simplify]: iteration done : 5 enodes (cost 4 ) 147.876 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 147.876 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 147.877 * * [simplify]: iteration done : 6 enodes (cost 1 ) 147.877 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 147.878 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 147.878 * * [simplify]: iteration done : 6 enodes (cost 1 ) 147.878 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 147.879 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 147.879 * * [simplify]: iteration done : 6 enodes (cost 1 ) 147.880 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 147.880 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 147.880 * * [simplify]: iteration done : 6 enodes (cost 1 ) 147.881 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 147.881 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 147.884 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 147.887 * * [simplify]: iteration done : 24 enodes (cost 5 ) 147.888 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 147.889 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 147.891 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 147.894 * * [simplify]: iteration done : 24 enodes (cost 5 ) 147.895 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 147.896 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 147.898 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 147.902 * * [simplify]: iteration done : 24 enodes (cost 5 ) 147.903 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 147.904 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 147.906 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 147.910 * * [simplify]: iteration done : 24 enodes (cost 5 ) 147.911 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 147.911 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 147.911 * * [simplify]: iteration done : 6 enodes (cost 1 ) 147.912 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 147.912 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 147.912 * * [simplify]: iteration done : 6 enodes (cost 1 ) 147.913 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 147.914 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 147.916 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 147.920 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 147.925 * * [simplify]: iteration done : 34 enodes (cost 8 ) 147.925 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 147.927 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 147.932 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 147.935 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 147.939 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 147.944 * * [simplify]: iteration done : 37 enodes (cost 7 ) 147.945 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 147.946 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 147.948 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 147.951 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 147.955 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 147.961 * * [simplify]: iteration done : 37 enodes (cost 7 ) 147.961 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 147.962 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 147.964 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 147.967 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 147.974 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 147.979 * * [simplify]: iteration done : 36 enodes (cost 7 ) 147.979 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 147.980 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 147.983 * * [simplify]: iteration 2 : 40 enodes (cost 6 ) 147.989 * * [simplify]: iteration 3 : 64 enodes (cost 6 ) 148.002 * * [simplify]: iteration 4 : 70 enodes (cost 6 ) 148.012 * * [simplify]: iteration 5 : 75 enodes (cost 6 ) 148.022 * * [simplify]: iteration done : 75 enodes (cost 6 ) 148.023 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 148.024 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 148.026 * * [simplify]: iteration 2 : 40 enodes (cost 6 ) 148.033 * * [simplify]: iteration 3 : 73 enodes (cost 6 ) 148.045 * * [simplify]: iteration 4 : 151 enodes (cost 6 ) 148.075 * * [simplify]: iteration 5 : 347 enodes (cost 6 ) 148.250 * * [simplify]: iteration 6 : 861 enodes (cost 6 ) 149.284 * * [simplify]: iteration 7 : 2552 enodes (cost 6 ) 150.234 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 150.235 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 150.236 * * [simplify]: iteration 1 : 23 enodes (cost 21 ) 150.242 * * [simplify]: iteration 2 : 111 enodes (cost 13 ) 150.306 * * [simplify]: iteration 3 : 442 enodes (cost 7 ) 150.892 * * [simplify]: iteration 4 : 1243 enodes (cost 7 ) 153.286 * * [simplify]: iteration 5 : 2628 enodes (cost 7 ) 156.474 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 156.475 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 156.478 * * [simplify]: iteration 1 : 33 enodes (cost 21 ) 156.485 * * [simplify]: iteration 2 : 127 enodes (cost 13 ) 156.580 * * [simplify]: iteration 3 : 587 enodes (cost 6 ) 157.535 * * [simplify]: iteration 4 : 1289 enodes (cost 6 ) 160.685 * * [simplify]: iteration 5 : 3183 enodes (cost 6 ) 163.405 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 163.406 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 163.409 * * [simplify]: iteration 1 : 33 enodes (cost 21 ) 163.417 * * [simplify]: iteration 2 : 129 enodes (cost 13 ) 163.516 * * [simplify]: iteration 3 : 578 enodes (cost 6 ) 164.511 * * [simplify]: iteration 4 : 1412 enodes (cost 6 ) 167.760 * * [simplify]: iteration 5 : 3275 enodes (cost 6 ) 170.337 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 170.337 * * [simplify]: iteration 0 : 7 enodes (cost 29 ) 170.339 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 170.346 * * [simplify]: iteration 2 : 113 enodes (cost 13 ) 170.432 * * [simplify]: iteration 3 : 424 enodes (cost 6 ) 171.083 * * [simplify]: iteration 4 : 1142 enodes (cost 6 ) 173.438 * * [simplify]: iteration 5 : 2124 enodes (cost 6 ) 175.894 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 175.895 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 175.896 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 175.898 * * [simplify]: iteration 2 : 26 enodes (cost 13 ) 175.902 * * [simplify]: iteration done : 26 enodes (cost 13 ) 175.903 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 175.904 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 175.907 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 175.910 * * [simplify]: iteration done : 25 enodes (cost 6 ) 175.911 * * [simplify]: iteration 0 : 7 enodes (cost 29 ) 175.912 * * [simplify]: iteration 1 : 23 enodes (cost 29 ) 175.919 * * [simplify]: iteration 2 : 102 enodes (cost 7 ) 175.988 * * [simplify]: iteration 3 : 421 enodes (cost 6 ) 176.638 * * [simplify]: iteration 4 : 1112 enodes (cost 6 ) 178.944 * * [simplify]: iteration 5 : 2141 enodes (cost 6 ) 181.267 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 181.268 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 181.269 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 181.271 * * [simplify]: iteration 2 : 26 enodes (cost 5 ) 181.275 * * [simplify]: iteration done : 26 enodes (cost 5 ) 181.276 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 181.276 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 181.279 * * [simplify]: iteration 2 : 26 enodes (cost 5 ) 181.283 * * [simplify]: iteration done : 26 enodes (cost 5 ) 181.288 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 181.289 * * [simplify]: iteration done : 2 enodes (cost 3 ) 181.289 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 181.290 * * [simplify]: iteration done : 3 enodes (cost 1 ) 181.290 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 181.291 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 181.291 * * [simplify]: iteration done : 6 enodes (cost 1 ) 181.292 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 181.292 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 181.292 * * [simplify]: iteration done : 6 enodes (cost 1 ) 181.293 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 181.293 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 181.294 * * [simplify]: iteration done : 6 enodes (cost 1 ) 181.294 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 181.295 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 181.295 * * [simplify]: iteration done : 6 enodes (cost 1 ) 181.295 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 181.296 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 181.297 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 181.298 * * [simplify]: iteration done : 10 enodes (cost 6 ) 181.299 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 181.299 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 181.300 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 181.301 * * [simplify]: iteration done : 10 enodes (cost 3 ) 181.302 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 181.302 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 181.303 * * [simplify]: iteration done : 5 enodes (cost 4 ) 181.304 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 181.304 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 181.304 * * [simplify]: iteration done : 5 enodes (cost 4 ) 181.305 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 181.305 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 181.306 * * [simplify]: iteration done : 5 enodes (cost 4 ) 181.307 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 181.307 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 181.308 * * [simplify]: iteration done : 5 enodes (cost 4 ) 181.308 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 181.309 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 181.309 * * [simplify]: iteration done : 5 enodes (cost 4 ) 181.310 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 181.310 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 181.311 * * [simplify]: iteration done : 5 enodes (cost 4 ) 181.311 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 181.312 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 181.316 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 181.323 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 181.337 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 181.399 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 181.897 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 186.844 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 186.845 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 186.846 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 186.850 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 186.862 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 186.875 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 186.938 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 187.450 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 192.430 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 192.431 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 192.432 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 192.436 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 192.444 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 192.457 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 192.522 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 193.023 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 198.010 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 198.011 * [simplify]: Simplified to: (* x (sqrt 3.0)) (+ (log x) (log (sqrt 3.0))) (log (* x (sqrt 3.0))) (exp (* x (sqrt 3.0))) (* (* 3.0 (sqrt 3.0)) (pow x 3)) (* (cbrt (* x (sqrt 3.0))) (cbrt (* x (sqrt 3.0)))) (cbrt (* x (sqrt 3.0))) (pow (* x (sqrt 3.0)) 3) (sqrt (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (fabs (cbrt 3.0)) x) (* x (sqrt (sqrt 3.0))) (* 1 x) (* x (sqrt (sqrt 3.0))) x (* (cbrt x) (sqrt 3.0)) (* (sqrt x) (sqrt 3.0)) (* x (sqrt 3.0)) (* x (sqrt 3.0)) (+ (log x) (log (sqrt 3.0))) (log (* x (sqrt 3.0))) (exp (* x (sqrt 3.0))) (* (* 3.0 (sqrt 3.0)) (pow x 3)) (* (cbrt (* x (sqrt 3.0))) (cbrt (* x (sqrt 3.0)))) (cbrt (* x (sqrt 3.0))) (pow (* x (sqrt 3.0)) 3) (sqrt (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (fabs (cbrt 3.0)) x) (* x (sqrt (sqrt 3.0))) (* 1 x) (* x (sqrt (sqrt 3.0))) x (* (cbrt x) (sqrt 3.0)) (* (sqrt x) (sqrt 3.0)) (* x (sqrt 3.0)) 2 2 2 2 (* 3.0 (* x x)) (* 3.0 (* x x)) (* 3.0 (* x x)) (* 3.0 (* x x)) 2 2 (* 2 (+ (log x) (log (sqrt 3.0)))) (* 2 (log (* x (sqrt 3.0)))) (* 2 (log (* x (sqrt 3.0)))) (* 2 (log (* x (sqrt 3.0)))) (log (* (* x x) 3.0)) (exp (* (* x x) 3.0)) (* (pow x 6) (pow 3.0 3)) (pow (* x (sqrt 3.0)) 6) (pow (* x (sqrt 3.0)) 6) (pow (* x (sqrt 3.0)) 6) (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x)))) (cbrt (* (* x x) 3.0)) (pow (* x (sqrt 3.0)) 6) (fabs (* x (sqrt 3.0))) (fabs (* x (sqrt 3.0))) (* x x) 3.0 2 2 2 2 (* (* x (sqrt 3.0)) x) (* x 3.0) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (pow x 2) 3.0) (* (pow x 2) 3.0) (* (pow x 2) 3.0) 198.011 * * * [progress]: adding candidates to table 198.118 * * [progress]: iteration 4 / 4 198.119 * * * [progress]: picking best candidate 198.126 * * * * [pick]: Picked # 198.127 * * * [progress]: localizing error 198.136 * * * [progress]: generating rewritten candidates 198.136 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 198.145 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 198.151 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 198.161 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 198.191 * * * [progress]: generating series expansions 198.191 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 198.191 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 198.192 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0 198.192 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x 198.192 * [taylor]: Taking taylor expansion of x in x 198.192 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.192 * [taylor]: Taking taylor expansion of 3.0 in x 198.192 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x 198.192 * [taylor]: Taking taylor expansion of x in x 198.192 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.192 * [taylor]: Taking taylor expansion of 3.0 in x 198.193 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0 198.193 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 198.193 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.193 * [taylor]: Taking taylor expansion of 3.0 in x 198.193 * [taylor]: Taking taylor expansion of x in x 198.193 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 198.193 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.193 * [taylor]: Taking taylor expansion of 3.0 in x 198.193 * [taylor]: Taking taylor expansion of x in x 198.194 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in (x) around 0 198.194 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in x 198.194 * [taylor]: Taking taylor expansion of -1 in x 198.194 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 198.194 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.194 * [taylor]: Taking taylor expansion of 3.0 in x 198.195 * [taylor]: Taking taylor expansion of x in x 198.195 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.0) x)) in x 198.195 * [taylor]: Taking taylor expansion of -1 in x 198.195 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x 198.195 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.195 * [taylor]: Taking taylor expansion of 3.0 in x 198.195 * [taylor]: Taking taylor expansion of x in x 198.196 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 198.196 * [approximate]: Taking taylor expansion of (* x (pow (pow (sqrt 3.0) 2) 1/3)) in (x) around 0 198.196 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt 3.0) 2) 1/3)) in x 198.196 * [taylor]: Taking taylor expansion of x in x 198.196 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 198.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 198.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 198.196 * [taylor]: Taking taylor expansion of 1/3 in x 198.196 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 198.196 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.196 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.196 * [taylor]: Taking taylor expansion of 3.0 in x 198.197 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt 3.0) 2) 1/3)) in x 198.197 * [taylor]: Taking taylor expansion of x in x 198.197 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 198.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 198.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 198.197 * [taylor]: Taking taylor expansion of 1/3 in x 198.197 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 198.197 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.197 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.197 * [taylor]: Taking taylor expansion of 3.0 in x 198.213 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3)) in (x) around 0 198.213 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3)) in x 198.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 198.213 * [taylor]: Taking taylor expansion of x in x 198.213 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 198.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 198.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 198.213 * [taylor]: Taking taylor expansion of 1/3 in x 198.213 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 198.213 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.213 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.213 * [taylor]: Taking taylor expansion of 3.0 in x 198.214 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3)) in x 198.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 198.214 * [taylor]: Taking taylor expansion of x in x 198.214 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 198.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 198.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 198.214 * [taylor]: Taking taylor expansion of 1/3 in x 198.214 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 198.214 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.214 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.214 * [taylor]: Taking taylor expansion of 3.0 in x 198.224 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3))) in (x) around 0 198.225 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3))) in x 198.225 * [taylor]: Taking taylor expansion of -1 in x 198.225 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3)) in x 198.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 198.225 * [taylor]: Taking taylor expansion of x in x 198.225 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 198.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 198.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 198.225 * [taylor]: Taking taylor expansion of 1/3 in x 198.225 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 198.225 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.225 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.225 * [taylor]: Taking taylor expansion of 3.0 in x 198.225 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3))) in x 198.225 * [taylor]: Taking taylor expansion of -1 in x 198.225 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (sqrt 3.0) 2) 1/3)) in x 198.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 198.225 * [taylor]: Taking taylor expansion of x in x 198.225 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 198.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 198.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 198.226 * [taylor]: Taking taylor expansion of 1/3 in x 198.226 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 198.226 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.226 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.226 * [taylor]: Taking taylor expansion of 3.0 in x 198.238 * * * * [progress]: [ 4 / 4 ] generating series at (2) 198.238 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in (x) around 0 198.238 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x 198.238 * [taylor]: Taking taylor expansion of (pow x 2) in x 198.238 * [taylor]: Taking taylor expansion of x in x 198.238 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.238 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.238 * [taylor]: Taking taylor expansion of 3.0 in x 198.238 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x 198.238 * [taylor]: Taking taylor expansion of (pow x 2) in x 198.238 * [taylor]: Taking taylor expansion of x in x 198.238 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.238 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.238 * [taylor]: Taking taylor expansion of 3.0 in x 198.241 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0 198.241 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 198.241 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.241 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.241 * [taylor]: Taking taylor expansion of 3.0 in x 198.241 * [taylor]: Taking taylor expansion of (pow x 2) in x 198.241 * [taylor]: Taking taylor expansion of x in x 198.241 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 198.241 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.241 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.241 * [taylor]: Taking taylor expansion of 3.0 in x 198.241 * [taylor]: Taking taylor expansion of (pow x 2) in x 198.241 * [taylor]: Taking taylor expansion of x in x 198.243 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0 198.243 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 198.243 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.243 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.243 * [taylor]: Taking taylor expansion of 3.0 in x 198.244 * [taylor]: Taking taylor expansion of (pow x 2) in x 198.244 * [taylor]: Taking taylor expansion of x in x 198.244 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x 198.244 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 198.244 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 198.244 * [taylor]: Taking taylor expansion of 3.0 in x 198.244 * [taylor]: Taking taylor expansion of (pow x 2) in x 198.244 * [taylor]: Taking taylor expansion of x in x 198.246 * * * [progress]: simplifying candidates 198.248 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* (sqrt 3.0) (sqrt 3.0)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (+ 1 1) (+ (log (cbrt (sqrt 3.0))) (log (cbrt (sqrt 3.0)))) (log (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (exp (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (sqrt 3.0) (sqrt 3.0)) (* (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (sqrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (sqrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (sqrt (* (cbrt 3.0) (cbrt 3.0))))) (* (cbrt (sqrt (cbrt 3.0))) (cbrt (sqrt (cbrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0))))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* 1 1) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* 2 1/3) (* 2 1) (* (cbrt (sqrt 3.0)) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt (* (cbrt 3.0) (cbrt 3.0))))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 1))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt 3.0)) (cbrt 1)) (* (cbrt (sqrt 3.0)) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0))))) (* (cbrt (sqrt 3.0)) (sqrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt 3.0)) 1) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (cbrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* x (sqrt 3.0)) (+ (log x) (log (sqrt 3.0))) (log (* x (sqrt 3.0))) (exp (* x (sqrt 3.0))) (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (cbrt (* x (sqrt 3.0))) (cbrt (* x (sqrt 3.0)))) (cbrt (* x (sqrt 3.0))) (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (sqrt (* (cbrt 3.0) (cbrt 3.0)))) (* x (sqrt (sqrt 3.0))) (* x (sqrt 1)) (* x (sqrt (sqrt 3.0))) (* x 1) (* (cbrt x) (sqrt 3.0)) (* (sqrt x) (sqrt 3.0)) (* x (sqrt 3.0)) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (+ (log x) (+ (log (cbrt (sqrt 3.0))) (log (cbrt (sqrt 3.0))))) (+ (log x) (log (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (log (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (exp (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (* (* x x) x) (* (sqrt 3.0) (sqrt 3.0))) (* (* (* x x) x) (* (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (cbrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (cbrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))))) (cbrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (sqrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (sqrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (sqrt x) (cbrt (sqrt 3.0))) (* (sqrt x) (cbrt (sqrt 3.0))) (* x (cbrt (sqrt 3.0))) (* (cbrt x) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (sqrt x) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (+ (+ (log x) (log (sqrt 3.0))) (+ (+ (log x) (+ (log (cbrt (sqrt 3.0))) (log (cbrt (sqrt 3.0))))) (log (cbrt (sqrt 3.0))))) (+ (+ (log x) (log (sqrt 3.0))) (+ (+ (log x) (log (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (log (cbrt (sqrt 3.0))))) (+ (+ (log x) (log (sqrt 3.0))) (+ (log (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (log (cbrt (sqrt 3.0))))) (+ (+ (log x) (log (sqrt 3.0))) (log (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (+ (log (* x (sqrt 3.0))) (+ (+ (log x) (+ (log (cbrt (sqrt 3.0))) (log (cbrt (sqrt 3.0))))) (log (cbrt (sqrt 3.0))))) (+ (log (* x (sqrt 3.0))) (+ (+ (log x) (log (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (log (cbrt (sqrt 3.0))))) (+ (log (* x (sqrt 3.0))) (+ (log (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (log (cbrt (sqrt 3.0))))) (+ (log (* x (sqrt 3.0))) (log (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (log (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (exp (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (* (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (* (* (* x x) x) (* (sqrt 3.0) (sqrt 3.0))) (sqrt 3.0))) (* (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (* (* (* x x) x) (* (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (sqrt 3.0))) (* (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (* (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (sqrt 3.0))) (* (* (* (* x x) x) (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0))) (* (* (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (* (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (* (* (* (* x x) x) (* (sqrt 3.0) (sqrt 3.0))) (sqrt 3.0))) (* (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (* (* (* (* x x) x) (* (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (sqrt 3.0))) (* (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (* (* (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (sqrt 3.0))) (* (* (* (* x (sqrt 3.0)) (* x (sqrt 3.0))) (* x (sqrt 3.0))) (* (* (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (* (cbrt (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (cbrt (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))))) (cbrt (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (* (* (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (sqrt (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (sqrt (* (* x (sqrt 3.0)) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0))))) (* (* x (sqrt 3.0)) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (sqrt 3.0) (* (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (pow (pow (sqrt 3.0) 2) 1/3) x) (* (pow (pow (sqrt 3.0) 2) 1/3) x) (* (pow (pow (sqrt 3.0) 2) 1/3) x) (* (pow (sqrt 3.0) 2) (pow x 2)) (* (pow (sqrt 3.0) 2) (pow x 2)) (* (pow (sqrt 3.0) 2) (pow x 2)) 198.249 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 198.249 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 198.249 * * [simplify]: iteration done : 5 enodes (cost 1 ) 198.250 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 198.250 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 198.250 * * [simplify]: iteration done : 6 enodes (cost 1 ) 198.251 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 198.252 * * [simplify]: iteration done : 3 enodes (cost 1 ) 198.252 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 198.253 * * [simplify]: iteration done : 4 enodes (cost 7 ) 198.254 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 198.254 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 198.254 * * [simplify]: iteration done : 6 enodes (cost 1 ) 198.255 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 198.255 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 198.256 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 198.257 * * [simplify]: iteration done : 8 enodes (cost 6 ) 198.258 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 198.258 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 198.259 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 198.260 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 198.261 * * [simplify]: iteration done : 10 enodes (cost 6 ) 198.261 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 198.262 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 198.263 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 198.264 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 198.266 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 198.277 * * [simplify]: iteration 5 : 74 enodes (cost 8 ) 198.300 * * [simplify]: iteration 6 : 183 enodes (cost 8 ) 198.405 * * [simplify]: iteration 7 : 561 enodes (cost 8 ) 199.528 * * [simplify]: iteration 8 : 2246 enodes (cost 8 ) 201.727 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 201.728 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 201.728 * * [simplify]: iteration done : 3 enodes (cost 1 ) 201.729 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 201.730 * * [simplify]: iteration done : 6 enodes (cost 17 ) 201.730 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 201.735 * * [simplify]: iteration done : 5 enodes (cost 8 ) 201.736 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 201.737 * * [simplify]: iteration 1 : 14 enodes (cost 23 ) 201.740 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 201.744 * * [simplify]: iteration 3 : 35 enodes (cost 5 ) 201.750 * * [simplify]: iteration 4 : 69 enodes (cost 1 ) 201.762 * * [simplify]: iteration 5 : 133 enodes (cost 1 ) 201.796 * * [simplify]: iteration 6 : 312 enodes (cost 1 ) 202.006 * * [simplify]: iteration 7 : 1008 enodes (cost 1 ) 204.777 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 204.778 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 204.779 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 204.779 * * [simplify]: iteration done : 6 enodes (cost 4 ) 204.780 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 204.780 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 204.781 * * [simplify]: iteration done : 6 enodes (cost 4 ) 204.781 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 204.782 * * [simplify]: iteration done : 6 enodes (cost 17 ) 204.783 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.783 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.784 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 204.784 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 204.785 * * [simplify]: iteration done : 7 enodes (cost 9 ) 204.786 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.786 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.787 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.787 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.788 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.789 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.789 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.790 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.790 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.791 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.791 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 204.792 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 204.792 * * [simplify]: iteration done : 6 enodes (cost 5 ) 204.793 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 204.793 * * [simplify]: iteration done : 4 enodes (cost 7 ) 204.794 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.794 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.795 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.796 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.800 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.801 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.801 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 204.802 * * [simplify]: iteration done : 5 enodes (cost 9 ) 204.802 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 204.803 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 204.803 * * [simplify]: iteration done : 5 enodes (cost 1 ) 204.804 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 204.804 * * [simplify]: iteration done : 4 enodes (cost 7 ) 204.805 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 204.806 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 204.807 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 204.809 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 204.812 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 204.816 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 204.828 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 204.874 * * [simplify]: iteration 7 : 352 enodes (cost 6 ) 205.252 * * [simplify]: iteration 8 : 1262 enodes (cost 6 ) 206.941 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 206.941 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.942 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.943 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.943 * * [simplify]: iteration done : 5 enodes (cost 3 ) 206.944 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.945 * * [simplify]: iteration done : 5 enodes (cost 3 ) 206.945 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 206.946 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 206.946 * * [simplify]: iteration done : 4 enodes (cost 1 ) 206.946 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 206.947 * * [simplify]: iteration done : 4 enodes (cost 7 ) 206.948 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.948 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.949 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.949 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.950 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.950 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.951 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.951 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.952 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.952 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.953 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.954 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.955 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.955 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.956 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.957 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.957 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.958 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.958 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.959 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.959 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.960 * * [simplify]: iteration done : 5 enodes (cost 9 ) 206.960 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.961 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.962 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.962 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.963 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.964 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.964 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.965 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.966 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.966 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.967 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.968 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.968 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.969 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.970 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.970 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 206.971 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 206.972 * * [simplify]: iteration done : 8 enodes (cost 9 ) 206.972 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.973 * * [simplify]: iteration done : 5 enodes (cost 3 ) 206.973 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 206.974 * * [simplify]: iteration done : 5 enodes (cost 3 ) 206.974 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 206.975 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 206.975 * * [simplify]: iteration done : 5 enodes (cost 1 ) 206.976 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 206.976 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 206.976 * * [simplify]: iteration done : 6 enodes (cost 1 ) 206.977 * * [simplify]: iteration 0 : 6 enodes (cost 12 ) 206.978 * * [simplify]: iteration 1 : 7 enodes (cost 12 ) 206.978 * * [simplify]: iteration done : 7 enodes (cost 12 ) 206.979 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 206.980 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 206.981 * * [simplify]: iteration done : 10 enodes (cost 8 ) 206.982 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 206.986 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 206.987 * * [simplify]: iteration done : 7 enodes (cost 8 ) 206.988 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 206.989 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 206.990 * * [simplify]: iteration done : 10 enodes (cost 6 ) 206.990 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 206.991 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 206.992 * * [simplify]: iteration done : 7 enodes (cost 8 ) 206.992 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 206.993 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 206.994 * * [simplify]: iteration done : 9 enodes (cost 5 ) 206.994 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 206.995 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 206.996 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 206.998 * * [simplify]: iteration done : 11 enodes (cost 13 ) 206.998 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 206.999 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 206.999 * * [simplify]: iteration done : 6 enodes (cost 8 ) 207.000 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 207.001 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 207.002 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 207.003 * * [simplify]: iteration done : 11 enodes (cost 3 ) 207.004 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 207.004 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 207.005 * * [simplify]: iteration done : 6 enodes (cost 8 ) 207.005 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 207.006 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 207.007 * * [simplify]: iteration done : 8 enodes (cost 8 ) 207.007 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 207.008 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 207.009 * * [simplify]: iteration done : 7 enodes (cost 8 ) 207.009 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 207.010 * * [simplify]: iteration done : 4 enodes (cost 7 ) 207.010 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 207.011 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 207.011 * * [simplify]: iteration done : 7 enodes (cost 8 ) 207.012 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 207.012 * * [simplify]: iteration done : 4 enodes (cost 7 ) 207.013 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 207.013 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 207.014 * * [simplify]: iteration done : 6 enodes (cost 8 ) 207.015 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 207.015 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 207.016 * * [simplify]: iteration done : 6 enodes (cost 8 ) 207.016 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 207.017 * * [simplify]: iteration done : 4 enodes (cost 7 ) 207.017 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 207.018 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 207.018 * * [simplify]: iteration done : 5 enodes (cost 4 ) 207.019 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 207.020 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 207.021 * * [simplify]: iteration done : 7 enodes (cost 6 ) 207.021 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 207.022 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 207.023 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 207.024 * * [simplify]: iteration done : 10 enodes (cost 5 ) 207.024 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 207.025 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 207.026 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 207.027 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 207.030 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 207.038 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 207.076 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 207.227 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 208.317 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 210.313 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 210.314 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 210.315 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 210.318 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 210.326 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 210.343 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 210.371 * * [simplify]: iteration 5 : 144 enodes (cost 8 ) 210.419 * * [simplify]: iteration 6 : 264 enodes (cost 8 ) 210.586 * * [simplify]: iteration 7 : 653 enodes (cost 8 ) 211.743 * * [simplify]: iteration 8 : 2091 enodes (cost 8 ) 215.069 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 215.070 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 215.071 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 215.071 * * [simplify]: iteration done : 7 enodes (cost 11 ) 215.072 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 215.072 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 215.073 * * [simplify]: iteration done : 6 enodes (cost 5 ) 215.074 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 215.075 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 215.078 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 215.090 * * [simplify]: iteration 3 : 88 enodes (cost 6 ) 215.119 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 215.147 * * [simplify]: iteration 5 : 149 enodes (cost 6 ) 215.202 * * [simplify]: iteration 6 : 280 enodes (cost 6 ) 215.366 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 216.399 * * [simplify]: iteration 8 : 2739 enodes (cost 6 ) 218.090 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 218.091 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 218.092 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 218.092 * * [simplify]: iteration done : 6 enodes (cost 5 ) 218.093 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 218.093 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 218.094 * * [simplify]: iteration done : 6 enodes (cost 5 ) 218.094 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 218.095 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 218.096 * * [simplify]: iteration done : 7 enodes (cost 6 ) 218.096 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 218.097 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 218.098 * * [simplify]: iteration done : 7 enodes (cost 6 ) 218.098 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 218.099 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 218.099 * * [simplify]: iteration done : 7 enodes (cost 6 ) 218.100 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 218.100 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 218.101 * * [simplify]: iteration done : 7 enodes (cost 6 ) 218.102 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 218.102 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 218.103 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 218.105 * * [simplify]: iteration done : 11 enodes (cost 9 ) 218.105 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 218.106 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 218.107 * * [simplify]: iteration done : 8 enodes (cost 5 ) 218.107 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 218.108 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 218.108 * * [simplify]: iteration done : 6 enodes (cost 5 ) 218.109 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 218.110 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 218.110 * * [simplify]: iteration done : 7 enodes (cost 3 ) 218.111 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 218.111 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 218.112 * * [simplify]: iteration done : 6 enodes (cost 5 ) 218.113 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 218.113 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 218.113 * * [simplify]: iteration done : 6 enodes (cost 1 ) 218.114 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 218.114 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 218.115 * * [simplify]: iteration done : 6 enodes (cost 5 ) 218.116 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 218.116 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 218.117 * * [simplify]: iteration done : 6 enodes (cost 5 ) 218.117 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 218.118 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 218.118 * * [simplify]: iteration done : 5 enodes (cost 4 ) 218.119 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 218.120 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 218.121 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 218.122 * * [simplify]: iteration done : 11 enodes (cost 9 ) 218.123 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 218.124 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 218.125 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 218.126 * * [simplify]: iteration done : 11 enodes (cost 9 ) 218.127 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 218.128 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 218.129 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 218.135 * * [simplify]: iteration done : 16 enodes (cost 9 ) 218.136 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 218.137 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 218.138 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 218.140 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 218.142 * * [simplify]: iteration done : 18 enodes (cost 9 ) 218.143 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 218.143 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 218.145 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 218.147 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 218.150 * * [simplify]: iteration 4 : 28 enodes (cost 9 ) 218.153 * * [simplify]: iteration done : 28 enodes (cost 9 ) 218.154 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 218.155 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 218.156 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 218.159 * * [simplify]: iteration 3 : 40 enodes (cost 10 ) 218.164 * * [simplify]: iteration 4 : 82 enodes (cost 10 ) 218.179 * * [simplify]: iteration 5 : 184 enodes (cost 10 ) 218.263 * * [simplify]: iteration 6 : 449 enodes (cost 10 ) 218.615 * * [simplify]: iteration 7 : 1294 enodes (cost 10 ) 221.364 * * [simplify]: iteration 8 : 4992 enodes (cost 10 ) 222.610 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 222.611 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 222.612 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 222.614 * * [simplify]: iteration 2 : 29 enodes (cost 5 ) 222.619 * * [simplify]: iteration 3 : 48 enodes (cost 5 ) 222.627 * * [simplify]: iteration 4 : 69 enodes (cost 5 ) 222.640 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 222.671 * * [simplify]: iteration 6 : 188 enodes (cost 5 ) 222.771 * * [simplify]: iteration 7 : 477 enodes (cost 5 ) 223.465 * * [simplify]: iteration 8 : 1521 enodes (cost 5 ) 226.261 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 226.262 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 226.263 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 226.268 * * [simplify]: iteration 2 : 72 enodes (cost 13 ) 226.291 * * [simplify]: iteration 3 : 201 enodes (cost 9 ) 226.412 * * [simplify]: iteration 4 : 445 enodes (cost 5 ) 226.904 * * [simplify]: iteration 5 : 1215 enodes (cost 5 ) 229.570 * * [simplify]: iteration 6 : 4071 enodes (cost 5 ) 232.029 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 232.030 * * [simplify]: iteration 0 : 8 enodes (cost 21 ) 232.031 * * [simplify]: iteration 1 : 11 enodes (cost 21 ) 232.032 * * [simplify]: iteration 2 : 13 enodes (cost 21 ) 232.038 * * [simplify]: iteration done : 13 enodes (cost 21 ) 232.039 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 232.040 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 232.041 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 232.042 * * [simplify]: iteration done : 12 enodes (cost 10 ) 232.043 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 232.044 * * [simplify]: iteration 1 : 21 enodes (cost 29 ) 232.049 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 232.077 * * [simplify]: iteration 3 : 230 enodes (cost 11 ) 232.232 * * [simplify]: iteration 4 : 345 enodes (cost 9 ) 232.461 * * [simplify]: iteration 5 : 511 enodes (cost 5 ) 233.060 * * [simplify]: iteration 6 : 1372 enodes (cost 5 ) 236.380 * * [simplify]: iteration 7 : 4598 enodes (cost 5 ) 238.510 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 238.511 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 238.511 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 238.513 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 238.514 * * [simplify]: iteration done : 12 enodes (cost 10 ) 238.515 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 238.516 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 238.517 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 238.518 * * [simplify]: iteration done : 12 enodes (cost 10 ) 238.519 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 238.519 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 238.520 * * [simplify]: iteration done : 7 enodes (cost 6 ) 238.521 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 238.521 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 238.522 * * [simplify]: iteration done : 7 enodes (cost 6 ) 238.522 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 238.523 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 238.523 * * [simplify]: iteration done : 6 enodes (cost 5 ) 238.524 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 238.525 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 238.526 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 238.527 * * [simplify]: iteration done : 12 enodes (cost 10 ) 238.528 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 238.529 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 238.530 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 238.532 * * [simplify]: iteration done : 12 enodes (cost 10 ) 238.532 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 238.533 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 238.534 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 238.536 * * [simplify]: iteration done : 11 enodes (cost 9 ) 238.536 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 238.538 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 238.541 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 238.561 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 238.613 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 238.682 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 238.844 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 239.501 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 243.478 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 246.286 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 246.287 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 246.289 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 246.293 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 246.309 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 246.362 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 246.434 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 246.597 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 247.480 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 251.517 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 254.360 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 254.361 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 254.362 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 254.366 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 254.382 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 254.437 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 254.512 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 254.679 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 255.347 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 259.355 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 262.177 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 262.178 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 262.180 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 262.184 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 262.200 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 262.253 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 262.326 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 262.493 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 263.162 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 267.174 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 269.989 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 269.990 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 269.991 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 269.995 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 270.015 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 270.068 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 270.139 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 270.304 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 270.969 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 274.941 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 278.004 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 278.004 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 278.006 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 278.009 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 278.030 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 278.085 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 278.155 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 278.321 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 278.991 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 283.046 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 285.866 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 285.866 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 285.868 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 285.871 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 285.889 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 285.943 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 286.016 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 286.179 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 286.848 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 290.904 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 293.721 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 293.722 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 293.723 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 293.727 * * [simplify]: iteration 2 : 56 enodes (cost 18 ) 293.743 * * [simplify]: iteration 3 : 140 enodes (cost 12 ) 293.796 * * [simplify]: iteration 4 : 177 enodes (cost 9 ) 293.870 * * [simplify]: iteration 5 : 252 enodes (cost 5 ) 294.037 * * [simplify]: iteration 6 : 527 enodes (cost 5 ) 294.699 * * [simplify]: iteration 7 : 1361 enodes (cost 5 ) 298.671 * * [simplify]: iteration 8 : 4408 enodes (cost 5 ) 301.468 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 301.469 * * [simplify]: iteration 0 : 12 enodes (cost 24 ) 301.471 * * [simplify]: iteration 1 : 26 enodes (cost 21 ) 301.475 * * [simplify]: iteration 2 : 66 enodes (cost 16 ) 301.489 * * [simplify]: iteration 3 : 141 enodes (cost 16 ) 301.535 * * [simplify]: iteration 4 : 177 enodes (cost 15 ) 301.590 * * [simplify]: iteration 5 : 179 enodes (cost 15 ) 301.645 * * [simplify]: iteration done : 179 enodes (cost 15 ) 301.646 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 301.648 * * [simplify]: iteration 1 : 24 enodes (cost 23 ) 301.652 * * [simplify]: iteration 2 : 61 enodes (cost 21 ) 301.666 * * [simplify]: iteration 3 : 147 enodes (cost 16 ) 301.713 * * [simplify]: iteration 4 : 187 enodes (cost 15 ) 301.769 * * [simplify]: iteration 5 : 189 enodes (cost 15 ) 301.828 * * [simplify]: iteration done : 189 enodes (cost 15 ) 301.829 * * [simplify]: iteration 0 : 13 enodes (cost 22 ) 301.831 * * [simplify]: iteration 1 : 25 enodes (cost 22 ) 301.834 * * [simplify]: iteration 2 : 56 enodes (cost 22 ) 301.845 * * [simplify]: iteration 3 : 136 enodes (cost 20 ) 301.890 * * [simplify]: iteration 4 : 189 enodes (cost 15 ) 301.948 * * [simplify]: iteration 5 : 194 enodes (cost 15 ) 302.007 * * [simplify]: iteration 6 : 195 enodes (cost 15 ) 302.065 * * [simplify]: iteration done : 195 enodes (cost 15 ) 302.066 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 302.068 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 302.071 * * [simplify]: iteration 2 : 51 enodes (cost 21 ) 302.080 * * [simplify]: iteration 3 : 112 enodes (cost 15 ) 302.112 * * [simplify]: iteration 4 : 179 enodes (cost 11 ) 302.173 * * [simplify]: iteration 5 : 239 enodes (cost 7 ) 302.251 * * [simplify]: iteration 6 : 338 enodes (cost 7 ) 302.450 * * [simplify]: iteration 7 : 730 enodes (cost 7 ) 303.311 * * [simplify]: iteration 8 : 2008 enodes (cost 7 ) 305.214 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 305.215 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 305.217 * * [simplify]: iteration 1 : 26 enodes (cost 20 ) 305.220 * * [simplify]: iteration 2 : 59 enodes (cost 15 ) 305.232 * * [simplify]: iteration 3 : 130 enodes (cost 15 ) 305.273 * * [simplify]: iteration 4 : 177 enodes (cost 15 ) 305.330 * * [simplify]: iteration 5 : 181 enodes (cost 15 ) 305.387 * * [simplify]: iteration 6 : 182 enodes (cost 15 ) 305.446 * * [simplify]: iteration done : 182 enodes (cost 15 ) 305.447 * * [simplify]: iteration 0 : 13 enodes (cost 22 ) 305.449 * * [simplify]: iteration 1 : 24 enodes (cost 22 ) 305.452 * * [simplify]: iteration 2 : 54 enodes (cost 20 ) 305.463 * * [simplify]: iteration 3 : 131 enodes (cost 15 ) 305.504 * * [simplify]: iteration 4 : 189 enodes (cost 15 ) 305.559 * * [simplify]: iteration 5 : 195 enodes (cost 15 ) 305.616 * * [simplify]: iteration 6 : 196 enodes (cost 15 ) 305.673 * * [simplify]: iteration done : 196 enodes (cost 15 ) 305.674 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 305.675 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 305.679 * * [simplify]: iteration 2 : 50 enodes (cost 21 ) 305.688 * * [simplify]: iteration 3 : 122 enodes (cost 19 ) 305.722 * * [simplify]: iteration 4 : 189 enodes (cost 15 ) 305.779 * * [simplify]: iteration 5 : 209 enodes (cost 15 ) 305.839 * * [simplify]: iteration 6 : 210 enodes (cost 15 ) 305.898 * * [simplify]: iteration done : 210 enodes (cost 15 ) 305.899 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 305.900 * * [simplify]: iteration 1 : 25 enodes (cost 20 ) 305.904 * * [simplify]: iteration 2 : 48 enodes (cost 20 ) 305.912 * * [simplify]: iteration 3 : 100 enodes (cost 14 ) 305.939 * * [simplify]: iteration 4 : 177 enodes (cost 11 ) 305.995 * * [simplify]: iteration 5 : 241 enodes (cost 11 ) 306.071 * * [simplify]: iteration 6 : 333 enodes (cost 7 ) 306.263 * * [simplify]: iteration 7 : 728 enodes (cost 7 ) 307.140 * * [simplify]: iteration 8 : 2015 enodes (cost 7 ) 309.382 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 309.383 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 309.385 * * [simplify]: iteration 1 : 25 enodes (cost 19 ) 309.389 * * [simplify]: iteration 2 : 75 enodes (cost 19 ) 309.413 * * [simplify]: iteration 3 : 214 enodes (cost 13 ) 309.501 * * [simplify]: iteration 4 : 414 enodes (cost 10 ) 309.654 * * [simplify]: iteration 5 : 591 enodes (cost 6 ) 309.898 * * [simplify]: iteration 6 : 980 enodes (cost 6 ) 310.883 * * [simplify]: iteration 7 : 2465 enodes (cost 6 ) 312.723 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 312.724 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 312.726 * * [simplify]: iteration 1 : 24 enodes (cost 19 ) 312.730 * * [simplify]: iteration 2 : 72 enodes (cost 19 ) 312.754 * * [simplify]: iteration 3 : 222 enodes (cost 13 ) 312.829 * * [simplify]: iteration 4 : 493 enodes (cost 10 ) 312.998 * * [simplify]: iteration 5 : 1267 enodes (cost 6 ) 314.211 * * [simplify]: iteration 6 : 3766 enodes (cost 6 ) 315.042 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 315.043 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 315.045 * * [simplify]: iteration 1 : 27 enodes (cost 21 ) 315.052 * * [simplify]: iteration 2 : 109 enodes (cost 13 ) 315.118 * * [simplify]: iteration 3 : 493 enodes (cost 9 ) 315.893 * * [simplify]: iteration 4 : 1277 enodes (cost 7 ) 318.245 * * [simplify]: iteration 5 : 2424 enodes (cost 7 ) 321.800 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 321.801 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 321.804 * * [simplify]: iteration 1 : 43 enodes (cost 43 ) 321.814 * * [simplify]: iteration 2 : 183 enodes (cost 25 ) 322.041 * * [simplify]: iteration 3 : 1076 enodes (cost 13 ) 324.872 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 324.873 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 324.876 * * [simplify]: iteration 1 : 42 enodes (cost 43 ) 324.887 * * [simplify]: iteration 2 : 185 enodes (cost 23 ) 325.015 * * [simplify]: iteration 3 : 1164 enodes (cost 19 ) 326.738 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 326.738 * * [simplify]: iteration 0 : 15 enodes (cost 56 ) 326.741 * * [simplify]: iteration 1 : 42 enodes (cost 52 ) 326.752 * * [simplify]: iteration 2 : 199 enodes (cost 24 ) 326.904 * * [simplify]: iteration 3 : 1236 enodes (cost 18 ) 328.251 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 328.251 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 328.254 * * [simplify]: iteration 1 : 35 enodes (cost 21 ) 328.262 * * [simplify]: iteration 2 : 120 enodes (cost 13 ) 328.342 * * [simplify]: iteration 3 : 521 enodes (cost 6 ) 329.189 * * [simplify]: iteration 4 : 1217 enodes (cost 6 ) 332.119 * * [simplify]: iteration 5 : 3061 enodes (cost 6 ) 334.691 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 334.692 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 334.695 * * [simplify]: iteration 1 : 47 enodes (cost 47 ) 334.706 * * [simplify]: iteration 2 : 193 enodes (cost 23 ) 334.960 * * [simplify]: iteration 3 : 1100 enodes (cost 13 ) 337.984 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 337.985 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 337.987 * * [simplify]: iteration 1 : 44 enodes (cost 47 ) 337.998 * * [simplify]: iteration 2 : 190 enodes (cost 21 ) 338.141 * * [simplify]: iteration 3 : 1111 enodes (cost 21 ) 340.194 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 340.195 * * [simplify]: iteration 0 : 13 enodes (cost 56 ) 340.197 * * [simplify]: iteration 1 : 44 enodes (cost 56 ) 340.210 * * [simplify]: iteration 2 : 205 enodes (cost 22 ) 340.368 * * [simplify]: iteration 3 : 1210 enodes (cost 16 ) 341.755 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 341.756 * * [simplify]: iteration 0 : 11 enodes (cost 39 ) 341.757 * * [simplify]: iteration 1 : 23 enodes (cost 39 ) 341.761 * * [simplify]: iteration 2 : 58 enodes (cost 39 ) 341.778 * * [simplify]: iteration 3 : 145 enodes (cost 27 ) 341.830 * * [simplify]: iteration 4 : 181 enodes (cost 21 ) 341.902 * * [simplify]: iteration 5 : 251 enodes (cost 13 ) 342.058 * * [simplify]: iteration 6 : 527 enodes (cost 13 ) 342.726 * * [simplify]: iteration 7 : 1371 enodes (cost 13 ) 346.675 * * [simplify]: iteration 8 : 4410 enodes (cost 13 ) 349.025 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 349.026 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 349.027 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 349.031 * * [simplify]: iteration 2 : 57 enodes (cost 19 ) 349.052 * * [simplify]: iteration 3 : 141 enodes (cost 13 ) 349.105 * * [simplify]: iteration 4 : 181 enodes (cost 10 ) 349.174 * * [simplify]: iteration 5 : 252 enodes (cost 6 ) 349.326 * * [simplify]: iteration 6 : 528 enodes (cost 6 ) 349.954 * * [simplify]: iteration 7 : 1365 enodes (cost 6 ) 354.030 * * [simplify]: iteration 8 : 4391 enodes (cost 6 ) 356.870 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 356.870 * * [simplify]: iteration 0 : 11 enodes (cost 56 ) 356.872 * * [simplify]: iteration 1 : 33 enodes (cost 56 ) 356.885 * * [simplify]: iteration 2 : 177 enodes (cost 20 ) 357.055 * * [simplify]: iteration 3 : 1270 enodes (cost 14 ) 359.109 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 359.110 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 359.117 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 359.120 * * [simplify]: iteration 2 : 57 enodes (cost 19 ) 359.136 * * [simplify]: iteration 3 : 141 enodes (cost 13 ) 359.190 * * [simplify]: iteration 4 : 181 enodes (cost 10 ) 359.259 * * [simplify]: iteration 5 : 252 enodes (cost 6 ) 359.412 * * [simplify]: iteration 6 : 529 enodes (cost 5 ) 360.051 * * [simplify]: iteration 7 : 1366 enodes (cost 5 ) 364.090 * * [simplify]: iteration 8 : 4411 enodes (cost 5 ) 366.499 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 366.500 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 366.501 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 366.505 * * [simplify]: iteration 2 : 57 enodes (cost 19 ) 366.521 * * [simplify]: iteration 3 : 141 enodes (cost 13 ) 366.575 * * [simplify]: iteration 4 : 181 enodes (cost 10 ) 366.643 * * [simplify]: iteration 5 : 252 enodes (cost 6 ) 366.794 * * [simplify]: iteration 6 : 529 enodes (cost 5 ) 367.430 * * [simplify]: iteration 7 : 1366 enodes (cost 5 ) 371.442 * * [simplify]: iteration 8 : 4411 enodes (cost 5 ) 373.817 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 373.818 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 373.819 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 373.822 * * [simplify]: iteration 2 : 42 enodes (cost 14 ) 373.832 * * [simplify]: iteration 3 : 79 enodes (cost 14 ) 373.853 * * [simplify]: iteration 4 : 98 enodes (cost 14 ) 373.875 * * [simplify]: iteration done : 98 enodes (cost 14 ) 373.876 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 373.877 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 373.880 * * [simplify]: iteration 2 : 38 enodes (cost 16 ) 373.888 * * [simplify]: iteration 3 : 73 enodes (cost 10 ) 373.907 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 373.926 * * [simplify]: iteration 5 : 129 enodes (cost 3 ) 373.965 * * [simplify]: iteration 6 : 265 enodes (cost 3 ) 374.151 * * [simplify]: iteration 7 : 681 enodes (cost 3 ) 375.237 * * [simplify]: iteration 8 : 2230 enodes (cost 3 ) 377.757 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 377.757 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 377.758 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 377.759 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 377.760 * * [simplify]: iteration done : 11 enodes (cost 9 ) 377.761 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 377.761 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 377.762 * * [simplify]: iteration done : 5 enodes (cost 4 ) 377.762 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 377.763 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 377.763 * * [simplify]: iteration done : 5 enodes (cost 4 ) 377.764 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 377.764 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 377.765 * * [simplify]: iteration done : 5 enodes (cost 4 ) 377.766 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 377.767 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 377.770 * * [simplify]: iteration 2 : 37 enodes (cost 4 ) 377.773 * * [simplify]: iteration 3 : 62 enodes (cost 4 ) 377.781 * * [simplify]: iteration 4 : 121 enodes (cost 4 ) 377.815 * * [simplify]: iteration 5 : 290 enodes (cost 4 ) 378.020 * * [simplify]: iteration 6 : 873 enodes (cost 4 ) 380.149 * * [simplify]: iteration 7 : 3381 enodes (cost 4 ) 382.822 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 382.822 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 382.824 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 382.826 * * [simplify]: iteration 2 : 37 enodes (cost 4 ) 382.829 * * [simplify]: iteration 3 : 62 enodes (cost 4 ) 382.837 * * [simplify]: iteration 4 : 121 enodes (cost 4 ) 382.867 * * [simplify]: iteration 5 : 290 enodes (cost 4 ) 383.073 * * [simplify]: iteration 6 : 873 enodes (cost 4 ) 385.220 * * [simplify]: iteration 7 : 3381 enodes (cost 4 ) 388.166 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 388.166 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 388.167 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 388.170 * * [simplify]: iteration 2 : 37 enodes (cost 4 ) 388.173 * * [simplify]: iteration 3 : 62 enodes (cost 4 ) 388.181 * * [simplify]: iteration 4 : 121 enodes (cost 4 ) 388.214 * * [simplify]: iteration 5 : 290 enodes (cost 4 ) 388.427 * * [simplify]: iteration 6 : 873 enodes (cost 4 ) 390.630 * * [simplify]: iteration 7 : 3381 enodes (cost 4 ) 393.357 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 393.362 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 393.363 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 393.367 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 393.374 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 393.386 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 393.449 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 393.964 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 399.024 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 399.024 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 399.025 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 399.035 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 399.042 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 399.054 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 399.118 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 399.631 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 404.579 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 404.580 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 404.581 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 404.585 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 404.597 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 404.611 * * [simplify]: iteration 4 : 167 enodes (cost 5 ) 404.674 * * [simplify]: iteration 5 : 428 enodes (cost 5 ) 405.176 * * [simplify]: iteration 6 : 1345 enodes (cost 5 ) 410.158 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 410.159 * [simplify]: Simplified to: 2/3 2 3.0 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) 2 (* 2 (log (cbrt (sqrt 3.0)))) (* 2 (log (cbrt (sqrt 3.0)))) (exp (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) 3.0 (* (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) 3.0 (fabs (cbrt (sqrt 3.0))) (fabs (cbrt (sqrt 3.0))) (* (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (* (cbrt (fabs (cbrt 3.0))) (cbrt (fabs (cbrt 3.0)))) (* (cbrt (sqrt (cbrt 3.0))) (cbrt (sqrt (cbrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) 1 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (pow (cbrt (cbrt (sqrt 3.0))) 4) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)) 1 (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (cbrt (sqrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)) 2/3 2 (* (cbrt (sqrt 3.0)) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (cbrt (fabs (cbrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt (sqrt 3.0)))) (* (cbrt 1) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt (sqrt 3.0)))) (* 1 (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0))))) (* (cbrt (sqrt 3.0)) (sqrt (cbrt (sqrt 3.0)))) (cbrt (sqrt 3.0)) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (cbrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (sqrt (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* x (sqrt 3.0)) (+ (log x) (log (sqrt 3.0))) (log (* x (sqrt 3.0))) (exp (* x (sqrt 3.0))) (* (* 3.0 (sqrt 3.0)) (pow x 3)) (* (cbrt (* x (sqrt 3.0))) (cbrt (* x (sqrt 3.0)))) (cbrt (* x (sqrt 3.0))) (pow (* x (sqrt 3.0)) 3) (sqrt (* x (sqrt 3.0))) (sqrt (* x (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* (sqrt x) (sqrt (sqrt 3.0))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (fabs (cbrt 3.0)) x) (* x (sqrt (sqrt 3.0))) (* 1 x) (* x (sqrt (sqrt 3.0))) x (* (cbrt x) (sqrt 3.0)) (* (sqrt x) (sqrt 3.0)) (* x (sqrt 3.0)) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (+ (log x) (* 2 (log (cbrt (sqrt 3.0))))) (+ (log x) (* 2 (log (cbrt (sqrt 3.0))))) (+ (log x) (* 2 (log (cbrt (sqrt 3.0))))) (exp (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (pow x 3) 3.0) (* 3.0 (pow x 3)) (* (cbrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (cbrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))))) (cbrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* 3.0 (pow x 3)) (sqrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (sqrt (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (sqrt x) (cbrt (sqrt 3.0))) (* (sqrt x) (cbrt (sqrt 3.0))) (* x (cbrt (sqrt 3.0))) (* (cbrt x) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (sqrt x) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (* x x) 3.0) (* (* x x) 3.0) (* (* x x) 3.0) (* (* x x) 3.0) (* (* x x) 3.0) (* (* x x) 3.0) (* (* x x) 3.0) (* (* x x) 3.0) (+ (* 2 (log x)) (+ (log (sqrt 3.0)) (* 3 (log (cbrt (sqrt 3.0)))))) (+ (log (sqrt 3.0)) (+ (* 2 (log x)) (* 3 (log (cbrt (sqrt 3.0)))))) (+ (+ (* 2 (log x)) (log (sqrt 3.0))) (* 3 (log (cbrt (sqrt 3.0))))) (* 2 (log (* x (sqrt 3.0)))) (+ (+ (* 3 (log (cbrt (sqrt 3.0)))) (log x)) (log (* x (sqrt 3.0)))) (+ (* 3 (log (cbrt (sqrt 3.0)))) (+ (log (* x (sqrt 3.0))) (log x))) (+ (+ (log (* x (sqrt 3.0))) (log x)) (* 3 (log (cbrt (sqrt 3.0))))) (* 2 (log (* x (sqrt 3.0)))) (log (* (* x 3.0) x)) (pow (exp (* x x)) 3.0) (* (pow 3.0 3) (pow x 6)) (* (* (* 3.0 3.0) (pow x 3)) (* (pow x 3) 3.0)) (* (* (pow (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) 3) (* 3.0 3.0)) (pow x 3)) (* (* (* 3.0 (sqrt 3.0)) (pow x 3)) (pow (* (pow (cbrt (sqrt 3.0)) 3) x) 3)) (pow (* x (sqrt 3.0)) 6) (* (* 3.0 (* 3.0 (pow x 3))) (* 3.0 (pow x 3))) (* (* x x) (* 3.0 (* (* 3.0 x) (pow (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) 3)))) (* (pow (* x (sqrt 3.0)) 3) (pow (* (pow (cbrt (sqrt 3.0)) 3) x) 3)) (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x)))) (cbrt (* (* x 3.0) x)) (pow (* (* (pow (cbrt (sqrt 3.0)) 3) x) (* x (sqrt 3.0))) 3) (fabs (* x (sqrt 3.0))) (fabs (* x (sqrt 3.0))) (* (* x (sqrt 3.0)) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* 3.0 x) (* x (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0)))) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (pow x 2) 3.0) (* (pow x 2) 3.0) (* (pow x 2) 3.0) 410.160 * * * [progress]: adding candidates to table 410.452 * [progress]: [Phase 3 of 3] Extracting. 410.452 * * [regime]: Finding splitpoints for: (# # # #) 410.452 * * * [regime-changes]: Trying 2 branch expressions: ((* (* x 3.0) x) x) 410.452 * * * * [regimes]: Trying to branch on (* (* x 3.0) x) from (# # # #) 410.483 * * * * [regimes]: Trying to branch on x from (# # # #) 410.519 * * * [regime]: Found split indices: #