20.337 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (- (* (* x 3.0) y) z) 0.017 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.019 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 0.020 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 0.023 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 0.027 * * [simplify]: iteration done : 26 enodes (cost 7 ) 0.027 * [simplify]: Simplified to: (- (* (* x 3.0) y) z) 0.027 * * [progress]: iteration 1 / 4 0.027 * * * [progress]: picking best candidate 0.029 * * * * [pick]: Picked # 0.029 * * * [progress]: localizing error 0.038 * * * [progress]: generating rewritten candidates 0.038 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.045 * * * [progress]: generating series expansions 0.045 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.046 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 0.046 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 0.046 * [taylor]: Taking taylor expansion of 3.0 in y 0.046 * [taylor]: Taking taylor expansion of (* x y) in y 0.046 * [taylor]: Taking taylor expansion of x in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.046 * [taylor]: Taking taylor expansion of 3.0 in x 0.046 * [taylor]: Taking taylor expansion of (* x y) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 0.046 * [taylor]: Taking taylor expansion of 3.0 in x 0.046 * [taylor]: Taking taylor expansion of (* x y) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.049 * [taylor]: Taking taylor expansion of 3.0 in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.056 * [taylor]: Taking taylor expansion of 0 in y 0.056 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.056 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.056 * [taylor]: Taking taylor expansion of 3.0 in y 0.056 * [taylor]: Taking taylor expansion of (* x y) in y 0.056 * [taylor]: Taking taylor expansion of x in y 0.056 * [taylor]: Taking taylor expansion of y in y 0.056 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.056 * [taylor]: Taking taylor expansion of 3.0 in x 0.056 * [taylor]: Taking taylor expansion of (* x y) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of y in x 0.057 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.057 * [taylor]: Taking taylor expansion of 3.0 in x 0.057 * [taylor]: Taking taylor expansion of (* x y) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of y in x 0.057 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.057 * [taylor]: Taking taylor expansion of 3.0 in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.060 * [taylor]: Taking taylor expansion of 0 in y 0.062 * [taylor]: Taking taylor expansion of 0 in y 0.062 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 0.062 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 0.062 * [taylor]: Taking taylor expansion of 3.0 in y 0.062 * [taylor]: Taking taylor expansion of (* x y) in y 0.062 * [taylor]: Taking taylor expansion of x in y 0.063 * [taylor]: Taking taylor expansion of y in y 0.063 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.063 * [taylor]: Taking taylor expansion of 3.0 in x 0.063 * [taylor]: Taking taylor expansion of (* x y) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of y in x 0.063 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 0.063 * [taylor]: Taking taylor expansion of 3.0 in x 0.063 * [taylor]: Taking taylor expansion of (* x y) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of y in x 0.064 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.064 * [taylor]: Taking taylor expansion of 3.0 in y 0.064 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.069 * * * [progress]: simplifying candidates 0.070 * [simplify]: Simplifying using # : (expm1 (* (* x 3.0) y)) (log1p (* (* x 3.0) y)) (* (* x 3.0) y) (* (* x 3.0) y) (+ (+ (log x) (log 3.0)) (log y)) (+ (log (* x 3.0)) (log y)) (log (* (* x 3.0) y)) (exp (* (* x 3.0) y)) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y)) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y)) (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y))) (cbrt (* (* x 3.0) y)) (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (* (* x 3.0) (* (cbrt y) (cbrt y))) (* (* x 3.0) (sqrt y)) (* (* x 3.0) 1) (* 3.0 y) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 0.071 * * [simplify]: iteration 0 : 42 enodes (cost 169 ) 0.078 * * [simplify]: iteration 1 : 102 enodes (cost 164 ) 0.122 * * [simplify]: iteration 2 : 422 enodes (cost 134 ) 0.617 * * [simplify]: iteration 3 : 1636 enodes (cost 134 ) 2.924 * * [simplify]: iteration 4 : 3017 enodes (cost 134 ) 5.744 * * [simplify]: iteration done : 5001 enodes (cost 134 ) 5.745 * [simplify]: Simplified to: (expm1 (* (* x 3.0) y)) (log1p (* (* x 3.0) y)) (* (* x 3.0) y) (* (* x 3.0) y) (log (* (* x 3.0) y)) (log (* (* x 3.0) y)) (log (* (* x 3.0) y)) (exp (* (* x 3.0) y)) (pow (* (* x 3.0) y) 3) (pow (* (* x 3.0) y) 3) (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y))) (cbrt (* (* x 3.0) y)) (pow (* (* x 3.0) y) 3) (sqrt (* (* x 3.0) y)) (sqrt (* (* x 3.0) y)) (* (* x 3.0) (* (cbrt y) (cbrt y))) (* (* x 3.0) (sqrt y)) (* x 3.0) (* 3.0 y) (* (* x 3.0) y) (* (* x 3.0) y) (* (* x 3.0) y) 5.745 * * * [progress]: adding candidates to table 5.780 * * [progress]: iteration 2 / 4 5.780 * * * [progress]: picking best candidate 5.794 * * * * [pick]: Picked # 5.794 * * * [progress]: localizing error 5.800 * * * [progress]: generating rewritten candidates 5.800 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 5.807 * * * [progress]: generating series expansions 5.807 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 5.807 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 5.807 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 5.807 * [taylor]: Taking taylor expansion of 3.0 in y 5.807 * [taylor]: Taking taylor expansion of (* x y) in y 5.807 * [taylor]: Taking taylor expansion of x in y 5.807 * [taylor]: Taking taylor expansion of y in y 5.807 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 5.807 * [taylor]: Taking taylor expansion of 3.0 in x 5.807 * [taylor]: Taking taylor expansion of (* x y) in x 5.807 * [taylor]: Taking taylor expansion of x in x 5.807 * [taylor]: Taking taylor expansion of y in x 5.807 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 5.807 * [taylor]: Taking taylor expansion of 3.0 in x 5.807 * [taylor]: Taking taylor expansion of (* x y) in x 5.807 * [taylor]: Taking taylor expansion of x in x 5.807 * [taylor]: Taking taylor expansion of y in x 5.808 * [taylor]: Taking taylor expansion of 0 in y 5.809 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 5.809 * [taylor]: Taking taylor expansion of 3.0 in y 5.809 * [taylor]: Taking taylor expansion of y in y 5.810 * [taylor]: Taking taylor expansion of 0 in y 5.813 * [taylor]: Taking taylor expansion of 0 in y 5.816 * [taylor]: Taking taylor expansion of 0 in y 5.816 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 5.816 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 5.816 * [taylor]: Taking taylor expansion of 3.0 in y 5.816 * [taylor]: Taking taylor expansion of (* x y) in y 5.816 * [taylor]: Taking taylor expansion of x in y 5.816 * [taylor]: Taking taylor expansion of y in y 5.816 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 5.816 * [taylor]: Taking taylor expansion of 3.0 in x 5.817 * [taylor]: Taking taylor expansion of (* x y) in x 5.817 * [taylor]: Taking taylor expansion of x in x 5.817 * [taylor]: Taking taylor expansion of y in x 5.817 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 5.817 * [taylor]: Taking taylor expansion of 3.0 in x 5.817 * [taylor]: Taking taylor expansion of (* x y) in x 5.817 * [taylor]: Taking taylor expansion of x in x 5.817 * [taylor]: Taking taylor expansion of y in x 5.817 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 5.817 * [taylor]: Taking taylor expansion of 3.0 in y 5.817 * [taylor]: Taking taylor expansion of y in y 5.818 * [taylor]: Taking taylor expansion of 0 in y 5.820 * [taylor]: Taking taylor expansion of 0 in y 5.822 * [taylor]: Taking taylor expansion of 0 in y 5.822 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 5.822 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 5.822 * [taylor]: Taking taylor expansion of 3.0 in y 5.822 * [taylor]: Taking taylor expansion of (* x y) in y 5.822 * [taylor]: Taking taylor expansion of x in y 5.822 * [taylor]: Taking taylor expansion of y in y 5.823 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 5.823 * [taylor]: Taking taylor expansion of 3.0 in x 5.823 * [taylor]: Taking taylor expansion of (* x y) in x 5.823 * [taylor]: Taking taylor expansion of x in x 5.823 * [taylor]: Taking taylor expansion of y in x 5.823 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 5.823 * [taylor]: Taking taylor expansion of 3.0 in x 5.823 * [taylor]: Taking taylor expansion of (* x y) in x 5.823 * [taylor]: Taking taylor expansion of x in x 5.823 * [taylor]: Taking taylor expansion of y in x 5.824 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 5.824 * [taylor]: Taking taylor expansion of 3.0 in y 5.824 * [taylor]: Taking taylor expansion of y in y 5.825 * [taylor]: Taking taylor expansion of 0 in y 5.826 * [taylor]: Taking taylor expansion of 0 in y 5.828 * [taylor]: Taking taylor expansion of 0 in y 5.829 * * * [progress]: simplifying candidates 5.829 * [simplify]: Simplifying using # : (expm1 (* x (* 3.0 y))) (log1p (* x (* 3.0 y))) (* x (* 3.0 y)) (* x (* 3.0 y)) (+ (log x) (+ (log 3.0) (log y))) (+ (log x) (log (* 3.0 y))) (log (* x (* 3.0 y))) (exp (* x (* 3.0 y))) (* (* (* x x) x) (* (* (* 3.0 3.0) 3.0) (* (* y y) y))) (* (* (* x x) x) (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y))) (* (cbrt (* x (* 3.0 y))) (cbrt (* x (* 3.0 y)))) (cbrt (* x (* 3.0 y))) (* (* (* x (* 3.0 y)) (* x (* 3.0 y))) (* x (* 3.0 y))) (sqrt (* x (* 3.0 y))) (sqrt (* x (* 3.0 y))) (* x 3.0) (* (cbrt x) (* 3.0 y)) (* (sqrt x) (* 3.0 y)) (* x (* 3.0 y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 5.831 * * [simplify]: iteration 0 : 39 enodes (cost 166 ) 5.837 * * [simplify]: iteration 1 : 92 enodes (cost 163 ) 5.860 * * [simplify]: iteration 2 : 316 enodes (cost 133 ) 6.062 * * [simplify]: iteration 3 : 1035 enodes (cost 133 ) 7.461 * * [simplify]: iteration 4 : 1956 enodes (cost 133 ) 10.166 * * [simplify]: iteration 5 : 3781 enodes (cost 133 ) 11.452 * * [simplify]: iteration done : 5001 enodes (cost 133 ) 11.452 * [simplify]: Simplified to: (expm1 (* x (* 3.0 y))) (log1p (* x (* 3.0 y))) (* 3.0 (* x y)) (* 3.0 (* x y)) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (exp (* x (* 3.0 y))) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (* (cbrt (* x (* 3.0 y))) (cbrt (* x (* 3.0 y)))) (cbrt (* x (* 3.0 y))) (pow (* 3.0 (* x y)) 3) (sqrt (* x (* 3.0 y))) (sqrt (* x (* 3.0 y))) (* x 3.0) (* (cbrt x) (* 3.0 y)) (* (sqrt x) (* 3.0 y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 11.453 * * * [progress]: adding candidates to table 11.502 * * [progress]: iteration 3 / 4 11.502 * * * [progress]: picking best candidate 11.508 * * * * [pick]: Picked # 11.508 * * * [progress]: localizing error 11.513 * * * [progress]: generating rewritten candidates 11.514 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 11.520 * * * [progress]: generating series expansions 11.520 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 11.521 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 11.521 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 11.521 * [taylor]: Taking taylor expansion of 3.0 in y 11.521 * [taylor]: Taking taylor expansion of (* x y) in y 11.521 * [taylor]: Taking taylor expansion of x in y 11.521 * [taylor]: Taking taylor expansion of y in y 11.521 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 11.521 * [taylor]: Taking taylor expansion of 3.0 in x 11.521 * [taylor]: Taking taylor expansion of (* x y) in x 11.521 * [taylor]: Taking taylor expansion of x in x 11.521 * [taylor]: Taking taylor expansion of y in x 11.521 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 11.521 * [taylor]: Taking taylor expansion of 3.0 in x 11.521 * [taylor]: Taking taylor expansion of (* x y) in x 11.521 * [taylor]: Taking taylor expansion of x in x 11.521 * [taylor]: Taking taylor expansion of y in x 11.522 * [taylor]: Taking taylor expansion of 0 in y 11.523 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 11.523 * [taylor]: Taking taylor expansion of 3.0 in y 11.523 * [taylor]: Taking taylor expansion of y in y 11.524 * [taylor]: Taking taylor expansion of 0 in y 11.527 * [taylor]: Taking taylor expansion of 0 in y 11.534 * [taylor]: Taking taylor expansion of 0 in y 11.534 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 11.534 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 11.534 * [taylor]: Taking taylor expansion of 3.0 in y 11.534 * [taylor]: Taking taylor expansion of (* x y) in y 11.534 * [taylor]: Taking taylor expansion of x in y 11.534 * [taylor]: Taking taylor expansion of y in y 11.534 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 11.535 * [taylor]: Taking taylor expansion of 3.0 in x 11.535 * [taylor]: Taking taylor expansion of (* x y) in x 11.535 * [taylor]: Taking taylor expansion of x in x 11.535 * [taylor]: Taking taylor expansion of y in x 11.535 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 11.535 * [taylor]: Taking taylor expansion of 3.0 in x 11.535 * [taylor]: Taking taylor expansion of (* x y) in x 11.535 * [taylor]: Taking taylor expansion of x in x 11.535 * [taylor]: Taking taylor expansion of y in x 11.535 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 11.535 * [taylor]: Taking taylor expansion of 3.0 in y 11.536 * [taylor]: Taking taylor expansion of y in y 11.537 * [taylor]: Taking taylor expansion of 0 in y 11.538 * [taylor]: Taking taylor expansion of 0 in y 11.540 * [taylor]: Taking taylor expansion of 0 in y 11.541 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 11.541 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 11.541 * [taylor]: Taking taylor expansion of 3.0 in y 11.541 * [taylor]: Taking taylor expansion of (* x y) in y 11.541 * [taylor]: Taking taylor expansion of x in y 11.541 * [taylor]: Taking taylor expansion of y in y 11.541 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 11.541 * [taylor]: Taking taylor expansion of 3.0 in x 11.541 * [taylor]: Taking taylor expansion of (* x y) in x 11.541 * [taylor]: Taking taylor expansion of x in x 11.541 * [taylor]: Taking taylor expansion of y in x 11.542 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 11.542 * [taylor]: Taking taylor expansion of 3.0 in x 11.542 * [taylor]: Taking taylor expansion of (* x y) in x 11.542 * [taylor]: Taking taylor expansion of x in x 11.542 * [taylor]: Taking taylor expansion of y in x 11.542 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 11.542 * [taylor]: Taking taylor expansion of 3.0 in y 11.542 * [taylor]: Taking taylor expansion of y in y 11.543 * [taylor]: Taking taylor expansion of 0 in y 11.544 * [taylor]: Taking taylor expansion of 0 in y 11.546 * [taylor]: Taking taylor expansion of 0 in y 11.547 * * * [progress]: simplifying candidates 11.548 * [simplify]: Simplifying using # : (expm1 (* 3.0 (* x y))) (log1p (* 3.0 (* x y))) (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (log 3.0) (+ (log x) (log y))) (+ (log 3.0) (log (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 11.549 * * [simplify]: iteration 0 : 37 enodes (cost 166 ) 11.554 * * [simplify]: iteration 1 : 88 enodes (cost 163 ) 11.573 * * [simplify]: iteration 2 : 286 enodes (cost 133 ) 11.736 * * [simplify]: iteration 3 : 901 enodes (cost 133 ) 12.739 * * [simplify]: iteration 4 : 1724 enodes (cost 133 ) 15.318 * * [simplify]: iteration 5 : 3509 enodes (cost 133 ) 16.895 * * [simplify]: iteration done : 5000 enodes (cost 133 ) 16.896 * [simplify]: Simplified to: (expm1 (* 3.0 (* x y))) (log1p (* 3.0 (* x y))) (* 3.0 (* x y)) (* 3.0 (* x y)) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 16.896 * * * [progress]: adding candidates to table 16.938 * * [progress]: iteration 4 / 4 16.938 * * * [progress]: picking best candidate 16.944 * * * * [pick]: Picked # 16.944 * * * [progress]: localizing error 16.953 * * * [progress]: generating rewritten candidates 16.953 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 16.961 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 16.990 * * * [progress]: generating series expansions 16.990 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 16.990 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in (x y) around 0 16.991 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in y 16.991 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 16.991 * [taylor]: Taking taylor expansion of 3.0 in y 16.991 * [taylor]: Taking taylor expansion of (* x y) in y 16.992 * [taylor]: Taking taylor expansion of x in y 16.992 * [taylor]: Taking taylor expansion of y in y 16.992 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in x 16.992 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 16.992 * [taylor]: Taking taylor expansion of 3.0 in x 16.992 * [taylor]: Taking taylor expansion of (* x y) in x 16.992 * [taylor]: Taking taylor expansion of x in x 16.992 * [taylor]: Taking taylor expansion of y in x 16.993 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (* x y)) in x 16.993 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 16.993 * [taylor]: Taking taylor expansion of 3.0 in x 16.993 * [taylor]: Taking taylor expansion of (* x y) in x 16.993 * [taylor]: Taking taylor expansion of x in x 16.993 * [taylor]: Taking taylor expansion of y in x 16.994 * [taylor]: Taking taylor expansion of 0 in y 16.995 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) y) in y 16.995 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 16.995 * [taylor]: Taking taylor expansion of 3.0 in y 16.996 * [taylor]: Taking taylor expansion of y in y 17.002 * [taylor]: Taking taylor expansion of 0 in y 17.007 * [taylor]: Taking taylor expansion of 0 in y 17.012 * [taylor]: Taking taylor expansion of 0 in y 17.013 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 17.013 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 17.013 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 17.013 * [taylor]: Taking taylor expansion of 3.0 in y 17.013 * [taylor]: Taking taylor expansion of (* x y) in y 17.013 * [taylor]: Taking taylor expansion of x in y 17.013 * [taylor]: Taking taylor expansion of y in y 17.014 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 17.014 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.014 * [taylor]: Taking taylor expansion of 3.0 in x 17.015 * [taylor]: Taking taylor expansion of (* x y) in x 17.015 * [taylor]: Taking taylor expansion of x in x 17.015 * [taylor]: Taking taylor expansion of y in x 17.015 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 17.015 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.015 * [taylor]: Taking taylor expansion of 3.0 in x 17.016 * [taylor]: Taking taylor expansion of (* x y) in x 17.016 * [taylor]: Taking taylor expansion of x in x 17.016 * [taylor]: Taking taylor expansion of y in x 17.017 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 17.017 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 17.017 * [taylor]: Taking taylor expansion of 3.0 in y 17.018 * [taylor]: Taking taylor expansion of y in y 17.020 * [taylor]: Taking taylor expansion of 0 in y 17.022 * [taylor]: Taking taylor expansion of 0 in y 17.026 * [taylor]: Taking taylor expansion of 0 in y 17.028 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in (x y) around 0 17.028 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in y 17.028 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 17.028 * [taylor]: Taking taylor expansion of 3.0 in y 17.029 * [taylor]: Taking taylor expansion of (* x y) in y 17.029 * [taylor]: Taking taylor expansion of x in y 17.029 * [taylor]: Taking taylor expansion of y in y 17.030 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 17.030 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.030 * [taylor]: Taking taylor expansion of 3.0 in x 17.030 * [taylor]: Taking taylor expansion of (* x y) in x 17.031 * [taylor]: Taking taylor expansion of x in x 17.031 * [taylor]: Taking taylor expansion of y in x 17.031 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (* x y)) in x 17.031 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.031 * [taylor]: Taking taylor expansion of 3.0 in x 17.032 * [taylor]: Taking taylor expansion of (* x y) in x 17.032 * [taylor]: Taking taylor expansion of x in x 17.032 * [taylor]: Taking taylor expansion of y in x 17.033 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) y) in y 17.033 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 17.033 * [taylor]: Taking taylor expansion of 3.0 in y 17.033 * [taylor]: Taking taylor expansion of y in y 17.035 * [taylor]: Taking taylor expansion of 0 in y 17.038 * [taylor]: Taking taylor expansion of 0 in y 17.041 * [taylor]: Taking taylor expansion of 0 in y 17.043 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 17.045 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 17.045 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in y 17.045 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 17.045 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 17.045 * [taylor]: Taking taylor expansion of 3.0 in y 17.046 * [taylor]: Taking taylor expansion of (* x y) in y 17.046 * [taylor]: Taking taylor expansion of x in y 17.046 * [taylor]: Taking taylor expansion of y in y 17.046 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in x 17.046 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 17.046 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.046 * [taylor]: Taking taylor expansion of 3.0 in x 17.046 * [taylor]: Taking taylor expansion of (* x y) in x 17.047 * [taylor]: Taking taylor expansion of x in x 17.047 * [taylor]: Taking taylor expansion of y in x 17.047 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* x y)) in x 17.047 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 17.047 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.047 * [taylor]: Taking taylor expansion of 3.0 in x 17.047 * [taylor]: Taking taylor expansion of (* x y) in x 17.047 * [taylor]: Taking taylor expansion of x in x 17.047 * [taylor]: Taking taylor expansion of y in x 17.050 * [taylor]: Taking taylor expansion of 0 in y 17.053 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 17.053 * [taylor]: Taking taylor expansion of 3.0 in y 17.053 * [taylor]: Taking taylor expansion of y in y 17.057 * [taylor]: Taking taylor expansion of 0 in y 17.062 * [taylor]: Taking taylor expansion of 0 in y 17.067 * [taylor]: Taking taylor expansion of 0 in y 17.069 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 17.069 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 17.069 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 17.069 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 17.069 * [taylor]: Taking taylor expansion of 3.0 in y 17.070 * [taylor]: Taking taylor expansion of (* x y) in y 17.070 * [taylor]: Taking taylor expansion of x in y 17.070 * [taylor]: Taking taylor expansion of y in y 17.073 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 17.073 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 17.073 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.073 * [taylor]: Taking taylor expansion of 3.0 in x 17.074 * [taylor]: Taking taylor expansion of (* x y) in x 17.074 * [taylor]: Taking taylor expansion of x in x 17.074 * [taylor]: Taking taylor expansion of y in x 17.077 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 17.077 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 17.077 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.077 * [taylor]: Taking taylor expansion of 3.0 in x 17.078 * [taylor]: Taking taylor expansion of (* x y) in x 17.078 * [taylor]: Taking taylor expansion of x in x 17.078 * [taylor]: Taking taylor expansion of y in x 17.081 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 17.081 * [taylor]: Taking taylor expansion of 3.0 in y 17.081 * [taylor]: Taking taylor expansion of y in y 17.083 * [taylor]: Taking taylor expansion of 0 in y 17.087 * [taylor]: Taking taylor expansion of 0 in y 17.095 * [taylor]: Taking taylor expansion of 0 in y 17.097 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in (x y) around 0 17.097 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in y 17.097 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y 17.097 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 17.097 * [taylor]: Taking taylor expansion of 3.0 in y 17.098 * [taylor]: Taking taylor expansion of (* x y) in y 17.098 * [taylor]: Taking taylor expansion of x in y 17.098 * [taylor]: Taking taylor expansion of y in y 17.102 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 17.102 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 17.102 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.102 * [taylor]: Taking taylor expansion of 3.0 in x 17.103 * [taylor]: Taking taylor expansion of (* x y) in x 17.103 * [taylor]: Taking taylor expansion of x in x 17.103 * [taylor]: Taking taylor expansion of y in x 17.106 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (* x y)) in x 17.106 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 17.106 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 17.106 * [taylor]: Taking taylor expansion of 3.0 in x 17.107 * [taylor]: Taking taylor expansion of (* x y) in x 17.107 * [taylor]: Taking taylor expansion of x in x 17.107 * [taylor]: Taking taylor expansion of y in x 17.111 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 17.111 * [taylor]: Taking taylor expansion of 3.0 in y 17.111 * [taylor]: Taking taylor expansion of y in y 17.113 * [taylor]: Taking taylor expansion of 0 in y 17.116 * [taylor]: Taking taylor expansion of 0 in y 17.120 * [taylor]: Taking taylor expansion of 0 in y 17.121 * * * [progress]: simplifying candidates 17.122 * [simplify]: Simplifying using # : (expm1 (* (cbrt 3.0) (* x y))) (log1p (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (+ (log (cbrt 3.0)) (+ (log x) (log y))) (+ (log (cbrt 3.0)) (log (* x y))) (log (* (cbrt 3.0) (* x y))) (exp (* (cbrt 3.0) (* x y))) (* 3.0 (* (* (* x x) x) (* (* y y) y))) (* 3.0 (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (cbrt 3.0) (* x y))) (cbrt (* (cbrt 3.0) (* x y)))) (cbrt (* (cbrt 3.0) (* x y))) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) (* x y)) (* (cbrt (sqrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* x y)) (* (sqrt (cbrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (expm1 (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (log1p (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x y)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (* x y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x y)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (* x y)))) (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* x x) x) (* (* y y) y)))) (* (* 3.0 3.0) (* 3.0 (* (* (* x y) (* x y)) (* x y)))) (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x x) x) (* (* y y) y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x y) (* x y)) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)))) (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y)))) (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 17.125 * * [simplify]: iteration 0 : 70 enodes (cost 712 ) 17.136 * * [simplify]: iteration 1 : 191 enodes (cost 694 ) 17.184 * * [simplify]: iteration 2 : 686 enodes (cost 470 ) 18.225 * * [simplify]: iteration 3 : 3418 enodes (cost 368 ) 19.532 * * [simplify]: iteration done : 5000 enodes (cost 368 ) 19.532 * [simplify]: Simplified to: (expm1 (* (cbrt 3.0) (* x y))) (log1p (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (log (* (cbrt 3.0) (* x y))) (log (* (cbrt 3.0) (* x y))) (log (* (cbrt 3.0) (* x y))) (exp (* (cbrt 3.0) (* x y))) (* (pow (* x y) 3) 3.0) (* (pow (* x y) 3) 3.0) (* (cbrt (* (cbrt 3.0) (* x y))) (cbrt (* (cbrt 3.0) (* x y)))) (cbrt (* (cbrt 3.0) (* x y))) (* (pow (* x y) 3) 3.0) (sqrt (* (cbrt 3.0) (* x y))) (sqrt (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) x) (* (cbrt (cbrt 3.0)) (* x y)) (* (cbrt (sqrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt (cbrt 3.0)) (* x y)) (* (sqrt (cbrt 3.0)) (* x y)) (* (cbrt 3.0) (* x y)) (expm1 (* 3.0 (* x y))) (log1p (* 3.0 (* x y))) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (log (* 3.0 (* x y))) (pow (exp (* x y)) 3.0) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (pow (* 3.0 (* x y)) 3) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) 3.0 (* (cbrt 3.0) (* (cbrt 3.0) (* x y))) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* (cbrt 3.0) (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) 19.533 * * * [progress]: adding candidates to table 19.634 * [progress]: [Phase 3 of 3] Extracting. 19.635 * * [regime]: Finding splitpoints for: (# # # # # #) 19.635 * * * [regime-changes]: Trying 6 branch expressions: ((* x 3.0) (* (* x 3.0) y) (- (* (* x 3.0) y) z) z y x) 19.635 * * * * [regimes]: Trying to branch on (* x 3.0) from (# # # # # #) 19.662 * * * * [regimes]: Trying to branch on (* (* x 3.0) y) from (# # # # # #) 19.686 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) y) z) from (# # # # # #) 19.712 * * * * [regimes]: Trying to branch on z from (# # # # # #) 19.735 * * * * [regimes]: Trying to branch on y from (# # # # # #) 19.761 * * * * [regimes]: Trying to branch on x from (# # # # # #) 19.787 * * * [regime]: Found split indices: #