1669.967 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.045 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying using # : (- (log x) (log (log x))) 0.048 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 0.049 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 0.049 * * [simplify]: iteration 2 : 7 enodes (cost 6 ) 0.050 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.050 * [simplify]: Simplified to: (- (log x) (log (log x))) 0.050 * * [progress]: iteration 1 / 4 0.050 * * * [progress]: picking best candidate 0.053 * * * * [pick]: Picked # 0.053 * * * [progress]: localizing error 0.066 * * * [progress]: generating rewritten candidates 0.066 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.072 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.075 * * * [progress]: generating series expansions 0.075 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.075 * [approximate]: Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0 0.075 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.075 * [taylor]: Taking taylor expansion of (log x) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.076 * [taylor]: Taking taylor expansion of (log x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.076 * [taylor]: Taking taylor expansion of (log x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.076 * [taylor]: Taking taylor expansion of (log x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.089 * [approximate]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0 0.089 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.089 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.089 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.089 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.089 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.089 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.090 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.104 * [approximate]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0 0.104 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.104 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.104 * [taylor]: Taking taylor expansion of -1 in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.104 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.104 * [taylor]: Taking taylor expansion of -1 in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.104 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.104 * [taylor]: Taking taylor expansion of -1 in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.104 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.104 * [taylor]: Taking taylor expansion of -1 in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.118 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.118 * [approximate]: Taking taylor expansion of (log (log x)) in (x) around 0 0.118 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.119 * [taylor]: Taking taylor expansion of (log x) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.119 * [taylor]: Taking taylor expansion of (log x) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.128 * [approximate]: Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0 0.128 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.139 * [approximate]: Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0 0.139 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.139 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.139 * [taylor]: Taking taylor expansion of -1 in x 0.139 * [taylor]: Taking taylor expansion of x in x 0.139 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.139 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.139 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.139 * [taylor]: Taking taylor expansion of -1 in x 0.139 * [taylor]: Taking taylor expansion of x in x 0.149 * * * [progress]: simplifying candidates 0.149 * [simplify]: Simplifying using # : (/ x (log x)) (log (- (log x) (log (log x)))) (exp (- (log x) (log (log x)))) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (* (* (- (log x) (log (log x))) (- (log x) (log (log x)))) (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log x) (log x)) (+ (* (log (log x)) (log (log x))) (* (log x) (log (log x))))) (neg (log (log x))) (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log 1)) (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (- (log x) (log 1)) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (neg (log (log x))) (log 1) (log (log x)) (log (* (cbrt (log x)) (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) (log 1) (log (log x)) (log (log x)) (log (log (log x))) (exp (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (* (* (log (log x)) (log (log x))) (log (log x))) (sqrt (log (log x))) (sqrt (log (log x))) (- (+ (log 1) (log x)) (log (+ (log 1) (log x)))) (- (log 1) (+ (log (/ 1 x)) (log (- (log 1) (log (/ 1 x)))))) (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))) (log (+ (log 1) (log x))) (log (- (log 1) (log (/ 1 x)))) (log (- (log -1) (log (/ -1 x)))) 0.150 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.150 * * [simplify]: iteration done : 3 enodes (cost 4 ) 0.151 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.151 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 0.152 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 0.153 * * [simplify]: iteration done : 8 enodes (cost 7 ) 0.154 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.154 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.155 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 0.157 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 0.158 * * [simplify]: iteration 4 : 22 enodes (cost 4 ) 0.167 * * [simplify]: iteration 5 : 26 enodes (cost 4 ) 0.169 * * [simplify]: iteration 6 : 27 enodes (cost 4 ) 0.172 * * [simplify]: iteration 7 : 35 enodes (cost 4 ) 0.175 * * [simplify]: iteration 8 : 41 enodes (cost 4 ) 0.180 * * [simplify]: iteration 9 : 52 enodes (cost 4 ) 0.187 * * [simplify]: iteration 10 : 74 enodes (cost 4 ) 0.199 * * [simplify]: iteration 11 : 98 enodes (cost 4 ) 0.213 * * [simplify]: iteration 12 : 127 enodes (cost 4 ) 0.247 * * [simplify]: iteration 13 : 190 enodes (cost 4 ) 0.290 * * [simplify]: iteration 14 : 226 enodes (cost 4 ) 0.328 * * [simplify]: iteration 15 : 268 enodes (cost 4 ) 0.384 * * [simplify]: iteration 16 : 355 enodes (cost 4 ) 0.615 * * [simplify]: iteration 17 : 812 enodes (cost 4 ) 3.660 * * [simplify]: iteration 18 : 3512 enodes (cost 4 ) 4.630 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 4.630 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 4.631 * * [simplify]: iteration 1 : 8 enodes (cost 15 ) 4.632 * * [simplify]: iteration 2 : 9 enodes (cost 15 ) 4.633 * * [simplify]: iteration done : 9 enodes (cost 15 ) 4.633 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 4.634 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 4.634 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 4.635 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.636 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 4.636 * * [simplify]: iteration 1 : 9 enodes (cost 20 ) 4.638 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 4.649 * * [simplify]: iteration 3 : 67 enodes (cost 8 ) 4.663 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 4.732 * * [simplify]: iteration 5 : 500 enodes (cost 8 ) 5.206 * * [simplify]: iteration 6 : 1715 enodes (cost 8 ) 8.071 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 8.072 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 8.072 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 8.073 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 8.074 * * [simplify]: iteration done : 8 enodes (cost 7 ) 8.075 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 8.075 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 8.076 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 8.076 * * [simplify]: iteration done : 8 enodes (cost 7 ) 8.077 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 8.078 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 8.081 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 8.088 * * [simplify]: iteration 3 : 78 enodes (cost 10 ) 8.100 * * [simplify]: iteration 4 : 162 enodes (cost 10 ) 8.150 * * [simplify]: iteration 5 : 495 enodes (cost 10 ) 8.512 * * [simplify]: iteration 6 : 2253 enodes (cost 10 ) 9.789 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 9.790 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 9.791 * * [simplify]: iteration 1 : 15 enodes (cost 16 ) 9.793 * * [simplify]: iteration 2 : 23 enodes (cost 16 ) 9.797 * * [simplify]: iteration 3 : 26 enodes (cost 16 ) 9.801 * * [simplify]: iteration 4 : 27 enodes (cost 16 ) 9.805 * * [simplify]: iteration done : 27 enodes (cost 16 ) 9.805 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.806 * * [simplify]: iteration done : 4 enodes (cost 4 ) 9.806 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 9.807 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 9.808 * * [simplify]: iteration 2 : 18 enodes (cost 13 ) 9.811 * * [simplify]: iteration 3 : 33 enodes (cost 13 ) 9.816 * * [simplify]: iteration 4 : 58 enodes (cost 13 ) 9.827 * * [simplify]: iteration 5 : 99 enodes (cost 13 ) 9.856 * * [simplify]: iteration 6 : 161 enodes (cost 13 ) 9.911 * * [simplify]: iteration 7 : 329 enodes (cost 13 ) 10.670 * * [simplify]: iteration 8 : 1627 enodes (cost 13 ) 16.835 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 16.835 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 16.836 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 16.836 * * [simplify]: iteration done : 5 enodes (cost 6 ) 16.837 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 16.837 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 16.838 * * [simplify]: iteration done : 7 enodes (cost 8 ) 16.839 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 16.839 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 16.840 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 16.841 * * [simplify]: iteration done : 9 enodes (cost 8 ) 16.841 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 16.842 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 16.842 * * [simplify]: iteration 2 : 7 enodes (cost 6 ) 16.843 * * [simplify]: iteration done : 7 enodes (cost 6 ) 16.844 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 16.844 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 16.845 * * [simplify]: iteration 2 : 7 enodes (cost 6 ) 16.846 * * [simplify]: iteration done : 7 enodes (cost 6 ) 16.847 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 16.847 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 16.848 * * [simplify]: iteration 2 : 7 enodes (cost 6 ) 16.848 * * [simplify]: iteration done : 7 enodes (cost 6 ) 16.849 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 16.849 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 16.850 * * [simplify]: iteration 2 : 7 enodes (cost 6 ) 16.851 * * [simplify]: iteration done : 7 enodes (cost 6 ) 16.851 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.852 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 16.852 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 16.854 * * [simplify]: iteration 3 : 17 enodes (cost 2 ) 16.854 * * [simplify]: iteration done : 17 enodes (cost 2 ) 16.855 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 16.856 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 16.857 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 16.859 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 16.862 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 16.866 * * [simplify]: iteration 5 : 43 enodes (cost 9 ) 16.872 * * [simplify]: iteration 6 : 55 enodes (cost 9 ) 16.880 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 16.889 * * [simplify]: iteration 8 : 84 enodes (cost 9 ) 16.904 * * [simplify]: iteration done : 84 enodes (cost 9 ) 16.904 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 16.905 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 16.905 * * [simplify]: iteration 2 : 8 enodes (cost 7 ) 16.906 * * [simplify]: iteration done : 8 enodes (cost 7 ) 16.907 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.907 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 16.908 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 16.909 * * [simplify]: iteration 3 : 17 enodes (cost 2 ) 16.910 * * [simplify]: iteration done : 17 enodes (cost 2 ) 16.911 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.911 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 16.912 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 16.913 * * [simplify]: iteration done : 9 enodes (cost 7 ) 16.914 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.914 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 16.915 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 16.916 * * [simplify]: iteration done : 9 enodes (cost 7 ) 16.916 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 16.917 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 16.917 * * [simplify]: iteration 2 : 7 enodes (cost 6 ) 16.918 * * [simplify]: iteration done : 7 enodes (cost 6 ) 16.919 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.919 * * [simplify]: iteration done : 4 enodes (cost 4 ) 16.920 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 16.920 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 16.920 * * [simplify]: iteration done : 4 enodes (cost 1 ) 16.921 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.921 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.921 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 16.922 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 16.923 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 16.923 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 16.924 * * [simplify]: iteration done : 10 enodes (cost 6 ) 16.925 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.925 * * [simplify]: iteration done : 4 enodes (cost 4 ) 16.926 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.926 * * [simplify]: iteration done : 4 enodes (cost 4 ) 16.927 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.927 * * [simplify]: iteration done : 4 enodes (cost 4 ) 16.928 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 16.928 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 16.928 * * [simplify]: iteration done : 4 enodes (cost 1 ) 16.929 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.929 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.930 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.930 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.931 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.931 * * [simplify]: iteration done : 4 enodes (cost 4 ) 16.932 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.932 * * [simplify]: iteration done : 4 enodes (cost 2 ) 16.933 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 16.933 * * [simplify]: iteration done : 5 enodes (cost 9 ) 16.934 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.934 * * [simplify]: iteration done : 4 enodes (cost 4 ) 16.935 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 16.935 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 16.936 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 16.937 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 16.939 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 16.940 * * [simplify]: iteration 5 : 29 enodes (cost 5 ) 16.944 * * [simplify]: iteration 6 : 50 enodes (cost 5 ) 16.953 * * [simplify]: iteration 7 : 108 enodes (cost 5 ) 17.001 * * [simplify]: iteration 8 : 311 enodes (cost 5 ) 17.457 * * [simplify]: iteration 9 : 1229 enodes (cost 5 ) 20.143 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 20.144 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 20.144 * * [simplify]: iteration done : 4 enodes (cost 4 ) 20.145 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 20.145 * * [simplify]: iteration done : 4 enodes (cost 4 ) 20.146 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 20.147 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 20.148 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 20.152 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 20.156 * * [simplify]: iteration 4 : 45 enodes (cost 6 ) 20.160 * * [simplify]: iteration 5 : 58 enodes (cost 6 ) 20.173 * * [simplify]: iteration 6 : 81 enodes (cost 6 ) 20.184 * * [simplify]: iteration 7 : 96 enodes (cost 6 ) 20.194 * * [simplify]: iteration 8 : 105 enodes (cost 6 ) 20.209 * * [simplify]: iteration 9 : 121 enodes (cost 6 ) 20.219 * * [simplify]: iteration done : 121 enodes (cost 6 ) 20.220 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 20.221 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 20.225 * * [simplify]: iteration 2 : 38 enodes (cost 6 ) 20.239 * * [simplify]: iteration 3 : 86 enodes (cost 6 ) 20.254 * * [simplify]: iteration 4 : 96 enodes (cost 6 ) 20.266 * * [simplify]: iteration done : 96 enodes (cost 6 ) 20.266 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 20.267 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 20.269 * * [simplify]: iteration 2 : 36 enodes (cost 16 ) 20.275 * * [simplify]: iteration 3 : 67 enodes (cost 10 ) 20.295 * * [simplify]: iteration 4 : 138 enodes (cost 6 ) 20.411 * * [simplify]: iteration 5 : 473 enodes (cost 6 ) 22.425 * * [simplify]: iteration 6 : 2396 enodes (cost 6 ) 27.720 * * [simplify]: iteration 7 : 4733 enodes (cost 6 ) 28.440 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 28.441 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 28.441 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 28.442 * * [simplify]: iteration done : 9 enodes (cost 3 ) 28.443 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 28.444 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 28.445 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 28.448 * * [simplify]: iteration 3 : 30 enodes (cost 3 ) 28.450 * * [simplify]: iteration 4 : 31 enodes (cost 3 ) 28.452 * * [simplify]: iteration done : 31 enodes (cost 3 ) 28.453 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 28.453 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 28.455 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 28.456 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 28.459 * * [simplify]: iteration 4 : 31 enodes (cost 3 ) 28.477 * * [simplify]: iteration 5 : 107 enodes (cost 3 ) 28.689 * * [simplify]: iteration 6 : 581 enodes (cost 3 ) 29.563 * * [simplify]: iteration 7 : 1296 enodes (cost 3 ) 33.802 * * [simplify]: iteration 8 : 3294 enodes (cost 3 ) 36.281 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 36.281 * [simplify]: Simplified to: (/ x (log x)) (log (- (log x) (log (log x)))) (/ x (log x)) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (pow (- (log x) (log (log x))) 3) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log (log x)) (+ (log (log x)) (log x))) (* (log x) (log x))) (neg (log (log x))) (* (- (log x) (log (log x))) (+ (log x) (log (log x)))) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log x) (- (log x) (* 2 (log (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (log x) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (neg (log (log x))) 0 (log (log x)) (* 2 (log (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) 0 (log (log x)) (log (log x)) (log (log (log x))) (log x) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (pow (log (log x)) 3) (sqrt (log (log x))) (sqrt (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log (log x)) (log (log x)) (log (log x)) 36.281 * * * [progress]: adding candidates to table 36.319 * * [progress]: iteration 2 / 4 36.319 * * * [progress]: picking best candidate 36.321 * * * * [pick]: Picked # 36.321 * * * [progress]: localizing error 36.327 * * * [progress]: generating rewritten candidates 36.327 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 36.331 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 36.336 * * * [progress]: generating series expansions 36.336 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 36.336 * [approximate]: Taking taylor expansion of (/ x (log x)) in (x) around 0 36.336 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 36.336 * [taylor]: Taking taylor expansion of x in x 36.336 * [taylor]: Taking taylor expansion of (log x) in x 36.336 * [taylor]: Taking taylor expansion of x in x 36.336 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 36.336 * [taylor]: Taking taylor expansion of x in x 36.336 * [taylor]: Taking taylor expansion of (log x) in x 36.336 * [taylor]: Taking taylor expansion of x in x 36.342 * [approximate]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in (x) around 0 36.342 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 36.342 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 36.342 * [taylor]: Taking taylor expansion of x in x 36.342 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 36.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.343 * [taylor]: Taking taylor expansion of x in x 36.343 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 36.343 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 36.343 * [taylor]: Taking taylor expansion of x in x 36.343 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 36.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.343 * [taylor]: Taking taylor expansion of x in x 36.351 * [approximate]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in (x) around 0 36.351 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 36.351 * [taylor]: Taking taylor expansion of -1 in x 36.351 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 36.351 * [taylor]: Taking taylor expansion of x in x 36.351 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 36.351 * [taylor]: Taking taylor expansion of (/ -1 x) in x 36.351 * [taylor]: Taking taylor expansion of -1 in x 36.351 * [taylor]: Taking taylor expansion of x in x 36.352 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 36.352 * [taylor]: Taking taylor expansion of -1 in x 36.352 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 36.352 * [taylor]: Taking taylor expansion of x in x 36.352 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 36.352 * [taylor]: Taking taylor expansion of (/ -1 x) in x 36.352 * [taylor]: Taking taylor expansion of -1 in x 36.352 * [taylor]: Taking taylor expansion of x in x 36.361 * * * * [progress]: [ 2 / 2 ] generating series at (2) 36.361 * [approximate]: Taking taylor expansion of (log (/ x (log x))) in (x) around 0 36.361 * [taylor]: Taking taylor expansion of (log (/ x (log x))) in x 36.361 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 36.361 * [taylor]: Taking taylor expansion of x in x 36.361 * [taylor]: Taking taylor expansion of (log x) in x 36.361 * [taylor]: Taking taylor expansion of x in x 36.362 * [taylor]: Taking taylor expansion of (log (/ x (log x))) in x 36.362 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 36.362 * [taylor]: Taking taylor expansion of x in x 36.362 * [taylor]: Taking taylor expansion of (log x) in x 36.362 * [taylor]: Taking taylor expansion of x in x 36.373 * [approximate]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in (x) around 0 36.373 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 36.373 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 36.373 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 36.373 * [taylor]: Taking taylor expansion of x in x 36.373 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 36.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.373 * [taylor]: Taking taylor expansion of x in x 36.373 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 36.373 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 36.373 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 36.373 * [taylor]: Taking taylor expansion of x in x 36.373 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 36.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.373 * [taylor]: Taking taylor expansion of x in x 36.387 * [approximate]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in (x) around 0 36.387 * [taylor]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 36.387 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 36.387 * [taylor]: Taking taylor expansion of -1 in x 36.387 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 36.387 * [taylor]: Taking taylor expansion of x in x 36.387 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 36.387 * [taylor]: Taking taylor expansion of (/ -1 x) in x 36.387 * [taylor]: Taking taylor expansion of -1 in x 36.387 * [taylor]: Taking taylor expansion of x in x 36.388 * [taylor]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 36.388 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 36.388 * [taylor]: Taking taylor expansion of -1 in x 36.388 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 36.388 * [taylor]: Taking taylor expansion of x in x 36.388 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 36.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x 36.388 * [taylor]: Taking taylor expansion of -1 in x 36.388 * [taylor]: Taking taylor expansion of x in x 36.402 * * * [progress]: simplifying candidates 36.402 * [simplify]: Simplifying using # : (- (log x) (log (log x))) (log (/ x (log x))) (exp (/ x (log x))) (/ (* (* x x) x) (* (* (log x) (log x)) (log x))) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (* (* (/ x (log x)) (/ x (log x))) (/ x (log x))) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (neg x) (neg (log x)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ 1 1) (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) (/ 1 1) (/ x (log x)) (/ 1 (log x)) (/ (log x) x) (/ x 1) (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) (/ x 1) (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x))))) (log (cbrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) (log x))) (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x))))) (log (/ (cbrt x) (cbrt (log x)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (log x)))) (log (/ (cbrt x) (sqrt (log x)))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) (log x))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) (log x))) (log (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x))))) (log (/ (sqrt x) (cbrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) (log x))) (log (/ 1 1)) (log (/ x (log x))) (log (/ 1 (* (cbrt (log x)) (cbrt (log x))))) (log (/ x (cbrt (log x)))) (log (/ 1 (sqrt (log x)))) (log (/ x (sqrt (log x)))) (log (/ 1 1)) (log (/ x (log x))) (log 1) (log (/ x (log x))) (log x) (log (/ 1 (log x))) (log x) (log (log x)) (log (/ x (log x))) (log (log (/ x (log x)))) (exp (log (/ x (log x)))) (* (cbrt (log (/ x (log x)))) (cbrt (log (/ x (log x))))) (cbrt (log (/ x (log x)))) (* (* (log (/ x (log x))) (log (/ x (log x)))) (log (/ x (log x)))) (sqrt (log (/ x (log x)))) (sqrt (log (/ x (log x)))) (/ x (+ (log 1) (log x))) (/ x (- (log 1) (log (/ 1 x)))) (/ x (- (log -1) (log (/ -1 x)))) (+ (log (/ 1 (+ (log 1) (log x)))) (log x)) (- (log (/ 1 (- (log 1) (log (/ 1 x))))) (log (/ 1 x))) (- (log (/ -1 (- (log -1) (log (/ -1 x))))) (log (/ -1 x))) 36.403 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 36.404 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 36.404 * * [simplify]: iteration 2 : 7 enodes (cost 6 ) 36.405 * * [simplify]: iteration done : 7 enodes (cost 6 ) 36.406 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 36.412 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 36.413 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 36.413 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 36.414 * * [simplify]: iteration done : 9 enodes (cost 5 ) 36.415 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 36.415 * * [simplify]: iteration done : 4 enodes (cost 5 ) 36.416 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 36.417 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 36.420 * * [simplify]: iteration 2 : 48 enodes (cost 8 ) 36.430 * * [simplify]: iteration 3 : 115 enodes (cost 6 ) 36.457 * * [simplify]: iteration 4 : 193 enodes (cost 6 ) 36.513 * * [simplify]: iteration 5 : 309 enodes (cost 6 ) 36.647 * * [simplify]: iteration 6 : 768 enodes (cost 6 ) 37.612 * * [simplify]: iteration 7 : 3341 enodes (cost 6 ) 38.779 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 38.779 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 38.780 * * [simplify]: iteration done : 5 enodes (cost 11 ) 38.781 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 38.781 * * [simplify]: iteration done : 4 enodes (cost 5 ) 38.782 * * [simplify]: iteration 0 : 5 enodes (cost 14 ) 38.782 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 38.784 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 38.789 * * [simplify]: iteration 3 : 66 enodes (cost 6 ) 38.803 * * [simplify]: iteration 4 : 131 enodes (cost 6 ) 38.838 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 38.894 * * [simplify]: iteration 6 : 318 enodes (cost 6 ) 39.030 * * [simplify]: iteration 7 : 809 enodes (cost 6 ) 40.049 * * [simplify]: iteration 8 : 3513 enodes (cost 6 ) 41.564 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 41.564 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.565 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.565 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.566 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.566 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 41.566 * * [simplify]: iteration done : 2 enodes (cost 2 ) 41.567 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 41.567 * * [simplify]: iteration done : 3 enodes (cost 3 ) 41.568 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 41.568 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 41.569 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 41.571 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 41.572 * * [simplify]: iteration done : 20 enodes (cost 5 ) 41.573 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.573 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.574 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 41.575 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 41.576 * * [simplify]: iteration 2 : 22 enodes (cost 13 ) 41.579 * * [simplify]: iteration 3 : 28 enodes (cost 13 ) 41.583 * * [simplify]: iteration done : 28 enodes (cost 13 ) 41.583 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.584 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.584 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 41.585 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 41.586 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 41.587 * * [simplify]: iteration 3 : 11 enodes (cost 9 ) 41.588 * * [simplify]: iteration done : 11 enodes (cost 9 ) 41.588 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.589 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.589 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 41.590 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 41.591 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 41.592 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 41.594 * * [simplify]: iteration done : 20 enodes (cost 5 ) 41.594 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.595 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.595 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 41.596 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 41.596 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 41.597 * * [simplify]: iteration done : 8 enodes (cost 2 ) 41.597 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.598 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.599 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 41.599 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 41.600 * * [simplify]: iteration done : 8 enodes (cost 10 ) 41.601 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.601 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.602 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.602 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.603 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.603 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.604 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 41.604 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 41.605 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 41.605 * * [simplify]: iteration done : 8 enodes (cost 2 ) 41.606 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.606 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.607 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 41.607 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 41.607 * * [simplify]: iteration done : 4 enodes (cost 1 ) 41.608 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 41.608 * * [simplify]: iteration done : 3 enodes (cost 4 ) 41.609 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 41.610 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 41.611 * * [simplify]: iteration done : 10 enodes (cost 9 ) 41.611 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.612 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.612 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 41.613 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 41.613 * * [simplify]: iteration done : 7 enodes (cost 5 ) 41.614 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.614 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.615 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 41.615 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 41.615 * * [simplify]: iteration done : 4 enodes (cost 1 ) 41.616 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 41.616 * * [simplify]: iteration done : 3 enodes (cost 4 ) 41.617 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 41.617 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 41.622 * * [simplify]: iteration done : 6 enodes (cost 4 ) 41.623 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 41.623 * * [simplify]: iteration done : 3 enodes (cost 4 ) 41.624 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 41.624 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 41.625 * * [simplify]: iteration done : 5 enodes (cost 1 ) 41.625 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 41.626 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 41.626 * * [simplify]: iteration done : 7 enodes (cost 9 ) 41.627 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.627 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.628 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 41.628 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 41.628 * * [simplify]: iteration done : 5 enodes (cost 1 ) 41.629 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.629 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.630 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 41.631 * * [simplify]: iteration done : 4 enodes (cost 5 ) 41.631 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 41.631 * * [simplify]: iteration done : 3 enodes (cost 4 ) 41.632 * * [simplify]: iteration 0 : 6 enodes (cost 12 ) 41.633 * * [simplify]: iteration 1 : 8 enodes (cost 12 ) 41.634 * * [simplify]: iteration 2 : 10 enodes (cost 8 ) 41.634 * * [simplify]: iteration 3 : 11 enodes (cost 8 ) 41.636 * * [simplify]: iteration done : 11 enodes (cost 8 ) 41.636 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.637 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.637 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.638 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.638 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.639 * * [simplify]: iteration done : 5 enodes (cost 6 ) 41.639 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 41.640 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 41.641 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 41.645 * * [simplify]: iteration 3 : 49 enodes (cost 5 ) 41.652 * * [simplify]: iteration 4 : 71 enodes (cost 5 ) 41.658 * * [simplify]: iteration 5 : 84 enodes (cost 5 ) 41.666 * * [simplify]: iteration 6 : 96 enodes (cost 5 ) 41.679 * * [simplify]: iteration 7 : 109 enodes (cost 5 ) 41.695 * * [simplify]: iteration done : 109 enodes (cost 5 ) 41.696 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 41.697 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 41.697 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 41.698 * * [simplify]: iteration 3 : 11 enodes (cost 6 ) 41.699 * * [simplify]: iteration done : 11 enodes (cost 6 ) 41.700 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 41.701 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 41.703 * * [simplify]: iteration 2 : 38 enodes (cost 14 ) 41.709 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 41.719 * * [simplify]: iteration 4 : 106 enodes (cost 9 ) 41.735 * * [simplify]: iteration 5 : 141 enodes (cost 9 ) 41.780 * * [simplify]: iteration 6 : 196 enodes (cost 9 ) 41.813 * * [simplify]: iteration 7 : 237 enodes (cost 9 ) 41.848 * * [simplify]: iteration 8 : 274 enodes (cost 9 ) 41.894 * * [simplify]: iteration 9 : 277 enodes (cost 9 ) 41.944 * * [simplify]: iteration done : 277 enodes (cost 9 ) 41.944 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 41.945 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 41.946 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 41.947 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 41.948 * * [simplify]: iteration done : 12 enodes (cost 7 ) 41.948 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 41.949 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 41.950 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 41.952 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 41.956 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 41.961 * * [simplify]: iteration 5 : 45 enodes (cost 10 ) 41.966 * * [simplify]: iteration 6 : 53 enodes (cost 10 ) 41.971 * * [simplify]: iteration 7 : 67 enodes (cost 10 ) 41.985 * * [simplify]: iteration 8 : 79 enodes (cost 10 ) 41.994 * * [simplify]: iteration 9 : 91 enodes (cost 10 ) 42.004 * * [simplify]: iteration 10 : 103 enodes (cost 10 ) 42.014 * * [simplify]: iteration 11 : 104 enodes (cost 10 ) 42.024 * * [simplify]: iteration done : 104 enodes (cost 10 ) 42.024 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.025 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 42.026 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 42.027 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 42.028 * * [simplify]: iteration done : 12 enodes (cost 7 ) 42.029 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 42.030 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 42.031 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 42.035 * * [simplify]: iteration 3 : 49 enodes (cost 5 ) 42.047 * * [simplify]: iteration 4 : 71 enodes (cost 5 ) 42.054 * * [simplify]: iteration 5 : 84 enodes (cost 5 ) 42.062 * * [simplify]: iteration 6 : 96 enodes (cost 5 ) 42.075 * * [simplify]: iteration 7 : 109 enodes (cost 5 ) 42.087 * * [simplify]: iteration done : 109 enodes (cost 5 ) 42.088 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.088 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 42.089 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 42.090 * * [simplify]: iteration 3 : 11 enodes (cost 6 ) 42.091 * * [simplify]: iteration done : 11 enodes (cost 6 ) 42.091 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.092 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 42.093 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 42.094 * * [simplify]: iteration 3 : 19 enodes (cost 3 ) 42.095 * * [simplify]: iteration done : 19 enodes (cost 3 ) 42.096 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.096 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 42.097 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 42.098 * * [simplify]: iteration 3 : 11 enodes (cost 6 ) 42.099 * * [simplify]: iteration done : 11 enodes (cost 6 ) 42.100 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 42.101 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 42.102 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 42.110 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 42.113 * * [simplify]: iteration 4 : 38 enodes (cost 10 ) 42.117 * * [simplify]: iteration 5 : 46 enodes (cost 10 ) 42.123 * * [simplify]: iteration 6 : 55 enodes (cost 10 ) 42.129 * * [simplify]: iteration 7 : 68 enodes (cost 10 ) 42.138 * * [simplify]: iteration 8 : 84 enodes (cost 10 ) 42.147 * * [simplify]: iteration 9 : 87 enodes (cost 10 ) 42.157 * * [simplify]: iteration done : 87 enodes (cost 10 ) 42.158 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.158 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 42.159 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 42.160 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 42.161 * * [simplify]: iteration done : 12 enodes (cost 7 ) 42.162 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.162 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 42.163 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 42.164 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 42.165 * * [simplify]: iteration done : 12 enodes (cost 7 ) 42.166 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.171 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 42.172 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 42.173 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 42.174 * * [simplify]: iteration done : 12 enodes (cost 7 ) 42.175 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.176 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 42.176 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 42.177 * * [simplify]: iteration 3 : 19 enodes (cost 3 ) 42.178 * * [simplify]: iteration done : 19 enodes (cost 3 ) 42.179 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.179 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 42.180 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 42.181 * * [simplify]: iteration 3 : 11 enodes (cost 6 ) 42.182 * * [simplify]: iteration done : 11 enodes (cost 6 ) 42.182 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 42.183 * * [simplify]: iteration 1 : 7 enodes (cost 1 ) 42.183 * * [simplify]: iteration done : 7 enodes (cost 1 ) 42.184 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 42.184 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 42.185 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 42.185 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 42.186 * * [simplify]: iteration done : 9 enodes (cost 5 ) 42.187 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 42.188 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 42.189 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 42.191 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 42.195 * * [simplify]: iteration 4 : 45 enodes (cost 6 ) 42.204 * * [simplify]: iteration 5 : 75 enodes (cost 6 ) 42.216 * * [simplify]: iteration 6 : 101 enodes (cost 6 ) 42.225 * * [simplify]: iteration 7 : 107 enodes (cost 6 ) 42.242 * * [simplify]: iteration 8 : 116 enodes (cost 6 ) 42.254 * * [simplify]: iteration done : 116 enodes (cost 6 ) 42.254 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.255 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 42.256 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 42.256 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 42.257 * * [simplify]: iteration done : 10 enodes (cost 6 ) 42.258 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.259 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 42.260 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 42.261 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 42.262 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 42.264 * * [simplify]: iteration 5 : 25 enodes (cost 5 ) 42.266 * * [simplify]: iteration 6 : 30 enodes (cost 5 ) 42.269 * * [simplify]: iteration done : 30 enodes (cost 5 ) 42.270 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.270 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 42.271 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 42.272 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 42.273 * * [simplify]: iteration done : 10 enodes (cost 6 ) 42.273 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 42.274 * * [simplify]: iteration 1 : 7 enodes (cost 1 ) 42.274 * * [simplify]: iteration done : 7 enodes (cost 1 ) 42.274 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 42.275 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 42.275 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 42.276 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 42.277 * * [simplify]: iteration done : 9 enodes (cost 5 ) 42.278 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 42.278 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 42.278 * * [simplify]: iteration done : 4 enodes (cost 1 ) 42.279 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 42.279 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 42.280 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 42.280 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 42.281 * * [simplify]: iteration done : 9 enodes (cost 5 ) 42.282 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 42.282 * * [simplify]: iteration done : 2 enodes (cost 2 ) 42.282 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.283 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 42.284 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 42.285 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 42.286 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 42.288 * * [simplify]: iteration 5 : 24 enodes (cost 4 ) 42.290 * * [simplify]: iteration 6 : 29 enodes (cost 4 ) 42.292 * * [simplify]: iteration done : 29 enodes (cost 4 ) 42.292 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 42.292 * * [simplify]: iteration done : 2 enodes (cost 2 ) 42.293 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 42.293 * * [simplify]: iteration done : 3 enodes (cost 3 ) 42.294 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 42.294 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 42.295 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 42.296 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 42.296 * * [simplify]: iteration done : 9 enodes (cost 5 ) 42.297 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.298 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 42.304 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 42.305 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 42.306 * * [simplify]: iteration done : 10 enodes (cost 6 ) 42.307 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 42.307 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 42.308 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 42.309 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 42.310 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 42.312 * * [simplify]: iteration 5 : 29 enodes (cost 4 ) 42.315 * * [simplify]: iteration 6 : 38 enodes (cost 4 ) 42.320 * * [simplify]: iteration 7 : 56 enodes (cost 4 ) 42.327 * * [simplify]: iteration 8 : 82 enodes (cost 4 ) 42.338 * * [simplify]: iteration 9 : 114 enodes (cost 4 ) 42.368 * * [simplify]: iteration 10 : 182 enodes (cost 4 ) 42.405 * * [simplify]: iteration 11 : 245 enodes (cost 4 ) 42.461 * * [simplify]: iteration 12 : 320 enodes (cost 4 ) 42.650 * * [simplify]: iteration 13 : 591 enodes (cost 4 ) 42.988 * * [simplify]: iteration 14 : 1023 enodes (cost 4 ) 45.633 * * [simplify]: iteration 15 : 3659 enodes (cost 4 ) 46.725 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 46.726 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 46.727 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 46.728 * * [simplify]: iteration 2 : 10 enodes (cost 13 ) 46.729 * * [simplify]: iteration 3 : 11 enodes (cost 13 ) 46.730 * * [simplify]: iteration done : 11 enodes (cost 13 ) 46.730 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 46.731 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 46.731 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 46.732 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 46.733 * * [simplify]: iteration done : 10 enodes (cost 6 ) 46.734 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 46.735 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 46.736 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 46.746 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 46.751 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 46.767 * * [simplify]: iteration 5 : 188 enodes (cost 7 ) 46.837 * * [simplify]: iteration 6 : 525 enodes (cost 7 ) 47.330 * * [simplify]: iteration 7 : 1784 enodes (cost 7 ) 49.966 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 49.967 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 49.967 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 49.968 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 49.969 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 49.970 * * [simplify]: iteration done : 10 enodes (cost 6 ) 49.971 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 49.972 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 49.972 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 49.973 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 49.974 * * [simplify]: iteration done : 10 enodes (cost 6 ) 49.975 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 49.975 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 49.976 * * [simplify]: iteration done : 9 enodes (cost 4 ) 49.977 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 49.977 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 49.979 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 49.981 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 49.983 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 49.986 * * [simplify]: iteration done : 31 enodes (cost 4 ) 49.987 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 49.988 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 49.989 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 49.991 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 49.993 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 50.002 * * [simplify]: iteration 5 : 107 enodes (cost 4 ) 50.215 * * [simplify]: iteration 6 : 577 enodes (cost 4 ) 51.066 * * [simplify]: iteration 7 : 1280 enodes (cost 4 ) 54.890 * * [simplify]: iteration 8 : 3137 enodes (cost 4 ) 57.452 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 57.453 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 57.461 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 57.462 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 57.465 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 57.470 * * [simplify]: iteration 4 : 52 enodes (cost 6 ) 57.480 * * [simplify]: iteration 5 : 78 enodes (cost 6 ) 57.490 * * [simplify]: iteration 6 : 81 enodes (cost 6 ) 57.501 * * [simplify]: iteration 7 : 90 enodes (cost 6 ) 57.516 * * [simplify]: iteration 8 : 103 enodes (cost 6 ) 57.532 * * [simplify]: iteration done : 103 enodes (cost 6 ) 57.532 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 57.534 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 57.536 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 57.543 * * [simplify]: iteration 3 : 69 enodes (cost 6 ) 57.555 * * [simplify]: iteration 4 : 96 enodes (cost 6 ) 57.568 * * [simplify]: iteration 5 : 109 enodes (cost 6 ) 57.585 * * [simplify]: iteration done : 109 enodes (cost 6 ) 57.586 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 57.587 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 57.589 * * [simplify]: iteration 2 : 30 enodes (cost 15 ) 57.592 * * [simplify]: iteration 3 : 61 enodes (cost 10 ) 57.607 * * [simplify]: iteration 4 : 132 enodes (cost 6 ) 57.692 * * [simplify]: iteration 5 : 392 enodes (cost 6 ) 58.670 * * [simplify]: iteration 6 : 1649 enodes (cost 6 ) 62.116 * * [simplify]: iteration 7 : 3718 enodes (cost 6 ) 63.917 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 63.917 * [simplify]: Simplified to: (- (log x) (log (log x))) (log (/ x (log x))) (exp (/ x (log x))) (pow (/ x (log x)) 3) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (pow (/ x (log x)) 3) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (neg x) (neg (log x)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (sqrt x) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (sqrt x) (/ (sqrt x) (log x)) 1 (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) 1 (/ x (log x)) (/ 1 (log x)) (/ (log x) x) x (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) x (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (* 2 (log (cbrt (/ x (log x))))) (log (cbrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (log x))) (* 2 (log (/ (cbrt x) (cbrt (log x))))) (log (/ (cbrt x) (cbrt (log x)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (log x)))) (log (/ (cbrt x) (sqrt (log x)))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (log x))) (log (sqrt x)) (log (/ (sqrt x) (log x))) (- (log (sqrt x)) (* 2 (log (cbrt (log x))))) (log (/ (sqrt x) (cbrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (sqrt x)) (log (/ (sqrt x) (log x))) 0 (log (/ x (log x))) (* -2 (log (cbrt (log x)))) (log (/ x (cbrt (log x)))) (neg (log (sqrt (log x)))) (log (/ x (sqrt (log x)))) 0 (log (/ x (log x))) 0 (log (/ x (log x))) (log x) (neg (log (log x))) (log x) (log (log x)) (log (/ x (log x))) (log (log (/ x (log x)))) (/ x (log x)) (* (cbrt (log (/ x (log x)))) (cbrt (log (/ x (log x))))) (cbrt (log (/ x (log x)))) (pow (log (/ x (log x))) 3) (sqrt (log (/ x (log x)))) (sqrt (log (/ x (log x)))) (/ x (log x)) (/ x (log x)) (/ x (log x)) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) 63.918 * * * [progress]: adding candidates to table 63.974 * [progress]: [Phase 3 of 3] Extracting. 63.974 * * [regime]: Finding splitpoints for: (# #) 63.974 * * * [regime-changes]: Trying 3 branch expressions: ((log x) (- (log x) (log (log x))) x) 63.974 * * * * [regimes]: Trying to branch on (log x) from (# #) 64.005 * * * * [regimes]: Trying to branch on (- (log x) (log (log x))) from (# #) 64.043 * * * * [regimes]: Trying to branch on x from (# #) 64.068 * * * [regime]: Found split indices: #