4790.612 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y)) 0.032 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 0.033 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.035 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 0.039 * * [simplify]: iteration 3 : 36 enodes (cost 9 ) 0.045 * * [simplify]: iteration 4 : 44 enodes (cost 9 ) 0.051 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 0.063 * * [simplify]: iteration done : 45 enodes (cost 9 ) 0.063 * [simplify]: Simplified to: (+ (* x x) (* 3 (* y y))) 0.067 * * [progress]: iteration 1 / 4 0.067 * * * [progress]: picking best candidate 0.069 * * * * [pick]: Picked # 0.069 * * * [progress]: localizing error 0.076 * * * [progress]: generating rewritten candidates 0.076 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.083 * * * [progress]: generating series expansions 0.083 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.083 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0 0.083 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.083 * [taylor]: Taking taylor expansion of 3 in y 0.083 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.083 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 0.083 * [taylor]: Taking taylor expansion of 3 in y 0.083 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.084 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 0.084 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.084 * [taylor]: Taking taylor expansion of 3 in y 0.084 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.084 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.084 * [taylor]: Taking taylor expansion of 3 in y 0.084 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.085 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 0.085 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.085 * [taylor]: Taking taylor expansion of 3 in y 0.085 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 0.085 * [taylor]: Taking taylor expansion of 3 in y 0.085 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.086 * * * [progress]: simplifying candidates 0.086 * [simplify]: Simplifying using # : (* 3 (* y y)) (* 3 (* y y)) (+ (log 3) (+ (log y) (log y))) (+ (log 3) (log (* y y))) (log (* 3 (* y y))) (exp (* 3 (* y y))) (* (* (* 3 3) 3) (* (* (* y y) y) (* (* y y) y))) (* (* (* 3 3) 3) (* (* (* y y) (* y y)) (* y y))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y))) (* (* (* 3 (* y y)) (* 3 (* y y))) (* 3 (* y y))) (sqrt (* 3 (* y y))) (sqrt (* 3 (* y y))) (* (sqrt 3) y) (* (sqrt 3) y) (* 3 y) (* (cbrt 3) (* y y)) (* (sqrt 3) (* y y)) (* 3 (* y y)) (* 3 (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) 0.087 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.088 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.088 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.089 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.090 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.091 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.091 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.093 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.093 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.094 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.095 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 0.097 * * [simplify]: iteration done : 14 enodes (cost 7 ) 0.097 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.098 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.099 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 0.101 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 0.103 * * [simplify]: iteration done : 16 enodes (cost 7 ) 0.103 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.104 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.105 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 0.108 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 0.111 * * [simplify]: iteration 4 : 26 enodes (cost 6 ) 0.113 * * [simplify]: iteration done : 26 enodes (cost 6 ) 0.114 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.115 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.116 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.119 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 0.130 * * [simplify]: iteration 4 : 91 enodes (cost 6 ) 0.145 * * [simplify]: iteration 5 : 205 enodes (cost 6 ) 0.227 * * [simplify]: iteration 6 : 499 enodes (cost 6 ) 0.649 * * [simplify]: iteration 7 : 1480 enodes (cost 6 ) 2.437 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.438 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 2.439 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 2.443 * * [simplify]: iteration 2 : 64 enodes (cost 9 ) 2.459 * * [simplify]: iteration 3 : 150 enodes (cost 5 ) 2.528 * * [simplify]: iteration 4 : 307 enodes (cost 5 ) 2.753 * * [simplify]: iteration 5 : 767 enodes (cost 5 ) 3.740 * * [simplify]: iteration 6 : 2080 enodes (cost 5 ) 5.632 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 5.633 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 5.634 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 5.638 * * [simplify]: iteration 2 : 60 enodes (cost 7 ) 5.654 * * [simplify]: iteration 3 : 145 enodes (cost 5 ) 5.727 * * [simplify]: iteration 4 : 313 enodes (cost 5 ) 5.969 * * [simplify]: iteration 5 : 808 enodes (cost 5 ) 7.060 * * [simplify]: iteration 6 : 2206 enodes (cost 5 ) 9.647 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 9.648 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 9.649 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 9.650 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 9.651 * * [simplify]: iteration done : 11 enodes (cost 13 ) 9.652 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.652 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 9.653 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 9.654 * * [simplify]: iteration done : 10 enodes (cost 6 ) 9.655 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 9.656 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 9.660 * * [simplify]: iteration 2 : 68 enodes (cost 7 ) 9.685 * * [simplify]: iteration 3 : 224 enodes (cost 7 ) 9.844 * * [simplify]: iteration 4 : 339 enodes (cost 7 ) 10.050 * * [simplify]: iteration 5 : 461 enodes (cost 5 ) 10.534 * * [simplify]: iteration 6 : 1092 enodes (cost 5 ) 12.600 * * [simplify]: iteration 7 : 3054 enodes (cost 5 ) 14.744 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 14.745 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.745 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 14.746 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 14.748 * * [simplify]: iteration done : 10 enodes (cost 6 ) 14.748 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.749 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 14.750 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 14.751 * * [simplify]: iteration done : 10 enodes (cost 6 ) 14.752 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 14.752 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 14.753 * * [simplify]: iteration done : 5 enodes (cost 4 ) 14.753 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 14.754 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 14.754 * * [simplify]: iteration done : 5 enodes (cost 4 ) 14.755 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.755 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 14.755 * * [simplify]: iteration done : 4 enodes (cost 3 ) 14.756 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.756 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 14.757 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 14.759 * * [simplify]: iteration done : 10 enodes (cost 6 ) 14.759 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.760 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 14.761 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 14.762 * * [simplify]: iteration done : 10 enodes (cost 6 ) 14.763 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.763 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 14.764 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 14.769 * * [simplify]: iteration done : 9 enodes (cost 5 ) 14.770 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 14.771 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 14.772 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 14.774 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 14.776 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 14.779 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 14.783 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 14.792 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 14.838 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 15.308 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 17.513 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 17.514 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 17.515 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 17.516 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 17.519 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 17.521 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 17.524 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 17.528 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 17.537 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 17.583 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 18.034 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 20.244 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 20.245 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.246 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 20.247 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 20.249 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 20.251 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 20.254 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 20.258 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 20.267 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 20.314 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 20.785 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 23.010 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 23.011 * [simplify]: Simplified to: (* 3 (* y y)) (* 3 (* y y)) (+ (log 3) (* 2 (log y))) (+ (log 3) (log (* y y))) (log (* 3 (* y y))) (exp (* 3 (* y y))) (* 27 (pow y 6)) (* (pow y 6) 27) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y))) (* (pow y 6) 27) (sqrt (* 3 (* y y))) (sqrt (* 3 (* y y))) (* (sqrt 3) y) (* (sqrt 3) y) (* 3 y) (* (cbrt 3) (* y y)) (* (sqrt 3) (* y y)) (* 3 (* y y)) (* 3 (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) 23.011 * * * [progress]: adding candidates to table 23.043 * * [progress]: iteration 2 / 4 23.043 * * * [progress]: picking best candidate 23.055 * * * * [pick]: Picked # 23.055 * * * [progress]: localizing error 23.061 * * * [progress]: generating rewritten candidates 23.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 23.068 * * * [progress]: generating series expansions 23.068 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 23.068 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0 23.068 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 23.068 * [taylor]: Taking taylor expansion of 3 in y 23.068 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.068 * [taylor]: Taking taylor expansion of y in y 23.068 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y 23.068 * [taylor]: Taking taylor expansion of 3 in y 23.068 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.068 * [taylor]: Taking taylor expansion of y in y 23.069 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 23.069 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 23.069 * [taylor]: Taking taylor expansion of 3 in y 23.069 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.069 * [taylor]: Taking taylor expansion of y in y 23.069 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 23.069 * [taylor]: Taking taylor expansion of 3 in y 23.069 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.069 * [taylor]: Taking taylor expansion of y in y 23.070 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0 23.070 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 23.070 * [taylor]: Taking taylor expansion of 3 in y 23.070 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.070 * [taylor]: Taking taylor expansion of y in y 23.070 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y 23.070 * [taylor]: Taking taylor expansion of 3 in y 23.070 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.070 * [taylor]: Taking taylor expansion of y in y 23.071 * * * [progress]: simplifying candidates 23.071 * [simplify]: Simplifying using # : (* (* 3 y) y) (* (* 3 y) y) (+ (+ (log 3) (log y)) (log y)) (+ (log (* 3 y)) (log y)) (log (* (* 3 y) y)) (exp (* (* 3 y) y)) (* (* (* (* 3 3) 3) (* (* y y) y)) (* (* y y) y)) (* (* (* (* 3 y) (* 3 y)) (* 3 y)) (* (* y y) y)) (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y))) (cbrt (* (* 3 y) y)) (* (* (* (* 3 y) y) (* (* 3 y) y)) (* (* 3 y) y)) (sqrt (* (* 3 y) y)) (sqrt (* (* 3 y) y)) (* (* 3 y) (* (cbrt y) (cbrt y))) (* (* 3 y) (sqrt y)) (* (* 3 y) 1) (* y y) (* 3 (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) 23.072 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 23.073 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 23.074 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 23.075 * * [simplify]: iteration done : 9 enodes (cost 5 ) 23.075 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 23.076 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 23.077 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 23.078 * * [simplify]: iteration done : 9 enodes (cost 5 ) 23.079 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 23.079 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 23.080 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 23.082 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 23.083 * * [simplify]: iteration done : 14 enodes (cost 7 ) 23.084 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 23.084 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 23.085 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 23.087 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 23.089 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 23.090 * * [simplify]: iteration done : 17 enodes (cost 7 ) 23.091 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 23.092 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 23.093 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 23.095 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 23.101 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 23.104 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 23.107 * * [simplify]: iteration done : 26 enodes (cost 6 ) 23.107 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 23.108 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 23.110 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 23.113 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 23.120 * * [simplify]: iteration 4 : 95 enodes (cost 6 ) 23.135 * * [simplify]: iteration 5 : 206 enodes (cost 6 ) 23.218 * * [simplify]: iteration 6 : 488 enodes (cost 6 ) 23.565 * * [simplify]: iteration 7 : 1399 enodes (cost 6 ) 25.031 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 25.031 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 25.033 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 25.036 * * [simplify]: iteration 2 : 65 enodes (cost 9 ) 25.060 * * [simplify]: iteration 3 : 165 enodes (cost 5 ) 25.151 * * [simplify]: iteration 4 : 352 enodes (cost 5 ) 25.429 * * [simplify]: iteration 5 : 801 enodes (cost 5 ) 26.447 * * [simplify]: iteration 6 : 2137 enodes (cost 5 ) 28.093 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 28.093 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 28.095 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 28.100 * * [simplify]: iteration 2 : 87 enodes (cost 9 ) 28.145 * * [simplify]: iteration 3 : 271 enodes (cost 9 ) 28.327 * * [simplify]: iteration 4 : 424 enodes (cost 7 ) 28.738 * * [simplify]: iteration 5 : 947 enodes (cost 5 ) 30.558 * * [simplify]: iteration 6 : 2613 enodes (cost 5 ) 33.636 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 33.637 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 33.638 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 33.639 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 33.640 * * [simplify]: iteration done : 11 enodes (cost 13 ) 33.641 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 33.642 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 33.643 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 33.644 * * [simplify]: iteration done : 10 enodes (cost 6 ) 33.644 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 33.645 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 33.650 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 33.684 * * [simplify]: iteration 3 : 210 enodes (cost 7 ) 33.830 * * [simplify]: iteration 4 : 348 enodes (cost 7 ) 34.038 * * [simplify]: iteration 5 : 477 enodes (cost 5 ) 34.514 * * [simplify]: iteration 6 : 1059 enodes (cost 5 ) 36.446 * * [simplify]: iteration 7 : 2881 enodes (cost 5 ) 38.534 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 38.535 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 38.536 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 38.537 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 38.538 * * [simplify]: iteration done : 10 enodes (cost 6 ) 38.538 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 38.539 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 38.540 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 38.541 * * [simplify]: iteration done : 10 enodes (cost 6 ) 38.542 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.543 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 38.545 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 38.549 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 38.555 * * [simplify]: iteration done : 37 enodes (cost 9 ) 38.555 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 38.556 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 38.557 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 38.559 * * [simplify]: iteration done : 15 enodes (cost 6 ) 38.560 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.561 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 38.567 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 38.568 * * [simplify]: iteration done : 23 enodes (cost 3 ) 38.569 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 38.569 * * [simplify]: iteration done : 2 enodes (cost 3 ) 38.569 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.570 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 38.572 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 38.574 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 38.577 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 38.579 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 38.583 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 38.592 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 38.638 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 39.110 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 41.391 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 41.391 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 41.392 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 41.394 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 41.396 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 41.398 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 41.400 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 41.404 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 41.414 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 41.462 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 41.938 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 44.200 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 44.201 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.201 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 44.203 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 44.205 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 44.207 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 44.209 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 44.213 * * [simplify]: iteration 6 : 69 enodes (cost 5 ) 44.222 * * [simplify]: iteration 7 : 128 enodes (cost 5 ) 44.271 * * [simplify]: iteration 8 : 335 enodes (cost 5 ) 44.736 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 47.009 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 47.009 * [simplify]: Simplified to: (* (* 3 y) y) (* (* 3 y) y) (+ (* 2 (log y)) (log 3)) (+ (log (* 3 y)) (log y)) (log (* (* 3 y) y)) (exp (* (* 3 y) y)) (* (pow y 6) 27) (* (pow y 6) 27) (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y))) (cbrt (* (* 3 y) y)) (* (pow y 6) 27) (sqrt (* (* 3 y) y)) (sqrt (* (* 3 y) y)) (* (* 3 y) (* (cbrt y) (cbrt y))) (* (* 3 y) (sqrt y)) (* 3 y) (* y y) (* 3 (pow y 2)) (* 3 (pow y 2)) (* 3 (pow y 2)) 47.009 * * * [progress]: adding candidates to table 47.038 * * [progress]: iteration 3 / 4 47.038 * * * [progress]: picking best candidate 47.047 * * * * [pick]: Picked # 47.047 * * * [progress]: localizing error 47.058 * * * [progress]: generating rewritten candidates 47.058 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 47.063 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 47.068 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 47.073 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 47.082 * * * [progress]: generating series expansions 47.082 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 47.082 * [approximate]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in (y) around 0 47.082 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 47.082 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 47.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 47.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 47.082 * [taylor]: Taking taylor expansion of 1/3 in y 47.082 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 47.082 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.082 * [taylor]: Taking taylor expansion of y in y 47.082 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.082 * [taylor]: Taking taylor expansion of 3 in y 47.082 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 47.082 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 47.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 47.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 47.082 * [taylor]: Taking taylor expansion of 1/3 in y 47.082 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 47.082 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.082 * [taylor]: Taking taylor expansion of y in y 47.083 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.083 * [taylor]: Taking taylor expansion of 3 in y 47.091 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 47.091 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.091 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.091 * [taylor]: Taking taylor expansion of 1/3 in y 47.091 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.092 * [taylor]: Taking taylor expansion of y in y 47.092 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.092 * [taylor]: Taking taylor expansion of 3 in y 47.092 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.092 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.092 * [taylor]: Taking taylor expansion of 1/3 in y 47.092 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.092 * [taylor]: Taking taylor expansion of y in y 47.092 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.092 * [taylor]: Taking taylor expansion of 3 in y 47.102 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 47.102 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.102 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.102 * [taylor]: Taking taylor expansion of 1/3 in y 47.102 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.102 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.102 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.102 * [taylor]: Taking taylor expansion of y in y 47.102 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.102 * [taylor]: Taking taylor expansion of 3 in y 47.102 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.102 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.102 * [taylor]: Taking taylor expansion of 1/3 in y 47.102 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.102 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.102 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.102 * [taylor]: Taking taylor expansion of y in y 47.103 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.103 * [taylor]: Taking taylor expansion of 3 in y 47.112 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 47.112 * [approximate]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in (y) around 0 47.112 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 47.112 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 47.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 47.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 47.112 * [taylor]: Taking taylor expansion of 1/3 in y 47.112 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 47.112 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.112 * [taylor]: Taking taylor expansion of y in y 47.112 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.112 * [taylor]: Taking taylor expansion of 3 in y 47.112 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 47.112 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 47.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 47.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 47.112 * [taylor]: Taking taylor expansion of 1/3 in y 47.112 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 47.112 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.112 * [taylor]: Taking taylor expansion of y in y 47.113 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.113 * [taylor]: Taking taylor expansion of 3 in y 47.126 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 47.126 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.126 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.126 * [taylor]: Taking taylor expansion of 1/3 in y 47.126 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.126 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.126 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.126 * [taylor]: Taking taylor expansion of y in y 47.126 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.126 * [taylor]: Taking taylor expansion of 3 in y 47.126 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.126 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.126 * [taylor]: Taking taylor expansion of 1/3 in y 47.126 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.126 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.126 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.126 * [taylor]: Taking taylor expansion of y in y 47.127 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.127 * [taylor]: Taking taylor expansion of 3 in y 47.136 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 47.136 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.136 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.136 * [taylor]: Taking taylor expansion of 1/3 in y 47.136 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.136 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.136 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.136 * [taylor]: Taking taylor expansion of y in y 47.136 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.136 * [taylor]: Taking taylor expansion of 3 in y 47.137 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.137 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.137 * [taylor]: Taking taylor expansion of 1/3 in y 47.137 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.137 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.137 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.137 * [taylor]: Taking taylor expansion of y in y 47.137 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.137 * [taylor]: Taking taylor expansion of 3 in y 47.146 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 47.146 * [approximate]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in (y) around 0 47.146 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 47.146 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 47.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 47.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 47.146 * [taylor]: Taking taylor expansion of 1/3 in y 47.146 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 47.146 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.146 * [taylor]: Taking taylor expansion of y in y 47.146 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.147 * [taylor]: Taking taylor expansion of 3 in y 47.147 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 47.147 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 47.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 47.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 47.147 * [taylor]: Taking taylor expansion of 1/3 in y 47.147 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 47.147 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.147 * [taylor]: Taking taylor expansion of y in y 47.147 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.147 * [taylor]: Taking taylor expansion of 3 in y 47.156 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 47.156 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.156 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.156 * [taylor]: Taking taylor expansion of 1/3 in y 47.156 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.156 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.156 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.156 * [taylor]: Taking taylor expansion of y in y 47.156 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.156 * [taylor]: Taking taylor expansion of 3 in y 47.156 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.156 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.156 * [taylor]: Taking taylor expansion of 1/3 in y 47.157 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.157 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.157 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.157 * [taylor]: Taking taylor expansion of y in y 47.157 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.157 * [taylor]: Taking taylor expansion of 3 in y 47.166 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 47.166 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.166 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.166 * [taylor]: Taking taylor expansion of 1/3 in y 47.166 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.166 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.166 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.166 * [taylor]: Taking taylor expansion of y in y 47.166 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.166 * [taylor]: Taking taylor expansion of 3 in y 47.166 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 47.166 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 47.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 47.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 47.166 * [taylor]: Taking taylor expansion of 1/3 in y 47.166 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 47.166 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 47.166 * [taylor]: Taking taylor expansion of (pow y 2) in y 47.166 * [taylor]: Taking taylor expansion of y in y 47.167 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.167 * [taylor]: Taking taylor expansion of 3 in y 47.176 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 47.176 * [approximate]: Taking taylor expansion of (* (pow (pow y 4) 1/3) (pow (cbrt 3) 2)) in (y) around 0 47.176 * [taylor]: Taking taylor expansion of (* (pow (pow y 4) 1/3) (pow (cbrt 3) 2)) in y 47.176 * [taylor]: Taking taylor expansion of (pow (pow y 4) 1/3) in y 47.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 4)))) in y 47.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 4))) in y 47.176 * [taylor]: Taking taylor expansion of 1/3 in y 47.176 * [taylor]: Taking taylor expansion of (log (pow y 4)) in y 47.176 * [taylor]: Taking taylor expansion of (pow y 4) in y 47.176 * [taylor]: Taking taylor expansion of y in y 47.177 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y 47.177 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.177 * [taylor]: Taking taylor expansion of 3 in y 47.177 * [taylor]: Taking taylor expansion of (* (pow (pow y 4) 1/3) (pow (cbrt 3) 2)) in y 47.177 * [taylor]: Taking taylor expansion of (pow (pow y 4) 1/3) in y 47.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 4)))) in y 47.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 4))) in y 47.177 * [taylor]: Taking taylor expansion of 1/3 in y 47.177 * [taylor]: Taking taylor expansion of (log (pow y 4)) in y 47.177 * [taylor]: Taking taylor expansion of (pow y 4) in y 47.177 * [taylor]: Taking taylor expansion of y in y 47.177 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y 47.177 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.177 * [taylor]: Taking taylor expansion of 3 in y 47.188 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 4)) 1/3) (pow (cbrt 3) 2)) in (y) around 0 47.188 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 4)) 1/3) (pow (cbrt 3) 2)) in y 47.188 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4)) 1/3) in y 47.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 4))))) in y 47.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 4)))) in y 47.188 * [taylor]: Taking taylor expansion of 1/3 in y 47.188 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4))) in y 47.188 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 47.188 * [taylor]: Taking taylor expansion of (pow y 4) in y 47.188 * [taylor]: Taking taylor expansion of y in y 47.188 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y 47.188 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.189 * [taylor]: Taking taylor expansion of 3 in y 47.189 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 4)) 1/3) (pow (cbrt 3) 2)) in y 47.189 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4)) 1/3) in y 47.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 4))))) in y 47.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 4)))) in y 47.189 * [taylor]: Taking taylor expansion of 1/3 in y 47.189 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4))) in y 47.189 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 47.189 * [taylor]: Taking taylor expansion of (pow y 4) in y 47.189 * [taylor]: Taking taylor expansion of y in y 47.189 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y 47.189 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.189 * [taylor]: Taking taylor expansion of 3 in y 47.199 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 4)) 1/3) (pow (cbrt 3) 2)) in (y) around 0 47.200 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 4)) 1/3) (pow (cbrt 3) 2)) in y 47.200 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4)) 1/3) in y 47.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 4))))) in y 47.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 4)))) in y 47.200 * [taylor]: Taking taylor expansion of 1/3 in y 47.200 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4))) in y 47.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 47.200 * [taylor]: Taking taylor expansion of (pow y 4) in y 47.200 * [taylor]: Taking taylor expansion of y in y 47.200 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y 47.200 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.200 * [taylor]: Taking taylor expansion of 3 in y 47.200 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 4)) 1/3) (pow (cbrt 3) 2)) in y 47.200 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4)) 1/3) in y 47.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 4))))) in y 47.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 4)))) in y 47.200 * [taylor]: Taking taylor expansion of 1/3 in y 47.200 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4))) in y 47.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 47.200 * [taylor]: Taking taylor expansion of (pow y 4) in y 47.200 * [taylor]: Taking taylor expansion of y in y 47.201 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in y 47.201 * [taylor]: Taking taylor expansion of (cbrt 3) in y 47.201 * [taylor]: Taking taylor expansion of 3 in y 47.211 * * * [progress]: simplifying candidates 47.212 * [simplify]: Simplifying using # : (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (+ 1/3 1/3) (+ 1 1) (* (* 3 (* y y)) (* 3 (* y y))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (+ 1 1) (+ (log (cbrt (* 3 (* y y)))) (log (cbrt (* 3 (* y y))))) (log (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (exp (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (* (* 3 (* y y)) (* 3 (* y y))) (* (cbrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (cbrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))))) (cbrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (* (* (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (sqrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (sqrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (* (cbrt 3) (cbrt 3)) (* (cbrt (* y y)) (cbrt (* y y))) (* (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y)))))) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (* (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y))))) (* (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y))))) (* 1 1) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (* (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y))))) (* (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y))))) (* 2 1/3) (* 2 1) (* (cbrt (* 3 (* y y))) (cbrt 3)) (* (cbrt (* 3 (* y y))) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y)))))) (* (cbrt (* 3 (* y y))) (sqrt (cbrt (* 3 (* y y))))) (* (cbrt (* 3 (* y y))) 1) (* (cbrt (* y y)) (cbrt (* 3 (* y y)))) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (* (sqrt (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (* (cbrt 3) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) (* (cbrt 3) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) (* (cbrt 3) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) (* (exp (* 1/3 (+ (* 4 (log y)) (log 1)))) (pow (cbrt 3) 2)) (* (exp (* 1/3 (- (log 1) (* 4 (log (/ 1 y)))))) (pow (cbrt 3) 2)) (* (exp (* 1/3 (- (log 1) (* 4 (log (/ -1 y)))))) (pow (cbrt 3) 2)) 47.213 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.214 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 47.215 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 47.216 * * [simplify]: iteration done : 11 enodes (cost 7 ) 47.216 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.217 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 47.222 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 47.223 * * [simplify]: iteration done : 11 enodes (cost 7 ) 47.224 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 47.224 * * [simplify]: iteration done : 2 enodes (cost 2 ) 47.225 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 47.225 * * [simplify]: iteration done : 3 enodes (cost 4 ) 47.226 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 47.227 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 47.228 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 47.229 * * [simplify]: iteration done : 12 enodes (cost 15 ) 47.230 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.230 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 47.231 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 47.233 * * [simplify]: iteration done : 11 enodes (cost 7 ) 47.233 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 47.235 * * [simplify]: iteration 1 : 11 enodes (cost 20 ) 47.236 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 47.238 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 47.241 * * [simplify]: iteration 4 : 25 enodes (cost 5 ) 47.245 * * [simplify]: iteration 5 : 35 enodes (cost 5 ) 47.249 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 47.260 * * [simplify]: iteration 7 : 112 enodes (cost 5 ) 47.312 * * [simplify]: iteration 8 : 329 enodes (cost 5 ) 47.792 * * [simplify]: iteration 9 : 1254 enodes (cost 5 ) 50.230 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 50.231 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.232 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 50.233 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 50.234 * * [simplify]: iteration done : 11 enodes (cost 7 ) 50.235 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.235 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 50.236 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 50.237 * * [simplify]: iteration done : 11 enodes (cost 7 ) 50.238 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.239 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 50.240 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 50.241 * * [simplify]: iteration done : 11 enodes (cost 7 ) 50.242 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.243 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 50.244 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 50.245 * * [simplify]: iteration done : 11 enodes (cost 7 ) 50.245 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 50.246 * * [simplify]: iteration done : 2 enodes (cost 2 ) 50.246 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 50.246 * * [simplify]: iteration done : 3 enodes (cost 4 ) 50.247 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 50.248 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 50.249 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 50.251 * * [simplify]: iteration done : 12 enodes (cost 15 ) 50.252 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.252 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 50.253 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 50.255 * * [simplify]: iteration done : 11 enodes (cost 7 ) 50.255 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 50.256 * * [simplify]: iteration 1 : 11 enodes (cost 20 ) 50.258 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 50.260 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 50.262 * * [simplify]: iteration 4 : 25 enodes (cost 5 ) 50.266 * * [simplify]: iteration 5 : 35 enodes (cost 5 ) 50.270 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 50.281 * * [simplify]: iteration 7 : 112 enodes (cost 5 ) 50.332 * * [simplify]: iteration 8 : 329 enodes (cost 5 ) 50.824 * * [simplify]: iteration 9 : 1254 enodes (cost 5 ) 53.258 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 53.259 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 53.260 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 53.261 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 53.262 * * [simplify]: iteration done : 11 enodes (cost 7 ) 53.263 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 53.263 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 53.264 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 53.266 * * [simplify]: iteration done : 11 enodes (cost 7 ) 53.266 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 53.267 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 53.268 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 53.270 * * [simplify]: iteration done : 11 enodes (cost 7 ) 53.270 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 53.271 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 53.272 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 53.273 * * [simplify]: iteration done : 11 enodes (cost 7 ) 53.274 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 53.274 * * [simplify]: iteration done : 2 enodes (cost 2 ) 53.274 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 53.275 * * [simplify]: iteration done : 3 enodes (cost 4 ) 53.275 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 53.276 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 53.277 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 53.279 * * [simplify]: iteration done : 12 enodes (cost 15 ) 53.279 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 53.280 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 53.281 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 53.282 * * [simplify]: iteration done : 11 enodes (cost 7 ) 53.283 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 53.284 * * [simplify]: iteration 1 : 11 enodes (cost 20 ) 53.285 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 53.287 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 53.290 * * [simplify]: iteration 4 : 25 enodes (cost 5 ) 53.293 * * [simplify]: iteration 5 : 35 enodes (cost 5 ) 53.298 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 53.313 * * [simplify]: iteration 7 : 112 enodes (cost 5 ) 53.364 * * [simplify]: iteration 8 : 329 enodes (cost 5 ) 53.844 * * [simplify]: iteration 9 : 1254 enodes (cost 5 ) 56.241 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 56.241 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 56.242 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.243 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 56.245 * * [simplify]: iteration done : 11 enodes (cost 7 ) 56.245 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 56.246 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.247 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 56.248 * * [simplify]: iteration done : 11 enodes (cost 7 ) 56.249 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.249 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 56.249 * * [simplify]: iteration done : 5 enodes (cost 1 ) 56.250 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.250 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 56.250 * * [simplify]: iteration done : 6 enodes (cost 1 ) 56.251 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 56.252 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 56.255 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 56.264 * * [simplify]: iteration 3 : 79 enodes (cost 7 ) 56.289 * * [simplify]: iteration 4 : 95 enodes (cost 5 ) 56.311 * * [simplify]: iteration 5 : 126 enodes (cost 5 ) 56.352 * * [simplify]: iteration 6 : 225 enodes (cost 5 ) 56.468 * * [simplify]: iteration 7 : 514 enodes (cost 5 ) 57.022 * * [simplify]: iteration 8 : 1503 enodes (cost 5 ) 59.135 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 59.135 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 59.136 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 59.137 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 59.138 * * [simplify]: iteration done : 11 enodes (cost 13 ) 59.139 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 59.139 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 59.140 * * [simplify]: iteration done : 6 enodes (cost 1 ) 59.140 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 59.141 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 59.142 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 59.144 * * [simplify]: iteration done : 15 enodes (cost 9 ) 59.145 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 59.146 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 59.147 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 59.149 * * [simplify]: iteration 3 : 17 enodes (cost 9 ) 59.151 * * [simplify]: iteration done : 17 enodes (cost 9 ) 59.152 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 59.153 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 59.154 * * [simplify]: iteration 2 : 18 enodes (cost 14 ) 59.157 * * [simplify]: iteration 3 : 23 enodes (cost 14 ) 59.160 * * [simplify]: iteration 4 : 41 enodes (cost 14 ) 59.165 * * [simplify]: iteration 5 : 80 enodes (cost 14 ) 59.187 * * [simplify]: iteration 6 : 188 enodes (cost 14 ) 59.288 * * [simplify]: iteration 7 : 564 enodes (cost 14 ) 60.168 * * [simplify]: iteration 8 : 2246 enodes (cost 14 ) 62.611 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 62.612 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 62.612 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 62.615 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 62.625 * * [simplify]: iteration 3 : 79 enodes (cost 7 ) 62.649 * * [simplify]: iteration 4 : 95 enodes (cost 5 ) 62.671 * * [simplify]: iteration 5 : 126 enodes (cost 5 ) 62.710 * * [simplify]: iteration 6 : 225 enodes (cost 5 ) 62.824 * * [simplify]: iteration 7 : 514 enodes (cost 5 ) 63.384 * * [simplify]: iteration 8 : 1503 enodes (cost 5 ) 65.509 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 65.510 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 65.511 * * [simplify]: iteration 1 : 11 enodes (cost 29 ) 65.512 * * [simplify]: iteration 2 : 13 enodes (cost 29 ) 65.514 * * [simplify]: iteration done : 13 enodes (cost 29 ) 65.514 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 65.515 * * [simplify]: iteration 1 : 10 enodes (cost 14 ) 65.516 * * [simplify]: iteration 2 : 12 enodes (cost 14 ) 65.518 * * [simplify]: iteration done : 12 enodes (cost 14 ) 65.518 * * [simplify]: iteration 0 : 8 enodes (cost 41 ) 65.520 * * [simplify]: iteration 1 : 19 enodes (cost 41 ) 65.523 * * [simplify]: iteration 2 : 28 enodes (cost 15 ) 65.528 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 65.539 * * [simplify]: iteration 4 : 132 enodes (cost 8 ) 65.599 * * [simplify]: iteration 5 : 361 enodes (cost 8 ) 65.829 * * [simplify]: iteration 6 : 762 enodes (cost 7 ) 66.824 * * [simplify]: iteration 7 : 2389 enodes (cost 5 ) 69.239 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 69.240 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 69.241 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 69.242 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 69.243 * * [simplify]: iteration done : 13 enodes (cost 7 ) 69.244 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 69.245 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 69.246 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 69.248 * * [simplify]: iteration done : 13 enodes (cost 7 ) 69.248 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 69.249 * * [simplify]: iteration done : 3 enodes (cost 5 ) 69.249 * * [simplify]: iteration 0 : 4 enodes (cost 9 ) 69.253 * * [simplify]: iteration done : 4 enodes (cost 9 ) 69.254 * * [simplify]: iteration 0 : 8 enodes (cost 31 ) 69.255 * * [simplify]: iteration 1 : 15 enodes (cost 31 ) 69.257 * * [simplify]: iteration 2 : 18 enodes (cost 17 ) 69.260 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 69.263 * * [simplify]: iteration 4 : 42 enodes (cost 9 ) 69.268 * * [simplify]: iteration 5 : 68 enodes (cost 9 ) 69.280 * * [simplify]: iteration 6 : 140 enodes (cost 9 ) 69.325 * * [simplify]: iteration 7 : 353 enodes (cost 9 ) 69.683 * * [simplify]: iteration 8 : 1265 enodes (cost 9 ) 71.275 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 71.276 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 71.277 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 71.278 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 71.279 * * [simplify]: iteration done : 12 enodes (cost 15 ) 71.280 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 71.280 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 71.282 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 71.283 * * [simplify]: iteration done : 13 enodes (cost 6 ) 71.284 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 71.284 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 71.285 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 71.287 * * [simplify]: iteration done : 13 enodes (cost 6 ) 71.287 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 71.288 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 71.288 * * [simplify]: iteration done : 4 enodes (cost 1 ) 71.295 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 71.295 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 71.296 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 71.298 * * [simplify]: iteration done : 11 enodes (cost 13 ) 71.299 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 71.299 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 71.301 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 71.302 * * [simplify]: iteration done : 13 enodes (cost 6 ) 71.303 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 71.303 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 71.304 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 71.306 * * [simplify]: iteration done : 13 enodes (cost 6 ) 71.306 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.307 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 71.307 * * [simplify]: iteration done : 5 enodes (cost 1 ) 71.308 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 71.308 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 71.308 * * [simplify]: iteration done : 6 enodes (cost 1 ) 71.309 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 71.310 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 71.311 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 71.312 * * [simplify]: iteration done : 13 enodes (cost 9 ) 71.313 * * [simplify]: iteration 0 : 8 enodes (cost 22 ) 71.314 * * [simplify]: iteration 1 : 14 enodes (cost 22 ) 71.316 * * [simplify]: iteration 2 : 18 enodes (cost 22 ) 71.319 * * [simplify]: iteration done : 18 enodes (cost 22 ) 71.320 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 71.320 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 71.322 * * [simplify]: iteration 2 : 13 enodes (cost 14 ) 71.323 * * [simplify]: iteration done : 13 enodes (cost 14 ) 71.324 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 71.325 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 71.326 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 71.328 * * [simplify]: iteration done : 18 enodes (cost 6 ) 71.329 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 71.329 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 71.331 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 71.332 * * [simplify]: iteration done : 13 enodes (cost 11 ) 71.333 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 71.333 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 71.335 * * [simplify]: iteration 2 : 13 enodes (cost 14 ) 71.336 * * [simplify]: iteration done : 13 enodes (cost 14 ) 71.337 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 71.337 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 71.339 * * [simplify]: iteration 2 : 13 enodes (cost 14 ) 71.340 * * [simplify]: iteration done : 13 enodes (cost 14 ) 71.341 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 71.341 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 71.342 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 71.344 * * [simplify]: iteration done : 11 enodes (cost 13 ) 71.344 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 71.346 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 71.350 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 71.356 * * [simplify]: iteration 3 : 90 enodes (cost 6 ) 71.381 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 71.459 * * [simplify]: iteration 5 : 432 enodes (cost 6 ) 71.727 * * [simplify]: iteration 6 : 1218 enodes (cost 6 ) 73.596 * * [simplify]: iteration 7 : 4234 enodes (cost 6 ) 74.831 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 74.831 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 74.833 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 74.836 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 74.846 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 74.891 * * [simplify]: iteration 4 : 305 enodes (cost 6 ) 75.053 * * [simplify]: iteration 5 : 708 enodes (cost 6 ) 76.074 * * [simplify]: iteration 6 : 2275 enodes (cost 6 ) 77.247 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 77.248 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 77.250 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 77.253 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 77.261 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 77.308 * * [simplify]: iteration 4 : 348 enodes (cost 8 ) 77.547 * * [simplify]: iteration 5 : 975 enodes (cost 8 ) 79.170 * * [simplify]: iteration 6 : 3198 enodes (cost 6 ) 80.222 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 80.223 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 80.229 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 80.233 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 80.239 * * [simplify]: iteration 3 : 90 enodes (cost 6 ) 80.267 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 80.347 * * [simplify]: iteration 5 : 432 enodes (cost 6 ) 80.621 * * [simplify]: iteration 6 : 1218 enodes (cost 6 ) 82.729 * * [simplify]: iteration 7 : 4234 enodes (cost 6 ) 83.963 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 83.964 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 83.966 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 83.969 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 83.984 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 84.025 * * [simplify]: iteration 4 : 305 enodes (cost 6 ) 84.193 * * [simplify]: iteration 5 : 708 enodes (cost 6 ) 85.228 * * [simplify]: iteration 6 : 2275 enodes (cost 6 ) 86.421 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 86.422 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 86.424 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 86.427 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 86.435 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 86.481 * * [simplify]: iteration 4 : 348 enodes (cost 8 ) 86.715 * * [simplify]: iteration 5 : 975 enodes (cost 8 ) 88.332 * * [simplify]: iteration 6 : 3198 enodes (cost 6 ) 89.384 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 89.384 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 89.386 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 89.390 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 89.396 * * [simplify]: iteration 3 : 90 enodes (cost 6 ) 89.418 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 89.501 * * [simplify]: iteration 5 : 432 enodes (cost 6 ) 89.772 * * [simplify]: iteration 6 : 1218 enodes (cost 6 ) 91.663 * * [simplify]: iteration 7 : 4234 enodes (cost 6 ) 92.930 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 92.931 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 92.933 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 92.936 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 92.946 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 92.993 * * [simplify]: iteration 4 : 305 enodes (cost 6 ) 93.155 * * [simplify]: iteration 5 : 708 enodes (cost 6 ) 94.161 * * [simplify]: iteration 6 : 2275 enodes (cost 6 ) 95.324 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 95.325 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 95.326 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 95.330 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 95.337 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 95.378 * * [simplify]: iteration 4 : 348 enodes (cost 8 ) 95.606 * * [simplify]: iteration 5 : 975 enodes (cost 8 ) 97.216 * * [simplify]: iteration 6 : 3198 enodes (cost 6 ) 98.245 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 98.246 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 98.248 * * [simplify]: iteration 1 : 33 enodes (cost 14 ) 98.252 * * [simplify]: iteration 2 : 63 enodes (cost 10 ) 98.268 * * [simplify]: iteration 3 : 151 enodes (cost 8 ) 98.336 * * [simplify]: iteration 4 : 458 enodes (cost 8 ) 98.827 * * [simplify]: iteration 5 : 1710 enodes (cost 8 ) 100.871 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 100.871 * * [simplify]: iteration 0 : 16 enodes (cost 17 ) 100.874 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 100.878 * * [simplify]: iteration 2 : 70 enodes (cost 13 ) 100.891 * * [simplify]: iteration 3 : 195 enodes (cost 10 ) 100.951 * * [simplify]: iteration 4 : 512 enodes (cost 8 ) 101.378 * * [simplify]: iteration 5 : 1688 enodes (cost 8 ) 103.024 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 103.025 * * [simplify]: iteration 0 : 17 enodes (cost 17 ) 103.027 * * [simplify]: iteration 1 : 33 enodes (cost 16 ) 103.031 * * [simplify]: iteration 2 : 68 enodes (cost 14 ) 103.042 * * [simplify]: iteration 3 : 194 enodes (cost 11 ) 103.102 * * [simplify]: iteration 4 : 557 enodes (cost 10 ) 103.600 * * [simplify]: iteration 5 : 1925 enodes (cost 10 ) 104.820 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 104.820 * [simplify]: Simplified to: (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* 3 (* y y)) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* 3 (* y y)) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* 3 (* y y)) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) 2/3 2 (* (pow y 4) 9) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) 2 (* 2 (log (cbrt (* 3 (* y y))))) (* 2 (log (cbrt (* 3 (* y y))))) (exp (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (* (pow y 4) 9) (* (cbrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (cbrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))))) (cbrt (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))) (* (pow y 4) 9) (fabs (cbrt (* 3 (* y y)))) (fabs (cbrt (* 3 (* y y)))) (* (cbrt 3) (cbrt 3)) (* (cbrt (* y y)) (cbrt (* y y))) (pow (cbrt (cbrt (* 3 (* y y)))) 4) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))) 1 (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))) 2/3 2 (* (cbrt (* 3 (* y y))) (cbrt 3)) (* (cbrt (* 3 (* y y))) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y)))))) (* (cbrt (* 3 (* y y))) (sqrt (cbrt (* 3 (* y y))))) (cbrt (* 3 (* y y))) (* (cbrt (* y y)) (cbrt (* 3 (* y y)))) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (* (sqrt (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (* (pow y 2/3) (cbrt 3)) (* (pow y 2/3) (cbrt 3)) (* (cbrt 3) (pow y 2/3)) (* (pow y 2/3) (cbrt 3)) (* (pow y 2/3) (cbrt 3)) (* (cbrt 3) (pow y 2/3)) (* (pow y 2/3) (cbrt 3)) (* (pow y 2/3) (cbrt 3)) (* (cbrt 3) (pow y 2/3)) (* (pow y 4/3) (pow (cbrt 3) 2)) (* (pow y 4/3) (pow (cbrt 3) 2)) (* (pow (cbrt 3) 2) (pow (/ -1 y) -4/3)) 104.821 * * * [progress]: adding candidates to table 104.944 * * [progress]: iteration 4 / 4 104.944 * * * [progress]: picking best candidate 104.953 * * * * [pick]: Picked # 104.953 * * * [progress]: localizing error 104.971 * * * [progress]: generating rewritten candidates 104.971 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 104.976 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 104.982 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 104.984 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 104.992 * * * [progress]: generating series expansions 104.992 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 104.992 * [approximate]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in (y) around 0 104.992 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 104.992 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 104.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 104.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 104.992 * [taylor]: Taking taylor expansion of 1/3 in y 104.992 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 104.992 * [taylor]: Taking taylor expansion of (pow y 2) in y 104.992 * [taylor]: Taking taylor expansion of y in y 104.992 * [taylor]: Taking taylor expansion of (cbrt 3) in y 104.992 * [taylor]: Taking taylor expansion of 3 in y 104.992 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 104.992 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 104.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 104.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 104.992 * [taylor]: Taking taylor expansion of 1/3 in y 104.992 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 104.992 * [taylor]: Taking taylor expansion of (pow y 2) in y 104.992 * [taylor]: Taking taylor expansion of y in y 104.993 * [taylor]: Taking taylor expansion of (cbrt 3) in y 104.993 * [taylor]: Taking taylor expansion of 3 in y 105.001 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 105.001 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.001 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.001 * [taylor]: Taking taylor expansion of 1/3 in y 105.001 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.001 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.001 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.001 * [taylor]: Taking taylor expansion of y in y 105.002 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.002 * [taylor]: Taking taylor expansion of 3 in y 105.002 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.002 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.002 * [taylor]: Taking taylor expansion of 1/3 in y 105.002 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.002 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.002 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.002 * [taylor]: Taking taylor expansion of y in y 105.002 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.002 * [taylor]: Taking taylor expansion of 3 in y 105.012 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 105.012 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.012 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.012 * [taylor]: Taking taylor expansion of 1/3 in y 105.012 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.013 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.013 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.013 * [taylor]: Taking taylor expansion of y in y 105.013 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.013 * [taylor]: Taking taylor expansion of 3 in y 105.013 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.013 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.013 * [taylor]: Taking taylor expansion of 1/3 in y 105.013 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.013 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.013 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.013 * [taylor]: Taking taylor expansion of y in y 105.013 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.013 * [taylor]: Taking taylor expansion of 3 in y 105.022 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 105.023 * [approximate]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in (y) around 0 105.023 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 105.023 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 105.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 105.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 105.023 * [taylor]: Taking taylor expansion of 1/3 in y 105.023 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 105.023 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.023 * [taylor]: Taking taylor expansion of y in y 105.023 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.023 * [taylor]: Taking taylor expansion of 3 in y 105.023 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 105.023 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 105.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 105.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 105.023 * [taylor]: Taking taylor expansion of 1/3 in y 105.023 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 105.023 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.023 * [taylor]: Taking taylor expansion of y in y 105.023 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.023 * [taylor]: Taking taylor expansion of 3 in y 105.032 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 105.032 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.032 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.033 * [taylor]: Taking taylor expansion of 1/3 in y 105.033 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.033 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.033 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.033 * [taylor]: Taking taylor expansion of y in y 105.033 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.033 * [taylor]: Taking taylor expansion of 3 in y 105.033 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.033 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.033 * [taylor]: Taking taylor expansion of 1/3 in y 105.033 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.033 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.033 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.033 * [taylor]: Taking taylor expansion of y in y 105.033 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.033 * [taylor]: Taking taylor expansion of 3 in y 105.042 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 105.042 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.042 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.042 * [taylor]: Taking taylor expansion of 1/3 in y 105.042 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.042 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.042 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.042 * [taylor]: Taking taylor expansion of y in y 105.043 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.043 * [taylor]: Taking taylor expansion of 3 in y 105.043 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.043 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.043 * [taylor]: Taking taylor expansion of 1/3 in y 105.043 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.043 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.043 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.043 * [taylor]: Taking taylor expansion of y in y 105.043 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.043 * [taylor]: Taking taylor expansion of 3 in y 105.052 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 105.052 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0 105.052 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 105.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 105.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 105.052 * [taylor]: Taking taylor expansion of 1/3 in y 105.052 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 105.052 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.052 * [taylor]: Taking taylor expansion of y in y 105.053 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 105.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 105.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 105.053 * [taylor]: Taking taylor expansion of 1/3 in y 105.053 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 105.053 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.053 * [taylor]: Taking taylor expansion of y in y 105.060 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 105.060 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.060 * [taylor]: Taking taylor expansion of 1/3 in y 105.060 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.060 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.060 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.060 * [taylor]: Taking taylor expansion of y in y 105.061 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.061 * [taylor]: Taking taylor expansion of 1/3 in y 105.061 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.061 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.061 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.061 * [taylor]: Taking taylor expansion of y in y 105.069 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 105.069 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.069 * [taylor]: Taking taylor expansion of 1/3 in y 105.069 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.069 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.069 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.069 * [taylor]: Taking taylor expansion of y in y 105.070 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.070 * [taylor]: Taking taylor expansion of 1/3 in y 105.070 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.070 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.070 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.070 * [taylor]: Taking taylor expansion of y in y 105.082 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 105.082 * [approximate]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in (y) around 0 105.082 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 105.082 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 105.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 105.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 105.082 * [taylor]: Taking taylor expansion of 1/3 in y 105.082 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 105.082 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.082 * [taylor]: Taking taylor expansion of y in y 105.082 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.082 * [taylor]: Taking taylor expansion of 3 in y 105.082 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (cbrt 3)) in y 105.083 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 105.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 105.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 105.083 * [taylor]: Taking taylor expansion of 1/3 in y 105.083 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 105.083 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.083 * [taylor]: Taking taylor expansion of y in y 105.083 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.083 * [taylor]: Taking taylor expansion of 3 in y 105.092 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 105.092 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.092 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.092 * [taylor]: Taking taylor expansion of 1/3 in y 105.092 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.092 * [taylor]: Taking taylor expansion of y in y 105.092 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.092 * [taylor]: Taking taylor expansion of 3 in y 105.092 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.092 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.092 * [taylor]: Taking taylor expansion of 1/3 in y 105.092 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.092 * [taylor]: Taking taylor expansion of y in y 105.093 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.093 * [taylor]: Taking taylor expansion of 3 in y 105.102 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in (y) around 0 105.102 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.102 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.102 * [taylor]: Taking taylor expansion of 1/3 in y 105.102 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.102 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.102 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.102 * [taylor]: Taking taylor expansion of y in y 105.102 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.102 * [taylor]: Taking taylor expansion of 3 in y 105.102 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/3) (cbrt 3)) in y 105.102 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 105.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 105.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 105.102 * [taylor]: Taking taylor expansion of 1/3 in y 105.102 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 105.102 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 105.102 * [taylor]: Taking taylor expansion of (pow y 2) in y 105.102 * [taylor]: Taking taylor expansion of y in y 105.102 * [taylor]: Taking taylor expansion of (cbrt 3) in y 105.102 * [taylor]: Taking taylor expansion of 3 in y 105.112 * * * [progress]: simplifying candidates 105.113 * [simplify]: Simplifying using # : (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y)))) (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* y y))) (exp (cbrt (* y y))) (cbrt y) (cbrt y) (* (cbrt (cbrt (* y y))) (cbrt (cbrt (* y y)))) (cbrt (cbrt (* y y))) (* (* (cbrt (* y y)) (cbrt (* y y))) (cbrt (* y y))) (sqrt (cbrt (* y y))) (sqrt (cbrt (* y y))) (* 3 (* y y)) (* (cbrt 3) (cbrt (* y y))) (+ (log (cbrt 3)) (log (cbrt (* y y)))) (log (* (cbrt 3) (cbrt (* y y)))) (exp (* (cbrt 3) (cbrt (* y y)))) (* 3 (* y y)) (* (cbrt (* (cbrt 3) (cbrt (* y y)))) (cbrt (* (cbrt 3) (cbrt (* y y))))) (cbrt (* (cbrt 3) (cbrt (* y y)))) (* (* (* (cbrt 3) (cbrt (* y y))) (* (cbrt 3) (cbrt (* y y)))) (* (cbrt 3) (cbrt (* y y)))) (sqrt (* (cbrt 3) (cbrt (* y y)))) (sqrt (* (cbrt 3) (cbrt (* y y)))) (* (cbrt (sqrt 3)) (cbrt y)) (* (cbrt (sqrt 3)) (cbrt y)) (* (cbrt (sqrt 3)) (sqrt (cbrt (* y y)))) (* (cbrt (sqrt 3)) (sqrt (cbrt (* y y)))) (* (sqrt (cbrt 3)) (cbrt y)) (* (sqrt (cbrt 3)) (cbrt y)) (* (sqrt (cbrt 3)) (sqrt (cbrt (* y y)))) (* (sqrt (cbrt 3)) (sqrt (cbrt (* y y)))) (* (cbrt 3) (cbrt y)) (* (cbrt 3) (* (cbrt (cbrt (* y y))) (cbrt (cbrt (* y y))))) (* (cbrt 3) (sqrt (cbrt (* y y)))) (* (cbrt 3) 1) (* (cbrt (cbrt 3)) (cbrt (* y y))) (* (cbrt (sqrt 3)) (cbrt (* y y))) (* (cbrt 3) (cbrt (* y y))) (* (cbrt (cbrt 3)) (cbrt (* y y))) (* (sqrt (cbrt 3)) (cbrt (* y y))) (* (cbrt 3) (cbrt (* y y))) (* (cbrt 3) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) (* (cbrt 3) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y)))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y)))))) (* (cbrt 3) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))) (* (cbrt 3) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) 105.114 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 105.114 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 105.115 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 105.116 * * [simplify]: iteration done : 11 enodes (cost 7 ) 105.117 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 105.118 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 105.119 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 105.120 * * [simplify]: iteration done : 11 enodes (cost 7 ) 105.121 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 105.121 * * [simplify]: iteration done : 2 enodes (cost 2 ) 105.122 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 105.122 * * [simplify]: iteration done : 3 enodes (cost 4 ) 105.122 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 105.123 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 105.124 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 105.126 * * [simplify]: iteration done : 12 enodes (cost 15 ) 105.126 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 105.127 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 105.128 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 105.129 * * [simplify]: iteration done : 11 enodes (cost 7 ) 105.130 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 105.131 * * [simplify]: iteration 1 : 11 enodes (cost 20 ) 105.132 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 105.134 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 105.137 * * [simplify]: iteration 4 : 25 enodes (cost 5 ) 105.140 * * [simplify]: iteration 5 : 35 enodes (cost 5 ) 105.145 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 105.159 * * [simplify]: iteration 7 : 112 enodes (cost 5 ) 105.208 * * [simplify]: iteration 8 : 329 enodes (cost 5 ) 105.678 * * [simplify]: iteration 9 : 1254 enodes (cost 5 ) 108.052 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 108.053 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.054 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.055 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.056 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.057 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.058 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.059 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.060 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.061 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.062 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.063 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.064 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.064 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.065 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.066 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.067 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.068 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 108.068 * * [simplify]: iteration done : 2 enodes (cost 2 ) 108.069 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 108.069 * * [simplify]: iteration done : 3 enodes (cost 4 ) 108.070 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 108.071 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 108.072 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 108.073 * * [simplify]: iteration done : 12 enodes (cost 15 ) 108.074 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 108.074 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.075 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 108.076 * * [simplify]: iteration done : 11 enodes (cost 7 ) 108.077 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 108.078 * * [simplify]: iteration 1 : 11 enodes (cost 20 ) 108.079 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 108.081 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 108.084 * * [simplify]: iteration 4 : 25 enodes (cost 5 ) 108.091 * * [simplify]: iteration 5 : 35 enodes (cost 5 ) 108.096 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 108.107 * * [simplify]: iteration 7 : 112 enodes (cost 5 ) 108.157 * * [simplify]: iteration 8 : 329 enodes (cost 5 ) 108.624 * * [simplify]: iteration 9 : 1254 enodes (cost 5 ) 111.002 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 111.002 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.003 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 111.004 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 111.005 * * [simplify]: iteration done : 11 enodes (cost 7 ) 111.006 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.007 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 111.008 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 111.009 * * [simplify]: iteration done : 11 enodes (cost 7 ) 111.010 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 111.010 * * [simplify]: iteration done : 4 enodes (cost 5 ) 111.011 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 111.011 * * [simplify]: iteration done : 4 enodes (cost 5 ) 111.012 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 111.012 * * [simplify]: iteration done : 2 enodes (cost 2 ) 111.012 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 111.013 * * [simplify]: iteration done : 2 enodes (cost 2 ) 111.013 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 111.014 * * [simplify]: iteration done : 5 enodes (cost 11 ) 111.014 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 111.015 * * [simplify]: iteration done : 4 enodes (cost 5 ) 111.015 * * [simplify]: iteration 0 : 5 enodes (cost 14 ) 111.016 * * [simplify]: iteration 1 : 6 enodes (cost 14 ) 111.017 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 111.018 * * [simplify]: iteration 3 : 13 enodes (cost 3 ) 111.019 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 111.025 * * [simplify]: iteration 5 : 29 enodes (cost 3 ) 111.029 * * [simplify]: iteration 6 : 50 enodes (cost 3 ) 111.039 * * [simplify]: iteration 7 : 108 enodes (cost 3 ) 111.085 * * [simplify]: iteration 8 : 311 enodes (cost 3 ) 111.518 * * [simplify]: iteration 9 : 1229 enodes (cost 3 ) 113.897 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 113.898 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 113.898 * * [simplify]: iteration done : 4 enodes (cost 5 ) 113.899 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 113.899 * * [simplify]: iteration done : 4 enodes (cost 5 ) 113.900 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 113.900 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 113.901 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 113.902 * * [simplify]: iteration done : 9 enodes (cost 5 ) 113.903 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 113.903 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 113.904 * * [simplify]: iteration done : 7 enodes (cost 7 ) 113.905 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 113.905 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 113.906 * * [simplify]: iteration done : 9 enodes (cost 9 ) 113.907 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 113.907 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 113.908 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 113.910 * * [simplify]: iteration done : 12 enodes (cost 8 ) 113.910 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 113.911 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 113.912 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 113.914 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 113.917 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 113.924 * * [simplify]: iteration 5 : 102 enodes (cost 8 ) 113.959 * * [simplify]: iteration 6 : 240 enodes (cost 8 ) 114.104 * * [simplify]: iteration 7 : 697 enodes (cost 8 ) 115.160 * * [simplify]: iteration 8 : 2710 enodes (cost 8 ) 116.897 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 116.898 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 116.898 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 116.899 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 116.900 * * [simplify]: iteration done : 9 enodes (cost 5 ) 116.901 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 116.903 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 116.904 * * [simplify]: iteration done : 9 enodes (cost 17 ) 116.904 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 116.905 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 116.906 * * [simplify]: iteration done : 8 enodes (cost 8 ) 116.907 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 116.908 * * [simplify]: iteration 1 : 19 enodes (cost 23 ) 116.911 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 116.924 * * [simplify]: iteration 3 : 90 enodes (cost 9 ) 116.952 * * [simplify]: iteration 4 : 108 enodes (cost 5 ) 116.979 * * [simplify]: iteration 5 : 150 enodes (cost 5 ) 117.030 * * [simplify]: iteration 6 : 236 enodes (cost 5 ) 117.135 * * [simplify]: iteration 7 : 453 enodes (cost 5 ) 117.488 * * [simplify]: iteration 8 : 1162 enodes (cost 5 ) 119.869 * * [simplify]: iteration 9 : 3840 enodes (cost 5 ) 122.482 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 122.483 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 122.483 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 122.484 * * [simplify]: iteration done : 8 enodes (cost 8 ) 122.485 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 122.489 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 122.490 * * [simplify]: iteration done : 8 enodes (cost 8 ) 122.491 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 122.491 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 122.492 * * [simplify]: iteration done : 7 enodes (cost 6 ) 122.493 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 122.493 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 122.494 * * [simplify]: iteration done : 7 enodes (cost 6 ) 122.494 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 122.495 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 122.496 * * [simplify]: iteration done : 9 enodes (cost 9 ) 122.497 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 122.498 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 122.499 * * [simplify]: iteration done : 9 enodes (cost 9 ) 122.499 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 122.500 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 122.501 * * [simplify]: iteration done : 7 enodes (cost 6 ) 122.501 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 122.502 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 122.502 * * [simplify]: iteration done : 7 enodes (cost 6 ) 122.503 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 122.504 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 122.505 * * [simplify]: iteration done : 9 enodes (cost 9 ) 122.505 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 122.506 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 122.507 * * [simplify]: iteration done : 9 enodes (cost 9 ) 122.507 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 122.508 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 122.508 * * [simplify]: iteration done : 6 enodes (cost 5 ) 122.510 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 122.511 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 122.512 * * [simplify]: iteration 2 : 13 enodes (cost 14 ) 122.513 * * [simplify]: iteration done : 13 enodes (cost 14 ) 122.514 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 122.515 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 122.515 * * [simplify]: iteration done : 8 enodes (cost 8 ) 122.516 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 122.516 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 122.517 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 122.518 * * [simplify]: iteration done : 10 enodes (cost 2 ) 122.518 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 122.519 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 122.520 * * [simplify]: iteration done : 8 enodes (cost 8 ) 122.520 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 122.521 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 122.522 * * [simplify]: iteration done : 8 enodes (cost 8 ) 122.523 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 122.524 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 122.524 * * [simplify]: iteration done : 7 enodes (cost 7 ) 122.525 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 122.526 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 122.526 * * [simplify]: iteration done : 8 enodes (cost 8 ) 122.527 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 122.528 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 122.528 * * [simplify]: iteration done : 8 enodes (cost 8 ) 122.529 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 122.530 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 122.530 * * [simplify]: iteration done : 7 enodes (cost 7 ) 122.531 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 122.533 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 122.536 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 122.542 * * [simplify]: iteration 3 : 90 enodes (cost 6 ) 122.568 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 122.647 * * [simplify]: iteration 5 : 432 enodes (cost 6 ) 122.921 * * [simplify]: iteration 6 : 1218 enodes (cost 6 ) 124.792 * * [simplify]: iteration 7 : 4234 enodes (cost 6 ) 126.030 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 126.031 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 126.032 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 126.039 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 126.050 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 126.090 * * [simplify]: iteration 4 : 305 enodes (cost 6 ) 126.249 * * [simplify]: iteration 5 : 708 enodes (cost 6 ) 127.266 * * [simplify]: iteration 6 : 2275 enodes (cost 6 ) 128.443 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 128.444 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 128.446 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 128.450 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 128.457 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 128.502 * * [simplify]: iteration 4 : 348 enodes (cost 8 ) 128.731 * * [simplify]: iteration 5 : 975 enodes (cost 8 ) 130.332 * * [simplify]: iteration 6 : 3198 enodes (cost 6 ) 131.370 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 131.371 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 131.372 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 131.376 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 131.382 * * [simplify]: iteration 3 : 90 enodes (cost 6 ) 131.403 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 131.483 * * [simplify]: iteration 5 : 432 enodes (cost 6 ) 131.750 * * [simplify]: iteration 6 : 1218 enodes (cost 6 ) 133.601 * * [simplify]: iteration 7 : 4234 enodes (cost 6 ) 134.835 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 134.835 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 134.837 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 134.840 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 134.850 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 134.895 * * [simplify]: iteration 4 : 305 enodes (cost 6 ) 135.056 * * [simplify]: iteration 5 : 708 enodes (cost 6 ) 136.072 * * [simplify]: iteration 6 : 2275 enodes (cost 6 ) 137.241 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 137.241 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 137.243 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 137.247 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 137.254 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 137.299 * * [simplify]: iteration 4 : 348 enodes (cost 8 ) 137.528 * * [simplify]: iteration 5 : 975 enodes (cost 8 ) 139.135 * * [simplify]: iteration 6 : 3198 enodes (cost 6 ) 140.367 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 140.367 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 140.369 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 140.371 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 140.383 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 140.400 * * [simplify]: iteration 4 : 156 enodes (cost 3 ) 140.451 * * [simplify]: iteration 5 : 314 enodes (cost 3 ) 140.636 * * [simplify]: iteration 6 : 887 enodes (cost 3 ) 141.849 * * [simplify]: iteration 7 : 2959 enodes (cost 3 ) 143.231 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 143.232 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 143.233 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 143.236 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 143.246 * * [simplify]: iteration 3 : 131 enodes (cost 5 ) 143.289 * * [simplify]: iteration 4 : 286 enodes (cost 3 ) 143.434 * * [simplify]: iteration 5 : 617 enodes (cost 3 ) 144.344 * * [simplify]: iteration 6 : 1980 enodes (cost 3 ) 145.644 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 145.645 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 145.646 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 145.649 * * [simplify]: iteration 2 : 44 enodes (cost 9 ) 145.656 * * [simplify]: iteration 3 : 127 enodes (cost 6 ) 145.701 * * [simplify]: iteration 4 : 325 enodes (cost 5 ) 145.916 * * [simplify]: iteration 5 : 879 enodes (cost 5 ) 147.383 * * [simplify]: iteration 6 : 2879 enodes (cost 3 ) 148.402 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 148.403 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 148.405 * * [simplify]: iteration 1 : 27 enodes (cost 12 ) 148.408 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 148.414 * * [simplify]: iteration 3 : 90 enodes (cost 6 ) 148.439 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 148.518 * * [simplify]: iteration 5 : 432 enodes (cost 6 ) 148.789 * * [simplify]: iteration 6 : 1218 enodes (cost 6 ) 150.683 * * [simplify]: iteration 7 : 4234 enodes (cost 6 ) 151.920 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 151.921 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 151.922 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 151.930 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 151.939 * * [simplify]: iteration 3 : 139 enodes (cost 8 ) 151.980 * * [simplify]: iteration 4 : 305 enodes (cost 6 ) 152.143 * * [simplify]: iteration 5 : 708 enodes (cost 6 ) 153.157 * * [simplify]: iteration 6 : 2275 enodes (cost 6 ) 154.329 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 154.330 * * [simplify]: iteration 0 : 15 enodes (cost 15 ) 154.331 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 154.335 * * [simplify]: iteration 2 : 48 enodes (cost 12 ) 154.342 * * [simplify]: iteration 3 : 135 enodes (cost 9 ) 154.388 * * [simplify]: iteration 4 : 348 enodes (cost 8 ) 154.617 * * [simplify]: iteration 5 : 975 enodes (cost 8 ) 156.225 * * [simplify]: iteration 6 : 3198 enodes (cost 6 ) 157.459 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 157.460 * [simplify]: Simplified to: (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* 3 (* y y)) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* 3 (* y y)))) (exp (cbrt (* 3 (* y y)))) (cbrt 3) (cbrt (* y y)) (* (cbrt (cbrt (* 3 (* y y)))) (cbrt (cbrt (* 3 (* y y))))) (cbrt (cbrt (* 3 (* y y)))) (* 3 (* y y)) (sqrt (cbrt (* 3 (* y y)))) (sqrt (cbrt (* 3 (* y y)))) (log (cbrt (* y y))) (exp (cbrt (* y y))) (cbrt y) (cbrt y) (* (cbrt (cbrt (* y y))) (cbrt (cbrt (* y y)))) (cbrt (cbrt (* y y))) (* y y) (sqrt (cbrt (* y y))) (sqrt (cbrt (* y y))) (* 3 (* y y)) (* (cbrt 3) (cbrt (* y y))) (+ (log (cbrt 3)) (log (cbrt (* y y)))) (log (* (cbrt 3) (cbrt (* y y)))) (exp (* (cbrt 3) (cbrt (* y y)))) (* 3 (* y y)) (* (cbrt (* (cbrt 3) (cbrt (* y y)))) (cbrt (* (cbrt 3) (cbrt (* y y))))) (cbrt (* (cbrt 3) (cbrt (* y y)))) (* (* y y) 3) (sqrt (* (cbrt 3) (cbrt (* y y)))) (sqrt (* (cbrt 3) (cbrt (* y y)))) (* (cbrt (sqrt 3)) (cbrt y)) (* (cbrt (sqrt 3)) (cbrt y)) (* (cbrt (sqrt 3)) (sqrt (cbrt (* y y)))) (* (cbrt (sqrt 3)) (sqrt (cbrt (* y y)))) (* (sqrt (cbrt 3)) (cbrt y)) (* (sqrt (cbrt 3)) (cbrt y)) (* (sqrt (cbrt 3)) (sqrt (cbrt (* y y)))) (* (sqrt (cbrt 3)) (sqrt (cbrt (* y y)))) (* (cbrt 3) (cbrt y)) (* (cbrt 3) (* (cbrt (cbrt (* y y))) (cbrt (cbrt (* y y))))) (* (cbrt 3) (sqrt (cbrt (* y y)))) (cbrt 3) (* (cbrt (cbrt 3)) (cbrt (* y y))) (* (cbrt (sqrt 3)) (cbrt (* y y))) (* (cbrt 3) (cbrt (* y y))) (* (cbrt (cbrt 3)) (cbrt (* y y))) (* (sqrt (cbrt 3)) (cbrt (* y y))) (* (cbrt 3) (cbrt (* y y))) (* (pow y 2/3) (cbrt 3)) (* (pow y 2/3) (cbrt 3)) (* (cbrt 3) (pow y 2/3)) (* (pow y 2/3) (cbrt 3)) (* (pow y 2/3) (cbrt 3)) (* (cbrt 3) (pow y 2/3)) (pow y 2/3) (pow y 2/3) (pow y 2/3) (* (pow y 2/3) (cbrt 3)) (* (pow y 2/3) (cbrt 3)) (* (cbrt 3) (pow y 2/3)) 157.460 * * * [progress]: adding candidates to table 157.584 * [progress]: [Phase 3 of 3] Extracting. 157.584 * * [regime]: Finding splitpoints for: (# # # # # #) 157.585 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (* x x) y x) 157.585 * * * * [regimes]: Trying to branch on (* y y) from (# # # # # #) 157.629 * * * * [regimes]: Trying to branch on (* x x) from (# # # # # #) 157.675 * * * * [regimes]: Trying to branch on y from (# # # # # #) 157.723 * * * * [regimes]: Trying to branch on x from (# # # # # #) 157.771 * * * [regime]: Found split indices: #