2.117 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (* 200.0 (- x y)) 0.017 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.018 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.019 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.021 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.023 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.026 * * [simplify]: iteration done : 24 enodes (cost 5 ) 0.026 * [simplify]: Simplified to: (* 200.0 (- x y)) 0.027 * * [progress]: iteration 1 / 4 0.027 * * * [progress]: picking best candidate 0.029 * * * * [pick]: Picked # 0.029 * * * [progress]: localizing error 0.033 * * * [progress]: generating rewritten candidates 0.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.041 * * * [progress]: generating series expansions 0.041 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.041 * [approximate]: Taking taylor expansion of (* 200.0 (- x y)) in (x y) around 0 0.041 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in y 0.041 * [taylor]: Taking taylor expansion of 200.0 in y 0.041 * [taylor]: Taking taylor expansion of (- x y) in y 0.041 * [taylor]: Taking taylor expansion of x in y 0.041 * [taylor]: Taking taylor expansion of y in y 0.041 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x 0.041 * [taylor]: Taking taylor expansion of 200.0 in x 0.041 * [taylor]: Taking taylor expansion of (- x y) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of y in x 0.041 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x 0.041 * [taylor]: Taking taylor expansion of 200.0 in x 0.041 * [taylor]: Taking taylor expansion of (- x y) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of y in x 0.041 * [taylor]: Taking taylor expansion of (* -200.0 y) in y 0.041 * [taylor]: Taking taylor expansion of -200.0 in y 0.041 * [taylor]: Taking taylor expansion of y in y 0.041 * [taylor]: Taking taylor expansion of 200.0 in y 0.041 * [taylor]: Taking taylor expansion of 0 in y 0.042 * [taylor]: Taking taylor expansion of 0 in y 0.042 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.042 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in y 0.042 * [taylor]: Taking taylor expansion of 200.0 in y 0.042 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.042 * [taylor]: Taking taylor expansion of x 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 (* 200.0 (- (/ 1 x) (/ 1 y))) in x 0.042 * [taylor]: Taking taylor expansion of 200.0 in x 0.042 * [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 (* 200.0 (- (/ 1 x) (/ 1 y))) in x 0.042 * [taylor]: Taking taylor expansion of 200.0 in x 0.042 * [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 200.0 in y 0.043 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y 0.043 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 0.043 * [taylor]: Taking taylor expansion of 200.0 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 0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.044 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.044 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in y 0.044 * [taylor]: Taking taylor expansion of 200.0 in y 0.044 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) 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 (/ 1 x) in y 0.044 * [taylor]: Taking taylor expansion of x in y 0.044 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x 0.044 * [taylor]: Taking taylor expansion of 200.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 (* 200.0 (- (/ 1 y) (/ 1 x))) in x 0.044 * [taylor]: Taking taylor expansion of 200.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 -200.0 in y 0.044 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 0.044 * [taylor]: Taking taylor expansion of 200.0 in y 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.046 * * * [progress]: simplifying candidates 0.046 * [simplify]: Simplifying using # : (* 200.0 (- x y)) (+ (log 200.0) (log (- x y))) (log (* 200.0 (- x y))) (exp (* 200.0 (- x y))) (* (* (* 200.0 200.0) 200.0) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y))) (* (* (* 200.0 (- x y)) (* 200.0 (- x y))) (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* 200.0 x) (* 200.0 (neg y)) (* 200.0 x) (* 200.0 (neg y)) (* x 200.0) (* (neg y) 200.0) (* x 200.0) (* (neg y) 200.0) (* 200.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 200.0 (sqrt (- x y))) (* 200.0 1) (* 200.0 (+ (sqrt x) (sqrt y))) (* 200.0 1) (* (cbrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) (* 200.0 (- x y)) (* 200.0 (- (pow x 3) (pow y 3))) (* 200.0 (- (* x x) (* y y))) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) 0.047 * * [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.053 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.060 * * [simplify]: iteration done : 24 enodes (cost 5 ) 0.061 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.061 * * [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.071 * * [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.102 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 0.168 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 0.471 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 2.115 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 2.116 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 2.117 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 2.126 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 2.143 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 2.257 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 3.075 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 4.679 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 4.680 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 4.686 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 4.687 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 4.689 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 4.692 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 4.695 * * [simplify]: iteration done : 26 enodes (cost 13 ) 4.696 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.697 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 4.698 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 4.700 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 4.702 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 4.705 * * [simplify]: iteration done : 25 enodes (cost 6 ) 4.706 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 4.707 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 4.712 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 4.735 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 4.884 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 5.679 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 7.548 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.549 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.550 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.551 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.553 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.559 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.561 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.562 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.563 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.564 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.566 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.568 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.571 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.572 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.572 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 7.573 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 7.574 * * [simplify]: iteration done : 11 enodes (cost 7 ) 7.575 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.576 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 7.577 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 7.578 * * [simplify]: iteration done : 11 enodes (cost 7 ) 7.578 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.579 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.579 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.580 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.580 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.581 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.582 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.583 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.584 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.584 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.584 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.585 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.585 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.586 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.587 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.589 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.589 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.590 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.590 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.591 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.591 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.592 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.593 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.594 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.595 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.595 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.596 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.596 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.597 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.598 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.599 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.600 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.600 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 7.601 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 7.603 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 7.604 * * [simplify]: iteration done : 15 enodes (cost 11 ) 7.605 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.605 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.606 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 7.607 * * [simplify]: iteration done : 10 enodes (cost 6 ) 7.608 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.608 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 7.608 * * [simplify]: iteration done : 6 enodes (cost 1 ) 7.609 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.610 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 7.611 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 7.613 * * [simplify]: iteration done : 16 enodes (cost 7 ) 7.614 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.614 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 7.614 * * [simplify]: iteration done : 6 enodes (cost 1 ) 7.615 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.616 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.617 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.619 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.623 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.627 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.627 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.628 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.629 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.631 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.633 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.636 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.637 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 7.637 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 7.638 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 7.640 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 7.643 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 7.646 * * [simplify]: iteration done : 24 enodes (cost 5 ) 7.646 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 7.648 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 7.651 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 7.660 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 7.690 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 7.818 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 8.869 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 11.013 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 11.014 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 11.015 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 11.017 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 11.022 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 11.037 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 11.078 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 11.152 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 11.529 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 13.223 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 15.407 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 15.408 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.409 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 15.411 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 15.413 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 15.416 * * [simplify]: iteration done : 22 enodes (cost 5 ) 15.417 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.418 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 15.419 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 15.422 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 15.425 * * [simplify]: iteration done : 22 enodes (cost 5 ) 15.425 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.426 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 15.427 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 15.430 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 15.433 * * [simplify]: iteration done : 22 enodes (cost 5 ) 15.433 * [simplify]: Simplified to: (* 200.0 (- x y)) (+ (log 200.0) (log (- x y))) (log (* 200.0 (- x y))) (exp (* 200.0 (- x y))) (pow (* 200.0 (- x y)) 3) (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y))) (pow (* 200.0 (- x y)) 3) (sqrt (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* 200.0 x) (* 200.0 (neg y)) (* 200.0 x) (* 200.0 (neg y)) (* x 200.0) (* (neg y) 200.0) (* x 200.0) (* (neg y) 200.0) (* 200.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 200.0 (sqrt (- x y))) 200.0 (* 200.0 (+ (sqrt x) (sqrt y))) 200.0 (* (cbrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) (* 200.0 (- x y)) (* 200.0 (- (pow x 3) (pow y 3))) (* 200.0 (* (- x y) (+ x y))) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) 15.433 * * * [progress]: adding candidates to table 15.468 * * [progress]: iteration 2 / 4 15.468 * * * [progress]: picking best candidate 15.477 * * * * [pick]: Picked # 15.477 * * * [progress]: localizing error 15.483 * * * [progress]: generating rewritten candidates 15.483 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 15.487 * * * [progress]: generating series expansions 15.487 * * * * [progress]: [ 1 / 1 ] generating series at (2) 15.487 * [approximate]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in (x y) around 0 15.487 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in y 15.487 * [taylor]: Taking taylor expansion of (* 200.0 x) in y 15.487 * [taylor]: Taking taylor expansion of 200.0 in y 15.487 * [taylor]: Taking taylor expansion of x in y 15.487 * [taylor]: Taking taylor expansion of (* 200.0 y) in y 15.487 * [taylor]: Taking taylor expansion of 200.0 in y 15.487 * [taylor]: Taking taylor expansion of y in y 15.487 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in x 15.488 * [taylor]: Taking taylor expansion of (* 200.0 x) in x 15.488 * [taylor]: Taking taylor expansion of 200.0 in x 15.488 * [taylor]: Taking taylor expansion of x in x 15.488 * [taylor]: Taking taylor expansion of (* 200.0 y) in x 15.488 * [taylor]: Taking taylor expansion of 200.0 in x 15.488 * [taylor]: Taking taylor expansion of y in x 15.488 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in x 15.488 * [taylor]: Taking taylor expansion of (* 200.0 x) in x 15.488 * [taylor]: Taking taylor expansion of 200.0 in x 15.488 * [taylor]: Taking taylor expansion of x in x 15.488 * [taylor]: Taking taylor expansion of (* 200.0 y) in x 15.488 * [taylor]: Taking taylor expansion of 200.0 in x 15.488 * [taylor]: Taking taylor expansion of y in x 15.488 * [taylor]: Taking taylor expansion of (neg (* 200.0 y)) in y 15.488 * [taylor]: Taking taylor expansion of (* 200.0 y) in y 15.488 * [taylor]: Taking taylor expansion of 200.0 in y 15.488 * [taylor]: Taking taylor expansion of y in y 15.488 * [taylor]: Taking taylor expansion of 200.0 in y 15.488 * [taylor]: Taking taylor expansion of 0 in y 15.488 * [taylor]: Taking taylor expansion of 0 in y 15.489 * [approximate]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in (x y) around 0 15.489 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in y 15.489 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in y 15.489 * [taylor]: Taking taylor expansion of 200.0 in y 15.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.489 * [taylor]: Taking taylor expansion of x in y 15.489 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 15.489 * [taylor]: Taking taylor expansion of 200.0 in y 15.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.489 * [taylor]: Taking taylor expansion of y in y 15.489 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in x 15.489 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x 15.489 * [taylor]: Taking taylor expansion of 200.0 in x 15.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.489 * [taylor]: Taking taylor expansion of x in x 15.489 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x 15.489 * [taylor]: Taking taylor expansion of 200.0 in x 15.489 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.489 * [taylor]: Taking taylor expansion of y in x 15.489 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in x 15.489 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x 15.489 * [taylor]: Taking taylor expansion of 200.0 in x 15.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.489 * [taylor]: Taking taylor expansion of x in x 15.489 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x 15.489 * [taylor]: Taking taylor expansion of 200.0 in x 15.489 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.489 * [taylor]: Taking taylor expansion of y in x 15.489 * [taylor]: Taking taylor expansion of 200.0 in y 15.490 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y 15.490 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 15.490 * [taylor]: Taking taylor expansion of 200.0 in y 15.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.490 * [taylor]: Taking taylor expansion of y in y 15.490 * [taylor]: Taking taylor expansion of 0 in y 15.490 * [taylor]: Taking taylor expansion of 0 in y 15.491 * [taylor]: Taking taylor expansion of 0 in y 15.491 * [approximate]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in (x y) around 0 15.491 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in y 15.491 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 15.491 * [taylor]: Taking taylor expansion of 200.0 in y 15.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.491 * [taylor]: Taking taylor expansion of y in y 15.491 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in y 15.491 * [taylor]: Taking taylor expansion of 200.0 in y 15.491 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.491 * [taylor]: Taking taylor expansion of x in y 15.491 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in x 15.491 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x 15.491 * [taylor]: Taking taylor expansion of 200.0 in x 15.491 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.491 * [taylor]: Taking taylor expansion of y in x 15.491 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x 15.491 * [taylor]: Taking taylor expansion of 200.0 in x 15.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.491 * [taylor]: Taking taylor expansion of x in x 15.491 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in x 15.491 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x 15.491 * [taylor]: Taking taylor expansion of 200.0 in x 15.491 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.491 * [taylor]: Taking taylor expansion of y in x 15.491 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x 15.491 * [taylor]: Taking taylor expansion of 200.0 in x 15.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.492 * [taylor]: Taking taylor expansion of x in x 15.492 * [taylor]: Taking taylor expansion of (neg 200.0) in y 15.492 * [taylor]: Taking taylor expansion of 200.0 in y 15.492 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 15.492 * [taylor]: Taking taylor expansion of 200.0 in y 15.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.492 * [taylor]: Taking taylor expansion of y in y 15.492 * [taylor]: Taking taylor expansion of 0 in y 15.492 * [taylor]: Taking taylor expansion of 0 in y 15.493 * [taylor]: Taking taylor expansion of 0 in y 15.493 * * * [progress]: simplifying candidates 15.493 * [simplify]: Simplifying using # : (* (exp (* 200.0 x)) (exp (* 200.0 (neg y)))) (log (+ (* 200.0 x) (* 200.0 (neg y)))) (exp (+ (* 200.0 x) (* 200.0 (neg y)))) (* (cbrt (+ (* 200.0 x) (* 200.0 (neg y)))) (cbrt (+ (* 200.0 x) (* 200.0 (neg y))))) (cbrt (+ (* 200.0 x) (* 200.0 (neg y)))) (* (* (+ (* 200.0 x) (* 200.0 (neg y))) (+ (* 200.0 x) (* 200.0 (neg y)))) (+ (* 200.0 x) (* 200.0 (neg y)))) (sqrt (+ (* 200.0 x) (* 200.0 (neg y)))) (sqrt (+ (* 200.0 x) (* 200.0 (neg y)))) (+ (pow (* 200.0 x) 3) (pow (* 200.0 (neg y)) 3)) (+ (* (* 200.0 x) (* 200.0 x)) (- (* (* 200.0 (neg y)) (* 200.0 (neg y))) (* (* 200.0 x) (* 200.0 (neg y))))) (- (* (* 200.0 x) (* 200.0 x)) (* (* 200.0 (neg y)) (* 200.0 (neg y)))) (- (* 200.0 x) (* 200.0 (neg y))) (+ x (neg y)) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) 15.494 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 15.495 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 15.498 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 15.504 * * [simplify]: iteration 3 : 87 enodes (cost 6 ) 15.521 * * [simplify]: iteration 4 : 237 enodes (cost 6 ) 15.677 * * [simplify]: iteration 5 : 980 enodes (cost 6 ) 18.078 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 18.079 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 18.080 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 18.082 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 18.085 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 18.088 * * [simplify]: iteration done : 27 enodes (cost 6 ) 18.089 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 18.090 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 18.093 * * [simplify]: iteration 2 : 37 enodes (cost 6 ) 18.098 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 18.111 * * [simplify]: iteration 4 : 155 enodes (cost 6 ) 18.178 * * [simplify]: iteration 5 : 589 enodes (cost 6 ) 18.980 * * [simplify]: iteration 6 : 2547 enodes (cost 6 ) 20.370 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 20.371 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 20.372 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 20.375 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 20.377 * * [simplify]: iteration 3 : 24 enodes (cost 13 ) 20.380 * * [simplify]: iteration done : 24 enodes (cost 13 ) 20.381 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 20.382 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 20.384 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 20.387 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 20.390 * * [simplify]: iteration done : 23 enodes (cost 6 ) 20.391 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 20.397 * * [simplify]: iteration 1 : 29 enodes (cost 20 ) 20.403 * * [simplify]: iteration 2 : 121 enodes (cost 7 ) 20.458 * * [simplify]: iteration 3 : 571 enodes (cost 7 ) 21.049 * * [simplify]: iteration 4 : 2168 enodes (cost 7 ) 23.456 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 23.457 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 23.458 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 23.460 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 23.463 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 23.466 * * [simplify]: iteration done : 23 enodes (cost 6 ) 23.467 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 23.468 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 23.470 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 23.472 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 23.475 * * [simplify]: iteration done : 23 enodes (cost 6 ) 23.476 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 23.477 * * [simplify]: iteration 1 : 33 enodes (cost 12 ) 23.484 * * [simplify]: iteration 2 : 115 enodes (cost 12 ) 23.524 * * [simplify]: iteration 3 : 394 enodes (cost 11 ) 23.827 * * [simplify]: iteration 4 : 1037 enodes (cost 11 ) 25.396 * * [simplify]: iteration 5 : 2869 enodes (cost 11 ) 27.093 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 27.094 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 27.096 * * [simplify]: iteration 1 : 39 enodes (cost 21 ) 27.104 * * [simplify]: iteration 2 : 139 enodes (cost 19 ) 27.159 * * [simplify]: iteration 3 : 375 enodes (cost 17 ) 27.413 * * [simplify]: iteration 4 : 782 enodes (cost 15 ) 28.063 * * [simplify]: iteration 5 : 1310 enodes (cost 13 ) 28.915 * * [simplify]: iteration 6 : 1603 enodes (cost 13 ) 29.560 * * [simplify]: iteration 7 : 1685 enodes (cost 13 ) 30.141 * * [simplify]: iteration done : 1685 enodes (cost 13 ) 30.142 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 30.144 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 30.150 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 30.189 * * [simplify]: iteration 3 : 242 enodes (cost 11 ) 30.280 * * [simplify]: iteration 4 : 421 enodes (cost 11 ) 30.412 * * [simplify]: iteration 5 : 724 enodes (cost 11 ) 30.812 * * [simplify]: iteration 6 : 1314 enodes (cost 11 ) 32.315 * * [simplify]: iteration 7 : 2877 enodes (cost 11 ) 34.615 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 34.615 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 34.616 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 34.618 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 34.623 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 34.629 * * [simplify]: iteration 4 : 46 enodes (cost 5 ) 34.633 * * [simplify]: iteration done : 46 enodes (cost 5 ) 34.633 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 34.634 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 34.634 * * [simplify]: iteration done : 6 enodes (cost 3 ) 34.635 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.636 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 34.637 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 34.640 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 34.643 * * [simplify]: iteration done : 22 enodes (cost 5 ) 34.643 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.644 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 34.646 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 34.648 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 34.654 * * [simplify]: iteration done : 22 enodes (cost 5 ) 34.655 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.656 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 34.657 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 34.660 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 34.663 * * [simplify]: iteration done : 22 enodes (cost 5 ) 34.663 * [simplify]: Simplified to: (pow (exp 200.0) (- x y)) (log (* (- x y) 200.0)) (pow (exp 200.0) (- x y)) (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* (- x y) 200.0)) (pow (* 200.0 (- x y)) 3) (sqrt (* (- x y) 200.0)) (sqrt (* (- x y) 200.0)) (- (pow (* 200.0 x) 3) (pow (* 200.0 y) 3)) (* (* 200.0 200.0) (+ (* y y) (* x (+ y x)))) (* (* 200.0 200.0) (- (* x x) (* y y))) (* (+ y x) 200.0) (- x y) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) 34.663 * * * [progress]: adding candidates to table 34.683 * * [progress]: iteration 3 / 4 34.683 * * * [progress]: picking best candidate 34.689 * * * * [pick]: Picked # 34.689 * * * [progress]: localizing error 34.697 * * * [progress]: generating rewritten candidates 34.697 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 34.710 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 34.721 * * * [progress]: generating series expansions 34.721 * * * * [progress]: [ 1 / 2 ] generating series at (2) 34.721 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in (x y) around 0 34.721 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in y 34.721 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y 34.721 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.721 * [taylor]: Taking taylor expansion of 200.0 in y 34.721 * [taylor]: Taking taylor expansion of (- x y) in y 34.721 * [taylor]: Taking taylor expansion of x in y 34.722 * [taylor]: Taking taylor expansion of y in y 34.722 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x 34.722 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 34.722 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.722 * [taylor]: Taking taylor expansion of 200.0 in x 34.722 * [taylor]: Taking taylor expansion of (- x y) in x 34.722 * [taylor]: Taking taylor expansion of x in x 34.722 * [taylor]: Taking taylor expansion of y in x 34.722 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x 34.722 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 34.722 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.722 * [taylor]: Taking taylor expansion of 200.0 in x 34.722 * [taylor]: Taking taylor expansion of (- x y) in x 34.722 * [taylor]: Taking taylor expansion of x in x 34.722 * [taylor]: Taking taylor expansion of y in x 34.722 * [taylor]: Taking taylor expansion of (* -200.0 y) in y 34.722 * [taylor]: Taking taylor expansion of -200.0 in y 34.722 * [taylor]: Taking taylor expansion of y in y 34.723 * [taylor]: Taking taylor expansion of 200.0 in y 34.723 * [taylor]: Taking taylor expansion of 0 in y 34.724 * [taylor]: Taking taylor expansion of 0 in y 34.724 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 x) (/ 1 y))) in (x y) around 0 34.724 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 x) (/ 1 y))) in y 34.724 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y 34.724 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.724 * [taylor]: Taking taylor expansion of 200.0 in y 34.724 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 34.724 * [taylor]: Taking taylor expansion of (/ 1 x) in y 34.724 * [taylor]: Taking taylor expansion of x in y 34.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 34.724 * [taylor]: Taking taylor expansion of y in y 34.724 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 x) (/ 1 y))) in x 34.724 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 34.724 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.724 * [taylor]: Taking taylor expansion of 200.0 in x 34.724 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 34.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.724 * [taylor]: Taking taylor expansion of x in x 34.724 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.724 * [taylor]: Taking taylor expansion of y in x 34.725 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 x) (/ 1 y))) in x 34.725 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 34.725 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.725 * [taylor]: Taking taylor expansion of 200.0 in x 34.725 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 34.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.725 * [taylor]: Taking taylor expansion of x in x 34.725 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.725 * [taylor]: Taking taylor expansion of y in x 34.725 * [taylor]: Taking taylor expansion of 200.0 in y 34.725 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y 34.725 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 34.726 * [taylor]: Taking taylor expansion of 200.0 in y 34.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y 34.726 * [taylor]: Taking taylor expansion of y in y 34.726 * [taylor]: Taking taylor expansion of 0 in y 34.727 * [taylor]: Taking taylor expansion of 0 in y 34.727 * [taylor]: Taking taylor expansion of 0 in y 34.728 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in (x y) around 0 34.728 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in y 34.728 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y 34.728 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.728 * [taylor]: Taking taylor expansion of 200.0 in y 34.728 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 34.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y 34.728 * [taylor]: Taking taylor expansion of y in y 34.728 * [taylor]: Taking taylor expansion of (/ 1 x) in y 34.728 * [taylor]: Taking taylor expansion of x in y 34.728 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x 34.728 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 34.728 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.728 * [taylor]: Taking taylor expansion of 200.0 in x 34.728 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 34.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.728 * [taylor]: Taking taylor expansion of y in x 34.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.728 * [taylor]: Taking taylor expansion of x in x 34.728 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x 34.728 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 34.728 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.728 * [taylor]: Taking taylor expansion of 200.0 in x 34.728 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 34.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.728 * [taylor]: Taking taylor expansion of y in x 34.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.729 * [taylor]: Taking taylor expansion of x in x 34.729 * [taylor]: Taking taylor expansion of -200.0 in y 34.729 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 34.729 * [taylor]: Taking taylor expansion of 200.0 in y 34.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y 34.729 * [taylor]: Taking taylor expansion of y in y 34.730 * [taylor]: Taking taylor expansion of 0 in y 34.731 * [taylor]: Taking taylor expansion of 0 in y 34.731 * [taylor]: Taking taylor expansion of 0 in y 34.732 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 34.732 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in (x y) around 0 34.732 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in y 34.732 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.732 * [taylor]: Taking taylor expansion of 200.0 in y 34.732 * [taylor]: Taking taylor expansion of (- x y) in y 34.732 * [taylor]: Taking taylor expansion of x in y 34.732 * [taylor]: Taking taylor expansion of y in y 34.732 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x 34.732 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.732 * [taylor]: Taking taylor expansion of 200.0 in x 34.732 * [taylor]: Taking taylor expansion of (- x y) in x 34.732 * [taylor]: Taking taylor expansion of x in x 34.732 * [taylor]: Taking taylor expansion of y in x 34.732 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x 34.732 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.732 * [taylor]: Taking taylor expansion of 200.0 in x 34.732 * [taylor]: Taking taylor expansion of (- x y) in x 34.732 * [taylor]: Taking taylor expansion of x in x 34.732 * [taylor]: Taking taylor expansion of y in x 34.732 * [taylor]: Taking taylor expansion of (* -1 (* (cbrt 200.0) y)) in y 34.732 * [taylor]: Taking taylor expansion of -1 in y 34.732 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) y) in y 34.732 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.732 * [taylor]: Taking taylor expansion of 200.0 in y 34.732 * [taylor]: Taking taylor expansion of y in y 34.733 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.733 * [taylor]: Taking taylor expansion of 200.0 in y 34.733 * [taylor]: Taking taylor expansion of 0 in y 34.736 * [taylor]: Taking taylor expansion of 0 in y 34.737 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 x) (/ 1 y))) in (x y) around 0 34.737 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 x) (/ 1 y))) in y 34.737 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.737 * [taylor]: Taking taylor expansion of 200.0 in y 34.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 34.737 * [taylor]: Taking taylor expansion of (/ 1 x) in y 34.737 * [taylor]: Taking taylor expansion of x in y 34.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 34.737 * [taylor]: Taking taylor expansion of y in y 34.737 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 x) (/ 1 y))) in x 34.737 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.737 * [taylor]: Taking taylor expansion of 200.0 in x 34.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 34.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.737 * [taylor]: Taking taylor expansion of x in x 34.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.737 * [taylor]: Taking taylor expansion of y in x 34.737 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 x) (/ 1 y))) in x 34.737 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.737 * [taylor]: Taking taylor expansion of 200.0 in x 34.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 34.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.737 * [taylor]: Taking taylor expansion of x in x 34.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.737 * [taylor]: Taking taylor expansion of y in x 34.738 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.738 * [taylor]: Taking taylor expansion of 200.0 in y 34.738 * [taylor]: Taking taylor expansion of (neg (/ (cbrt 200.0) y)) in y 34.738 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y 34.738 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.738 * [taylor]: Taking taylor expansion of 200.0 in y 34.738 * [taylor]: Taking taylor expansion of y in y 34.738 * [taylor]: Taking taylor expansion of 0 in y 34.739 * [taylor]: Taking taylor expansion of 0 in y 34.739 * [taylor]: Taking taylor expansion of 0 in y 34.740 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 34.740 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in y 34.740 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.740 * [taylor]: Taking taylor expansion of 200.0 in y 34.740 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 34.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y 34.740 * [taylor]: Taking taylor expansion of y in y 34.740 * [taylor]: Taking taylor expansion of (/ 1 x) in y 34.740 * [taylor]: Taking taylor expansion of x in y 34.740 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x 34.740 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.740 * [taylor]: Taking taylor expansion of 200.0 in x 34.740 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 34.740 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.740 * [taylor]: Taking taylor expansion of y in x 34.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.740 * [taylor]: Taking taylor expansion of x in x 34.740 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x 34.740 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 34.740 * [taylor]: Taking taylor expansion of 200.0 in x 34.740 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 34.740 * [taylor]: Taking taylor expansion of (/ 1 y) in x 34.740 * [taylor]: Taking taylor expansion of y in x 34.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 34.740 * [taylor]: Taking taylor expansion of x in x 34.740 * [taylor]: Taking taylor expansion of (* -1 (cbrt 200.0)) in y 34.740 * [taylor]: Taking taylor expansion of -1 in y 34.740 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.740 * [taylor]: Taking taylor expansion of 200.0 in y 34.741 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y 34.741 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 34.741 * [taylor]: Taking taylor expansion of 200.0 in y 34.741 * [taylor]: Taking taylor expansion of y in y 34.741 * [taylor]: Taking taylor expansion of 0 in y 34.741 * [taylor]: Taking taylor expansion of 0 in y 34.742 * [taylor]: Taking taylor expansion of 0 in y 34.742 * * * [progress]: simplifying candidates 34.744 * [simplify]: Simplifying using # : (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (+ (log (cbrt 200.0)) (log (- x y)))) (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (log (* (cbrt 200.0) (- x y)))) (+ (log (* (cbrt 200.0) (cbrt 200.0))) (+ (log (cbrt 200.0)) (log (- x y)))) (+ (log (* (cbrt 200.0) (cbrt 200.0))) (log (* (cbrt 200.0) (- x y)))) (log (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (exp (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* 200.0 200.0) (* 200.0 (* (* (- x y) (- x y)) (- x y)))) (* (* 200.0 200.0) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* 200.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))) (* (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) x)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (neg y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) x)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (neg y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* x (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (neg y) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* x (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (neg y) (cbrt 200.0))) (* (* (cbrt 200.0) x) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (neg y)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) x) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (neg y)) (* (cbrt 200.0) (cbrt 200.0))) (* (* x (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (neg y) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* x (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (neg y) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- (pow x 3) (pow y 3)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- (* x x) (* y y)))) (* (cbrt 200.0) (- x y)) (+ (log (cbrt 200.0)) (log (- x y))) (log (* (cbrt 200.0) (- x y))) (exp (* (cbrt 200.0) (- x y))) (* 200.0 (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y)))) (cbrt (* (cbrt 200.0) (- x y))) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y))) (sqrt (* (cbrt 200.0) (- x y))) (sqrt (* (cbrt 200.0) (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (cbrt 200.0) x) (* (cbrt 200.0) (neg y)) (* (cbrt 200.0) x) (* (cbrt 200.0) (neg y)) (* x (cbrt 200.0)) (* (neg y) (cbrt 200.0)) (* x (cbrt 200.0)) (* (neg y) (cbrt 200.0)) (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 200.0) (sqrt (- x y))) (* (cbrt 200.0) 1) (* (cbrt 200.0) (+ (sqrt x) (sqrt y))) (* (cbrt 200.0) 1) (* (cbrt (cbrt 200.0)) (- x y)) (* (cbrt (sqrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt (cbrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- (pow x 3) (pow y 3))) (* (cbrt 200.0) (- (* x x) (* y y))) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) (- (* (cbrt 200.0) x) (* (cbrt 200.0) y)) (- (* (cbrt 200.0) x) (* (cbrt 200.0) y)) (- (* (cbrt 200.0) x) (* (cbrt 200.0) y)) 34.744 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 34.745 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 34.748 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 34.754 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 34.767 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 34.784 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 34.810 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 34.832 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 34.857 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 34.886 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 34.952 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 35.419 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 37.729 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 37.729 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 37.730 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 37.733 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 37.739 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 37.752 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 37.768 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 37.795 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 37.816 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 37.841 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 37.870 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 37.935 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 38.396 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 40.691 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 40.692 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 40.693 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 40.695 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 40.701 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 40.714 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 40.733 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 40.756 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 40.777 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 40.802 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 40.830 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 40.899 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 41.367 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 43.674 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 43.675 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 43.676 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 43.678 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 43.684 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 43.697 * * [simplify]: iteration 4 : 100 enodes (cost 5 ) 43.717 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 43.740 * * [simplify]: iteration 6 : 142 enodes (cost 5 ) 43.762 * * [simplify]: iteration 7 : 152 enodes (cost 5 ) 43.787 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 43.815 * * [simplify]: iteration 9 : 237 enodes (cost 5 ) 43.886 * * [simplify]: iteration 10 : 459 enodes (cost 5 ) 44.358 * * [simplify]: iteration 11 : 1384 enodes (cost 5 ) 46.714 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 46.715 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 46.716 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 46.718 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 46.722 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 46.726 * * [simplify]: iteration done : 38 enodes (cost 10 ) 46.727 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 46.728 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 46.731 * * [simplify]: iteration 2 : 36 enodes (cost 13 ) 46.735 * * [simplify]: iteration 3 : 48 enodes (cost 10 ) 46.741 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 46.753 * * [simplify]: iteration done : 55 enodes (cost 10 ) 46.753 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 46.755 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 46.757 * * [simplify]: iteration 2 : 31 enodes (cost 14 ) 46.761 * * [simplify]: iteration 3 : 36 enodes (cost 10 ) 46.765 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 46.769 * * [simplify]: iteration done : 39 enodes (cost 10 ) 46.770 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 46.771 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 46.773 * * [simplify]: iteration 2 : 36 enodes (cost 13 ) 46.778 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 46.784 * * [simplify]: iteration 4 : 59 enodes (cost 10 ) 46.791 * * [simplify]: iteration done : 59 enodes (cost 10 ) 46.791 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 46.792 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 46.795 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 46.804 * * [simplify]: iteration 3 : 100 enodes (cost 9 ) 46.825 * * [simplify]: iteration 4 : 134 enodes (cost 6 ) 46.845 * * [simplify]: iteration 5 : 161 enodes (cost 6 ) 46.877 * * [simplify]: iteration 6 : 180 enodes (cost 6 ) 46.902 * * [simplify]: iteration 7 : 190 enodes (cost 6 ) 46.934 * * [simplify]: iteration 8 : 211 enodes (cost 6 ) 46.965 * * [simplify]: iteration 9 : 271 enodes (cost 6 ) 47.041 * * [simplify]: iteration 10 : 484 enodes (cost 6 ) 47.524 * * [simplify]: iteration 11 : 1423 enodes (cost 6 ) 49.815 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 49.816 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 49.817 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 49.820 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 49.828 * * [simplify]: iteration 3 : 119 enodes (cost 9 ) 49.855 * * [simplify]: iteration 4 : 256 enodes (cost 6 ) 49.907 * * [simplify]: iteration 5 : 584 enodes (cost 6 ) 50.226 * * [simplify]: iteration 6 : 1640 enodes (cost 6 ) 51.345 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 51.345 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 51.347 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 51.351 * * [simplify]: iteration 2 : 65 enodes (cost 11 ) 51.369 * * [simplify]: iteration 3 : 253 enodes (cost 9 ) 51.477 * * [simplify]: iteration 4 : 785 enodes (cost 9 ) 52.327 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 54.020 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 54.021 * * [simplify]: iteration 0 : 10 enodes (cost 24 ) 54.022 * * [simplify]: iteration 1 : 28 enodes (cost 24 ) 54.028 * * [simplify]: iteration 2 : 113 enodes (cost 12 ) 54.084 * * [simplify]: iteration 3 : 585 enodes (cost 12 ) 54.818 * * [simplify]: iteration 4 : 2417 enodes (cost 11 ) 57.541 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 57.542 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 57.544 * * [simplify]: iteration 1 : 31 enodes (cost 31 ) 57.550 * * [simplify]: iteration 2 : 114 enodes (cost 15 ) 57.618 * * [simplify]: iteration 3 : 536 enodes (cost 11 ) 58.120 * * [simplify]: iteration 4 : 2084 enodes (cost 9 ) 60.083 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 60.084 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 60.086 * * [simplify]: iteration 1 : 37 enodes (cost 38 ) 60.095 * * [simplify]: iteration 2 : 154 enodes (cost 16 ) 60.194 * * [simplify]: iteration 3 : 812 enodes (cost 11 ) 61.403 * * [simplify]: iteration 4 : 3037 enodes (cost 7 ) 63.975 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 63.975 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 63.977 * * [simplify]: iteration 1 : 18 enodes (cost 27 ) 63.979 * * [simplify]: iteration 2 : 39 enodes (cost 27 ) 63.991 * * [simplify]: iteration 3 : 74 enodes (cost 19 ) 64.005 * * [simplify]: iteration 4 : 103 enodes (cost 13 ) 64.022 * * [simplify]: iteration 5 : 129 enodes (cost 13 ) 64.049 * * [simplify]: iteration 6 : 148 enodes (cost 13 ) 64.071 * * [simplify]: iteration 7 : 158 enodes (cost 13 ) 64.094 * * [simplify]: iteration 8 : 179 enodes (cost 13 ) 64.128 * * [simplify]: iteration 9 : 241 enodes (cost 13 ) 64.194 * * [simplify]: iteration 10 : 450 enodes (cost 13 ) 64.661 * * [simplify]: iteration 11 : 1376 enodes (cost 13 ) 67.021 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 67.022 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 67.023 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 67.026 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 67.032 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 67.052 * * [simplify]: iteration 4 : 100 enodes (cost 6 ) 67.069 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 67.092 * * [simplify]: iteration 6 : 147 enodes (cost 6 ) 67.118 * * [simplify]: iteration 7 : 157 enodes (cost 6 ) 67.142 * * [simplify]: iteration 8 : 178 enodes (cost 6 ) 67.175 * * [simplify]: iteration 9 : 242 enodes (cost 6 ) 67.244 * * [simplify]: iteration 10 : 458 enodes (cost 6 ) 67.711 * * [simplify]: iteration 11 : 1388 enodes (cost 6 ) 70.020 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 70.021 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 70.022 * * [simplify]: iteration 1 : 28 enodes (cost 38 ) 70.030 * * [simplify]: iteration 2 : 128 enodes (cost 14 ) 70.125 * * [simplify]: iteration 3 : 662 enodes (cost 10 ) 71.070 * * [simplify]: iteration 4 : 2503 enodes (cost 7 ) 74.741 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 74.742 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 74.743 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 74.745 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 74.752 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 74.765 * * [simplify]: iteration 4 : 100 enodes (cost 6 ) 74.782 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 74.809 * * [simplify]: iteration 6 : 147 enodes (cost 6 ) 74.831 * * [simplify]: iteration 7 : 157 enodes (cost 6 ) 74.857 * * [simplify]: iteration 8 : 178 enodes (cost 6 ) 74.885 * * [simplify]: iteration 9 : 242 enodes (cost 6 ) 74.952 * * [simplify]: iteration 10 : 458 enodes (cost 6 ) 75.431 * * [simplify]: iteration 11 : 1388 enodes (cost 6 ) 77.711 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 77.712 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 77.713 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 77.716 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 77.723 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 77.736 * * [simplify]: iteration 4 : 100 enodes (cost 6 ) 77.757 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 77.781 * * [simplify]: iteration 6 : 147 enodes (cost 6 ) 77.805 * * [simplify]: iteration 7 : 157 enodes (cost 6 ) 77.828 * * [simplify]: iteration 8 : 178 enodes (cost 6 ) 77.860 * * [simplify]: iteration 9 : 242 enodes (cost 6 ) 77.927 * * [simplify]: iteration 10 : 458 enodes (cost 6 ) 78.391 * * [simplify]: iteration 11 : 1388 enodes (cost 6 ) 80.643 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 80.644 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 80.645 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 80.647 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 80.650 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 80.653 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 80.661 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 80.664 * * [simplify]: iteration 6 : 37 enodes (cost 3 ) 80.668 * * [simplify]: iteration 7 : 47 enodes (cost 3 ) 80.673 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 80.683 * * [simplify]: iteration 9 : 131 enodes (cost 3 ) 80.729 * * [simplify]: iteration 10 : 345 enodes (cost 3 ) 81.180 * * [simplify]: iteration 11 : 1271 enodes (cost 3 ) 83.516 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 83.517 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 83.518 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 83.520 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 83.526 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 83.540 * * [simplify]: iteration 4 : 80 enodes (cost 4 ) 83.552 * * [simplify]: iteration 5 : 84 enodes (cost 4 ) 83.564 * * [simplify]: iteration 6 : 90 enodes (cost 4 ) 83.576 * * [simplify]: iteration 7 : 100 enodes (cost 4 ) 83.589 * * [simplify]: iteration 8 : 121 enodes (cost 4 ) 83.612 * * [simplify]: iteration 9 : 186 enodes (cost 4 ) 83.669 * * [simplify]: iteration 10 : 401 enodes (cost 4 ) 84.120 * * [simplify]: iteration 11 : 1334 enodes (cost 4 ) 86.465 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 86.466 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 86.467 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 86.468 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 86.471 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 86.475 * * [simplify]: iteration 4 : 27 enodes (cost 3 ) 86.477 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 86.480 * * [simplify]: iteration 6 : 37 enodes (cost 3 ) 86.483 * * [simplify]: iteration 7 : 47 enodes (cost 3 ) 86.488 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 86.498 * * [simplify]: iteration 9 : 131 enodes (cost 3 ) 86.547 * * [simplify]: iteration 10 : 345 enodes (cost 3 ) 86.994 * * [simplify]: iteration 11 : 1271 enodes (cost 3 ) 89.353 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 89.354 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 89.355 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 89.357 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 89.362 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 89.373 * * [simplify]: iteration 4 : 80 enodes (cost 4 ) 89.385 * * [simplify]: iteration 5 : 84 enodes (cost 4 ) 89.401 * * [simplify]: iteration 6 : 90 enodes (cost 4 ) 89.413 * * [simplify]: iteration 7 : 100 enodes (cost 4 ) 89.427 * * [simplify]: iteration 8 : 121 enodes (cost 4 ) 89.446 * * [simplify]: iteration 9 : 186 enodes (cost 4 ) 89.501 * * [simplify]: iteration 10 : 401 enodes (cost 4 ) 89.961 * * [simplify]: iteration 11 : 1334 enodes (cost 4 ) 92.329 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 92.330 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 92.331 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 92.339 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 92.342 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 92.345 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 92.347 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 92.351 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 92.354 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 92.359 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 92.369 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 92.418 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 92.857 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 95.319 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 95.319 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 95.326 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 95.328 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 95.334 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 95.345 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 95.357 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 95.369 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 95.386 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 95.400 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 95.419 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 95.474 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 95.934 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 98.290 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 98.291 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 98.291 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 98.293 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 98.296 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 98.299 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 98.301 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 98.304 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 98.308 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 98.313 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 98.323 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 98.371 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 98.812 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 101.509 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 101.510 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 101.511 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 101.514 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 101.519 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 101.530 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 101.543 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 101.560 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 101.573 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 101.586 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 101.608 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 101.663 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 102.127 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 104.530 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 104.531 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 104.537 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 104.539 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 104.541 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 104.545 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 104.547 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 104.551 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 104.559 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 104.564 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 104.574 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 104.622 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 105.063 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 107.530 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 107.531 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 107.532 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 107.534 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 107.540 * * [simplify]: iteration 3 : 55 enodes (cost 7 ) 107.557 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 107.569 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 107.581 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 107.594 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 107.612 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 107.632 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 107.689 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 108.157 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 110.573 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 110.574 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 110.575 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 110.577 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 110.579 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 110.582 * * [simplify]: iteration 4 : 29 enodes (cost 3 ) 110.585 * * [simplify]: iteration 5 : 33 enodes (cost 3 ) 110.589 * * [simplify]: iteration 6 : 39 enodes (cost 3 ) 110.592 * * [simplify]: iteration 7 : 49 enodes (cost 3 ) 110.597 * * [simplify]: iteration 8 : 70 enodes (cost 3 ) 110.613 * * [simplify]: iteration 9 : 128 enodes (cost 3 ) 110.658 * * [simplify]: iteration 10 : 342 enodes (cost 3 ) 111.100 * * [simplify]: iteration 11 : 1248 enodes (cost 3 ) 113.570 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 113.570 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 113.571 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 113.574 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 113.579 * * [simplify]: iteration 3 : 55 enodes (cost 7 ) 113.591 * * [simplify]: iteration 4 : 75 enodes (cost 4 ) 113.609 * * [simplify]: iteration 5 : 79 enodes (cost 4 ) 113.621 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 113.633 * * [simplify]: iteration 7 : 95 enodes (cost 4 ) 113.647 * * [simplify]: iteration 8 : 116 enodes (cost 4 ) 113.670 * * [simplify]: iteration 9 : 178 enodes (cost 4 ) 113.726 * * [simplify]: iteration 10 : 392 enodes (cost 4 ) 114.192 * * [simplify]: iteration 11 : 1321 enodes (cost 4 ) 116.627 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 116.627 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 116.628 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 116.630 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 116.633 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 116.636 * * [simplify]: iteration 4 : 30 enodes (cost 3 ) 116.639 * * [simplify]: iteration 5 : 36 enodes (cost 3 ) 116.642 * * [simplify]: iteration 6 : 46 enodes (cost 3 ) 116.647 * * [simplify]: iteration 7 : 67 enodes (cost 3 ) 116.657 * * [simplify]: iteration 8 : 127 enodes (cost 3 ) 116.705 * * [simplify]: iteration 9 : 333 enodes (cost 3 ) 117.153 * * [simplify]: iteration 10 : 1247 enodes (cost 3 ) 119.496 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 119.497 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 119.498 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 119.500 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 119.507 * * [simplify]: iteration 3 : 60 enodes (cost 4 ) 119.518 * * [simplify]: iteration 4 : 82 enodes (cost 4 ) 119.530 * * [simplify]: iteration 5 : 88 enodes (cost 4 ) 119.542 * * [simplify]: iteration 6 : 98 enodes (cost 4 ) 119.560 * * [simplify]: iteration 7 : 119 enodes (cost 4 ) 119.579 * * [simplify]: iteration 8 : 179 enodes (cost 4 ) 119.634 * * [simplify]: iteration 9 : 381 enodes (cost 4 ) 120.081 * * [simplify]: iteration 10 : 1293 enodes (cost 4 ) 122.286 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 122.287 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 122.288 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 122.290 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 122.293 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 122.296 * * [simplify]: iteration 4 : 30 enodes (cost 3 ) 122.299 * * [simplify]: iteration 5 : 36 enodes (cost 3 ) 122.303 * * [simplify]: iteration 6 : 46 enodes (cost 3 ) 122.307 * * [simplify]: iteration 7 : 67 enodes (cost 3 ) 122.318 * * [simplify]: iteration 8 : 127 enodes (cost 3 ) 122.366 * * [simplify]: iteration 9 : 333 enodes (cost 3 ) 122.837 * * [simplify]: iteration 10 : 1247 enodes (cost 3 ) 125.184 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 125.185 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 125.186 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 125.188 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 125.194 * * [simplify]: iteration 3 : 60 enodes (cost 4 ) 125.205 * * [simplify]: iteration 4 : 82 enodes (cost 4 ) 125.218 * * [simplify]: iteration 5 : 88 enodes (cost 4 ) 125.231 * * [simplify]: iteration 6 : 98 enodes (cost 4 ) 125.249 * * [simplify]: iteration 7 : 119 enodes (cost 4 ) 125.268 * * [simplify]: iteration 8 : 179 enodes (cost 4 ) 125.324 * * [simplify]: iteration 9 : 381 enodes (cost 4 ) 125.782 * * [simplify]: iteration 10 : 1293 enodes (cost 4 ) 127.988 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 127.989 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 127.989 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 127.990 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 127.991 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 127.991 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 127.992 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 127.994 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 127.997 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 128.005 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 128.053 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 128.738 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 131.163 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 131.164 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 131.164 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 131.166 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 131.170 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 131.184 * * [simplify]: iteration 4 : 51 enodes (cost 9 ) 131.192 * * [simplify]: iteration 5 : 57 enodes (cost 9 ) 131.201 * * [simplify]: iteration done : 57 enodes (cost 9 ) 131.202 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 131.204 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 131.208 * * [simplify]: iteration 2 : 73 enodes (cost 16 ) 131.222 * * [simplify]: iteration 3 : 224 enodes (cost 12 ) 131.308 * * [simplify]: iteration 4 : 702 enodes (cost 9 ) 131.840 * * [simplify]: iteration 5 : 2326 enodes (cost 9 ) 133.246 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 133.247 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 133.248 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 133.251 * * [simplify]: iteration 2 : 54 enodes (cost 16 ) 133.263 * * [simplify]: iteration 3 : 177 enodes (cost 12 ) 133.325 * * [simplify]: iteration 4 : 467 enodes (cost 9 ) 133.508 * * [simplify]: iteration 5 : 792 enodes (cost 9 ) 133.941 * * [simplify]: iteration 6 : 1308 enodes (cost 9 ) 134.913 * * [simplify]: iteration 7 : 2203 enodes (cost 9 ) 136.343 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 136.344 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.344 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 136.345 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 136.347 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 136.350 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 136.352 * * [simplify]: iteration done : 25 enodes (cost 6 ) 136.353 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 136.354 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 136.355 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 136.356 * * [simplify]: iteration done : 12 enodes (cost 8 ) 136.357 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 136.357 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 136.359 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 136.361 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 136.364 * * [simplify]: iteration 4 : 30 enodes (cost 7 ) 136.367 * * [simplify]: iteration done : 30 enodes (cost 7 ) 136.368 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 136.369 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 136.370 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 136.373 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 136.385 * * [simplify]: iteration 4 : 91 enodes (cost 7 ) 136.399 * * [simplify]: iteration 5 : 193 enodes (cost 7 ) 136.469 * * [simplify]: iteration 6 : 442 enodes (cost 7 ) 136.776 * * [simplify]: iteration 7 : 1407 enodes (cost 7 ) 138.333 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 138.334 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 138.335 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 138.337 * * [simplify]: iteration 2 : 41 enodes (cost 7 ) 138.346 * * [simplify]: iteration 3 : 127 enodes (cost 7 ) 138.385 * * [simplify]: iteration 4 : 390 enodes (cost 7 ) 138.572 * * [simplify]: iteration 5 : 1107 enodes (cost 7 ) 139.944 * * [simplify]: iteration 6 : 3439 enodes (cost 7 ) 141.451 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 141.453 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 141.454 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 141.455 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 141.458 * * [simplify]: iteration 3 : 23 enodes (cost 15 ) 141.460 * * [simplify]: iteration 4 : 27 enodes (cost 15 ) 141.463 * * [simplify]: iteration done : 27 enodes (cost 15 ) 141.464 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 141.465 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 141.466 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 141.468 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 141.471 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 141.474 * * [simplify]: iteration done : 26 enodes (cost 7 ) 141.474 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 141.475 * * [simplify]: iteration 1 : 21 enodes (cost 20 ) 141.479 * * [simplify]: iteration 2 : 75 enodes (cost 8 ) 141.506 * * [simplify]: iteration 3 : 265 enodes (cost 8 ) 141.653 * * [simplify]: iteration 4 : 816 enodes (cost 7 ) 142.424 * * [simplify]: iteration 5 : 2445 enodes (cost 7 ) 144.664 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 144.665 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.666 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 144.667 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 144.669 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 144.672 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 144.675 * * [simplify]: iteration done : 26 enodes (cost 7 ) 144.675 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.676 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 144.677 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 144.679 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 144.682 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 144.684 * * [simplify]: iteration done : 26 enodes (cost 7 ) 144.685 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 144.686 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 144.687 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 144.688 * * [simplify]: iteration done : 12 enodes (cost 8 ) 144.689 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 144.689 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 144.690 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 144.691 * * [simplify]: iteration done : 12 enodes (cost 8 ) 144.692 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 144.693 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 144.694 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 144.695 * * [simplify]: iteration done : 12 enodes (cost 8 ) 144.696 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 144.697 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 144.698 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 144.699 * * [simplify]: iteration done : 12 enodes (cost 8 ) 144.699 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 144.700 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 144.700 * * [simplify]: iteration done : 5 enodes (cost 4 ) 144.701 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.701 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 144.702 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 144.703 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 144.704 * * [simplify]: iteration done : 12 enodes (cost 5 ) 144.705 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 144.705 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 144.706 * * [simplify]: iteration done : 5 enodes (cost 4 ) 144.706 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.707 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 144.708 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 144.709 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 144.711 * * [simplify]: iteration done : 12 enodes (cost 5 ) 144.711 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 144.712 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 144.712 * * [simplify]: iteration done : 5 enodes (cost 4 ) 144.713 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.716 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 144.718 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 144.719 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 144.720 * * [simplify]: iteration done : 12 enodes (cost 5 ) 144.721 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 144.721 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 144.722 * * [simplify]: iteration done : 5 enodes (cost 4 ) 144.722 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 144.723 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 144.723 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 144.725 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 144.726 * * [simplify]: iteration done : 12 enodes (cost 5 ) 144.727 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 144.727 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 144.729 * * [simplify]: iteration 2 : 16 enodes (cost 12 ) 144.731 * * [simplify]: iteration done : 16 enodes (cost 12 ) 144.731 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.732 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 144.733 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 144.734 * * [simplify]: iteration done : 11 enodes (cost 7 ) 144.734 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 144.735 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 144.736 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 144.736 * * [simplify]: iteration done : 10 enodes (cost 2 ) 144.737 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 144.738 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 144.740 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 144.741 * * [simplify]: iteration done : 17 enodes (cost 8 ) 144.742 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 144.743 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 144.743 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 144.744 * * [simplify]: iteration done : 10 enodes (cost 2 ) 144.744 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.745 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 144.746 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 144.748 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 144.751 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 144.754 * * [simplify]: iteration done : 26 enodes (cost 7 ) 144.755 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.755 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 144.756 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 144.758 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 144.761 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 144.764 * * [simplify]: iteration done : 26 enodes (cost 7 ) 144.764 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.765 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 144.766 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 144.768 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 144.771 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 144.774 * * [simplify]: iteration done : 25 enodes (cost 6 ) 144.775 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.776 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 144.777 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 144.779 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 144.784 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 144.787 * * [simplify]: iteration done : 26 enodes (cost 7 ) 144.787 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.788 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 144.789 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 144.791 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 144.794 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 144.797 * * [simplify]: iteration done : 26 enodes (cost 7 ) 144.798 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.799 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 144.800 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 144.802 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 144.804 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 144.807 * * [simplify]: iteration done : 25 enodes (cost 6 ) 144.807 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 144.809 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 144.812 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 144.821 * * [simplify]: iteration 3 : 132 enodes (cost 10 ) 144.853 * * [simplify]: iteration 4 : 306 enodes (cost 10 ) 144.981 * * [simplify]: iteration 5 : 992 enodes (cost 10 ) 146.067 * * [simplify]: iteration 6 : 4487 enodes (cost 10 ) 148.435 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 148.436 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 148.438 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 148.439 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 148.444 * * [simplify]: iteration 3 : 77 enodes (cost 10 ) 148.459 * * [simplify]: iteration 4 : 164 enodes (cost 10 ) 148.502 * * [simplify]: iteration 5 : 250 enodes (cost 10 ) 148.580 * * [simplify]: iteration 6 : 410 enodes (cost 10 ) 148.767 * * [simplify]: iteration 7 : 781 enodes (cost 10 ) 150.525 * * [simplify]: iteration 8 : 3429 enodes (cost 10 ) 152.813 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 152.814 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 152.815 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 152.816 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 152.819 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 152.822 * * [simplify]: iteration done : 22 enodes (cost 5 ) 152.822 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 152.823 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 152.825 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 152.827 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 152.830 * * [simplify]: iteration done : 22 enodes (cost 5 ) 152.831 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 152.832 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 152.833 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 152.836 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 152.842 * * [simplify]: iteration done : 22 enodes (cost 5 ) 152.843 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 152.844 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 152.845 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 152.848 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 152.851 * * [simplify]: iteration done : 23 enodes (cost 6 ) 152.852 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 152.853 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 152.854 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 152.858 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 152.861 * * [simplify]: iteration done : 23 enodes (cost 6 ) 152.861 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 152.862 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 152.864 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 152.867 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 152.869 * * [simplify]: iteration done : 23 enodes (cost 6 ) 152.870 * [simplify]: Simplified to: (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) (+ (log (- x y)) (* 3 (log (cbrt 200.0)))) (+ (* 3 (log (cbrt 200.0))) (log (- x y))) (+ (log (- x y)) (* 3 (log (cbrt 200.0)))) (+ (log (- x y)) (* 3 (log (cbrt 200.0)))) (log (* 200.0 (- x y))) (pow (exp (- x y)) 200.0) (pow (* (- x y) 200.0) 3) (* (* (pow (- x y) 3) 200.0) (* 200.0 200.0)) (* (pow (- x y) 3) (pow 200.0 3)) (pow (* 200.0 (- x y)) 3) (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y))) (pow (* (- x y) 200.0) 3) (sqrt (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (* 200.0 x) (* (neg 200.0) y) (* 200.0 x) (* (neg 200.0) y) (* x 200.0) (* (neg y) 200.0) (* x 200.0) (* (neg y) 200.0) (* 200.0 x) (* (neg y) 200.0) (* 200.0 x) (* (neg y) 200.0) (* x 200.0) (* 200.0 (neg y)) (* x 200.0) (* 200.0 (neg y)) 200.0 (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (- (pow x 3) (pow y 3)) 200.0) (* (- (* x x) (* y y)) 200.0) (* (cbrt 200.0) (- x y)) (+ (log (cbrt 200.0)) (log (- x y))) (log (* (cbrt 200.0) (- x y))) (exp (* (cbrt 200.0) (- x y))) (* (pow (- x y) 3) 200.0) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y)))) (cbrt (* (cbrt 200.0) (- x y))) (* 200.0 (pow (- x y) 3)) (sqrt (* (cbrt 200.0) (- x y))) (sqrt (* (cbrt 200.0) (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (cbrt 200.0) x) (* (cbrt 200.0) (neg y)) (* (cbrt 200.0) x) (* (cbrt 200.0) (neg y)) (* x (cbrt 200.0)) (* (neg y) (cbrt 200.0)) (* x (cbrt 200.0)) (* (neg y) (cbrt 200.0)) (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 200.0) (sqrt (- x y))) (cbrt 200.0) (* (cbrt 200.0) (+ (sqrt x) (sqrt y))) (cbrt 200.0) (* (cbrt (cbrt 200.0)) (- x y)) (* (cbrt (sqrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt (cbrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- (pow x 3) (pow y 3))) (* (cbrt 200.0) (- (* x x) (* y y))) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y)) 152.871 * * * [progress]: adding candidates to table 152.964 * * [progress]: iteration 4 / 4 152.964 * * * [progress]: picking best candidate 152.968 * * * * [pick]: Picked # 152.968 * * * [progress]: localizing error 152.974 * * * [progress]: generating rewritten candidates 152.974 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 152.985 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 152.998 * * * [progress]: generating series expansions 152.998 * * * * [progress]: [ 1 / 2 ] generating series at (2) 152.998 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in (x y) around 0 152.998 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in y 152.998 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 152.998 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 152.998 * [taylor]: Taking taylor expansion of 200.0 in y 152.999 * [taylor]: Taking taylor expansion of (- x y) in y 152.999 * [taylor]: Taking taylor expansion of x in y 152.999 * [taylor]: Taking taylor expansion of y in y 152.999 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x 152.999 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 152.999 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 152.999 * [taylor]: Taking taylor expansion of 200.0 in x 152.999 * [taylor]: Taking taylor expansion of (- x y) in x 152.999 * [taylor]: Taking taylor expansion of x in x 152.999 * [taylor]: Taking taylor expansion of y in x 152.999 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x 152.999 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 152.999 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 152.999 * [taylor]: Taking taylor expansion of 200.0 in x 152.999 * [taylor]: Taking taylor expansion of (- x y) in x 152.999 * [taylor]: Taking taylor expansion of x in x 152.999 * [taylor]: Taking taylor expansion of y in x 152.999 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200.0) 2) y)) in y 152.999 * [taylor]: Taking taylor expansion of -1 in y 152.999 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 152.999 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 152.999 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 152.999 * [taylor]: Taking taylor expansion of 200.0 in y 152.999 * [taylor]: Taking taylor expansion of y in y 153.000 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 153.000 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.000 * [taylor]: Taking taylor expansion of 200.0 in y 153.000 * [taylor]: Taking taylor expansion of 0 in y 153.001 * [taylor]: Taking taylor expansion of 0 in y 153.001 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 x) (/ 1 y))) in (x y) around 0 153.001 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 x) (/ 1 y))) in y 153.001 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 153.001 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.001 * [taylor]: Taking taylor expansion of 200.0 in y 153.002 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 153.002 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.002 * [taylor]: Taking taylor expansion of x in y 153.002 * [taylor]: Taking taylor expansion of (/ 1 y) in y 153.002 * [taylor]: Taking taylor expansion of y in y 153.002 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 x) (/ 1 y))) in x 153.002 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 153.002 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.002 * [taylor]: Taking taylor expansion of 200.0 in x 153.002 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 153.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.002 * [taylor]: Taking taylor expansion of x in x 153.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.002 * [taylor]: Taking taylor expansion of y in x 153.002 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 x) (/ 1 y))) in x 153.002 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 153.002 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.002 * [taylor]: Taking taylor expansion of 200.0 in x 153.002 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 153.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.002 * [taylor]: Taking taylor expansion of x in x 153.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.002 * [taylor]: Taking taylor expansion of y in x 153.002 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 153.002 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.002 * [taylor]: Taking taylor expansion of 200.0 in y 153.003 * [taylor]: Taking taylor expansion of (neg (/ (pow (sqrt 200.0) 2) y)) in y 153.003 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y 153.003 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 153.003 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.003 * [taylor]: Taking taylor expansion of 200.0 in y 153.003 * [taylor]: Taking taylor expansion of y in y 153.004 * [taylor]: Taking taylor expansion of 0 in y 153.004 * [taylor]: Taking taylor expansion of 0 in y 153.005 * [taylor]: Taking taylor expansion of 0 in y 153.005 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0 153.005 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y 153.005 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 153.005 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.005 * [taylor]: Taking taylor expansion of 200.0 in y 153.005 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 153.006 * [taylor]: Taking taylor expansion of (/ 1 y) in y 153.006 * [taylor]: Taking taylor expansion of y in y 153.006 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.006 * [taylor]: Taking taylor expansion of x in y 153.006 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x 153.006 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 153.006 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.006 * [taylor]: Taking taylor expansion of 200.0 in x 153.006 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 153.006 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.006 * [taylor]: Taking taylor expansion of y in x 153.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.006 * [taylor]: Taking taylor expansion of x in x 153.006 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x 153.006 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 153.006 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.006 * [taylor]: Taking taylor expansion of 200.0 in x 153.006 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 153.006 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.006 * [taylor]: Taking taylor expansion of y in x 153.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.006 * [taylor]: Taking taylor expansion of x in x 153.006 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200.0) 2)) in y 153.006 * [taylor]: Taking taylor expansion of -1 in y 153.006 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 153.006 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.006 * [taylor]: Taking taylor expansion of 200.0 in y 153.007 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y 153.007 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 153.007 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.007 * [taylor]: Taking taylor expansion of 200.0 in y 153.007 * [taylor]: Taking taylor expansion of y in y 153.007 * [taylor]: Taking taylor expansion of 0 in y 153.008 * [taylor]: Taking taylor expansion of 0 in y 153.009 * [taylor]: Taking taylor expansion of 0 in y 153.009 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 153.009 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in (x y) around 0 153.009 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in y 153.009 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.009 * [taylor]: Taking taylor expansion of 200.0 in y 153.009 * [taylor]: Taking taylor expansion of (- x y) in y 153.009 * [taylor]: Taking taylor expansion of x in y 153.010 * [taylor]: Taking taylor expansion of y in y 153.010 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x 153.010 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.010 * [taylor]: Taking taylor expansion of 200.0 in x 153.010 * [taylor]: Taking taylor expansion of (- x y) in x 153.010 * [taylor]: Taking taylor expansion of x in x 153.010 * [taylor]: Taking taylor expansion of y in x 153.010 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x 153.010 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.010 * [taylor]: Taking taylor expansion of 200.0 in x 153.010 * [taylor]: Taking taylor expansion of (- x y) in x 153.010 * [taylor]: Taking taylor expansion of x in x 153.010 * [taylor]: Taking taylor expansion of y in x 153.010 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 200.0) y)) in y 153.010 * [taylor]: Taking taylor expansion of -1 in y 153.010 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 153.010 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.010 * [taylor]: Taking taylor expansion of 200.0 in y 153.010 * [taylor]: Taking taylor expansion of y in y 153.010 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.010 * [taylor]: Taking taylor expansion of 200.0 in y 153.011 * [taylor]: Taking taylor expansion of 0 in y 153.011 * [taylor]: Taking taylor expansion of 0 in y 153.011 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 x) (/ 1 y))) in (x y) around 0 153.011 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 x) (/ 1 y))) in y 153.011 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.011 * [taylor]: Taking taylor expansion of 200.0 in y 153.011 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 153.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.011 * [taylor]: Taking taylor expansion of x in y 153.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 153.011 * [taylor]: Taking taylor expansion of y in y 153.011 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 x) (/ 1 y))) in x 153.011 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.011 * [taylor]: Taking taylor expansion of 200.0 in x 153.012 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 153.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.012 * [taylor]: Taking taylor expansion of x in x 153.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.012 * [taylor]: Taking taylor expansion of y in x 153.012 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 x) (/ 1 y))) in x 153.012 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.012 * [taylor]: Taking taylor expansion of 200.0 in x 153.012 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 153.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.012 * [taylor]: Taking taylor expansion of x in x 153.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.012 * [taylor]: Taking taylor expansion of y in x 153.012 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.012 * [taylor]: Taking taylor expansion of 200.0 in y 153.012 * [taylor]: Taking taylor expansion of (neg (/ (sqrt 200.0) y)) in y 153.012 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y 153.012 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.012 * [taylor]: Taking taylor expansion of 200.0 in y 153.012 * [taylor]: Taking taylor expansion of y in y 153.013 * [taylor]: Taking taylor expansion of 0 in y 153.013 * [taylor]: Taking taylor expansion of 0 in y 153.014 * [taylor]: Taking taylor expansion of 0 in y 153.014 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 153.014 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in y 153.014 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.014 * [taylor]: Taking taylor expansion of 200.0 in y 153.014 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 153.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 153.014 * [taylor]: Taking taylor expansion of y in y 153.014 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.014 * [taylor]: Taking taylor expansion of x in y 153.014 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x 153.014 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.014 * [taylor]: Taking taylor expansion of 200.0 in x 153.014 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 153.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.014 * [taylor]: Taking taylor expansion of y in x 153.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.014 * [taylor]: Taking taylor expansion of x in x 153.014 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x 153.014 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 153.014 * [taylor]: Taking taylor expansion of 200.0 in x 153.015 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 153.015 * [taylor]: Taking taylor expansion of (/ 1 y) in x 153.015 * [taylor]: Taking taylor expansion of y in x 153.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.015 * [taylor]: Taking taylor expansion of x in x 153.015 * [taylor]: Taking taylor expansion of (* -1 (sqrt 200.0)) in y 153.015 * [taylor]: Taking taylor expansion of -1 in y 153.015 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.015 * [taylor]: Taking taylor expansion of 200.0 in y 153.015 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y 153.015 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 153.015 * [taylor]: Taking taylor expansion of 200.0 in y 153.015 * [taylor]: Taking taylor expansion of y in y 153.016 * [taylor]: Taking taylor expansion of 0 in y 153.016 * [taylor]: Taking taylor expansion of 0 in y 153.017 * [taylor]: Taking taylor expansion of 0 in y 153.017 * * * [progress]: simplifying candidates 153.018 * [simplify]: Simplifying using # : (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (+ (log (sqrt 200.0)) (+ (log (sqrt 200.0)) (log (- x y)))) (+ (log (sqrt 200.0)) (log (* (sqrt 200.0) (- x y)))) (log (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (exp (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y)))) (* (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (* (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) x)) (* (sqrt 200.0) (* (sqrt 200.0) (neg y))) (* (sqrt 200.0) (* (sqrt 200.0) x)) (* (sqrt 200.0) (* (sqrt 200.0) (neg y))) (* (sqrt 200.0) (* x (sqrt 200.0))) (* (sqrt 200.0) (* (neg y) (sqrt 200.0))) (* (sqrt 200.0) (* x (sqrt 200.0))) (* (sqrt 200.0) (* (neg y) (sqrt 200.0))) (* (* (sqrt 200.0) x) (sqrt 200.0)) (* (* (sqrt 200.0) (neg y)) (sqrt 200.0)) (* (* (sqrt 200.0) x) (sqrt 200.0)) (* (* (sqrt 200.0) (neg y)) (sqrt 200.0)) (* (* x (sqrt 200.0)) (sqrt 200.0)) (* (* (neg y) (sqrt 200.0)) (sqrt 200.0)) (* (* x (sqrt 200.0)) (sqrt 200.0)) (* (* (neg y) (sqrt 200.0)) (sqrt 200.0)) (* (sqrt 200.0) (sqrt 200.0)) (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- (pow x 3) (pow y 3)))) (* (sqrt 200.0) (* (sqrt 200.0) (- (* x x) (* y y)))) (* (sqrt 200.0) (- x y)) (+ (log (sqrt 200.0)) (log (- x y))) (log (* (sqrt 200.0) (- x y))) (exp (* (sqrt 200.0) (- x y))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (- x y))) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y))) (sqrt (* (sqrt 200.0) (- x y))) (sqrt (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt 200.0) x) (* (sqrt 200.0) (neg y)) (* (sqrt 200.0) x) (* (sqrt 200.0) (neg y)) (* x (sqrt 200.0)) (* (neg y) (sqrt 200.0)) (* x (sqrt 200.0)) (* (neg y) (sqrt 200.0)) (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) 1) (* (sqrt 200.0) (+ (sqrt x) (sqrt y))) (* (sqrt 200.0) 1) (* (cbrt (sqrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- (pow x 3) (pow y 3))) (* (sqrt 200.0) (- (* x x) (* y y))) (- (* (pow (sqrt 200.0) 2) x) (* (pow (sqrt 200.0) 2) y)) (- (* (pow (sqrt 200.0) 2) x) (* (pow (sqrt 200.0) 2) y)) (- (* (pow (sqrt 200.0) 2) x) (* (pow (sqrt 200.0) 2) y)) (- (* (sqrt 200.0) x) (* (sqrt 200.0) y)) (- (* (sqrt 200.0) x) (* (sqrt 200.0) y)) (- (* (sqrt 200.0) x) (* (sqrt 200.0) y)) 153.019 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 153.020 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 153.022 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 153.026 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 153.032 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 153.040 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 153.049 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 153.060 * * [simplify]: iteration done : 65 enodes (cost 5 ) 153.061 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 153.062 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 153.064 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 153.067 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 153.073 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 153.082 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 153.091 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 153.100 * * [simplify]: iteration done : 65 enodes (cost 5 ) 153.100 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 153.101 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 153.103 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 153.105 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 153.107 * * [simplify]: iteration done : 20 enodes (cost 10 ) 153.107 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 153.108 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 153.110 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 153.113 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 153.120 * * [simplify]: iteration 4 : 38 enodes (cost 10 ) 153.124 * * [simplify]: iteration done : 38 enodes (cost 10 ) 153.125 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 153.126 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 153.128 * * [simplify]: iteration 2 : 37 enodes (cost 6 ) 153.133 * * [simplify]: iteration 3 : 57 enodes (cost 6 ) 153.141 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 153.151 * * [simplify]: iteration 5 : 80 enodes (cost 6 ) 153.162 * * [simplify]: iteration 6 : 82 enodes (cost 6 ) 153.172 * * [simplify]: iteration done : 82 enodes (cost 6 ) 153.175 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 153.176 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 153.179 * * [simplify]: iteration 2 : 38 enodes (cost 6 ) 153.184 * * [simplify]: iteration 3 : 79 enodes (cost 6 ) 153.197 * * [simplify]: iteration 4 : 164 enodes (cost 6 ) 153.225 * * [simplify]: iteration 5 : 370 enodes (cost 6 ) 153.388 * * [simplify]: iteration 6 : 925 enodes (cost 6 ) 154.388 * * [simplify]: iteration 7 : 3149 enodes (cost 6 ) 155.376 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 155.377 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 155.379 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 155.384 * * [simplify]: iteration 2 : 98 enodes (cost 11 ) 155.423 * * [simplify]: iteration 3 : 422 enodes (cost 9 ) 155.736 * * [simplify]: iteration 4 : 1582 enodes (cost 9 ) 158.034 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 158.034 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 158.036 * * [simplify]: iteration 1 : 29 enodes (cost 21 ) 158.042 * * [simplify]: iteration 2 : 115 enodes (cost 13 ) 158.094 * * [simplify]: iteration 3 : 516 enodes (cost 13 ) 158.624 * * [simplify]: iteration 4 : 1739 enodes (cost 7 ) 161.466 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 161.467 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 161.468 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 161.470 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 161.474 * * [simplify]: iteration 3 : 45 enodes (cost 13 ) 161.480 * * [simplify]: iteration 4 : 58 enodes (cost 13 ) 161.488 * * [simplify]: iteration 5 : 65 enodes (cost 13 ) 161.498 * * [simplify]: iteration 6 : 67 enodes (cost 13 ) 161.509 * * [simplify]: iteration done : 67 enodes (cost 13 ) 161.509 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 161.510 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 161.512 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 161.516 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 161.522 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 161.530 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 161.539 * * [simplify]: iteration done : 64 enodes (cost 6 ) 161.540 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 161.541 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 161.547 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 161.585 * * [simplify]: iteration 3 : 381 enodes (cost 7 ) 161.947 * * [simplify]: iteration 4 : 1466 enodes (cost 7 ) 164.465 * * [simplify]: iteration 5 : 4355 enodes (cost 7 ) 166.367 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 166.368 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 166.368 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 166.370 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 166.374 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 166.380 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 166.389 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 166.398 * * [simplify]: iteration done : 64 enodes (cost 6 ) 166.398 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 166.399 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 166.402 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 166.409 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 166.416 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 166.424 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 166.433 * * [simplify]: iteration done : 64 enodes (cost 6 ) 166.434 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.434 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 166.435 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 166.436 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.437 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.438 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 166.440 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 166.443 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 166.447 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 166.451 * * [simplify]: iteration done : 33 enodes (cost 4 ) 166.451 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.452 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 166.453 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 166.454 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.455 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.456 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 166.458 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 166.461 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 166.468 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 166.472 * * [simplify]: iteration done : 33 enodes (cost 4 ) 166.473 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.473 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 166.474 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 166.476 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.476 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.477 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 166.478 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 166.481 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 166.485 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 166.489 * * [simplify]: iteration done : 30 enodes (cost 4 ) 166.489 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.490 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 166.491 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 166.492 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.493 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.494 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 166.495 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 166.498 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 166.502 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 166.506 * * [simplify]: iteration done : 30 enodes (cost 4 ) 166.506 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.507 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 166.508 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 166.509 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.509 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.510 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 166.512 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 166.514 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 166.519 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 166.523 * * [simplify]: iteration done : 30 enodes (cost 4 ) 166.524 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.524 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 166.525 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 166.530 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.530 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.531 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 166.532 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 166.535 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 166.539 * * [simplify]: iteration 4 : 30 enodes (cost 4 ) 166.543 * * [simplify]: iteration done : 30 enodes (cost 4 ) 166.543 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.544 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 166.545 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 166.546 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.547 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.548 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 166.550 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 166.553 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 166.556 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 166.561 * * [simplify]: iteration done : 33 enodes (cost 4 ) 166.561 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 166.562 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 166.563 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 166.564 * * [simplify]: iteration done : 10 enodes (cost 3 ) 166.565 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 166.565 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 166.567 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 166.570 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 166.574 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 166.578 * * [simplify]: iteration done : 33 enodes (cost 4 ) 166.579 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 166.580 * * [simplify]: iteration done : 3 enodes (cost 1 ) 166.580 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 166.581 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 166.583 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 166.591 * * [simplify]: iteration 3 : 59 enodes (cost 10 ) 166.610 * * [simplify]: iteration 4 : 77 enodes (cost 10 ) 166.623 * * [simplify]: iteration 5 : 93 enodes (cost 10 ) 166.639 * * [simplify]: iteration done : 93 enodes (cost 10 ) 166.640 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 166.642 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 166.643 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 166.649 * * [simplify]: iteration 3 : 60 enodes (cost 10 ) 166.663 * * [simplify]: iteration 4 : 78 enodes (cost 10 ) 166.676 * * [simplify]: iteration 5 : 92 enodes (cost 10 ) 166.692 * * [simplify]: iteration done : 92 enodes (cost 10 ) 166.693 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 166.694 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 166.696 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 166.701 * * [simplify]: iteration 3 : 59 enodes (cost 10 ) 166.711 * * [simplify]: iteration 4 : 77 enodes (cost 10 ) 166.727 * * [simplify]: iteration 5 : 93 enodes (cost 10 ) 166.743 * * [simplify]: iteration done : 93 enodes (cost 10 ) 166.743 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 166.744 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 166.746 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 166.750 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 166.756 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 166.764 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 166.777 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 166.785 * * [simplify]: iteration done : 65 enodes (cost 5 ) 166.786 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 166.787 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 166.789 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 166.794 * * [simplify]: iteration 3 : 59 enodes (cost 10 ) 166.804 * * [simplify]: iteration 4 : 77 enodes (cost 10 ) 166.817 * * [simplify]: iteration 5 : 93 enodes (cost 10 ) 166.835 * * [simplify]: iteration done : 93 enodes (cost 10 ) 166.836 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 166.837 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 166.838 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 166.842 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 166.848 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 166.856 * * [simplify]: iteration 5 : 63 enodes (cost 5 ) 166.866 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 166.874 * * [simplify]: iteration done : 65 enodes (cost 5 ) 166.875 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 166.876 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 166.881 * * [simplify]: iteration 2 : 64 enodes (cost 9 ) 166.896 * * [simplify]: iteration 3 : 194 enodes (cost 9 ) 166.953 * * [simplify]: iteration 4 : 527 enodes (cost 9 ) 167.284 * * [simplify]: iteration 5 : 1649 enodes (cost 9 ) 168.699 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 168.700 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 168.701 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 168.704 * * [simplify]: iteration 2 : 44 enodes (cost 9 ) 168.712 * * [simplify]: iteration 3 : 134 enodes (cost 9 ) 168.751 * * [simplify]: iteration 4 : 318 enodes (cost 9 ) 169.062 * * [simplify]: iteration 5 : 494 enodes (cost 9 ) 169.267 * * [simplify]: iteration 6 : 807 enodes (cost 9 ) 169.736 * * [simplify]: iteration 7 : 1432 enodes (cost 9 ) 171.649 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 171.650 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 171.651 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 171.651 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 171.653 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 171.656 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 171.659 * * [simplify]: iteration done : 25 enodes (cost 6 ) 171.660 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 171.660 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 171.661 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 171.662 * * [simplify]: iteration done : 12 enodes (cost 8 ) 171.663 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 171.664 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 171.665 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 171.668 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 171.671 * * [simplify]: iteration 4 : 30 enodes (cost 7 ) 171.675 * * [simplify]: iteration done : 30 enodes (cost 7 ) 171.675 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 171.676 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 171.677 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 171.681 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 171.687 * * [simplify]: iteration 4 : 91 enodes (cost 7 ) 171.704 * * [simplify]: iteration 5 : 193 enodes (cost 7 ) 171.775 * * [simplify]: iteration 6 : 442 enodes (cost 7 ) 172.085 * * [simplify]: iteration 7 : 1407 enodes (cost 7 ) 173.682 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 173.683 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 173.684 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 173.687 * * [simplify]: iteration 2 : 60 enodes (cost 10 ) 173.708 * * [simplify]: iteration 3 : 229 enodes (cost 10 ) 173.803 * * [simplify]: iteration 4 : 758 enodes (cost 10 ) 174.396 * * [simplify]: iteration 5 : 2382 enodes (cost 10 ) 176.259 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 176.259 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 176.260 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 176.262 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 176.264 * * [simplify]: iteration 3 : 23 enodes (cost 15 ) 176.267 * * [simplify]: iteration 4 : 27 enodes (cost 15 ) 176.270 * * [simplify]: iteration done : 27 enodes (cost 15 ) 176.270 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.271 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 176.272 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 176.275 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 176.277 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 176.280 * * [simplify]: iteration done : 26 enodes (cost 7 ) 176.281 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 176.282 * * [simplify]: iteration 1 : 21 enodes (cost 20 ) 176.286 * * [simplify]: iteration 2 : 75 enodes (cost 8 ) 176.314 * * [simplify]: iteration 3 : 264 enodes (cost 8 ) 176.461 * * [simplify]: iteration 4 : 800 enodes (cost 8 ) 177.248 * * [simplify]: iteration 5 : 2490 enodes (cost 8 ) 179.159 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 179.159 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.160 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 179.161 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 179.164 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 179.169 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 179.172 * * [simplify]: iteration done : 26 enodes (cost 7 ) 179.173 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.174 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 179.175 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 179.177 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 179.179 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 179.182 * * [simplify]: iteration done : 26 enodes (cost 7 ) 179.183 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 179.184 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 179.185 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 179.186 * * [simplify]: iteration done : 12 enodes (cost 8 ) 179.186 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 179.187 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 179.188 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 179.189 * * [simplify]: iteration done : 12 enodes (cost 8 ) 179.190 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 179.191 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 179.192 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 179.193 * * [simplify]: iteration done : 12 enodes (cost 8 ) 179.194 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 179.194 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 179.195 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 179.197 * * [simplify]: iteration done : 12 enodes (cost 8 ) 179.197 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 179.198 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 179.198 * * [simplify]: iteration done : 5 enodes (cost 4 ) 179.199 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 179.199 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 179.200 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 179.201 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 179.202 * * [simplify]: iteration done : 12 enodes (cost 5 ) 179.203 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 179.203 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 179.204 * * [simplify]: iteration done : 5 enodes (cost 4 ) 179.204 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 179.205 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 179.206 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 179.207 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 179.208 * * [simplify]: iteration done : 12 enodes (cost 5 ) 179.209 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 179.209 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 179.210 * * [simplify]: iteration done : 5 enodes (cost 4 ) 179.210 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 179.211 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 179.212 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 179.213 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 179.215 * * [simplify]: iteration done : 12 enodes (cost 5 ) 179.216 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 179.216 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 179.217 * * [simplify]: iteration done : 5 enodes (cost 4 ) 179.217 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 179.218 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 179.219 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 179.220 * * [simplify]: iteration 3 : 12 enodes (cost 5 ) 179.221 * * [simplify]: iteration done : 12 enodes (cost 5 ) 179.222 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 179.223 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 179.224 * * [simplify]: iteration 2 : 16 enodes (cost 12 ) 179.226 * * [simplify]: iteration done : 16 enodes (cost 12 ) 179.226 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.227 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 179.228 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 179.229 * * [simplify]: iteration done : 11 enodes (cost 7 ) 179.229 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 179.230 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 179.231 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 179.231 * * [simplify]: iteration done : 10 enodes (cost 2 ) 179.232 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 179.233 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 179.237 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 179.239 * * [simplify]: iteration done : 17 enodes (cost 8 ) 179.240 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 179.240 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 179.241 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 179.242 * * [simplify]: iteration done : 10 enodes (cost 2 ) 179.242 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.243 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 179.244 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 179.246 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 179.249 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 179.252 * * [simplify]: iteration done : 26 enodes (cost 7 ) 179.252 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.253 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 179.254 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 179.256 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 179.258 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 179.261 * * [simplify]: iteration done : 26 enodes (cost 7 ) 179.262 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.263 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 179.264 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 179.266 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 179.269 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 179.272 * * [simplify]: iteration done : 26 enodes (cost 7 ) 179.273 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 179.273 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 179.274 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 179.276 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 179.279 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 179.282 * * [simplify]: iteration done : 25 enodes (cost 6 ) 179.282 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 179.283 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 179.284 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 179.286 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 179.289 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 179.292 * * [simplify]: iteration done : 26 enodes (cost 7 ) 179.292 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 179.293 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 179.294 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 179.296 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 179.301 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 179.304 * * [simplify]: iteration done : 25 enodes (cost 6 ) 179.305 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 179.306 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 179.309 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 179.318 * * [simplify]: iteration 3 : 132 enodes (cost 10 ) 179.346 * * [simplify]: iteration 4 : 306 enodes (cost 10 ) 179.477 * * [simplify]: iteration 5 : 992 enodes (cost 10 ) 180.556 * * [simplify]: iteration 6 : 4487 enodes (cost 10 ) 182.674 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 182.675 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 182.676 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 182.677 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 182.689 * * [simplify]: iteration 3 : 77 enodes (cost 10 ) 182.704 * * [simplify]: iteration 4 : 164 enodes (cost 10 ) 182.745 * * [simplify]: iteration 5 : 250 enodes (cost 10 ) 182.823 * * [simplify]: iteration 6 : 410 enodes (cost 10 ) 183.007 * * [simplify]: iteration 7 : 781 enodes (cost 10 ) 184.740 * * [simplify]: iteration 8 : 3429 enodes (cost 10 ) 187.240 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 187.241 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 187.243 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 187.246 * * [simplify]: iteration 2 : 57 enodes (cost 5 ) 187.253 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 187.273 * * [simplify]: iteration 4 : 239 enodes (cost 5 ) 187.383 * * [simplify]: iteration 5 : 702 enodes (cost 5 ) 188.271 * * [simplify]: iteration 6 : 2418 enodes (cost 5 ) 190.336 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 190.337 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 190.338 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 190.342 * * [simplify]: iteration 2 : 57 enodes (cost 5 ) 190.349 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 190.369 * * [simplify]: iteration 4 : 239 enodes (cost 5 ) 190.477 * * [simplify]: iteration 5 : 702 enodes (cost 5 ) 191.366 * * [simplify]: iteration 6 : 2418 enodes (cost 5 ) 193.410 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 193.411 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 193.412 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 193.416 * * [simplify]: iteration 2 : 57 enodes (cost 5 ) 193.427 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 193.447 * * [simplify]: iteration 4 : 239 enodes (cost 5 ) 193.555 * * [simplify]: iteration 5 : 702 enodes (cost 5 ) 194.447 * * [simplify]: iteration 6 : 2418 enodes (cost 5 ) 196.491 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 196.492 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 196.493 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 196.494 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 196.497 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 196.500 * * [simplify]: iteration done : 23 enodes (cost 6 ) 196.501 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 196.501 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 196.503 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 196.506 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 196.509 * * [simplify]: iteration done : 23 enodes (cost 6 ) 196.510 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 196.510 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 196.512 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 196.519 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 196.522 * * [simplify]: iteration done : 23 enodes (cost 6 ) 196.523 * [simplify]: Simplified to: (* 200.0 (- x y)) (* 200.0 (- x y)) (+ (* 2 (log (sqrt 200.0))) (log (- x y))) (+ (* 2 (log (sqrt 200.0))) (log (- x y))) (log (* 200.0 (- x y))) (exp (* 200.0 (- x y))) (* (pow (- x y) 3) (pow 200.0 3)) (pow (* 200.0 (- x y)) 3) (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y))) (pow (* (- x y) 200.0) 3) (sqrt (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (* x 200.0) (* 200.0 (neg y)) (* x 200.0) (* 200.0 (neg y)) (* x 200.0) (* (neg y) 200.0) (* x 200.0) (* (neg y) 200.0) (* x 200.0) (* (neg y) 200.0) (* x 200.0) (* (neg y) 200.0) (* 200.0 x) (* 200.0 (neg y)) (* 200.0 x) (* 200.0 (neg y)) 200.0 (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* 200.0 (- x y)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* 200.0 (- x y)) (* (- (pow x 3) (pow y 3)) 200.0) (* (- (* x x) (* y y)) 200.0) (* (sqrt 200.0) (- x y)) (+ (log (sqrt 200.0)) (log (- x y))) (log (* (sqrt 200.0) (- x y))) (exp (* (sqrt 200.0) (- x y))) (* (pow (- x y) 3) (* 200.0 (sqrt 200.0))) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (- x y))) (pow (* (sqrt 200.0) (- x y)) 3) (sqrt (* (sqrt 200.0) (- x y))) (sqrt (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt 200.0) x) (* (sqrt 200.0) (neg y)) (* (sqrt 200.0) x) (* (sqrt 200.0) (neg y)) (* x (sqrt 200.0)) (* (neg y) (sqrt 200.0)) (* x (sqrt 200.0)) (* (neg y) (sqrt 200.0)) (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 200.0) (sqrt (- x y))) (sqrt 200.0) (* (sqrt 200.0) (+ (sqrt x) (sqrt y))) (sqrt 200.0) (* (cbrt (sqrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- (pow x 3) (pow y 3))) (* (sqrt 200.0) (- (* x x) (* y y))) (* (- x y) 200.0) (* (- x y) 200.0) (* (- x y) 200.0) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) 196.524 * * * [progress]: adding candidates to table 196.609 * [progress]: [Phase 3 of 3] Extracting. 196.609 * * [regime]: Finding splitpoints for: (# # #) 196.610 * * * [regime-changes]: Trying 3 branch expressions: ((- x y) y x) 196.610 * * * * [regimes]: Trying to branch on (- x y) from (# # #) 196.649 * * * * [regimes]: Trying to branch on (- x y) from (# #) 196.686 * * * * [regimes]: Trying to branch on y from (# # #) 196.726 * * * * [regimes]: Trying to branch on x from (# # #) 196.764 * * * [regime]: Found split indices: #