694.710 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (* 500.0 (- x y)) 0.016 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.017 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.018 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.020 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.022 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.025 * * [simplify]: iteration done : 24 enodes (cost 5 ) 0.025 * [simplify]: Simplified to: (* 500.0 (- x y)) 0.025 * * [progress]: iteration 1 / 4 0.025 * * * [progress]: picking best candidate 0.027 * * * * [pick]: Picked # 0.027 * * * [progress]: localizing error 0.031 * * * [progress]: generating rewritten candidates 0.031 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.040 * * * [progress]: generating series expansions 0.040 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.040 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0 0.040 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in y 0.040 * [taylor]: Taking taylor expansion of 500.0 in y 0.040 * [taylor]: Taking taylor expansion of (- x y) in y 0.040 * [taylor]: Taking taylor expansion of x in y 0.040 * [taylor]: Taking taylor expansion of y in y 0.040 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.040 * [taylor]: Taking taylor expansion of 500.0 in x 0.040 * [taylor]: Taking taylor expansion of (- x y) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of y in x 0.040 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.040 * [taylor]: Taking taylor expansion of 500.0 in x 0.040 * [taylor]: Taking taylor expansion of (- x y) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of y in x 0.040 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 0.040 * [taylor]: Taking taylor expansion of -500.0 in y 0.040 * [taylor]: Taking taylor expansion of y in y 0.041 * [taylor]: Taking taylor expansion of 500.0 in y 0.041 * [taylor]: Taking taylor expansion of 0 in y 0.041 * [taylor]: Taking taylor expansion of 0 in y 0.041 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.041 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in y 0.041 * [taylor]: Taking taylor expansion of 500.0 in y 0.041 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.041 * [taylor]: Taking taylor expansion of x in y 0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.041 * [taylor]: Taking taylor expansion of y in y 0.041 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.041 * [taylor]: Taking taylor expansion of 500.0 in x 0.041 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.041 * [taylor]: Taking taylor expansion of y in x 0.041 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.041 * [taylor]: Taking taylor expansion of 500.0 in x 0.041 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.042 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of 500.0 in y 0.042 * [taylor]: Taking taylor expansion of (neg (* 500.0 (/ 1 y))) in y 0.042 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.042 * [taylor]: Taking taylor expansion of 500.0 in y 0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.042 * [taylor]: Taking taylor expansion of y in y 0.042 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.043 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y 0.043 * [taylor]: Taking taylor expansion of 500.0 in y 0.043 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.043 * [taylor]: Taking taylor expansion of x in y 0.043 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.043 * [taylor]: Taking taylor expansion of 500.0 in x 0.043 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.044 * [taylor]: Taking taylor expansion of 500.0 in x 0.044 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of -500.0 in y 0.044 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.044 * [taylor]: Taking taylor expansion of 500.0 in y 0.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.045 * * * [progress]: simplifying candidates 0.045 * [simplify]: Simplifying using # : (* 500.0 (- x y)) (+ (log 500.0) (log (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (* (* (* 500.0 500.0) 500.0) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (* (* (* 500.0 (- x y)) (* 500.0 (- x y))) (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* 500.0 x) (* 500.0 (neg y)) (* 500.0 x) (* 500.0 (neg y)) (* x 500.0) (* (neg y) 500.0) (* x 500.0) (* (neg y) 500.0) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) (* 500.0 1) (* 500.0 (+ (sqrt x) (sqrt y))) (* 500.0 1) (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 0.046 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.047 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.048 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.050 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.052 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.055 * * [simplify]: iteration done : 24 enodes (cost 5 ) 0.055 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.056 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.062 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 0.063 * * [simplify]: iteration done : 11 enodes (cost 7 ) 0.064 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.065 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.066 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.069 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 0.072 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 0.075 * * [simplify]: iteration done : 29 enodes (cost 6 ) 0.076 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.077 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.078 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.081 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 0.088 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 0.103 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 0.171 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 0.496 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 2.182 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 2.183 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 2.184 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 2.188 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 2.210 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 2.326 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 3.161 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 4.791 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 4.792 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 4.793 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 4.794 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 4.796 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 4.799 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 4.802 * * [simplify]: iteration done : 26 enodes (cost 13 ) 4.803 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.803 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 4.804 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 4.806 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 4.809 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 4.812 * * [simplify]: iteration done : 25 enodes (cost 6 ) 4.812 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 4.814 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 4.817 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 4.845 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 5.001 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 5.830 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 7.752 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.753 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.754 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.755 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.757 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.760 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.767 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.768 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.768 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.769 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.772 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.774 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.777 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.778 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.779 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 7.780 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 7.781 * * [simplify]: iteration done : 11 enodes (cost 7 ) 7.781 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.782 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 7.783 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 7.784 * * [simplify]: iteration done : 11 enodes (cost 7 ) 7.785 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.785 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.785 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.786 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.786 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.787 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.789 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.790 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.790 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.791 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.791 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.792 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.792 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.793 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.794 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.795 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.796 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.796 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.797 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.797 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.798 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.798 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.800 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.801 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.801 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.802 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.802 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.803 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.803 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.804 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.805 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.806 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.807 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 7.808 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 7.809 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 7.811 * * [simplify]: iteration done : 15 enodes (cost 11 ) 7.812 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.812 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.813 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 7.814 * * [simplify]: iteration done : 10 enodes (cost 6 ) 7.815 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.815 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 7.815 * * [simplify]: iteration done : 6 enodes (cost 1 ) 7.816 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.817 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 7.819 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 7.821 * * [simplify]: iteration done : 16 enodes (cost 7 ) 7.821 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.822 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 7.822 * * [simplify]: iteration done : 6 enodes (cost 1 ) 7.823 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.823 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.825 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.827 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.829 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.836 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.836 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.837 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.838 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.840 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.843 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.846 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.846 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 7.847 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 7.848 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 7.850 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 7.852 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 7.855 * * [simplify]: iteration done : 24 enodes (cost 5 ) 7.856 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 7.857 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 7.860 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 7.869 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 7.902 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 8.033 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 9.111 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 11.491 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 11.492 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 11.493 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 11.495 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 11.500 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 11.516 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 11.559 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 11.637 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 11.831 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 13.542 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 15.761 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 15.762 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.763 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 15.764 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 15.767 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 15.770 * * [simplify]: iteration done : 22 enodes (cost 5 ) 15.771 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.772 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 15.773 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 15.776 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 15.780 * * [simplify]: iteration done : 22 enodes (cost 5 ) 15.780 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.781 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 15.783 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 15.786 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 15.789 * * [simplify]: iteration done : 22 enodes (cost 5 ) 15.789 * [simplify]: Simplified to: (* 500.0 (- x y)) (+ (log 500.0) (log (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* 500.0 x) (* 500.0 (neg y)) (* 500.0 x) (* 500.0 (neg y)) (* x 500.0) (* (neg y) 500.0) (* x 500.0) (* (neg y) 500.0) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) 500.0 (* 500.0 (+ (sqrt x) (sqrt y))) 500.0 (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (* (- x y) (+ x y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 15.789 * * * [progress]: adding candidates to table 15.824 * * [progress]: iteration 2 / 4 15.824 * * * [progress]: picking best candidate 15.836 * * * * [pick]: Picked # 15.836 * * * [progress]: localizing error 15.842 * * * [progress]: generating rewritten candidates 15.842 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 15.847 * * * [progress]: generating series expansions 15.847 * * * * [progress]: [ 1 / 1 ] generating series at (2) 15.847 * [approximate]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in (x y) around 0 15.847 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in y 15.847 * [taylor]: Taking taylor expansion of (* 500.0 x) in y 15.847 * [taylor]: Taking taylor expansion of 500.0 in y 15.847 * [taylor]: Taking taylor expansion of x in y 15.847 * [taylor]: Taking taylor expansion of (* 500.0 y) in y 15.847 * [taylor]: Taking taylor expansion of 500.0 in y 15.847 * [taylor]: Taking taylor expansion of y in y 15.847 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x 15.847 * [taylor]: Taking taylor expansion of (* 500.0 x) in x 15.847 * [taylor]: Taking taylor expansion of 500.0 in x 15.847 * [taylor]: Taking taylor expansion of x in x 15.847 * [taylor]: Taking taylor expansion of (* 500.0 y) in x 15.847 * [taylor]: Taking taylor expansion of 500.0 in x 15.847 * [taylor]: Taking taylor expansion of y in x 15.847 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x 15.847 * [taylor]: Taking taylor expansion of (* 500.0 x) in x 15.847 * [taylor]: Taking taylor expansion of 500.0 in x 15.847 * [taylor]: Taking taylor expansion of x in x 15.847 * [taylor]: Taking taylor expansion of (* 500.0 y) in x 15.847 * [taylor]: Taking taylor expansion of 500.0 in x 15.847 * [taylor]: Taking taylor expansion of y in x 15.847 * [taylor]: Taking taylor expansion of (neg (* 500.0 y)) in y 15.847 * [taylor]: Taking taylor expansion of (* 500.0 y) in y 15.848 * [taylor]: Taking taylor expansion of 500.0 in y 15.848 * [taylor]: Taking taylor expansion of y in y 15.848 * [taylor]: Taking taylor expansion of 500.0 in y 15.848 * [taylor]: Taking taylor expansion of 0 in y 15.848 * [taylor]: Taking taylor expansion of 0 in y 15.848 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in (x y) around 0 15.848 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in y 15.848 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y 15.848 * [taylor]: Taking taylor expansion of 500.0 in y 15.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.848 * [taylor]: Taking taylor expansion of x in y 15.848 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 15.848 * [taylor]: Taking taylor expansion of 500.0 in y 15.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.848 * [taylor]: Taking taylor expansion of y in y 15.848 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x 15.848 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 15.848 * [taylor]: Taking taylor expansion of 500.0 in x 15.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.849 * [taylor]: Taking taylor expansion of x in x 15.849 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 15.849 * [taylor]: Taking taylor expansion of 500.0 in x 15.849 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.849 * [taylor]: Taking taylor expansion of y in x 15.849 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x 15.849 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 15.849 * [taylor]: Taking taylor expansion of 500.0 in x 15.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.849 * [taylor]: Taking taylor expansion of x in x 15.849 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 15.849 * [taylor]: Taking taylor expansion of 500.0 in x 15.849 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.849 * [taylor]: Taking taylor expansion of y in x 15.849 * [taylor]: Taking taylor expansion of 500.0 in y 15.849 * [taylor]: Taking taylor expansion of (neg (* 500.0 (/ 1 y))) in y 15.849 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 15.849 * [taylor]: Taking taylor expansion of 500.0 in y 15.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.849 * [taylor]: Taking taylor expansion of y in y 15.849 * [taylor]: Taking taylor expansion of 0 in y 15.850 * [taylor]: Taking taylor expansion of 0 in y 15.850 * [taylor]: Taking taylor expansion of 0 in y 15.850 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in (x y) around 0 15.850 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in y 15.850 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 15.850 * [taylor]: Taking taylor expansion of 500.0 in y 15.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.850 * [taylor]: Taking taylor expansion of y in y 15.850 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y 15.850 * [taylor]: Taking taylor expansion of 500.0 in y 15.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.851 * [taylor]: Taking taylor expansion of x in y 15.851 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x 15.851 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 15.851 * [taylor]: Taking taylor expansion of 500.0 in x 15.851 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.851 * [taylor]: Taking taylor expansion of y in x 15.851 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 15.851 * [taylor]: Taking taylor expansion of 500.0 in x 15.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.851 * [taylor]: Taking taylor expansion of x in x 15.851 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x 15.851 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x 15.851 * [taylor]: Taking taylor expansion of 500.0 in x 15.851 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.851 * [taylor]: Taking taylor expansion of y in x 15.851 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x 15.851 * [taylor]: Taking taylor expansion of 500.0 in x 15.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.851 * [taylor]: Taking taylor expansion of x in x 15.851 * [taylor]: Taking taylor expansion of (neg 500.0) in y 15.851 * [taylor]: Taking taylor expansion of 500.0 in y 15.851 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 15.851 * [taylor]: Taking taylor expansion of 500.0 in y 15.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.851 * [taylor]: Taking taylor expansion of y in y 15.851 * [taylor]: Taking taylor expansion of 0 in y 15.852 * [taylor]: Taking taylor expansion of 0 in y 15.852 * [taylor]: Taking taylor expansion of 0 in y 15.852 * * * [progress]: simplifying candidates 15.853 * [simplify]: Simplifying using # : (* (exp (* 500.0 x)) (exp (* 500.0 (neg y)))) (log (+ (* 500.0 x) (* 500.0 (neg y)))) (exp (+ (* 500.0 x) (* 500.0 (neg y)))) (* (cbrt (+ (* 500.0 x) (* 500.0 (neg y)))) (cbrt (+ (* 500.0 x) (* 500.0 (neg y))))) (cbrt (+ (* 500.0 x) (* 500.0 (neg y)))) (* (* (+ (* 500.0 x) (* 500.0 (neg y))) (+ (* 500.0 x) (* 500.0 (neg y)))) (+ (* 500.0 x) (* 500.0 (neg y)))) (sqrt (+ (* 500.0 x) (* 500.0 (neg y)))) (sqrt (+ (* 500.0 x) (* 500.0 (neg y)))) (+ (pow (* 500.0 x) 3) (pow (* 500.0 (neg y)) 3)) (+ (* (* 500.0 x) (* 500.0 x)) (- (* (* 500.0 (neg y)) (* 500.0 (neg y))) (* (* 500.0 x) (* 500.0 (neg y))))) (- (* (* 500.0 x) (* 500.0 x)) (* (* 500.0 (neg y)) (* 500.0 (neg y)))) (- (* 500.0 x) (* 500.0 (neg y))) (+ x (neg y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 15.853 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 15.855 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 15.857 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 15.863 * * [simplify]: iteration 3 : 87 enodes (cost 6 ) 15.880 * * [simplify]: iteration 4 : 237 enodes (cost 6 ) 16.035 * * [simplify]: iteration 5 : 980 enodes (cost 6 ) 18.434 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 18.435 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 18.436 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 18.438 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 18.441 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 18.445 * * [simplify]: iteration done : 27 enodes (cost 6 ) 18.446 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 18.447 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 18.449 * * [simplify]: iteration 2 : 37 enodes (cost 6 ) 18.455 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 18.468 * * [simplify]: iteration 4 : 155 enodes (cost 6 ) 18.535 * * [simplify]: iteration 5 : 589 enodes (cost 6 ) 19.332 * * [simplify]: iteration 6 : 2547 enodes (cost 6 ) 20.725 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 20.726 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 20.727 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 20.729 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 20.732 * * [simplify]: iteration 3 : 24 enodes (cost 13 ) 20.735 * * [simplify]: iteration done : 24 enodes (cost 13 ) 20.736 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 20.737 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 20.739 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 20.741 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 20.744 * * [simplify]: iteration done : 23 enodes (cost 6 ) 20.745 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 20.746 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 20.758 * * [simplify]: iteration 2 : 121 enodes (cost 7 ) 20.812 * * [simplify]: iteration 3 : 571 enodes (cost 7 ) 21.412 * * [simplify]: iteration 4 : 2168 enodes (cost 7 ) 23.814 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 23.814 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 23.815 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 23.817 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 23.820 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 23.823 * * [simplify]: iteration done : 23 enodes (cost 6 ) 23.824 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 23.825 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 23.827 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 23.830 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 23.833 * * [simplify]: iteration done : 23 enodes (cost 6 ) 23.833 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 23.835 * * [simplify]: iteration 1 : 33 enodes (cost 12 ) 23.841 * * [simplify]: iteration 2 : 115 enodes (cost 12 ) 23.883 * * [simplify]: iteration 3 : 394 enodes (cost 11 ) 24.184 * * [simplify]: iteration 4 : 1037 enodes (cost 11 ) 25.765 * * [simplify]: iteration 5 : 2869 enodes (cost 11 ) 27.483 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 27.484 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 27.486 * * [simplify]: iteration 1 : 39 enodes (cost 21 ) 27.495 * * [simplify]: iteration 2 : 139 enodes (cost 19 ) 27.551 * * [simplify]: iteration 3 : 375 enodes (cost 17 ) 27.805 * * [simplify]: iteration 4 : 782 enodes (cost 15 ) 28.465 * * [simplify]: iteration 5 : 1310 enodes (cost 13 ) 29.142 * * [simplify]: iteration 6 : 1603 enodes (cost 13 ) 29.799 * * [simplify]: iteration 7 : 1685 enodes (cost 13 ) 30.383 * * [simplify]: iteration done : 1685 enodes (cost 13 ) 30.384 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 30.385 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 30.391 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 30.431 * * [simplify]: iteration 3 : 242 enodes (cost 11 ) 30.520 * * [simplify]: iteration 4 : 421 enodes (cost 11 ) 30.660 * * [simplify]: iteration 5 : 724 enodes (cost 11 ) 31.069 * * [simplify]: iteration 6 : 1314 enodes (cost 11 ) 32.811 * * [simplify]: iteration 7 : 2877 enodes (cost 11 ) 35.138 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 35.139 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 35.140 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 35.142 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 35.146 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 35.152 * * [simplify]: iteration 4 : 46 enodes (cost 5 ) 35.155 * * [simplify]: iteration done : 46 enodes (cost 5 ) 35.156 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 35.156 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 35.157 * * [simplify]: iteration done : 6 enodes (cost 3 ) 35.158 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 35.158 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 35.160 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 35.163 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 35.166 * * [simplify]: iteration done : 22 enodes (cost 5 ) 35.166 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 35.167 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 35.169 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 35.171 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 35.179 * * [simplify]: iteration done : 22 enodes (cost 5 ) 35.180 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 35.181 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 35.183 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 35.186 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 35.189 * * [simplify]: iteration done : 22 enodes (cost 5 ) 35.189 * [simplify]: Simplified to: (pow (exp 500.0) (- x y)) (log (* (- x y) 500.0)) (pow (exp 500.0) (- x y)) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* (- x y) 500.0)) (pow (* 500.0 (- x y)) 3) (sqrt (* (- x y) 500.0)) (sqrt (* (- x y) 500.0)) (- (pow (* 500.0 x) 3) (pow (* 500.0 y) 3)) (* (* 500.0 500.0) (+ (* y y) (* x (+ y x)))) (* (* 500.0 500.0) (- (* x x) (* y y))) (* (+ y x) 500.0) (- x y) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 35.189 * * * [progress]: adding candidates to table 35.207 * * [progress]: iteration 3 / 4 35.207 * * * [progress]: picking best candidate 35.216 * * * * [pick]: Picked # 35.216 * * * [progress]: localizing error 35.222 * * * [progress]: generating rewritten candidates 35.222 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 35.234 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 35.245 * * * [progress]: generating series expansions 35.245 * * * * [progress]: [ 1 / 2 ] generating series at (2) 35.246 * [approximate]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in (x y) around 0 35.246 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y 35.246 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.246 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.246 * [taylor]: Taking taylor expansion of 500.0 in y 35.246 * [taylor]: Taking taylor expansion of (- x y) in y 35.246 * [taylor]: Taking taylor expansion of x in y 35.246 * [taylor]: Taking taylor expansion of y in y 35.246 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 35.246 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 35.246 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.246 * [taylor]: Taking taylor expansion of 500.0 in x 35.246 * [taylor]: Taking taylor expansion of (- x y) in x 35.246 * [taylor]: Taking taylor expansion of x in x 35.246 * [taylor]: Taking taylor expansion of y in x 35.246 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x 35.246 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 35.246 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.246 * [taylor]: Taking taylor expansion of 500.0 in x 35.246 * [taylor]: Taking taylor expansion of (- x y) in x 35.246 * [taylor]: Taking taylor expansion of x in x 35.246 * [taylor]: Taking taylor expansion of y in x 35.246 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 500.0) 2) y)) in y 35.247 * [taylor]: Taking taylor expansion of -1 in y 35.247 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) y) in y 35.247 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.247 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.247 * [taylor]: Taking taylor expansion of 500.0 in y 35.247 * [taylor]: Taking taylor expansion of y in y 35.247 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.247 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.247 * [taylor]: Taking taylor expansion of 500.0 in y 35.248 * [taylor]: Taking taylor expansion of 0 in y 35.248 * [taylor]: Taking taylor expansion of 0 in y 35.249 * [approximate]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 x) (/ 1 y))) in (x y) around 0 35.249 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 x) (/ 1 y))) in y 35.249 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.249 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.249 * [taylor]: Taking taylor expansion of 500.0 in y 35.249 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 35.249 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.249 * [taylor]: Taking taylor expansion of x in y 35.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.249 * [taylor]: Taking taylor expansion of y in y 35.249 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 x) (/ 1 y))) in x 35.249 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 35.249 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.249 * [taylor]: Taking taylor expansion of 500.0 in x 35.249 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 35.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.249 * [taylor]: Taking taylor expansion of x in x 35.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.249 * [taylor]: Taking taylor expansion of y in x 35.249 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 x) (/ 1 y))) in x 35.249 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 35.249 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.249 * [taylor]: Taking taylor expansion of 500.0 in x 35.249 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 35.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.249 * [taylor]: Taking taylor expansion of x in x 35.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.249 * [taylor]: Taking taylor expansion of y in x 35.250 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.250 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.250 * [taylor]: Taking taylor expansion of 500.0 in y 35.250 * [taylor]: Taking taylor expansion of (neg (/ (pow (sqrt 500.0) 2) y)) in y 35.250 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y 35.250 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.250 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.250 * [taylor]: Taking taylor expansion of 500.0 in y 35.250 * [taylor]: Taking taylor expansion of y in y 35.251 * [taylor]: Taking taylor expansion of 0 in y 35.251 * [taylor]: Taking taylor expansion of 0 in y 35.252 * [taylor]: Taking taylor expansion of 0 in y 35.253 * [approximate]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0 35.253 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y 35.253 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.253 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.253 * [taylor]: Taking taylor expansion of 500.0 in y 35.253 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 35.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.253 * [taylor]: Taking taylor expansion of y in y 35.253 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.253 * [taylor]: Taking taylor expansion of x in y 35.253 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 35.253 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 35.253 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.253 * [taylor]: Taking taylor expansion of 500.0 in x 35.253 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 35.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.253 * [taylor]: Taking taylor expansion of y in x 35.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.253 * [taylor]: Taking taylor expansion of x in x 35.253 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x 35.253 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x 35.253 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.253 * [taylor]: Taking taylor expansion of 500.0 in x 35.253 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 35.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.253 * [taylor]: Taking taylor expansion of y in x 35.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.253 * [taylor]: Taking taylor expansion of x in x 35.254 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y 35.254 * [taylor]: Taking taylor expansion of -1 in y 35.254 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.254 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.254 * [taylor]: Taking taylor expansion of 500.0 in y 35.254 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y 35.254 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y 35.254 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.254 * [taylor]: Taking taylor expansion of 500.0 in y 35.254 * [taylor]: Taking taylor expansion of y in y 35.255 * [taylor]: Taking taylor expansion of 0 in y 35.255 * [taylor]: Taking taylor expansion of 0 in y 35.256 * [taylor]: Taking taylor expansion of 0 in y 35.257 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 35.257 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in (x y) around 0 35.257 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in y 35.257 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.257 * [taylor]: Taking taylor expansion of 500.0 in y 35.257 * [taylor]: Taking taylor expansion of (- x y) in y 35.257 * [taylor]: Taking taylor expansion of x in y 35.257 * [taylor]: Taking taylor expansion of y in y 35.257 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x 35.257 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.257 * [taylor]: Taking taylor expansion of 500.0 in x 35.257 * [taylor]: Taking taylor expansion of (- x y) in x 35.257 * [taylor]: Taking taylor expansion of x in x 35.257 * [taylor]: Taking taylor expansion of y in x 35.257 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x 35.257 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.257 * [taylor]: Taking taylor expansion of 500.0 in x 35.257 * [taylor]: Taking taylor expansion of (- x y) in x 35.257 * [taylor]: Taking taylor expansion of x in x 35.257 * [taylor]: Taking taylor expansion of y in x 35.257 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 500.0) y)) in y 35.257 * [taylor]: Taking taylor expansion of -1 in y 35.257 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) y) in y 35.257 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.257 * [taylor]: Taking taylor expansion of 500.0 in y 35.257 * [taylor]: Taking taylor expansion of y in y 35.257 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.258 * [taylor]: Taking taylor expansion of 500.0 in y 35.258 * [taylor]: Taking taylor expansion of 0 in y 35.258 * [taylor]: Taking taylor expansion of 0 in y 35.258 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 x) (/ 1 y))) in (x y) around 0 35.258 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 x) (/ 1 y))) in y 35.259 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.259 * [taylor]: Taking taylor expansion of 500.0 in y 35.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 35.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.259 * [taylor]: Taking taylor expansion of x in y 35.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.259 * [taylor]: Taking taylor expansion of y in y 35.259 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 x) (/ 1 y))) in x 35.259 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.259 * [taylor]: Taking taylor expansion of 500.0 in x 35.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 35.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.259 * [taylor]: Taking taylor expansion of x in x 35.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.259 * [taylor]: Taking taylor expansion of y in x 35.259 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 x) (/ 1 y))) in x 35.259 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.259 * [taylor]: Taking taylor expansion of 500.0 in x 35.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 35.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.259 * [taylor]: Taking taylor expansion of x in x 35.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.259 * [taylor]: Taking taylor expansion of y in x 35.259 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.259 * [taylor]: Taking taylor expansion of 500.0 in y 35.259 * [taylor]: Taking taylor expansion of (neg (/ (sqrt 500.0) y)) in y 35.259 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y 35.260 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.260 * [taylor]: Taking taylor expansion of 500.0 in y 35.260 * [taylor]: Taking taylor expansion of y in y 35.260 * [taylor]: Taking taylor expansion of 0 in y 35.260 * [taylor]: Taking taylor expansion of 0 in y 35.261 * [taylor]: Taking taylor expansion of 0 in y 35.261 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 35.261 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in y 35.261 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.261 * [taylor]: Taking taylor expansion of 500.0 in y 35.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 35.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.261 * [taylor]: Taking taylor expansion of y in y 35.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.261 * [taylor]: Taking taylor expansion of x in y 35.261 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x 35.261 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.261 * [taylor]: Taking taylor expansion of 500.0 in x 35.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 35.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.262 * [taylor]: Taking taylor expansion of y in x 35.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.262 * [taylor]: Taking taylor expansion of x in x 35.262 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x 35.262 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x 35.262 * [taylor]: Taking taylor expansion of 500.0 in x 35.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 35.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.262 * [taylor]: Taking taylor expansion of y in x 35.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.262 * [taylor]: Taking taylor expansion of x in x 35.262 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y 35.262 * [taylor]: Taking taylor expansion of -1 in y 35.262 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.262 * [taylor]: Taking taylor expansion of 500.0 in y 35.262 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y 35.262 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y 35.262 * [taylor]: Taking taylor expansion of 500.0 in y 35.262 * [taylor]: Taking taylor expansion of y in y 35.263 * [taylor]: Taking taylor expansion of 0 in y 35.267 * [taylor]: Taking taylor expansion of 0 in y 35.268 * [taylor]: Taking taylor expansion of 0 in y 35.268 * * * [progress]: simplifying candidates 35.269 * [simplify]: Simplifying using # : (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (+ (log (sqrt 500.0)) (+ (log (sqrt 500.0)) (log (- x y)))) (+ (log (sqrt 500.0)) (log (* (sqrt 500.0) (- x y)))) (log (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (exp (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y)))) (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (* (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (sqrt 500.0) (* (sqrt 500.0) x)) (* (sqrt 500.0) (* (sqrt 500.0) (neg y))) (* (sqrt 500.0) (* (sqrt 500.0) x)) (* (sqrt 500.0) (* (sqrt 500.0) (neg y))) (* (sqrt 500.0) (* x (sqrt 500.0))) (* (sqrt 500.0) (* (neg y) (sqrt 500.0))) (* (sqrt 500.0) (* x (sqrt 500.0))) (* (sqrt 500.0) (* (neg y) (sqrt 500.0))) (* (* (sqrt 500.0) x) (sqrt 500.0)) (* (* (sqrt 500.0) (neg y)) (sqrt 500.0)) (* (* (sqrt 500.0) x) (sqrt 500.0)) (* (* (sqrt 500.0) (neg y)) (sqrt 500.0)) (* (* x (sqrt 500.0)) (sqrt 500.0)) (* (* (neg y) (sqrt 500.0)) (sqrt 500.0)) (* (* x (sqrt 500.0)) (sqrt 500.0)) (* (* (neg y) (sqrt 500.0)) (sqrt 500.0)) (* (sqrt 500.0) (sqrt 500.0)) (* (cbrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))) (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y)))) (* (sqrt 500.0) (- x y)) (+ (log (sqrt 500.0)) (log (- x y))) (log (* (sqrt 500.0) (- x y))) (exp (* (sqrt 500.0) (- x y))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (- x y))) (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y))) (sqrt (* (sqrt 500.0) (- x y))) (sqrt (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt 500.0) x) (* (sqrt 500.0) (neg y)) (* (sqrt 500.0) x) (* (sqrt 500.0) (neg y)) (* x (sqrt 500.0)) (* (neg y) (sqrt 500.0)) (* x (sqrt 500.0)) (* (neg y) (sqrt 500.0)) (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) 1) (* (sqrt 500.0) (+ (sqrt x) (sqrt y))) (* (sqrt 500.0) 1) (* (cbrt (sqrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- (pow x 3) (pow y 3))) (* (sqrt 500.0) (- (* x x) (* y y))) (- (* (pow (sqrt 500.0) 2) x) (* (pow (sqrt 500.0) 2) y)) (- (* (pow (sqrt 500.0) 2) x) (* (pow (sqrt 500.0) 2) y)) (- (* (pow (sqrt 500.0) 2) x) (* (pow (sqrt 500.0) 2) y)) (- (* (sqrt 500.0) x) (* (sqrt 500.0) y)) (- (* (sqrt 500.0) x) (* (sqrt 500.0) y)) (- (* (sqrt 500.0) x) (* (sqrt 500.0) y)) 35.270 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 35.270 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 35.272 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 35.276 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 35.283 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 35.291 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 35.300 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 35.309 * * [simplify]: iteration done : 65 enodes (cost 5 ) 35.310 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 35.311 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 35.313 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 35.317 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 35.323 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 35.334 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 35.344 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 35.352 * * [simplify]: iteration done : 65 enodes (cost 5 ) 35.353 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 35.354 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 35.356 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 35.358 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 35.360 * * [simplify]: iteration done : 20 enodes (cost 10 ) 35.360 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 35.361 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 35.363 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 35.366 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 35.370 * * [simplify]: iteration 4 : 38 enodes (cost 10 ) 35.374 * * [simplify]: iteration done : 38 enodes (cost 10 ) 35.375 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 35.376 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 35.378 * * [simplify]: iteration 2 : 37 enodes (cost 6 ) 35.384 * * [simplify]: iteration 3 : 57 enodes (cost 6 ) 35.395 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 35.405 * * [simplify]: iteration 5 : 80 enodes (cost 6 ) 35.416 * * [simplify]: iteration 6 : 82 enodes (cost 6 ) 35.426 * * [simplify]: iteration done : 82 enodes (cost 6 ) 35.427 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 35.428 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 35.431 * * [simplify]: iteration 2 : 38 enodes (cost 6 ) 35.437 * * [simplify]: iteration 3 : 79 enodes (cost 6 ) 35.453 * * [simplify]: iteration 4 : 164 enodes (cost 6 ) 35.481 * * [simplify]: iteration 5 : 370 enodes (cost 6 ) 35.649 * * [simplify]: iteration 6 : 925 enodes (cost 6 ) 36.664 * * [simplify]: iteration 7 : 3149 enodes (cost 6 ) 37.671 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 37.671 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 37.673 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 37.678 * * [simplify]: iteration 2 : 98 enodes (cost 11 ) 37.719 * * [simplify]: iteration 3 : 422 enodes (cost 9 ) 38.043 * * [simplify]: iteration 4 : 1582 enodes (cost 9 ) 40.373 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 40.375 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 40.376 * * [simplify]: iteration 1 : 29 enodes (cost 21 ) 40.382 * * [simplify]: iteration 2 : 115 enodes (cost 13 ) 40.435 * * [simplify]: iteration 3 : 516 enodes (cost 13 ) 40.970 * * [simplify]: iteration 4 : 1739 enodes (cost 7 ) 43.910 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 43.911 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 43.912 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 43.914 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 43.918 * * [simplify]: iteration 3 : 45 enodes (cost 13 ) 43.925 * * [simplify]: iteration 4 : 58 enodes (cost 13 ) 43.934 * * [simplify]: iteration 5 : 65 enodes (cost 13 ) 43.943 * * [simplify]: iteration 6 : 67 enodes (cost 13 ) 43.952 * * [simplify]: iteration done : 67 enodes (cost 13 ) 43.953 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 43.954 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 43.956 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 43.960 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 43.970 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 43.978 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 43.988 * * [simplify]: iteration done : 64 enodes (cost 6 ) 43.988 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 43.990 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 43.996 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 44.036 * * [simplify]: iteration 3 : 381 enodes (cost 7 ) 44.415 * * [simplify]: iteration 4 : 1466 enodes (cost 7 ) 46.998 * * [simplify]: iteration 5 : 4355 enodes (cost 7 ) 48.929 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 48.930 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 48.931 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 48.933 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 48.937 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 48.943 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 48.951 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 48.962 * * [simplify]: iteration done : 64 enodes (cost 6 ) 48.963 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 48.964 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 48.966 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 48.969 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 48.976 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 48.987 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 48.997 * * [simplify]: iteration done : 64 enodes (cost 6 ) 48.997 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 48.998 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 48.999 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 49.000 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.001 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.002 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 49.003 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 49.006 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 49.011 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 49.016 * * [simplify]: iteration done : 33 enodes (cost 4 ) 49.016 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.017 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 49.018 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 49.020 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.020 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.021 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 49.023 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 49.026 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 49.030 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 49.034 * * [simplify]: iteration done : 33 enodes (cost 4 ) 49.034 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.035 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 49.036 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 49.037 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.038 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.039 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 49.040 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 49.043 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 49.050 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 49.054 * * [simplify]: iteration done : 30 enodes (cost 4 ) 49.055 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.055 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 49.056 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 49.058 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.058 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.059 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 49.061 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 49.064 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 49.068 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 49.072 * * [simplify]: iteration done : 30 enodes (cost 4 ) 49.073 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.073 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 49.074 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 49.075 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.076 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.077 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 49.078 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 49.081 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 49.085 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 49.089 * * [simplify]: iteration done : 30 enodes (cost 4 ) 49.089 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.090 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 49.091 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 49.092 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.093 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.093 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 49.095 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 49.098 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 49.101 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 49.105 * * [simplify]: iteration done : 30 enodes (cost 4 ) 49.106 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.110 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 49.112 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 49.113 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.114 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.114 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 49.116 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 49.119 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 49.123 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 49.127 * * [simplify]: iteration done : 33 enodes (cost 4 ) 49.128 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.128 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 49.129 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 49.131 * * [simplify]: iteration done : 10 enodes (cost 3 ) 49.131 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 49.132 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 49.134 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 49.136 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 49.140 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 49.145 * * [simplify]: iteration done : 33 enodes (cost 4 ) 49.145 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 49.145 * * [simplify]: iteration done : 3 enodes (cost 1 ) 49.146 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 49.147 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 49.149 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 49.154 * * [simplify]: iteration 3 : 59 enodes (cost 10 ) 49.164 * * [simplify]: iteration 4 : 77 enodes (cost 10 ) 49.181 * * [simplify]: iteration 5 : 93 enodes (cost 10 ) 49.197 * * [simplify]: iteration done : 93 enodes (cost 10 ) 49.198 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 49.199 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 49.201 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 49.206 * * [simplify]: iteration 3 : 60 enodes (cost 10 ) 49.217 * * [simplify]: iteration 4 : 78 enodes (cost 10 ) 49.233 * * [simplify]: iteration 5 : 92 enodes (cost 10 ) 49.249 * * [simplify]: iteration done : 92 enodes (cost 10 ) 49.250 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 49.251 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 49.252 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 49.258 * * [simplify]: iteration 3 : 59 enodes (cost 10 ) 49.269 * * [simplify]: iteration 4 : 77 enodes (cost 10 ) 49.282 * * [simplify]: iteration 5 : 93 enodes (cost 10 ) 49.300 * * [simplify]: iteration done : 93 enodes (cost 10 ) 49.301 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 49.302 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 49.304 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 49.308 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 49.315 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 49.323 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 49.333 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 49.346 * * [simplify]: iteration done : 65 enodes (cost 5 ) 49.346 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 49.347 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 49.349 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 49.354 * * [simplify]: iteration 3 : 59 enodes (cost 10 ) 49.365 * * [simplify]: iteration 4 : 77 enodes (cost 10 ) 49.378 * * [simplify]: iteration 5 : 93 enodes (cost 10 ) 49.395 * * [simplify]: iteration done : 93 enodes (cost 10 ) 49.396 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 49.397 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 49.398 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 49.406 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 49.412 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 49.420 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 49.430 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 49.439 * * [simplify]: iteration done : 65 enodes (cost 5 ) 49.439 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 49.441 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 49.446 * * [simplify]: iteration 2 : 64 enodes (cost 9 ) 49.458 * * [simplify]: iteration 3 : 194 enodes (cost 9 ) 49.520 * * [simplify]: iteration 4 : 527 enodes (cost 9 ) 49.860 * * [simplify]: iteration 5 : 1649 enodes (cost 9 ) 51.307 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 51.307 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 51.309 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 51.311 * * [simplify]: iteration 2 : 44 enodes (cost 9 ) 51.319 * * [simplify]: iteration 3 : 134 enodes (cost 9 ) 51.359 * * [simplify]: iteration 4 : 318 enodes (cost 9 ) 51.469 * * [simplify]: iteration 5 : 494 enodes (cost 9 ) 51.675 * * [simplify]: iteration 6 : 807 enodes (cost 9 ) 52.368 * * [simplify]: iteration 7 : 1432 enodes (cost 9 ) 54.302 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 54.303 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 54.304 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 54.305 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 54.307 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 54.310 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 54.317 * * [simplify]: iteration done : 25 enodes (cost 6 ) 54.318 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 54.319 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 54.320 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 54.321 * * [simplify]: iteration done : 12 enodes (cost 8 ) 54.322 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 54.322 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 54.324 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 54.327 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 54.329 * * [simplify]: iteration 4 : 30 enodes (cost 7 ) 54.333 * * [simplify]: iteration done : 30 enodes (cost 7 ) 54.333 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 54.334 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 54.336 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 54.339 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 54.346 * * [simplify]: iteration 4 : 91 enodes (cost 7 ) 54.360 * * [simplify]: iteration 5 : 193 enodes (cost 7 ) 54.430 * * [simplify]: iteration 6 : 442 enodes (cost 7 ) 54.747 * * [simplify]: iteration 7 : 1407 enodes (cost 7 ) 56.353 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 56.354 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 56.356 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 56.359 * * [simplify]: iteration 2 : 60 enodes (cost 10 ) 56.374 * * [simplify]: iteration 3 : 229 enodes (cost 10 ) 56.476 * * [simplify]: iteration 4 : 758 enodes (cost 10 ) 57.074 * * [simplify]: iteration 5 : 2382 enodes (cost 10 ) 58.958 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 58.959 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 58.960 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 58.961 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 58.963 * * [simplify]: iteration 3 : 23 enodes (cost 15 ) 58.966 * * [simplify]: iteration 4 : 27 enodes (cost 15 ) 58.969 * * [simplify]: iteration done : 27 enodes (cost 15 ) 58.970 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.971 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 58.972 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 58.975 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 58.977 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 58.980 * * [simplify]: iteration done : 26 enodes (cost 7 ) 58.981 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 58.982 * * [simplify]: iteration 1 : 21 enodes (cost 20 ) 58.987 * * [simplify]: iteration 2 : 75 enodes (cost 8 ) 59.012 * * [simplify]: iteration 3 : 264 enodes (cost 8 ) 59.157 * * [simplify]: iteration 4 : 800 enodes (cost 8 ) 59.967 * * [simplify]: iteration 5 : 2490 enodes (cost 8 ) 61.889 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 61.889 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 61.890 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 61.891 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 61.894 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 61.896 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 61.899 * * [simplify]: iteration done : 26 enodes (cost 7 ) 61.900 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 61.901 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 61.902 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 61.904 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 61.907 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 61.910 * * [simplify]: iteration done : 26 enodes (cost 7 ) 61.912 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 61.913 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 61.914 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 61.915 * * [simplify]: iteration done : 12 enodes (cost 8 ) 61.917 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 61.917 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 61.919 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 61.920 * * [simplify]: iteration done : 12 enodes (cost 8 ) 61.920 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 61.921 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 61.922 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 61.923 * * [simplify]: iteration done : 12 enodes (cost 8 ) 61.924 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 61.925 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 61.926 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 61.927 * * [simplify]: iteration done : 12 enodes (cost 8 ) 61.927 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 61.928 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 61.928 * * [simplify]: iteration done : 5 enodes (cost 4 ) 61.929 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 61.930 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 61.930 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 61.932 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 61.933 * * [simplify]: iteration done : 12 enodes (cost 5 ) 61.934 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 61.934 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 61.935 * * [simplify]: iteration done : 5 enodes (cost 4 ) 61.935 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 61.936 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 61.937 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 61.938 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 61.939 * * [simplify]: iteration done : 12 enodes (cost 5 ) 61.940 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 61.940 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 61.941 * * [simplify]: iteration done : 5 enodes (cost 4 ) 61.941 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 61.942 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 61.943 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 61.944 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 61.946 * * [simplify]: iteration done : 12 enodes (cost 5 ) 61.946 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 61.947 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 61.947 * * [simplify]: iteration done : 5 enodes (cost 4 ) 61.948 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 61.949 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 61.949 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 61.951 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 61.952 * * [simplify]: iteration done : 12 enodes (cost 5 ) 61.953 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 61.953 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 61.955 * * [simplify]: iteration 2 : 16 enodes (cost 12 ) 61.957 * * [simplify]: iteration done : 16 enodes (cost 12 ) 61.957 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 61.958 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 61.959 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 61.960 * * [simplify]: iteration done : 11 enodes (cost 7 ) 61.961 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 61.961 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 61.962 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 61.963 * * [simplify]: iteration done : 10 enodes (cost 2 ) 61.963 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 61.964 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 61.966 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 61.968 * * [simplify]: iteration done : 17 enodes (cost 8 ) 61.968 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 61.969 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 61.970 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 61.970 * * [simplify]: iteration done : 10 enodes (cost 2 ) 61.971 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 61.972 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 61.973 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 61.975 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 61.978 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 61.982 * * [simplify]: iteration done : 26 enodes (cost 7 ) 61.983 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 61.984 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 61.985 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 61.987 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 61.990 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 61.993 * * [simplify]: iteration done : 26 enodes (cost 7 ) 61.994 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 61.995 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 61.996 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 61.998 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 62.001 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 62.004 * * [simplify]: iteration done : 26 enodes (cost 7 ) 62.004 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 62.005 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 62.006 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 62.008 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 62.010 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 62.013 * * [simplify]: iteration done : 25 enodes (cost 6 ) 62.014 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 62.015 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 62.016 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 62.018 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 62.021 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 62.024 * * [simplify]: iteration done : 26 enodes (cost 7 ) 62.025 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 62.025 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 62.026 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 62.029 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 62.031 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 62.034 * * [simplify]: iteration done : 25 enodes (cost 6 ) 62.035 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 62.036 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 62.040 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 62.052 * * [simplify]: iteration 3 : 132 enodes (cost 10 ) 62.079 * * [simplify]: iteration 4 : 306 enodes (cost 10 ) 62.212 * * [simplify]: iteration 5 : 992 enodes (cost 10 ) 63.297 * * [simplify]: iteration 6 : 4487 enodes (cost 10 ) 65.474 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 65.475 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 65.476 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 65.478 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 65.483 * * [simplify]: iteration 3 : 77 enodes (cost 10 ) 65.504 * * [simplify]: iteration 4 : 164 enodes (cost 10 ) 65.543 * * [simplify]: iteration 5 : 250 enodes (cost 10 ) 65.622 * * [simplify]: iteration 6 : 410 enodes (cost 10 ) 65.808 * * [simplify]: iteration 7 : 781 enodes (cost 10 ) 67.565 * * [simplify]: iteration 8 : 3429 enodes (cost 10 ) 69.848 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 69.848 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 69.850 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 69.854 * * [simplify]: iteration 2 : 57 enodes (cost 5 ) 69.862 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 69.881 * * [simplify]: iteration 4 : 239 enodes (cost 5 ) 69.989 * * [simplify]: iteration 5 : 702 enodes (cost 5 ) 71.080 * * [simplify]: iteration 6 : 2418 enodes (cost 5 ) 73.142 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 73.143 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 73.144 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 73.148 * * [simplify]: iteration 2 : 57 enodes (cost 5 ) 73.160 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 73.179 * * [simplify]: iteration 4 : 239 enodes (cost 5 ) 73.288 * * [simplify]: iteration 5 : 702 enodes (cost 5 ) 74.181 * * [simplify]: iteration 6 : 2418 enodes (cost 5 ) 76.229 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 76.230 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 76.231 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 76.235 * * [simplify]: iteration 2 : 57 enodes (cost 5 ) 76.243 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 76.266 * * [simplify]: iteration 4 : 239 enodes (cost 5 ) 76.375 * * [simplify]: iteration 5 : 702 enodes (cost 5 ) 77.266 * * [simplify]: iteration 6 : 2418 enodes (cost 5 ) 79.323 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 79.323 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 79.325 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.326 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 79.329 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 79.332 * * [simplify]: iteration done : 23 enodes (cost 6 ) 79.333 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 79.334 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.335 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 79.338 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 79.341 * * [simplify]: iteration done : 23 enodes (cost 6 ) 79.342 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 79.343 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.345 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 79.348 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 79.351 * * [simplify]: iteration done : 23 enodes (cost 6 ) 79.351 * [simplify]: Simplified to: (* 500.0 (- x y)) (* 500.0 (- x y)) (+ (* 2 (log (sqrt 500.0))) (log (- x y))) (+ (* 2 (log (sqrt 500.0))) (log (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (* (pow (- x y) 3) (pow 500.0 3)) (pow (* 500.0 (- x y)) 3) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* (- x y) 500.0) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* x 500.0) (* 500.0 (neg y)) (* x 500.0) (* 500.0 (neg y)) (* x 500.0) (* (neg y) 500.0) (* x 500.0) (* (neg y) 500.0) (* x 500.0) (* (neg y) 500.0) (* x 500.0) (* (neg y) 500.0) (* 500.0 x) (* 500.0 (neg y)) (* 500.0 x) (* 500.0 (neg y)) 500.0 (* (cbrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* 500.0 (- x y)) (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y))) (* 500.0 (- x y)) (* (- (pow x 3) (pow y 3)) 500.0) (* (- (* x x) (* y y)) 500.0) (* (sqrt 500.0) (- x y)) (+ (log (sqrt 500.0)) (log (- x y))) (log (* (sqrt 500.0) (- x y))) (exp (* (sqrt 500.0) (- x y))) (* (pow (- x y) 3) (* 500.0 (sqrt 500.0))) (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (- x y))) (pow (* (sqrt 500.0) (- x y)) 3) (sqrt (* (sqrt 500.0) (- x y))) (sqrt (* (sqrt 500.0) (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt 500.0) x) (* (sqrt 500.0) (neg y)) (* (sqrt 500.0) x) (* (sqrt 500.0) (neg y)) (* x (sqrt 500.0)) (* (neg y) (sqrt 500.0)) (* x (sqrt 500.0)) (* (neg y) (sqrt 500.0)) (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 500.0) (sqrt (- x y))) (sqrt 500.0) (* (sqrt 500.0) (+ (sqrt x) (sqrt y))) (sqrt 500.0) (* (cbrt (sqrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt (sqrt 500.0)) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- (pow x 3) (pow y 3))) (* (sqrt 500.0) (- (* x x) (* y y))) (* (- x y) 500.0) (* (- x y) 500.0) (* (- x y) 500.0) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) 79.352 * * * [progress]: adding candidates to table 79.433 * * [progress]: iteration 4 / 4 79.433 * * * [progress]: picking best candidate 79.441 * * * * [pick]: Picked # 79.441 * * * [progress]: localizing error 79.449 * * * [progress]: generating rewritten candidates 79.449 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 79.455 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 79.463 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 79.480 * * * [progress]: generating series expansions 79.480 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 79.480 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 79.481 * [approximate]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in (x y) around 0 79.481 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in y 79.481 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.481 * [taylor]: Taking taylor expansion of 500.0 in y 79.481 * [taylor]: Taking taylor expansion of (- x y) in y 79.481 * [taylor]: Taking taylor expansion of x in y 79.481 * [taylor]: Taking taylor expansion of y in y 79.481 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in x 79.481 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.481 * [taylor]: Taking taylor expansion of 500.0 in x 79.481 * [taylor]: Taking taylor expansion of (- x y) in x 79.481 * [taylor]: Taking taylor expansion of x in x 79.481 * [taylor]: Taking taylor expansion of y in x 79.481 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in x 79.481 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.481 * [taylor]: Taking taylor expansion of 500.0 in x 79.481 * [taylor]: Taking taylor expansion of (- x y) in x 79.481 * [taylor]: Taking taylor expansion of x in x 79.481 * [taylor]: Taking taylor expansion of y in x 79.481 * [taylor]: Taking taylor expansion of (* -1 (* (cbrt 500.0) y)) in y 79.481 * [taylor]: Taking taylor expansion of -1 in y 79.481 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) y) in y 79.481 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.481 * [taylor]: Taking taylor expansion of 500.0 in y 79.481 * [taylor]: Taking taylor expansion of y in y 79.481 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.482 * [taylor]: Taking taylor expansion of 500.0 in y 79.482 * [taylor]: Taking taylor expansion of 0 in y 79.482 * [taylor]: Taking taylor expansion of 0 in y 79.483 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0 79.483 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y 79.483 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 79.483 * [taylor]: Taking taylor expansion of (/ 1 x) in y 79.483 * [taylor]: Taking taylor expansion of x in y 79.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y 79.483 * [taylor]: Taking taylor expansion of y in y 79.483 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.483 * [taylor]: Taking taylor expansion of 500.0 in y 79.483 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 79.483 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 79.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.483 * [taylor]: Taking taylor expansion of x in x 79.483 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.483 * [taylor]: Taking taylor expansion of y in x 79.483 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.483 * [taylor]: Taking taylor expansion of 500.0 in x 79.483 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 79.483 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 79.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.483 * [taylor]: Taking taylor expansion of x in x 79.483 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.483 * [taylor]: Taking taylor expansion of y in x 79.483 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.483 * [taylor]: Taking taylor expansion of 500.0 in x 79.483 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.483 * [taylor]: Taking taylor expansion of 500.0 in y 79.484 * [taylor]: Taking taylor expansion of (neg (/ (cbrt 500.0) y)) in y 79.484 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 79.484 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.484 * [taylor]: Taking taylor expansion of 500.0 in y 79.484 * [taylor]: Taking taylor expansion of y in y 79.484 * [taylor]: Taking taylor expansion of 0 in y 79.485 * [taylor]: Taking taylor expansion of 0 in y 79.485 * [taylor]: Taking taylor expansion of 0 in y 79.485 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0 79.485 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y 79.485 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 79.485 * [taylor]: Taking taylor expansion of (/ 1 y) in y 79.485 * [taylor]: Taking taylor expansion of y in y 79.486 * [taylor]: Taking taylor expansion of (/ 1 x) in y 79.486 * [taylor]: Taking taylor expansion of x in y 79.486 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.486 * [taylor]: Taking taylor expansion of 500.0 in y 79.486 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 79.486 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 79.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.486 * [taylor]: Taking taylor expansion of y in x 79.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.486 * [taylor]: Taking taylor expansion of x in x 79.486 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.486 * [taylor]: Taking taylor expansion of 500.0 in x 79.486 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 79.486 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 79.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.486 * [taylor]: Taking taylor expansion of y in x 79.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.486 * [taylor]: Taking taylor expansion of x in x 79.486 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.486 * [taylor]: Taking taylor expansion of 500.0 in x 79.486 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y 79.486 * [taylor]: Taking taylor expansion of -1 in y 79.486 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.486 * [taylor]: Taking taylor expansion of 500.0 in y 79.486 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 79.487 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.487 * [taylor]: Taking taylor expansion of 500.0 in y 79.487 * [taylor]: Taking taylor expansion of y in y 79.487 * [taylor]: Taking taylor expansion of 0 in y 79.487 * [taylor]: Taking taylor expansion of 0 in y 79.488 * [taylor]: Taking taylor expansion of 0 in y 79.488 * * * * [progress]: [ 3 / 3 ] generating series at (2) 79.488 * [approximate]: Taking taylor expansion of (* (pow (cbrt 500.0) 3) (- x y)) in (x y) around 0 79.488 * [taylor]: Taking taylor expansion of (* (pow (cbrt 500.0) 3) (- x y)) in y 79.488 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 79.488 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.488 * [taylor]: Taking taylor expansion of 500.0 in y 79.488 * [taylor]: Taking taylor expansion of (- x y) in y 79.488 * [taylor]: Taking taylor expansion of x in y 79.488 * [taylor]: Taking taylor expansion of y in y 79.488 * [taylor]: Taking taylor expansion of (* (pow (cbrt 500.0) 3) (- x y)) in x 79.489 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 79.489 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.489 * [taylor]: Taking taylor expansion of 500.0 in x 79.489 * [taylor]: Taking taylor expansion of (- x y) in x 79.489 * [taylor]: Taking taylor expansion of x in x 79.489 * [taylor]: Taking taylor expansion of y in x 79.489 * [taylor]: Taking taylor expansion of (* (pow (cbrt 500.0) 3) (- x y)) in x 79.489 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 79.489 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.489 * [taylor]: Taking taylor expansion of 500.0 in x 79.489 * [taylor]: Taking taylor expansion of (- x y) in x 79.489 * [taylor]: Taking taylor expansion of x in x 79.489 * [taylor]: Taking taylor expansion of y in x 79.489 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 79.489 * [taylor]: Taking taylor expansion of -500.0 in y 79.489 * [taylor]: Taking taylor expansion of y in y 79.490 * [taylor]: Taking taylor expansion of 500.0 in y 79.491 * [taylor]: Taking taylor expansion of 0 in y 79.491 * [taylor]: Taking taylor expansion of 0 in y 79.491 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0 79.491 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y 79.491 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 79.491 * [taylor]: Taking taylor expansion of (/ 1 x) in y 79.491 * [taylor]: Taking taylor expansion of x in y 79.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 79.491 * [taylor]: Taking taylor expansion of y in y 79.491 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 79.491 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.492 * [taylor]: Taking taylor expansion of 500.0 in y 79.492 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 79.492 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 79.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.492 * [taylor]: Taking taylor expansion of x in x 79.492 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.492 * [taylor]: Taking taylor expansion of y in x 79.492 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 79.492 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.492 * [taylor]: Taking taylor expansion of 500.0 in x 79.492 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 79.492 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 79.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.492 * [taylor]: Taking taylor expansion of x in x 79.492 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.492 * [taylor]: Taking taylor expansion of y in x 79.492 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 79.492 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.492 * [taylor]: Taking taylor expansion of 500.0 in x 79.492 * [taylor]: Taking taylor expansion of 500.0 in y 79.493 * [taylor]: Taking taylor expansion of (neg (* 500.0 (/ 1 y))) in y 79.493 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 79.493 * [taylor]: Taking taylor expansion of 500.0 in y 79.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y 79.493 * [taylor]: Taking taylor expansion of y in y 79.494 * [taylor]: Taking taylor expansion of 0 in y 79.494 * [taylor]: Taking taylor expansion of 0 in y 79.495 * [taylor]: Taking taylor expansion of 0 in y 79.496 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0 79.496 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y 79.496 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 79.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 79.496 * [taylor]: Taking taylor expansion of y in y 79.496 * [taylor]: Taking taylor expansion of (/ 1 x) in y 79.496 * [taylor]: Taking taylor expansion of x in y 79.496 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 79.496 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 79.496 * [taylor]: Taking taylor expansion of 500.0 in y 79.496 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 79.496 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 79.496 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.496 * [taylor]: Taking taylor expansion of y in x 79.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.496 * [taylor]: Taking taylor expansion of x in x 79.496 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 79.496 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.496 * [taylor]: Taking taylor expansion of 500.0 in x 79.496 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 79.496 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 79.496 * [taylor]: Taking taylor expansion of (/ 1 y) in x 79.496 * [taylor]: Taking taylor expansion of y in x 79.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 79.496 * [taylor]: Taking taylor expansion of x in x 79.496 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 79.496 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 79.496 * [taylor]: Taking taylor expansion of 500.0 in x 79.497 * [taylor]: Taking taylor expansion of -500.0 in y 79.497 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 79.497 * [taylor]: Taking taylor expansion of 500.0 in y 79.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 79.497 * [taylor]: Taking taylor expansion of y in y 79.498 * [taylor]: Taking taylor expansion of 0 in y 79.498 * [taylor]: Taking taylor expansion of 0 in y 79.499 * [taylor]: Taking taylor expansion of 0 in y 79.499 * * * [progress]: simplifying candidates 79.501 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* 500.0 500.0) (* (cbrt 500.0) (cbrt 500.0)) (+ 1 1) (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (cbrt 500.0) (cbrt 500.0))) (exp (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt 500.0) (cbrt 500.0)) (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* 1 1) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* 2 1/3) (* 2 1) (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt 500.0) (cbrt (sqrt 500.0))) (* (cbrt 500.0) (cbrt 1)) (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (cbrt 500.0) (sqrt (cbrt 500.0))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (+ (log (cbrt 500.0)) (log (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* 500.0 (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) x) (* (cbrt 500.0) (neg y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (neg y)) (* x (cbrt 500.0)) (* (neg y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (neg y) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (* (cbrt 500.0) 1) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (log (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (exp (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* 500.0 500.0) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* 500.0 500.0) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x)) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (neg y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x)) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (neg y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (neg y) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (neg y) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (neg y)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (neg y)) (* (cbrt 500.0) (cbrt 500.0))) (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (neg y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (neg y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (pow x 3) (pow y 3)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (* x x) (* y y)))) (* (cbrt 500.0) (- x y)) (- (* x (cbrt 500.0)) (* (cbrt 500.0) y)) (- (* x (cbrt 500.0)) (* (cbrt 500.0) y)) (- (* x (cbrt 500.0)) (* (cbrt 500.0) y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 79.501 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 79.502 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 79.502 * * [simplify]: iteration done : 5 enodes (cost 1 ) 79.503 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 79.503 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 79.503 * * [simplify]: iteration done : 6 enodes (cost 1 ) 79.504 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 79.504 * * [simplify]: iteration done : 2 enodes (cost 3 ) 79.505 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 79.505 * * [simplify]: iteration done : 3 enodes (cost 5 ) 79.506 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 79.506 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 79.506 * * [simplify]: iteration done : 6 enodes (cost 1 ) 79.507 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 79.507 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 79.508 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 79.509 * * [simplify]: iteration done : 7 enodes (cost 5 ) 79.509 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 79.510 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 79.510 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 79.511 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 79.512 * * [simplify]: iteration done : 9 enodes (cost 5 ) 79.513 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 79.513 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 79.514 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 79.515 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 79.517 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 79.522 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 79.546 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 79.645 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 80.518 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 82.665 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 82.666 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 82.666 * * [simplify]: iteration done : 2 enodes (cost 3 ) 82.667 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 82.667 * * [simplify]: iteration done : 5 enodes (cost 13 ) 82.668 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 82.668 * * [simplify]: iteration done : 4 enodes (cost 6 ) 82.669 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 82.670 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 82.675 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 82.680 * * [simplify]: iteration 3 : 34 enodes (cost 3 ) 82.685 * * [simplify]: iteration 4 : 53 enodes (cost 3 ) 82.692 * * [simplify]: iteration 5 : 87 enodes (cost 3 ) 82.703 * * [simplify]: iteration 6 : 151 enodes (cost 3 ) 82.747 * * [simplify]: iteration 7 : 335 enodes (cost 3 ) 82.879 * * [simplify]: iteration 8 : 832 enodes (cost 3 ) 84.003 * * [simplify]: iteration 9 : 3226 enodes (cost 3 ) 85.764 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 85.765 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 85.765 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 85.766 * * [simplify]: iteration done : 5 enodes (cost 3 ) 85.766 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 85.767 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 85.767 * * [simplify]: iteration done : 5 enodes (cost 3 ) 85.768 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 85.769 * * [simplify]: iteration done : 5 enodes (cost 13 ) 85.769 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 85.770 * * [simplify]: iteration done : 4 enodes (cost 7 ) 85.770 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 85.771 * * [simplify]: iteration done : 4 enodes (cost 7 ) 85.771 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 85.772 * * [simplify]: iteration done : 4 enodes (cost 7 ) 85.772 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 85.773 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 85.773 * * [simplify]: iteration done : 5 enodes (cost 1 ) 85.773 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 85.774 * * [simplify]: iteration done : 3 enodes (cost 5 ) 85.774 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 85.775 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 85.776 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 85.782 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 85.784 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 85.789 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 85.800 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 85.845 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 86.197 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 87.795 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 87.796 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.796 * * [simplify]: iteration done : 4 enodes (cost 7 ) 87.797 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.797 * * [simplify]: iteration done : 4 enodes (cost 2 ) 87.798 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.798 * * [simplify]: iteration done : 4 enodes (cost 2 ) 87.799 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 87.799 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 87.800 * * [simplify]: iteration done : 4 enodes (cost 1 ) 87.800 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 87.800 * * [simplify]: iteration done : 3 enodes (cost 5 ) 87.801 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.801 * * [simplify]: iteration done : 4 enodes (cost 7 ) 87.802 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.802 * * [simplify]: iteration done : 4 enodes (cost 7 ) 87.803 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 87.804 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 87.804 * * [simplify]: iteration done : 7 enodes (cost 7 ) 87.805 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 87.806 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 87.806 * * [simplify]: iteration done : 7 enodes (cost 7 ) 87.807 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 87.807 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 87.808 * * [simplify]: iteration done : 7 enodes (cost 7 ) 87.809 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 87.809 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 87.810 * * [simplify]: iteration done : 7 enodes (cost 7 ) 87.810 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.811 * * [simplify]: iteration done : 4 enodes (cost 2 ) 87.812 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.812 * * [simplify]: iteration done : 4 enodes (cost 2 ) 87.813 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.813 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 87.814 * * [simplify]: iteration done : 5 enodes (cost 1 ) 87.814 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.815 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 87.815 * * [simplify]: iteration done : 6 enodes (cost 1 ) 87.815 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 87.816 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 87.817 * * [simplify]: iteration done : 6 enodes (cost 9 ) 87.817 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 87.818 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 87.818 * * [simplify]: iteration done : 6 enodes (cost 6 ) 87.819 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 87.820 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 87.820 * * [simplify]: iteration done : 8 enodes (cost 4 ) 87.821 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 87.821 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 87.822 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 87.824 * * [simplify]: iteration done : 10 enodes (cost 10 ) 87.824 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 87.825 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 87.825 * * [simplify]: iteration done : 5 enodes (cost 6 ) 87.826 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 87.826 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 87.827 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 87.828 * * [simplify]: iteration done : 10 enodes (cost 2 ) 87.828 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 87.829 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 87.829 * * [simplify]: iteration done : 5 enodes (cost 6 ) 87.830 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 87.831 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 87.832 * * [simplify]: iteration done : 6 enodes (cost 6 ) 87.832 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 87.833 * * [simplify]: iteration done : 3 enodes (cost 5 ) 87.833 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 87.834 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 87.834 * * [simplify]: iteration done : 5 enodes (cost 6 ) 87.835 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 87.835 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 87.836 * * [simplify]: iteration done : 5 enodes (cost 6 ) 87.836 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 87.837 * * [simplify]: iteration done : 3 enodes (cost 5 ) 87.837 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 87.838 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 87.839 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 87.841 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 87.843 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 87.847 * * [simplify]: iteration done : 25 enodes (cost 6 ) 87.847 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 87.848 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 87.849 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 87.850 * * [simplify]: iteration done : 12 enodes (cost 8 ) 87.851 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 87.852 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 87.853 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 87.856 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 87.861 * * [simplify]: iteration 4 : 30 enodes (cost 7 ) 87.865 * * [simplify]: iteration done : 30 enodes (cost 7 ) 87.865 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 87.866 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 87.868 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 87.872 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 87.879 * * [simplify]: iteration 4 : 91 enodes (cost 7 ) 87.893 * * [simplify]: iteration 5 : 193 enodes (cost 7 ) 87.965 * * [simplify]: iteration 6 : 442 enodes (cost 7 ) 88.272 * * [simplify]: iteration 7 : 1407 enodes (cost 7 ) 90.044 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 90.044 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 90.045 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 90.047 * * [simplify]: iteration 2 : 41 enodes (cost 7 ) 90.056 * * [simplify]: iteration 3 : 127 enodes (cost 7 ) 90.100 * * [simplify]: iteration 4 : 390 enodes (cost 7 ) 90.291 * * [simplify]: iteration 5 : 1107 enodes (cost 7 ) 91.689 * * [simplify]: iteration 6 : 3439 enodes (cost 7 ) 93.203 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 93.204 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 93.205 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 93.206 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 93.208 * * [simplify]: iteration 3 : 23 enodes (cost 15 ) 93.211 * * [simplify]: iteration 4 : 27 enodes (cost 15 ) 93.214 * * [simplify]: iteration done : 27 enodes (cost 15 ) 93.215 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 93.216 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 93.217 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 93.219 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 93.222 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 93.225 * * [simplify]: iteration done : 26 enodes (cost 7 ) 93.225 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 93.226 * * [simplify]: iteration 1 : 21 enodes (cost 20 ) 93.233 * * [simplify]: iteration 2 : 75 enodes (cost 8 ) 93.256 * * [simplify]: iteration 3 : 265 enodes (cost 8 ) 93.404 * * [simplify]: iteration 4 : 816 enodes (cost 7 ) 94.197 * * [simplify]: iteration 5 : 2445 enodes (cost 7 ) 96.435 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 96.435 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.436 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 96.437 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 96.439 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 96.442 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 96.445 * * [simplify]: iteration done : 26 enodes (cost 7 ) 96.446 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.447 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 96.448 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 96.450 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 96.453 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 96.456 * * [simplify]: iteration done : 26 enodes (cost 7 ) 96.456 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 96.457 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 96.459 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 96.460 * * [simplify]: iteration done : 12 enodes (cost 8 ) 96.460 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 96.461 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 96.462 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 96.466 * * [simplify]: iteration done : 12 enodes (cost 8 ) 96.467 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 96.468 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 96.469 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 96.470 * * [simplify]: iteration done : 12 enodes (cost 8 ) 96.470 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 96.471 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 96.472 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 96.473 * * [simplify]: iteration done : 12 enodes (cost 8 ) 96.474 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.474 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 96.475 * * [simplify]: iteration done : 5 enodes (cost 4 ) 96.476 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 96.476 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 96.477 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 96.478 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 96.479 * * [simplify]: iteration done : 12 enodes (cost 5 ) 96.480 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.480 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 96.481 * * [simplify]: iteration done : 5 enodes (cost 4 ) 96.481 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 96.482 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 96.483 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 96.484 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 96.485 * * [simplify]: iteration done : 12 enodes (cost 5 ) 96.486 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.487 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 96.487 * * [simplify]: iteration done : 5 enodes (cost 4 ) 96.488 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 96.488 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 96.489 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 96.491 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 96.492 * * [simplify]: iteration done : 12 enodes (cost 5 ) 96.493 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.493 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 96.494 * * [simplify]: iteration done : 5 enodes (cost 4 ) 96.494 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 96.495 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 96.496 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 96.497 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 96.498 * * [simplify]: iteration done : 12 enodes (cost 5 ) 96.499 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 96.500 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 96.501 * * [simplify]: iteration 2 : 16 enodes (cost 12 ) 96.503 * * [simplify]: iteration done : 16 enodes (cost 12 ) 96.504 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.505 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 96.506 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 96.507 * * [simplify]: iteration done : 11 enodes (cost 7 ) 96.507 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.508 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 96.509 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 96.509 * * [simplify]: iteration done : 10 enodes (cost 2 ) 96.510 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 96.511 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 96.513 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 96.515 * * [simplify]: iteration done : 17 enodes (cost 8 ) 96.516 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.516 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 96.517 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 96.518 * * [simplify]: iteration done : 10 enodes (cost 2 ) 96.518 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.519 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 96.520 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 96.522 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 96.525 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 96.528 * * [simplify]: iteration done : 26 enodes (cost 7 ) 96.528 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.529 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 96.530 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 96.532 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 96.536 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 96.539 * * [simplify]: iteration done : 26 enodes (cost 7 ) 96.540 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 96.541 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 96.542 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 96.544 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 96.547 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 96.550 * * [simplify]: iteration done : 25 enodes (cost 6 ) 96.550 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.551 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 96.552 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 96.554 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 96.557 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 96.560 * * [simplify]: iteration done : 26 enodes (cost 7 ) 96.561 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 96.562 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 96.563 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 96.565 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 96.568 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 96.571 * * [simplify]: iteration done : 26 enodes (cost 7 ) 96.572 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 96.572 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 96.573 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 96.576 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 96.578 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 96.581 * * [simplify]: iteration done : 25 enodes (cost 6 ) 96.582 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 96.583 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 96.587 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 96.596 * * [simplify]: iteration 3 : 132 enodes (cost 10 ) 96.627 * * [simplify]: iteration 4 : 306 enodes (cost 10 ) 96.757 * * [simplify]: iteration 5 : 992 enodes (cost 10 ) 97.834 * * [simplify]: iteration 6 : 4487 enodes (cost 10 ) 99.993 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 99.993 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 99.995 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 99.997 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 100.002 * * [simplify]: iteration 3 : 77 enodes (cost 10 ) 100.018 * * [simplify]: iteration 4 : 164 enodes (cost 10 ) 100.061 * * [simplify]: iteration 5 : 250 enodes (cost 10 ) 100.140 * * [simplify]: iteration 6 : 410 enodes (cost 10 ) 100.323 * * [simplify]: iteration 7 : 781 enodes (cost 10 ) 102.077 * * [simplify]: iteration 8 : 3429 enodes (cost 10 ) 104.371 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 104.372 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 104.373 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 104.375 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 104.384 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 104.398 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 104.414 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 104.440 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 104.462 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 104.485 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 104.516 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 104.584 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 105.057 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 107.421 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 107.422 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 107.423 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 107.425 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 107.432 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 107.446 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 107.462 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 107.490 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 107.512 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 107.539 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 107.567 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 107.634 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 108.105 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 110.714 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 110.715 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 110.721 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 110.723 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 110.730 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 110.744 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 110.764 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 110.787 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 110.810 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 110.835 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 110.864 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 110.934 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 111.407 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 113.785 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 113.786 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 113.787 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 113.789 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 113.797 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 113.811 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 113.831 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 113.854 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 113.880 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 113.903 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 113.935 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 114.003 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 114.475 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 116.842 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 116.843 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 116.844 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 116.846 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 116.850 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 116.854 * * [simplify]: iteration done : 38 enodes (cost 10 ) 116.855 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 116.857 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 116.859 * * [simplify]: iteration 2 : 36 enodes (cost 13 ) 116.867 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 116.873 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 116.880 * * [simplify]: iteration done : 55 enodes (cost 10 ) 116.880 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 116.882 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 116.884 * * [simplify]: iteration 2 : 31 enodes (cost 14 ) 116.888 * * [simplify]: iteration 3 : 36 enodes (cost 10 ) 116.892 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 116.896 * * [simplify]: iteration done : 39 enodes (cost 10 ) 116.897 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 116.898 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 116.900 * * [simplify]: iteration 2 : 36 enodes (cost 13 ) 116.905 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 116.911 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 116.918 * * [simplify]: iteration done : 59 enodes (cost 10 ) 116.919 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 116.920 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 116.923 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 116.934 * * [simplify]: iteration 3 : 100 enodes (cost 9 ) 116.951 * * [simplify]: iteration 4 : 134 enodes (cost 6 ) 116.971 * * [simplify]: iteration 5 : 161 enodes (cost 6 ) 117.000 * * [simplify]: iteration 6 : 180 enodes (cost 6 ) 117.026 * * [simplify]: iteration 7 : 190 enodes (cost 6 ) 117.054 * * [simplify]: iteration 8 : 211 enodes (cost 6 ) 117.087 * * [simplify]: iteration 9 : 271 enodes (cost 6 ) 117.160 * * [simplify]: iteration 10 : 484 enodes (cost 6 ) 117.653 * * [simplify]: iteration 11 : 1423 enodes (cost 6 ) 119.952 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 119.952 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 119.954 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 119.957 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 119.966 * * [simplify]: iteration 3 : 119 enodes (cost 9 ) 119.992 * * [simplify]: iteration 4 : 256 enodes (cost 6 ) 120.045 * * [simplify]: iteration 5 : 584 enodes (cost 6 ) 120.375 * * [simplify]: iteration 6 : 1640 enodes (cost 6 ) 121.505 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 121.506 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 121.512 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 121.516 * * [simplify]: iteration 2 : 65 enodes (cost 11 ) 121.538 * * [simplify]: iteration 3 : 253 enodes (cost 9 ) 121.648 * * [simplify]: iteration 4 : 785 enodes (cost 9 ) 122.298 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 124.007 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 124.008 * * [simplify]: iteration 0 : 10 enodes (cost 24 ) 124.010 * * [simplify]: iteration 1 : 28 enodes (cost 24 ) 124.017 * * [simplify]: iteration 2 : 113 enodes (cost 12 ) 124.071 * * [simplify]: iteration 3 : 585 enodes (cost 12 ) 124.810 * * [simplify]: iteration 4 : 2417 enodes (cost 11 ) 127.538 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 127.539 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 127.541 * * [simplify]: iteration 1 : 31 enodes (cost 31 ) 127.547 * * [simplify]: iteration 2 : 114 enodes (cost 15 ) 127.622 * * [simplify]: iteration 3 : 536 enodes (cost 11 ) 128.130 * * [simplify]: iteration 4 : 2084 enodes (cost 9 ) 130.379 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 130.380 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 130.382 * * [simplify]: iteration 1 : 37 enodes (cost 38 ) 130.391 * * [simplify]: iteration 2 : 154 enodes (cost 16 ) 130.493 * * [simplify]: iteration 3 : 812 enodes (cost 11 ) 131.747 * * [simplify]: iteration 4 : 3037 enodes (cost 7 ) 134.418 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 134.419 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 134.420 * * [simplify]: iteration 1 : 18 enodes (cost 27 ) 134.423 * * [simplify]: iteration 2 : 39 enodes (cost 27 ) 134.429 * * [simplify]: iteration 3 : 74 enodes (cost 19 ) 134.443 * * [simplify]: iteration 4 : 103 enodes (cost 13 ) 134.464 * * [simplify]: iteration 5 : 129 enodes (cost 13 ) 134.487 * * [simplify]: iteration 6 : 148 enodes (cost 13 ) 134.509 * * [simplify]: iteration 7 : 158 enodes (cost 13 ) 134.536 * * [simplify]: iteration 8 : 179 enodes (cost 13 ) 134.564 * * [simplify]: iteration 9 : 241 enodes (cost 13 ) 134.635 * * [simplify]: iteration 10 : 450 enodes (cost 13 ) 135.123 * * [simplify]: iteration 11 : 1376 enodes (cost 13 ) 137.559 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 137.559 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 137.560 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 137.563 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 137.569 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 137.583 * * [simplify]: iteration 4 : 100 enodes (cost 6 ) 137.606 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 137.630 * * [simplify]: iteration 6 : 147 enodes (cost 6 ) 137.652 * * [simplify]: iteration 7 : 157 enodes (cost 6 ) 137.679 * * [simplify]: iteration 8 : 178 enodes (cost 6 ) 137.707 * * [simplify]: iteration 9 : 242 enodes (cost 6 ) 137.778 * * [simplify]: iteration 10 : 458 enodes (cost 6 ) 138.252 * * [simplify]: iteration 11 : 1388 enodes (cost 6 ) 140.617 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 140.618 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 140.619 * * [simplify]: iteration 1 : 28 enodes (cost 38 ) 140.626 * * [simplify]: iteration 2 : 128 enodes (cost 14 ) 140.724 * * [simplify]: iteration 3 : 662 enodes (cost 10 ) 141.689 * * [simplify]: iteration 4 : 2503 enodes (cost 7 ) 145.207 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 145.208 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 145.209 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 145.212 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 145.218 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 145.235 * * [simplify]: iteration 4 : 100 enodes (cost 6 ) 145.253 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 145.276 * * [simplify]: iteration 6 : 147 enodes (cost 6 ) 145.302 * * [simplify]: iteration 7 : 157 enodes (cost 6 ) 145.324 * * [simplify]: iteration 8 : 178 enodes (cost 6 ) 145.357 * * [simplify]: iteration 9 : 242 enodes (cost 6 ) 145.425 * * [simplify]: iteration 10 : 458 enodes (cost 6 ) 145.893 * * [simplify]: iteration 11 : 1388 enodes (cost 6 ) 148.266 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 148.266 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 148.267 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 148.270 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 148.277 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 148.291 * * [simplify]: iteration 4 : 100 enodes (cost 6 ) 148.307 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 148.337 * * [simplify]: iteration 6 : 147 enodes (cost 6 ) 148.359 * * [simplify]: iteration 7 : 157 enodes (cost 6 ) 148.386 * * [simplify]: iteration 8 : 178 enodes (cost 6 ) 148.415 * * [simplify]: iteration 9 : 242 enodes (cost 6 ) 148.486 * * [simplify]: iteration 10 : 458 enodes (cost 6 ) 148.957 * * [simplify]: iteration 11 : 1388 enodes (cost 6 ) 151.316 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 151.317 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 151.318 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 151.320 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 151.323 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 151.326 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 151.329 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 151.332 * * [simplify]: iteration 6 : 37 enodes (cost 3 ) 151.343 * * [simplify]: iteration 7 : 47 enodes (cost 3 ) 151.348 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 151.359 * * [simplify]: iteration 9 : 131 enodes (cost 3 ) 151.406 * * [simplify]: iteration 10 : 345 enodes (cost 3 ) 151.874 * * [simplify]: iteration 11 : 1271 enodes (cost 3 ) 154.314 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 154.315 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 154.316 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 154.319 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 154.325 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 154.341 * * [simplify]: iteration 4 : 80 enodes (cost 4 ) 154.352 * * [simplify]: iteration 5 : 84 enodes (cost 4 ) 154.364 * * [simplify]: iteration 6 : 90 enodes (cost 4 ) 154.378 * * [simplify]: iteration 7 : 100 enodes (cost 4 ) 154.391 * * [simplify]: iteration 8 : 121 enodes (cost 4 ) 154.414 * * [simplify]: iteration 9 : 186 enodes (cost 4 ) 154.473 * * [simplify]: iteration 10 : 401 enodes (cost 4 ) 155.176 * * [simplify]: iteration 11 : 1334 enodes (cost 4 ) 157.677 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 157.678 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 157.679 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 157.681 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 157.684 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 157.687 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 157.690 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 157.693 * * [simplify]: iteration 6 : 37 enodes (cost 3 ) 157.696 * * [simplify]: iteration 7 : 47 enodes (cost 3 ) 157.701 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 157.718 * * [simplify]: iteration 9 : 131 enodes (cost 3 ) 157.762 * * [simplify]: iteration 10 : 345 enodes (cost 3 ) 158.234 * * [simplify]: iteration 11 : 1271 enodes (cost 3 ) 160.679 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 160.680 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 160.681 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 160.683 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 160.689 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 160.701 * * [simplify]: iteration 4 : 80 enodes (cost 4 ) 160.717 * * [simplify]: iteration 5 : 84 enodes (cost 4 ) 160.729 * * [simplify]: iteration 6 : 90 enodes (cost 4 ) 160.743 * * [simplify]: iteration 7 : 100 enodes (cost 4 ) 160.757 * * [simplify]: iteration 8 : 121 enodes (cost 4 ) 160.780 * * [simplify]: iteration 9 : 186 enodes (cost 4 ) 160.837 * * [simplify]: iteration 10 : 401 enodes (cost 4 ) 161.301 * * [simplify]: iteration 11 : 1334 enodes (cost 4 ) 163.716 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 163.716 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 163.717 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 163.719 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 163.722 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 163.725 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 163.728 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 163.731 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 163.734 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 163.739 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 163.750 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 163.799 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 164.240 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 166.726 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 166.727 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 166.727 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 166.730 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 166.736 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 166.747 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 166.764 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 166.776 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 166.789 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 166.803 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 166.826 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 166.881 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 167.342 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 169.723 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 169.723 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 169.724 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 169.726 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 169.729 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 169.732 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 169.739 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 169.742 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 169.746 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 169.750 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 169.760 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 169.808 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 170.243 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 172.741 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 172.742 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 172.743 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 172.750 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 172.755 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 172.768 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 172.780 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 172.792 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 172.808 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 172.822 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 172.841 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 172.897 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 173.365 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 175.779 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 175.780 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 175.781 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 175.783 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 175.785 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 175.789 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 175.791 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 175.794 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 175.798 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 175.803 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 175.813 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 175.862 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 176.309 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 178.833 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 178.834 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 178.835 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 178.837 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 178.843 * * [simplify]: iteration 3 : 55 enodes (cost 7 ) 178.854 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 178.872 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 178.884 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 178.897 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 178.910 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 178.934 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 178.992 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 179.466 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 181.965 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 181.965 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 181.966 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 181.968 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 181.971 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 181.975 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 181.978 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 181.981 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 181.984 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 181.989 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 181.999 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 182.050 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 182.504 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 185.305 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 185.306 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 185.307 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 185.310 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 185.315 * * [simplify]: iteration 3 : 55 enodes (cost 7 ) 185.327 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 185.346 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 185.358 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 185.370 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 185.384 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 185.409 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 185.467 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 185.948 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 188.481 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 188.482 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 188.483 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 188.485 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 188.488 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 188.491 * * [simplify]: iteration 4 : 30 enodes (cost 3 ) 188.494 * * [simplify]: iteration 5 : 36 enodes (cost 3 ) 188.498 * * [simplify]: iteration 6 : 46 enodes (cost 3 ) 188.503 * * [simplify]: iteration 7 : 67 enodes (cost 3 ) 188.513 * * [simplify]: iteration 8 : 127 enodes (cost 3 ) 188.562 * * [simplify]: iteration 9 : 333 enodes (cost 3 ) 189.040 * * [simplify]: iteration 10 : 1247 enodes (cost 3 ) 191.491 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 191.492 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 191.493 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 191.495 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 191.502 * * [simplify]: iteration 3 : 60 enodes (cost 4 ) 191.513 * * [simplify]: iteration 4 : 82 enodes (cost 4 ) 191.526 * * [simplify]: iteration 5 : 88 enodes (cost 4 ) 191.543 * * [simplify]: iteration 6 : 98 enodes (cost 4 ) 191.556 * * [simplify]: iteration 7 : 119 enodes (cost 4 ) 191.577 * * [simplify]: iteration 8 : 179 enodes (cost 4 ) 191.633 * * [simplify]: iteration 9 : 381 enodes (cost 4 ) 192.090 * * [simplify]: iteration 10 : 1293 enodes (cost 4 ) 194.343 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 194.344 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 194.345 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 194.347 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 194.351 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 194.353 * * [simplify]: iteration 4 : 30 enodes (cost 3 ) 194.357 * * [simplify]: iteration 5 : 36 enodes (cost 3 ) 194.360 * * [simplify]: iteration 6 : 46 enodes (cost 3 ) 194.365 * * [simplify]: iteration 7 : 67 enodes (cost 3 ) 194.380 * * [simplify]: iteration 8 : 127 enodes (cost 3 ) 194.427 * * [simplify]: iteration 9 : 333 enodes (cost 3 ) 194.884 * * [simplify]: iteration 10 : 1247 enodes (cost 3 ) 197.308 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 197.309 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 197.310 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 197.312 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 197.318 * * [simplify]: iteration 3 : 60 enodes (cost 4 ) 197.329 * * [simplify]: iteration 4 : 82 enodes (cost 4 ) 197.347 * * [simplify]: iteration 5 : 88 enodes (cost 4 ) 197.359 * * [simplify]: iteration 6 : 98 enodes (cost 4 ) 197.374 * * [simplify]: iteration 7 : 119 enodes (cost 4 ) 197.397 * * [simplify]: iteration 8 : 179 enodes (cost 4 ) 197.452 * * [simplify]: iteration 9 : 381 enodes (cost 4 ) 197.912 * * [simplify]: iteration 10 : 1293 enodes (cost 4 ) 200.162 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 200.163 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 200.164 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 200.164 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 200.165 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 200.171 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 200.172 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 200.174 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 200.177 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 200.185 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 200.232 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 200.701 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 203.165 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 203.166 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 203.167 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 203.169 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 203.173 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 203.179 * * [simplify]: iteration 4 : 51 enodes (cost 9 ) 203.188 * * [simplify]: iteration 5 : 57 enodes (cost 9 ) 203.201 * * [simplify]: iteration done : 57 enodes (cost 9 ) 203.202 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 203.203 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 203.209 * * [simplify]: iteration 2 : 73 enodes (cost 16 ) 203.223 * * [simplify]: iteration 3 : 224 enodes (cost 12 ) 203.310 * * [simplify]: iteration 4 : 702 enodes (cost 9 ) 203.836 * * [simplify]: iteration 5 : 2326 enodes (cost 9 ) 205.276 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 205.276 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 205.278 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 205.282 * * [simplify]: iteration 2 : 54 enodes (cost 16 ) 205.295 * * [simplify]: iteration 3 : 177 enodes (cost 12 ) 205.354 * * [simplify]: iteration 4 : 467 enodes (cost 9 ) 205.547 * * [simplify]: iteration 5 : 792 enodes (cost 9 ) 205.989 * * [simplify]: iteration 6 : 1308 enodes (cost 9 ) 206.992 * * [simplify]: iteration 7 : 2203 enodes (cost 9 ) 208.443 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 208.444 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 208.444 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 208.445 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 208.447 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 208.450 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 208.453 * * [simplify]: iteration done : 25 enodes (cost 6 ) 208.453 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 208.454 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 208.456 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 208.458 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 208.462 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 208.465 * * [simplify]: iteration done : 25 enodes (cost 6 ) 208.465 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 208.466 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 208.468 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 208.471 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 208.474 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 208.477 * * [simplify]: iteration done : 25 enodes (cost 6 ) 208.478 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 208.478 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 208.480 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 208.483 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 208.486 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 208.489 * * [simplify]: iteration done : 25 enodes (cost 6 ) 208.490 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 208.491 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 208.492 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 208.498 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 208.501 * * [simplify]: iteration done : 22 enodes (cost 5 ) 208.502 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 208.503 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 208.504 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 208.507 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 208.510 * * [simplify]: iteration done : 22 enodes (cost 5 ) 208.511 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 208.511 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 208.513 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 208.516 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 208.519 * * [simplify]: iteration done : 22 enodes (cost 5 ) 208.520 * [simplify]: Simplified to: 2/3 2 (* 500.0 500.0) (* (cbrt 500.0) (cbrt 500.0)) 2 (* 2 (log (cbrt 500.0))) (* 2 (log (cbrt 500.0))) (exp (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (fabs (cbrt 500.0)) (fabs (cbrt 500.0)) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) 1 (* (cbrt 500.0) (cbrt 500.0)) (pow (cbrt (cbrt 500.0)) 4) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (cbrt 500.0) (cbrt 500.0) 1 (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (cbrt 500.0) (cbrt 500.0) 2/3 2 (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt 500.0) (cbrt (sqrt 500.0))) (* 1 (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (cbrt 500.0) (sqrt (cbrt 500.0))) (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (+ (log (cbrt 500.0)) (log (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* (pow (- x y) 3) 500.0) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (* 500.0 (pow (- x y) 3)) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) x) (* (cbrt 500.0) (neg y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (neg y)) (* x (cbrt 500.0)) (* (neg y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (neg y) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (cbrt 500.0) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (cbrt 500.0) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (+ (* 3 (log (cbrt 500.0))) (log (- x y))) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (log (* 500.0 (- x y))) (pow (exp (- x y)) 500.0) (pow (* (- x y) 500.0) 3) (* (* (pow (- x y) 3) 500.0) (* 500.0 500.0)) (* (pow (- x y) 3) (pow 500.0 3)) (pow (* 500.0 (- x y)) 3) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* (- x y) 500.0) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* 500.0 x) (* (neg 500.0) y) (* 500.0 x) (* (neg 500.0) y) (* x 500.0) (* (neg y) 500.0) (* x 500.0) (* (neg y) 500.0) (* 500.0 x) (* (neg y) 500.0) (* 500.0 x) (* (neg y) 500.0) (* x 500.0) (* 500.0 (neg y)) (* x 500.0) (* 500.0 (neg y)) 500.0 (* (cbrt 500.0) (* (cbrt 500.0) (- x y))) (* (- (pow x 3) (pow y 3)) 500.0) (* (- (* x x) (* y y)) 500.0) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 208.521 * * * [progress]: adding candidates to table 208.676 * [progress]: [Phase 3 of 3] Extracting. 208.676 * * [regime]: Finding splitpoints for: (# # # # #) 208.677 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 500.0 (- x y)) y x) 208.677 * * * * [regimes]: Trying to branch on (- x y) from (# # # # #) 208.722 * * * * [regimes]: Trying to branch on (- x y) from (# # # #) 208.763 * * * * [regimes]: Trying to branch on (* 500.0 (- x y)) from (# # # # #) 208.809 * * * * [regimes]: Trying to branch on y from (# # # # #) 208.855 * * * * [regimes]: Trying to branch on x from (# # # # #) 208.899 * * * [regime]: Found split indices: #