29.509 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.059 * * * [progress]: [2/2] Setting up program. 0.063 * [progress]: [Phase 2 of 3] Improving. 0.063 * [simplify]: Simplifying using # : (- (- (* x (log y)) z) y) 0.064 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.064 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.066 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 0.070 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 0.076 * * [simplify]: iteration 4 : 50 enodes (cost 8 ) 0.081 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 0.093 * * [simplify]: iteration 6 : 78 enodes (cost 8 ) 0.107 * * [simplify]: iteration 7 : 109 enodes (cost 8 ) 0.124 * * [simplify]: iteration 8 : 125 enodes (cost 8 ) 0.138 * * [simplify]: iteration 9 : 135 enodes (cost 8 ) 0.156 * * [simplify]: iteration 10 : 142 enodes (cost 8 ) 0.173 * * [simplify]: iteration 11 : 144 enodes (cost 8 ) 0.189 * * [simplify]: iteration 12 : 146 enodes (cost 8 ) 0.207 * * [simplify]: iteration done : 146 enodes (cost 8 ) 0.207 * [simplify]: Simplified to: (- (- (* x (log y)) z) y) 0.208 * * [progress]: iteration 1 / 4 0.208 * * * [progress]: picking best candidate 0.211 * * * * [pick]: Picked # 0.211 * * * [progress]: localizing error 0.219 * * * [progress]: generating rewritten candidates 0.219 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 0.225 * * * [progress]: generating series expansions 0.225 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 0.225 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.225 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.225 * [taylor]: Taking taylor expansion of x in y 0.225 * [taylor]: Taking taylor expansion of (log y) in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (log y) in x 0.225 * [taylor]: Taking taylor expansion of y in x 0.225 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (log y) in x 0.225 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of 0 in y 0.226 * [taylor]: Taking taylor expansion of (log y) in y 0.226 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of 0 in y 0.228 * [taylor]: Taking taylor expansion of 0 in y 0.228 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.228 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.228 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of x in y 0.228 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.228 * [taylor]: Taking taylor expansion of y in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.229 * [taylor]: Taking taylor expansion of y in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.229 * [taylor]: Taking taylor expansion of y in y 0.229 * [taylor]: Taking taylor expansion of 0 in y 0.230 * [taylor]: Taking taylor expansion of 0 in y 0.231 * [taylor]: Taking taylor expansion of 0 in y 0.231 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.231 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.231 * [taylor]: Taking taylor expansion of -1 in y 0.231 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.231 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.231 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.231 * [taylor]: Taking taylor expansion of -1 in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of x in y 0.231 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.231 * [taylor]: Taking taylor expansion of -1 in x 0.231 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.231 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.231 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.231 * [taylor]: Taking taylor expansion of -1 in x 0.231 * [taylor]: Taking taylor expansion of y in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.232 * [taylor]: Taking taylor expansion of -1 in x 0.232 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.232 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.232 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.232 * [taylor]: Taking taylor expansion of -1 in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.232 * [taylor]: Taking taylor expansion of -1 in y 0.232 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.232 * [taylor]: Taking taylor expansion of -1 in y 0.232 * [taylor]: Taking taylor expansion of y in y 0.233 * [taylor]: Taking taylor expansion of 0 in y 0.234 * [taylor]: Taking taylor expansion of 0 in y 0.235 * [taylor]: Taking taylor expansion of 0 in y 0.235 * * * [progress]: simplifying candidates 0.235 * [simplify]: Simplifying using # : (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (* x (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) x) (* x (- (log -1) (log (/ -1 y)))) 0.236 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.236 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 0.237 * * [simplify]: iteration done : 5 enodes (cost 4 ) 0.238 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.238 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.239 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.239 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.240 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.241 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.242 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.242 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.243 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.244 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 0.245 * * [simplify]: iteration 3 : 25 enodes (cost 3 ) 0.248 * * [simplify]: iteration 4 : 48 enodes (cost 3 ) 0.255 * * [simplify]: iteration 5 : 104 enodes (cost 3 ) 0.292 * * [simplify]: iteration 6 : 245 enodes (cost 3 ) 0.441 * * [simplify]: iteration 7 : 707 enodes (cost 3 ) 1.490 * * [simplify]: iteration 8 : 2686 enodes (cost 3 ) 3.317 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 3.318 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 3.319 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 3.322 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 3.334 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 3.355 * * [simplify]: iteration 4 : 137 enodes (cost 6 ) 3.407 * * [simplify]: iteration 5 : 259 enodes (cost 6 ) 3.552 * * [simplify]: iteration 6 : 654 enodes (cost 6 ) 4.504 * * [simplify]: iteration 7 : 2457 enodes (cost 6 ) 6.345 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 6.346 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 6.347 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 6.347 * * [simplify]: iteration done : 7 enodes (cost 11 ) 6.348 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 6.348 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 6.349 * * [simplify]: iteration done : 6 enodes (cost 5 ) 6.350 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 6.351 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 6.354 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 6.366 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 6.393 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 6.420 * * [simplify]: iteration 5 : 151 enodes (cost 6 ) 6.480 * * [simplify]: iteration 6 : 283 enodes (cost 6 ) 6.642 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 7.821 * * [simplify]: iteration 8 : 2697 enodes (cost 6 ) 9.889 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 9.890 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.890 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.891 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.891 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.892 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.892 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.893 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.894 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 9.894 * * [simplify]: iteration done : 7 enodes (cost 6 ) 9.895 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.895 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 9.896 * * [simplify]: iteration done : 7 enodes (cost 6 ) 9.897 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 9.897 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 9.899 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.901 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 9.904 * * [simplify]: iteration 4 : 25 enodes (cost 7 ) 9.907 * * [simplify]: iteration done : 25 enodes (cost 7 ) 9.907 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.908 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.908 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.909 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.909 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.910 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.910 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.911 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.911 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.912 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.913 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 9.913 * * [simplify]: iteration done : 7 enodes (cost 1 ) 9.914 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.914 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 9.915 * * [simplify]: iteration done : 5 enodes (cost 4 ) 9.915 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 9.916 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 9.917 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.919 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 9.921 * * [simplify]: iteration 4 : 25 enodes (cost 7 ) 9.924 * * [simplify]: iteration done : 25 enodes (cost 7 ) 9.925 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.925 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.926 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.927 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.927 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.928 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.928 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.929 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.929 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.930 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.930 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 9.931 * * [simplify]: iteration done : 7 enodes (cost 1 ) 9.931 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.932 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 9.932 * * [simplify]: iteration done : 5 enodes (cost 4 ) 9.933 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.933 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 9.934 * * [simplify]: iteration done : 6 enodes (cost 1 ) 9.934 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 9.935 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 9.936 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 9.937 * * [simplify]: iteration done : 11 enodes (cost 9 ) 9.938 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.938 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.939 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.939 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.940 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 9.940 * * [simplify]: iteration done : 6 enodes (cost 1 ) 9.941 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.941 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.942 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.942 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.943 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 9.943 * * [simplify]: iteration done : 6 enodes (cost 5 ) 9.944 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.944 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 9.945 * * [simplify]: iteration done : 5 enodes (cost 4 ) 9.946 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.947 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 9.949 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 9.953 * * [simplify]: iteration 3 : 23 enodes (cost 4 ) 9.955 * * [simplify]: iteration done : 23 enodes (cost 4 ) 9.955 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 9.956 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 9.959 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 9.963 * * [simplify]: iteration 3 : 45 enodes (cost 4 ) 9.967 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 9.973 * * [simplify]: iteration 5 : 70 enodes (cost 4 ) 9.992 * * [simplify]: iteration 6 : 105 enodes (cost 4 ) 10.000 * * [simplify]: iteration done : 105 enodes (cost 4 ) 10.001 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 10.001 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 10.003 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 10.006 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 10.015 * * [simplify]: iteration 4 : 67 enodes (cost 4 ) 10.032 * * [simplify]: iteration 5 : 188 enodes (cost 4 ) 10.366 * * [simplify]: iteration 6 : 974 enodes (cost 4 ) 11.756 * * [simplify]: iteration 7 : 2318 enodes (cost 4 ) 15.740 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 15.740 * [simplify]: Simplified to: (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (pow y x) (pow (* x (log y)) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* x (log y)) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* (* 2 (log (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) 0 (* (log y) x) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (* x (log y)) (* (log y) x) (* (log y) x) 15.741 * * * [progress]: adding candidates to table 15.776 * * [progress]: iteration 2 / 4 15.776 * * * [progress]: picking best candidate 15.795 * * * * [pick]: Picked # 15.795 * * * [progress]: localizing error 15.808 * * * [progress]: generating rewritten candidates 15.808 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 15.809 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 15.811 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 15.818 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 15.826 * * * [progress]: generating series expansions 15.826 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 15.826 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 15.826 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.826 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.826 * [taylor]: Taking taylor expansion of 1/3 in y 15.826 * [taylor]: Taking taylor expansion of (log y) in y 15.826 * [taylor]: Taking taylor expansion of y in y 15.826 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.826 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.826 * [taylor]: Taking taylor expansion of 1/3 in y 15.826 * [taylor]: Taking taylor expansion of (log y) in y 15.826 * [taylor]: Taking taylor expansion of y in y 15.835 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 15.835 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.835 * [taylor]: Taking taylor expansion of 1/3 in y 15.835 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.835 * [taylor]: Taking taylor expansion of y in y 15.835 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.835 * [taylor]: Taking taylor expansion of 1/3 in y 15.835 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.835 * [taylor]: Taking taylor expansion of y in y 15.843 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 15.843 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.843 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.843 * [taylor]: Taking taylor expansion of 1/3 in y 15.843 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.843 * [taylor]: Taking taylor expansion of y in y 15.843 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.843 * [taylor]: Taking taylor expansion of -1 in y 15.843 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.843 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.844 * [taylor]: Taking taylor expansion of 1/3 in y 15.844 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.844 * [taylor]: Taking taylor expansion of y in y 15.844 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.844 * [taylor]: Taking taylor expansion of -1 in y 15.853 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 15.853 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 15.853 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.853 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.853 * [taylor]: Taking taylor expansion of 1/3 in y 15.853 * [taylor]: Taking taylor expansion of (log y) in y 15.853 * [taylor]: Taking taylor expansion of y in y 15.853 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.854 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.854 * [taylor]: Taking taylor expansion of 1/3 in y 15.854 * [taylor]: Taking taylor expansion of (log y) in y 15.854 * [taylor]: Taking taylor expansion of y in y 15.860 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 15.860 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.861 * [taylor]: Taking taylor expansion of 1/3 in y 15.861 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.861 * [taylor]: Taking taylor expansion of y in y 15.861 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.861 * [taylor]: Taking taylor expansion of 1/3 in y 15.861 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.861 * [taylor]: Taking taylor expansion of y in y 15.868 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 15.868 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.868 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.868 * [taylor]: Taking taylor expansion of 1/3 in y 15.868 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.868 * [taylor]: Taking taylor expansion of y in y 15.869 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.869 * [taylor]: Taking taylor expansion of -1 in y 15.869 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.869 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.869 * [taylor]: Taking taylor expansion of 1/3 in y 15.869 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.869 * [taylor]: Taking taylor expansion of y in y 15.869 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.869 * [taylor]: Taking taylor expansion of -1 in y 15.879 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 15.879 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 15.879 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 15.879 * [taylor]: Taking taylor expansion of 2 in x 15.879 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 15.879 * [taylor]: Taking taylor expansion of x in x 15.879 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.879 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.879 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.879 * [taylor]: Taking taylor expansion of 1/3 in x 15.879 * [taylor]: Taking taylor expansion of (log y) in x 15.879 * [taylor]: Taking taylor expansion of y in x 15.879 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 15.879 * [taylor]: Taking taylor expansion of 2 in y 15.879 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 15.879 * [taylor]: Taking taylor expansion of x in y 15.879 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.879 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.879 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.879 * [taylor]: Taking taylor expansion of 1/3 in y 15.879 * [taylor]: Taking taylor expansion of (log y) in y 15.879 * [taylor]: Taking taylor expansion of y in y 15.880 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 15.880 * [taylor]: Taking taylor expansion of 2 in y 15.880 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 15.880 * [taylor]: Taking taylor expansion of x in y 15.880 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.880 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.880 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.880 * [taylor]: Taking taylor expansion of 1/3 in y 15.880 * [taylor]: Taking taylor expansion of (log y) in y 15.880 * [taylor]: Taking taylor expansion of y in y 15.880 * [taylor]: Taking taylor expansion of (* 2/3 (* x (+ (log y) (log 1)))) in x 15.880 * [taylor]: Taking taylor expansion of 2/3 in x 15.880 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 15.880 * [taylor]: Taking taylor expansion of x in x 15.880 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 15.881 * [taylor]: Taking taylor expansion of (log y) in x 15.881 * [taylor]: Taking taylor expansion of y in x 15.881 * [taylor]: Taking taylor expansion of (log 1) in x 15.881 * [taylor]: Taking taylor expansion of 1 in x 15.881 * [taylor]: Taking taylor expansion of 0 in x 15.883 * [taylor]: Taking taylor expansion of 0 in x 15.885 * [taylor]: Taking taylor expansion of 0 in x 15.885 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 15.885 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 15.885 * [taylor]: Taking taylor expansion of 2 in x 15.885 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 15.885 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.885 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.885 * [taylor]: Taking taylor expansion of 1/3 in x 15.885 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.885 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.885 * [taylor]: Taking taylor expansion of y in x 15.885 * [taylor]: Taking taylor expansion of x in x 15.886 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 15.886 * [taylor]: Taking taylor expansion of 2 in y 15.886 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 15.886 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.886 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.886 * [taylor]: Taking taylor expansion of 1/3 in y 15.886 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.886 * [taylor]: Taking taylor expansion of y in y 15.886 * [taylor]: Taking taylor expansion of x in y 15.886 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 15.886 * [taylor]: Taking taylor expansion of 2 in y 15.886 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 15.886 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.886 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.886 * [taylor]: Taking taylor expansion of 1/3 in y 15.886 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.886 * [taylor]: Taking taylor expansion of y in y 15.887 * [taylor]: Taking taylor expansion of x in y 15.887 * [taylor]: Taking taylor expansion of (* 2/3 (/ (- (log 1) (log y)) x)) in x 15.887 * [taylor]: Taking taylor expansion of 2/3 in x 15.887 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 15.887 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 15.887 * [taylor]: Taking taylor expansion of (log 1) in x 15.887 * [taylor]: Taking taylor expansion of 1 in x 15.887 * [taylor]: Taking taylor expansion of (log y) in x 15.887 * [taylor]: Taking taylor expansion of y in x 15.887 * [taylor]: Taking taylor expansion of x in x 15.888 * [taylor]: Taking taylor expansion of 0 in x 15.889 * [taylor]: Taking taylor expansion of 0 in x 15.891 * [taylor]: Taking taylor expansion of 0 in x 15.897 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in (y x) around 0 15.897 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 15.897 * [taylor]: Taking taylor expansion of -2 in x 15.897 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 15.897 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 15.897 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 15.897 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.897 * [taylor]: Taking taylor expansion of 1/3 in x 15.897 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.897 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.897 * [taylor]: Taking taylor expansion of y in x 15.897 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.897 * [taylor]: Taking taylor expansion of -1 in x 15.897 * [taylor]: Taking taylor expansion of x in x 15.898 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 15.898 * [taylor]: Taking taylor expansion of -2 in y 15.898 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 15.898 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 15.898 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.898 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.898 * [taylor]: Taking taylor expansion of 1/3 in y 15.898 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.898 * [taylor]: Taking taylor expansion of y in y 15.898 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.898 * [taylor]: Taking taylor expansion of -1 in y 15.898 * [taylor]: Taking taylor expansion of x in y 15.898 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 15.898 * [taylor]: Taking taylor expansion of -2 in y 15.898 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 15.898 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 15.899 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.899 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.899 * [taylor]: Taking taylor expansion of 1/3 in y 15.899 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.899 * [taylor]: Taking taylor expansion of y in y 15.899 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.899 * [taylor]: Taking taylor expansion of -1 in y 15.899 * [taylor]: Taking taylor expansion of x in y 15.900 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x)) in x 15.900 * [taylor]: Taking taylor expansion of -2 in x 15.900 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x) in x 15.900 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) in x 15.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y))))) in x 15.900 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.900 * [taylor]: Taking taylor expansion of -1 in x 15.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 15.900 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 15.900 * [taylor]: Taking taylor expansion of 1/3 in x 15.900 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 15.900 * [taylor]: Taking taylor expansion of (log 1) in x 15.900 * [taylor]: Taking taylor expansion of 1 in x 15.900 * [taylor]: Taking taylor expansion of (log y) in x 15.900 * [taylor]: Taking taylor expansion of y in x 15.900 * [taylor]: Taking taylor expansion of x in x 15.902 * [taylor]: Taking taylor expansion of 0 in x 15.905 * [taylor]: Taking taylor expansion of 0 in x 15.909 * [taylor]: Taking taylor expansion of 0 in x 15.912 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 15.912 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0 15.912 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 15.912 * [taylor]: Taking taylor expansion of x in y 15.912 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.912 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.912 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.912 * [taylor]: Taking taylor expansion of 1/3 in y 15.912 * [taylor]: Taking taylor expansion of (log y) in y 15.912 * [taylor]: Taking taylor expansion of y in y 15.912 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 15.912 * [taylor]: Taking taylor expansion of x in x 15.912 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.912 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.912 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.912 * [taylor]: Taking taylor expansion of 1/3 in x 15.912 * [taylor]: Taking taylor expansion of (log y) in x 15.912 * [taylor]: Taking taylor expansion of y in x 15.913 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 15.913 * [taylor]: Taking taylor expansion of x in x 15.913 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 15.913 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 15.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 15.913 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 15.913 * [taylor]: Taking taylor expansion of 1/3 in x 15.913 * [taylor]: Taking taylor expansion of (log y) in x 15.913 * [taylor]: Taking taylor expansion of y in x 15.913 * [taylor]: Taking taylor expansion of 0 in y 15.913 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 15.913 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 15.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 15.914 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 15.914 * [taylor]: Taking taylor expansion of 1/3 in y 15.914 * [taylor]: Taking taylor expansion of (log y) in y 15.914 * [taylor]: Taking taylor expansion of y in y 15.915 * [taylor]: Taking taylor expansion of 0 in y 15.916 * [taylor]: Taking taylor expansion of 0 in y 15.917 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0 15.917 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 15.917 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.917 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.917 * [taylor]: Taking taylor expansion of 1/3 in y 15.917 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.917 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.917 * [taylor]: Taking taylor expansion of y in y 15.917 * [taylor]: Taking taylor expansion of x in y 15.917 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 15.917 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.917 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.917 * [taylor]: Taking taylor expansion of 1/3 in x 15.917 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.917 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.917 * [taylor]: Taking taylor expansion of y in x 15.917 * [taylor]: Taking taylor expansion of x in x 15.918 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 15.918 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 15.918 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.918 * [taylor]: Taking taylor expansion of 1/3 in x 15.918 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.918 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.918 * [taylor]: Taking taylor expansion of y in x 15.918 * [taylor]: Taking taylor expansion of x in x 15.918 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 15.918 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.918 * [taylor]: Taking taylor expansion of 1/3 in y 15.918 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.918 * [taylor]: Taking taylor expansion of y in y 15.919 * [taylor]: Taking taylor expansion of 0 in y 15.921 * [taylor]: Taking taylor expansion of 0 in y 15.923 * [taylor]: Taking taylor expansion of 0 in y 15.923 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in (x y) around 0 15.923 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 15.923 * [taylor]: Taking taylor expansion of -1 in y 15.923 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 15.923 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 15.923 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.923 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.923 * [taylor]: Taking taylor expansion of 1/3 in y 15.923 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.923 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.923 * [taylor]: Taking taylor expansion of y in y 15.924 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.924 * [taylor]: Taking taylor expansion of -1 in y 15.924 * [taylor]: Taking taylor expansion of x in y 15.924 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 15.924 * [taylor]: Taking taylor expansion of -1 in x 15.924 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 15.924 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 15.924 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 15.924 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.924 * [taylor]: Taking taylor expansion of 1/3 in x 15.925 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.925 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.925 * [taylor]: Taking taylor expansion of y in x 15.925 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.925 * [taylor]: Taking taylor expansion of -1 in x 15.925 * [taylor]: Taking taylor expansion of x in x 15.925 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 15.925 * [taylor]: Taking taylor expansion of -1 in x 15.925 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 15.925 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 15.925 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 15.925 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 15.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 15.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 15.925 * [taylor]: Taking taylor expansion of 1/3 in x 15.925 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 15.925 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.925 * [taylor]: Taking taylor expansion of y in x 15.926 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.926 * [taylor]: Taking taylor expansion of -1 in x 15.926 * [taylor]: Taking taylor expansion of x in x 15.926 * [taylor]: Taking taylor expansion of (* -1 (log (* (pow (/ 1 y) 1/3) (cbrt -1)))) in y 15.926 * [taylor]: Taking taylor expansion of -1 in y 15.926 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 15.926 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 15.926 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 15.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 15.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 15.927 * [taylor]: Taking taylor expansion of 1/3 in y 15.927 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.927 * [taylor]: Taking taylor expansion of y in y 15.927 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.927 * [taylor]: Taking taylor expansion of -1 in y 15.928 * [taylor]: Taking taylor expansion of 0 in y 15.931 * [taylor]: Taking taylor expansion of 0 in y 15.935 * [taylor]: Taking taylor expansion of 0 in y 15.935 * * * [progress]: simplifying candidates 15.936 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (+ (+ (log 2) (log (log (cbrt y)))) (log x)) (+ (log (* 2 (log (cbrt y)))) (log x)) (log (* (* 2 (log (cbrt y))) x)) (exp (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 2) 2) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (* x x) x)) (* (* (* (* 2 (log (cbrt y))) (* 2 (log (cbrt y)))) (* 2 (log (cbrt y)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt y))) (sqrt x)) (* (* 2 (log (cbrt y))) 1) (* (log (cbrt y)) x) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (exp (* x (log (cbrt y)))) (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt 1))) (* x (log (cbrt y))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt 1)) x) (* (log (cbrt y)) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) (* x 1) (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (* (+ (* 2/3 (log y)) (* 2/3 (log 1))) x) (* 2/3 (* (- (log 1) (log (/ 1 y))) x)) (* 2 (* x (log (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))))) (* 1/3 (* x (+ (log y) (log 1)))) (* 1/3 (* (- (log 1) (log (/ 1 y))) x)) (* x (log (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)))) 15.937 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.937 * * [simplify]: iteration done : 3 enodes (cost 3 ) 15.938 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.938 * * [simplify]: iteration done : 3 enodes (cost 3 ) 15.939 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 15.939 * * [simplify]: iteration done : 4 enodes (cost 6 ) 15.940 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.940 * * [simplify]: iteration done : 3 enodes (cost 3 ) 15.941 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.941 * * [simplify]: iteration done : 3 enodes (cost 3 ) 15.941 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.942 * * [simplify]: iteration done : 3 enodes (cost 3 ) 15.942 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 15.943 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 15.943 * * [simplify]: iteration done : 4 enodes (cost 1 ) 15.943 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 15.944 * * [simplify]: iteration done : 2 enodes (cost 2 ) 15.944 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 15.945 * * [simplify]: iteration done : 4 enodes (cost 7 ) 15.945 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.945 * * [simplify]: iteration done : 3 enodes (cost 3 ) 15.946 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 15.946 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 15.947 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 15.948 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 15.949 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 15.950 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 15.951 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 15.954 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 15.963 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 16.007 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 16.456 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 18.801 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 18.802 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.802 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.803 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.803 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.803 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.804 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.804 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.805 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.805 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 18.806 * * [simplify]: iteration done : 4 enodes (cost 6 ) 18.806 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.806 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.807 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.807 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.808 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.808 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.808 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 18.809 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 18.809 * * [simplify]: iteration done : 4 enodes (cost 1 ) 18.809 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 18.810 * * [simplify]: iteration done : 2 enodes (cost 2 ) 18.810 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 18.811 * * [simplify]: iteration done : 4 enodes (cost 7 ) 18.811 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.811 * * [simplify]: iteration done : 3 enodes (cost 3 ) 18.812 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 18.813 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 18.813 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 18.818 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 18.819 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 18.820 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 18.821 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 18.824 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 18.833 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 18.877 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 19.323 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 21.689 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 21.690 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.690 * * [simplify]: iteration done : 3 enodes (cost 3 ) 21.691 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.691 * * [simplify]: iteration done : 3 enodes (cost 3 ) 21.692 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 21.693 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 21.694 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 21.696 * * [simplify]: iteration done : 17 enodes (cost 7 ) 21.697 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 21.697 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 21.699 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 21.701 * * [simplify]: iteration done : 17 enodes (cost 7 ) 21.701 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 21.702 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 21.704 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 21.706 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 21.708 * * [simplify]: iteration done : 22 enodes (cost 10 ) 21.709 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 21.709 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 21.711 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 21.713 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 21.716 * * [simplify]: iteration done : 23 enodes (cost 9 ) 21.716 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 21.717 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 21.719 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 21.723 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 21.731 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 21.736 * * [simplify]: iteration done : 42 enodes (cost 8 ) 21.736 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 21.737 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 21.739 * * [simplify]: iteration 2 : 32 enodes (cost 6 ) 21.744 * * [simplify]: iteration 3 : 60 enodes (cost 6 ) 21.755 * * [simplify]: iteration 4 : 119 enodes (cost 6 ) 21.789 * * [simplify]: iteration 5 : 242 enodes (cost 6 ) 21.915 * * [simplify]: iteration 6 : 685 enodes (cost 6 ) 22.838 * * [simplify]: iteration 7 : 2651 enodes (cost 6 ) 24.801 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 24.802 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 24.804 * * [simplify]: iteration 1 : 28 enodes (cost 19 ) 24.808 * * [simplify]: iteration 2 : 79 enodes (cost 11 ) 24.834 * * [simplify]: iteration 3 : 253 enodes (cost 11 ) 25.009 * * [simplify]: iteration 4 : 750 enodes (cost 11 ) 26.015 * * [simplify]: iteration 5 : 1985 enodes (cost 9 ) 30.172 * * [simplify]: iteration 6 : 4899 enodes (cost 9 ) 31.299 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 31.300 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 31.302 * * [simplify]: iteration 1 : 29 enodes (cost 21 ) 31.308 * * [simplify]: iteration 2 : 94 enodes (cost 11 ) 31.353 * * [simplify]: iteration 3 : 366 enodes (cost 11 ) 31.737 * * [simplify]: iteration 4 : 1125 enodes (cost 9 ) 33.555 * * [simplify]: iteration 5 : 2076 enodes (cost 9 ) 37.987 * * [simplify]: iteration 6 : 4166 enodes (cost 9 ) 40.176 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 40.177 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 40.178 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 40.179 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 40.182 * * [simplify]: iteration done : 19 enodes (cost 17 ) 40.182 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 40.183 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 40.185 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 40.187 * * [simplify]: iteration done : 18 enodes (cost 8 ) 40.187 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 40.189 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 40.194 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 40.248 * * [simplify]: iteration 3 : 427 enodes (cost 9 ) 40.825 * * [simplify]: iteration 4 : 1178 enodes (cost 9 ) 42.556 * * [simplify]: iteration 5 : 1586 enodes (cost 9 ) 45.159 * * [simplify]: iteration 6 : 2597 enodes (cost 9 ) 48.171 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 48.171 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 48.172 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 48.173 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 48.176 * * [simplify]: iteration done : 18 enodes (cost 8 ) 48.176 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 48.177 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 48.179 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 48.181 * * [simplify]: iteration done : 18 enodes (cost 8 ) 48.182 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 48.183 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 48.185 * * [simplify]: iteration 2 : 28 enodes (cost 11 ) 48.190 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 48.196 * * [simplify]: iteration done : 40 enodes (cost 11 ) 48.197 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 48.204 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 48.205 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 48.208 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 48.210 * * [simplify]: iteration done : 20 enodes (cost 8 ) 48.210 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 48.211 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 48.213 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 48.215 * * [simplify]: iteration done : 25 enodes (cost 5 ) 48.216 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 48.216 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 48.217 * * [simplify]: iteration done : 6 enodes (cost 5 ) 48.217 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 48.218 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 48.218 * * [simplify]: iteration done : 6 enodes (cost 5 ) 48.219 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 48.220 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 48.220 * * [simplify]: iteration done : 8 enodes (cost 7 ) 48.221 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 48.221 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 48.223 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 48.224 * * [simplify]: iteration done : 11 enodes (cost 6 ) 48.224 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 48.225 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 48.226 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 48.228 * * [simplify]: iteration 3 : 26 enodes (cost 4 ) 48.231 * * [simplify]: iteration 4 : 49 enodes (cost 4 ) 48.238 * * [simplify]: iteration 5 : 107 enodes (cost 4 ) 48.274 * * [simplify]: iteration 6 : 245 enodes (cost 4 ) 48.423 * * [simplify]: iteration 7 : 701 enodes (cost 4 ) 49.515 * * [simplify]: iteration 8 : 2717 enodes (cost 4 ) 51.390 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 51.391 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 51.392 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 51.395 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 51.409 * * [simplify]: iteration 3 : 78 enodes (cost 9 ) 51.430 * * [simplify]: iteration 4 : 138 enodes (cost 7 ) 51.485 * * [simplify]: iteration 5 : 268 enodes (cost 7 ) 51.637 * * [simplify]: iteration 6 : 671 enodes (cost 7 ) 52.595 * * [simplify]: iteration 7 : 2479 enodes (cost 7 ) 54.749 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 54.750 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 54.751 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 54.751 * * [simplify]: iteration done : 8 enodes (cost 13 ) 54.752 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 54.753 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 54.753 * * [simplify]: iteration done : 7 enodes (cost 6 ) 54.754 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 54.755 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 54.759 * * [simplify]: iteration 2 : 47 enodes (cost 7 ) 54.771 * * [simplify]: iteration 3 : 89 enodes (cost 7 ) 54.798 * * [simplify]: iteration 4 : 105 enodes (cost 7 ) 54.825 * * [simplify]: iteration 5 : 151 enodes (cost 7 ) 54.885 * * [simplify]: iteration 6 : 291 enodes (cost 7 ) 55.053 * * [simplify]: iteration 7 : 753 enodes (cost 7 ) 56.107 * * [simplify]: iteration 8 : 2713 enodes (cost 7 ) 58.432 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 58.433 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.434 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.434 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.435 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.435 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.436 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.437 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.437 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 58.438 * * [simplify]: iteration done : 8 enodes (cost 7 ) 58.439 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.439 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 58.440 * * [simplify]: iteration done : 8 enodes (cost 7 ) 58.441 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 58.441 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 58.442 * * [simplify]: iteration done : 8 enodes (cost 9 ) 58.443 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.443 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.444 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.445 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.445 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.446 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.446 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.447 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.447 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.448 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.449 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 58.449 * * [simplify]: iteration done : 8 enodes (cost 4 ) 58.450 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.455 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.456 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.456 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 58.457 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 58.459 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 58.461 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 58.463 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 58.466 * * [simplify]: iteration done : 26 enodes (cost 8 ) 58.467 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.467 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.468 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.469 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.469 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.470 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.470 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.471 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.472 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.472 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 58.473 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 58.473 * * [simplify]: iteration done : 7 enodes (cost 1 ) 58.474 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.474 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.475 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.476 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 58.476 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 58.477 * * [simplify]: iteration done : 8 enodes (cost 9 ) 58.478 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.479 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.479 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.480 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.480 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.481 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.482 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.482 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.483 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.483 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.484 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 58.485 * * [simplify]: iteration done : 8 enodes (cost 4 ) 58.485 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.486 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.486 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.487 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 58.488 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 58.489 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 58.491 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 58.493 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 58.496 * * [simplify]: iteration done : 26 enodes (cost 8 ) 58.497 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.497 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.498 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.498 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.499 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.500 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.500 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.501 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.501 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.502 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 58.502 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 58.503 * * [simplify]: iteration done : 7 enodes (cost 1 ) 58.504 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.504 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.505 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.505 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 58.506 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 58.506 * * [simplify]: iteration done : 4 enodes (cost 3 ) 58.507 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 58.507 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 58.507 * * [simplify]: iteration done : 6 enodes (cost 1 ) 58.508 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 58.509 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 58.510 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 58.511 * * [simplify]: iteration done : 12 enodes (cost 11 ) 58.512 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.512 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.513 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.513 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 58.514 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 58.514 * * [simplify]: iteration done : 6 enodes (cost 1 ) 58.515 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.515 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.516 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.516 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.517 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.518 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.518 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.519 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.519 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.520 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 58.521 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 58.523 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 58.531 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 58.537 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 58.553 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 58.606 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 58.799 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 60.201 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 62.037 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 62.038 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 62.039 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 62.042 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 62.048 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 62.062 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 62.090 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 62.201 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 62.711 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 64.485 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 64.485 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 64.487 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 64.490 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 64.496 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 64.517 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 64.590 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 64.875 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 66.279 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 67.549 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 67.550 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 67.558 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 67.560 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 67.563 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 67.569 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 67.585 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 67.638 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 67.826 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 69.185 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 70.978 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 70.979 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 70.980 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 70.983 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 70.993 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 71.002 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 71.030 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 71.138 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 71.634 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 73.373 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 73.374 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 73.375 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 73.378 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 73.383 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 73.406 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 73.477 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 73.762 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 75.341 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 76.618 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 76.619 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 76.620 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 76.623 * * [simplify]: iteration 2 : 32 enodes (cost 6 ) 76.629 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 76.638 * * [simplify]: iteration 4 : 52 enodes (cost 6 ) 76.642 * * [simplify]: iteration done : 52 enodes (cost 6 ) 76.643 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 76.644 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 76.647 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 76.655 * * [simplify]: iteration 3 : 85 enodes (cost 6 ) 76.669 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 76.701 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 76.773 * * [simplify]: iteration 6 : 233 enodes (cost 6 ) 76.813 * * [simplify]: iteration done : 233 enodes (cost 6 ) 76.814 * * [simplify]: iteration 0 : 17 enodes (cost 18 ) 76.816 * * [simplify]: iteration 1 : 35 enodes (cost 17 ) 76.820 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 76.835 * * [simplify]: iteration 3 : 185 enodes (cost 15 ) 76.913 * * [simplify]: iteration 4 : 563 enodes (cost 14 ) 77.230 * * [simplify]: iteration 5 : 1572 enodes (cost 12 ) 79.380 * * [simplify]: iteration 6 : 4720 enodes (cost 11 ) 80.517 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 80.518 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 80.519 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 80.523 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 80.530 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 80.534 * * [simplify]: iteration done : 53 enodes (cost 6 ) 80.535 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 80.537 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 80.540 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 80.548 * * [simplify]: iteration 3 : 85 enodes (cost 6 ) 80.562 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 80.595 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 80.667 * * [simplify]: iteration 6 : 233 enodes (cost 6 ) 80.706 * * [simplify]: iteration done : 233 enodes (cost 6 ) 80.706 * * [simplify]: iteration 0 : 15 enodes (cost 16 ) 80.708 * * [simplify]: iteration 1 : 30 enodes (cost 15 ) 80.712 * * [simplify]: iteration 2 : 56 enodes (cost 13 ) 80.722 * * [simplify]: iteration 3 : 137 enodes (cost 13 ) 80.764 * * [simplify]: iteration 4 : 384 enodes (cost 12 ) 80.931 * * [simplify]: iteration 5 : 1032 enodes (cost 10 ) 81.756 * * [simplify]: iteration 6 : 2616 enodes (cost 9 ) 82.939 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 82.940 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (+ (+ (log 2) (log (log (cbrt y)))) (log x)) (+ (log (* 2 (log (cbrt y)))) (log x)) (log (* (* 2 (log (cbrt y))) x)) (pow (pow (cbrt y) 2) x) (* (pow (* x (log (cbrt y))) 3) 8) (pow (* (* 2 (log (cbrt y))) x) 3) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (pow (* (* 2 (log (cbrt y))) x) 3) (sqrt (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt y))) (sqrt x)) (* 2 (log (cbrt y))) (* (log (cbrt y)) x) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (pow (cbrt y) x) (pow (* x (log (cbrt y))) 3) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (pow (* x (log (cbrt y))) 3) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x (* 2 (log (cbrt (cbrt y))))) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) 0 (* (log (cbrt y)) x) (* x 1/3) x (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) x (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (* x (* 2/3 (log y))) (* x (* (log y) 2/3)) (* (* x (log (* (cbrt (neg y)) (cbrt -1)))) 2) (* (* 1/3 x) (log y)) (* x (* (log y) 1/3)) (* x (log (/ (cbrt (neg y)) (cbrt -1)))) 82.940 * * * [progress]: adding candidates to table 83.042 * * [progress]: iteration 3 / 4 83.042 * * * [progress]: picking best candidate 83.053 * * * * [pick]: Picked # 83.053 * * * [progress]: localizing error 83.072 * * * [progress]: generating rewritten candidates 83.072 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2 1) 83.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 83.076 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 83.082 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 83.091 * * * [progress]: generating series expansions 83.091 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2 1) 83.091 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 83.091 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.091 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.091 * [taylor]: Taking taylor expansion of 1/3 in y 83.091 * [taylor]: Taking taylor expansion of (log y) in y 83.091 * [taylor]: Taking taylor expansion of y in y 83.091 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.091 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.091 * [taylor]: Taking taylor expansion of 1/3 in y 83.092 * [taylor]: Taking taylor expansion of (log y) in y 83.092 * [taylor]: Taking taylor expansion of y in y 83.103 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 83.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.103 * [taylor]: Taking taylor expansion of 1/3 in y 83.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.103 * [taylor]: Taking taylor expansion of y in y 83.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.103 * [taylor]: Taking taylor expansion of 1/3 in y 83.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.103 * [taylor]: Taking taylor expansion of y in y 83.111 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 1/3) in (y) around 0 83.111 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 83.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 83.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 83.111 * [taylor]: Taking taylor expansion of 1/3 in y 83.111 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 83.111 * [taylor]: Taking taylor expansion of (/ -1 y) in y 83.111 * [taylor]: Taking taylor expansion of -1 in y 83.111 * [taylor]: Taking taylor expansion of y in y 83.111 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 83.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 83.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 83.111 * [taylor]: Taking taylor expansion of 1/3 in y 83.111 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 83.111 * [taylor]: Taking taylor expansion of (/ -1 y) in y 83.111 * [taylor]: Taking taylor expansion of -1 in y 83.111 * [taylor]: Taking taylor expansion of y in y 83.119 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 83.119 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 83.119 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.119 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.119 * [taylor]: Taking taylor expansion of 1/3 in y 83.119 * [taylor]: Taking taylor expansion of (log y) in y 83.119 * [taylor]: Taking taylor expansion of y in y 83.119 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.119 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.119 * [taylor]: Taking taylor expansion of 1/3 in y 83.119 * [taylor]: Taking taylor expansion of (log y) in y 83.119 * [taylor]: Taking taylor expansion of y in y 83.126 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 83.127 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.127 * [taylor]: Taking taylor expansion of 1/3 in y 83.127 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.127 * [taylor]: Taking taylor expansion of y in y 83.127 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.127 * [taylor]: Taking taylor expansion of 1/3 in y 83.127 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.127 * [taylor]: Taking taylor expansion of y in y 83.134 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 83.134 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 83.134 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.134 * [taylor]: Taking taylor expansion of 1/3 in y 83.134 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.135 * [taylor]: Taking taylor expansion of y in y 83.135 * [taylor]: Taking taylor expansion of (cbrt -1) in y 83.135 * [taylor]: Taking taylor expansion of -1 in y 83.135 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 83.135 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.135 * [taylor]: Taking taylor expansion of 1/3 in y 83.135 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.135 * [taylor]: Taking taylor expansion of y in y 83.135 * [taylor]: Taking taylor expansion of (cbrt -1) in y 83.135 * [taylor]: Taking taylor expansion of -1 in y 83.145 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 83.145 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 83.145 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 83.145 * [taylor]: Taking taylor expansion of 2 in x 83.145 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 83.145 * [taylor]: Taking taylor expansion of x in x 83.145 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 83.145 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 83.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 83.145 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 83.145 * [taylor]: Taking taylor expansion of 1/3 in x 83.145 * [taylor]: Taking taylor expansion of (log y) in x 83.145 * [taylor]: Taking taylor expansion of y in x 83.145 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 83.145 * [taylor]: Taking taylor expansion of 2 in y 83.145 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 83.145 * [taylor]: Taking taylor expansion of x in y 83.145 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 83.145 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.145 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.145 * [taylor]: Taking taylor expansion of 1/3 in y 83.145 * [taylor]: Taking taylor expansion of (log y) in y 83.145 * [taylor]: Taking taylor expansion of y in y 83.146 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 83.146 * [taylor]: Taking taylor expansion of 2 in y 83.146 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 83.146 * [taylor]: Taking taylor expansion of x in y 83.146 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 83.146 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.146 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.146 * [taylor]: Taking taylor expansion of 1/3 in y 83.146 * [taylor]: Taking taylor expansion of (log y) in y 83.146 * [taylor]: Taking taylor expansion of y in y 83.146 * [taylor]: Taking taylor expansion of (* 2/3 (* x (+ (log y) (log 1)))) in x 83.146 * [taylor]: Taking taylor expansion of 2/3 in x 83.146 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 83.146 * [taylor]: Taking taylor expansion of x in x 83.146 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 83.146 * [taylor]: Taking taylor expansion of (log y) in x 83.146 * [taylor]: Taking taylor expansion of y in x 83.146 * [taylor]: Taking taylor expansion of (log 1) in x 83.146 * [taylor]: Taking taylor expansion of 1 in x 83.147 * [taylor]: Taking taylor expansion of 0 in x 83.149 * [taylor]: Taking taylor expansion of 0 in x 83.151 * [taylor]: Taking taylor expansion of 0 in x 83.151 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 83.151 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 83.151 * [taylor]: Taking taylor expansion of 2 in x 83.151 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 83.151 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 83.151 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 83.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 83.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 83.151 * [taylor]: Taking taylor expansion of 1/3 in x 83.151 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 83.151 * [taylor]: Taking taylor expansion of (/ 1 y) in x 83.151 * [taylor]: Taking taylor expansion of y in x 83.151 * [taylor]: Taking taylor expansion of x in x 83.152 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 83.152 * [taylor]: Taking taylor expansion of 2 in y 83.152 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 83.152 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 83.152 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.152 * [taylor]: Taking taylor expansion of 1/3 in y 83.152 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.152 * [taylor]: Taking taylor expansion of y in y 83.152 * [taylor]: Taking taylor expansion of x in y 83.152 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 83.152 * [taylor]: Taking taylor expansion of 2 in y 83.152 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 83.152 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 83.152 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.152 * [taylor]: Taking taylor expansion of 1/3 in y 83.152 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.152 * [taylor]: Taking taylor expansion of y in y 83.153 * [taylor]: Taking taylor expansion of x in y 83.153 * [taylor]: Taking taylor expansion of (* 2/3 (/ (- (log 1) (log y)) x)) in x 83.153 * [taylor]: Taking taylor expansion of 2/3 in x 83.153 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 83.153 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 83.153 * [taylor]: Taking taylor expansion of (log 1) in x 83.153 * [taylor]: Taking taylor expansion of 1 in x 83.153 * [taylor]: Taking taylor expansion of (log y) in x 83.153 * [taylor]: Taking taylor expansion of y in x 83.153 * [taylor]: Taking taylor expansion of x in x 83.154 * [taylor]: Taking taylor expansion of 0 in x 83.156 * [taylor]: Taking taylor expansion of 0 in x 83.158 * [taylor]: Taking taylor expansion of 0 in x 83.159 * [approximate]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in (y x) around 0 83.159 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in x 83.159 * [taylor]: Taking taylor expansion of -2 in x 83.159 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x 83.159 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x 83.159 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x 83.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x 83.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x 83.159 * [taylor]: Taking taylor expansion of 1/3 in x 83.159 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 83.159 * [taylor]: Taking taylor expansion of (/ -1 y) in x 83.159 * [taylor]: Taking taylor expansion of -1 in x 83.159 * [taylor]: Taking taylor expansion of y in x 83.159 * [taylor]: Taking taylor expansion of x in x 83.159 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in y 83.159 * [taylor]: Taking taylor expansion of -2 in y 83.159 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in y 83.159 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 83.159 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 83.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 83.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 83.159 * [taylor]: Taking taylor expansion of 1/3 in y 83.159 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 83.159 * [taylor]: Taking taylor expansion of (/ -1 y) in y 83.160 * [taylor]: Taking taylor expansion of -1 in y 83.160 * [taylor]: Taking taylor expansion of y in y 83.160 * [taylor]: Taking taylor expansion of x in y 83.160 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in y 83.160 * [taylor]: Taking taylor expansion of -2 in y 83.160 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in y 83.160 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y 83.160 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 83.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 83.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 83.160 * [taylor]: Taking taylor expansion of 1/3 in y 83.160 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 83.160 * [taylor]: Taking taylor expansion of (/ -1 y) in y 83.160 * [taylor]: Taking taylor expansion of -1 in y 83.160 * [taylor]: Taking taylor expansion of y in y 83.160 * [taylor]: Taking taylor expansion of x in y 83.161 * [taylor]: Taking taylor expansion of (* -2/3 (/ (- (log -1) (log y)) x)) in x 83.161 * [taylor]: Taking taylor expansion of -2/3 in x 83.161 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log y)) x) in x 83.161 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in x 83.161 * [taylor]: Taking taylor expansion of (log -1) in x 83.161 * [taylor]: Taking taylor expansion of -1 in x 83.161 * [taylor]: Taking taylor expansion of (log y) in x 83.161 * [taylor]: Taking taylor expansion of y in x 83.161 * [taylor]: Taking taylor expansion of x in x 83.162 * [taylor]: Taking taylor expansion of 0 in x 83.163 * [taylor]: Taking taylor expansion of 0 in x 83.165 * [taylor]: Taking taylor expansion of 0 in x 83.166 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 83.167 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0 83.167 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 83.167 * [taylor]: Taking taylor expansion of x in y 83.167 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 83.167 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.167 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.167 * [taylor]: Taking taylor expansion of 1/3 in y 83.167 * [taylor]: Taking taylor expansion of (log y) in y 83.167 * [taylor]: Taking taylor expansion of y in y 83.167 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 83.167 * [taylor]: Taking taylor expansion of x in x 83.167 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 83.167 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 83.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 83.167 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 83.167 * [taylor]: Taking taylor expansion of 1/3 in x 83.167 * [taylor]: Taking taylor expansion of (log y) in x 83.167 * [taylor]: Taking taylor expansion of y in x 83.167 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 83.167 * [taylor]: Taking taylor expansion of x in x 83.167 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 83.167 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 83.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 83.167 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 83.167 * [taylor]: Taking taylor expansion of 1/3 in x 83.167 * [taylor]: Taking taylor expansion of (log y) in x 83.167 * [taylor]: Taking taylor expansion of y in x 83.168 * [taylor]: Taking taylor expansion of 0 in y 83.168 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 83.168 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 83.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 83.168 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 83.168 * [taylor]: Taking taylor expansion of 1/3 in y 83.168 * [taylor]: Taking taylor expansion of (log y) in y 83.168 * [taylor]: Taking taylor expansion of y in y 83.173 * [taylor]: Taking taylor expansion of 0 in y 83.175 * [taylor]: Taking taylor expansion of 0 in y 83.175 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0 83.175 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 83.175 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 83.175 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.175 * [taylor]: Taking taylor expansion of 1/3 in y 83.175 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.175 * [taylor]: Taking taylor expansion of y in y 83.175 * [taylor]: Taking taylor expansion of x in y 83.175 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 83.175 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 83.175 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 83.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 83.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 83.175 * [taylor]: Taking taylor expansion of 1/3 in x 83.175 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 83.175 * [taylor]: Taking taylor expansion of (/ 1 y) in x 83.175 * [taylor]: Taking taylor expansion of y in x 83.176 * [taylor]: Taking taylor expansion of x in x 83.176 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 83.176 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 83.176 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 83.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 83.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 83.176 * [taylor]: Taking taylor expansion of 1/3 in x 83.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 83.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 83.176 * [taylor]: Taking taylor expansion of y in x 83.176 * [taylor]: Taking taylor expansion of x in x 83.176 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 83.176 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.176 * [taylor]: Taking taylor expansion of 1/3 in y 83.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.176 * [taylor]: Taking taylor expansion of y in y 83.177 * [taylor]: Taking taylor expansion of 0 in y 83.179 * [taylor]: Taking taylor expansion of 0 in y 83.182 * [taylor]: Taking taylor expansion of 0 in y 83.182 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in (x y) around 0 83.182 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 83.182 * [taylor]: Taking taylor expansion of -1 in y 83.182 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 83.182 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 83.182 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 83.182 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.182 * [taylor]: Taking taylor expansion of 1/3 in y 83.182 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.182 * [taylor]: Taking taylor expansion of y in y 83.182 * [taylor]: Taking taylor expansion of (cbrt -1) in y 83.182 * [taylor]: Taking taylor expansion of -1 in y 83.183 * [taylor]: Taking taylor expansion of x in y 83.183 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 83.183 * [taylor]: Taking taylor expansion of -1 in x 83.183 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 83.183 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 83.183 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 83.183 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 83.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 83.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 83.183 * [taylor]: Taking taylor expansion of 1/3 in x 83.183 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 83.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x 83.183 * [taylor]: Taking taylor expansion of y in x 83.183 * [taylor]: Taking taylor expansion of (cbrt -1) in x 83.183 * [taylor]: Taking taylor expansion of -1 in x 83.183 * [taylor]: Taking taylor expansion of x in x 83.184 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 83.184 * [taylor]: Taking taylor expansion of -1 in x 83.184 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 83.184 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 83.184 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 83.184 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 83.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 83.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 83.184 * [taylor]: Taking taylor expansion of 1/3 in x 83.184 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 83.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x 83.184 * [taylor]: Taking taylor expansion of y in x 83.184 * [taylor]: Taking taylor expansion of (cbrt -1) in x 83.184 * [taylor]: Taking taylor expansion of -1 in x 83.184 * [taylor]: Taking taylor expansion of x in x 83.185 * [taylor]: Taking taylor expansion of (* -1 (log (* (pow (/ 1 y) 1/3) (cbrt -1)))) in y 83.185 * [taylor]: Taking taylor expansion of -1 in y 83.185 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 83.185 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 83.185 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 83.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 83.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 83.185 * [taylor]: Taking taylor expansion of 1/3 in y 83.185 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 83.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 83.185 * [taylor]: Taking taylor expansion of y in y 83.185 * [taylor]: Taking taylor expansion of (cbrt -1) in y 83.185 * [taylor]: Taking taylor expansion of -1 in y 83.187 * [taylor]: Taking taylor expansion of 0 in y 83.189 * [taylor]: Taking taylor expansion of 0 in y 83.193 * [taylor]: Taking taylor expansion of 0 in y 83.193 * * * [progress]: simplifying candidates 83.194 * [simplify]: Simplifying using # : (* (log y) 1/3) (* (log y) 1/3) (* 1 1/3) (pow y (* (cbrt 1/3) (cbrt 1/3))) (pow y (sqrt 1/3)) (pow y 1) (pow (* (cbrt y) (cbrt y)) 1/3) (pow (cbrt y) 1/3) (pow (sqrt y) 1/3) (pow (sqrt y) 1/3) (pow 1 1/3) (pow y 1/3) (log (pow y 1/3)) (exp (pow y 1/3)) (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3))) (cbrt (pow y 1/3)) (* (* (pow y 1/3) (pow y 1/3)) (pow y 1/3)) (sqrt (pow y 1/3)) (sqrt (pow y 1/3)) (pow y (/ 1/3 2)) (pow y (/ 1/3 2)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (* 2 (log (pow y 1/3))) x) (* (* 2 (log (pow y 1/3))) x) (+ (+ (log 2) (log (log (pow y 1/3)))) (log x)) (+ (log (* 2 (log (pow y 1/3)))) (log x)) (log (* (* 2 (log (pow y 1/3))) x)) (exp (* (* 2 (log (pow y 1/3))) x)) (* (* (* (* 2 2) 2) (* (* (log (pow y 1/3)) (log (pow y 1/3))) (log (pow y 1/3)))) (* (* x x) x)) (* (* (* (* 2 (log (pow y 1/3))) (* 2 (log (pow y 1/3)))) (* 2 (log (pow y 1/3)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (pow y 1/3))) x)) (cbrt (* (* 2 (log (pow y 1/3))) x))) (cbrt (* (* 2 (log (pow y 1/3))) x)) (* (* (* (* 2 (log (pow y 1/3))) x) (* (* 2 (log (pow y 1/3))) x)) (* (* 2 (log (pow y 1/3))) x)) (sqrt (* (* 2 (log (pow y 1/3))) x)) (sqrt (* (* 2 (log (pow y 1/3))) x)) (* (* 2 (log (pow y 1/3))) (* (cbrt x) (cbrt x))) (* (* 2 (log (pow y 1/3))) (sqrt x)) (* (* 2 (log (pow y 1/3))) 1) (* (log (pow y 1/3)) x) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (exp (* x (log (cbrt y)))) (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt 1))) (* x (log (cbrt y))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt 1)) x) (* (log (cbrt y)) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) (* x 1) (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (exp (* 1/3 (- (log -1) (log (/ -1 y))))) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (* (+ (* 2/3 (log y)) (* 2/3 (log 1))) x) (* 2/3 (* (- (log 1) (log (/ 1 y))) x)) (* 2/3 (* x (- (log -1) (log (/ -1 y))))) (* 1/3 (* x (+ (log y) (log 1)))) (* 1/3 (* (- (log 1) (log (/ 1 y))) x)) (* x (log (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)))) 83.195 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 83.195 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 83.196 * * [simplify]: iteration done : 5 enodes (cost 4 ) 83.196 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 83.197 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 83.197 * * [simplify]: iteration done : 5 enodes (cost 4 ) 83.198 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 83.198 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 83.198 * * [simplify]: iteration done : 6 enodes (cost 1 ) 83.199 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 83.200 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 83.201 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 83.203 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 83.214 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 83.247 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 83.472 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 85.187 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 86.511 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 86.512 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.512 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 86.513 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 86.515 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 86.519 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 86.540 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 86.635 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 87.481 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 89.591 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 89.592 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.592 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 89.593 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 89.594 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 89.595 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 89.598 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 89.609 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 89.651 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 90.092 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 92.426 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 92.427 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 92.427 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 92.428 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 92.430 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 92.433 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 92.442 * * [simplify]: iteration 5 : 111 enodes (cost 6 ) 92.490 * * [simplify]: iteration 6 : 325 enodes (cost 6 ) 93.141 * * [simplify]: iteration 7 : 1254 enodes (cost 6 ) 95.443 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 95.444 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.444 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 95.445 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 95.446 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 95.454 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 95.462 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 95.508 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 95.962 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 98.315 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 98.316 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 98.317 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 98.318 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 98.319 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 98.322 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 98.337 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 98.379 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 98.826 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 101.183 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 101.184 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 101.184 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 101.186 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 101.187 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 101.190 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 101.205 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 101.248 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 101.700 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 104.061 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 104.061 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 104.062 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 104.063 * * [simplify]: iteration done : 11 enodes (cost 1 ) 104.063 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 104.064 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 104.064 * * [simplify]: iteration 2 : 15 enodes (cost 2 ) 104.066 * * [simplify]: iteration 3 : 25 enodes (cost 2 ) 104.069 * * [simplify]: iteration 4 : 49 enodes (cost 2 ) 104.078 * * [simplify]: iteration 5 : 114 enodes (cost 2 ) 104.129 * * [simplify]: iteration 6 : 337 enodes (cost 2 ) 104.590 * * [simplify]: iteration 7 : 1273 enodes (cost 2 ) 106.901 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 106.902 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 106.902 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 106.904 * * [simplify]: iteration 2 : 21 enodes (cost 3 ) 106.906 * * [simplify]: iteration 3 : 35 enodes (cost 3 ) 106.910 * * [simplify]: iteration 4 : 78 enodes (cost 3 ) 106.927 * * [simplify]: iteration 5 : 197 enodes (cost 3 ) 107.015 * * [simplify]: iteration 6 : 572 enodes (cost 3 ) 107.681 * * [simplify]: iteration 7 : 2108 enodes (cost 3 ) 109.675 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 109.676 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 109.676 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 109.677 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 109.679 * * [simplify]: iteration 3 : 33 enodes (cost 3 ) 109.683 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 109.696 * * [simplify]: iteration 5 : 194 enodes (cost 3 ) 109.782 * * [simplify]: iteration 6 : 659 enodes (cost 3 ) 110.641 * * [simplify]: iteration 7 : 3013 enodes (cost 3 ) 111.935 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 111.935 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 111.936 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 111.937 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 111.939 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 111.942 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 111.951 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 111.998 * * [simplify]: iteration 6 : 330 enodes (cost 7 ) 112.460 * * [simplify]: iteration 7 : 1262 enodes (cost 7 ) 114.868 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 114.868 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.869 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 114.870 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 114.871 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 114.874 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 114.883 * * [simplify]: iteration 5 : 115 enodes (cost 3 ) 114.933 * * [simplify]: iteration 6 : 336 enodes (cost 3 ) 115.385 * * [simplify]: iteration 7 : 1254 enodes (cost 3 ) 117.997 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 117.998 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 117.999 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 118.001 * * [simplify]: iteration 2 : 36 enodes (cost 4 ) 118.006 * * [simplify]: iteration 3 : 74 enodes (cost 1 ) 118.020 * * [simplify]: iteration 4 : 174 enodes (cost 1 ) 118.136 * * [simplify]: iteration 5 : 554 enodes (cost 1 ) 119.557 * * [simplify]: iteration 6 : 2511 enodes (cost 1 ) 122.478 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 122.479 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 122.480 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 122.481 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 122.482 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 122.485 * * [simplify]: iteration 4 : 51 enodes (cost 3 ) 122.495 * * [simplify]: iteration 5 : 114 enodes (cost 3 ) 122.545 * * [simplify]: iteration 6 : 331 enodes (cost 3 ) 123.011 * * [simplify]: iteration 7 : 1255 enodes (cost 3 ) 125.343 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 125.343 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 125.344 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 125.345 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 125.346 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 125.349 * * [simplify]: iteration 4 : 51 enodes (cost 3 ) 125.358 * * [simplify]: iteration 5 : 114 enodes (cost 3 ) 125.407 * * [simplify]: iteration 6 : 331 enodes (cost 3 ) 125.870 * * [simplify]: iteration 7 : 1255 enodes (cost 3 ) 128.210 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 128.211 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 128.212 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 128.213 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 128.214 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 128.217 * * [simplify]: iteration 4 : 48 enodes (cost 3 ) 128.226 * * [simplify]: iteration 5 : 110 enodes (cost 3 ) 128.273 * * [simplify]: iteration 6 : 326 enodes (cost 3 ) 128.728 * * [simplify]: iteration 7 : 1249 enodes (cost 3 ) 131.123 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 131.124 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 131.125 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 131.125 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 131.132 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 131.135 * * [simplify]: iteration 4 : 48 enodes (cost 3 ) 131.144 * * [simplify]: iteration 5 : 110 enodes (cost 3 ) 131.192 * * [simplify]: iteration 6 : 326 enodes (cost 3 ) 131.641 * * [simplify]: iteration 7 : 1249 enodes (cost 3 ) 134.047 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 134.047 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 134.048 * * [simplify]: iteration done : 3 enodes (cost 3 ) 134.048 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 134.048 * * [simplify]: iteration done : 3 enodes (cost 3 ) 134.049 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 134.049 * * [simplify]: iteration done : 4 enodes (cost 6 ) 134.050 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 134.050 * * [simplify]: iteration done : 3 enodes (cost 3 ) 134.051 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 134.051 * * [simplify]: iteration done : 3 enodes (cost 3 ) 134.052 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 134.052 * * [simplify]: iteration done : 3 enodes (cost 3 ) 134.052 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 134.053 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 134.053 * * [simplify]: iteration done : 4 enodes (cost 1 ) 134.053 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 134.054 * * [simplify]: iteration done : 2 enodes (cost 2 ) 134.054 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 134.055 * * [simplify]: iteration done : 4 enodes (cost 7 ) 134.055 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 134.055 * * [simplify]: iteration done : 3 enodes (cost 3 ) 134.056 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 134.056 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 134.057 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 134.058 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 134.059 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 134.060 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 134.061 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 134.064 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 134.073 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 134.119 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 134.582 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 136.971 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 136.972 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 136.972 * * [simplify]: iteration done : 3 enodes (cost 3 ) 136.973 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 136.973 * * [simplify]: iteration done : 3 enodes (cost 3 ) 136.973 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 136.974 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 136.977 * * [simplify]: iteration 2 : 41 enodes (cost 6 ) 136.989 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 137.010 * * [simplify]: iteration 4 : 183 enodes (cost 6 ) 137.090 * * [simplify]: iteration 5 : 476 enodes (cost 6 ) 137.478 * * [simplify]: iteration 6 : 1427 enodes (cost 6 ) 139.607 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 139.608 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 139.609 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 139.611 * * [simplify]: iteration 2 : 41 enodes (cost 6 ) 139.617 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 139.639 * * [simplify]: iteration 4 : 183 enodes (cost 6 ) 139.724 * * [simplify]: iteration 5 : 476 enodes (cost 6 ) 140.113 * * [simplify]: iteration 6 : 1427 enodes (cost 6 ) 142.235 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 142.236 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 142.237 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 142.239 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 142.244 * * [simplify]: iteration 3 : 67 enodes (cost 10 ) 142.253 * * [simplify]: iteration 4 : 130 enodes (cost 10 ) 142.499 * * [simplify]: iteration 5 : 274 enodes (cost 10 ) 142.608 * * [simplify]: iteration 6 : 708 enodes (cost 10 ) 143.330 * * [simplify]: iteration 7 : 2361 enodes (cost 10 ) 144.989 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 144.990 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 144.991 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 144.993 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 144.999 * * [simplify]: iteration 3 : 83 enodes (cost 8 ) 145.011 * * [simplify]: iteration 4 : 170 enodes (cost 8 ) 145.061 * * [simplify]: iteration 5 : 387 enodes (cost 8 ) 145.281 * * [simplify]: iteration 6 : 1103 enodes (cost 8 ) 146.984 * * [simplify]: iteration 7 : 3910 enodes (cost 8 ) 148.574 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 148.575 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 148.576 * * [simplify]: iteration 1 : 23 enodes (cost 8 ) 148.579 * * [simplify]: iteration 2 : 52 enodes (cost 7 ) 148.587 * * [simplify]: iteration 3 : 126 enodes (cost 7 ) 148.619 * * [simplify]: iteration 4 : 275 enodes (cost 7 ) 148.727 * * [simplify]: iteration 5 : 632 enodes (cost 7 ) 149.153 * * [simplify]: iteration 6 : 1691 enodes (cost 7 ) 151.063 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 151.064 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 151.065 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 151.068 * * [simplify]: iteration 2 : 56 enodes (cost 6 ) 151.077 * * [simplify]: iteration 3 : 145 enodes (cost 6 ) 151.129 * * [simplify]: iteration 4 : 371 enodes (cost 5 ) 151.382 * * [simplify]: iteration 5 : 1216 enodes (cost 5 ) 152.685 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 152.686 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 152.688 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 152.694 * * [simplify]: iteration 2 : 110 enodes (cost 11 ) 152.732 * * [simplify]: iteration 3 : 498 enodes (cost 11 ) 153.720 * * [simplify]: iteration 4 : 3022 enodes (cost 10 ) 155.197 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 155.198 * * [simplify]: iteration 0 : 12 enodes (cost 26 ) 155.200 * * [simplify]: iteration 1 : 37 enodes (cost 21 ) 155.208 * * [simplify]: iteration 2 : 130 enodes (cost 10 ) 155.279 * * [simplify]: iteration 3 : 672 enodes (cost 10 ) 157.273 * * [simplify]: iteration 4 : 4247 enodes (cost 8 ) 159.161 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 159.162 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 159.163 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 159.166 * * [simplify]: iteration 2 : 43 enodes (cost 15 ) 159.172 * * [simplify]: iteration 3 : 95 enodes (cost 15 ) 159.194 * * [simplify]: iteration 4 : 184 enodes (cost 15 ) 159.279 * * [simplify]: iteration 5 : 479 enodes (cost 15 ) 159.657 * * [simplify]: iteration 6 : 1418 enodes (cost 15 ) 162.184 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 162.185 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 162.186 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 162.189 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 162.195 * * [simplify]: iteration 3 : 94 enodes (cost 7 ) 162.216 * * [simplify]: iteration 4 : 184 enodes (cost 7 ) 162.301 * * [simplify]: iteration 5 : 478 enodes (cost 7 ) 162.687 * * [simplify]: iteration 6 : 1434 enodes (cost 7 ) 164.908 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 164.909 * * [simplify]: iteration 0 : 10 enodes (cost 26 ) 164.910 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 164.917 * * [simplify]: iteration 2 : 118 enodes (cost 8 ) 164.986 * * [simplify]: iteration 3 : 676 enodes (cost 8 ) 167.262 * * [simplify]: iteration 4 : 4445 enodes (cost 8 ) 169.332 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 169.333 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 169.334 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 169.337 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 169.343 * * [simplify]: iteration 3 : 94 enodes (cost 7 ) 169.363 * * [simplify]: iteration 4 : 184 enodes (cost 7 ) 169.447 * * [simplify]: iteration 5 : 478 enodes (cost 7 ) 169.830 * * [simplify]: iteration 6 : 1434 enodes (cost 7 ) 172.052 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 172.053 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 172.054 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 172.057 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 172.063 * * [simplify]: iteration 3 : 94 enodes (cost 7 ) 172.085 * * [simplify]: iteration 4 : 184 enodes (cost 7 ) 172.168 * * [simplify]: iteration 5 : 478 enodes (cost 7 ) 172.550 * * [simplify]: iteration 6 : 1434 enodes (cost 7 ) 174.777 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 174.778 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 174.779 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 174.783 * * [simplify]: iteration 2 : 52 enodes (cost 10 ) 174.792 * * [simplify]: iteration 3 : 130 enodes (cost 10 ) 174.839 * * [simplify]: iteration 4 : 284 enodes (cost 10 ) 175.009 * * [simplify]: iteration 5 : 707 enodes (cost 10 ) 175.850 * * [simplify]: iteration 6 : 2136 enodes (cost 10 ) 177.889 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 177.889 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 177.891 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 177.893 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 177.899 * * [simplify]: iteration 3 : 96 enodes (cost 7 ) 177.921 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 178.005 * * [simplify]: iteration 5 : 485 enodes (cost 7 ) 178.384 * * [simplify]: iteration 6 : 1426 enodes (cost 7 ) 180.942 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 180.942 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 180.943 * * [simplify]: iteration 1 : 21 enodes (cost 5 ) 180.947 * * [simplify]: iteration 2 : 49 enodes (cost 4 ) 180.954 * * [simplify]: iteration 3 : 92 enodes (cost 4 ) 180.975 * * [simplify]: iteration 4 : 162 enodes (cost 4 ) 181.029 * * [simplify]: iteration 5 : 380 enodes (cost 4 ) 181.329 * * [simplify]: iteration 6 : 1127 enodes (cost 4 ) 183.487 * * [simplify]: iteration 7 : 3962 enodes (cost 4 ) 185.036 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 185.037 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 185.038 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 185.039 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 185.042 * * [simplify]: iteration 3 : 50 enodes (cost 5 ) 185.050 * * [simplify]: iteration 4 : 105 enodes (cost 5 ) 185.078 * * [simplify]: iteration 5 : 283 enodes (cost 5 ) 185.227 * * [simplify]: iteration 6 : 800 enodes (cost 5 ) 186.134 * * [simplify]: iteration 7 : 2733 enodes (cost 5 ) 187.799 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 187.799 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 187.800 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 187.803 * * [simplify]: iteration done : 6 enodes (cost 5 ) 187.803 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 187.804 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 187.805 * * [simplify]: iteration done : 8 enodes (cost 7 ) 187.805 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 187.806 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 187.807 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 187.808 * * [simplify]: iteration done : 11 enodes (cost 6 ) 187.808 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 187.809 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 187.810 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 187.812 * * [simplify]: iteration 3 : 26 enodes (cost 4 ) 187.816 * * [simplify]: iteration 4 : 49 enodes (cost 4 ) 187.823 * * [simplify]: iteration 5 : 107 enodes (cost 4 ) 187.856 * * [simplify]: iteration 6 : 245 enodes (cost 4 ) 188.008 * * [simplify]: iteration 7 : 701 enodes (cost 4 ) 189.092 * * [simplify]: iteration 8 : 2717 enodes (cost 4 ) 190.963 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 190.964 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 190.965 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 190.968 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 190.977 * * [simplify]: iteration 3 : 78 enodes (cost 9 ) 191.002 * * [simplify]: iteration 4 : 138 enodes (cost 7 ) 191.056 * * [simplify]: iteration 5 : 268 enodes (cost 7 ) 191.202 * * [simplify]: iteration 6 : 671 enodes (cost 7 ) 192.141 * * [simplify]: iteration 7 : 2479 enodes (cost 7 ) 194.296 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 194.297 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 194.298 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 194.298 * * [simplify]: iteration done : 8 enodes (cost 13 ) 194.299 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 194.300 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 194.300 * * [simplify]: iteration done : 7 enodes (cost 6 ) 194.301 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 194.302 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 194.305 * * [simplify]: iteration 2 : 47 enodes (cost 7 ) 194.317 * * [simplify]: iteration 3 : 89 enodes (cost 7 ) 194.341 * * [simplify]: iteration 4 : 105 enodes (cost 7 ) 194.371 * * [simplify]: iteration 5 : 151 enodes (cost 7 ) 194.430 * * [simplify]: iteration 6 : 291 enodes (cost 7 ) 194.592 * * [simplify]: iteration 7 : 753 enodes (cost 7 ) 195.637 * * [simplify]: iteration 8 : 2713 enodes (cost 7 ) 197.698 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 197.699 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.699 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.700 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.701 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.701 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.702 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.702 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 197.703 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 197.704 * * [simplify]: iteration done : 8 enodes (cost 7 ) 197.704 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 197.705 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 197.706 * * [simplify]: iteration done : 8 enodes (cost 7 ) 197.706 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 197.707 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 197.708 * * [simplify]: iteration done : 8 enodes (cost 9 ) 197.708 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.709 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.709 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.710 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.711 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.711 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.712 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.712 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.713 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.714 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.714 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 197.715 * * [simplify]: iteration done : 8 enodes (cost 4 ) 197.715 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.716 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 197.716 * * [simplify]: iteration done : 6 enodes (cost 5 ) 197.717 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 197.718 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 197.719 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 197.721 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 197.724 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 197.728 * * [simplify]: iteration done : 26 enodes (cost 8 ) 197.728 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.729 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.729 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.730 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.731 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.731 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.732 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.732 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.736 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.736 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 197.737 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 197.737 * * [simplify]: iteration done : 7 enodes (cost 1 ) 197.738 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.739 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 197.739 * * [simplify]: iteration done : 6 enodes (cost 5 ) 197.740 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 197.740 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 197.741 * * [simplify]: iteration done : 8 enodes (cost 9 ) 197.742 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.742 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.743 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.744 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.744 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.745 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.746 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.747 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.747 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.748 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.749 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 197.749 * * [simplify]: iteration done : 8 enodes (cost 4 ) 197.750 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.750 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 197.751 * * [simplify]: iteration done : 6 enodes (cost 5 ) 197.751 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 197.752 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 197.753 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 197.755 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 197.758 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 197.761 * * [simplify]: iteration done : 26 enodes (cost 8 ) 197.761 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.762 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.763 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.763 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.764 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.764 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.765 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.765 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.766 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.767 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 197.767 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 197.768 * * [simplify]: iteration done : 7 enodes (cost 1 ) 197.768 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.769 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 197.769 * * [simplify]: iteration done : 6 enodes (cost 5 ) 197.770 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 197.770 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 197.771 * * [simplify]: iteration done : 4 enodes (cost 3 ) 197.771 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 197.772 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 197.772 * * [simplify]: iteration done : 6 enodes (cost 1 ) 197.772 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 197.773 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 197.774 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 197.776 * * [simplify]: iteration done : 12 enodes (cost 11 ) 197.777 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.778 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.778 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.779 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 197.779 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 197.780 * * [simplify]: iteration done : 6 enodes (cost 1 ) 197.780 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.781 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.782 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.782 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 197.783 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 197.783 * * [simplify]: iteration done : 7 enodes (cost 6 ) 197.784 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 197.784 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 197.785 * * [simplify]: iteration done : 6 enodes (cost 5 ) 197.786 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 197.787 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 197.790 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 197.793 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 197.799 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 197.817 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 197.869 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 198.055 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 199.646 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 201.468 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 201.469 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 201.470 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 201.473 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 201.478 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 201.487 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 201.520 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 201.632 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 202.140 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 203.932 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 203.933 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 203.934 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 203.936 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 203.940 * * [simplify]: iteration 3 : 78 enodes (cost 6 ) 203.953 * * [simplify]: iteration 4 : 152 enodes (cost 2 ) 203.996 * * [simplify]: iteration 5 : 431 enodes (cost 2 ) 204.560 * * [simplify]: iteration 6 : 1871 enodes (cost 2 ) 206.091 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 206.092 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 206.093 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 206.095 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 206.103 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 206.110 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 206.126 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 206.179 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 206.371 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 207.732 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 209.521 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 209.522 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 209.523 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 209.526 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 209.531 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 209.543 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 209.571 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 209.681 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 210.184 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 211.945 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 211.946 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 211.947 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 211.950 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 211.957 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 211.978 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 212.051 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 212.335 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 213.729 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 215.007 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 215.008 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 215.009 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 215.012 * * [simplify]: iteration 2 : 32 enodes (cost 6 ) 215.018 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 215.025 * * [simplify]: iteration 4 : 52 enodes (cost 6 ) 215.030 * * [simplify]: iteration done : 52 enodes (cost 6 ) 215.031 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 215.032 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 215.035 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 215.044 * * [simplify]: iteration 3 : 85 enodes (cost 6 ) 215.058 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 215.090 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 215.163 * * [simplify]: iteration 6 : 233 enodes (cost 6 ) 215.203 * * [simplify]: iteration done : 233 enodes (cost 6 ) 215.204 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 215.205 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 215.207 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 215.214 * * [simplify]: iteration 3 : 95 enodes (cost 8 ) 215.236 * * [simplify]: iteration 4 : 157 enodes (cost 6 ) 215.282 * * [simplify]: iteration 5 : 382 enodes (cost 6 ) 215.900 * * [simplify]: iteration 6 : 1708 enodes (cost 6 ) 218.614 * * [simplify]: iteration 7 : 3975 enodes (cost 6 ) 219.858 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 219.859 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 219.865 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 219.868 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 219.881 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 219.885 * * [simplify]: iteration done : 53 enodes (cost 6 ) 219.886 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 219.887 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 219.890 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 219.899 * * [simplify]: iteration 3 : 85 enodes (cost 6 ) 219.912 * * [simplify]: iteration 4 : 114 enodes (cost 6 ) 219.945 * * [simplify]: iteration 5 : 181 enodes (cost 6 ) 220.017 * * [simplify]: iteration 6 : 233 enodes (cost 6 ) 220.057 * * [simplify]: iteration done : 233 enodes (cost 6 ) 220.058 * * [simplify]: iteration 0 : 15 enodes (cost 16 ) 220.060 * * [simplify]: iteration 1 : 30 enodes (cost 15 ) 220.064 * * [simplify]: iteration 2 : 56 enodes (cost 13 ) 220.073 * * [simplify]: iteration 3 : 137 enodes (cost 13 ) 220.118 * * [simplify]: iteration 4 : 384 enodes (cost 12 ) 220.289 * * [simplify]: iteration 5 : 1032 enodes (cost 10 ) 221.124 * * [simplify]: iteration 6 : 2616 enodes (cost 9 ) 222.327 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 222.328 * [simplify]: Simplified to: (* (log y) 1/3) (* (log y) 1/3) 1/3 (pow y (* (cbrt 1/3) (cbrt 1/3))) (pow y (sqrt 1/3)) y (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (log (cbrt y)) (exp (cbrt y)) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/6) (pow y 1/6) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (* (* 2/3 (log y)) x) (* (* 2/3 (log y)) x) (+ (log x) (+ (log 2) (log (log (cbrt y))))) (+ (log x) (log (* 2/3 (log y)))) (log (* (* 2/3 (log y)) x)) (pow y (* x 2/3)) (* (* (pow (log y) 3) 8/27) (pow x 3)) (pow (* (* 2/3 (log y)) x) 3) (* (cbrt (* (* 2/3 (log y)) x)) (cbrt (* (* 2/3 (log y)) x))) (cbrt (* (* 2/3 (log y)) x)) (pow (* (* 2/3 (log y)) x) 3) (sqrt (* (* 2/3 (log y)) x)) (sqrt (* (* 2/3 (log y)) x)) (* (* 2/3 (log y)) (* (cbrt x) (cbrt x))) (* (sqrt x) (* 2/3 (log y))) (* 2/3 (log y)) (* (log (cbrt y)) x) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (pow (cbrt y) x) (pow (* x (log (cbrt y))) 3) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (pow (* x (log (cbrt y))) 3) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x (* 2 (log (cbrt (cbrt y))))) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) 0 (* (log (cbrt y)) x) (* x 1/3) x (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) x (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (* x (* 2/3 (log y))) (* x (* (log y) 2/3)) (* (log y) (* 2/3 x)) (* (* 1/3 x) (log y)) (* x (* (log y) 1/3)) (* x (log (/ (cbrt (neg y)) (cbrt -1)))) 222.329 * * * [progress]: adding candidates to table 222.463 * * [progress]: iteration 4 / 4 222.463 * * * [progress]: picking best candidate 222.471 * * * * [pick]: Picked # 222.471 * * * [progress]: localizing error 222.495 * * * [progress]: generating rewritten candidates 222.495 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2 1) 222.497 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 222.499 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2) 222.503 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 222.506 * * * [progress]: generating series expansions 222.506 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2 1) 222.506 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 222.506 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 222.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 222.506 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 222.506 * [taylor]: Taking taylor expansion of 1/3 in y 222.506 * [taylor]: Taking taylor expansion of (log y) in y 222.506 * [taylor]: Taking taylor expansion of y in y 222.506 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 222.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 222.507 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 222.507 * [taylor]: Taking taylor expansion of 1/3 in y 222.507 * [taylor]: Taking taylor expansion of (log y) in y 222.507 * [taylor]: Taking taylor expansion of y in y 222.513 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 222.514 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 222.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 222.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 222.514 * [taylor]: Taking taylor expansion of 1/3 in y 222.514 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 222.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 222.514 * [taylor]: Taking taylor expansion of y in y 222.514 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 222.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 222.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 222.514 * [taylor]: Taking taylor expansion of 1/3 in y 222.514 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 222.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 222.514 * [taylor]: Taking taylor expansion of y in y 222.521 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 1/3) in (y) around 0 222.522 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 222.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 222.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 222.522 * [taylor]: Taking taylor expansion of 1/3 in y 222.522 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 222.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y 222.522 * [taylor]: Taking taylor expansion of -1 in y 222.522 * [taylor]: Taking taylor expansion of y in y 222.522 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y 222.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y 222.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y 222.522 * [taylor]: Taking taylor expansion of 1/3 in y 222.522 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 222.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y 222.522 * [taylor]: Taking taylor expansion of -1 in y 222.522 * [taylor]: Taking taylor expansion of y in y 222.530 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 222.530 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 222.530 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 222.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 222.530 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 222.530 * [taylor]: Taking taylor expansion of 1/3 in x 222.530 * [taylor]: Taking taylor expansion of (log x) in x 222.530 * [taylor]: Taking taylor expansion of x in x 222.530 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 222.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 222.530 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 222.530 * [taylor]: Taking taylor expansion of 1/3 in x 222.530 * [taylor]: Taking taylor expansion of (log x) in x 222.530 * [taylor]: Taking taylor expansion of x in x 222.538 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 222.538 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.538 * [taylor]: Taking taylor expansion of 1/3 in x 222.538 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.538 * [taylor]: Taking taylor expansion of x in x 222.538 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.538 * [taylor]: Taking taylor expansion of 1/3 in x 222.538 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.538 * [taylor]: Taking taylor expansion of x in x 222.546 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 222.546 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 222.546 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.546 * [taylor]: Taking taylor expansion of 1/3 in x 222.546 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.546 * [taylor]: Taking taylor expansion of x in x 222.546 * [taylor]: Taking taylor expansion of (cbrt -1) in x 222.546 * [taylor]: Taking taylor expansion of -1 in x 222.547 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 222.547 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.547 * [taylor]: Taking taylor expansion of 1/3 in x 222.547 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.547 * [taylor]: Taking taylor expansion of x in x 222.547 * [taylor]: Taking taylor expansion of (cbrt -1) in x 222.547 * [taylor]: Taking taylor expansion of -1 in x 222.556 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2) 222.556 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 222.556 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 222.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 222.556 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 222.556 * [taylor]: Taking taylor expansion of 1/3 in x 222.556 * [taylor]: Taking taylor expansion of (log x) in x 222.556 * [taylor]: Taking taylor expansion of x in x 222.557 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 222.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 222.557 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 222.557 * [taylor]: Taking taylor expansion of 1/3 in x 222.557 * [taylor]: Taking taylor expansion of (log x) in x 222.557 * [taylor]: Taking taylor expansion of x in x 222.564 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 222.564 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.564 * [taylor]: Taking taylor expansion of 1/3 in x 222.564 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.564 * [taylor]: Taking taylor expansion of x in x 222.564 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.564 * [taylor]: Taking taylor expansion of 1/3 in x 222.564 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.564 * [taylor]: Taking taylor expansion of x in x 222.572 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 222.572 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 222.572 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.572 * [taylor]: Taking taylor expansion of 1/3 in x 222.572 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.572 * [taylor]: Taking taylor expansion of x in x 222.572 * [taylor]: Taking taylor expansion of (cbrt -1) in x 222.572 * [taylor]: Taking taylor expansion of -1 in x 222.572 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 222.572 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.572 * [taylor]: Taking taylor expansion of 1/3 in x 222.572 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.572 * [taylor]: Taking taylor expansion of x in x 222.573 * [taylor]: Taking taylor expansion of (cbrt -1) in x 222.573 * [taylor]: Taking taylor expansion of -1 in x 222.582 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 222.582 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 222.582 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 222.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 222.582 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 222.583 * [taylor]: Taking taylor expansion of 1/3 in x 222.583 * [taylor]: Taking taylor expansion of (log x) in x 222.583 * [taylor]: Taking taylor expansion of x in x 222.583 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 222.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 222.583 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 222.583 * [taylor]: Taking taylor expansion of 1/3 in x 222.583 * [taylor]: Taking taylor expansion of (log x) in x 222.583 * [taylor]: Taking taylor expansion of x in x 222.590 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 222.590 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.590 * [taylor]: Taking taylor expansion of 1/3 in x 222.590 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.590 * [taylor]: Taking taylor expansion of x in x 222.590 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.591 * [taylor]: Taking taylor expansion of 1/3 in x 222.591 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.591 * [taylor]: Taking taylor expansion of x in x 222.598 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 222.598 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 222.598 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.599 * [taylor]: Taking taylor expansion of 1/3 in x 222.599 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.599 * [taylor]: Taking taylor expansion of x in x 222.599 * [taylor]: Taking taylor expansion of (cbrt -1) in x 222.599 * [taylor]: Taking taylor expansion of -1 in x 222.599 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 222.599 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 222.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 222.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 222.599 * [taylor]: Taking taylor expansion of 1/3 in x 222.599 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 222.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 222.599 * [taylor]: Taking taylor expansion of x in x 222.599 * [taylor]: Taking taylor expansion of (cbrt -1) in x 222.599 * [taylor]: Taking taylor expansion of -1 in x 222.612 * * * [progress]: simplifying candidates 222.613 * [simplify]: Simplifying using # : (* (log y) 1/3) (* (log y) 1/3) (* 1 1/3) (pow y (* (cbrt 1/3) (cbrt 1/3))) (pow y (sqrt 1/3)) (pow y 1) (pow (* (cbrt y) (cbrt y)) 1/3) (pow (cbrt y) 1/3) (pow (sqrt y) 1/3) (pow (sqrt y) 1/3) (pow 1 1/3) (pow y 1/3) (log (pow y 1/3)) (exp (pow y 1/3)) (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3))) (cbrt (pow y 1/3)) (* (* (pow y 1/3) (pow y 1/3)) (pow y 1/3)) (sqrt (pow y 1/3)) (sqrt (pow y 1/3)) (pow y (/ 1/3 2)) (pow y (/ 1/3 2)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (exp (* 1/3 (- (log -1) (log (/ -1 y))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) 222.614 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 222.614 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 222.615 * * [simplify]: iteration done : 5 enodes (cost 4 ) 222.615 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 222.616 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 222.616 * * [simplify]: iteration done : 5 enodes (cost 4 ) 222.617 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 222.617 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 222.617 * * [simplify]: iteration done : 6 enodes (cost 1 ) 222.618 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 222.619 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 222.620 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 222.622 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 222.629 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 222.663 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 222.892 * * [simplify]: iteration 6 : 865 enodes (cost 7 ) 224.630 * * [simplify]: iteration 7 : 3279 enodes (cost 7 ) 225.967 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 225.968 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 225.969 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 225.969 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 225.971 * * [simplify]: iteration 3 : 31 enodes (cost 4 ) 225.976 * * [simplify]: iteration 4 : 71 enodes (cost 4 ) 225.996 * * [simplify]: iteration 5 : 175 enodes (cost 4 ) 226.092 * * [simplify]: iteration 6 : 552 enodes (cost 4 ) 226.929 * * [simplify]: iteration 7 : 2153 enodes (cost 4 ) 229.058 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 229.059 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 229.059 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 229.060 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 229.061 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 229.062 * * [simplify]: iteration 4 : 31 enodes (cost 1 ) 229.065 * * [simplify]: iteration 5 : 55 enodes (cost 1 ) 229.073 * * [simplify]: iteration 6 : 114 enodes (cost 1 ) 229.119 * * [simplify]: iteration 7 : 324 enodes (cost 1 ) 229.569 * * [simplify]: iteration 8 : 1255 enodes (cost 1 ) 231.924 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 231.925 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 231.926 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 231.927 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 231.928 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 231.931 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 231.940 * * [simplify]: iteration 5 : 111 enodes (cost 6 ) 231.989 * * [simplify]: iteration 6 : 325 enodes (cost 6 ) 232.438 * * [simplify]: iteration 7 : 1254 enodes (cost 6 ) 234.740 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 234.741 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 234.742 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 234.743 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 234.745 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 234.748 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 234.757 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 234.804 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 235.263 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 237.656 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 237.657 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 237.658 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 237.659 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 237.660 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 237.663 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 237.672 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 237.720 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 238.178 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 240.831 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 240.832 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 240.832 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 240.833 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 240.835 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 240.843 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 240.852 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 240.899 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 241.360 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 243.809 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 243.810 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 243.811 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 243.811 * * [simplify]: iteration done : 11 enodes (cost 1 ) 243.812 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 243.812 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 243.813 * * [simplify]: iteration 2 : 15 enodes (cost 2 ) 243.814 * * [simplify]: iteration 3 : 25 enodes (cost 2 ) 243.818 * * [simplify]: iteration 4 : 49 enodes (cost 2 ) 243.833 * * [simplify]: iteration 5 : 114 enodes (cost 2 ) 243.880 * * [simplify]: iteration 6 : 337 enodes (cost 2 ) 244.349 * * [simplify]: iteration 7 : 1273 enodes (cost 2 ) 246.721 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 246.722 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 246.722 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 246.724 * * [simplify]: iteration 2 : 21 enodes (cost 3 ) 246.726 * * [simplify]: iteration 3 : 35 enodes (cost 3 ) 246.730 * * [simplify]: iteration 4 : 78 enodes (cost 3 ) 246.747 * * [simplify]: iteration 5 : 197 enodes (cost 3 ) 246.839 * * [simplify]: iteration 6 : 572 enodes (cost 3 ) 247.512 * * [simplify]: iteration 7 : 2108 enodes (cost 3 ) 249.532 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 249.532 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 249.533 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 249.534 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 249.536 * * [simplify]: iteration 3 : 33 enodes (cost 3 ) 249.540 * * [simplify]: iteration 4 : 72 enodes (cost 3 ) 249.558 * * [simplify]: iteration 5 : 194 enodes (cost 3 ) 249.644 * * [simplify]: iteration 6 : 659 enodes (cost 3 ) 250.530 * * [simplify]: iteration 7 : 3013 enodes (cost 3 ) 251.847 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 251.848 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 251.849 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 251.850 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 251.851 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 251.854 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 251.864 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 251.912 * * [simplify]: iteration 6 : 330 enodes (cost 7 ) 252.378 * * [simplify]: iteration 7 : 1262 enodes (cost 7 ) 254.784 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 254.785 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 254.786 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 254.787 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 254.788 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 254.791 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 254.806 * * [simplify]: iteration 5 : 115 enodes (cost 3 ) 254.851 * * [simplify]: iteration 6 : 336 enodes (cost 3 ) 255.303 * * [simplify]: iteration 7 : 1254 enodes (cost 3 ) 257.685 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 257.686 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 257.686 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 257.688 * * [simplify]: iteration 2 : 36 enodes (cost 4 ) 257.694 * * [simplify]: iteration 3 : 74 enodes (cost 1 ) 257.708 * * [simplify]: iteration 4 : 174 enodes (cost 1 ) 257.827 * * [simplify]: iteration 5 : 554 enodes (cost 1 ) 259.264 * * [simplify]: iteration 6 : 2511 enodes (cost 1 ) 262.167 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 262.168 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 262.168 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 262.169 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 262.171 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 262.174 * * [simplify]: iteration 4 : 51 enodes (cost 3 ) 262.183 * * [simplify]: iteration 5 : 114 enodes (cost 3 ) 262.234 * * [simplify]: iteration 6 : 331 enodes (cost 3 ) 262.708 * * [simplify]: iteration 7 : 1255 enodes (cost 3 ) 265.317 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 265.318 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 265.318 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 265.319 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 265.321 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 265.324 * * [simplify]: iteration 4 : 51 enodes (cost 3 ) 265.334 * * [simplify]: iteration 5 : 114 enodes (cost 3 ) 265.384 * * [simplify]: iteration 6 : 331 enodes (cost 3 ) 265.863 * * [simplify]: iteration 7 : 1255 enodes (cost 3 ) 268.257 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 268.258 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 268.258 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 268.259 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 268.261 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 268.263 * * [simplify]: iteration 4 : 48 enodes (cost 3 ) 268.277 * * [simplify]: iteration 5 : 110 enodes (cost 3 ) 268.320 * * [simplify]: iteration 6 : 326 enodes (cost 3 ) 268.786 * * [simplify]: iteration 7 : 1249 enodes (cost 3 ) 271.247 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 271.248 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 271.249 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 271.250 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 271.251 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 271.254 * * [simplify]: iteration 4 : 48 enodes (cost 3 ) 271.263 * * [simplify]: iteration 5 : 110 enodes (cost 3 ) 271.310 * * [simplify]: iteration 6 : 326 enodes (cost 3 ) 271.779 * * [simplify]: iteration 7 : 1249 enodes (cost 3 ) 274.227 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 274.227 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 274.233 * * [simplify]: iteration done : 3 enodes (cost 3 ) 274.233 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 274.234 * * [simplify]: iteration done : 3 enodes (cost 3 ) 274.234 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 274.235 * * [simplify]: iteration done : 4 enodes (cost 6 ) 274.235 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 274.236 * * [simplify]: iteration done : 3 enodes (cost 3 ) 274.237 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 274.237 * * [simplify]: iteration done : 3 enodes (cost 3 ) 274.237 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 274.238 * * [simplify]: iteration done : 3 enodes (cost 3 ) 274.238 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 274.239 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 274.239 * * [simplify]: iteration done : 4 enodes (cost 1 ) 274.239 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 274.239 * * [simplify]: iteration done : 2 enodes (cost 2 ) 274.240 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 274.240 * * [simplify]: iteration done : 4 enodes (cost 7 ) 274.241 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 274.241 * * [simplify]: iteration done : 3 enodes (cost 3 ) 274.242 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 274.242 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 274.243 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 274.244 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 274.245 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 274.246 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 274.248 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 274.251 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 274.260 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 274.308 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 274.776 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 277.169 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 277.169 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.170 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.170 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.171 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.171 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.171 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.172 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.172 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.173 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 277.173 * * [simplify]: iteration done : 4 enodes (cost 6 ) 277.174 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.174 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.175 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.175 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.175 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.176 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.176 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 277.176 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 277.177 * * [simplify]: iteration done : 4 enodes (cost 1 ) 277.177 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 277.177 * * [simplify]: iteration done : 2 enodes (cost 2 ) 277.178 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 277.178 * * [simplify]: iteration done : 4 enodes (cost 7 ) 277.179 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 277.179 * * [simplify]: iteration done : 3 enodes (cost 3 ) 277.180 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 277.180 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 277.181 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 277.182 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 277.182 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 277.184 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 277.185 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 277.188 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 277.197 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 277.243 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 277.708 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 280.107 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 280.107 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.108 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.108 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.109 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.109 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.109 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.110 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.110 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.111 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 280.111 * * [simplify]: iteration done : 4 enodes (cost 6 ) 280.112 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.112 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.113 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.113 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.113 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.114 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.114 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 280.114 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 280.115 * * [simplify]: iteration done : 4 enodes (cost 1 ) 280.115 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 280.115 * * [simplify]: iteration done : 2 enodes (cost 2 ) 280.116 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 280.116 * * [simplify]: iteration done : 4 enodes (cost 7 ) 280.117 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 280.117 * * [simplify]: iteration done : 3 enodes (cost 3 ) 280.118 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 280.118 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 280.119 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 280.120 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 280.121 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 280.122 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 280.124 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 280.127 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 280.136 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 280.183 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 280.639 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 283.029 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 283.030 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 283.030 * * [simplify]: iteration done : 3 enodes (cost 3 ) 283.031 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 283.031 * * [simplify]: iteration done : 3 enodes (cost 3 ) 283.032 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 283.033 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 283.035 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 283.039 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 283.045 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 283.061 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 283.116 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 283.312 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 284.687 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 286.502 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 286.502 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 286.503 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 286.506 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 286.511 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 286.519 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 286.548 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 286.658 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 287.163 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 288.931 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 288.931 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 288.932 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 288.934 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 288.939 * * [simplify]: iteration 3 : 78 enodes (cost 6 ) 288.951 * * [simplify]: iteration 4 : 152 enodes (cost 2 ) 288.991 * * [simplify]: iteration 5 : 431 enodes (cost 2 ) 289.563 * * [simplify]: iteration 6 : 1871 enodes (cost 2 ) 291.327 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 291.328 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 291.329 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 291.332 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 291.335 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 291.341 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 291.357 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 291.412 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 291.607 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 293.014 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 294.841 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 294.842 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 294.843 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 294.845 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 294.851 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 294.859 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 294.894 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 295.007 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 295.516 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 297.326 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 297.326 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 297.328 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 297.331 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 297.336 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 297.357 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 297.428 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 297.724 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 299.133 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 300.415 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 300.416 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 300.417 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 300.419 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 300.423 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 300.429 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 300.453 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 300.508 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 300.696 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 302.098 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 303.899 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 303.900 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 303.902 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 303.904 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 303.915 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 303.924 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 303.952 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 304.063 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 304.566 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 306.343 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 306.344 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 306.345 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 306.348 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 306.354 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 306.376 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 306.450 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 306.738 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 308.132 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 309.413 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 309.414 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 309.415 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 309.418 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 309.422 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 309.428 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 309.444 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 309.498 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 309.908 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 311.321 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 313.131 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 313.131 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 313.133 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 313.136 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 313.141 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 313.149 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 313.182 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 313.290 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 313.793 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 315.567 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 315.568 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 315.570 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 315.572 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 315.578 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 315.604 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 315.675 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 315.967 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 317.360 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 318.634 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 318.634 * [simplify]: Simplified to: (* (log y) 1/3) (* (log y) 1/3) 1/3 (pow y (* (cbrt 1/3) (cbrt 1/3))) (pow y (sqrt 1/3)) y (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (log (cbrt y)) (exp (cbrt y)) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/6) (pow y 1/6) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (cbrt y) (cbrt y) (cbrt y) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) 318.635 * * * [progress]: adding candidates to table 318.716 * [progress]: [Phase 3 of 3] Extracting. 318.717 * * [regime]: Finding splitpoints for: (# # # # #) 318.718 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (* x (log y)) z) y) z y x) 318.719 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) z) y) from (# # # # #) 318.788 * * * * [regimes]: Trying to branch on z from (# # # # #) 318.849 * * * * [regimes]: Trying to branch on y from (# # # # #) 318.909 * * * * [regimes]: Trying to branch on x from (# # # # #) 318.967 * * * [regime]: Found split indices: #