911.437 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying using # : (+ x (* (- 1.0 x) (- 1.0 y))) 0.026 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.027 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.029 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.033 * * [simplify]: iteration 3 : 68 enodes (cost 9 ) 0.056 * * [simplify]: iteration 4 : 172 enodes (cost 9 ) 0.121 * * [simplify]: iteration 5 : 372 enodes (cost 9 ) 0.365 * * [simplify]: iteration 6 : 715 enodes (cost 9 ) 1.057 * * [simplify]: iteration 7 : 1264 enodes (cost 9 ) 2.743 * * [simplify]: iteration 8 : 2309 enodes (cost 9 ) 4.610 * * [simplify]: iteration 9 : 2940 enodes (cost 9 ) 6.066 * * [simplify]: iteration 10 : 3129 enodes (cost 9 ) 7.707 * * [simplify]: iteration 11 : 3436 enodes (cost 9 ) 9.357 * * [simplify]: iteration 12 : 3861 enodes (cost 9 ) 11.098 * * [simplify]: iteration 13 : 4264 enodes (cost 9 ) 12.798 * * [simplify]: iteration 14 : 4414 enodes (cost 9 ) 14.845 * * [simplify]: iteration 15 : 4496 enodes (cost 9 ) 17.176 * * [simplify]: iteration 16 : 4520 enodes (cost 9 ) 19.556 * * [simplify]: iteration done : 4520 enodes (cost 9 ) 19.556 * [simplify]: Simplified to: (+ x (* (- 1.0 x) (- 1.0 y))) 19.556 * * [progress]: iteration 1 / 4 19.556 * * * [progress]: picking best candidate 19.559 * * * * [pick]: Picked # 19.559 * * * [progress]: localizing error 19.565 * * * [progress]: generating rewritten candidates 19.565 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 19.569 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 19.582 * * * [progress]: generating series expansions 19.582 * * * * [progress]: [ 1 / 2 ] generating series at (2) 19.582 * [approximate]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in (x y) around 0 19.582 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in y 19.582 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y 19.582 * [taylor]: Taking taylor expansion of (* x y) in y 19.582 * [taylor]: Taking taylor expansion of x in y 19.582 * [taylor]: Taking taylor expansion of y in y 19.582 * [taylor]: Taking taylor expansion of 1.0 in y 19.582 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 19.582 * [taylor]: Taking taylor expansion of 1.0 in y 19.582 * [taylor]: Taking taylor expansion of y in y 19.582 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 19.582 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 19.582 * [taylor]: Taking taylor expansion of (* x y) in x 19.582 * [taylor]: Taking taylor expansion of x in x 19.582 * [taylor]: Taking taylor expansion of y in x 19.582 * [taylor]: Taking taylor expansion of 1.0 in x 19.582 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 19.582 * [taylor]: Taking taylor expansion of 1.0 in x 19.582 * [taylor]: Taking taylor expansion of y in x 19.582 * [taylor]: Taking taylor expansion of (- (+ (* x y) 1.0) (* 1.0 y)) in x 19.582 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x 19.582 * [taylor]: Taking taylor expansion of (* x y) in x 19.582 * [taylor]: Taking taylor expansion of x in x 19.582 * [taylor]: Taking taylor expansion of y in x 19.582 * [taylor]: Taking taylor expansion of 1.0 in x 19.582 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 19.582 * [taylor]: Taking taylor expansion of 1.0 in x 19.582 * [taylor]: Taking taylor expansion of y in x 19.582 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 y)) in y 19.582 * [taylor]: Taking taylor expansion of 1.0 in y 19.582 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 19.582 * [taylor]: Taking taylor expansion of 1.0 in y 19.583 * [taylor]: Taking taylor expansion of y in y 19.583 * [taylor]: Taking taylor expansion of y in y 19.583 * [taylor]: Taking taylor expansion of 0 in y 19.583 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in (x y) around 0 19.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in y 19.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in y 19.583 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 19.583 * [taylor]: Taking taylor expansion of (* x y) in y 19.583 * [taylor]: Taking taylor expansion of x in y 19.583 * [taylor]: Taking taylor expansion of y in y 19.583 * [taylor]: Taking taylor expansion of 1.0 in y 19.583 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 19.583 * [taylor]: Taking taylor expansion of 1.0 in y 19.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.583 * [taylor]: Taking taylor expansion of y in y 19.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in x 19.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x 19.583 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.583 * [taylor]: Taking taylor expansion of (* x y) in x 19.584 * [taylor]: Taking taylor expansion of x in x 19.584 * [taylor]: Taking taylor expansion of y in x 19.584 * [taylor]: Taking taylor expansion of 1.0 in x 19.584 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 19.584 * [taylor]: Taking taylor expansion of 1.0 in x 19.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.584 * [taylor]: Taking taylor expansion of y in x 19.584 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) 1.0) (* 1.0 (/ 1 y))) in x 19.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x 19.584 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.584 * [taylor]: Taking taylor expansion of (* x y) in x 19.584 * [taylor]: Taking taylor expansion of x in x 19.584 * [taylor]: Taking taylor expansion of y in x 19.584 * [taylor]: Taking taylor expansion of 1.0 in x 19.584 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 19.584 * [taylor]: Taking taylor expansion of 1.0 in x 19.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.584 * [taylor]: Taking taylor expansion of y in x 19.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.584 * [taylor]: Taking taylor expansion of y in y 19.584 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 19.584 * [taylor]: Taking taylor expansion of 1.0 in y 19.584 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 19.584 * [taylor]: Taking taylor expansion of 1.0 in y 19.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.584 * [taylor]: Taking taylor expansion of y in y 19.585 * [taylor]: Taking taylor expansion of 0 in y 19.585 * [approximate]: Taking taylor expansion of (+ 1.0 (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in (x y) around 0 19.585 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in y 19.585 * [taylor]: Taking taylor expansion of 1.0 in y 19.585 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 19.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 19.585 * [taylor]: Taking taylor expansion of 1.0 in y 19.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.585 * [taylor]: Taking taylor expansion of y in y 19.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 19.586 * [taylor]: Taking taylor expansion of (* x y) in y 19.586 * [taylor]: Taking taylor expansion of x in y 19.586 * [taylor]: Taking taylor expansion of y in y 19.586 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 19.586 * [taylor]: Taking taylor expansion of 1.0 in x 19.586 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 19.586 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 19.586 * [taylor]: Taking taylor expansion of 1.0 in x 19.586 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.586 * [taylor]: Taking taylor expansion of y in x 19.586 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.586 * [taylor]: Taking taylor expansion of (* x y) in x 19.586 * [taylor]: Taking taylor expansion of x in x 19.586 * [taylor]: Taking taylor expansion of y in x 19.586 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 19.586 * [taylor]: Taking taylor expansion of 1.0 in x 19.586 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 19.586 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 19.586 * [taylor]: Taking taylor expansion of 1.0 in x 19.586 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.586 * [taylor]: Taking taylor expansion of y in x 19.586 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.586 * [taylor]: Taking taylor expansion of (* x y) in x 19.586 * [taylor]: Taking taylor expansion of x in x 19.586 * [taylor]: Taking taylor expansion of y in x 19.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.586 * [taylor]: Taking taylor expansion of y in y 19.587 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) 1.0) in y 19.587 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 19.587 * [taylor]: Taking taylor expansion of 1.0 in y 19.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.587 * [taylor]: Taking taylor expansion of y in y 19.587 * [taylor]: Taking taylor expansion of 1.0 in y 19.587 * [taylor]: Taking taylor expansion of 0 in y 19.587 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 19.587 * [approximate]: Taking taylor expansion of (* (- 1.0 x) (- 1.0 y)) in (x y) around 0 19.587 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 1.0 y)) in y 19.587 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 19.587 * [taylor]: Taking taylor expansion of 1.0 in y 19.587 * [taylor]: Taking taylor expansion of x in y 19.587 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 19.587 * [taylor]: Taking taylor expansion of 1.0 in y 19.587 * [taylor]: Taking taylor expansion of y in y 19.587 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 1.0 y)) in x 19.588 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 19.588 * [taylor]: Taking taylor expansion of 1.0 in x 19.588 * [taylor]: Taking taylor expansion of x in x 19.588 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 19.588 * [taylor]: Taking taylor expansion of 1.0 in x 19.588 * [taylor]: Taking taylor expansion of y in x 19.588 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 1.0 y)) in x 19.588 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 19.588 * [taylor]: Taking taylor expansion of 1.0 in x 19.588 * [taylor]: Taking taylor expansion of x in x 19.588 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 19.588 * [taylor]: Taking taylor expansion of 1.0 in x 19.588 * [taylor]: Taking taylor expansion of y in x 19.588 * [taylor]: Taking taylor expansion of (* 1.0 (- 1.0 y)) in y 19.588 * [taylor]: Taking taylor expansion of 1.0 in y 19.588 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 19.588 * [taylor]: Taking taylor expansion of 1.0 in y 19.588 * [taylor]: Taking taylor expansion of y in y 19.588 * [taylor]: Taking taylor expansion of (- y 1.0) in y 19.588 * [taylor]: Taking taylor expansion of y in y 19.588 * [taylor]: Taking taylor expansion of 1.0 in y 19.588 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in (x y) around 0 19.588 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in y 19.588 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 19.588 * [taylor]: Taking taylor expansion of 1.0 in y 19.588 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.588 * [taylor]: Taking taylor expansion of x in y 19.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 19.589 * [taylor]: Taking taylor expansion of 1.0 in y 19.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.589 * [taylor]: Taking taylor expansion of y in y 19.589 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in x 19.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.589 * [taylor]: Taking taylor expansion of 1.0 in x 19.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.589 * [taylor]: Taking taylor expansion of x in x 19.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 19.589 * [taylor]: Taking taylor expansion of 1.0 in x 19.589 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.589 * [taylor]: Taking taylor expansion of y in x 19.589 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (/ 1 y))) in x 19.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.589 * [taylor]: Taking taylor expansion of 1.0 in x 19.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.589 * [taylor]: Taking taylor expansion of x in x 19.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 19.589 * [taylor]: Taking taylor expansion of 1.0 in x 19.589 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.589 * [taylor]: Taking taylor expansion of y in x 19.589 * [taylor]: Taking taylor expansion of (* -1 (- 1.0 (/ 1 y))) in y 19.589 * [taylor]: Taking taylor expansion of -1 in y 19.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 19.589 * [taylor]: Taking taylor expansion of 1.0 in y 19.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.589 * [taylor]: Taking taylor expansion of y in y 19.589 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 y))) in y 19.590 * [taylor]: Taking taylor expansion of 1.0 in y 19.590 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 19.590 * [taylor]: Taking taylor expansion of 1.0 in y 19.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.590 * [taylor]: Taking taylor expansion of y in y 19.590 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in (x y) around 0 19.590 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y 19.590 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 19.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.590 * [taylor]: Taking taylor expansion of y in y 19.590 * [taylor]: Taking taylor expansion of 1.0 in y 19.590 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 19.590 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.590 * [taylor]: Taking taylor expansion of x in y 19.590 * [taylor]: Taking taylor expansion of 1.0 in y 19.590 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in x 19.590 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 19.590 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.590 * [taylor]: Taking taylor expansion of y in x 19.590 * [taylor]: Taking taylor expansion of 1.0 in x 19.590 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.590 * [taylor]: Taking taylor expansion of x in x 19.590 * [taylor]: Taking taylor expansion of 1.0 in x 19.590 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in x 19.590 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 19.590 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.591 * [taylor]: Taking taylor expansion of y in x 19.591 * [taylor]: Taking taylor expansion of 1.0 in x 19.591 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.591 * [taylor]: Taking taylor expansion of x in x 19.591 * [taylor]: Taking taylor expansion of 1.0 in x 19.591 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 19.591 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.591 * [taylor]: Taking taylor expansion of y in y 19.591 * [taylor]: Taking taylor expansion of 1.0 in y 19.591 * [taylor]: Taking taylor expansion of (+ 1.0 (* 1.0 (/ 1 y))) in y 19.591 * [taylor]: Taking taylor expansion of 1.0 in y 19.591 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 19.591 * [taylor]: Taking taylor expansion of 1.0 in y 19.591 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.591 * [taylor]: Taking taylor expansion of y in y 19.592 * * * [progress]: simplifying candidates 19.592 * [simplify]: Simplifying using # : (* (exp x) (exp (* (- 1.0 x) (- 1.0 y)))) (log (+ x (* (- 1.0 x) (- 1.0 y)))) (exp (+ x (* (- 1.0 x) (- 1.0 y)))) (* (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y))))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (* (* (+ x (* (- 1.0 x) (- 1.0 y))) (+ x (* (- 1.0 x) (- 1.0 y)))) (+ x (* (- 1.0 x) (- 1.0 y)))) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (+ (pow x 3) (pow (* (- 1.0 x) (- 1.0 y)) 3)) (+ (* x x) (- (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y))) (* x (* (- 1.0 x) (- 1.0 y))))) (- (* x x) (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)))) (- x (* (- 1.0 x) (- 1.0 y))) (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0)) (+ x (* 1.0 (- 1.0 x))) (+ x (* 1.0 (- 1.0 x))) (* (- 1.0 x) (- 1.0 y)) (+ (log (- 1.0 x)) (log (- 1.0 y))) (log (* (- 1.0 x) (- 1.0 y))) (exp (* (- 1.0 x) (- 1.0 y))) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y))) (* (cbrt (* (- 1.0 x) (- 1.0 y))) (cbrt (* (- 1.0 x) (- 1.0 y)))) (cbrt (* (- 1.0 x) (- 1.0 y))) (* (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y))) (* (- 1.0 x) (- 1.0 y))) (sqrt (* (- 1.0 x) (- 1.0 y))) (sqrt (* (- 1.0 x) (- 1.0 y))) (* (- (pow 1.0 3) (pow x 3)) (- (pow 1.0 3) (pow y 3))) (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (* y y))) (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ 1.0 y)) (* (- (* 1.0 1.0) (* x x)) (- (pow 1.0 3) (pow y 3))) (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (* (- (* 1.0 1.0) (* x x)) (- (* 1.0 1.0) (* y y))) (* (+ 1.0 x) (+ 1.0 y)) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* (- 1.0 x) 1.0) (* (- 1.0 x) (neg y)) (* (- 1.0 x) 1.0) (* (- 1.0 x) (neg y)) (* 1.0 (- 1.0 x)) (* (neg y) (- 1.0 x)) (* 1.0 (- 1.0 x)) (* (neg y) (- 1.0 x)) (* (- 1.0 x) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* (- 1.0 x) (sqrt (- 1.0 y))) (* (- 1.0 x) 1) (* (- 1.0 x) (+ (sqrt 1.0) (sqrt y))) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) (- 1.0 y)) (* (sqrt (- 1.0 x)) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)) (* (- (sqrt 1.0) (sqrt x)) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- (pow 1.0 3) (pow y 3))) (* (- 1.0 x) (- (* 1.0 1.0) (* y y))) (* (- (pow 1.0 3) (pow x 3)) (- 1.0 y)) (* (- (* 1.0 1.0) (* x x)) (- 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- 1.0 (+ (* 1.0 x) (* 1.0 y))) (- (* x y) (+ (* 1.0 x) (* 1.0 y))) (- (* x y) (+ (* 1.0 x) (* 1.0 y))) 19.593 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 19.594 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 19.597 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 19.603 * * [simplify]: iteration 3 : 114 enodes (cost 10 ) 19.635 * * [simplify]: iteration 4 : 309 enodes (cost 10 ) 19.748 * * [simplify]: iteration 5 : 826 enodes (cost 10 ) 20.414 * * [simplify]: iteration 6 : 2265 enodes (cost 10 ) 21.624 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 21.625 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 21.626 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 21.628 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 21.632 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 21.646 * * [simplify]: iteration 4 : 173 enodes (cost 10 ) 21.709 * * [simplify]: iteration 5 : 376 enodes (cost 10 ) 21.947 * * [simplify]: iteration 6 : 717 enodes (cost 10 ) 22.609 * * [simplify]: iteration 7 : 1270 enodes (cost 10 ) 24.287 * * [simplify]: iteration 8 : 2318 enodes (cost 10 ) 26.166 * * [simplify]: iteration 9 : 2946 enodes (cost 10 ) 27.911 * * [simplify]: iteration 10 : 3134 enodes (cost 10 ) 29.563 * * [simplify]: iteration 11 : 3439 enodes (cost 10 ) 31.246 * * [simplify]: iteration 12 : 3870 enodes (cost 10 ) 33.003 * * [simplify]: iteration 13 : 4273 enodes (cost 10 ) 34.698 * * [simplify]: iteration 14 : 4419 enodes (cost 10 ) 36.752 * * [simplify]: iteration 15 : 4501 enodes (cost 10 ) 39.087 * * [simplify]: iteration 16 : 4531 enodes (cost 10 ) 41.419 * * [simplify]: iteration 17 : 4539 enodes (cost 10 ) 43.747 * * [simplify]: iteration 18 : 4556 enodes (cost 10 ) 46.099 * * [simplify]: iteration 19 : 4578 enodes (cost 10 ) 48.471 * * [simplify]: iteration 20 : 4660 enodes (cost 10 ) 51.246 * * [simplify]: iteration 21 : 4927 enodes (cost 10 ) 52.871 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 52.871 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 52.872 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 52.875 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 52.885 * * [simplify]: iteration 3 : 100 enodes (cost 10 ) 52.905 * * [simplify]: iteration 4 : 272 enodes (cost 10 ) 53.003 * * [simplify]: iteration 5 : 742 enodes (cost 10 ) 53.568 * * [simplify]: iteration 6 : 2053 enodes (cost 10 ) 54.975 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 54.976 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 54.977 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 54.979 * * [simplify]: iteration 2 : 29 enodes (cost 21 ) 54.989 * * [simplify]: iteration 3 : 70 enodes (cost 21 ) 55.003 * * [simplify]: iteration 4 : 174 enodes (cost 21 ) 55.069 * * [simplify]: iteration 5 : 383 enodes (cost 21 ) 55.313 * * [simplify]: iteration 6 : 725 enodes (cost 21 ) 55.983 * * [simplify]: iteration 7 : 1275 enodes (cost 21 ) 57.902 * * [simplify]: iteration 8 : 2318 enodes (cost 21 ) 59.821 * * [simplify]: iteration 9 : 2941 enodes (cost 21 ) 61.292 * * [simplify]: iteration 10 : 3131 enodes (cost 21 ) 62.915 * * [simplify]: iteration 11 : 3438 enodes (cost 21 ) 64.599 * * [simplify]: iteration 12 : 3865 enodes (cost 21 ) 66.346 * * [simplify]: iteration 13 : 4270 enodes (cost 21 ) 68.052 * * [simplify]: iteration 14 : 4418 enodes (cost 21 ) 70.095 * * [simplify]: iteration 15 : 4498 enodes (cost 21 ) 72.448 * * [simplify]: iteration 16 : 4522 enodes (cost 21 ) 74.841 * * [simplify]: iteration done : 4522 enodes (cost 21 ) 74.842 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 74.843 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 74.845 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 74.856 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 74.870 * * [simplify]: iteration 4 : 173 enodes (cost 10 ) 74.935 * * [simplify]: iteration 5 : 376 enodes (cost 10 ) 75.169 * * [simplify]: iteration 6 : 717 enodes (cost 10 ) 75.854 * * [simplify]: iteration 7 : 1270 enodes (cost 10 ) 77.564 * * [simplify]: iteration 8 : 2318 enodes (cost 10 ) 79.467 * * [simplify]: iteration 9 : 2946 enodes (cost 10 ) 80.964 * * [simplify]: iteration 10 : 3134 enodes (cost 10 ) 82.640 * * [simplify]: iteration 11 : 3439 enodes (cost 10 ) 84.320 * * [simplify]: iteration 12 : 3870 enodes (cost 10 ) 86.106 * * [simplify]: iteration 13 : 4273 enodes (cost 10 ) 87.845 * * [simplify]: iteration 14 : 4419 enodes (cost 10 ) 90.147 * * [simplify]: iteration 15 : 4499 enodes (cost 10 ) 92.453 * * [simplify]: iteration 16 : 4523 enodes (cost 10 ) 94.808 * * [simplify]: iteration done : 4523 enodes (cost 10 ) 94.809 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 94.810 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 94.815 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 94.842 * * [simplify]: iteration 3 : 412 enodes (cost 11 ) 95.130 * * [simplify]: iteration 4 : 2549 enodes (cost 11 ) 96.311 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 96.311 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 96.312 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 96.314 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 96.319 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 96.333 * * [simplify]: iteration 4 : 173 enodes (cost 10 ) 96.403 * * [simplify]: iteration 5 : 376 enodes (cost 10 ) 96.640 * * [simplify]: iteration 6 : 717 enodes (cost 10 ) 97.325 * * [simplify]: iteration 7 : 1270 enodes (cost 10 ) 99.028 * * [simplify]: iteration 8 : 2318 enodes (cost 10 ) 100.921 * * [simplify]: iteration 9 : 2946 enodes (cost 10 ) 102.439 * * [simplify]: iteration 10 : 3134 enodes (cost 10 ) 104.108 * * [simplify]: iteration 11 : 3439 enodes (cost 10 ) 105.781 * * [simplify]: iteration 12 : 3870 enodes (cost 10 ) 107.569 * * [simplify]: iteration 13 : 4273 enodes (cost 10 ) 109.293 * * [simplify]: iteration 14 : 4419 enodes (cost 10 ) 111.359 * * [simplify]: iteration 15 : 4499 enodes (cost 10 ) 113.698 * * [simplify]: iteration 16 : 4523 enodes (cost 10 ) 116.086 * * [simplify]: iteration done : 4523 enodes (cost 10 ) 116.087 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 116.088 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 116.089 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 116.094 * * [simplify]: iteration 3 : 69 enodes (cost 10 ) 116.116 * * [simplify]: iteration 4 : 173 enodes (cost 10 ) 116.179 * * [simplify]: iteration 5 : 376 enodes (cost 10 ) 116.432 * * [simplify]: iteration 6 : 717 enodes (cost 10 ) 117.103 * * [simplify]: iteration 7 : 1270 enodes (cost 10 ) 119.013 * * [simplify]: iteration 8 : 2318 enodes (cost 10 ) 120.931 * * [simplify]: iteration 9 : 2946 enodes (cost 10 ) 122.446 * * [simplify]: iteration 10 : 3134 enodes (cost 10 ) 124.133 * * [simplify]: iteration 11 : 3439 enodes (cost 10 ) 125.830 * * [simplify]: iteration 12 : 3870 enodes (cost 10 ) 127.596 * * [simplify]: iteration 13 : 4273 enodes (cost 10 ) 129.331 * * [simplify]: iteration 14 : 4419 enodes (cost 10 ) 131.424 * * [simplify]: iteration 15 : 4499 enodes (cost 10 ) 133.815 * * [simplify]: iteration 16 : 4523 enodes (cost 10 ) 136.223 * * [simplify]: iteration done : 4523 enodes (cost 10 ) 136.224 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 136.226 * * [simplify]: iteration 1 : 32 enodes (cost 13 ) 136.231 * * [simplify]: iteration 2 : 84 enodes (cost 13 ) 136.261 * * [simplify]: iteration 3 : 339 enodes (cost 13 ) 136.474 * * [simplify]: iteration 4 : 1496 enodes (cost 13 ) 137.877 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 137.878 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 137.880 * * [simplify]: iteration 1 : 33 enodes (cost 21 ) 137.891 * * [simplify]: iteration 2 : 118 enodes (cost 21 ) 137.926 * * [simplify]: iteration 3 : 460 enodes (cost 21 ) 138.237 * * [simplify]: iteration 4 : 1908 enodes (cost 21 ) 139.268 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 139.269 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 139.270 * * [simplify]: iteration 1 : 26 enodes (cost 19 ) 139.275 * * [simplify]: iteration 2 : 90 enodes (cost 19 ) 139.307 * * [simplify]: iteration 3 : 400 enodes (cost 19 ) 139.565 * * [simplify]: iteration 4 : 1742 enodes (cost 19 ) 140.787 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 140.788 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 140.789 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 140.791 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 140.797 * * [simplify]: iteration 3 : 101 enodes (cost 9 ) 140.829 * * [simplify]: iteration 4 : 276 enodes (cost 9 ) 140.979 * * [simplify]: iteration 5 : 735 enodes (cost 9 ) 141.361 * * [simplify]: iteration 6 : 1163 enodes (cost 9 ) 142.382 * * [simplify]: iteration 7 : 1844 enodes (cost 9 ) 144.013 * * [simplify]: iteration 8 : 2535 enodes (cost 9 ) 145.600 * * [simplify]: iteration 9 : 2841 enodes (cost 9 ) 147.335 * * [simplify]: iteration 10 : 3003 enodes (cost 9 ) 148.933 * * [simplify]: iteration 11 : 3309 enodes (cost 9 ) 150.563 * * [simplify]: iteration 12 : 3744 enodes (cost 9 ) 152.278 * * [simplify]: iteration 13 : 4157 enodes (cost 9 ) 153.953 * * [simplify]: iteration 14 : 4303 enodes (cost 9 ) 155.983 * * [simplify]: iteration 15 : 4385 enodes (cost 9 ) 158.294 * * [simplify]: iteration 16 : 4409 enodes (cost 9 ) 160.653 * * [simplify]: iteration done : 4409 enodes (cost 9 ) 160.653 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 160.654 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 160.655 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 160.657 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 160.661 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 160.673 * * [simplify]: iteration 5 : 39 enodes (cost 7 ) 160.679 * * [simplify]: iteration 6 : 48 enodes (cost 7 ) 160.686 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 160.699 * * [simplify]: iteration 8 : 93 enodes (cost 7 ) 160.713 * * [simplify]: iteration 9 : 115 enodes (cost 7 ) 160.737 * * [simplify]: iteration 10 : 139 enodes (cost 7 ) 160.753 * * [simplify]: iteration 11 : 153 enodes (cost 7 ) 160.775 * * [simplify]: iteration 12 : 171 enodes (cost 7 ) 160.803 * * [simplify]: iteration 13 : 184 enodes (cost 7 ) 160.829 * * [simplify]: iteration 14 : 200 enodes (cost 7 ) 160.871 * * [simplify]: iteration 15 : 235 enodes (cost 7 ) 160.920 * * [simplify]: iteration 16 : 300 enodes (cost 7 ) 160.995 * * [simplify]: iteration 17 : 400 enodes (cost 7 ) 161.085 * * [simplify]: iteration 18 : 482 enodes (cost 7 ) 161.158 * * [simplify]: iteration 19 : 503 enodes (cost 7 ) 161.248 * * [simplify]: iteration 20 : 511 enodes (cost 7 ) 161.339 * * [simplify]: iteration 21 : 515 enodes (cost 7 ) 161.438 * * [simplify]: iteration done : 515 enodes (cost 7 ) 161.439 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 161.440 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 161.441 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 161.443 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 161.446 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 161.451 * * [simplify]: iteration 5 : 39 enodes (cost 7 ) 161.456 * * [simplify]: iteration 6 : 48 enodes (cost 7 ) 161.469 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 161.482 * * [simplify]: iteration 8 : 93 enodes (cost 7 ) 161.496 * * [simplify]: iteration 9 : 115 enodes (cost 7 ) 161.514 * * [simplify]: iteration 10 : 139 enodes (cost 7 ) 161.537 * * [simplify]: iteration 11 : 153 enodes (cost 7 ) 161.558 * * [simplify]: iteration 12 : 171 enodes (cost 7 ) 161.586 * * [simplify]: iteration 13 : 184 enodes (cost 7 ) 161.612 * * [simplify]: iteration 14 : 200 enodes (cost 7 ) 161.654 * * [simplify]: iteration 15 : 235 enodes (cost 7 ) 161.703 * * [simplify]: iteration 16 : 300 enodes (cost 7 ) 161.780 * * [simplify]: iteration 17 : 400 enodes (cost 7 ) 161.873 * * [simplify]: iteration 18 : 482 enodes (cost 7 ) 161.947 * * [simplify]: iteration 19 : 503 enodes (cost 7 ) 162.035 * * [simplify]: iteration 20 : 511 enodes (cost 7 ) 162.133 * * [simplify]: iteration 21 : 515 enodes (cost 7 ) 162.236 * * [simplify]: iteration done : 515 enodes (cost 7 ) 162.237 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 162.238 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 162.239 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 162.241 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 162.244 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 162.249 * * [simplify]: iteration 5 : 39 enodes (cost 7 ) 162.255 * * [simplify]: iteration 6 : 48 enodes (cost 7 ) 162.262 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 162.280 * * [simplify]: iteration 8 : 93 enodes (cost 7 ) 162.294 * * [simplify]: iteration 9 : 115 enodes (cost 7 ) 162.313 * * [simplify]: iteration 10 : 139 enodes (cost 7 ) 162.334 * * [simplify]: iteration 11 : 153 enodes (cost 7 ) 162.355 * * [simplify]: iteration 12 : 171 enodes (cost 7 ) 162.377 * * [simplify]: iteration 13 : 184 enodes (cost 7 ) 162.407 * * [simplify]: iteration 14 : 200 enodes (cost 7 ) 162.448 * * [simplify]: iteration 15 : 235 enodes (cost 7 ) 162.491 * * [simplify]: iteration 16 : 300 enodes (cost 7 ) 162.571 * * [simplify]: iteration 17 : 400 enodes (cost 7 ) 162.659 * * [simplify]: iteration 18 : 482 enodes (cost 7 ) 162.738 * * [simplify]: iteration 19 : 503 enodes (cost 7 ) 162.825 * * [simplify]: iteration 20 : 511 enodes (cost 7 ) 162.921 * * [simplify]: iteration 21 : 515 enodes (cost 7 ) 163.020 * * [simplify]: iteration done : 515 enodes (cost 7 ) 163.021 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 163.022 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 163.023 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 163.025 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 163.028 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 163.033 * * [simplify]: iteration 5 : 39 enodes (cost 7 ) 163.038 * * [simplify]: iteration 6 : 48 enodes (cost 7 ) 163.046 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 163.059 * * [simplify]: iteration 8 : 93 enodes (cost 7 ) 163.079 * * [simplify]: iteration 9 : 115 enodes (cost 7 ) 163.098 * * [simplify]: iteration 10 : 139 enodes (cost 7 ) 163.114 * * [simplify]: iteration 11 : 153 enodes (cost 7 ) 163.141 * * [simplify]: iteration 12 : 171 enodes (cost 7 ) 163.164 * * [simplify]: iteration 13 : 184 enodes (cost 7 ) 163.193 * * [simplify]: iteration 14 : 200 enodes (cost 7 ) 163.228 * * [simplify]: iteration 15 : 235 enodes (cost 7 ) 163.277 * * [simplify]: iteration 16 : 300 enodes (cost 7 ) 163.352 * * [simplify]: iteration 17 : 400 enodes (cost 7 ) 163.444 * * [simplify]: iteration 18 : 482 enodes (cost 7 ) 163.516 * * [simplify]: iteration 19 : 503 enodes (cost 7 ) 163.608 * * [simplify]: iteration 20 : 511 enodes (cost 7 ) 163.708 * * [simplify]: iteration 21 : 515 enodes (cost 7 ) 163.804 * * [simplify]: iteration done : 515 enodes (cost 7 ) 163.805 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 163.806 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 163.807 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 163.811 * * [simplify]: iteration 3 : 58 enodes (cost 7 ) 163.828 * * [simplify]: iteration 4 : 122 enodes (cost 7 ) 163.857 * * [simplify]: iteration 5 : 213 enodes (cost 7 ) 163.932 * * [simplify]: iteration 6 : 310 enodes (cost 7 ) 164.046 * * [simplify]: iteration 7 : 449 enodes (cost 7 ) 164.229 * * [simplify]: iteration 8 : 684 enodes (cost 7 ) 164.502 * * [simplify]: iteration 9 : 867 enodes (cost 7 ) 164.730 * * [simplify]: iteration 10 : 884 enodes (cost 7 ) 164.982 * * [simplify]: iteration 11 : 885 enodes (cost 7 ) 165.209 * * [simplify]: iteration done : 885 enodes (cost 7 ) 165.210 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 165.211 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 165.212 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 165.213 * * [simplify]: iteration done : 15 enodes (cost 9 ) 165.214 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 165.215 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 165.216 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 165.221 * * [simplify]: iteration 3 : 63 enodes (cost 8 ) 165.232 * * [simplify]: iteration 4 : 127 enodes (cost 8 ) 165.268 * * [simplify]: iteration 5 : 224 enodes (cost 8 ) 165.336 * * [simplify]: iteration 6 : 321 enodes (cost 8 ) 165.453 * * [simplify]: iteration 7 : 460 enodes (cost 8 ) 165.642 * * [simplify]: iteration 8 : 694 enodes (cost 8 ) 165.915 * * [simplify]: iteration 9 : 881 enodes (cost 8 ) 166.137 * * [simplify]: iteration 10 : 898 enodes (cost 8 ) 166.375 * * [simplify]: iteration 11 : 899 enodes (cost 8 ) 166.609 * * [simplify]: iteration done : 899 enodes (cost 8 ) 166.609 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 166.610 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 166.612 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 166.618 * * [simplify]: iteration 3 : 97 enodes (cost 8 ) 166.635 * * [simplify]: iteration 4 : 224 enodes (cost 8 ) 166.693 * * [simplify]: iteration 5 : 506 enodes (cost 8 ) 166.939 * * [simplify]: iteration 6 : 1234 enodes (cost 8 ) 168.762 * * [simplify]: iteration 7 : 4680 enodes (cost 8 ) 170.013 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 170.014 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 170.015 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 170.019 * * [simplify]: iteration 2 : 78 enodes (cost 11 ) 170.040 * * [simplify]: iteration 3 : 337 enodes (cost 11 ) 170.231 * * [simplify]: iteration 4 : 1543 enodes (cost 9 ) 171.568 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 171.568 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 171.569 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 171.571 * * [simplify]: iteration 2 : 27 enodes (cost 17 ) 171.575 * * [simplify]: iteration 3 : 60 enodes (cost 17 ) 171.587 * * [simplify]: iteration 4 : 124 enodes (cost 17 ) 171.619 * * [simplify]: iteration 5 : 215 enodes (cost 17 ) 171.688 * * [simplify]: iteration 6 : 312 enodes (cost 17 ) 171.803 * * [simplify]: iteration 7 : 451 enodes (cost 17 ) 171.987 * * [simplify]: iteration 8 : 687 enodes (cost 17 ) 172.256 * * [simplify]: iteration 9 : 870 enodes (cost 17 ) 172.477 * * [simplify]: iteration 10 : 887 enodes (cost 17 ) 172.712 * * [simplify]: iteration 11 : 888 enodes (cost 17 ) 172.938 * * [simplify]: iteration done : 888 enodes (cost 17 ) 172.939 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 172.940 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 172.941 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 172.945 * * [simplify]: iteration 3 : 59 enodes (cost 8 ) 172.956 * * [simplify]: iteration 4 : 123 enodes (cost 8 ) 172.991 * * [simplify]: iteration 5 : 214 enodes (cost 8 ) 173.060 * * [simplify]: iteration 6 : 311 enodes (cost 8 ) 173.175 * * [simplify]: iteration 7 : 450 enodes (cost 8 ) 173.358 * * [simplify]: iteration 8 : 684 enodes (cost 8 ) 173.627 * * [simplify]: iteration 9 : 867 enodes (cost 8 ) 173.852 * * [simplify]: iteration 10 : 884 enodes (cost 8 ) 174.084 * * [simplify]: iteration 11 : 885 enodes (cost 8 ) 174.309 * * [simplify]: iteration done : 885 enodes (cost 8 ) 174.310 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 174.311 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 174.316 * * [simplify]: iteration 2 : 98 enodes (cost 9 ) 174.355 * * [simplify]: iteration 3 : 491 enodes (cost 9 ) 174.771 * * [simplify]: iteration 4 : 2198 enodes (cost 9 ) 176.745 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 176.746 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 176.746 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 176.748 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 176.752 * * [simplify]: iteration 3 : 59 enodes (cost 8 ) 176.763 * * [simplify]: iteration 4 : 123 enodes (cost 8 ) 176.798 * * [simplify]: iteration 5 : 214 enodes (cost 8 ) 176.869 * * [simplify]: iteration 6 : 311 enodes (cost 8 ) 176.986 * * [simplify]: iteration 7 : 450 enodes (cost 8 ) 177.179 * * [simplify]: iteration 8 : 684 enodes (cost 8 ) 177.452 * * [simplify]: iteration 9 : 867 enodes (cost 8 ) 177.679 * * [simplify]: iteration 10 : 884 enodes (cost 8 ) 177.923 * * [simplify]: iteration 11 : 885 enodes (cost 8 ) 178.161 * * [simplify]: iteration done : 885 enodes (cost 8 ) 178.162 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 178.162 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 178.164 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 178.168 * * [simplify]: iteration 3 : 59 enodes (cost 8 ) 178.179 * * [simplify]: iteration 4 : 123 enodes (cost 8 ) 178.214 * * [simplify]: iteration 5 : 214 enodes (cost 8 ) 178.284 * * [simplify]: iteration 6 : 311 enodes (cost 8 ) 178.400 * * [simplify]: iteration 7 : 450 enodes (cost 8 ) 178.583 * * [simplify]: iteration 8 : 684 enodes (cost 8 ) 178.852 * * [simplify]: iteration 9 : 867 enodes (cost 8 ) 179.079 * * [simplify]: iteration 10 : 884 enodes (cost 8 ) 179.318 * * [simplify]: iteration 11 : 885 enodes (cost 8 ) 179.548 * * [simplify]: iteration done : 885 enodes (cost 8 ) 179.549 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 179.551 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 179.562 * * [simplify]: iteration 2 : 83 enodes (cost 15 ) 179.578 * * [simplify]: iteration 3 : 270 enodes (cost 15 ) 179.680 * * [simplify]: iteration 4 : 1261 enodes (cost 15 ) 180.318 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 180.319 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 180.321 * * [simplify]: iteration 1 : 34 enodes (cost 19 ) 180.327 * * [simplify]: iteration 2 : 112 enodes (cost 19 ) 180.365 * * [simplify]: iteration 3 : 476 enodes (cost 19 ) 180.686 * * [simplify]: iteration 4 : 1580 enodes (cost 19 ) 181.746 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 181.747 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 181.749 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 181.753 * * [simplify]: iteration 2 : 76 enodes (cost 15 ) 181.774 * * [simplify]: iteration 3 : 257 enodes (cost 15 ) 181.878 * * [simplify]: iteration 4 : 1264 enodes (cost 15 ) 182.681 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 182.681 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 182.683 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 182.687 * * [simplify]: iteration 2 : 76 enodes (cost 13 ) 182.704 * * [simplify]: iteration 3 : 201 enodes (cost 13 ) 182.787 * * [simplify]: iteration 4 : 511 enodes (cost 13 ) 183.085 * * [simplify]: iteration 5 : 1123 enodes (cost 13 ) 183.942 * * [simplify]: iteration 6 : 1435 enodes (cost 13 ) 184.915 * * [simplify]: iteration 7 : 1506 enodes (cost 13 ) 185.889 * * [simplify]: iteration 8 : 1573 enodes (cost 13 ) 186.907 * * [simplify]: iteration 9 : 1779 enodes (cost 13 ) 188.372 * * [simplify]: iteration 10 : 2711 enodes (cost 13 ) 190.327 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 190.327 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 190.329 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 190.334 * * [simplify]: iteration 2 : 76 enodes (cost 15 ) 190.348 * * [simplify]: iteration 3 : 257 enodes (cost 15 ) 190.451 * * [simplify]: iteration 4 : 1264 enodes (cost 15 ) 191.277 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 191.278 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 191.280 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 191.284 * * [simplify]: iteration 2 : 78 enodes (cost 13 ) 191.302 * * [simplify]: iteration 3 : 205 enodes (cost 13 ) 191.385 * * [simplify]: iteration 4 : 466 enodes (cost 13 ) 191.639 * * [simplify]: iteration 5 : 1093 enodes (cost 13 ) 192.504 * * [simplify]: iteration 6 : 1568 enodes (cost 13 ) 193.500 * * [simplify]: iteration 7 : 1694 enodes (cost 13 ) 194.478 * * [simplify]: iteration 8 : 1755 enodes (cost 13 ) 195.492 * * [simplify]: iteration 9 : 1964 enodes (cost 13 ) 196.985 * * [simplify]: iteration 10 : 2904 enodes (cost 13 ) 198.621 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 198.622 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 198.623 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 198.626 * * [simplify]: iteration 2 : 54 enodes (cost 15 ) 198.644 * * [simplify]: iteration 3 : 223 enodes (cost 15 ) 198.732 * * [simplify]: iteration 4 : 1023 enodes (cost 15 ) 199.521 * * [simplify]: iteration 5 : 3516 enodes (cost 15 ) 201.342 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 201.342 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 201.343 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 201.346 * * [simplify]: iteration 2 : 39 enodes (cost 7 ) 201.352 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 201.364 * * [simplify]: iteration 4 : 89 enodes (cost 7 ) 201.386 * * [simplify]: iteration 5 : 107 enodes (cost 7 ) 201.406 * * [simplify]: iteration 6 : 109 enodes (cost 7 ) 201.426 * * [simplify]: iteration done : 109 enodes (cost 7 ) 201.426 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 201.427 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 201.429 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 201.430 * * [simplify]: iteration done : 15 enodes (cost 9 ) 201.431 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 201.431 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 201.433 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 201.434 * * [simplify]: iteration done : 15 enodes (cost 9 ) 201.435 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 201.435 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 201.436 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 201.437 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 201.440 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 201.447 * * [simplify]: iteration done : 22 enodes (cost 5 ) 201.448 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 201.448 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 201.450 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 201.453 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 201.460 * * [simplify]: iteration 4 : 67 enodes (cost 5 ) 201.470 * * [simplify]: iteration 5 : 73 enodes (cost 5 ) 201.477 * * [simplify]: iteration done : 73 enodes (cost 5 ) 201.478 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 201.478 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 201.479 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 201.481 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 201.483 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 201.485 * * [simplify]: iteration done : 22 enodes (cost 5 ) 201.486 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 201.487 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 201.488 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 201.491 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 201.498 * * [simplify]: iteration 4 : 67 enodes (cost 5 ) 201.513 * * [simplify]: iteration 5 : 73 enodes (cost 5 ) 201.520 * * [simplify]: iteration done : 73 enodes (cost 5 ) 201.520 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 201.521 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 201.521 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 201.523 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 201.525 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 201.528 * * [simplify]: iteration done : 22 enodes (cost 5 ) 201.528 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 201.529 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 201.530 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 201.535 * * [simplify]: iteration 3 : 45 enodes (cost 6 ) 201.542 * * [simplify]: iteration 4 : 66 enodes (cost 5 ) 201.551 * * [simplify]: iteration 5 : 71 enodes (cost 5 ) 201.558 * * [simplify]: iteration done : 71 enodes (cost 5 ) 201.559 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 201.559 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 201.560 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 201.562 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 201.570 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 201.572 * * [simplify]: iteration done : 22 enodes (cost 5 ) 201.573 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 201.574 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 201.575 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 201.579 * * [simplify]: iteration 3 : 45 enodes (cost 6 ) 201.586 * * [simplify]: iteration 4 : 66 enodes (cost 5 ) 201.595 * * [simplify]: iteration 5 : 71 enodes (cost 5 ) 201.602 * * [simplify]: iteration done : 71 enodes (cost 5 ) 201.603 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 201.604 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 201.606 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 201.609 * * [simplify]: iteration 3 : 42 enodes (cost 13 ) 201.615 * * [simplify]: iteration 4 : 52 enodes (cost 13 ) 201.628 * * [simplify]: iteration 5 : 60 enodes (cost 13 ) 201.637 * * [simplify]: iteration done : 60 enodes (cost 13 ) 201.638 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 201.638 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 201.640 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 201.642 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 201.645 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 201.648 * * [simplify]: iteration done : 29 enodes (cost 8 ) 201.649 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 201.649 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 201.651 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 201.654 * * [simplify]: iteration 3 : 31 enodes (cost 3 ) 201.656 * * [simplify]: iteration 4 : 40 enodes (cost 3 ) 201.659 * * [simplify]: iteration 5 : 44 enodes (cost 3 ) 201.661 * * [simplify]: iteration done : 44 enodes (cost 3 ) 201.661 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 201.662 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 201.665 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 201.671 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 201.683 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 201.715 * * [simplify]: iteration 5 : 158 enodes (cost 9 ) 201.768 * * [simplify]: iteration 6 : 228 enodes (cost 9 ) 201.874 * * [simplify]: iteration 7 : 409 enodes (cost 9 ) 202.099 * * [simplify]: iteration 8 : 643 enodes (cost 9 ) 202.287 * * [simplify]: iteration 9 : 716 enodes (cost 9 ) 202.487 * * [simplify]: iteration 10 : 720 enodes (cost 9 ) 202.692 * * [simplify]: iteration done : 720 enodes (cost 9 ) 202.692 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 202.693 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 202.694 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 202.697 * * [simplify]: iteration 3 : 31 enodes (cost 3 ) 202.699 * * [simplify]: iteration 4 : 40 enodes (cost 3 ) 202.702 * * [simplify]: iteration 5 : 44 enodes (cost 3 ) 202.704 * * [simplify]: iteration done : 44 enodes (cost 3 ) 202.705 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 202.705 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 202.707 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 202.709 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 202.717 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 202.721 * * [simplify]: iteration done : 29 enodes (cost 8 ) 202.722 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 202.723 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 202.724 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 202.726 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 202.729 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 202.733 * * [simplify]: iteration done : 29 enodes (cost 8 ) 202.733 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 202.734 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 202.735 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 202.739 * * [simplify]: iteration 3 : 58 enodes (cost 7 ) 202.750 * * [simplify]: iteration 4 : 122 enodes (cost 7 ) 202.783 * * [simplify]: iteration 5 : 213 enodes (cost 7 ) 202.850 * * [simplify]: iteration 6 : 310 enodes (cost 7 ) 202.962 * * [simplify]: iteration 7 : 449 enodes (cost 7 ) 203.146 * * [simplify]: iteration 8 : 684 enodes (cost 7 ) 203.417 * * [simplify]: iteration 9 : 867 enodes (cost 7 ) 203.645 * * [simplify]: iteration 10 : 884 enodes (cost 7 ) 203.884 * * [simplify]: iteration 11 : 885 enodes (cost 7 ) 204.114 * * [simplify]: iteration done : 885 enodes (cost 7 ) 204.114 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 204.121 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 204.123 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 204.127 * * [simplify]: iteration 3 : 61 enodes (cost 9 ) 204.139 * * [simplify]: iteration 4 : 125 enodes (cost 9 ) 204.169 * * [simplify]: iteration 5 : 221 enodes (cost 9 ) 204.238 * * [simplify]: iteration 6 : 296 enodes (cost 9 ) 204.350 * * [simplify]: iteration 7 : 426 enodes (cost 9 ) 204.532 * * [simplify]: iteration 8 : 644 enodes (cost 9 ) 204.778 * * [simplify]: iteration 9 : 801 enodes (cost 9 ) 204.988 * * [simplify]: iteration 10 : 808 enodes (cost 9 ) 205.205 * * [simplify]: iteration done : 808 enodes (cost 9 ) 205.206 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 205.207 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 205.208 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 205.212 * * [simplify]: iteration 3 : 58 enodes (cost 7 ) 205.223 * * [simplify]: iteration 4 : 122 enodes (cost 7 ) 205.257 * * [simplify]: iteration 5 : 213 enodes (cost 7 ) 205.325 * * [simplify]: iteration 6 : 310 enodes (cost 7 ) 205.439 * * [simplify]: iteration 7 : 449 enodes (cost 7 ) 205.623 * * [simplify]: iteration 8 : 684 enodes (cost 7 ) 205.894 * * [simplify]: iteration 9 : 867 enodes (cost 7 ) 206.124 * * [simplify]: iteration 10 : 884 enodes (cost 7 ) 206.365 * * [simplify]: iteration 11 : 885 enodes (cost 7 ) 206.598 * * [simplify]: iteration done : 885 enodes (cost 7 ) 206.598 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 206.600 * * [simplify]: iteration 1 : 27 enodes (cost 11 ) 206.610 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 206.620 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 206.675 * * [simplify]: iteration 4 : 605 enodes (cost 11 ) 207.040 * * [simplify]: iteration 5 : 2280 enodes (cost 11 ) 208.181 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 208.182 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 208.183 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 208.185 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 208.192 * * [simplify]: iteration 3 : 131 enodes (cost 11 ) 208.237 * * [simplify]: iteration 4 : 402 enodes (cost 11 ) 208.421 * * [simplify]: iteration 5 : 1021 enodes (cost 11 ) 209.390 * * [simplify]: iteration 6 : 3030 enodes (cost 11 ) 211.004 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 211.005 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 211.006 * * [simplify]: iteration 1 : 27 enodes (cost 11 ) 211.010 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 211.021 * * [simplify]: iteration 3 : 178 enodes (cost 11 ) 211.073 * * [simplify]: iteration 4 : 605 enodes (cost 11 ) 211.440 * * [simplify]: iteration 5 : 2264 enodes (cost 11 ) 212.564 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 212.565 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 212.566 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 212.568 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 212.582 * * [simplify]: iteration 3 : 131 enodes (cost 11 ) 212.619 * * [simplify]: iteration 4 : 400 enodes (cost 11 ) 212.804 * * [simplify]: iteration 5 : 1011 enodes (cost 11 ) 213.746 * * [simplify]: iteration 6 : 3008 enodes (cost 11 ) 215.287 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 215.288 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 215.289 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 215.290 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 215.295 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 215.301 * * [simplify]: iteration 4 : 55 enodes (cost 7 ) 215.309 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 215.330 * * [simplify]: iteration 6 : 117 enodes (cost 7 ) 215.354 * * [simplify]: iteration 7 : 151 enodes (cost 7 ) 215.372 * * [simplify]: iteration 8 : 167 enodes (cost 7 ) 215.398 * * [simplify]: iteration 9 : 178 enodes (cost 7 ) 215.422 * * [simplify]: iteration 10 : 201 enodes (cost 7 ) 215.453 * * [simplify]: iteration 11 : 209 enodes (cost 7 ) 215.481 * * [simplify]: iteration 12 : 224 enodes (cost 7 ) 215.524 * * [simplify]: iteration 13 : 259 enodes (cost 7 ) 215.576 * * [simplify]: iteration 14 : 324 enodes (cost 7 ) 215.651 * * [simplify]: iteration 15 : 426 enodes (cost 7 ) 215.746 * * [simplify]: iteration 16 : 520 enodes (cost 7 ) 215.852 * * [simplify]: iteration 17 : 622 enodes (cost 7 ) 215.971 * * [simplify]: iteration 18 : 689 enodes (cost 7 ) 216.077 * * [simplify]: iteration 19 : 693 enodes (cost 7 ) 216.184 * * [simplify]: iteration done : 693 enodes (cost 7 ) 216.185 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 216.186 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 216.188 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 216.192 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 216.198 * * [simplify]: iteration 4 : 55 enodes (cost 7 ) 216.206 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 216.223 * * [simplify]: iteration 6 : 117 enodes (cost 7 ) 216.253 * * [simplify]: iteration 7 : 151 enodes (cost 7 ) 216.271 * * [simplify]: iteration 8 : 167 enodes (cost 7 ) 216.291 * * [simplify]: iteration 9 : 178 enodes (cost 7 ) 216.320 * * [simplify]: iteration 10 : 201 enodes (cost 7 ) 216.347 * * [simplify]: iteration 11 : 209 enodes (cost 7 ) 216.379 * * [simplify]: iteration 12 : 224 enodes (cost 7 ) 216.423 * * [simplify]: iteration 13 : 259 enodes (cost 7 ) 216.475 * * [simplify]: iteration 14 : 324 enodes (cost 7 ) 216.548 * * [simplify]: iteration 15 : 426 enodes (cost 7 ) 216.640 * * [simplify]: iteration 16 : 520 enodes (cost 7 ) 216.740 * * [simplify]: iteration 17 : 622 enodes (cost 7 ) 216.862 * * [simplify]: iteration 18 : 689 enodes (cost 7 ) 216.962 * * [simplify]: iteration 19 : 693 enodes (cost 7 ) 217.069 * * [simplify]: iteration done : 693 enodes (cost 7 ) 217.070 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 217.071 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 217.073 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 217.077 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 217.083 * * [simplify]: iteration 4 : 55 enodes (cost 7 ) 217.095 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 217.112 * * [simplify]: iteration 6 : 117 enodes (cost 7 ) 217.138 * * [simplify]: iteration 7 : 151 enodes (cost 7 ) 217.159 * * [simplify]: iteration 8 : 167 enodes (cost 7 ) 217.181 * * [simplify]: iteration 9 : 178 enodes (cost 7 ) 217.210 * * [simplify]: iteration 10 : 201 enodes (cost 7 ) 217.236 * * [simplify]: iteration 11 : 209 enodes (cost 7 ) 217.269 * * [simplify]: iteration 12 : 224 enodes (cost 7 ) 217.308 * * [simplify]: iteration 13 : 259 enodes (cost 7 ) 217.359 * * [simplify]: iteration 14 : 324 enodes (cost 7 ) 217.439 * * [simplify]: iteration 15 : 426 enodes (cost 7 ) 217.527 * * [simplify]: iteration 16 : 520 enodes (cost 7 ) 217.634 * * [simplify]: iteration 17 : 622 enodes (cost 7 ) 217.770 * * [simplify]: iteration 18 : 689 enodes (cost 7 ) 217.874 * * [simplify]: iteration 19 : 693 enodes (cost 7 ) 217.979 * * [simplify]: iteration done : 693 enodes (cost 7 ) 217.980 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 217.981 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 217.983 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 217.989 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 218.000 * * [simplify]: iteration 4 : 80 enodes (cost 7 ) 218.019 * * [simplify]: iteration 5 : 132 enodes (cost 7 ) 218.058 * * [simplify]: iteration 6 : 215 enodes (cost 7 ) 218.113 * * [simplify]: iteration 7 : 291 enodes (cost 7 ) 218.161 * * [simplify]: iteration 8 : 344 enodes (cost 7 ) 218.237 * * [simplify]: iteration 9 : 407 enodes (cost 7 ) 218.337 * * [simplify]: iteration 10 : 526 enodes (cost 7 ) 218.635 * * [simplify]: iteration 11 : 953 enodes (cost 7 ) 218.967 * * [simplify]: iteration 12 : 1290 enodes (cost 7 ) 219.134 * * [simplify]: iteration done : 1290 enodes (cost 7 ) 219.135 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 219.136 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 219.138 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 219.144 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 219.157 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 219.176 * * [simplify]: iteration 5 : 122 enodes (cost 9 ) 219.209 * * [simplify]: iteration 6 : 192 enodes (cost 9 ) 219.249 * * [simplify]: iteration 7 : 252 enodes (cost 9 ) 219.293 * * [simplify]: iteration 8 : 273 enodes (cost 9 ) 219.340 * * [simplify]: iteration 9 : 280 enodes (cost 9 ) 219.380 * * [simplify]: iteration done : 280 enodes (cost 9 ) 219.380 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 219.381 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 219.384 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 219.393 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 219.405 * * [simplify]: iteration 4 : 86 enodes (cost 9 ) 219.421 * * [simplify]: iteration 5 : 122 enodes (cost 9 ) 219.456 * * [simplify]: iteration 6 : 192 enodes (cost 9 ) 219.493 * * [simplify]: iteration 7 : 252 enodes (cost 9 ) 219.535 * * [simplify]: iteration 8 : 273 enodes (cost 9 ) 219.582 * * [simplify]: iteration 9 : 280 enodes (cost 9 ) 219.625 * * [simplify]: iteration done : 280 enodes (cost 9 ) 219.626 * [simplify]: Simplified to: (exp (+ x (* (- 1.0 x) (- 1.0 y)))) (log (+ x (* (- 1.0 x) (- 1.0 y)))) (exp (+ x (* (- 1.0 x) (- 1.0 y)))) (* (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y))))) (cbrt (+ x (* (- 1.0 x) (- 1.0 y)))) (pow (+ x (* (- 1.0 x) (- 1.0 y))) 3) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (sqrt (+ x (* (- 1.0 x) (- 1.0 y)))) (+ (pow x 3) (pow (* (- 1.0 x) (- 1.0 y)) 3)) (+ (* (* (- 1.0 x) (- 1.0 y)) (- (* (- 1.0 x) (- 1.0 y)) x)) (* x x)) (- (* x x) (* (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)))) (- x (* (- 1.0 x) (- 1.0 y))) (+ x (* (- 1.0 x) 1.0)) (+ x (* (- 1.0 x) 1.0)) (+ x (* 1.0 (- 1.0 x))) (+ x (* 1.0 (- 1.0 x))) (* (- 1.0 x) (- 1.0 y)) (+ (log (- 1.0 x)) (log (- 1.0 y))) (log (* (- 1.0 x) (- 1.0 y))) (exp (* (- 1.0 x) (- 1.0 y))) (pow (* (- 1.0 x) (- 1.0 y)) 3) (* (cbrt (* (- 1.0 x) (- 1.0 y))) (cbrt (* (- 1.0 x) (- 1.0 y)))) (cbrt (* (- 1.0 x) (- 1.0 y))) (pow (* (- 1.0 x) (- 1.0 y)) 3) (sqrt (* (- 1.0 x) (- 1.0 y))) (sqrt (* (- 1.0 x) (- 1.0 y))) (* (- (pow 1.0 3) (pow x 3)) (- (pow 1.0 3) (pow y 3))) (* (+ (* y (+ y 1.0)) (* 1.0 1.0)) (+ (* x (+ x 1.0)) (* 1.0 1.0))) (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (* y y))) (* (+ 1.0 y) (+ (* x (+ x 1.0)) (* 1.0 1.0))) (* (- (* 1.0 1.0) (* x x)) (- (pow 1.0 3) (pow y 3))) (* (+ (* 1.0 1.0) (* y (+ y 1.0))) (+ 1.0 x)) (* (- (* 1.0 1.0) (* x x)) (- (* 1.0 1.0) (* y y))) (* (+ 1.0 x) (+ 1.0 y)) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 y))) (* (- 1.0 x) 1.0) (* y (- x 1.0)) (* (- 1.0 x) 1.0) (* y (- x 1.0)) (* 1.0 (- 1.0 x)) (* (- x 1.0) y) (* 1.0 (- 1.0 x)) (* (- x 1.0) y) (* (- 1.0 x) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* (- 1.0 x) (sqrt (- 1.0 y))) (- 1.0 x) (* (- 1.0 x) (+ (sqrt 1.0) (sqrt y))) (- 1.0 x) (* (cbrt (- 1.0 x)) (- 1.0 y)) (* (sqrt (- 1.0 x)) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)) (* (- (sqrt 1.0) (sqrt x)) (- 1.0 y)) (* (- 1.0 x) (- 1.0 y)) (* (- 1.0 x) (- (pow 1.0 3) (pow y 3))) (* (- 1.0 x) (- (* 1.0 1.0) (* y y))) (* (- (pow 1.0 3) (pow x 3)) (- 1.0 y)) (* (- (* 1.0 1.0) (* x x)) (- 1.0 y)) (+ 1.0 (* y (- x 1.0))) (+ 1.0 (* y (- x 1.0))) (+ 1.0 (* y (- x 1.0))) (- 1.0 (* 1.0 (+ x y))) (- (* x y) (* 1.0 (+ x y))) (- (* x y) (* 1.0 (+ x y))) 219.626 * * * [progress]: adding candidates to table 219.718 * * [progress]: iteration 2 / 4 219.718 * * * [progress]: picking best candidate 219.721 * * * * [pick]: Picked # 219.721 * * * [progress]: localizing error 219.729 * * * [progress]: generating rewritten candidates 219.729 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 219.737 * * * [progress]: generating series expansions 219.737 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 219.737 * [approximate]: Taking taylor expansion of (* (- x 1.0) y) in (y x) around 0 219.737 * [taylor]: Taking taylor expansion of (* (- x 1.0) y) in x 219.737 * [taylor]: Taking taylor expansion of (- x 1.0) in x 219.737 * [taylor]: Taking taylor expansion of x in x 219.737 * [taylor]: Taking taylor expansion of 1.0 in x 219.737 * [taylor]: Taking taylor expansion of y in x 219.737 * [taylor]: Taking taylor expansion of (* (- x 1.0) y) in y 219.738 * [taylor]: Taking taylor expansion of (- x 1.0) in y 219.738 * [taylor]: Taking taylor expansion of x in y 219.738 * [taylor]: Taking taylor expansion of 1.0 in y 219.738 * [taylor]: Taking taylor expansion of y in y 219.738 * [taylor]: Taking taylor expansion of (* (- x 1.0) y) in y 219.738 * [taylor]: Taking taylor expansion of (- x 1.0) in y 219.738 * [taylor]: Taking taylor expansion of x in y 219.738 * [taylor]: Taking taylor expansion of 1.0 in y 219.738 * [taylor]: Taking taylor expansion of y in y 219.738 * [taylor]: Taking taylor expansion of 0 in x 219.738 * [taylor]: Taking taylor expansion of (- x 1.0) in x 219.738 * [taylor]: Taking taylor expansion of x in x 219.738 * [taylor]: Taking taylor expansion of 1.0 in x 219.738 * [taylor]: Taking taylor expansion of 0 in x 219.738 * [taylor]: Taking taylor expansion of 0 in x 219.738 * [taylor]: Taking taylor expansion of 0 in x 219.739 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in (y x) around 0 219.739 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in x 219.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 219.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 219.739 * [taylor]: Taking taylor expansion of x in x 219.739 * [taylor]: Taking taylor expansion of 1.0 in x 219.739 * [taylor]: Taking taylor expansion of y in x 219.739 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in y 219.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y 219.739 * [taylor]: Taking taylor expansion of (/ 1 x) in y 219.739 * [taylor]: Taking taylor expansion of x in y 219.739 * [taylor]: Taking taylor expansion of 1.0 in y 219.739 * [taylor]: Taking taylor expansion of y in y 219.739 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) y) in y 219.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y 219.739 * [taylor]: Taking taylor expansion of (/ 1 x) in y 219.739 * [taylor]: Taking taylor expansion of x in y 219.739 * [taylor]: Taking taylor expansion of 1.0 in y 219.739 * [taylor]: Taking taylor expansion of y in y 219.739 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 219.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 219.739 * [taylor]: Taking taylor expansion of x in x 219.739 * [taylor]: Taking taylor expansion of 1.0 in x 219.739 * [taylor]: Taking taylor expansion of 0 in x 219.740 * [taylor]: Taking taylor expansion of 0 in x 219.740 * [taylor]: Taking taylor expansion of 0 in x 219.740 * [taylor]: Taking taylor expansion of 0 in x 219.741 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (y x) around 0 219.741 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 219.741 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 219.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 219.741 * [taylor]: Taking taylor expansion of x in x 219.741 * [taylor]: Taking taylor expansion of 1.0 in x 219.741 * [taylor]: Taking taylor expansion of y in x 219.741 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 219.741 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 219.741 * [taylor]: Taking taylor expansion of (/ 1 x) in y 219.741 * [taylor]: Taking taylor expansion of x in y 219.741 * [taylor]: Taking taylor expansion of 1.0 in y 219.741 * [taylor]: Taking taylor expansion of y in y 219.741 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 219.741 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 219.741 * [taylor]: Taking taylor expansion of (/ 1 x) in y 219.741 * [taylor]: Taking taylor expansion of x in y 219.741 * [taylor]: Taking taylor expansion of 1.0 in y 219.741 * [taylor]: Taking taylor expansion of y in y 219.742 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 219.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 219.742 * [taylor]: Taking taylor expansion of x in x 219.742 * [taylor]: Taking taylor expansion of 1.0 in x 219.742 * [taylor]: Taking taylor expansion of 0 in x 219.742 * [taylor]: Taking taylor expansion of 0 in x 219.742 * [taylor]: Taking taylor expansion of 0 in x 219.743 * [taylor]: Taking taylor expansion of 0 in x 219.743 * * * [progress]: simplifying candidates 219.743 * [simplify]: Simplifying using # : (* y (- x 1.0)) (+ (log y) (log (- x 1.0))) (log (* y (- x 1.0))) (exp (* y (- x 1.0))) (* (* (* y y) y) (* (* (- x 1.0) (- x 1.0)) (- x 1.0))) (* (cbrt (* y (- x 1.0))) (cbrt (* y (- x 1.0)))) (cbrt (* y (- x 1.0))) (* (* (* y (- x 1.0)) (* y (- x 1.0))) (* y (- x 1.0))) (sqrt (* y (- x 1.0))) (sqrt (* y (- x 1.0))) (* (sqrt y) (sqrt (- x 1.0))) (* (sqrt y) (sqrt (- x 1.0))) (* y x) (* y (neg 1.0)) (* y x) (* y (neg 1.0)) (* x y) (* (neg 1.0) y) (* x y) (* (neg 1.0) y) (* y (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (* y (sqrt (- x 1.0))) (* y 1) (* y (+ (sqrt x) (sqrt 1.0))) (* y 1) (* (cbrt y) (- x 1.0)) (* (sqrt y) (- x 1.0)) (* y (- x 1.0)) (* y (- (pow x 3) (pow 1.0 3))) (* y (- (* x x) (* 1.0 1.0))) (- (* x y) (* 1.0 y)) (- (* x y) (* 1.0 y)) (- (* x y) (* 1.0 y)) 219.744 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 219.745 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 219.746 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 219.748 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 219.751 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 219.754 * * [simplify]: iteration done : 24 enodes (cost 5 ) 219.754 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 219.755 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 219.756 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 219.757 * * [simplify]: iteration done : 11 enodes (cost 7 ) 219.758 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 219.758 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 219.760 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 219.762 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 219.765 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 219.768 * * [simplify]: iteration done : 29 enodes (cost 6 ) 219.768 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 219.769 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 219.770 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 219.773 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 219.780 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 219.798 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 219.867 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 220.172 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 221.801 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 221.801 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 221.803 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 221.806 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 221.822 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 221.936 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 222.747 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 224.339 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 224.340 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 224.346 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 224.347 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 224.349 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 224.352 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 224.358 * * [simplify]: iteration done : 26 enodes (cost 13 ) 224.359 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 224.360 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 224.361 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 224.363 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 224.365 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 224.368 * * [simplify]: iteration done : 25 enodes (cost 6 ) 224.369 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 224.370 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 224.374 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 224.396 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 224.545 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 225.358 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 227.501 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 227.501 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 227.502 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 227.503 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 227.505 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 227.508 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 227.511 * * [simplify]: iteration done : 25 enodes (cost 6 ) 227.511 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 227.512 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 227.513 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 227.515 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 227.518 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 227.520 * * [simplify]: iteration done : 25 enodes (cost 6 ) 227.521 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 227.522 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 227.523 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 227.524 * * [simplify]: iteration done : 11 enodes (cost 7 ) 227.524 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 227.525 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 227.526 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 227.527 * * [simplify]: iteration done : 11 enodes (cost 7 ) 227.528 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 227.528 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 227.528 * * [simplify]: iteration done : 4 enodes (cost 3 ) 227.529 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 227.529 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 227.530 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 227.531 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 227.532 * * [simplify]: iteration done : 11 enodes (cost 4 ) 227.533 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 227.533 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 227.534 * * [simplify]: iteration done : 4 enodes (cost 3 ) 227.534 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 227.535 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 227.535 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 227.536 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 227.538 * * [simplify]: iteration done : 11 enodes (cost 4 ) 227.538 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 227.538 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 227.539 * * [simplify]: iteration done : 4 enodes (cost 3 ) 227.540 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 227.540 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 227.541 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 227.542 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 227.543 * * [simplify]: iteration done : 11 enodes (cost 4 ) 227.544 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 227.544 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 227.545 * * [simplify]: iteration done : 4 enodes (cost 3 ) 227.545 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 227.546 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 227.546 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 227.547 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 227.549 * * [simplify]: iteration done : 11 enodes (cost 4 ) 227.550 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 227.551 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 227.556 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 227.558 * * [simplify]: iteration done : 15 enodes (cost 11 ) 227.558 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 227.559 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 227.560 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 227.561 * * [simplify]: iteration done : 10 enodes (cost 6 ) 227.561 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 227.562 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 227.562 * * [simplify]: iteration done : 6 enodes (cost 1 ) 227.563 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 227.564 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 227.565 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 227.567 * * [simplify]: iteration done : 16 enodes (cost 7 ) 227.568 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 227.568 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 227.569 * * [simplify]: iteration done : 6 enodes (cost 1 ) 227.569 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 227.570 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 227.571 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 227.573 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 227.575 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 227.578 * * [simplify]: iteration done : 25 enodes (cost 6 ) 227.578 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 227.579 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 227.580 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 227.582 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 227.584 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 227.587 * * [simplify]: iteration done : 25 enodes (cost 6 ) 227.588 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 227.588 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 227.589 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 227.591 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 227.593 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 227.596 * * [simplify]: iteration done : 24 enodes (cost 5 ) 227.597 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 227.598 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 227.601 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 227.610 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 227.642 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 227.773 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 228.850 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 231.006 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 231.007 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 231.008 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 231.009 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 231.014 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 231.029 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 231.073 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 231.149 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 231.333 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 233.023 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 235.205 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 235.206 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 235.207 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 235.208 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 235.211 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 235.214 * * [simplify]: iteration done : 22 enodes (cost 5 ) 235.214 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 235.215 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 235.217 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 235.219 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 235.222 * * [simplify]: iteration done : 22 enodes (cost 5 ) 235.223 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 235.223 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 235.225 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 235.227 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 235.230 * * [simplify]: iteration done : 22 enodes (cost 5 ) 235.230 * [simplify]: Simplified to: (* y (- x 1.0)) (+ (log y) (log (- x 1.0))) (log (* y (- x 1.0))) (exp (* y (- x 1.0))) (pow (* y (- x 1.0)) 3) (* (cbrt (* y (- x 1.0))) (cbrt (* y (- x 1.0)))) (cbrt (* y (- x 1.0))) (pow (* y (- x 1.0)) 3) (sqrt (* y (- x 1.0))) (sqrt (* y (- x 1.0))) (* (sqrt y) (sqrt (- x 1.0))) (* (sqrt y) (sqrt (- x 1.0))) (* y x) (* y (neg 1.0)) (* y x) (* y (neg 1.0)) (* x y) (* (neg 1.0) y) (* x y) (* (neg 1.0) y) (* y (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (* y (sqrt (- x 1.0))) y (* y (+ (sqrt x) (sqrt 1.0))) y (* (cbrt y) (- x 1.0)) (* (sqrt y) (- x 1.0)) (* y (- x 1.0)) (* y (- (pow x 3) (pow 1.0 3))) (* y (* (- x 1.0) (+ x 1.0))) (* y (- x 1.0)) (* y (- x 1.0)) (* y (- x 1.0)) 235.231 * * * [progress]: adding candidates to table 235.266 * [progress]: [Phase 3 of 3] Extracting. 235.268 * [simplify]: Simplifying using # : (+ 1.0 (* y (- x 1.0))) 235.269 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 235.269 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 235.269 * * [simplify]: iteration done : 8 enodes (cost 7 ) 235.269 * [simplify]: Simplified to: (+ 1.0 (* y (- x 1.0))) 236.166 * [regime-testing]: End program error score: 0.0038754844355544443 236.233 * [regime-testing]: Target error score: 0.005625703212901613