414.229 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (* (* x 27.0) y) 0.019 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.019 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.021 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.023 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.023 * [simplify]: Simplified to: (* (* x 27.0) y) 0.023 * * [progress]: iteration 1 / 4 0.023 * * * [progress]: picking best candidate 0.025 * * * * [pick]: Picked # 0.025 * * * [progress]: localizing error 0.029 * * * [progress]: generating rewritten candidates 0.029 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.035 * * * [progress]: generating series expansions 0.035 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.035 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.035 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.035 * [taylor]: Taking taylor expansion of 27.0 in y 0.035 * [taylor]: Taking taylor expansion of (* x y) in y 0.035 * [taylor]: Taking taylor expansion of x in y 0.035 * [taylor]: Taking taylor expansion of y in y 0.035 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.035 * [taylor]: Taking taylor expansion of 27.0 in x 0.035 * [taylor]: Taking taylor expansion of (* x y) in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.035 * [taylor]: Taking taylor expansion of y in x 0.035 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.035 * [taylor]: Taking taylor expansion of 27.0 in x 0.035 * [taylor]: Taking taylor expansion of (* x y) in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.035 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.036 * [taylor]: Taking taylor expansion of 27.0 in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.036 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.036 * [taylor]: Taking taylor expansion of 27.0 in y 0.036 * [taylor]: Taking taylor expansion of (* x y) in y 0.036 * [taylor]: Taking taylor expansion of x in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.037 * [taylor]: Taking taylor expansion of 27.0 in x 0.037 * [taylor]: Taking taylor expansion of (* x y) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of y in x 0.037 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.037 * [taylor]: Taking taylor expansion of 27.0 in x 0.037 * [taylor]: Taking taylor expansion of (* x y) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of y in x 0.037 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.037 * [taylor]: Taking taylor expansion of 27.0 in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.038 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.038 * [taylor]: Taking taylor expansion of 27.0 in y 0.038 * [taylor]: Taking taylor expansion of (* x y) in y 0.038 * [taylor]: Taking taylor expansion of x in y 0.038 * [taylor]: Taking taylor expansion of y in y 0.038 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.038 * [taylor]: Taking taylor expansion of 27.0 in x 0.038 * [taylor]: Taking taylor expansion of (* x y) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of y in x 0.038 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.038 * [taylor]: Taking taylor expansion of 27.0 in x 0.038 * [taylor]: Taking taylor expansion of (* x y) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of y in x 0.038 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.038 * [taylor]: Taking taylor expansion of 27.0 in y 0.038 * [taylor]: Taking taylor expansion of y in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.039 * * * [progress]: simplifying candidates 0.039 * [simplify]: Simplifying using # : (* (* x 27.0) y) (* (* x 27.0) y) (+ (+ (log x) (log 27.0)) (log y)) (+ (log (* x 27.0)) (log y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y)) (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y)) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* (* x 27.0) 1) (* 27.0 y) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 0.040 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.041 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.042 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.044 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.044 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.045 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.046 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.048 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.049 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.050 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.051 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 0.053 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 0.055 * * [simplify]: iteration done : 20 enodes (cost 8 ) 0.056 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.057 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.058 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.060 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 0.062 * * [simplify]: iteration done : 21 enodes (cost 7 ) 0.063 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.064 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 0.065 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 0.069 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 0.074 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 0.082 * * [simplify]: iteration done : 40 enodes (cost 6 ) 0.083 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.084 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.085 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 0.089 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 0.097 * * [simplify]: iteration 4 : 107 enodes (cost 6 ) 0.115 * * [simplify]: iteration 5 : 248 enodes (cost 6 ) 0.230 * * [simplify]: iteration 6 : 586 enodes (cost 6 ) 0.678 * * [simplify]: iteration 7 : 1550 enodes (cost 6 ) 2.017 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.017 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 2.019 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 2.024 * * [simplify]: iteration 2 : 89 enodes (cost 11 ) 2.063 * * [simplify]: iteration 3 : 327 enodes (cost 11 ) 2.352 * * [simplify]: iteration 4 : 1072 enodes (cost 9 ) 4.234 * * [simplify]: iteration 5 : 2986 enodes (cost 9 ) 6.083 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 6.084 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 6.086 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 6.091 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 6.138 * * [simplify]: iteration 3 : 379 enodes (cost 9 ) 6.544 * * [simplify]: iteration 4 : 1161 enodes (cost 7 ) 8.440 * * [simplify]: iteration 5 : 2175 enodes (cost 7 ) 13.672 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 13.673 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 13.674 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 13.675 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 13.678 * * [simplify]: iteration done : 17 enodes (cost 13 ) 13.678 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 13.679 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 13.680 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 13.682 * * [simplify]: iteration done : 16 enodes (cost 6 ) 13.683 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 13.684 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 13.689 * * [simplify]: iteration 2 : 91 enodes (cost 7 ) 13.740 * * [simplify]: iteration 3 : 423 enodes (cost 7 ) 14.277 * * [simplify]: iteration 4 : 1138 enodes (cost 7 ) 16.016 * * [simplify]: iteration 5 : 1610 enodes (cost 7 ) 19.048 * * [simplify]: iteration 6 : 3198 enodes (cost 7 ) 20.640 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 20.641 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.642 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 20.643 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 20.645 * * [simplify]: iteration done : 16 enodes (cost 6 ) 20.645 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.646 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 20.647 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 20.649 * * [simplify]: iteration done : 16 enodes (cost 6 ) 20.650 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 20.651 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 20.653 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 20.657 * * [simplify]: iteration 3 : 36 enodes (cost 9 ) 20.664 * * [simplify]: iteration done : 36 enodes (cost 9 ) 20.664 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.665 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 20.667 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 20.669 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 20.671 * * [simplify]: iteration done : 18 enodes (cost 6 ) 20.671 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.672 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 20.674 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 20.676 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 20.677 * * [simplify]: iteration done : 27 enodes (cost 3 ) 20.678 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 20.678 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 20.678 * * [simplify]: iteration done : 4 enodes (cost 3 ) 20.679 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.680 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 20.681 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 20.683 * * [simplify]: iteration done : 15 enodes (cost 5 ) 20.683 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.684 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 20.685 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 20.687 * * [simplify]: iteration done : 15 enodes (cost 5 ) 20.688 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.688 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 20.690 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 20.694 * * [simplify]: iteration done : 15 enodes (cost 5 ) 20.695 * [simplify]: Simplified to: (* (* x 27.0) y) (* (* x 27.0) y) (+ (+ (log x) (log 27.0)) (log y)) (+ (log (* x 27.0)) (log y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (* (pow y 3) (pow (* x 27.0) 3)) (pow (* (* x 27.0) y) 3) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (pow (* (* x 27.0) y) 3) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* x 27.0) (* 27.0 y) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 20.695 * * * [progress]: adding candidates to table 20.722 * * [progress]: iteration 2 / 4 20.722 * * * [progress]: picking best candidate 20.733 * * * * [pick]: Picked # 20.733 * * * [progress]: localizing error 20.736 * * * [progress]: generating rewritten candidates 20.736 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 20.742 * * * [progress]: generating series expansions 20.742 * * * * [progress]: [ 1 / 1 ] generating series at (2) 20.743 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 20.743 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 20.743 * [taylor]: Taking taylor expansion of 27.0 in y 20.743 * [taylor]: Taking taylor expansion of (* x y) in y 20.743 * [taylor]: Taking taylor expansion of x in y 20.743 * [taylor]: Taking taylor expansion of y in y 20.743 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 20.743 * [taylor]: Taking taylor expansion of 27.0 in x 20.743 * [taylor]: Taking taylor expansion of (* x y) in x 20.743 * [taylor]: Taking taylor expansion of x in x 20.743 * [taylor]: Taking taylor expansion of y in x 20.743 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 20.743 * [taylor]: Taking taylor expansion of 27.0 in x 20.743 * [taylor]: Taking taylor expansion of (* x y) in x 20.743 * [taylor]: Taking taylor expansion of x in x 20.743 * [taylor]: Taking taylor expansion of y in x 20.743 * [taylor]: Taking taylor expansion of 0 in y 20.743 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 20.743 * [taylor]: Taking taylor expansion of 27.0 in y 20.743 * [taylor]: Taking taylor expansion of y in y 20.743 * [taylor]: Taking taylor expansion of 0 in y 20.743 * [taylor]: Taking taylor expansion of 0 in y 20.744 * [taylor]: Taking taylor expansion of 0 in y 20.744 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 20.744 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 20.744 * [taylor]: Taking taylor expansion of 27.0 in y 20.744 * [taylor]: Taking taylor expansion of (* x y) in y 20.744 * [taylor]: Taking taylor expansion of x in y 20.744 * [taylor]: Taking taylor expansion of y in y 20.744 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 20.744 * [taylor]: Taking taylor expansion of 27.0 in x 20.744 * [taylor]: Taking taylor expansion of (* x y) in x 20.744 * [taylor]: Taking taylor expansion of x in x 20.744 * [taylor]: Taking taylor expansion of y in x 20.744 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 20.744 * [taylor]: Taking taylor expansion of 27.0 in x 20.744 * [taylor]: Taking taylor expansion of (* x y) in x 20.744 * [taylor]: Taking taylor expansion of x in x 20.744 * [taylor]: Taking taylor expansion of y in x 20.744 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 20.744 * [taylor]: Taking taylor expansion of 27.0 in y 20.744 * [taylor]: Taking taylor expansion of y in y 20.744 * [taylor]: Taking taylor expansion of 0 in y 20.745 * [taylor]: Taking taylor expansion of 0 in y 20.745 * [taylor]: Taking taylor expansion of 0 in y 20.745 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 20.745 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 20.745 * [taylor]: Taking taylor expansion of 27.0 in y 20.745 * [taylor]: Taking taylor expansion of (* x y) in y 20.745 * [taylor]: Taking taylor expansion of x in y 20.745 * [taylor]: Taking taylor expansion of y in y 20.745 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 20.745 * [taylor]: Taking taylor expansion of 27.0 in x 20.745 * [taylor]: Taking taylor expansion of (* x y) in x 20.745 * [taylor]: Taking taylor expansion of x in x 20.745 * [taylor]: Taking taylor expansion of y in x 20.745 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 20.745 * [taylor]: Taking taylor expansion of 27.0 in x 20.745 * [taylor]: Taking taylor expansion of (* x y) in x 20.746 * [taylor]: Taking taylor expansion of x in x 20.746 * [taylor]: Taking taylor expansion of y in x 20.746 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 20.746 * [taylor]: Taking taylor expansion of 27.0 in y 20.746 * [taylor]: Taking taylor expansion of y in y 20.746 * [taylor]: Taking taylor expansion of 0 in y 20.746 * [taylor]: Taking taylor expansion of 0 in y 20.746 * [taylor]: Taking taylor expansion of 0 in y 20.746 * * * [progress]: simplifying candidates 20.747 * [simplify]: Simplifying using # : (* 27.0 (* x y)) (* 27.0 (* x y)) (+ (log 27.0) (+ (log x) (log y))) (+ (log 27.0) (log (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 27.0 27.0) 27.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (* (* (* 27.0 (* x y)) (* 27.0 (* x y))) (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 20.747 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.748 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 20.749 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 20.751 * * [simplify]: iteration done : 15 enodes (cost 5 ) 20.752 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.752 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 20.754 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 20.756 * * [simplify]: iteration done : 15 enodes (cost 5 ) 20.756 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.757 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 20.759 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 20.761 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 20.763 * * [simplify]: iteration done : 20 enodes (cost 8 ) 20.764 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.764 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 20.769 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 20.771 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 20.773 * * [simplify]: iteration done : 21 enodes (cost 7 ) 20.774 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.775 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 20.776 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 20.780 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 20.785 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 20.789 * * [simplify]: iteration done : 40 enodes (cost 6 ) 20.790 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.790 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 20.792 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 20.796 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 20.803 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 20.822 * * [simplify]: iteration 5 : 245 enodes (cost 6 ) 20.938 * * [simplify]: iteration 6 : 602 enodes (cost 6 ) 21.593 * * [simplify]: iteration 7 : 1789 enodes (cost 6 ) 23.868 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 23.869 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 23.871 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 23.876 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 23.909 * * [simplify]: iteration 3 : 328 enodes (cost 11 ) 24.178 * * [simplify]: iteration 4 : 1011 enodes (cost 9 ) 26.176 * * [simplify]: iteration 5 : 3067 enodes (cost 9 ) 28.189 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 28.189 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 28.191 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 28.197 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 28.243 * * [simplify]: iteration 3 : 375 enodes (cost 9 ) 28.640 * * [simplify]: iteration 4 : 1093 enodes (cost 7 ) 30.450 * * [simplify]: iteration 5 : 2048 enodes (cost 7 ) 36.013 * * [simplify]: iteration 6 : 4895 enodes (cost 7 ) 37.354 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 37.355 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 37.356 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 37.357 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 37.359 * * [simplify]: iteration done : 17 enodes (cost 13 ) 37.360 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 37.361 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 37.362 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 37.364 * * [simplify]: iteration done : 16 enodes (cost 6 ) 37.365 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 37.366 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 37.371 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 37.422 * * [simplify]: iteration 3 : 407 enodes (cost 7 ) 37.979 * * [simplify]: iteration 4 : 1210 enodes (cost 7 ) 39.768 * * [simplify]: iteration 5 : 1693 enodes (cost 7 ) 42.735 * * [simplify]: iteration 6 : 3142 enodes (cost 7 ) 44.745 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 44.746 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 44.747 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 44.748 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 44.750 * * [simplify]: iteration done : 16 enodes (cost 6 ) 44.751 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 44.751 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 44.753 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 44.755 * * [simplify]: iteration done : 16 enodes (cost 6 ) 44.755 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 44.756 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 44.756 * * [simplify]: iteration done : 4 enodes (cost 3 ) 44.757 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 44.757 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 44.759 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 44.766 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 44.768 * * [simplify]: iteration done : 18 enodes (cost 6 ) 44.769 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 44.770 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 44.771 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 44.773 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 44.775 * * [simplify]: iteration done : 18 enodes (cost 6 ) 44.776 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.776 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 44.778 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 44.780 * * [simplify]: iteration done : 15 enodes (cost 5 ) 44.780 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.781 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 44.782 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 44.784 * * [simplify]: iteration done : 15 enodes (cost 5 ) 44.784 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.785 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 44.786 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 44.788 * * [simplify]: iteration done : 15 enodes (cost 5 ) 44.789 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 44.790 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 44.791 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 44.793 * * [simplify]: iteration done : 15 enodes (cost 5 ) 44.793 * [simplify]: Simplified to: (* 27.0 (* x y)) (* 27.0 (* x y)) (+ (log 27.0) (+ (log x) (log y))) (+ (log 27.0) (log (* x y))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (* (pow 27.0 3) (pow (* x y) 3)) (pow (* 27.0 (* x y)) 3) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (pow (* 27.0 (* x y)) 3) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) (* 27.0 x) (* (cbrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 44.793 * * * [progress]: adding candidates to table 44.816 * * [progress]: iteration 3 / 4 44.816 * * * [progress]: picking best candidate 44.824 * * * * [pick]: Picked # 44.824 * * * [progress]: localizing error 44.830 * * * [progress]: generating rewritten candidates 44.830 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 44.844 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 44.853 * * * [progress]: generating series expansions 44.853 * * * * [progress]: [ 1 / 2 ] generating series at (2) 44.853 * [approximate]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in (x y) around 0 44.853 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in y 44.853 * [taylor]: Taking taylor expansion of x in y 44.853 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 44.853 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.853 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.853 * [taylor]: Taking taylor expansion of 27.0 in y 44.853 * [taylor]: Taking taylor expansion of y in y 44.854 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in x 44.854 * [taylor]: Taking taylor expansion of x in x 44.854 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in x 44.854 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.854 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.854 * [taylor]: Taking taylor expansion of 27.0 in x 44.854 * [taylor]: Taking taylor expansion of y in x 44.854 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 27.0) 2) y)) in x 44.854 * [taylor]: Taking taylor expansion of x in x 44.854 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in x 44.854 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.854 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.854 * [taylor]: Taking taylor expansion of 27.0 in x 44.854 * [taylor]: Taking taylor expansion of y in x 44.854 * [taylor]: Taking taylor expansion of 0 in y 44.854 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) y) in y 44.854 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.854 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.854 * [taylor]: Taking taylor expansion of 27.0 in y 44.854 * [taylor]: Taking taylor expansion of y in y 44.855 * [taylor]: Taking taylor expansion of 0 in y 44.855 * [taylor]: Taking taylor expansion of 0 in y 44.856 * [taylor]: Taking taylor expansion of 0 in y 44.856 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 44.856 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 44.856 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.856 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.856 * [taylor]: Taking taylor expansion of 27.0 in y 44.856 * [taylor]: Taking taylor expansion of (* x y) in y 44.856 * [taylor]: Taking taylor expansion of x in y 44.856 * [taylor]: Taking taylor expansion of y in y 44.857 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.857 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.857 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.857 * [taylor]: Taking taylor expansion of 27.0 in x 44.857 * [taylor]: Taking taylor expansion of (* x y) in x 44.857 * [taylor]: Taking taylor expansion of x in x 44.857 * [taylor]: Taking taylor expansion of y in x 44.857 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.857 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.857 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.857 * [taylor]: Taking taylor expansion of 27.0 in x 44.857 * [taylor]: Taking taylor expansion of (* x y) in x 44.857 * [taylor]: Taking taylor expansion of x in x 44.857 * [taylor]: Taking taylor expansion of y in x 44.857 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 44.857 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.857 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.857 * [taylor]: Taking taylor expansion of 27.0 in y 44.857 * [taylor]: Taking taylor expansion of y in y 44.858 * [taylor]: Taking taylor expansion of 0 in y 44.858 * [taylor]: Taking taylor expansion of 0 in y 44.859 * [taylor]: Taking taylor expansion of 0 in y 44.859 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in (x y) around 0 44.859 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in y 44.859 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.859 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.859 * [taylor]: Taking taylor expansion of 27.0 in y 44.860 * [taylor]: Taking taylor expansion of (* x y) in y 44.860 * [taylor]: Taking taylor expansion of x in y 44.860 * [taylor]: Taking taylor expansion of y in y 44.860 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.860 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.860 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.860 * [taylor]: Taking taylor expansion of 27.0 in x 44.860 * [taylor]: Taking taylor expansion of (* x y) in x 44.860 * [taylor]: Taking taylor expansion of x in x 44.860 * [taylor]: Taking taylor expansion of y in x 44.860 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* x y)) in x 44.860 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in x 44.860 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.860 * [taylor]: Taking taylor expansion of 27.0 in x 44.860 * [taylor]: Taking taylor expansion of (* x y) in x 44.860 * [taylor]: Taking taylor expansion of x in x 44.860 * [taylor]: Taking taylor expansion of y in x 44.860 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) y) in y 44.860 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in y 44.860 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.860 * [taylor]: Taking taylor expansion of 27.0 in y 44.860 * [taylor]: Taking taylor expansion of y in y 44.861 * [taylor]: Taking taylor expansion of 0 in y 44.861 * [taylor]: Taking taylor expansion of 0 in y 44.862 * [taylor]: Taking taylor expansion of 0 in y 44.862 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 44.862 * [approximate]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in (x y) around 0 44.862 * [taylor]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in y 44.862 * [taylor]: Taking taylor expansion of x in y 44.862 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 44.863 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.863 * [taylor]: Taking taylor expansion of 27.0 in y 44.863 * [taylor]: Taking taylor expansion of y in y 44.863 * [taylor]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in x 44.863 * [taylor]: Taking taylor expansion of x in x 44.863 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in x 44.863 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.863 * [taylor]: Taking taylor expansion of 27.0 in x 44.863 * [taylor]: Taking taylor expansion of y in x 44.863 * [taylor]: Taking taylor expansion of (* x (* (sqrt 27.0) y)) in x 44.863 * [taylor]: Taking taylor expansion of x in x 44.863 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in x 44.863 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.863 * [taylor]: Taking taylor expansion of 27.0 in x 44.863 * [taylor]: Taking taylor expansion of y in x 44.863 * [taylor]: Taking taylor expansion of 0 in y 44.864 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) y) in y 44.864 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.864 * [taylor]: Taking taylor expansion of 27.0 in y 44.864 * [taylor]: Taking taylor expansion of y in y 44.864 * [taylor]: Taking taylor expansion of 0 in y 44.864 * [taylor]: Taking taylor expansion of 0 in y 44.865 * [taylor]: Taking taylor expansion of 0 in y 44.865 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 44.865 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 44.865 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.865 * [taylor]: Taking taylor expansion of 27.0 in y 44.865 * [taylor]: Taking taylor expansion of (* x y) in y 44.865 * [taylor]: Taking taylor expansion of x in y 44.865 * [taylor]: Taking taylor expansion of y in y 44.865 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.865 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.865 * [taylor]: Taking taylor expansion of 27.0 in x 44.865 * [taylor]: Taking taylor expansion of (* x y) in x 44.865 * [taylor]: Taking taylor expansion of x in x 44.865 * [taylor]: Taking taylor expansion of y in x 44.865 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.865 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.865 * [taylor]: Taking taylor expansion of 27.0 in x 44.865 * [taylor]: Taking taylor expansion of (* x y) in x 44.865 * [taylor]: Taking taylor expansion of x in x 44.865 * [taylor]: Taking taylor expansion of y in x 44.866 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 44.866 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.866 * [taylor]: Taking taylor expansion of 27.0 in y 44.866 * [taylor]: Taking taylor expansion of y in y 44.866 * [taylor]: Taking taylor expansion of 0 in y 44.866 * [taylor]: Taking taylor expansion of 0 in y 44.867 * [taylor]: Taking taylor expansion of 0 in y 44.867 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in (x y) around 0 44.867 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in y 44.867 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.867 * [taylor]: Taking taylor expansion of 27.0 in y 44.867 * [taylor]: Taking taylor expansion of (* x y) in y 44.867 * [taylor]: Taking taylor expansion of x in y 44.868 * [taylor]: Taking taylor expansion of y in y 44.868 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.868 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.868 * [taylor]: Taking taylor expansion of 27.0 in x 44.868 * [taylor]: Taking taylor expansion of (* x y) in x 44.868 * [taylor]: Taking taylor expansion of x in x 44.868 * [taylor]: Taking taylor expansion of y in x 44.868 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* x y)) in x 44.868 * [taylor]: Taking taylor expansion of (sqrt 27.0) in x 44.868 * [taylor]: Taking taylor expansion of 27.0 in x 44.868 * [taylor]: Taking taylor expansion of (* x y) in x 44.868 * [taylor]: Taking taylor expansion of x in x 44.868 * [taylor]: Taking taylor expansion of y in x 44.868 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) y) in y 44.868 * [taylor]: Taking taylor expansion of (sqrt 27.0) in y 44.868 * [taylor]: Taking taylor expansion of 27.0 in y 44.868 * [taylor]: Taking taylor expansion of y in y 44.868 * [taylor]: Taking taylor expansion of 0 in y 44.869 * [taylor]: Taking taylor expansion of 0 in y 44.869 * [taylor]: Taking taylor expansion of 0 in y 44.869 * * * [progress]: simplifying candidates 44.870 * [simplify]: Simplifying using # : (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log x) (log y)))) (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* x y)))) (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* x y)))) (log (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (exp (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y)))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)))) (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y))))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* x y)))) (* (sqrt 27.0) (sqrt 27.0)) (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (+ (log (sqrt 27.0)) (+ (log x) (log y))) (+ (log (sqrt 27.0)) (log (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x x) x) (* (* y y) y))) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (* (* (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* x (* (pow (sqrt 27.0) 2) y)) (* x (* (pow (sqrt 27.0) 2) y)) (* x (* (pow (sqrt 27.0) 2) y)) (* x (* (sqrt 27.0) y)) (* x (* (sqrt 27.0) y)) (* x (* (sqrt 27.0) y)) 44.871 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 44.872 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 44.874 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 44.879 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 44.885 * * [simplify]: iteration done : 42 enodes (cost 5 ) 44.886 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 44.887 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 44.889 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 44.893 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 44.900 * * [simplify]: iteration done : 42 enodes (cost 5 ) 44.901 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 44.902 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 44.904 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 44.908 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 44.919 * * [simplify]: iteration done : 42 enodes (cost 5 ) 44.920 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 44.921 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 44.923 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 44.929 * * [simplify]: iteration 3 : 45 enodes (cost 11 ) 44.935 * * [simplify]: iteration 4 : 46 enodes (cost 11 ) 44.941 * * [simplify]: iteration done : 46 enodes (cost 11 ) 44.942 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 44.943 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 44.945 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 44.949 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 44.954 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 44.961 * * [simplify]: iteration done : 48 enodes (cost 10 ) 44.962 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 44.963 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 44.965 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 44.969 * * [simplify]: iteration 3 : 53 enodes (cost 10 ) 44.980 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 44.988 * * [simplify]: iteration done : 70 enodes (cost 10 ) 44.989 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 44.991 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 44.994 * * [simplify]: iteration 2 : 41 enodes (cost 6 ) 45.001 * * [simplify]: iteration 3 : 77 enodes (cost 6 ) 45.016 * * [simplify]: iteration 4 : 110 enodes (cost 6 ) 45.037 * * [simplify]: iteration 5 : 114 enodes (cost 6 ) 45.051 * * [simplify]: iteration done : 114 enodes (cost 6 ) 45.052 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 45.054 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 45.057 * * [simplify]: iteration 2 : 39 enodes (cost 6 ) 45.063 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 45.080 * * [simplify]: iteration 4 : 205 enodes (cost 6 ) 45.126 * * [simplify]: iteration 5 : 496 enodes (cost 6 ) 45.460 * * [simplify]: iteration 6 : 1227 enodes (cost 6 ) 48.315 * * [simplify]: iteration 7 : 3747 enodes (cost 6 ) 49.374 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 49.375 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 49.377 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 49.384 * * [simplify]: iteration 2 : 130 enodes (cost 13 ) 49.452 * * [simplify]: iteration 3 : 578 enodes (cost 11 ) 50.431 * * [simplify]: iteration 4 : 2325 enodes (cost 9 ) 53.885 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 53.886 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 53.888 * * [simplify]: iteration 1 : 33 enodes (cost 21 ) 53.895 * * [simplify]: iteration 2 : 132 enodes (cost 11 ) 53.972 * * [simplify]: iteration 3 : 619 enodes (cost 9 ) 55.105 * * [simplify]: iteration 4 : 2405 enodes (cost 9 ) 63.762 * * [simplify]: iteration 5 : 4737 enodes (cost 7 ) 65.910 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 65.910 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 65.913 * * [simplify]: iteration 1 : 30 enodes (cost 21 ) 65.919 * * [simplify]: iteration 2 : 135 enodes (cost 13 ) 66.009 * * [simplify]: iteration 3 : 719 enodes (cost 13 ) 67.904 * * [simplify]: iteration 4 : 3027 enodes (cost 7 ) 77.041 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 77.042 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 77.043 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 77.046 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 77.051 * * [simplify]: iteration 3 : 44 enodes (cost 13 ) 77.058 * * [simplify]: iteration done : 44 enodes (cost 13 ) 77.059 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 77.064 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 77.067 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 77.071 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 77.078 * * [simplify]: iteration done : 43 enodes (cost 6 ) 77.079 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 77.080 * * [simplify]: iteration 1 : 25 enodes (cost 29 ) 77.086 * * [simplify]: iteration 2 : 106 enodes (cost 7 ) 77.153 * * [simplify]: iteration 3 : 535 enodes (cost 7 ) 78.348 * * [simplify]: iteration 4 : 2530 enodes (cost 7 ) 83.143 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 83.144 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 83.145 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 83.148 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 83.152 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 83.159 * * [simplify]: iteration done : 43 enodes (cost 6 ) 83.160 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 83.161 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 83.163 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 83.168 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 83.174 * * [simplify]: iteration done : 43 enodes (cost 6 ) 83.175 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 83.175 * * [simplify]: iteration done : 3 enodes (cost 1 ) 83.176 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 83.177 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 83.182 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 83.189 * * [simplify]: iteration 3 : 58 enodes (cost 10 ) 83.201 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 83.213 * * [simplify]: iteration done : 59 enodes (cost 10 ) 83.213 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 83.214 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 83.217 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 83.224 * * [simplify]: iteration 3 : 58 enodes (cost 10 ) 83.235 * * [simplify]: iteration 4 : 61 enodes (cost 10 ) 83.250 * * [simplify]: iteration done : 61 enodes (cost 10 ) 83.251 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 83.252 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 83.255 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 83.261 * * [simplify]: iteration 3 : 58 enodes (cost 10 ) 83.273 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 83.284 * * [simplify]: iteration done : 59 enodes (cost 10 ) 83.285 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 83.286 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 83.288 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 83.295 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 83.302 * * [simplify]: iteration done : 42 enodes (cost 5 ) 83.303 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 83.304 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 83.307 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 83.314 * * [simplify]: iteration 3 : 58 enodes (cost 10 ) 83.326 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 83.337 * * [simplify]: iteration done : 59 enodes (cost 10 ) 83.338 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 83.339 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 83.341 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 83.345 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 83.355 * * [simplify]: iteration done : 42 enodes (cost 5 ) 83.356 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 83.356 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 83.358 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 83.360 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 83.362 * * [simplify]: iteration done : 18 enodes (cost 6 ) 83.362 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 83.363 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 83.364 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 83.367 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 83.370 * * [simplify]: iteration done : 18 enodes (cost 6 ) 83.371 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 83.372 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 83.374 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 83.376 * * [simplify]: iteration done : 19 enodes (cost 9 ) 83.377 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 83.377 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 83.379 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 83.381 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 83.383 * * [simplify]: iteration done : 22 enodes (cost 8 ) 83.384 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.385 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 83.387 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 83.390 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 83.395 * * [simplify]: iteration done : 41 enodes (cost 7 ) 83.395 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.396 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 83.398 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 83.402 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 83.410 * * [simplify]: iteration 4 : 111 enodes (cost 7 ) 83.433 * * [simplify]: iteration 5 : 250 enodes (cost 7 ) 83.549 * * [simplify]: iteration 6 : 613 enodes (cost 7 ) 84.190 * * [simplify]: iteration 7 : 1805 enodes (cost 7 ) 86.397 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 86.398 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 86.400 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 86.405 * * [simplify]: iteration 2 : 88 enodes (cost 12 ) 86.442 * * [simplify]: iteration 3 : 311 enodes (cost 12 ) 86.679 * * [simplify]: iteration 4 : 927 enodes (cost 10 ) 88.315 * * [simplify]: iteration 5 : 2066 enodes (cost 10 ) 92.859 * * [simplify]: iteration 6 : 4991 enodes (cost 10 ) 94.045 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 94.045 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 94.047 * * [simplify]: iteration 1 : 27 enodes (cost 16 ) 94.053 * * [simplify]: iteration 2 : 92 enodes (cost 10 ) 94.091 * * [simplify]: iteration 3 : 368 enodes (cost 10 ) 94.448 * * [simplify]: iteration 4 : 959 enodes (cost 10 ) 95.677 * * [simplify]: iteration 5 : 1328 enodes (cost 10 ) 97.780 * * [simplify]: iteration 6 : 2295 enodes (cost 10 ) 100.694 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 100.695 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 100.696 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 100.698 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 100.700 * * [simplify]: iteration 3 : 20 enodes (cost 15 ) 100.702 * * [simplify]: iteration done : 20 enodes (cost 15 ) 100.703 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 100.704 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 100.705 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 100.707 * * [simplify]: iteration done : 17 enodes (cost 7 ) 100.708 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 100.709 * * [simplify]: iteration 1 : 22 enodes (cost 20 ) 100.718 * * [simplify]: iteration 2 : 93 enodes (cost 8 ) 100.764 * * [simplify]: iteration 3 : 405 enodes (cost 8 ) 101.303 * * [simplify]: iteration 4 : 1141 enodes (cost 8 ) 103.020 * * [simplify]: iteration 5 : 1608 enodes (cost 8 ) 105.914 * * [simplify]: iteration 6 : 3069 enodes (cost 8 ) 108.415 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 108.415 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.416 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 108.418 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 108.420 * * [simplify]: iteration done : 17 enodes (cost 7 ) 108.420 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.421 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 108.423 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 108.425 * * [simplify]: iteration done : 17 enodes (cost 7 ) 108.425 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 108.426 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 108.426 * * [simplify]: iteration done : 5 enodes (cost 4 ) 108.427 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.428 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 108.429 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 108.431 * * [simplify]: iteration done : 17 enodes (cost 7 ) 108.436 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.436 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 108.438 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 108.440 * * [simplify]: iteration done : 17 enodes (cost 7 ) 108.440 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.441 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 108.443 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 108.445 * * [simplify]: iteration done : 17 enodes (cost 7 ) 108.446 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 108.447 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 108.448 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 108.450 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 108.452 * * [simplify]: iteration done : 18 enodes (cost 6 ) 108.453 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.454 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 108.455 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 108.457 * * [simplify]: iteration done : 17 enodes (cost 7 ) 108.458 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 108.459 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 108.460 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 108.462 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 108.464 * * [simplify]: iteration done : 18 enodes (cost 6 ) 108.464 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 108.466 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 108.469 * * [simplify]: iteration 2 : 43 enodes (cost 5 ) 108.473 * * [simplify]: iteration 3 : 72 enodes (cost 5 ) 108.486 * * [simplify]: iteration 4 : 155 enodes (cost 5 ) 108.556 * * [simplify]: iteration 5 : 457 enodes (cost 5 ) 109.151 * * [simplify]: iteration 6 : 1577 enodes (cost 5 ) 112.436 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 112.437 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 112.438 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 112.446 * * [simplify]: iteration 2 : 43 enodes (cost 5 ) 112.452 * * [simplify]: iteration 3 : 72 enodes (cost 5 ) 112.465 * * [simplify]: iteration 4 : 155 enodes (cost 5 ) 112.532 * * [simplify]: iteration 5 : 457 enodes (cost 5 ) 113.120 * * [simplify]: iteration 6 : 1577 enodes (cost 5 ) 116.401 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 116.402 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 116.403 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 116.406 * * [simplify]: iteration 2 : 43 enodes (cost 5 ) 116.411 * * [simplify]: iteration 3 : 72 enodes (cost 5 ) 116.423 * * [simplify]: iteration 4 : 155 enodes (cost 5 ) 116.494 * * [simplify]: iteration 5 : 457 enodes (cost 5 ) 117.081 * * [simplify]: iteration 6 : 1577 enodes (cost 5 ) 120.617 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 120.618 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 120.618 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 120.620 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 120.622 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 120.629 * * [simplify]: iteration done : 18 enodes (cost 6 ) 120.629 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 120.630 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 120.631 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 120.634 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 120.636 * * [simplify]: iteration done : 18 enodes (cost 6 ) 120.636 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 120.637 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 120.638 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 120.640 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 120.642 * * [simplify]: iteration done : 18 enodes (cost 6 ) 120.643 * [simplify]: Simplified to: (* (* x y) 27.0) (* (* x y) 27.0) (* (* x y) 27.0) (+ (+ (* 2 (log (sqrt 27.0))) (log y)) (log x)) (+ (* 2 (log (sqrt 27.0))) (log (* x y))) (+ (log (* x y)) (* 2 (log (sqrt 27.0)))) (log (* 27.0 (* x y))) (exp (* 27.0 (* x y))) (* (pow 27.0 3) (pow (* x y) 3)) (pow (* (* x y) 27.0) 3) (pow (* 27.0 (* x y)) 3) (* (cbrt (* 27.0 (* x y))) (cbrt (* 27.0 (* x y)))) (cbrt (* 27.0 (* x y))) (pow (* (* x y) 27.0) 3) (sqrt (* 27.0 (* x y))) (sqrt (* 27.0 (* x y))) 27.0 (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* x y))) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (* x y) 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* x y))) (* (* x y) 27.0) (* (sqrt 27.0) (* x y)) (* (sqrt 27.0) (* x y)) (+ (log (sqrt 27.0)) (+ (log x) (log y))) (+ (log (sqrt 27.0)) (log (* x y))) (log (* (sqrt 27.0) (* x y))) (exp (* (sqrt 27.0) (* x y))) (* (pow (* x y) 3) (* 27.0 (sqrt 27.0))) (* (pow (* x y) 3) (* 27.0 (sqrt 27.0))) (* (cbrt (* (sqrt 27.0) (* x y))) (cbrt (* (sqrt 27.0) (* x y)))) (cbrt (* (sqrt 27.0) (* x y))) (pow (* (sqrt 27.0) (* x y)) 3) (sqrt (* (sqrt 27.0) (* x y))) (sqrt (* (sqrt 27.0) (* x y))) (* (sqrt 27.0) x) (* (cbrt (sqrt 27.0)) (* x y)) (* (sqrt (cbrt 27.0)) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (sqrt (sqrt 27.0)) (* x y)) (* (sqrt 27.0) (* x y)) (* (* y 27.0) x) (* (* y 27.0) x) (* (* y 27.0) x) (* x (* (sqrt 27.0) y)) (* x (* (sqrt 27.0) y)) (* x (* (sqrt 27.0) y)) 120.644 * * * [progress]: adding candidates to table 120.714 * * [progress]: iteration 4 / 4 120.714 * * * [progress]: picking best candidate 120.719 * * * * [pick]: Picked # 120.719 * * * [progress]: localizing error 120.723 * * * [progress]: generating rewritten candidates 120.723 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 120.729 * * * [progress]: generating series expansions 120.729 * * * * [progress]: [ 1 / 1 ] generating series at (2) 120.729 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 120.729 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 120.729 * [taylor]: Taking taylor expansion of 27.0 in y 120.729 * [taylor]: Taking taylor expansion of (* x y) in y 120.729 * [taylor]: Taking taylor expansion of x in y 120.729 * [taylor]: Taking taylor expansion of y in y 120.730 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 120.730 * [taylor]: Taking taylor expansion of 27.0 in x 120.730 * [taylor]: Taking taylor expansion of (* x y) in x 120.730 * [taylor]: Taking taylor expansion of x in x 120.730 * [taylor]: Taking taylor expansion of y in x 120.730 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 120.730 * [taylor]: Taking taylor expansion of 27.0 in x 120.730 * [taylor]: Taking taylor expansion of (* x y) in x 120.730 * [taylor]: Taking taylor expansion of x in x 120.730 * [taylor]: Taking taylor expansion of y in x 120.730 * [taylor]: Taking taylor expansion of 0 in y 120.730 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 120.730 * [taylor]: Taking taylor expansion of 27.0 in y 120.730 * [taylor]: Taking taylor expansion of y in y 120.730 * [taylor]: Taking taylor expansion of 0 in y 120.730 * [taylor]: Taking taylor expansion of 0 in y 120.730 * [taylor]: Taking taylor expansion of 0 in y 120.731 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 120.731 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 120.731 * [taylor]: Taking taylor expansion of 27.0 in y 120.731 * [taylor]: Taking taylor expansion of (* x y) in y 120.731 * [taylor]: Taking taylor expansion of x in y 120.731 * [taylor]: Taking taylor expansion of y in y 120.731 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 120.731 * [taylor]: Taking taylor expansion of 27.0 in x 120.731 * [taylor]: Taking taylor expansion of (* x y) in x 120.731 * [taylor]: Taking taylor expansion of x in x 120.731 * [taylor]: Taking taylor expansion of y in x 120.731 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 120.731 * [taylor]: Taking taylor expansion of 27.0 in x 120.731 * [taylor]: Taking taylor expansion of (* x y) in x 120.731 * [taylor]: Taking taylor expansion of x in x 120.731 * [taylor]: Taking taylor expansion of y in x 120.731 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 120.731 * [taylor]: Taking taylor expansion of 27.0 in y 120.731 * [taylor]: Taking taylor expansion of y in y 120.731 * [taylor]: Taking taylor expansion of 0 in y 120.731 * [taylor]: Taking taylor expansion of 0 in y 120.732 * [taylor]: Taking taylor expansion of 0 in y 120.732 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 120.732 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 120.732 * [taylor]: Taking taylor expansion of 27.0 in y 120.732 * [taylor]: Taking taylor expansion of (* x y) in y 120.732 * [taylor]: Taking taylor expansion of x in y 120.732 * [taylor]: Taking taylor expansion of y in y 120.732 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 120.732 * [taylor]: Taking taylor expansion of 27.0 in x 120.732 * [taylor]: Taking taylor expansion of (* x y) in x 120.732 * [taylor]: Taking taylor expansion of x in x 120.732 * [taylor]: Taking taylor expansion of y in x 120.732 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 120.732 * [taylor]: Taking taylor expansion of 27.0 in x 120.732 * [taylor]: Taking taylor expansion of (* x y) in x 120.732 * [taylor]: Taking taylor expansion of x in x 120.732 * [taylor]: Taking taylor expansion of y in x 120.732 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 120.732 * [taylor]: Taking taylor expansion of 27.0 in y 120.732 * [taylor]: Taking taylor expansion of y in y 120.733 * [taylor]: Taking taylor expansion of 0 in y 120.733 * [taylor]: Taking taylor expansion of 0 in y 120.733 * [taylor]: Taking taylor expansion of 0 in y 120.733 * * * [progress]: simplifying candidates 120.734 * [simplify]: Simplifying using # : (* x (* 27.0 y)) (* x (* 27.0 y)) (+ (log x) (+ (log 27.0) (log y))) (+ (log x) (log (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (* (* (* x x) x) (* (* (* 27.0 27.0) 27.0) (* (* y y) y))) (* (* (* x x) x) (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 y))) (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y))) (* (* (* x (* 27.0 y)) (* x (* 27.0 y))) (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (* x 27.0) (* (cbrt x) (* 27.0 y)) (* (sqrt x) (* 27.0 y)) (* x (* 27.0 y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 120.734 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 120.735 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 120.736 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 120.738 * * [simplify]: iteration done : 15 enodes (cost 5 ) 120.739 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 120.739 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 120.740 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 120.742 * * [simplify]: iteration done : 15 enodes (cost 5 ) 120.743 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 120.744 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 120.745 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 120.747 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 120.749 * * [simplify]: iteration done : 20 enodes (cost 8 ) 120.750 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 120.751 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 120.753 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 120.754 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 120.757 * * [simplify]: iteration done : 21 enodes (cost 7 ) 120.757 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 120.758 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 120.760 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 120.763 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 120.768 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 120.775 * * [simplify]: iteration done : 40 enodes (cost 6 ) 120.776 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 120.777 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 120.779 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 120.783 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 120.790 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 120.809 * * [simplify]: iteration 5 : 245 enodes (cost 6 ) 120.927 * * [simplify]: iteration 6 : 602 enodes (cost 6 ) 121.594 * * [simplify]: iteration 7 : 1789 enodes (cost 6 ) 123.929 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 123.930 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 123.932 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 123.937 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 123.974 * * [simplify]: iteration 3 : 328 enodes (cost 11 ) 124.250 * * [simplify]: iteration 4 : 1011 enodes (cost 9 ) 126.269 * * [simplify]: iteration 5 : 3067 enodes (cost 9 ) 128.276 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 128.276 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 128.278 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 128.284 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 128.330 * * [simplify]: iteration 3 : 375 enodes (cost 9 ) 128.722 * * [simplify]: iteration 4 : 1093 enodes (cost 7 ) 130.521 * * [simplify]: iteration 5 : 2048 enodes (cost 7 ) 135.819 * * [simplify]: iteration 6 : 4895 enodes (cost 7 ) 137.156 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 137.157 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 137.157 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 137.159 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 137.161 * * [simplify]: iteration done : 17 enodes (cost 13 ) 137.162 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 137.162 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 137.164 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 137.171 * * [simplify]: iteration done : 16 enodes (cost 6 ) 137.172 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 137.173 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 137.178 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 137.226 * * [simplify]: iteration 3 : 407 enodes (cost 7 ) 137.772 * * [simplify]: iteration 4 : 1210 enodes (cost 7 ) 139.494 * * [simplify]: iteration 5 : 1693 enodes (cost 7 ) 142.376 * * [simplify]: iteration 6 : 3142 enodes (cost 7 ) 144.336 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 144.337 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.338 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.339 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 144.341 * * [simplify]: iteration done : 16 enodes (cost 6 ) 144.342 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.343 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.344 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 144.346 * * [simplify]: iteration done : 16 enodes (cost 6 ) 144.346 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 144.347 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 144.347 * * [simplify]: iteration done : 4 enodes (cost 3 ) 144.348 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.349 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.350 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 144.352 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 144.354 * * [simplify]: iteration done : 18 enodes (cost 6 ) 144.355 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.355 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.357 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 144.359 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 144.361 * * [simplify]: iteration done : 18 enodes (cost 6 ) 144.361 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.362 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 144.363 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 144.365 * * [simplify]: iteration done : 15 enodes (cost 5 ) 144.366 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.366 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 144.368 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 144.374 * * [simplify]: iteration done : 15 enodes (cost 5 ) 144.375 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.376 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 144.377 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 144.379 * * [simplify]: iteration done : 15 enodes (cost 5 ) 144.380 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.381 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 144.382 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 144.384 * * [simplify]: iteration done : 15 enodes (cost 5 ) 144.384 * [simplify]: Simplified to: (* x (* 27.0 y)) (* x (* 27.0 y)) (+ (log x) (+ (log 27.0) (log y))) (+ (log x) (log (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (* (pow x 3) (pow (* 27.0 y) 3)) (pow (* x (* 27.0 y)) 3) (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y))) (pow (* x (* 27.0 y)) 3) (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (* x 27.0) (* (cbrt x) (* 27.0 y)) (* (sqrt x) (* 27.0 y)) (* x (* 27.0 y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 144.384 * * * [progress]: adding candidates to table 144.404 * [progress]: [Phase 3 of 3] Extracting. 144.404 * * [regime]: Finding splitpoints for: (# # # # #) 144.404 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x) 144.404 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # #) 144.450 * * * * [regimes]: Trying to branch on (* x 27.0) from (# #) 144.484 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # # #) 144.527 * * * * [regimes]: Trying to branch on y from (# # # # #) 144.569 * * * * [regimes]: Trying to branch on x from (# # # # #) 144.610 * * * [regime]: Found split indices: #