170.826 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (/ (+ x y) (* (* x 2.0) y)) 0.020 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.021 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.023 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.026 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 0.031 * * [simplify]: iteration 4 : 41 enodes (cost 9 ) 0.041 * * [simplify]: iteration done : 41 enodes (cost 9 ) 0.041 * [simplify]: Simplified to: (/ (+ x y) (* (* x 2.0) y)) 0.042 * * [progress]: iteration 1 / 4 0.042 * * * [progress]: picking best candidate 0.045 * * * * [pick]: Picked # 0.045 * * * [progress]: localizing error 0.051 * * * [progress]: generating rewritten candidates 0.051 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.062 * * * [progress]: generating series expansions 0.062 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.062 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0 0.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y 0.062 * [taylor]: Taking taylor expansion of 0.5 in y 0.062 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y 0.062 * [taylor]: Taking taylor expansion of (+ x y) in y 0.062 * [taylor]: Taking taylor expansion of x in y 0.062 * [taylor]: Taking taylor expansion of y in y 0.062 * [taylor]: Taking taylor expansion of (* x y) in y 0.062 * [taylor]: Taking taylor expansion of x in y 0.062 * [taylor]: Taking taylor expansion of y in y 0.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 0.062 * [taylor]: Taking taylor expansion of 0.5 in x 0.062 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 0.062 * [taylor]: Taking taylor expansion of (+ x y) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of y in x 0.062 * [taylor]: Taking taylor expansion of (* x y) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of y in x 0.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 0.063 * [taylor]: Taking taylor expansion of 0.5 in x 0.063 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 0.063 * [taylor]: Taking taylor expansion of (+ x y) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of y in x 0.063 * [taylor]: Taking taylor expansion of (* x y) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of y in x 0.063 * [taylor]: Taking taylor expansion of 0.5 in y 0.063 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.063 * [taylor]: Taking taylor expansion of 0.5 in y 0.063 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.063 * [taylor]: Taking taylor expansion of y in y 0.063 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in (x y) around 0 0.064 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in y 0.064 * [taylor]: Taking taylor expansion of 0.5 in y 0.064 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in y 0.064 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.064 * [taylor]: Taking taylor expansion of x in y 0.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.064 * [taylor]: Taking taylor expansion of y in y 0.064 * [taylor]: Taking taylor expansion of (* y x) in y 0.064 * [taylor]: Taking taylor expansion of y in y 0.064 * [taylor]: Taking taylor expansion of x in y 0.064 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 0.065 * [taylor]: Taking taylor expansion of 0.5 in x 0.065 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 0.065 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of (* y x) in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 0.065 * [taylor]: Taking taylor expansion of 0.5 in x 0.065 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 0.065 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of (* y x) in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.065 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.065 * [taylor]: Taking taylor expansion of 0.5 in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of 0.5 in y 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.067 * [taylor]: Taking taylor expansion of 0 in y 0.067 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in (x y) around 0 0.067 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in y 0.067 * [taylor]: Taking taylor expansion of -0.5 in y 0.067 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in y 0.067 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.067 * [taylor]: Taking taylor expansion of x in y 0.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.067 * [taylor]: Taking taylor expansion of y in y 0.067 * [taylor]: Taking taylor expansion of (* y x) in y 0.067 * [taylor]: Taking taylor expansion of y in y 0.067 * [taylor]: Taking taylor expansion of x in y 0.067 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 0.067 * [taylor]: Taking taylor expansion of -0.5 in x 0.067 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 0.067 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of (* y x) in x 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 0.068 * [taylor]: Taking taylor expansion of -0.5 in x 0.068 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 0.068 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [taylor]: Taking taylor expansion of (* y x) in x 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [taylor]: Taking taylor expansion of (neg (* 0.5 y)) in y 0.068 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.068 * [taylor]: Taking taylor expansion of 0.5 in y 0.068 * [taylor]: Taking taylor expansion of y in y 0.068 * [taylor]: Taking taylor expansion of (neg 0.5) in y 0.068 * [taylor]: Taking taylor expansion of 0.5 in y 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.070 * * * [progress]: simplifying candidates 0.070 * [simplify]: Simplifying using # : (- (log (+ x y)) (+ (+ (log x) (log 2.0)) (log y))) (- (log (+ x y)) (+ (log (* x 2.0)) (log y))) (- (log (+ x y)) (log (* (* x 2.0) y))) (log (/ (+ x y) (* (* x 2.0) y))) (exp (/ (+ x y) (* (* x 2.0) y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))) (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y)))) (cbrt (/ (+ x y) (* (* x 2.0) y))) (* (* (/ (+ x y) (* (* x 2.0) y)) (/ (+ x y) (* (* x 2.0) y))) (/ (+ x y) (* (* x 2.0) y))) (sqrt (/ (+ x y) (* (* x 2.0) y))) (sqrt (/ (+ x y) (* (* x 2.0) y))) (neg (+ x y)) (neg (* (* x 2.0) y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0)) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* x 2.0)) (/ (sqrt (+ x y)) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (+ x y)) (/ (+ x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (+ x y))) (/ (* (* x 2.0) y) (sqrt (+ x y))) (/ (* (* x 2.0) y) (+ x y)) (/ (* (* x 2.0) y) (+ x y)) (* (* (* x 2.0) y) (+ (* x x) (- (* y y) (* x y)))) (* (* (* x 2.0) y) (- x y)) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) 0.071 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 0.072 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 0.074 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 0.080 * * [simplify]: iteration 3 : 87 enodes (cost 13 ) 0.101 * * [simplify]: iteration 4 : 169 enodes (cost 13 ) 0.181 * * [simplify]: iteration 5 : 285 enodes (cost 13 ) 0.306 * * [simplify]: iteration 6 : 436 enodes (cost 13 ) 0.442 * * [simplify]: iteration 7 : 558 enodes (cost 13 ) 0.579 * * [simplify]: iteration 8 : 574 enodes (cost 13 ) 0.707 * * [simplify]: iteration done : 574 enodes (cost 13 ) 0.708 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.709 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 0.712 * * [simplify]: iteration 2 : 36 enodes (cost 12 ) 0.716 * * [simplify]: iteration 3 : 71 enodes (cost 12 ) 0.734 * * [simplify]: iteration 4 : 150 enodes (cost 12 ) 0.793 * * [simplify]: iteration 5 : 257 enodes (cost 12 ) 0.902 * * [simplify]: iteration 6 : 396 enodes (cost 12 ) 1.054 * * [simplify]: iteration 7 : 556 enodes (cost 12 ) 1.179 * * [simplify]: iteration 8 : 581 enodes (cost 12 ) 1.302 * * [simplify]: iteration done : 581 enodes (cost 12 ) 1.303 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 1.304 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 1.306 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 1.311 * * [simplify]: iteration 3 : 69 enodes (cost 11 ) 1.322 * * [simplify]: iteration 4 : 131 enodes (cost 11 ) 1.358 * * [simplify]: iteration 5 : 221 enodes (cost 11 ) 1.451 * * [simplify]: iteration 6 : 360 enodes (cost 11 ) 1.635 * * [simplify]: iteration 7 : 542 enodes (cost 11 ) 1.753 * * [simplify]: iteration 8 : 587 enodes (cost 11 ) 1.886 * * [simplify]: iteration done : 587 enodes (cost 11 ) 1.886 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 1.887 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 1.890 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 1.895 * * [simplify]: iteration 3 : 86 enodes (cost 10 ) 1.910 * * [simplify]: iteration 4 : 153 enodes (cost 10 ) 1.944 * * [simplify]: iteration 5 : 243 enodes (cost 10 ) 2.027 * * [simplify]: iteration 6 : 363 enodes (cost 10 ) 2.160 * * [simplify]: iteration 7 : 513 enodes (cost 10 ) 2.313 * * [simplify]: iteration 8 : 635 enodes (cost 10 ) 2.459 * * [simplify]: iteration 9 : 651 enodes (cost 10 ) 2.605 * * [simplify]: iteration done : 651 enodes (cost 10 ) 2.606 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 2.607 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 2.609 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 2.613 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 2.618 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 2.623 * * [simplify]: iteration done : 40 enodes (cost 10 ) 2.623 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 2.626 * * [simplify]: iteration 1 : 49 enodes (cost 29 ) 2.638 * * [simplify]: iteration 2 : 225 enodes (cost 17 ) 2.754 * * [simplify]: iteration 3 : 1335 enodes (cost 17 ) 4.144 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 4.145 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 4.147 * * [simplify]: iteration 1 : 51 enodes (cost 29 ) 4.158 * * [simplify]: iteration 2 : 219 enodes (cost 15 ) 4.271 * * [simplify]: iteration 3 : 1326 enodes (cost 15 ) 5.356 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 5.357 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 5.359 * * [simplify]: iteration 1 : 46 enodes (cost 29 ) 5.370 * * [simplify]: iteration 2 : 219 enodes (cost 13 ) 5.524 * * [simplify]: iteration 3 : 1559 enodes (cost 11 ) 6.646 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 6.647 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 6.648 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 6.650 * * [simplify]: iteration 2 : 29 enodes (cost 21 ) 6.654 * * [simplify]: iteration 3 : 42 enodes (cost 21 ) 6.660 * * [simplify]: iteration 4 : 43 enodes (cost 21 ) 6.665 * * [simplify]: iteration done : 43 enodes (cost 21 ) 6.666 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 6.667 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 6.669 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 6.673 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 6.678 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 6.683 * * [simplify]: iteration done : 40 enodes (cost 10 ) 6.684 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 6.685 * * [simplify]: iteration 1 : 23 enodes (cost 29 ) 6.690 * * [simplify]: iteration 2 : 109 enodes (cost 11 ) 6.744 * * [simplify]: iteration 3 : 793 enodes (cost 11 ) 8.314 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 8.315 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 8.316 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 8.318 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 8.322 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 8.331 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 8.337 * * [simplify]: iteration done : 40 enodes (cost 10 ) 8.338 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 8.339 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 8.341 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 8.344 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 8.349 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 8.354 * * [simplify]: iteration done : 40 enodes (cost 10 ) 8.355 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.355 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 8.356 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.357 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.358 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.358 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.359 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 8.361 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 8.367 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 8.376 * * [simplify]: iteration done : 53 enodes (cost 6 ) 8.377 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 8.378 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 8.380 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 8.389 * * [simplify]: iteration 3 : 42 enodes (cost 13 ) 8.394 * * [simplify]: iteration 4 : 44 enodes (cost 13 ) 8.400 * * [simplify]: iteration done : 44 enodes (cost 13 ) 8.400 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.401 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 8.401 * * [simplify]: iteration done : 6 enodes (cost 6 ) 8.402 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.403 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 8.404 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 8.405 * * [simplify]: iteration done : 13 enodes (cost 8 ) 8.406 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.406 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 8.407 * * [simplify]: iteration done : 6 enodes (cost 6 ) 8.407 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.408 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 8.409 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 8.410 * * [simplify]: iteration done : 12 enodes (cost 5 ) 8.410 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 8.411 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 8.411 * * [simplify]: iteration done : 5 enodes (cost 5 ) 8.412 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.413 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 8.413 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 8.415 * * [simplify]: iteration done : 12 enodes (cost 5 ) 8.415 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 8.416 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 8.416 * * [simplify]: iteration done : 5 enodes (cost 5 ) 8.417 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.418 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 8.419 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 8.423 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 8.428 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 8.432 * * [simplify]: iteration done : 40 enodes (cost 7 ) 8.433 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 8.434 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 8.436 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 8.441 * * [simplify]: iteration 3 : 49 enodes (cost 9 ) 8.452 * * [simplify]: iteration 4 : 73 enodes (cost 9 ) 8.466 * * [simplify]: iteration 5 : 86 enodes (cost 9 ) 8.480 * * [simplify]: iteration done : 86 enodes (cost 9 ) 8.480 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 8.481 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.482 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 8.483 * * [simplify]: iteration done : 12 enodes (cost 7 ) 8.484 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 8.485 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 8.487 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 8.492 * * [simplify]: iteration 3 : 50 enodes (cost 10 ) 8.504 * * [simplify]: iteration 4 : 74 enodes (cost 10 ) 8.518 * * [simplify]: iteration 5 : 87 enodes (cost 10 ) 8.531 * * [simplify]: iteration done : 87 enodes (cost 10 ) 8.532 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 8.533 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 8.535 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 8.539 * * [simplify]: iteration 3 : 50 enodes (cost 10 ) 8.547 * * [simplify]: iteration 4 : 74 enodes (cost 10 ) 8.565 * * [simplify]: iteration 5 : 87 enodes (cost 10 ) 8.579 * * [simplify]: iteration done : 87 enodes (cost 10 ) 8.579 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 8.580 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 8.582 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 8.586 * * [simplify]: iteration 3 : 49 enodes (cost 9 ) 8.595 * * [simplify]: iteration 4 : 73 enodes (cost 9 ) 8.610 * * [simplify]: iteration 5 : 86 enodes (cost 9 ) 8.627 * * [simplify]: iteration done : 86 enodes (cost 9 ) 8.628 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 8.629 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 8.630 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 8.635 * * [simplify]: iteration 3 : 49 enodes (cost 9 ) 8.643 * * [simplify]: iteration 4 : 73 enodes (cost 9 ) 8.658 * * [simplify]: iteration 5 : 86 enodes (cost 9 ) 8.676 * * [simplify]: iteration done : 86 enodes (cost 9 ) 8.676 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 8.678 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 8.684 * * [simplify]: iteration 2 : 108 enodes (cost 15 ) 8.716 * * [simplify]: iteration 3 : 371 enodes (cost 15 ) 8.895 * * [simplify]: iteration 4 : 793 enodes (cost 15 ) 9.311 * * [simplify]: iteration 5 : 1147 enodes (cost 15 ) 10.119 * * [simplify]: iteration 6 : 1625 enodes (cost 15 ) 11.394 * * [simplify]: iteration 7 : 2360 enodes (cost 15 ) 16.522 * * [simplify]: iteration 8 : 4834 enodes (cost 15 ) 17.415 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 17.416 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 17.417 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 17.420 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 17.430 * * [simplify]: iteration 3 : 129 enodes (cost 9 ) 17.472 * * [simplify]: iteration 4 : 199 enodes (cost 9 ) 17.523 * * [simplify]: iteration 5 : 232 enodes (cost 9 ) 17.590 * * [simplify]: iteration 6 : 252 enodes (cost 9 ) 17.655 * * [simplify]: iteration done : 252 enodes (cost 9 ) 17.656 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 17.657 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 17.659 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 17.667 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 17.670 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 17.675 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 17.681 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 17.687 * * [simplify]: iteration done : 49 enodes (cost 7 ) 17.688 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 17.689 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 17.692 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 17.695 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 17.698 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 17.704 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 17.710 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 17.715 * * [simplify]: iteration done : 49 enodes (cost 7 ) 17.716 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 17.717 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 17.720 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 17.727 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 17.730 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 17.735 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 17.741 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 17.747 * * [simplify]: iteration done : 49 enodes (cost 7 ) 17.747 * [simplify]: Simplified to: (- (log (+ x y)) (+ (+ (log x) (log 2.0)) (log y))) (- (log (+ x y)) (+ (log (* x 2.0)) (log y))) (- (log (+ x y)) (log (* (* x 2.0) y))) (log (/ (+ x y) (* (* x 2.0) y))) (exp (/ (+ x y) (* (* x 2.0) y))) (/ (pow (+ x y) 3) (* (* (pow 2.0 3) (pow x 3)) (pow y 3))) (/ (pow (+ x y) 3) (* (pow y 3) (pow (* x 2.0) 3))) (pow (/ (+ x y) (* (* x 2.0) y)) 3) (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y)))) (cbrt (/ (+ x y) (* (* x 2.0) y))) (pow (/ (+ x y) (* (* x 2.0) y)) 3) (sqrt (/ (+ x y) (* (* x 2.0) y))) (sqrt (/ (+ x y) (* (* x 2.0) y))) (neg (+ x y)) (neg (* (* x 2.0) y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0)) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* x 2.0)) (/ (sqrt (+ x y)) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (+ x y)) (/ (+ x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (+ x y))) (/ (* (* x 2.0) y) (sqrt (+ x y))) (/ (* (* x 2.0) y) (+ x y)) (/ (* (* x 2.0) y) (+ x y)) (* (+ (* y (- y x)) (* x x)) (* (* x 2.0) y)) (* (* (* x 2.0) y) (- x y)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) 17.748 * * * [progress]: adding candidates to table 17.800 * * [progress]: iteration 2 / 4 17.800 * * * [progress]: picking best candidate 17.805 * * * * [pick]: Picked # 17.805 * * * [progress]: localizing error 17.811 * * * [progress]: generating rewritten candidates 17.811 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 17.821 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 17.832 * * * [progress]: generating series expansions 17.832 * * * * [progress]: [ 1 / 2 ] generating series at (2) 17.832 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0 17.832 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y 17.832 * [taylor]: Taking taylor expansion of 0.5 in y 17.832 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y 17.832 * [taylor]: Taking taylor expansion of (+ x y) in y 17.832 * [taylor]: Taking taylor expansion of x in y 17.833 * [taylor]: Taking taylor expansion of y in y 17.833 * [taylor]: Taking taylor expansion of (* x y) in y 17.833 * [taylor]: Taking taylor expansion of x in y 17.833 * [taylor]: Taking taylor expansion of y in y 17.833 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 17.833 * [taylor]: Taking taylor expansion of 0.5 in x 17.833 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 17.833 * [taylor]: Taking taylor expansion of (+ x y) in x 17.833 * [taylor]: Taking taylor expansion of x in x 17.833 * [taylor]: Taking taylor expansion of y in x 17.833 * [taylor]: Taking taylor expansion of (* x y) in x 17.833 * [taylor]: Taking taylor expansion of x in x 17.833 * [taylor]: Taking taylor expansion of y in x 17.833 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 17.833 * [taylor]: Taking taylor expansion of 0.5 in x 17.833 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 17.833 * [taylor]: Taking taylor expansion of (+ x y) in x 17.833 * [taylor]: Taking taylor expansion of x in x 17.833 * [taylor]: Taking taylor expansion of y in x 17.833 * [taylor]: Taking taylor expansion of (* x y) in x 17.833 * [taylor]: Taking taylor expansion of x in x 17.833 * [taylor]: Taking taylor expansion of y in x 17.833 * [taylor]: Taking taylor expansion of 0.5 in y 17.833 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 17.833 * [taylor]: Taking taylor expansion of 0.5 in y 17.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.833 * [taylor]: Taking taylor expansion of y in y 17.834 * [taylor]: Taking taylor expansion of 0 in y 17.834 * [taylor]: Taking taylor expansion of 0 in y 17.835 * [taylor]: Taking taylor expansion of 0 in y 17.835 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in (x y) around 0 17.835 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in y 17.835 * [taylor]: Taking taylor expansion of 0.5 in y 17.835 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in y 17.835 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 17.835 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.835 * [taylor]: Taking taylor expansion of x in y 17.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.835 * [taylor]: Taking taylor expansion of y in y 17.835 * [taylor]: Taking taylor expansion of (* y x) in y 17.835 * [taylor]: Taking taylor expansion of y in y 17.835 * [taylor]: Taking taylor expansion of x in y 17.835 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 17.835 * [taylor]: Taking taylor expansion of 0.5 in x 17.835 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 17.835 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.835 * [taylor]: Taking taylor expansion of x in x 17.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.835 * [taylor]: Taking taylor expansion of y in x 17.835 * [taylor]: Taking taylor expansion of (* y x) in x 17.835 * [taylor]: Taking taylor expansion of y in x 17.835 * [taylor]: Taking taylor expansion of x in x 17.836 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 17.836 * [taylor]: Taking taylor expansion of 0.5 in x 17.836 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 17.836 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.836 * [taylor]: Taking taylor expansion of x in x 17.836 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.836 * [taylor]: Taking taylor expansion of y in x 17.836 * [taylor]: Taking taylor expansion of (* y x) in x 17.836 * [taylor]: Taking taylor expansion of y in x 17.836 * [taylor]: Taking taylor expansion of x in x 17.836 * [taylor]: Taking taylor expansion of 0 in y 17.836 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 17.836 * [taylor]: Taking taylor expansion of 0.5 in y 17.836 * [taylor]: Taking taylor expansion of y in y 17.836 * [taylor]: Taking taylor expansion of 0.5 in y 17.837 * [taylor]: Taking taylor expansion of 0 in y 17.837 * [taylor]: Taking taylor expansion of 0 in y 17.838 * [taylor]: Taking taylor expansion of 0 in y 17.838 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in (x y) around 0 17.838 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in y 17.838 * [taylor]: Taking taylor expansion of -0.5 in y 17.838 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in y 17.838 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 17.838 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.838 * [taylor]: Taking taylor expansion of x in y 17.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.838 * [taylor]: Taking taylor expansion of y in y 17.838 * [taylor]: Taking taylor expansion of (* y x) in y 17.838 * [taylor]: Taking taylor expansion of y in y 17.838 * [taylor]: Taking taylor expansion of x in y 17.838 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 17.838 * [taylor]: Taking taylor expansion of -0.5 in x 17.838 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 17.838 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.838 * [taylor]: Taking taylor expansion of x in x 17.838 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.838 * [taylor]: Taking taylor expansion of y in x 17.838 * [taylor]: Taking taylor expansion of (* y x) in x 17.838 * [taylor]: Taking taylor expansion of y in x 17.838 * [taylor]: Taking taylor expansion of x in x 17.838 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 x) (/ 1 y)) (* y x))) in x 17.838 * [taylor]: Taking taylor expansion of -0.5 in x 17.838 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (* y x)) in x 17.838 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.838 * [taylor]: Taking taylor expansion of x in x 17.838 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.838 * [taylor]: Taking taylor expansion of y in x 17.838 * [taylor]: Taking taylor expansion of (* y x) in x 17.839 * [taylor]: Taking taylor expansion of y in x 17.839 * [taylor]: Taking taylor expansion of x in x 17.839 * [taylor]: Taking taylor expansion of 0 in y 17.839 * [taylor]: Taking taylor expansion of (neg (* 0.5 y)) in y 17.839 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 17.839 * [taylor]: Taking taylor expansion of 0.5 in y 17.839 * [taylor]: Taking taylor expansion of y in y 17.839 * [taylor]: Taking taylor expansion of (neg 0.5) in y 17.839 * [taylor]: Taking taylor expansion of 0.5 in y 17.839 * [taylor]: Taking taylor expansion of 0 in y 17.840 * [taylor]: Taking taylor expansion of 0 in y 17.840 * [taylor]: Taking taylor expansion of 0 in y 17.841 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 17.841 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in (x y) around 0 17.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in y 17.841 * [taylor]: Taking taylor expansion of 0.5 in y 17.841 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in y 17.841 * [taylor]: Taking taylor expansion of (+ x y) in y 17.841 * [taylor]: Taking taylor expansion of x in y 17.841 * [taylor]: Taking taylor expansion of y in y 17.841 * [taylor]: Taking taylor expansion of x in y 17.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in x 17.841 * [taylor]: Taking taylor expansion of 0.5 in x 17.841 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in x 17.841 * [taylor]: Taking taylor expansion of (+ x y) in x 17.841 * [taylor]: Taking taylor expansion of x in x 17.841 * [taylor]: Taking taylor expansion of y in x 17.841 * [taylor]: Taking taylor expansion of x in x 17.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in x 17.841 * [taylor]: Taking taylor expansion of 0.5 in x 17.841 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in x 17.841 * [taylor]: Taking taylor expansion of (+ x y) in x 17.841 * [taylor]: Taking taylor expansion of x in x 17.841 * [taylor]: Taking taylor expansion of y in x 17.841 * [taylor]: Taking taylor expansion of x in x 17.841 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 17.841 * [taylor]: Taking taylor expansion of 0.5 in y 17.841 * [taylor]: Taking taylor expansion of y in y 17.841 * [taylor]: Taking taylor expansion of 0.5 in y 17.842 * [taylor]: Taking taylor expansion of 0 in y 17.842 * [taylor]: Taking taylor expansion of 0 in y 17.842 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in (x y) around 0 17.842 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in y 17.842 * [taylor]: Taking taylor expansion of 0.5 in y 17.842 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) x) in y 17.842 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 17.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.842 * [taylor]: Taking taylor expansion of x in y 17.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.842 * [taylor]: Taking taylor expansion of y in y 17.842 * [taylor]: Taking taylor expansion of x in y 17.842 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in x 17.842 * [taylor]: Taking taylor expansion of 0.5 in x 17.842 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) x) in x 17.842 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.842 * [taylor]: Taking taylor expansion of x in x 17.842 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.842 * [taylor]: Taking taylor expansion of y in x 17.842 * [taylor]: Taking taylor expansion of x in x 17.842 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in x 17.842 * [taylor]: Taking taylor expansion of 0.5 in x 17.842 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) x) in x 17.842 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.842 * [taylor]: Taking taylor expansion of x in x 17.843 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.843 * [taylor]: Taking taylor expansion of y in x 17.843 * [taylor]: Taking taylor expansion of x in x 17.843 * [taylor]: Taking taylor expansion of 0 in y 17.843 * [taylor]: Taking taylor expansion of 0.5 in y 17.843 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 17.843 * [taylor]: Taking taylor expansion of 0.5 in y 17.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.843 * [taylor]: Taking taylor expansion of y in y 17.843 * [taylor]: Taking taylor expansion of 0 in y 17.844 * [taylor]: Taking taylor expansion of 0 in y 17.844 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in (x y) around 0 17.844 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in y 17.844 * [taylor]: Taking taylor expansion of 0.5 in y 17.844 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) x) in y 17.844 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 17.844 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.844 * [taylor]: Taking taylor expansion of x in y 17.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.844 * [taylor]: Taking taylor expansion of y in y 17.844 * [taylor]: Taking taylor expansion of x in y 17.844 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in x 17.844 * [taylor]: Taking taylor expansion of 0.5 in x 17.844 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) x) in x 17.844 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.844 * [taylor]: Taking taylor expansion of x in x 17.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.844 * [taylor]: Taking taylor expansion of y in x 17.845 * [taylor]: Taking taylor expansion of x in x 17.845 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 x) (/ 1 y)) x)) in x 17.845 * [taylor]: Taking taylor expansion of 0.5 in x 17.845 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) x) in x 17.845 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.845 * [taylor]: Taking taylor expansion of x in x 17.845 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.845 * [taylor]: Taking taylor expansion of y in x 17.845 * [taylor]: Taking taylor expansion of x in x 17.845 * [taylor]: Taking taylor expansion of 0 in y 17.845 * [taylor]: Taking taylor expansion of 0.5 in y 17.845 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 17.845 * [taylor]: Taking taylor expansion of 0.5 in y 17.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.845 * [taylor]: Taking taylor expansion of y in y 17.846 * [taylor]: Taking taylor expansion of 0 in y 17.846 * [taylor]: Taking taylor expansion of 0 in y 17.846 * * * [progress]: simplifying candidates 17.847 * [simplify]: Simplifying using # : (- (- (log (+ x y)) (+ (log x) (log 2.0))) (log y)) (- (- (log (+ x y)) (log (* x 2.0))) (log y)) (- (log (/ (+ x y) (* x 2.0))) (log y)) (log (/ (/ (+ x y) (* x 2.0)) y)) (exp (/ (/ (+ x y) (* x 2.0)) y)) (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* y y) y)) (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* y y) y)) (/ (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (* (* y y) y)) (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y))) (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (* (* (/ (/ (+ x y) (* x 2.0)) y) (/ (/ (+ x y) (* x 2.0)) y)) (/ (/ (+ x y) (* x 2.0)) y)) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (neg (/ (+ x y) (* x 2.0))) (neg y) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) 1) (/ (cbrt (/ (+ x y) (* x 2.0))) y) (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) 1) (/ (sqrt (/ (+ x y) (* x 2.0))) y) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (+ x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y)) (/ (/ (cbrt (+ x y)) 2.0) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) 1) (/ (/ (cbrt (+ x y)) 2.0) y) (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (+ x y)) 2.0) (cbrt y)) (/ (/ (sqrt (+ x y)) x) (sqrt y)) (/ (/ (sqrt (+ x y)) 2.0) (sqrt y)) (/ (/ (sqrt (+ x y)) x) 1) (/ (/ (sqrt (+ x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (+ x y) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (+ x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) (/ 1 1) (/ (/ (+ x y) (* x 2.0)) y) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (+ x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (/ (+ x y) 1) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (+ x y) (* x 2.0))) (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) (/ (/ (+ x y) (* x 2.0)) 1) (/ y (cbrt (/ (+ x y) (* x 2.0)))) (/ y (sqrt (/ (+ x y) (* x 2.0)))) (/ y (/ (cbrt (+ x y)) 2.0)) (/ y (/ (sqrt (+ x y)) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) (* x 2.0))) (/ y (/ 1 (* x 2.0))) (* y (* x 2.0)) (- (log (+ x y)) (+ (log x) (log 2.0))) (- (log (+ x y)) (log (* x 2.0))) (log (/ (+ x y) (* x 2.0))) (exp (/ (+ x y) (* x 2.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (cbrt (/ (+ x y) (* x 2.0))) (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ (+ x y) (* x 2.0))) (neg (+ x y)) (neg (* x 2.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (/ (cbrt (+ x y)) 2.0) (/ (sqrt (+ x y)) x) (/ (sqrt (+ x y)) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (+ x y)) (/ (+ x y) x) (/ (* x 2.0) (cbrt (+ x y))) (/ (* x 2.0) (sqrt (+ x y))) (/ (* x 2.0) (+ x y)) (/ (* x 2.0) (+ x y)) (* (* x 2.0) (+ (* x x) (- (* y y) (* x y)))) (* (* x 2.0) (- x y)) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) 17.848 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 17.849 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 17.852 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 17.860 * * [simplify]: iteration 3 : 110 enodes (cost 13 ) 17.902 * * [simplify]: iteration 4 : 222 enodes (cost 13 ) 17.965 * * [simplify]: iteration 5 : 311 enodes (cost 13 ) 18.061 * * [simplify]: iteration 6 : 427 enodes (cost 13 ) 18.184 * * [simplify]: iteration 7 : 513 enodes (cost 13 ) 18.295 * * [simplify]: iteration 8 : 524 enodes (cost 13 ) 18.421 * * [simplify]: iteration done : 524 enodes (cost 13 ) 18.422 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 18.423 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 18.426 * * [simplify]: iteration 2 : 40 enodes (cost 12 ) 18.431 * * [simplify]: iteration 3 : 84 enodes (cost 12 ) 18.451 * * [simplify]: iteration 4 : 171 enodes (cost 12 ) 18.497 * * [simplify]: iteration 5 : 250 enodes (cost 12 ) 18.584 * * [simplify]: iteration 6 : 374 enodes (cost 12 ) 18.739 * * [simplify]: iteration 7 : 519 enodes (cost 12 ) 18.848 * * [simplify]: iteration 8 : 549 enodes (cost 12 ) 18.970 * * [simplify]: iteration done : 549 enodes (cost 12 ) 18.971 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 18.972 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 18.974 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 18.978 * * [simplify]: iteration 3 : 71 enodes (cost 11 ) 18.993 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 19.029 * * [simplify]: iteration 5 : 223 enodes (cost 11 ) 19.094 * * [simplify]: iteration 6 : 311 enodes (cost 11 ) 19.196 * * [simplify]: iteration 7 : 428 enodes (cost 11 ) 19.318 * * [simplify]: iteration 8 : 515 enodes (cost 11 ) 19.430 * * [simplify]: iteration 9 : 526 enodes (cost 11 ) 19.552 * * [simplify]: iteration done : 526 enodes (cost 11 ) 19.553 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 19.554 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 19.559 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 19.564 * * [simplify]: iteration 3 : 81 enodes (cost 10 ) 19.577 * * [simplify]: iteration 4 : 157 enodes (cost 10 ) 19.618 * * [simplify]: iteration 5 : 249 enodes (cost 10 ) 19.677 * * [simplify]: iteration 6 : 331 enodes (cost 10 ) 19.774 * * [simplify]: iteration 7 : 429 enodes (cost 10 ) 19.877 * * [simplify]: iteration 8 : 524 enodes (cost 10 ) 20.032 * * [simplify]: iteration 9 : 609 enodes (cost 10 ) 20.172 * * [simplify]: iteration 10 : 616 enodes (cost 10 ) 20.313 * * [simplify]: iteration done : 616 enodes (cost 10 ) 20.314 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 20.315 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 20.317 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 20.320 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 20.328 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 20.333 * * [simplify]: iteration done : 40 enodes (cost 10 ) 20.334 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 20.336 * * [simplify]: iteration 1 : 48 enodes (cost 29 ) 20.347 * * [simplify]: iteration 2 : 211 enodes (cost 17 ) 20.438 * * [simplify]: iteration 3 : 1210 enodes (cost 17 ) 21.628 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 21.629 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 21.631 * * [simplify]: iteration 1 : 50 enodes (cost 29 ) 21.646 * * [simplify]: iteration 2 : 225 enodes (cost 15 ) 21.763 * * [simplify]: iteration 3 : 1386 enodes (cost 13 ) 22.984 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 22.985 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 22.986 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 22.993 * * [simplify]: iteration 2 : 139 enodes (cost 13 ) 23.056 * * [simplify]: iteration 3 : 912 enodes (cost 11 ) 24.657 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 24.658 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 24.659 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 24.661 * * [simplify]: iteration 2 : 25 enodes (cost 21 ) 24.664 * * [simplify]: iteration 3 : 40 enodes (cost 21 ) 24.675 * * [simplify]: iteration 4 : 41 enodes (cost 21 ) 24.680 * * [simplify]: iteration done : 41 enodes (cost 21 ) 24.681 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 24.682 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 24.684 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 24.688 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 24.693 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 24.697 * * [simplify]: iteration done : 40 enodes (cost 10 ) 24.698 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 24.699 * * [simplify]: iteration 1 : 22 enodes (cost 29 ) 24.703 * * [simplify]: iteration 2 : 69 enodes (cost 11 ) 24.726 * * [simplify]: iteration 3 : 381 enodes (cost 11 ) 25.415 * * [simplify]: iteration 4 : 3333 enodes (cost 11 ) 26.407 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 26.408 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 26.409 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 26.411 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 26.414 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 26.420 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 26.424 * * [simplify]: iteration done : 40 enodes (cost 10 ) 26.425 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 26.426 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 26.428 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 26.431 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 26.436 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 26.441 * * [simplify]: iteration done : 40 enodes (cost 10 ) 26.442 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.442 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 26.444 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 26.449 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 26.453 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 26.458 * * [simplify]: iteration 5 : 69 enodes (cost 7 ) 26.466 * * [simplify]: iteration 6 : 79 enodes (cost 7 ) 26.475 * * [simplify]: iteration 7 : 81 enodes (cost 7 ) 26.483 * * [simplify]: iteration done : 81 enodes (cost 7 ) 26.484 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 26.484 * * [simplify]: iteration done : 2 enodes (cost 2 ) 26.485 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 26.486 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 26.489 * * [simplify]: iteration 2 : 32 enodes (cost 23 ) 26.493 * * [simplify]: iteration 3 : 38 enodes (cost 23 ) 26.497 * * [simplify]: iteration done : 38 enodes (cost 23 ) 26.498 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.499 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 26.500 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 26.502 * * [simplify]: iteration done : 15 enodes (cost 11 ) 26.502 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 26.503 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 26.505 * * [simplify]: iteration 2 : 20 enodes (cost 20 ) 26.511 * * [simplify]: iteration 3 : 21 enodes (cost 20 ) 26.513 * * [simplify]: iteration done : 21 enodes (cost 20 ) 26.514 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.515 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 26.516 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 26.518 * * [simplify]: iteration done : 15 enodes (cost 11 ) 26.519 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 26.520 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 26.522 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 26.525 * * [simplify]: iteration 3 : 31 enodes (cost 17 ) 26.527 * * [simplify]: iteration done : 31 enodes (cost 17 ) 26.528 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 26.529 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 26.530 * * [simplify]: iteration 2 : 14 enodes (cost 10 ) 26.532 * * [simplify]: iteration done : 14 enodes (cost 10 ) 26.532 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 26.534 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 26.535 * * [simplify]: iteration 2 : 18 enodes (cost 14 ) 26.537 * * [simplify]: iteration done : 18 enodes (cost 14 ) 26.538 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.539 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 26.540 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 26.542 * * [simplify]: iteration done : 15 enodes (cost 11 ) 26.542 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.543 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 26.545 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 26.547 * * [simplify]: iteration done : 15 enodes (cost 11 ) 26.547 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.548 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 26.550 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 26.551 * * [simplify]: iteration done : 15 enodes (cost 11 ) 26.552 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 26.553 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 26.554 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 26.556 * * [simplify]: iteration done : 19 enodes (cost 8 ) 26.557 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 26.558 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 26.559 * * [simplify]: iteration 2 : 14 enodes (cost 10 ) 26.561 * * [simplify]: iteration done : 14 enodes (cost 10 ) 26.561 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 26.562 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 26.564 * * [simplify]: iteration 2 : 32 enodes (cost 17 ) 26.569 * * [simplify]: iteration 3 : 68 enodes (cost 17 ) 26.584 * * [simplify]: iteration 4 : 109 enodes (cost 17 ) 26.603 * * [simplify]: iteration 5 : 119 enodes (cost 17 ) 26.621 * * [simplify]: iteration done : 119 enodes (cost 17 ) 26.622 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.623 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 26.624 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 26.625 * * [simplify]: iteration done : 14 enodes (cost 9 ) 26.626 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 26.627 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 26.631 * * [simplify]: iteration 2 : 24 enodes (cost 14 ) 26.634 * * [simplify]: iteration 3 : 37 enodes (cost 14 ) 26.639 * * [simplify]: iteration 4 : 47 enodes (cost 14 ) 26.645 * * [simplify]: iteration done : 47 enodes (cost 14 ) 26.646 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.646 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 26.648 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 26.649 * * [simplify]: iteration done : 14 enodes (cost 9 ) 26.650 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 26.651 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 26.653 * * [simplify]: iteration 2 : 30 enodes (cost 11 ) 26.656 * * [simplify]: iteration 3 : 43 enodes (cost 11 ) 26.660 * * [simplify]: iteration 4 : 58 enodes (cost 11 ) 26.666 * * [simplify]: iteration 5 : 63 enodes (cost 11 ) 26.671 * * [simplify]: iteration done : 63 enodes (cost 11 ) 26.672 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.673 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 26.674 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 26.675 * * [simplify]: iteration done : 13 enodes (cost 8 ) 26.676 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 26.677 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 26.678 * * [simplify]: iteration 2 : 19 enodes (cost 12 ) 26.680 * * [simplify]: iteration 3 : 25 enodes (cost 12 ) 26.684 * * [simplify]: iteration done : 25 enodes (cost 12 ) 26.684 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.685 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 26.687 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 26.890 * * [simplify]: iteration done : 14 enodes (cost 9 ) 26.891 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 26.891 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 26.893 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 26.894 * * [simplify]: iteration done : 13 enodes (cost 9 ) 26.894 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.895 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 26.897 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 26.898 * * [simplify]: iteration done : 14 enodes (cost 9 ) 26.899 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.899 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 26.901 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 26.902 * * [simplify]: iteration done : 19 enodes (cost 6 ) 26.902 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.903 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 26.904 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 26.906 * * [simplify]: iteration done : 13 enodes (cost 8 ) 26.906 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 26.907 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 26.909 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 26.911 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 26.914 * * [simplify]: iteration done : 25 enodes (cost 9 ) 26.915 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.915 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 26.917 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 26.918 * * [simplify]: iteration done : 13 enodes (cost 8 ) 26.918 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 26.919 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 26.920 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 26.921 * * [simplify]: iteration done : 13 enodes (cost 6 ) 26.922 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.923 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 26.924 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 26.925 * * [simplify]: iteration done : 13 enodes (cost 8 ) 26.926 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 26.926 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 26.927 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 26.928 * * [simplify]: iteration done : 15 enodes (cost 3 ) 26.928 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.929 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 26.930 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 26.931 * * [simplify]: iteration done : 12 enodes (cost 7 ) 26.932 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 26.932 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 26.934 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 26.936 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 26.939 * * [simplify]: iteration done : 25 enodes (cost 9 ) 26.939 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.940 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 26.941 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 26.943 * * [simplify]: iteration done : 13 enodes (cost 8 ) 26.943 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 26.944 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 26.945 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 26.947 * * [simplify]: iteration done : 13 enodes (cost 6 ) 26.947 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.948 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 26.949 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 26.950 * * [simplify]: iteration done : 13 enodes (cost 8 ) 26.951 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 26.952 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 26.953 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 26.953 * * [simplify]: iteration done : 15 enodes (cost 3 ) 26.954 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.954 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 26.958 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 26.960 * * [simplify]: iteration done : 12 enodes (cost 7 ) 26.960 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 26.961 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 26.962 * * [simplify]: iteration done : 9 enodes (cost 7 ) 26.962 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 26.963 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 26.965 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 26.968 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 26.973 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 26.978 * * [simplify]: iteration done : 41 enodes (cost 10 ) 26.979 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 26.979 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 26.980 * * [simplify]: iteration done : 6 enodes (cost 4 ) 26.980 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 26.981 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 26.983 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 26.986 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 26.991 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 26.996 * * [simplify]: iteration done : 41 enodes (cost 10 ) 26.997 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 26.997 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 26.998 * * [simplify]: iteration done : 4 enodes (cost 1 ) 26.998 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 26.999 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 27.001 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 27.004 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 27.009 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 27.013 * * [simplify]: iteration done : 39 enodes (cost 9 ) 27.014 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 27.015 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 27.019 * * [simplify]: iteration done : 9 enodes (cost 9 ) 27.019 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 27.020 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 27.022 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 27.025 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 27.030 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 27.035 * * [simplify]: iteration done : 41 enodes (cost 8 ) 27.036 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 27.036 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 27.037 * * [simplify]: iteration done : 6 enodes (cost 6 ) 27.037 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 27.038 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 27.040 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 27.043 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 27.048 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 27.053 * * [simplify]: iteration done : 41 enodes (cost 8 ) 27.054 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 27.054 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 27.055 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 27.056 * * [simplify]: iteration done : 10 enodes (cost 3 ) 27.056 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.057 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 27.058 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 27.061 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 27.066 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 27.071 * * [simplify]: iteration done : 40 enodes (cost 7 ) 27.071 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 27.072 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 27.072 * * [simplify]: iteration done : 5 enodes (cost 3 ) 27.073 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 27.073 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 27.075 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 27.082 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 27.088 * * [simplify]: iteration 4 : 47 enodes (cost 9 ) 27.096 * * [simplify]: iteration 5 : 63 enodes (cost 9 ) 27.106 * * [simplify]: iteration 6 : 74 enodes (cost 9 ) 27.118 * * [simplify]: iteration 7 : 84 enodes (cost 9 ) 27.132 * * [simplify]: iteration done : 84 enodes (cost 9 ) 27.132 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 27.136 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 27.139 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 27.144 * * [simplify]: iteration 3 : 64 enodes (cost 13 ) 27.155 * * [simplify]: iteration 4 : 87 enodes (cost 13 ) 27.170 * * [simplify]: iteration 5 : 92 enodes (cost 13 ) 27.183 * * [simplify]: iteration done : 92 enodes (cost 13 ) 27.184 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 27.185 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 27.187 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 27.190 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 27.198 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 27.203 * * [simplify]: iteration done : 41 enodes (cost 10 ) 27.204 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 27.205 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 27.207 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 27.214 * * [simplify]: iteration 3 : 58 enodes (cost 7 ) 27.218 * * [simplify]: iteration done : 58 enodes (cost 7 ) 27.218 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 27.219 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 27.221 * * [simplify]: iteration 2 : 14 enodes (cost 10 ) 27.222 * * [simplify]: iteration done : 14 enodes (cost 10 ) 27.223 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 27.224 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 27.225 * * [simplify]: iteration 2 : 14 enodes (cost 10 ) 27.226 * * [simplify]: iteration done : 14 enodes (cost 10 ) 27.227 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.228 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 27.229 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 27.230 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 27.232 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 27.233 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 27.235 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 27.237 * * [simplify]: iteration done : 19 enodes (cost 8 ) 27.238 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.239 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 27.240 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 27.241 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 27.242 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 27.244 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 27.246 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 27.248 * * [simplify]: iteration done : 19 enodes (cost 8 ) 27.249 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 27.249 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 27.250 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 27.253 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 27.257 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 27.259 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 27.261 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 27.264 * * [simplify]: iteration done : 18 enodes (cost 7 ) 27.264 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 27.265 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 27.266 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 27.267 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 27.269 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 27.271 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 27.273 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 27.275 * * [simplify]: iteration done : 18 enodes (cost 7 ) 27.276 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 27.277 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 27.278 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 27.282 * * [simplify]: iteration 3 : 39 enodes (cost 9 ) 27.287 * * [simplify]: iteration 4 : 47 enodes (cost 9 ) 27.294 * * [simplify]: iteration 5 : 63 enodes (cost 9 ) 27.304 * * [simplify]: iteration 6 : 74 enodes (cost 9 ) 27.320 * * [simplify]: iteration 7 : 84 enodes (cost 9 ) 27.334 * * [simplify]: iteration done : 84 enodes (cost 9 ) 27.335 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.336 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 27.338 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 27.341 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 27.347 * * [simplify]: iteration 4 : 72 enodes (cost 5 ) 27.372 * * [simplify]: iteration 5 : 133 enodes (cost 5 ) 27.393 * * [simplify]: iteration 6 : 157 enodes (cost 5 ) 27.408 * * [simplify]: iteration done : 157 enodes (cost 5 ) 27.409 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 27.410 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 27.411 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 27.413 * * [simplify]: iteration done : 15 enodes (cost 5 ) 27.413 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.414 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 27.416 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 27.419 * * [simplify]: iteration 3 : 34 enodes (cost 10 ) 27.424 * * [simplify]: iteration 4 : 44 enodes (cost 10 ) 27.434 * * [simplify]: iteration 5 : 60 enodes (cost 10 ) 27.443 * * [simplify]: iteration 6 : 79 enodes (cost 10 ) 27.455 * * [simplify]: iteration 7 : 95 enodes (cost 10 ) 27.466 * * [simplify]: iteration 8 : 100 enodes (cost 10 ) 27.478 * * [simplify]: iteration done : 100 enodes (cost 10 ) 27.479 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 27.480 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 27.482 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 27.488 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 27.491 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 27.496 * * [simplify]: iteration 5 : 51 enodes (cost 9 ) 27.505 * * [simplify]: iteration 6 : 70 enodes (cost 9 ) 27.518 * * [simplify]: iteration 7 : 96 enodes (cost 9 ) 27.530 * * [simplify]: iteration 8 : 106 enodes (cost 9 ) 27.546 * * [simplify]: iteration done : 106 enodes (cost 9 ) 27.547 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.548 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 27.549 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 27.552 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 27.556 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 27.561 * * [simplify]: iteration 5 : 59 enodes (cost 8 ) 27.571 * * [simplify]: iteration 6 : 75 enodes (cost 8 ) 27.582 * * [simplify]: iteration 7 : 94 enodes (cost 8 ) 27.595 * * [simplify]: iteration 8 : 110 enodes (cost 8 ) 27.610 * * [simplify]: iteration 9 : 115 enodes (cost 8 ) 27.624 * * [simplify]: iteration done : 115 enodes (cost 8 ) 27.625 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 27.626 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 27.627 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 27.629 * * [simplify]: iteration done : 13 enodes (cost 8 ) 27.629 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 27.631 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 27.641 * * [simplify]: iteration 2 : 157 enodes (cost 13 ) 27.695 * * [simplify]: iteration 3 : 638 enodes (cost 13 ) 28.371 * * [simplify]: iteration 4 : 2546 enodes (cost 11 ) 30.899 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 30.900 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 30.901 * * [simplify]: iteration 1 : 42 enodes (cost 23 ) 30.911 * * [simplify]: iteration 2 : 173 enodes (cost 11 ) 30.995 * * [simplify]: iteration 3 : 784 enodes (cost 9 ) 32.216 * * [simplify]: iteration 4 : 2979 enodes (cost 9 ) 35.173 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 35.174 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 35.175 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 35.176 * * [simplify]: iteration 2 : 14 enodes (cost 17 ) 35.178 * * [simplify]: iteration done : 14 enodes (cost 17 ) 35.179 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 35.179 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 35.180 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 35.182 * * [simplify]: iteration done : 13 enodes (cost 8 ) 35.182 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 35.184 * * [simplify]: iteration 1 : 19 enodes (cost 23 ) 35.187 * * [simplify]: iteration 2 : 83 enodes (cost 9 ) 35.222 * * [simplify]: iteration 3 : 435 enodes (cost 9 ) 35.632 * * [simplify]: iteration 4 : 1745 enodes (cost 9 ) 38.473 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 38.474 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.475 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 38.476 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 38.477 * * [simplify]: iteration done : 13 enodes (cost 8 ) 38.478 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.479 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 38.480 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 38.481 * * [simplify]: iteration done : 13 enodes (cost 8 ) 38.482 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 38.482 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 38.483 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 38.484 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 38.485 * * [simplify]: iteration done : 11 enodes (cost 4 ) 38.486 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 38.486 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 38.487 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 38.488 * * [simplify]: iteration done : 11 enodes (cost 4 ) 38.489 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 38.490 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 38.491 * * [simplify]: iteration 2 : 11 enodes (cost 11 ) 38.492 * * [simplify]: iteration 3 : 12 enodes (cost 11 ) 38.494 * * [simplify]: iteration done : 12 enodes (cost 11 ) 38.494 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.495 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 38.496 * * [simplify]: iteration done : 7 enodes (cost 6 ) 38.496 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 38.497 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 38.497 * * [simplify]: iteration done : 6 enodes (cost 6 ) 38.498 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.499 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 38.499 * * [simplify]: iteration done : 7 enodes (cost 6 ) 38.500 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.500 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 38.501 * * [simplify]: iteration done : 5 enodes (cost 3 ) 38.501 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.502 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 38.503 * * [simplify]: iteration done : 6 enodes (cost 5 ) 38.503 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.504 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 38.504 * * [simplify]: iteration done : 5 enodes (cost 3 ) 38.505 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.505 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 38.506 * * [simplify]: iteration done : 6 enodes (cost 5 ) 38.506 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.507 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 38.508 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 38.509 * * [simplify]: iteration done : 12 enodes (cost 5 ) 38.510 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.513 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 38.514 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 38.516 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.518 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 38.520 * * [simplify]: iteration done : 18 enodes (cost 7 ) 38.521 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 38.521 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 38.522 * * [simplify]: iteration done : 5 enodes (cost 5 ) 38.522 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.523 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 38.524 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 38.526 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 38.528 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 38.530 * * [simplify]: iteration done : 19 enodes (cost 8 ) 38.531 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.531 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 38.533 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 38.534 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 38.537 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 38.539 * * [simplify]: iteration done : 19 enodes (cost 8 ) 38.539 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.540 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 38.541 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 38.543 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.545 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 38.547 * * [simplify]: iteration done : 18 enodes (cost 7 ) 38.548 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.548 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 38.550 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 38.551 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.553 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 38.556 * * [simplify]: iteration done : 18 enodes (cost 7 ) 38.556 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 38.558 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 38.563 * * [simplify]: iteration 2 : 84 enodes (cost 13 ) 38.584 * * [simplify]: iteration 3 : 201 enodes (cost 13 ) 38.643 * * [simplify]: iteration 4 : 363 enodes (cost 13 ) 38.759 * * [simplify]: iteration 5 : 493 enodes (cost 13 ) 38.981 * * [simplify]: iteration 6 : 717 enodes (cost 13 ) 39.284 * * [simplify]: iteration 7 : 1014 enodes (cost 13 ) 40.223 * * [simplify]: iteration 8 : 1988 enodes (cost 13 ) 41.859 * * [simplify]: iteration 9 : 3756 enodes (cost 13 ) 43.499 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 43.499 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 43.500 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 43.502 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 43.507 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 43.520 * * [simplify]: iteration 4 : 70 enodes (cost 7 ) 43.532 * * [simplify]: iteration 5 : 86 enodes (cost 7 ) 43.546 * * [simplify]: iteration done : 86 enodes (cost 7 ) 43.547 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 43.548 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 43.551 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 43.554 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 43.557 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 43.563 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 43.569 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 43.579 * * [simplify]: iteration done : 49 enodes (cost 7 ) 43.580 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 43.582 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 43.584 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 43.587 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 43.590 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 43.595 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 43.601 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 43.607 * * [simplify]: iteration done : 49 enodes (cost 7 ) 43.608 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 43.609 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 43.612 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 43.615 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 43.619 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 43.624 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 43.630 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 43.641 * * [simplify]: iteration done : 49 enodes (cost 7 ) 43.642 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 43.642 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 43.644 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 43.646 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 43.648 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 43.653 * * [simplify]: iteration done : 31 enodes (cost 7 ) 43.654 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 43.655 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 43.656 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 43.658 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 43.661 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 43.665 * * [simplify]: iteration done : 31 enodes (cost 7 ) 43.666 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 43.667 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 43.668 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 43.670 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 43.673 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 43.677 * * [simplify]: iteration done : 31 enodes (cost 7 ) 43.678 * [simplify]: Simplified to: (- (- (log (+ x y)) (+ (log x) (log 2.0))) (log y)) (- (- (log (+ x y)) (log (* x 2.0))) (log y)) (- (log (/ (+ x y) (* x 2.0))) (log y)) (log (/ (/ (+ x y) (* x 2.0)) y)) (exp (/ (/ (+ x y) (* x 2.0)) y)) (/ (/ (/ (pow (+ x y) 3) (pow x 3)) (pow 2.0 3)) (pow y 3)) (/ (pow (/ (+ x y) (* x 2.0)) 3) (pow y 3)) (pow (/ (/ (+ x y) (* x 2.0)) y) 3) (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y))) (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (pow (/ (/ (+ x y) (* x 2.0)) y) 3) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (/ (- -1 (/ y x)) 2.0) (neg y) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y)) (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (/ (cbrt (/ (+ x y) (* x 2.0))) y) (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (sqrt (/ (+ x y) (* x 2.0))) (/ (sqrt (/ (+ x y) (* x 2.0))) y) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (+ x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y)) (/ (/ (cbrt (+ x y)) 2.0) (sqrt y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (/ (/ (cbrt (+ x y)) 2.0) y) (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (+ x y)) 2.0) (cbrt y)) (/ (/ (sqrt (+ x y)) x) (sqrt y)) (/ (/ (sqrt (+ x y)) 2.0) (sqrt y)) (/ (sqrt (+ x y)) x) (/ (/ (sqrt (+ x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (+ x y) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (+ x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) 1 (/ (/ (+ x y) (* x 2.0)) y) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (+ x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (+ x y) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (+ x y) (* x 2.0))) (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) (/ (+ x y) (* x 2.0)) (/ y (cbrt (/ (+ x y) (* x 2.0)))) (/ y (sqrt (/ (+ x y) (* x 2.0)))) (/ y (/ (cbrt (+ x y)) 2.0)) (/ y (/ (sqrt (+ x y)) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) (* x 2.0))) (* y (* x 2.0)) (* y (* x 2.0)) (- (log (+ x y)) (+ (log x) (log 2.0))) (- (log (+ x y)) (log (* x 2.0))) (log (/ (+ x y) (* x 2.0))) (exp (/ (+ x y) (* x 2.0))) (/ (pow (+ x y) 3) (pow (* x 2.0) 3)) (pow (/ (+ x y) (* x 2.0)) 3) (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (cbrt (/ (+ x y) (* x 2.0))) (pow (/ (+ x y) (* x 2.0)) 3) (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ (+ x y) (* x 2.0))) (neg (+ x y)) (neg (* x 2.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (/ (cbrt (+ x y)) 2.0) (/ (sqrt (+ x y)) x) (/ (sqrt (+ x y)) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (+ x y)) (/ (+ x y) x) (/ (* x 2.0) (cbrt (+ x y))) (/ (* x 2.0) (sqrt (+ x y))) (/ (* x 2.0) (+ x y)) (/ (* x 2.0) (+ x y)) (* (+ (* x x) (* y (- y x))) (* x 2.0)) (* (* x 2.0) (- x y)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) 43.679 * * * [progress]: adding candidates to table 43.777 * * [progress]: iteration 3 / 4 43.777 * * * [progress]: picking best candidate 43.781 * * * * [pick]: Picked # 43.782 * * * [progress]: localizing error 43.788 * * * [progress]: generating rewritten candidates 43.788 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 43.797 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 43.805 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 43.813 * * * [progress]: generating series expansions 43.813 * * * * [progress]: [ 1 / 3 ] generating series at (2) 43.813 * [approximate]: Taking taylor expansion of (/ (+ (* 0.5 (/ y x)) 0.5) y) in (y x) around 0 43.813 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ y x)) 0.5) y) in x 43.814 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y x)) 0.5) in x 43.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 43.814 * [taylor]: Taking taylor expansion of 0.5 in x 43.814 * [taylor]: Taking taylor expansion of (/ y x) in x 43.814 * [taylor]: Taking taylor expansion of y in x 43.814 * [taylor]: Taking taylor expansion of x in x 43.814 * [taylor]: Taking taylor expansion of 0.5 in x 43.814 * [taylor]: Taking taylor expansion of y in x 43.814 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ y x)) 0.5) y) in y 43.814 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y x)) 0.5) in y 43.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 43.814 * [taylor]: Taking taylor expansion of 0.5 in y 43.814 * [taylor]: Taking taylor expansion of (/ y x) in y 43.814 * [taylor]: Taking taylor expansion of y in y 43.814 * [taylor]: Taking taylor expansion of x in y 43.814 * [taylor]: Taking taylor expansion of 0.5 in y 43.814 * [taylor]: Taking taylor expansion of y in y 43.814 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ y x)) 0.5) y) in y 43.814 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y x)) 0.5) in y 43.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 43.814 * [taylor]: Taking taylor expansion of 0.5 in y 43.814 * [taylor]: Taking taylor expansion of (/ y x) in y 43.814 * [taylor]: Taking taylor expansion of y in y 43.814 * [taylor]: Taking taylor expansion of x in y 43.814 * [taylor]: Taking taylor expansion of 0.5 in y 43.814 * [taylor]: Taking taylor expansion of y in y 43.814 * [taylor]: Taking taylor expansion of 0.5 in x 43.815 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 43.815 * [taylor]: Taking taylor expansion of 0.5 in x 43.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.815 * [taylor]: Taking taylor expansion of x in x 43.815 * [taylor]: Taking taylor expansion of 0 in x 43.815 * [taylor]: Taking taylor expansion of 0 in x 43.816 * [taylor]: Taking taylor expansion of 0 in x 43.816 * [approximate]: Taking taylor expansion of (* y (+ 0.5 (* 0.5 (/ x y)))) in (y x) around 0 43.816 * [taylor]: Taking taylor expansion of (* y (+ 0.5 (* 0.5 (/ x y)))) in x 43.816 * [taylor]: Taking taylor expansion of y in x 43.816 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in x 43.816 * [taylor]: Taking taylor expansion of 0.5 in x 43.816 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 43.816 * [taylor]: Taking taylor expansion of 0.5 in x 43.816 * [taylor]: Taking taylor expansion of (/ x y) in x 43.816 * [taylor]: Taking taylor expansion of x in x 43.816 * [taylor]: Taking taylor expansion of y in x 43.816 * [taylor]: Taking taylor expansion of (* y (+ 0.5 (* 0.5 (/ x y)))) in y 43.816 * [taylor]: Taking taylor expansion of y in y 43.816 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.816 * [taylor]: Taking taylor expansion of 0.5 in y 43.816 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.816 * [taylor]: Taking taylor expansion of 0.5 in y 43.817 * [taylor]: Taking taylor expansion of (/ x y) in y 43.817 * [taylor]: Taking taylor expansion of x in y 43.817 * [taylor]: Taking taylor expansion of y in y 43.817 * [taylor]: Taking taylor expansion of (* y (+ 0.5 (* 0.5 (/ x y)))) in y 43.817 * [taylor]: Taking taylor expansion of y in y 43.817 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.817 * [taylor]: Taking taylor expansion of 0.5 in y 43.817 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.817 * [taylor]: Taking taylor expansion of 0.5 in y 43.817 * [taylor]: Taking taylor expansion of (/ x y) in y 43.817 * [taylor]: Taking taylor expansion of x in y 43.817 * [taylor]: Taking taylor expansion of y in y 43.817 * [taylor]: Taking taylor expansion of 0 in x 43.817 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 43.817 * [taylor]: Taking taylor expansion of 0.5 in x 43.817 * [taylor]: Taking taylor expansion of x in x 43.817 * [taylor]: Taking taylor expansion of 0.5 in x 43.818 * [taylor]: Taking taylor expansion of 0 in x 43.818 * [taylor]: Taking taylor expansion of 0 in x 43.818 * [approximate]: Taking taylor expansion of (* -1 (* y (+ 0.5 (* 0.5 (/ x y))))) in (y x) around 0 43.818 * [taylor]: Taking taylor expansion of (* -1 (* y (+ 0.5 (* 0.5 (/ x y))))) in x 43.818 * [taylor]: Taking taylor expansion of -1 in x 43.818 * [taylor]: Taking taylor expansion of (* y (+ 0.5 (* 0.5 (/ x y)))) in x 43.818 * [taylor]: Taking taylor expansion of y in x 43.818 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in x 43.818 * [taylor]: Taking taylor expansion of 0.5 in x 43.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 43.818 * [taylor]: Taking taylor expansion of 0.5 in x 43.818 * [taylor]: Taking taylor expansion of (/ x y) in x 43.818 * [taylor]: Taking taylor expansion of x in x 43.818 * [taylor]: Taking taylor expansion of y in x 43.818 * [taylor]: Taking taylor expansion of (* -1 (* y (+ 0.5 (* 0.5 (/ x y))))) in y 43.818 * [taylor]: Taking taylor expansion of -1 in y 43.818 * [taylor]: Taking taylor expansion of (* y (+ 0.5 (* 0.5 (/ x y)))) in y 43.818 * [taylor]: Taking taylor expansion of y in y 43.819 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.819 * [taylor]: Taking taylor expansion of 0.5 in y 43.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.819 * [taylor]: Taking taylor expansion of 0.5 in y 43.819 * [taylor]: Taking taylor expansion of (/ x y) in y 43.819 * [taylor]: Taking taylor expansion of x in y 43.819 * [taylor]: Taking taylor expansion of y in y 43.819 * [taylor]: Taking taylor expansion of (* -1 (* y (+ 0.5 (* 0.5 (/ x y))))) in y 43.819 * [taylor]: Taking taylor expansion of -1 in y 43.819 * [taylor]: Taking taylor expansion of (* y (+ 0.5 (* 0.5 (/ x y)))) in y 43.819 * [taylor]: Taking taylor expansion of y in y 43.819 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.819 * [taylor]: Taking taylor expansion of 0.5 in y 43.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.819 * [taylor]: Taking taylor expansion of 0.5 in y 43.819 * [taylor]: Taking taylor expansion of (/ x y) in y 43.819 * [taylor]: Taking taylor expansion of x in y 43.819 * [taylor]: Taking taylor expansion of y in y 43.819 * [taylor]: Taking taylor expansion of 0 in x 43.820 * [taylor]: Taking taylor expansion of (neg (* 0.5 x)) in x 43.820 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 43.820 * [taylor]: Taking taylor expansion of 0.5 in x 43.820 * [taylor]: Taking taylor expansion of x in x 43.820 * [taylor]: Taking taylor expansion of (neg 0.5) in x 43.820 * [taylor]: Taking taylor expansion of 0.5 in x 43.820 * [taylor]: Taking taylor expansion of 0 in x 43.821 * [taylor]: Taking taylor expansion of 0 in x 43.821 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 43.821 * [approximate]: Taking taylor expansion of (* 0.5 (/ y x)) in (y x) around 0 43.821 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 43.821 * [taylor]: Taking taylor expansion of 0.5 in x 43.821 * [taylor]: Taking taylor expansion of (/ y x) in x 43.821 * [taylor]: Taking taylor expansion of y in x 43.821 * [taylor]: Taking taylor expansion of x in x 43.821 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 43.821 * [taylor]: Taking taylor expansion of 0.5 in y 43.821 * [taylor]: Taking taylor expansion of (/ y x) in y 43.821 * [taylor]: Taking taylor expansion of y in y 43.821 * [taylor]: Taking taylor expansion of x in y 43.821 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 43.821 * [taylor]: Taking taylor expansion of 0.5 in y 43.821 * [taylor]: Taking taylor expansion of (/ y x) in y 43.821 * [taylor]: Taking taylor expansion of y in y 43.821 * [taylor]: Taking taylor expansion of x in y 43.822 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x 43.822 * [taylor]: Taking taylor expansion of 0.5 in x 43.822 * [taylor]: Taking taylor expansion of x in x 43.822 * [taylor]: Taking taylor expansion of 0 in x 43.822 * [taylor]: Taking taylor expansion of 0 in x 43.822 * [taylor]: Taking taylor expansion of 0 in x 43.822 * [approximate]: Taking taylor expansion of (* 0.5 (/ x y)) in (y x) around 0 43.822 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 43.822 * [taylor]: Taking taylor expansion of 0.5 in x 43.822 * [taylor]: Taking taylor expansion of (/ x y) in x 43.823 * [taylor]: Taking taylor expansion of x in x 43.823 * [taylor]: Taking taylor expansion of y in x 43.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.823 * [taylor]: Taking taylor expansion of 0.5 in y 43.823 * [taylor]: Taking taylor expansion of (/ x y) in y 43.823 * [taylor]: Taking taylor expansion of x in y 43.823 * [taylor]: Taking taylor expansion of y in y 43.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.823 * [taylor]: Taking taylor expansion of 0.5 in y 43.823 * [taylor]: Taking taylor expansion of (/ x y) in y 43.823 * [taylor]: Taking taylor expansion of x in y 43.823 * [taylor]: Taking taylor expansion of y in y 43.823 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 43.823 * [taylor]: Taking taylor expansion of 0.5 in x 43.823 * [taylor]: Taking taylor expansion of x in x 43.823 * [taylor]: Taking taylor expansion of 0 in x 43.823 * [taylor]: Taking taylor expansion of 0 in x 43.823 * [taylor]: Taking taylor expansion of 0 in x 43.824 * [approximate]: Taking taylor expansion of (* 0.5 (/ x y)) in (y x) around 0 43.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 43.824 * [taylor]: Taking taylor expansion of 0.5 in x 43.824 * [taylor]: Taking taylor expansion of (/ x y) in x 43.824 * [taylor]: Taking taylor expansion of x in x 43.824 * [taylor]: Taking taylor expansion of y in x 43.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.824 * [taylor]: Taking taylor expansion of 0.5 in y 43.824 * [taylor]: Taking taylor expansion of (/ x y) in y 43.824 * [taylor]: Taking taylor expansion of x in y 43.824 * [taylor]: Taking taylor expansion of y in y 43.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.824 * [taylor]: Taking taylor expansion of 0.5 in y 43.824 * [taylor]: Taking taylor expansion of (/ x y) in y 43.824 * [taylor]: Taking taylor expansion of x in y 43.824 * [taylor]: Taking taylor expansion of y in y 43.824 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 43.824 * [taylor]: Taking taylor expansion of 0.5 in x 43.824 * [taylor]: Taking taylor expansion of x in x 43.824 * [taylor]: Taking taylor expansion of 0 in x 43.824 * [taylor]: Taking taylor expansion of 0 in x 43.825 * [taylor]: Taking taylor expansion of 0 in x 43.825 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 43.825 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ y x)) 0.5) in (y x) around 0 43.825 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y x)) 0.5) in x 43.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 43.825 * [taylor]: Taking taylor expansion of 0.5 in x 43.825 * [taylor]: Taking taylor expansion of (/ y x) in x 43.825 * [taylor]: Taking taylor expansion of y in x 43.825 * [taylor]: Taking taylor expansion of x in x 43.825 * [taylor]: Taking taylor expansion of 0.5 in x 43.825 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y x)) 0.5) in y 43.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 43.825 * [taylor]: Taking taylor expansion of 0.5 in y 43.825 * [taylor]: Taking taylor expansion of (/ y x) in y 43.825 * [taylor]: Taking taylor expansion of y in y 43.825 * [taylor]: Taking taylor expansion of x in y 43.825 * [taylor]: Taking taylor expansion of 0.5 in y 43.825 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ y x)) 0.5) in y 43.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 43.825 * [taylor]: Taking taylor expansion of 0.5 in y 43.825 * [taylor]: Taking taylor expansion of (/ y x) in y 43.825 * [taylor]: Taking taylor expansion of y in y 43.825 * [taylor]: Taking taylor expansion of x in y 43.825 * [taylor]: Taking taylor expansion of 0.5 in y 43.825 * [taylor]: Taking taylor expansion of 0.5 in x 43.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 43.825 * [taylor]: Taking taylor expansion of 0.5 in x 43.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.826 * [taylor]: Taking taylor expansion of x in x 43.826 * [taylor]: Taking taylor expansion of 0 in x 43.826 * [taylor]: Taking taylor expansion of 0 in x 43.826 * [taylor]: Taking taylor expansion of 0 in x 43.826 * [approximate]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in (y x) around 0 43.826 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in x 43.826 * [taylor]: Taking taylor expansion of 0.5 in x 43.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 43.826 * [taylor]: Taking taylor expansion of 0.5 in x 43.827 * [taylor]: Taking taylor expansion of (/ x y) in x 43.827 * [taylor]: Taking taylor expansion of x in x 43.827 * [taylor]: Taking taylor expansion of y in x 43.827 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.827 * [taylor]: Taking taylor expansion of 0.5 in y 43.827 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.827 * [taylor]: Taking taylor expansion of 0.5 in y 43.827 * [taylor]: Taking taylor expansion of (/ x y) in y 43.827 * [taylor]: Taking taylor expansion of x in y 43.827 * [taylor]: Taking taylor expansion of y in y 43.827 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.827 * [taylor]: Taking taylor expansion of 0.5 in y 43.827 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.827 * [taylor]: Taking taylor expansion of 0.5 in y 43.827 * [taylor]: Taking taylor expansion of (/ x y) in y 43.827 * [taylor]: Taking taylor expansion of x in y 43.827 * [taylor]: Taking taylor expansion of y in y 43.827 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 43.827 * [taylor]: Taking taylor expansion of 0.5 in x 43.827 * [taylor]: Taking taylor expansion of x in x 43.827 * [taylor]: Taking taylor expansion of 0.5 in x 43.827 * [taylor]: Taking taylor expansion of 0 in x 43.828 * [taylor]: Taking taylor expansion of 0 in x 43.828 * [approximate]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in (y x) around 0 43.828 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in x 43.828 * [taylor]: Taking taylor expansion of 0.5 in x 43.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 43.828 * [taylor]: Taking taylor expansion of 0.5 in x 43.828 * [taylor]: Taking taylor expansion of (/ x y) in x 43.828 * [taylor]: Taking taylor expansion of x in x 43.828 * [taylor]: Taking taylor expansion of y in x 43.828 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.828 * [taylor]: Taking taylor expansion of 0.5 in y 43.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.828 * [taylor]: Taking taylor expansion of 0.5 in y 43.828 * [taylor]: Taking taylor expansion of (/ x y) in y 43.828 * [taylor]: Taking taylor expansion of x in y 43.828 * [taylor]: Taking taylor expansion of y in y 43.828 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.5 (/ x y))) in y 43.828 * [taylor]: Taking taylor expansion of 0.5 in y 43.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 43.828 * [taylor]: Taking taylor expansion of 0.5 in y 43.828 * [taylor]: Taking taylor expansion of (/ x y) in y 43.828 * [taylor]: Taking taylor expansion of x in y 43.828 * [taylor]: Taking taylor expansion of y in y 43.828 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 43.828 * [taylor]: Taking taylor expansion of 0.5 in x 43.828 * [taylor]: Taking taylor expansion of x in x 43.829 * [taylor]: Taking taylor expansion of 0.5 in x 43.829 * [taylor]: Taking taylor expansion of 0 in x 43.829 * [taylor]: Taking taylor expansion of 0 in x 43.829 * * * [progress]: simplifying candidates 43.830 * [simplify]: Simplifying using # : (- (log (+ (* 0.5 (/ y x)) 0.5)) (log y)) (log (/ (+ (* 0.5 (/ y x)) 0.5) y)) (exp (/ (+ (* 0.5 (/ y x)) 0.5) y)) (/ (* (* (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5)) (+ (* 0.5 (/ y x)) 0.5)) (* (* y y) y)) (* (cbrt (/ (+ (* 0.5 (/ y x)) 0.5) y)) (cbrt (/ (+ (* 0.5 (/ y x)) 0.5) y))) (cbrt (/ (+ (* 0.5 (/ y x)) 0.5) y)) (* (* (/ (+ (* 0.5 (/ y x)) 0.5) y) (/ (+ (* 0.5 (/ y x)) 0.5) y)) (/ (+ (* 0.5 (/ y x)) 0.5) y)) (sqrt (/ (+ (* 0.5 (/ y x)) 0.5) y)) (sqrt (/ (+ (* 0.5 (/ y x)) 0.5) y)) (neg (+ (* 0.5 (/ y x)) 0.5)) (neg y) (/ (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt y)) (/ (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) (sqrt y)) (/ (cbrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt y)) (/ (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) 1) (/ (cbrt (+ (* 0.5 (/ y x)) 0.5)) y) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt y)) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt y)) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt y)) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) 1) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ (* 0.5 (/ y x)) 0.5) (cbrt y)) (/ 1 (sqrt y)) (/ (+ (* 0.5 (/ y x)) 0.5) (sqrt y)) (/ 1 1) (/ (+ (* 0.5 (/ y x)) 0.5) y) (/ 1 y) (/ y (+ (* 0.5 (/ y x)) 0.5)) (/ (+ (* 0.5 (/ y x)) 0.5) (* (cbrt y) (cbrt y))) (/ (+ (* 0.5 (/ y x)) 0.5) (sqrt y)) (/ (+ (* 0.5 (/ y x)) 0.5) 1) (/ y (cbrt (+ (* 0.5 (/ y x)) 0.5))) (/ y (sqrt (+ (* 0.5 (/ y x)) 0.5))) (/ y (+ (* 0.5 (/ y x)) 0.5)) (* y (+ (* (* 0.5 (/ y x)) (* 0.5 (/ y x))) (- (* 0.5 0.5) (* (* 0.5 (/ y x)) 0.5)))) (* y (- (* 0.5 (/ y x)) 0.5)) (* 0.5 (/ y x)) (+ (log 0.5) (- (log y) (log x))) (+ (log 0.5) (log (/ y x))) (log (* 0.5 (/ y x))) (exp (* 0.5 (/ y x))) (* (* (* 0.5 0.5) 0.5) (/ (* (* y y) y) (* (* x x) x))) (* (* (* 0.5 0.5) 0.5) (* (* (/ y x) (/ y x)) (/ y x))) (* (cbrt (* 0.5 (/ y x))) (cbrt (* 0.5 (/ y x)))) (cbrt (* 0.5 (/ y x))) (* (* (* 0.5 (/ y x)) (* 0.5 (/ y x))) (* 0.5 (/ y x))) (sqrt (* 0.5 (/ y x))) (sqrt (* 0.5 (/ y x))) (* (sqrt 0.5) (sqrt (/ y x))) (* (sqrt 0.5) (sqrt (/ y x))) (* (sqrt 0.5) (/ (sqrt y) (sqrt x))) (* (sqrt 0.5) (/ (sqrt y) (sqrt x))) (* 0.5 (* (cbrt (/ y x)) (cbrt (/ y x)))) (* 0.5 (sqrt (/ y x))) (* 0.5 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (* 0.5 (/ (* (cbrt y) (cbrt y)) (sqrt x))) (* 0.5 (/ (* (cbrt y) (cbrt y)) 1)) (* 0.5 (/ (sqrt y) (* (cbrt x) (cbrt x)))) (* 0.5 (/ (sqrt y) (sqrt x))) (* 0.5 (/ (sqrt y) 1)) (* 0.5 (/ 1 (* (cbrt x) (cbrt x)))) (* 0.5 (/ 1 (sqrt x))) (* 0.5 (/ 1 1)) (* 0.5 1) (* 0.5 y) (* (cbrt 0.5) (/ y x)) (* (sqrt 0.5) (/ y x)) (* 0.5 (/ y x)) (* 0.5 y) (* (exp (* 0.5 (/ y x))) (exp 0.5)) (log (+ (* 0.5 (/ y x)) 0.5)) (exp (+ (* 0.5 (/ y x)) 0.5)) (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) (cbrt (+ (* 0.5 (/ y x)) 0.5)) (* (* (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5)) (+ (* 0.5 (/ y x)) 0.5)) (sqrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt (+ (* 0.5 (/ y x)) 0.5)) (+ (pow (* 0.5 (/ y x)) 3) (pow 0.5 3)) (+ (* (* 0.5 (/ y x)) (* 0.5 (/ y x))) (- (* 0.5 0.5) (* (* 0.5 (/ y x)) 0.5))) (- (* (* 0.5 (/ y x)) (* 0.5 (/ y x))) (* 0.5 0.5)) (- (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (* 0.5 (/ y x)) (* 0.5 (/ y x)) (* 0.5 (/ y x)) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) 43.831 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 43.832 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 43.834 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 43.836 * * [simplify]: iteration 3 : 33 enodes (cost 11 ) 43.840 * * [simplify]: iteration 4 : 47 enodes (cost 11 ) 43.846 * * [simplify]: iteration 5 : 54 enodes (cost 11 ) 43.856 * * [simplify]: iteration 6 : 57 enodes (cost 11 ) 43.862 * * [simplify]: iteration 7 : 63 enodes (cost 11 ) 43.869 * * [simplify]: iteration 8 : 72 enodes (cost 11 ) 43.878 * * [simplify]: iteration 9 : 85 enodes (cost 11 ) 43.888 * * [simplify]: iteration 10 : 103 enodes (cost 11 ) 43.899 * * [simplify]: iteration 11 : 119 enodes (cost 11 ) 43.915 * * [simplify]: iteration 12 : 126 enodes (cost 11 ) 43.932 * * [simplify]: iteration 13 : 143 enodes (cost 11 ) 43.948 * * [simplify]: iteration 14 : 145 enodes (cost 11 ) 43.963 * * [simplify]: iteration done : 145 enodes (cost 11 ) 43.963 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 43.964 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 43.969 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 43.971 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 43.976 * * [simplify]: iteration 4 : 57 enodes (cost 10 ) 43.985 * * [simplify]: iteration 5 : 74 enodes (cost 10 ) 43.994 * * [simplify]: iteration 6 : 94 enodes (cost 10 ) 44.006 * * [simplify]: iteration 7 : 107 enodes (cost 10 ) 44.019 * * [simplify]: iteration 8 : 160 enodes (cost 10 ) 44.071 * * [simplify]: iteration 9 : 301 enodes (cost 10 ) 44.204 * * [simplify]: iteration 10 : 575 enodes (cost 8 ) 44.452 * * [simplify]: iteration 11 : 1030 enodes (cost 8 ) 47.201 * * [simplify]: iteration 12 : 2993 enodes (cost 8 ) 49.334 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 49.335 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 49.336 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 49.338 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 49.340 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 49.343 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 49.349 * * [simplify]: iteration 5 : 44 enodes (cost 10 ) 49.354 * * [simplify]: iteration 6 : 61 enodes (cost 10 ) 49.365 * * [simplify]: iteration 7 : 82 enodes (cost 10 ) 49.378 * * [simplify]: iteration 8 : 161 enodes (cost 10 ) 49.440 * * [simplify]: iteration 9 : 362 enodes (cost 10 ) 49.614 * * [simplify]: iteration 10 : 792 enodes (cost 8 ) 50.334 * * [simplify]: iteration 11 : 2326 enodes (cost 8 ) 51.852 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 51.853 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 51.855 * * [simplify]: iteration 1 : 36 enodes (cost 29 ) 51.866 * * [simplify]: iteration 2 : 124 enodes (cost 13 ) 51.903 * * [simplify]: iteration 3 : 450 enodes (cost 11 ) 52.240 * * [simplify]: iteration 4 : 2143 enodes (cost 11 ) 53.716 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 53.716 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 53.718 * * [simplify]: iteration 1 : 13 enodes (cost 21 ) 53.719 * * [simplify]: iteration 2 : 19 enodes (cost 21 ) 53.721 * * [simplify]: iteration 3 : 29 enodes (cost 21 ) 53.725 * * [simplify]: iteration 4 : 40 enodes (cost 21 ) 53.731 * * [simplify]: iteration 5 : 43 enodes (cost 21 ) 53.735 * * [simplify]: iteration 6 : 52 enodes (cost 21 ) 53.741 * * [simplify]: iteration 7 : 57 enodes (cost 21 ) 53.749 * * [simplify]: iteration 8 : 95 enodes (cost 21 ) 53.789 * * [simplify]: iteration 9 : 192 enodes (cost 21 ) 53.857 * * [simplify]: iteration 10 : 316 enodes (cost 17 ) 54.040 * * [simplify]: iteration 11 : 676 enodes (cost 17 ) 56.511 * * [simplify]: iteration 12 : 2540 enodes (cost 17 ) 60.065 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 60.066 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 60.067 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 60.068 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 60.071 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 60.074 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 60.080 * * [simplify]: iteration 5 : 42 enodes (cost 10 ) 60.084 * * [simplify]: iteration 6 : 51 enodes (cost 10 ) 60.090 * * [simplify]: iteration 7 : 56 enodes (cost 10 ) 60.098 * * [simplify]: iteration 8 : 94 enodes (cost 10 ) 60.138 * * [simplify]: iteration 9 : 189 enodes (cost 10 ) 60.206 * * [simplify]: iteration 10 : 319 enodes (cost 8 ) 60.394 * * [simplify]: iteration 11 : 675 enodes (cost 8 ) 62.682 * * [simplify]: iteration 12 : 2419 enodes (cost 8 ) 65.661 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 65.662 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 65.663 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 65.667 * * [simplify]: iteration 2 : 58 enodes (cost 11 ) 65.682 * * [simplify]: iteration 3 : 180 enodes (cost 11 ) 65.760 * * [simplify]: iteration 4 : 751 enodes (cost 11 ) 67.649 * * [simplify]: iteration 5 : 3928 enodes (cost 11 ) 68.926 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 68.927 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 68.928 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 68.930 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 68.932 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 68.935 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 68.941 * * [simplify]: iteration 5 : 42 enodes (cost 10 ) 68.946 * * [simplify]: iteration 6 : 51 enodes (cost 10 ) 68.952 * * [simplify]: iteration 7 : 56 enodes (cost 10 ) 68.964 * * [simplify]: iteration 8 : 94 enodes (cost 10 ) 68.998 * * [simplify]: iteration 9 : 189 enodes (cost 10 ) 69.065 * * [simplify]: iteration 10 : 319 enodes (cost 8 ) 69.252 * * [simplify]: iteration 11 : 675 enodes (cost 8 ) 71.549 * * [simplify]: iteration 12 : 2419 enodes (cost 8 ) 74.577 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 74.578 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 74.579 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 74.580 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 74.582 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 74.586 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 74.591 * * [simplify]: iteration 5 : 42 enodes (cost 10 ) 74.596 * * [simplify]: iteration 6 : 51 enodes (cost 10 ) 74.602 * * [simplify]: iteration 7 : 56 enodes (cost 10 ) 74.609 * * [simplify]: iteration 8 : 94 enodes (cost 10 ) 74.646 * * [simplify]: iteration 9 : 189 enodes (cost 10 ) 74.714 * * [simplify]: iteration 10 : 319 enodes (cost 8 ) 74.898 * * [simplify]: iteration 11 : 675 enodes (cost 8 ) 77.199 * * [simplify]: iteration 12 : 2419 enodes (cost 8 ) 80.195 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 80.196 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 80.196 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 80.198 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 80.202 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 80.209 * * [simplify]: iteration 4 : 73 enodes (cost 8 ) 80.228 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 80.242 * * [simplify]: iteration 6 : 94 enodes (cost 7 ) 80.259 * * [simplify]: iteration 7 : 155 enodes (cost 7 ) 80.336 * * [simplify]: iteration 8 : 326 enodes (cost 7 ) 80.432 * * [simplify]: iteration 9 : 414 enodes (cost 7 ) 80.532 * * [simplify]: iteration 10 : 448 enodes (cost 7 ) 80.618 * * [simplify]: iteration 11 : 456 enodes (cost 7 ) 80.700 * * [simplify]: iteration done : 456 enodes (cost 7 ) 80.701 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 80.701 * * [simplify]: iteration done : 2 enodes (cost 2 ) 80.702 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 80.703 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 80.706 * * [simplify]: iteration 2 : 36 enodes (cost 23 ) 80.711 * * [simplify]: iteration 3 : 50 enodes (cost 23 ) 80.720 * * [simplify]: iteration 4 : 57 enodes (cost 23 ) 80.727 * * [simplify]: iteration done : 57 enodes (cost 23 ) 80.728 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 80.729 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 80.730 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 80.734 * * [simplify]: iteration 3 : 27 enodes (cost 11 ) 80.737 * * [simplify]: iteration 4 : 34 enodes (cost 11 ) 80.742 * * [simplify]: iteration done : 34 enodes (cost 11 ) 80.743 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 80.744 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 80.746 * * [simplify]: iteration 2 : 24 enodes (cost 20 ) 80.749 * * [simplify]: iteration 3 : 33 enodes (cost 20 ) 80.753 * * [simplify]: iteration 4 : 40 enodes (cost 20 ) 80.759 * * [simplify]: iteration done : 40 enodes (cost 20 ) 80.760 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 80.761 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 80.762 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 80.764 * * [simplify]: iteration 3 : 27 enodes (cost 11 ) 80.767 * * [simplify]: iteration 4 : 34 enodes (cost 11 ) 80.772 * * [simplify]: iteration done : 34 enodes (cost 11 ) 80.773 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 80.774 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 80.779 * * [simplify]: iteration 2 : 29 enodes (cost 17 ) 80.783 * * [simplify]: iteration 3 : 40 enodes (cost 17 ) 80.787 * * [simplify]: iteration 4 : 47 enodes (cost 17 ) 80.793 * * [simplify]: iteration done : 47 enodes (cost 17 ) 80.793 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 80.794 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 80.796 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 80.799 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 80.802 * * [simplify]: iteration 4 : 33 enodes (cost 10 ) 80.807 * * [simplify]: iteration done : 33 enodes (cost 10 ) 80.807 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 80.809 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 80.811 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 80.813 * * [simplify]: iteration 3 : 30 enodes (cost 14 ) 80.816 * * [simplify]: iteration 4 : 37 enodes (cost 14 ) 80.821 * * [simplify]: iteration done : 37 enodes (cost 14 ) 80.822 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 80.823 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 80.825 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 80.827 * * [simplify]: iteration 3 : 27 enodes (cost 11 ) 80.830 * * [simplify]: iteration 4 : 34 enodes (cost 11 ) 80.834 * * [simplify]: iteration done : 34 enodes (cost 11 ) 80.839 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 80.840 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 80.841 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 80.843 * * [simplify]: iteration 3 : 27 enodes (cost 11 ) 80.846 * * [simplify]: iteration 4 : 34 enodes (cost 11 ) 80.851 * * [simplify]: iteration done : 34 enodes (cost 11 ) 80.852 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 80.853 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 80.855 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 80.857 * * [simplify]: iteration 3 : 27 enodes (cost 11 ) 80.860 * * [simplify]: iteration 4 : 34 enodes (cost 11 ) 80.865 * * [simplify]: iteration done : 34 enodes (cost 11 ) 80.866 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 80.867 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 80.869 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 80.871 * * [simplify]: iteration 3 : 28 enodes (cost 8 ) 80.874 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 80.878 * * [simplify]: iteration done : 35 enodes (cost 8 ) 80.879 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 80.880 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 80.882 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 80.884 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 80.886 * * [simplify]: iteration 4 : 33 enodes (cost 10 ) 80.891 * * [simplify]: iteration done : 33 enodes (cost 10 ) 80.892 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 80.893 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 80.893 * * [simplify]: iteration done : 9 enodes (cost 7 ) 80.894 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 80.895 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 80.896 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 80.902 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 80.906 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 80.913 * * [simplify]: iteration 5 : 42 enodes (cost 10 ) 80.917 * * [simplify]: iteration 6 : 51 enodes (cost 10 ) 80.923 * * [simplify]: iteration 7 : 56 enodes (cost 10 ) 80.931 * * [simplify]: iteration 8 : 94 enodes (cost 10 ) 80.964 * * [simplify]: iteration 9 : 192 enodes (cost 10 ) 81.020 * * [simplify]: iteration 10 : 301 enodes (cost 10 ) 81.130 * * [simplify]: iteration 11 : 490 enodes (cost 10 ) 81.317 * * [simplify]: iteration 12 : 594 enodes (cost 10 ) 81.434 * * [simplify]: iteration done : 594 enodes (cost 10 ) 81.435 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 81.435 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 81.436 * * [simplify]: iteration done : 6 enodes (cost 4 ) 81.437 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 81.437 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 81.439 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 81.441 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 81.444 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 81.454 * * [simplify]: iteration 5 : 42 enodes (cost 10 ) 81.458 * * [simplify]: iteration 6 : 51 enodes (cost 10 ) 81.464 * * [simplify]: iteration 7 : 56 enodes (cost 10 ) 81.472 * * [simplify]: iteration 8 : 94 enodes (cost 10 ) 81.501 * * [simplify]: iteration 9 : 192 enodes (cost 10 ) 81.557 * * [simplify]: iteration 10 : 301 enodes (cost 10 ) 81.668 * * [simplify]: iteration 11 : 490 enodes (cost 10 ) 81.864 * * [simplify]: iteration 12 : 594 enodes (cost 10 ) 81.978 * * [simplify]: iteration done : 594 enodes (cost 10 ) 81.979 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 81.979 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 81.980 * * [simplify]: iteration done : 4 enodes (cost 1 ) 81.980 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 81.981 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 81.982 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 81.985 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 81.988 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 81.993 * * [simplify]: iteration 5 : 41 enodes (cost 9 ) 81.998 * * [simplify]: iteration 6 : 50 enodes (cost 9 ) 82.007 * * [simplify]: iteration 7 : 55 enodes (cost 9 ) 82.015 * * [simplify]: iteration 8 : 93 enodes (cost 9 ) 82.048 * * [simplify]: iteration 9 : 190 enodes (cost 9 ) 82.116 * * [simplify]: iteration 10 : 316 enodes (cost 7 ) 82.297 * * [simplify]: iteration 11 : 684 enodes (cost 7 ) 84.859 * * [simplify]: iteration 12 : 2660 enodes (cost 7 ) 88.317 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 88.317 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 88.323 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 88.323 * * [simplify]: iteration done : 5 enodes (cost 3 ) 88.324 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 88.325 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.327 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 88.329 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 88.332 * * [simplify]: iteration 4 : 36 enodes (cost 9 ) 88.337 * * [simplify]: iteration done : 36 enodes (cost 9 ) 88.338 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 88.339 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 88.345 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 88.347 * * [simplify]: iteration 3 : 36 enodes (cost 13 ) 88.352 * * [simplify]: iteration 4 : 56 enodes (cost 13 ) 88.361 * * [simplify]: iteration 5 : 67 enodes (cost 13 ) 88.370 * * [simplify]: iteration 6 : 87 enodes (cost 13 ) 88.384 * * [simplify]: iteration 7 : 98 enodes (cost 13 ) 88.403 * * [simplify]: iteration 8 : 190 enodes (cost 13 ) 88.521 * * [simplify]: iteration 9 : 491 enodes (cost 13 ) 88.822 * * [simplify]: iteration 10 : 963 enodes (cost 13 ) 89.523 * * [simplify]: iteration 11 : 1355 enodes (cost 13 ) 90.113 * * [simplify]: iteration 12 : 1398 enodes (cost 13 ) 90.666 * * [simplify]: iteration done : 1398 enodes (cost 13 ) 90.666 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 90.671 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 90.673 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 90.675 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 90.678 * * [simplify]: iteration 4 : 39 enodes (cost 10 ) 90.684 * * [simplify]: iteration 5 : 42 enodes (cost 10 ) 90.689 * * [simplify]: iteration 6 : 51 enodes (cost 10 ) 90.696 * * [simplify]: iteration 7 : 56 enodes (cost 10 ) 90.704 * * [simplify]: iteration 8 : 94 enodes (cost 10 ) 90.736 * * [simplify]: iteration 9 : 192 enodes (cost 10 ) 90.792 * * [simplify]: iteration 10 : 301 enodes (cost 10 ) 90.904 * * [simplify]: iteration 11 : 490 enodes (cost 10 ) 91.095 * * [simplify]: iteration 12 : 594 enodes (cost 10 ) 91.213 * * [simplify]: iteration done : 594 enodes (cost 10 ) 91.214 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 91.215 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 91.216 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 91.218 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 91.221 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 91.232 * * [simplify]: iteration 5 : 51 enodes (cost 7 ) 91.238 * * [simplify]: iteration 6 : 64 enodes (cost 7 ) 91.243 * * [simplify]: iteration done : 64 enodes (cost 7 ) 91.244 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 91.245 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 91.246 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 91.249 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 91.251 * * [simplify]: iteration 4 : 33 enodes (cost 10 ) 91.256 * * [simplify]: iteration done : 33 enodes (cost 10 ) 91.257 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 91.258 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 91.260 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 91.263 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 91.266 * * [simplify]: iteration 4 : 33 enodes (cost 10 ) 91.270 * * [simplify]: iteration done : 33 enodes (cost 10 ) 91.271 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 91.272 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 91.273 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 91.275 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 91.278 * * [simplify]: iteration 4 : 36 enodes (cost 9 ) 91.287 * * [simplify]: iteration done : 36 enodes (cost 9 ) 91.288 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 91.290 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 91.297 * * [simplify]: iteration 2 : 108 enodes (cost 21 ) 91.329 * * [simplify]: iteration 3 : 300 enodes (cost 19 ) 91.482 * * [simplify]: iteration 4 : 805 enodes (cost 17 ) 92.101 * * [simplify]: iteration 5 : 1879 enodes (cost 17 ) 95.313 * * [simplify]: iteration 6 : 3791 enodes (cost 17 ) 97.115 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 97.116 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 97.117 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 97.118 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 97.122 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 97.128 * * [simplify]: iteration 4 : 57 enodes (cost 9 ) 97.137 * * [simplify]: iteration 5 : 69 enodes (cost 9 ) 97.153 * * [simplify]: iteration 6 : 72 enodes (cost 9 ) 97.164 * * [simplify]: iteration done : 72 enodes (cost 9 ) 97.164 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.165 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 97.166 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 97.167 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 97.169 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 97.170 * * [simplify]: iteration done : 16 enodes (cost 5 ) 97.171 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 97.172 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 97.174 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 97.176 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 97.180 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 97.184 * * [simplify]: iteration 5 : 45 enodes (cost 8 ) 97.189 * * [simplify]: iteration 6 : 52 enodes (cost 8 ) 97.195 * * [simplify]: iteration 7 : 64 enodes (cost 8 ) 97.206 * * [simplify]: iteration 8 : 87 enodes (cost 8 ) 97.218 * * [simplify]: iteration 9 : 101 enodes (cost 8 ) 97.230 * * [simplify]: iteration 10 : 107 enodes (cost 8 ) 97.242 * * [simplify]: iteration done : 107 enodes (cost 8 ) 97.242 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 97.243 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 97.244 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 97.246 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 97.249 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 97.256 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 97.261 * * [simplify]: iteration 6 : 50 enodes (cost 7 ) 97.266 * * [simplify]: iteration 7 : 59 enodes (cost 7 ) 97.273 * * [simplify]: iteration 8 : 76 enodes (cost 7 ) 97.286 * * [simplify]: iteration 9 : 95 enodes (cost 7 ) 97.296 * * [simplify]: iteration 10 : 103 enodes (cost 7 ) 97.310 * * [simplify]: iteration done : 103 enodes (cost 7 ) 97.311 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.311 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 97.313 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 97.315 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 97.319 * * [simplify]: iteration 4 : 55 enodes (cost 6 ) 97.327 * * [simplify]: iteration 5 : 69 enodes (cost 6 ) 97.335 * * [simplify]: iteration 6 : 81 enodes (cost 6 ) 97.346 * * [simplify]: iteration 7 : 99 enodes (cost 6 ) 97.356 * * [simplify]: iteration 8 : 115 enodes (cost 6 ) 97.371 * * [simplify]: iteration 9 : 122 enodes (cost 6 ) 97.387 * * [simplify]: iteration 10 : 139 enodes (cost 6 ) 97.402 * * [simplify]: iteration 11 : 141 enodes (cost 6 ) 97.417 * * [simplify]: iteration done : 141 enodes (cost 6 ) 97.419 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.420 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 97.421 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 97.424 * * [simplify]: iteration 3 : 34 enodes (cost 6 ) 97.428 * * [simplify]: iteration 4 : 67 enodes (cost 6 ) 97.439 * * [simplify]: iteration 5 : 148 enodes (cost 6 ) 97.496 * * [simplify]: iteration 6 : 360 enodes (cost 6 ) 97.903 * * [simplify]: iteration 7 : 1389 enodes (cost 6 ) 100.840 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 100.841 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 100.843 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 100.848 * * [simplify]: iteration 2 : 104 enodes (cost 11 ) 100.889 * * [simplify]: iteration 3 : 444 enodes (cost 9 ) 101.335 * * [simplify]: iteration 4 : 1700 enodes (cost 9 ) 104.840 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 104.841 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 104.842 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 104.846 * * [simplify]: iteration 2 : 71 enodes (cost 9 ) 104.869 * * [simplify]: iteration 3 : 225 enodes (cost 9 ) 105.010 * * [simplify]: iteration 4 : 778 enodes (cost 7 ) 106.179 * * [simplify]: iteration 5 : 2424 enodes (cost 7 ) 109.508 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 109.509 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 109.510 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 109.511 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 109.519 * * [simplify]: iteration 3 : 17 enodes (cost 13 ) 109.521 * * [simplify]: iteration 4 : 18 enodes (cost 13 ) 109.523 * * [simplify]: iteration done : 18 enodes (cost 13 ) 109.524 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.525 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 109.526 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 109.527 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 109.529 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 109.531 * * [simplify]: iteration done : 17 enodes (cost 6 ) 109.531 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 109.533 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 109.537 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 109.564 * * [simplify]: iteration 3 : 270 enodes (cost 7 ) 109.778 * * [simplify]: iteration 4 : 827 enodes (cost 7 ) 111.183 * * [simplify]: iteration 5 : 2540 enodes (cost 7 ) 117.524 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 117.525 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.526 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 117.527 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 117.528 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 117.530 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 117.532 * * [simplify]: iteration done : 17 enodes (cost 6 ) 117.533 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.533 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 117.538 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 117.539 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 117.541 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 117.543 * * [simplify]: iteration done : 17 enodes (cost 6 ) 117.544 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 117.544 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 117.545 * * [simplify]: iteration done : 8 enodes (cost 7 ) 117.546 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 117.546 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 117.547 * * [simplify]: iteration done : 8 enodes (cost 7 ) 117.548 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 117.548 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 117.549 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 117.551 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 117.553 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 117.555 * * [simplify]: iteration done : 19 enodes (cost 8 ) 117.555 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 117.556 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 117.557 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 117.559 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 117.561 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 117.562 * * [simplify]: iteration done : 19 enodes (cost 8 ) 117.563 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 117.564 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 117.565 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 117.566 * * [simplify]: iteration done : 12 enodes (cost 11 ) 117.567 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.568 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 117.568 * * [simplify]: iteration done : 7 enodes (cost 6 ) 117.569 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 117.570 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 117.572 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 117.580 * * [simplify]: iteration 3 : 86 enodes (cost 13 ) 117.603 * * [simplify]: iteration 4 : 142 enodes (cost 13 ) 117.634 * * [simplify]: iteration 5 : 158 enodes (cost 13 ) 117.666 * * [simplify]: iteration done : 158 enodes (cost 13 ) 117.666 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 117.667 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 117.669 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 117.672 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 117.677 * * [simplify]: iteration 4 : 51 enodes (cost 10 ) 117.684 * * [simplify]: iteration 5 : 53 enodes (cost 10 ) 117.691 * * [simplify]: iteration done : 53 enodes (cost 10 ) 117.692 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 117.693 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 117.695 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 117.701 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 117.715 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 117.725 * * [simplify]: iteration done : 98 enodes (cost 7 ) 117.726 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 117.726 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 117.728 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 117.731 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 117.736 * * [simplify]: iteration 4 : 50 enodes (cost 10 ) 117.742 * * [simplify]: iteration done : 50 enodes (cost 10 ) 117.743 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 117.744 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 117.745 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 117.747 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 117.749 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 117.751 * * [simplify]: iteration done : 18 enodes (cost 7 ) 117.751 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.752 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 117.753 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 117.755 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 117.758 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 117.763 * * [simplify]: iteration done : 33 enodes (cost 4 ) 117.764 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 117.765 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 117.767 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 117.769 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 117.774 * * [simplify]: iteration 4 : 49 enodes (cost 7 ) 117.785 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 117.794 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 117.808 * * [simplify]: iteration done : 82 enodes (cost 7 ) 117.809 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.809 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 117.810 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 117.811 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 117.813 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 117.815 * * [simplify]: iteration 5 : 21 enodes (cost 4 ) 117.817 * * [simplify]: iteration done : 21 enodes (cost 4 ) 117.817 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 117.818 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 117.819 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 117.819 * * [simplify]: iteration done : 14 enodes (cost 1 ) 117.820 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.820 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 117.821 * * [simplify]: iteration done : 6 enodes (cost 1 ) 117.821 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.822 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 117.822 * * [simplify]: iteration done : 4 enodes (cost 3 ) 117.823 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.823 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 117.827 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 117.829 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 117.830 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 117.832 * * [simplify]: iteration done : 17 enodes (cost 6 ) 117.833 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 117.834 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 117.835 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 117.836 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 117.838 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 117.840 * * [simplify]: iteration done : 17 enodes (cost 6 ) 117.840 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 117.841 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 117.842 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 117.843 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 117.845 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 117.847 * * [simplify]: iteration done : 16 enodes (cost 5 ) 117.848 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.848 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 117.848 * * [simplify]: iteration done : 4 enodes (cost 3 ) 117.849 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 117.850 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 117.852 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 117.855 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 117.864 * * [simplify]: iteration 4 : 121 enodes (cost 8 ) 117.892 * * [simplify]: iteration 5 : 271 enodes (cost 8 ) 118.017 * * [simplify]: iteration 6 : 682 enodes (cost 8 ) 118.756 * * [simplify]: iteration 7 : 2247 enodes (cost 8 ) 121.029 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 121.030 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 121.031 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 121.032 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 121.034 * * [simplify]: iteration 3 : 28 enodes (cost 8 ) 121.037 * * [simplify]: iteration 4 : 36 enodes (cost 8 ) 121.042 * * [simplify]: iteration done : 36 enodes (cost 8 ) 121.043 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 121.044 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 121.046 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 121.049 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 121.054 * * [simplify]: iteration 4 : 79 enodes (cost 8 ) 121.069 * * [simplify]: iteration 5 : 153 enodes (cost 8 ) 121.102 * * [simplify]: iteration 6 : 345 enodes (cost 8 ) 121.288 * * [simplify]: iteration 7 : 890 enodes (cost 8 ) 122.348 * * [simplify]: iteration 8 : 2971 enodes (cost 8 ) 123.873 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 123.873 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 123.874 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 123.876 * * [simplify]: iteration 2 : 18 enodes (cost 17 ) 123.878 * * [simplify]: iteration 3 : 26 enodes (cost 17 ) 123.881 * * [simplify]: iteration 4 : 33 enodes (cost 17 ) 123.887 * * [simplify]: iteration done : 33 enodes (cost 17 ) 123.887 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 123.888 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 123.889 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 123.892 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 123.898 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 123.903 * * [simplify]: iteration done : 32 enodes (cost 8 ) 123.904 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 123.905 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 123.910 * * [simplify]: iteration 2 : 83 enodes (cost 9 ) 123.936 * * [simplify]: iteration 3 : 302 enodes (cost 9 ) 124.163 * * [simplify]: iteration 4 : 1252 enodes (cost 9 ) 126.041 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 126.042 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 126.043 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 126.044 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 126.046 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 126.049 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 126.054 * * [simplify]: iteration done : 32 enodes (cost 8 ) 126.054 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 126.055 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 126.057 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 126.059 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 126.061 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 126.066 * * [simplify]: iteration done : 32 enodes (cost 8 ) 126.067 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 126.068 * * [simplify]: iteration 1 : 28 enodes (cost 11 ) 126.073 * * [simplify]: iteration 2 : 83 enodes (cost 11 ) 126.102 * * [simplify]: iteration 3 : 311 enodes (cost 11 ) 126.341 * * [simplify]: iteration 4 : 1188 enodes (cost 11 ) 128.751 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 128.752 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 128.753 * * [simplify]: iteration 1 : 26 enodes (cost 21 ) 128.758 * * [simplify]: iteration 2 : 78 enodes (cost 19 ) 128.781 * * [simplify]: iteration 3 : 191 enodes (cost 17 ) 128.844 * * [simplify]: iteration 4 : 482 enodes (cost 15 ) 129.127 * * [simplify]: iteration 5 : 1176 enodes (cost 15 ) 131.095 * * [simplify]: iteration 6 : 2673 enodes (cost 15 ) 135.950 * * [simplify]: iteration 7 : 4921 enodes (cost 15 ) 136.640 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 136.640 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 136.642 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 136.646 * * [simplify]: iteration 2 : 64 enodes (cost 13 ) 136.659 * * [simplify]: iteration 3 : 144 enodes (cost 13 ) 136.705 * * [simplify]: iteration 4 : 351 enodes (cost 13 ) 136.886 * * [simplify]: iteration 5 : 774 enodes (cost 13 ) 137.305 * * [simplify]: iteration 6 : 1251 enodes (cost 13 ) 138.352 * * [simplify]: iteration 7 : 2333 enodes (cost 13 ) 140.468 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 140.469 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 140.470 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 140.471 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 140.473 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 140.475 * * [simplify]: iteration 4 : 20 enodes (cost 7 ) 140.477 * * [simplify]: iteration done : 20 enodes (cost 7 ) 140.478 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 140.479 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 140.482 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 140.486 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 140.489 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 140.494 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 140.500 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 140.506 * * [simplify]: iteration done : 49 enodes (cost 7 ) 140.507 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 140.508 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 140.510 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 140.513 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 140.516 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 140.522 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 140.530 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 140.536 * * [simplify]: iteration done : 49 enodes (cost 7 ) 140.537 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 140.538 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 140.541 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 140.544 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 140.547 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 140.553 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 140.559 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 140.565 * * [simplify]: iteration done : 49 enodes (cost 7 ) 140.565 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 140.566 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 140.567 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 140.568 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 140.570 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 140.572 * * [simplify]: iteration done : 16 enodes (cost 5 ) 140.572 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 140.573 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 140.574 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 140.575 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 140.577 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 140.578 * * [simplify]: iteration done : 16 enodes (cost 5 ) 140.579 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 140.580 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 140.580 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 140.582 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 140.583 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 140.588 * * [simplify]: iteration done : 16 enodes (cost 5 ) 140.589 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 140.590 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 140.591 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 140.593 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 140.595 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 140.600 * * [simplify]: iteration done : 31 enodes (cost 7 ) 140.601 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 140.602 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 140.603 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 140.605 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 140.608 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 140.613 * * [simplify]: iteration done : 31 enodes (cost 7 ) 140.614 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 140.615 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 140.616 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 140.618 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 140.621 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 140.625 * * [simplify]: iteration done : 31 enodes (cost 7 ) 140.626 * [simplify]: Simplified to: (- (log (+ (* 0.5 (/ y x)) 0.5)) (log y)) (log (+ (/ 0.5 x) (/ 0.5 y))) (exp (+ (/ 0.5 y) (/ 0.5 x))) (pow (/ (+ (* 0.5 (/ y x)) 0.5) y) 3) (* (cbrt (+ (/ 0.5 y) (/ 0.5 x))) (cbrt (+ (/ 0.5 y) (/ 0.5 x)))) (cbrt (+ (/ 0.5 y) (/ 0.5 x))) (pow (/ (+ (* 0.5 (/ y x)) 0.5) y) 3) (sqrt (+ (/ 0.5 y) (/ 0.5 x))) (sqrt (+ (/ 0.5 y) (/ 0.5 x))) (* 0.5 (- -1 (/ y x))) (neg y) (/ (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt y)) (/ (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) (sqrt y)) (/ (cbrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt y)) (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) (/ (cbrt (+ (* 0.5 (/ y x)) 0.5)) y) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt y)) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt y)) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt y)) (sqrt (+ (* 0.5 (/ y x)) 0.5)) (/ (sqrt (+ (* 0.5 (/ y x)) 0.5)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ (* 0.5 (/ y x)) 0.5) (cbrt y)) (/ 1 (sqrt y)) (/ (+ (* 0.5 (/ y x)) 0.5) (sqrt y)) 1 (+ (/ 0.5 x) (/ 0.5 y)) (/ 1 y) (/ y (+ (* 0.5 (/ y x)) 0.5)) (/ (+ (* 0.5 (/ y x)) 0.5) (* (cbrt y) (cbrt y))) (/ (+ (* 0.5 (/ y x)) 0.5) (sqrt y)) (+ (* 0.5 (/ y x)) 0.5) (/ y (cbrt (+ (* 0.5 (/ y x)) 0.5))) (/ y (sqrt (+ (* 0.5 (/ y x)) 0.5))) (/ y (+ (* 0.5 (/ y x)) 0.5)) (* (- 0.5 (* (/ y x) (- 0.5 (* 0.5 (/ y x))))) (* 0.5 y)) (* y (- (* 0.5 (/ y x)) 0.5)) (* 0.5 (/ y x)) (+ (log 0.5) (- (log y) (log x))) (+ (log 0.5) (log (/ y x))) (log (* 0.5 (/ y x))) (exp (* 0.5 (/ y x))) (* (pow 0.5 3) (pow (/ y x) 3)) (pow (* 0.5 (/ y x)) 3) (* (cbrt (* 0.5 (/ y x))) (cbrt (* 0.5 (/ y x)))) (cbrt (* 0.5 (/ y x))) (pow (* 0.5 (/ y x)) 3) (sqrt (* 0.5 (/ y x))) (sqrt (* 0.5 (/ y x))) (* (sqrt 0.5) (sqrt (/ y x))) (* (sqrt 0.5) (sqrt (/ y x))) (* (sqrt 0.5) (/ (sqrt y) (sqrt x))) (* (sqrt 0.5) (/ (sqrt y) (sqrt x))) (* 0.5 (* (cbrt (/ y x)) (cbrt (/ y x)))) (* 0.5 (sqrt (/ y x))) (* 0.5 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (* 0.5 (/ (* (cbrt y) (cbrt y)) (sqrt x))) (* (* (cbrt y) (cbrt y)) 0.5) (* 0.5 (/ (sqrt y) (* (cbrt x) (cbrt x)))) (* 0.5 (/ (sqrt y) (sqrt x))) (* (sqrt y) 0.5) (/ 0.5 (* (cbrt x) (cbrt x))) (/ 0.5 (sqrt x)) 0.5 0.5 (* 0.5 y) (* (cbrt 0.5) (/ y x)) (* (sqrt 0.5) (/ y x)) (* 0.5 (/ y x)) (* 0.5 y) (exp (+ (* 0.5 (/ y x)) 0.5)) (log (+ (* 0.5 (/ y x)) 0.5)) (exp (+ (* 0.5 (/ y x)) 0.5)) (* (cbrt (+ (* 0.5 (/ y x)) 0.5)) (cbrt (+ (* 0.5 (/ y x)) 0.5))) (cbrt (+ (* 0.5 (/ y x)) 0.5)) (pow (+ (* 0.5 (/ y x)) 0.5) 3) (sqrt (+ (* 0.5 (/ y x)) 0.5)) (sqrt (+ (* 0.5 (/ y x)) 0.5)) (+ (pow (* 0.5 (/ y x)) 3) (pow 0.5 3)) (* (- 0.5 (* (/ y x) (- 0.5 (* 0.5 (/ y x))))) 0.5) (* 0.5 (- (* (/ y x) (* 0.5 (/ y x))) 0.5)) (- (* 0.5 (/ y x)) 0.5) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (* 0.5 (/ y x)) (* 0.5 (/ y x)) (* 0.5 (/ y x)) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) 140.627 * * * [progress]: adding candidates to table 140.724 * * [progress]: iteration 4 / 4 140.724 * * * [progress]: picking best candidate 140.727 * * * * [pick]: Picked # 140.727 * * * [progress]: localizing error 140.735 * * * [progress]: generating rewritten candidates 140.735 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 140.750 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 140.760 * * * [progress]: generating series expansions 140.760 * * * * [progress]: [ 1 / 2 ] generating series at (2) 140.760 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0 140.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y 140.761 * [taylor]: Taking taylor expansion of 0.5 in y 140.761 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y 140.761 * [taylor]: Taking taylor expansion of (+ x y) in y 140.761 * [taylor]: Taking taylor expansion of x in y 140.761 * [taylor]: Taking taylor expansion of y in y 140.761 * [taylor]: Taking taylor expansion of (* x y) in y 140.761 * [taylor]: Taking taylor expansion of x in y 140.761 * [taylor]: Taking taylor expansion of y in y 140.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 140.761 * [taylor]: Taking taylor expansion of 0.5 in x 140.761 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 140.761 * [taylor]: Taking taylor expansion of (+ x y) in x 140.761 * [taylor]: Taking taylor expansion of x in x 140.761 * [taylor]: Taking taylor expansion of y in x 140.761 * [taylor]: Taking taylor expansion of (* x y) in x 140.761 * [taylor]: Taking taylor expansion of x in x 140.761 * [taylor]: Taking taylor expansion of y in x 140.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 140.761 * [taylor]: Taking taylor expansion of 0.5 in x 140.761 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 140.761 * [taylor]: Taking taylor expansion of (+ x y) in x 140.761 * [taylor]: Taking taylor expansion of x in x 140.761 * [taylor]: Taking taylor expansion of y in x 140.761 * [taylor]: Taking taylor expansion of (* x y) in x 140.761 * [taylor]: Taking taylor expansion of x in x 140.761 * [taylor]: Taking taylor expansion of y in x 140.761 * [taylor]: Taking taylor expansion of 0.5 in y 140.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 140.762 * [taylor]: Taking taylor expansion of 0.5 in y 140.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y 140.762 * [taylor]: Taking taylor expansion of y in y 140.762 * [taylor]: Taking taylor expansion of 0 in y 140.762 * [taylor]: Taking taylor expansion of 0 in y 140.763 * [taylor]: Taking taylor expansion of 0 in y 140.763 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in (x y) around 0 140.763 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in y 140.763 * [taylor]: Taking taylor expansion of 0.5 in y 140.763 * [taylor]: Taking taylor expansion of (* x (* y (+ (/ 1 x) (/ 1 y)))) in y 140.763 * [taylor]: Taking taylor expansion of x in y 140.763 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) (/ 1 y))) in y 140.763 * [taylor]: Taking taylor expansion of y in y 140.763 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 140.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y 140.763 * [taylor]: Taking taylor expansion of x in y 140.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 140.763 * [taylor]: Taking taylor expansion of y in y 140.763 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in x 140.763 * [taylor]: Taking taylor expansion of 0.5 in x 140.763 * [taylor]: Taking taylor expansion of (* x (* y (+ (/ 1 x) (/ 1 y)))) in x 140.763 * [taylor]: Taking taylor expansion of x in x 140.763 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) (/ 1 y))) in x 140.763 * [taylor]: Taking taylor expansion of y in x 140.763 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.763 * [taylor]: Taking taylor expansion of x in x 140.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.763 * [taylor]: Taking taylor expansion of y in x 140.763 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in x 140.763 * [taylor]: Taking taylor expansion of 0.5 in x 140.763 * [taylor]: Taking taylor expansion of (* x (* y (+ (/ 1 x) (/ 1 y)))) in x 140.763 * [taylor]: Taking taylor expansion of x in x 140.763 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) (/ 1 y))) in x 140.763 * [taylor]: Taking taylor expansion of y in x 140.763 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.763 * [taylor]: Taking taylor expansion of x in x 140.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.763 * [taylor]: Taking taylor expansion of y in x 140.764 * [taylor]: Taking taylor expansion of 0 in y 140.764 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 140.764 * [taylor]: Taking taylor expansion of 0.5 in y 140.764 * [taylor]: Taking taylor expansion of y in y 140.764 * [taylor]: Taking taylor expansion of 0.5 in y 140.764 * [taylor]: Taking taylor expansion of 0 in y 140.765 * [taylor]: Taking taylor expansion of 0 in y 140.765 * [taylor]: Taking taylor expansion of 0 in y 140.766 * [approximate]: Taking taylor expansion of (* -0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in (x y) around 0 140.766 * [taylor]: Taking taylor expansion of (* -0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in y 140.766 * [taylor]: Taking taylor expansion of -0.5 in y 140.766 * [taylor]: Taking taylor expansion of (* x (* y (+ (/ 1 x) (/ 1 y)))) in y 140.766 * [taylor]: Taking taylor expansion of x in y 140.766 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) (/ 1 y))) in y 140.766 * [taylor]: Taking taylor expansion of y in y 140.766 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 140.766 * [taylor]: Taking taylor expansion of (/ 1 x) in y 140.766 * [taylor]: Taking taylor expansion of x in y 140.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 140.766 * [taylor]: Taking taylor expansion of y in y 140.766 * [taylor]: Taking taylor expansion of (* -0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in x 140.766 * [taylor]: Taking taylor expansion of -0.5 in x 140.766 * [taylor]: Taking taylor expansion of (* x (* y (+ (/ 1 x) (/ 1 y)))) in x 140.766 * [taylor]: Taking taylor expansion of x in x 140.766 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) (/ 1 y))) in x 140.766 * [taylor]: Taking taylor expansion of y in x 140.766 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.766 * [taylor]: Taking taylor expansion of x in x 140.766 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.766 * [taylor]: Taking taylor expansion of y in x 140.766 * [taylor]: Taking taylor expansion of (* -0.5 (* x (* y (+ (/ 1 x) (/ 1 y))))) in x 140.766 * [taylor]: Taking taylor expansion of -0.5 in x 140.766 * [taylor]: Taking taylor expansion of (* x (* y (+ (/ 1 x) (/ 1 y)))) in x 140.766 * [taylor]: Taking taylor expansion of x in x 140.766 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) (/ 1 y))) in x 140.766 * [taylor]: Taking taylor expansion of y in x 140.766 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.766 * [taylor]: Taking taylor expansion of x in x 140.766 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.766 * [taylor]: Taking taylor expansion of y in x 140.766 * [taylor]: Taking taylor expansion of 0 in y 140.767 * [taylor]: Taking taylor expansion of (neg (* 0.5 y)) in y 140.767 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 140.767 * [taylor]: Taking taylor expansion of 0.5 in y 140.767 * [taylor]: Taking taylor expansion of y in y 140.767 * [taylor]: Taking taylor expansion of (neg 0.5) in y 140.767 * [taylor]: Taking taylor expansion of 0.5 in y 140.767 * [taylor]: Taking taylor expansion of 0 in y 140.768 * [taylor]: Taking taylor expansion of 0 in y 140.768 * [taylor]: Taking taylor expansion of 0 in y 140.768 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 140.768 * [approximate]: Taking taylor expansion of (/ (+ x y) y) in (x y) around 0 140.769 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in y 140.769 * [taylor]: Taking taylor expansion of (+ x y) in y 140.769 * [taylor]: Taking taylor expansion of x in y 140.769 * [taylor]: Taking taylor expansion of y in y 140.769 * [taylor]: Taking taylor expansion of y in y 140.769 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 140.769 * [taylor]: Taking taylor expansion of (+ x y) in x 140.769 * [taylor]: Taking taylor expansion of x in x 140.769 * [taylor]: Taking taylor expansion of y in x 140.769 * [taylor]: Taking taylor expansion of y in x 140.769 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x 140.769 * [taylor]: Taking taylor expansion of (+ x y) in x 140.769 * [taylor]: Taking taylor expansion of x in x 140.769 * [taylor]: Taking taylor expansion of y in x 140.769 * [taylor]: Taking taylor expansion of y in x 140.769 * [taylor]: Taking taylor expansion of 1 in y 140.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 140.769 * [taylor]: Taking taylor expansion of y in y 140.769 * [taylor]: Taking taylor expansion of 0 in y 140.770 * [taylor]: Taking taylor expansion of 0 in y 140.770 * [taylor]: Taking taylor expansion of 0 in y 140.770 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in (x y) around 0 140.770 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in y 140.770 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 140.770 * [taylor]: Taking taylor expansion of (/ 1 x) in y 140.770 * [taylor]: Taking taylor expansion of x in y 140.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y 140.770 * [taylor]: Taking taylor expansion of y in y 140.770 * [taylor]: Taking taylor expansion of y in y 140.770 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x 140.770 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.770 * [taylor]: Taking taylor expansion of x in x 140.770 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.770 * [taylor]: Taking taylor expansion of y in x 140.770 * [taylor]: Taking taylor expansion of y in x 140.770 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x 140.770 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.770 * [taylor]: Taking taylor expansion of x in x 140.770 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.770 * [taylor]: Taking taylor expansion of y in x 140.771 * [taylor]: Taking taylor expansion of y in x 140.771 * [taylor]: Taking taylor expansion of y in y 140.771 * [taylor]: Taking taylor expansion of 1 in y 140.771 * [taylor]: Taking taylor expansion of 0 in y 140.771 * [taylor]: Taking taylor expansion of 0 in y 140.771 * [taylor]: Taking taylor expansion of 0 in y 140.772 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in (x y) around 0 140.772 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in y 140.772 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 140.772 * [taylor]: Taking taylor expansion of (/ 1 x) in y 140.772 * [taylor]: Taking taylor expansion of x in y 140.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y 140.772 * [taylor]: Taking taylor expansion of y in y 140.772 * [taylor]: Taking taylor expansion of y in y 140.772 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x 140.772 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.772 * [taylor]: Taking taylor expansion of x in x 140.772 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.772 * [taylor]: Taking taylor expansion of y in x 140.772 * [taylor]: Taking taylor expansion of y in x 140.772 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x 140.772 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 140.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 140.772 * [taylor]: Taking taylor expansion of x in x 140.772 * [taylor]: Taking taylor expansion of (/ 1 y) in x 140.772 * [taylor]: Taking taylor expansion of y in x 140.772 * [taylor]: Taking taylor expansion of y in x 140.772 * [taylor]: Taking taylor expansion of y in y 140.772 * [taylor]: Taking taylor expansion of 1 in y 140.773 * [taylor]: Taking taylor expansion of 0 in y 140.773 * [taylor]: Taking taylor expansion of 0 in y 140.773 * [taylor]: Taking taylor expansion of 0 in y 140.773 * * * [progress]: simplifying candidates 140.775 * [simplify]: Simplifying using # : (* (/ 1 (* x 2.0)) (/ (+ x y) y)) (+ (neg (+ (log x) (log 2.0))) (- (log (+ x y)) (log y))) (+ (neg (+ (log x) (log 2.0))) (log (/ (+ x y) y))) (+ (neg (log (* x 2.0))) (- (log (+ x y)) (log y))) (+ (neg (log (* x 2.0))) (log (/ (+ x y) y))) (+ (- 0 (+ (log x) (log 2.0))) (- (log (+ x y)) (log y))) (+ (- 0 (+ (log x) (log 2.0))) (log (/ (+ x y) y))) (+ (- 0 (log (* x 2.0))) (- (log (+ x y)) (log y))) (+ (- 0 (log (* x 2.0))) (log (/ (+ x y) y))) (+ (- (log 1) (+ (log x) (log 2.0))) (- (log (+ x y)) (log y))) (+ (- (log 1) (+ (log x) (log 2.0))) (log (/ (+ x y) y))) (+ (- (log 1) (log (* x 2.0))) (- (log (+ x y)) (log y))) (+ (- (log 1) (log (* x 2.0))) (log (/ (+ x y) y))) (+ (log (/ 1 (* x 2.0))) (- (log (+ x y)) (log y))) (+ (log (/ 1 (* x 2.0))) (log (/ (+ x y) y))) (log (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (exp (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* y y) y))) (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* (/ (+ x y) y) (/ (+ x y) y)) (/ (+ x y) y))) (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* y y) y))) (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* (/ (+ x y) y) (/ (+ x y) y)) (/ (+ x y) y))) (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* y y) y))) (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (* (* (/ (+ x y) y) (/ (+ x y) y)) (/ (+ x y) y))) (* (cbrt (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (cbrt (* (/ 1 (* x 2.0)) (/ (+ x y) y)))) (cbrt (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (* (* (* (/ 1 (* x 2.0)) (/ (+ x y) y)) (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (sqrt (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (sqrt (* (/ 1 (* x 2.0)) (/ (+ x y) y))) (* 1 (+ x y)) (* (* x 2.0) y) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (+ x y) y))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (+ x y) y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (+ x y)) (sqrt y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (+ x y)) (sqrt y))) (* (/ 1 (* x 2.0)) (* (cbrt (/ (+ x y) y)) (cbrt (/ (+ x y) y)))) (* (/ 1 (* x 2.0)) (sqrt (/ (+ x y) y))) (* (/ 1 (* x 2.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y))) (* (/ 1 (* x 2.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (* (/ 1 (* x 2.0)) (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ (sqrt (+ x y)) (sqrt y))) (* (/ 1 (* x 2.0)) (/ (sqrt (+ x y)) 1)) (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ 1 (sqrt y))) (* (/ 1 (* x 2.0)) (/ 1 1)) (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ 1 (sqrt y))) (* (/ 1 (* x 2.0)) (/ 1 1)) (* (/ 1 (* x 2.0)) 1) (* (/ 1 (* x 2.0)) (+ x y)) (* (cbrt (/ 1 (* x 2.0))) (/ (+ x y) y)) (* (sqrt (/ 1 (* x 2.0))) (/ (+ x y) y)) (* (/ (cbrt 1) 2.0) (/ (+ x y) y)) (* (/ (sqrt 1) 2.0) (/ (+ x y) y)) (* (/ 1 2.0) (/ (+ x y) y)) (* (/ 1 (* x 2.0)) (/ (+ x y) y)) (* (/ 1 (* x 2.0)) (/ (+ x y) y)) (* (/ 1 (* x 2.0)) (+ x y)) (* 1 (/ (+ x y) y)) (- (log (+ x y)) (log y)) (log (/ (+ x y) y)) (exp (/ (+ x y) y)) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* y y) y)) (* (cbrt (/ (+ x y) y)) (cbrt (/ (+ x y) y))) (cbrt (/ (+ x y) y)) (* (* (/ (+ x y) y) (/ (+ x y) y)) (/ (+ x y) y)) (sqrt (/ (+ x y) y)) (sqrt (/ (+ x y) y)) (neg (+ x y)) (neg y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ x y)) (cbrt y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y)) (/ (cbrt (+ x y)) (sqrt y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ x y)) (cbrt y)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (cbrt y)) (/ 1 (sqrt y)) (/ (+ x y) (sqrt y)) (/ 1 1) (/ (+ x y) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (cbrt y)) (/ 1 (sqrt y)) (/ (+ x y) (sqrt y)) (/ 1 1) (/ (+ x y) y) (/ 1 y) (/ y (+ x y)) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (+ x y) (sqrt y)) (/ (+ x y) 1) (/ y (cbrt (+ x y))) (/ y (sqrt (+ x y))) (/ y (+ x y)) (/ y (+ x y)) (* y (+ (* x x) (- (* y y) (* x y)))) (* y (- x y)) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (+ (/ x y) 1) (+ 1 (/ x y)) (+ 1 (/ x y)) 140.776 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 140.777 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 140.780 * * [simplify]: iteration 2 : 51 enodes (cost 9 ) 140.793 * * [simplify]: iteration 3 : 184 enodes (cost 9 ) 140.939 * * [simplify]: iteration 4 : 503 enodes (cost 9 ) 141.330 * * [simplify]: iteration 5 : 1161 enodes (cost 9 ) 144.515 * * [simplify]: iteration 6 : 4363 enodes (cost 9 ) 146.395 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 146.396 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 146.397 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 146.400 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 146.406 * * [simplify]: iteration 3 : 91 enodes (cost 13 ) 146.433 * * [simplify]: iteration 4 : 178 enodes (cost 13 ) 146.518 * * [simplify]: iteration 5 : 335 enodes (cost 13 ) 146.663 * * [simplify]: iteration 6 : 499 enodes (cost 13 ) 146.774 * * [simplify]: iteration 7 : 523 enodes (cost 13 ) 146.898 * * [simplify]: iteration 8 : 524 enodes (cost 13 ) 147.027 * * [simplify]: iteration done : 524 enodes (cost 13 ) 147.028 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 147.029 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 147.031 * * [simplify]: iteration 2 : 33 enodes (cost 12 ) 147.036 * * [simplify]: iteration 3 : 73 enodes (cost 12 ) 147.052 * * [simplify]: iteration 4 : 162 enodes (cost 12 ) 147.113 * * [simplify]: iteration 5 : 298 enodes (cost 12 ) 147.222 * * [simplify]: iteration 6 : 438 enodes (cost 12 ) 147.321 * * [simplify]: iteration 7 : 468 enodes (cost 12 ) 147.440 * * [simplify]: iteration 8 : 469 enodes (cost 12 ) 147.561 * * [simplify]: iteration done : 469 enodes (cost 12 ) 147.561 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 147.563 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 147.565 * * [simplify]: iteration 2 : 33 enodes (cost 12 ) 147.569 * * [simplify]: iteration 3 : 65 enodes (cost 12 ) 147.586 * * [simplify]: iteration 4 : 141 enodes (cost 12 ) 147.636 * * [simplify]: iteration 5 : 265 enodes (cost 12 ) 147.725 * * [simplify]: iteration 6 : 381 enodes (cost 12 ) 147.852 * * [simplify]: iteration 7 : 486 enodes (cost 12 ) 147.972 * * [simplify]: iteration 8 : 500 enodes (cost 12 ) 148.096 * * [simplify]: iteration done : 500 enodes (cost 12 ) 148.096 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 148.098 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 148.099 * * [simplify]: iteration 2 : 30 enodes (cost 11 ) 148.103 * * [simplify]: iteration 3 : 57 enodes (cost 11 ) 148.113 * * [simplify]: iteration 4 : 129 enodes (cost 11 ) 148.155 * * [simplify]: iteration 5 : 239 enodes (cost 11 ) 148.221 * * [simplify]: iteration 6 : 324 enodes (cost 11 ) 148.361 * * [simplify]: iteration 7 : 486 enodes (cost 11 ) 148.469 * * [simplify]: iteration 8 : 507 enodes (cost 11 ) 148.587 * * [simplify]: iteration 9 : 508 enodes (cost 11 ) 148.707 * * [simplify]: iteration done : 508 enodes (cost 11 ) 148.708 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 148.709 * * [simplify]: iteration 1 : 26 enodes (cost 14 ) 148.713 * * [simplify]: iteration 2 : 70 enodes (cost 13 ) 148.737 * * [simplify]: iteration 3 : 225 enodes (cost 13 ) 148.986 * * [simplify]: iteration 4 : 719 enodes (cost 13 ) 149.417 * * [simplify]: iteration 5 : 1145 enodes (cost 13 ) 149.915 * * [simplify]: iteration 6 : 1249 enodes (cost 13 ) 150.289 * * [simplify]: iteration done : 1249 enodes (cost 13 ) 150.290 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 150.291 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 150.295 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 150.310 * * [simplify]: iteration 3 : 185 enodes (cost 12 ) 150.466 * * [simplify]: iteration 4 : 567 enodes (cost 12 ) 150.814 * * [simplify]: iteration 5 : 978 enodes (cost 12 ) 151.276 * * [simplify]: iteration 6 : 1067 enodes (cost 12 ) 151.649 * * [simplify]: iteration done : 1067 enodes (cost 12 ) 151.649 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 151.651 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 151.654 * * [simplify]: iteration 2 : 59 enodes (cost 12 ) 151.673 * * [simplify]: iteration 3 : 182 enodes (cost 12 ) 151.837 * * [simplify]: iteration 4 : 606 enodes (cost 12 ) 152.234 * * [simplify]: iteration 5 : 1087 enodes (cost 12 ) 152.709 * * [simplify]: iteration 6 : 1216 enodes (cost 12 ) 153.083 * * [simplify]: iteration 7 : 1223 enodes (cost 12 ) 153.439 * * [simplify]: iteration done : 1223 enodes (cost 12 ) 153.440 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 153.441 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 153.444 * * [simplify]: iteration 2 : 53 enodes (cost 11 ) 153.460 * * [simplify]: iteration 3 : 155 enodes (cost 11 ) 153.570 * * [simplify]: iteration 4 : 497 enodes (cost 11 ) 153.896 * * [simplify]: iteration 5 : 962 enodes (cost 11 ) 154.347 * * [simplify]: iteration 6 : 1074 enodes (cost 11 ) 154.719 * * [simplify]: iteration 7 : 1081 enodes (cost 11 ) 155.077 * * [simplify]: iteration done : 1081 enodes (cost 11 ) 155.078 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 155.079 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 155.083 * * [simplify]: iteration 2 : 69 enodes (cost 14 ) 155.111 * * [simplify]: iteration 3 : 231 enodes (cost 13 ) 155.355 * * [simplify]: iteration 4 : 724 enodes (cost 13 ) 155.780 * * [simplify]: iteration 5 : 1149 enodes (cost 13 ) 156.264 * * [simplify]: iteration 6 : 1254 enodes (cost 13 ) 156.629 * * [simplify]: iteration done : 1254 enodes (cost 13 ) 156.629 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 156.636 * * [simplify]: iteration 1 : 27 enodes (cost 14 ) 156.639 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 156.657 * * [simplify]: iteration 3 : 186 enodes (cost 12 ) 156.809 * * [simplify]: iteration 4 : 560 enodes (cost 12 ) 157.141 * * [simplify]: iteration 5 : 967 enodes (cost 12 ) 157.592 * * [simplify]: iteration 6 : 1054 enodes (cost 12 ) 157.964 * * [simplify]: iteration done : 1054 enodes (cost 12 ) 157.965 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 157.967 * * [simplify]: iteration 1 : 29 enodes (cost 14 ) 157.971 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 157.988 * * [simplify]: iteration 3 : 187 enodes (cost 12 ) 158.158 * * [simplify]: iteration 4 : 612 enodes (cost 12 ) 158.576 * * [simplify]: iteration 5 : 1102 enodes (cost 12 ) 159.065 * * [simplify]: iteration 6 : 1228 enodes (cost 12 ) 159.446 * * [simplify]: iteration 7 : 1235 enodes (cost 12 ) 159.812 * * [simplify]: iteration done : 1235 enodes (cost 12 ) 159.813 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 159.814 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 159.817 * * [simplify]: iteration 2 : 53 enodes (cost 12 ) 159.835 * * [simplify]: iteration 3 : 154 enodes (cost 11 ) 159.937 * * [simplify]: iteration 4 : 491 enodes (cost 11 ) 160.268 * * [simplify]: iteration 5 : 959 enodes (cost 11 ) 160.732 * * [simplify]: iteration 6 : 1074 enodes (cost 11 ) 161.113 * * [simplify]: iteration 7 : 1081 enodes (cost 11 ) 161.484 * * [simplify]: iteration done : 1081 enodes (cost 11 ) 161.485 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 161.487 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 161.490 * * [simplify]: iteration 2 : 50 enodes (cost 12 ) 161.500 * * [simplify]: iteration 3 : 135 enodes (cost 12 ) 161.575 * * [simplify]: iteration 4 : 421 enodes (cost 12 ) 161.899 * * [simplify]: iteration 5 : 919 enodes (cost 12 ) 162.263 * * [simplify]: iteration 6 : 1040 enodes (cost 12 ) 162.636 * * [simplify]: iteration 7 : 1046 enodes (cost 12 ) 163.001 * * [simplify]: iteration done : 1046 enodes (cost 12 ) 163.002 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 163.003 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 163.006 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 163.014 * * [simplify]: iteration 3 : 112 enodes (cost 11 ) 163.061 * * [simplify]: iteration 4 : 337 enodes (cost 11 ) 163.336 * * [simplify]: iteration 5 : 848 enodes (cost 11 ) 163.784 * * [simplify]: iteration 6 : 1169 enodes (cost 11 ) 164.167 * * [simplify]: iteration 7 : 1177 enodes (cost 11 ) 164.531 * * [simplify]: iteration done : 1177 enodes (cost 11 ) 164.532 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 164.533 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 164.537 * * [simplify]: iteration 2 : 69 enodes (cost 10 ) 164.553 * * [simplify]: iteration 3 : 245 enodes (cost 10 ) 164.729 * * [simplify]: iteration 4 : 736 enodes (cost 10 ) 165.395 * * [simplify]: iteration 5 : 1897 enodes (cost 10 ) 167.892 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 167.892 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 167.894 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 167.897 * * [simplify]: iteration 2 : 60 enodes (cost 10 ) 167.921 * * [simplify]: iteration 3 : 215 enodes (cost 10 ) 168.091 * * [simplify]: iteration 4 : 600 enodes (cost 10 ) 168.517 * * [simplify]: iteration 5 : 1501 enodes (cost 10 ) 170.538 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 170.539 * * [simplify]: iteration 0 : 19 enodes (cost 35 ) 170.543 * * [simplify]: iteration 1 : 62 enodes (cost 31 ) 170.555 * * [simplify]: iteration 2 : 244 enodes (cost 17 ) 170.999 * * [simplify]: iteration 3 : 1889 enodes (cost 15 ) 171.949 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 171.950 * * [simplify]: iteration 0 : 17 enodes (cost 35 ) 171.953 * * [simplify]: iteration 1 : 46 enodes (cost 31 ) 171.970 * * [simplify]: iteration 2 : 181 enodes (cost 15 ) 172.115 * * [simplify]: iteration 3 : 1098 enodes (cost 15 ) 173.220 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 173.220 * * [simplify]: iteration 0 : 17 enodes (cost 35 ) 173.224 * * [simplify]: iteration 1 : 64 enodes (cost 31 ) 173.237 * * [simplify]: iteration 2 : 245 enodes (cost 15 ) 173.484 * * [simplify]: iteration 3 : 1855 enodes (cost 13 ) 174.498 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 174.499 * * [simplify]: iteration 0 : 15 enodes (cost 35 ) 174.501 * * [simplify]: iteration 1 : 48 enodes (cost 31 ) 174.511 * * [simplify]: iteration 2 : 182 enodes (cost 13 ) 174.673 * * [simplify]: iteration 3 : 1112 enodes (cost 13 ) 175.868 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 175.869 * * [simplify]: iteration 0 : 15 enodes (cost 35 ) 175.872 * * [simplify]: iteration 1 : 54 enodes (cost 35 ) 175.885 * * [simplify]: iteration 2 : 221 enodes (cost 17 ) 176.059 * * [simplify]: iteration 3 : 1345 enodes (cost 15 ) 177.008 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 177.009 * * [simplify]: iteration 0 : 13 enodes (cost 35 ) 177.011 * * [simplify]: iteration 1 : 38 enodes (cost 35 ) 177.026 * * [simplify]: iteration 2 : 157 enodes (cost 15 ) 177.143 * * [simplify]: iteration 3 : 874 enodes (cost 15 ) 178.813 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 178.814 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 178.815 * * [simplify]: iteration 1 : 22 enodes (cost 25 ) 178.818 * * [simplify]: iteration 2 : 53 enodes (cost 21 ) 178.831 * * [simplify]: iteration 3 : 186 enodes (cost 21 ) 178.986 * * [simplify]: iteration 4 : 502 enodes (cost 21 ) 179.393 * * [simplify]: iteration 5 : 1166 enodes (cost 21 ) 182.645 * * [simplify]: iteration 6 : 4392 enodes (cost 21 ) 184.280 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 184.281 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 184.282 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 184.285 * * [simplify]: iteration 2 : 52 enodes (cost 10 ) 184.303 * * [simplify]: iteration 3 : 185 enodes (cost 10 ) 184.447 * * [simplify]: iteration 4 : 501 enodes (cost 10 ) 184.850 * * [simplify]: iteration 5 : 1172 enodes (cost 10 ) 188.286 * * [simplify]: iteration 6 : 4347 enodes (cost 10 ) 189.966 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 189.967 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 189.969 * * [simplify]: iteration 1 : 32 enodes (cost 35 ) 189.976 * * [simplify]: iteration 2 : 146 enodes (cost 11 ) 190.142 * * [simplify]: iteration 3 : 1023 enodes (cost 11 ) 192.059 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 192.060 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 192.061 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 192.064 * * [simplify]: iteration 2 : 52 enodes (cost 10 ) 192.076 * * [simplify]: iteration 3 : 185 enodes (cost 10 ) 192.228 * * [simplify]: iteration 4 : 501 enodes (cost 10 ) 192.632 * * [simplify]: iteration 5 : 1172 enodes (cost 10 ) 195.894 * * [simplify]: iteration 6 : 4347 enodes (cost 10 ) 197.570 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 197.571 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 197.572 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 197.575 * * [simplify]: iteration 2 : 52 enodes (cost 10 ) 197.594 * * [simplify]: iteration 3 : 185 enodes (cost 10 ) 197.737 * * [simplify]: iteration 4 : 501 enodes (cost 10 ) 198.141 * * [simplify]: iteration 5 : 1172 enodes (cost 10 ) 201.360 * * [simplify]: iteration 6 : 4347 enodes (cost 10 ) 203.279 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 203.280 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 203.281 * * [simplify]: iteration 1 : 15 enodes (cost 3 ) 203.283 * * [simplify]: iteration 2 : 25 enodes (cost 3 ) 203.285 * * [simplify]: iteration done : 25 enodes (cost 3 ) 203.285 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 203.286 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 203.287 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 203.289 * * [simplify]: iteration done : 15 enodes (cost 5 ) 203.289 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 203.291 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 203.292 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 203.294 * * [simplify]: iteration done : 20 enodes (cost 13 ) 203.295 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 203.296 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 203.298 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 203.300 * * [simplify]: iteration done : 20 enodes (cost 13 ) 203.300 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 203.301 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 203.304 * * [simplify]: iteration 2 : 26 enodes (cost 14 ) 203.306 * * [simplify]: iteration 3 : 30 enodes (cost 14 ) 203.309 * * [simplify]: iteration 4 : 31 enodes (cost 14 ) 203.313 * * [simplify]: iteration done : 31 enodes (cost 14 ) 203.313 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 203.315 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 203.317 * * [simplify]: iteration 2 : 26 enodes (cost 14 ) 203.319 * * [simplify]: iteration 3 : 30 enodes (cost 14 ) 203.322 * * [simplify]: iteration 4 : 31 enodes (cost 14 ) 203.325 * * [simplify]: iteration done : 31 enodes (cost 14 ) 203.326 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 203.327 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 203.335 * * [simplify]: iteration 2 : 44 enodes (cost 17 ) 203.346 * * [simplify]: iteration 3 : 133 enodes (cost 17 ) 203.412 * * [simplify]: iteration 4 : 266 enodes (cost 17 ) 203.485 * * [simplify]: iteration 5 : 282 enodes (cost 17 ) 203.543 * * [simplify]: iteration done : 282 enodes (cost 17 ) 203.544 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 203.546 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 203.548 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 203.553 * * [simplify]: iteration 3 : 79 enodes (cost 10 ) 203.587 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 203.618 * * [simplify]: iteration 5 : 166 enodes (cost 10 ) 203.636 * * [simplify]: iteration done : 166 enodes (cost 10 ) 203.637 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 203.639 * * [simplify]: iteration 1 : 30 enodes (cost 21 ) 203.643 * * [simplify]: iteration 2 : 85 enodes (cost 19 ) 203.688 * * [simplify]: iteration 3 : 385 enodes (cost 19 ) 204.206 * * [simplify]: iteration 4 : 1304 enodes (cost 19 ) 206.752 * * [simplify]: iteration 5 : 2636 enodes (cost 19 ) 209.877 * * [simplify]: iteration 6 : 2879 enodes (cost 19 ) 212.574 * * [simplify]: iteration done : 2879 enodes (cost 19 ) 212.575 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 212.577 * * [simplify]: iteration 1 : 25 enodes (cost 18 ) 212.580 * * [simplify]: iteration 2 : 57 enodes (cost 16 ) 212.599 * * [simplify]: iteration 3 : 234 enodes (cost 16 ) 212.817 * * [simplify]: iteration 4 : 689 enodes (cost 16 ) 213.491 * * [simplify]: iteration 5 : 1095 enodes (cost 16 ) 214.230 * * [simplify]: iteration 6 : 1211 enodes (cost 16 ) 214.839 * * [simplify]: iteration done : 1211 enodes (cost 16 ) 214.840 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 214.841 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 214.845 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 214.889 * * [simplify]: iteration 3 : 290 enodes (cost 13 ) 215.169 * * [simplify]: iteration 4 : 715 enodes (cost 13 ) 215.420 * * [simplify]: iteration 5 : 792 enodes (cost 13 ) 215.606 * * [simplify]: iteration done : 792 enodes (cost 13 ) 215.607 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 215.609 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 215.612 * * [simplify]: iteration 2 : 58 enodes (cost 14 ) 215.629 * * [simplify]: iteration 3 : 218 enodes (cost 14 ) 215.791 * * [simplify]: iteration 4 : 637 enodes (cost 14 ) 216.534 * * [simplify]: iteration 5 : 1254 enodes (cost 14 ) 217.486 * * [simplify]: iteration 6 : 1367 enodes (cost 14 ) 218.272 * * [simplify]: iteration done : 1367 enodes (cost 14 ) 218.272 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 218.274 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 218.277 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 218.287 * * [simplify]: iteration 3 : 146 enodes (cost 11 ) 218.382 * * [simplify]: iteration 4 : 364 enodes (cost 11 ) 218.575 * * [simplify]: iteration 5 : 555 enodes (cost 11 ) 218.802 * * [simplify]: iteration 6 : 592 enodes (cost 11 ) 218.981 * * [simplify]: iteration done : 592 enodes (cost 11 ) 218.982 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 218.983 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 218.986 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 219.000 * * [simplify]: iteration 3 : 146 enodes (cost 8 ) 219.115 * * [simplify]: iteration 4 : 373 enodes (cost 8 ) 219.187 * * [simplify]: iteration 5 : 409 enodes (cost 8 ) 219.240 * * [simplify]: iteration done : 409 enodes (cost 8 ) 219.241 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 219.242 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 219.246 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 219.269 * * [simplify]: iteration 3 : 174 enodes (cost 11 ) 219.391 * * [simplify]: iteration 4 : 430 enodes (cost 11 ) 219.523 * * [simplify]: iteration 5 : 476 enodes (cost 11 ) 219.633 * * [simplify]: iteration done : 476 enodes (cost 11 ) 219.634 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 219.635 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 219.638 * * [simplify]: iteration 2 : 42 enodes (cost 8 ) 219.653 * * [simplify]: iteration 3 : 114 enodes (cost 8 ) 219.707 * * [simplify]: iteration 4 : 223 enodes (cost 8 ) 219.736 * * [simplify]: iteration 5 : 227 enodes (cost 8 ) 219.767 * * [simplify]: iteration done : 227 enodes (cost 8 ) 219.768 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 219.769 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 219.772 * * [simplify]: iteration 2 : 29 enodes (cost 5 ) 219.779 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 219.792 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 219.799 * * [simplify]: iteration 5 : 102 enodes (cost 5 ) 219.805 * * [simplify]: iteration done : 102 enodes (cost 5 ) 219.806 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 219.807 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 219.811 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 219.834 * * [simplify]: iteration 3 : 174 enodes (cost 11 ) 219.956 * * [simplify]: iteration 4 : 430 enodes (cost 11 ) 220.089 * * [simplify]: iteration 5 : 476 enodes (cost 11 ) 220.199 * * [simplify]: iteration done : 476 enodes (cost 11 ) 220.200 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 220.201 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 220.204 * * [simplify]: iteration 2 : 42 enodes (cost 8 ) 220.219 * * [simplify]: iteration 3 : 114 enodes (cost 8 ) 220.274 * * [simplify]: iteration 4 : 223 enodes (cost 8 ) 220.303 * * [simplify]: iteration 5 : 227 enodes (cost 8 ) 220.334 * * [simplify]: iteration done : 227 enodes (cost 8 ) 220.335 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 220.336 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 220.339 * * [simplify]: iteration 2 : 29 enodes (cost 5 ) 220.346 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 220.359 * * [simplify]: iteration 4 : 101 enodes (cost 5 ) 220.365 * * [simplify]: iteration 5 : 102 enodes (cost 5 ) 220.372 * * [simplify]: iteration done : 102 enodes (cost 5 ) 220.373 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 220.374 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 220.375 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 220.378 * * [simplify]: iteration 3 : 30 enodes (cost 5 ) 220.388 * * [simplify]: iteration 4 : 42 enodes (cost 5 ) 220.392 * * [simplify]: iteration 5 : 49 enodes (cost 5 ) 220.396 * * [simplify]: iteration done : 49 enodes (cost 5 ) 220.397 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 220.398 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 220.401 * * [simplify]: iteration 2 : 59 enodes (cost 7 ) 220.424 * * [simplify]: iteration 3 : 166 enodes (cost 7 ) 220.517 * * [simplify]: iteration 4 : 395 enodes (cost 7 ) 220.852 * * [simplify]: iteration 5 : 1027 enodes (cost 7 ) 224.736 * * [simplify]: iteration 6 : 4163 enodes (cost 7 ) 226.135 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 226.136 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 226.137 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 226.140 * * [simplify]: iteration 2 : 32 enodes (cost 12 ) 226.143 * * [simplify]: iteration 3 : 36 enodes (cost 12 ) 226.147 * * [simplify]: iteration 4 : 45 enodes (cost 12 ) 226.152 * * [simplify]: iteration 5 : 47 enodes (cost 12 ) 226.158 * * [simplify]: iteration 6 : 53 enodes (cost 12 ) 226.165 * * [simplify]: iteration 7 : 56 enodes (cost 12 ) 226.171 * * [simplify]: iteration 8 : 62 enodes (cost 12 ) 226.179 * * [simplify]: iteration 9 : 64 enodes (cost 12 ) 226.200 * * [simplify]: iteration 10 : 246 enodes (cost 12 ) 227.212 * * [simplify]: iteration 11 : 1547 enodes (cost 12 ) 230.210 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 230.211 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 230.217 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 230.219 * * [simplify]: iteration 2 : 32 enodes (cost 12 ) 230.223 * * [simplify]: iteration 3 : 36 enodes (cost 12 ) 230.227 * * [simplify]: iteration 4 : 45 enodes (cost 12 ) 230.232 * * [simplify]: iteration 5 : 47 enodes (cost 12 ) 230.238 * * [simplify]: iteration 6 : 53 enodes (cost 12 ) 230.244 * * [simplify]: iteration 7 : 56 enodes (cost 12 ) 230.251 * * [simplify]: iteration 8 : 62 enodes (cost 12 ) 230.259 * * [simplify]: iteration 9 : 64 enodes (cost 12 ) 230.279 * * [simplify]: iteration 10 : 246 enodes (cost 12 ) 231.288 * * [simplify]: iteration 11 : 1547 enodes (cost 12 ) 234.569 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 234.570 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 234.571 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 234.573 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 234.578 * * [simplify]: iteration 3 : 63 enodes (cost 7 ) 234.595 * * [simplify]: iteration 4 : 154 enodes (cost 7 ) 234.642 * * [simplify]: iteration 5 : 244 enodes (cost 7 ) 234.706 * * [simplify]: iteration 6 : 280 enodes (cost 7 ) 234.785 * * [simplify]: iteration 7 : 483 enodes (cost 7 ) 235.701 * * [simplify]: iteration 8 : 1876 enodes (cost 7 ) 238.496 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 238.497 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 238.498 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 238.500 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 238.505 * * [simplify]: iteration 3 : 63 enodes (cost 7 ) 238.522 * * [simplify]: iteration 4 : 154 enodes (cost 7 ) 238.568 * * [simplify]: iteration 5 : 244 enodes (cost 7 ) 238.631 * * [simplify]: iteration 6 : 280 enodes (cost 7 ) 238.710 * * [simplify]: iteration 7 : 483 enodes (cost 7 ) 239.613 * * [simplify]: iteration 8 : 1876 enodes (cost 7 ) 242.390 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 242.390 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 242.391 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 242.394 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 242.399 * * [simplify]: iteration 3 : 84 enodes (cost 7 ) 242.432 * * [simplify]: iteration 4 : 166 enodes (cost 7 ) 242.472 * * [simplify]: iteration 5 : 237 enodes (cost 7 ) 242.534 * * [simplify]: iteration 6 : 278 enodes (cost 7 ) 242.614 * * [simplify]: iteration 7 : 486 enodes (cost 7 ) 243.536 * * [simplify]: iteration 8 : 1922 enodes (cost 7 ) 246.473 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 246.474 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 246.475 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 246.478 * * [simplify]: iteration 2 : 51 enodes (cost 9 ) 246.490 * * [simplify]: iteration 3 : 184 enodes (cost 9 ) 246.645 * * [simplify]: iteration 4 : 503 enodes (cost 9 ) 247.047 * * [simplify]: iteration 5 : 1161 enodes (cost 9 ) 250.331 * * [simplify]: iteration 6 : 4363 enodes (cost 9 ) 252.235 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 252.236 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 252.237 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 252.240 * * [simplify]: iteration 2 : 51 enodes (cost 9 ) 252.259 * * [simplify]: iteration 3 : 184 enodes (cost 9 ) 252.408 * * [simplify]: iteration 4 : 503 enodes (cost 9 ) 252.820 * * [simplify]: iteration 5 : 1161 enodes (cost 9 ) 256.163 * * [simplify]: iteration 6 : 4363 enodes (cost 9 ) 257.824 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 257.825 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 257.826 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 257.836 * * [simplify]: iteration 2 : 59 enodes (cost 7 ) 257.858 * * [simplify]: iteration 3 : 166 enodes (cost 7 ) 257.946 * * [simplify]: iteration 4 : 395 enodes (cost 7 ) 258.280 * * [simplify]: iteration 5 : 1027 enodes (cost 7 ) 262.181 * * [simplify]: iteration 6 : 4163 enodes (cost 7 ) 263.556 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 263.557 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 263.558 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 263.559 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 263.565 * * [simplify]: iteration 3 : 44 enodes (cost 5 ) 263.576 * * [simplify]: iteration 4 : 62 enodes (cost 5 ) 263.584 * * [simplify]: iteration 5 : 74 enodes (cost 5 ) 263.590 * * [simplify]: iteration done : 74 enodes (cost 5 ) 263.591 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 263.591 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 263.592 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 263.593 * * [simplify]: iteration done : 10 enodes (cost 7 ) 263.594 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 263.594 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 263.595 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 263.596 * * [simplify]: iteration 3 : 12 enodes (cost 6 ) 263.597 * * [simplify]: iteration done : 12 enodes (cost 6 ) 263.598 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 263.598 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 263.599 * * [simplify]: iteration done : 6 enodes (cost 6 ) 263.600 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 263.601 * * [simplify]: iteration 1 : 30 enodes (cost 17 ) 263.607 * * [simplify]: iteration 2 : 91 enodes (cost 9 ) 263.628 * * [simplify]: iteration 3 : 232 enodes (cost 7 ) 263.713 * * [simplify]: iteration 4 : 615 enodes (cost 7 ) 264.061 * * [simplify]: iteration 5 : 1682 enodes (cost 7 ) 265.591 * * [simplify]: iteration 6 : 4439 enodes (cost 7 ) 266.674 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 266.675 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 266.675 * * [simplify]: iteration 1 : 7 enodes (cost 13 ) 266.676 * * [simplify]: iteration done : 7 enodes (cost 13 ) 266.677 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 266.677 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 266.678 * * [simplify]: iteration done : 6 enodes (cost 6 ) 266.678 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 266.679 * * [simplify]: iteration 1 : 14 enodes (cost 17 ) 266.682 * * [simplify]: iteration 2 : 46 enodes (cost 7 ) 266.691 * * [simplify]: iteration 3 : 118 enodes (cost 7 ) 266.727 * * [simplify]: iteration 4 : 293 enodes (cost 7 ) 266.824 * * [simplify]: iteration 5 : 584 enodes (cost 7 ) 267.210 * * [simplify]: iteration 6 : 1235 enodes (cost 7 ) 269.327 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 269.328 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.328 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.329 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.330 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.330 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.331 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.331 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 269.332 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 269.332 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 269.333 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 269.334 * * [simplify]: iteration done : 11 enodes (cost 4 ) 269.335 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 269.335 * * [simplify]: iteration done : 2 enodes (cost 2 ) 269.336 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 269.337 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 269.339 * * [simplify]: iteration 2 : 24 enodes (cost 15 ) 269.342 * * [simplify]: iteration 3 : 30 enodes (cost 15 ) 269.345 * * [simplify]: iteration done : 30 enodes (cost 15 ) 269.346 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 269.346 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 269.347 * * [simplify]: iteration done : 7 enodes (cost 7 ) 269.347 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 269.348 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 269.349 * * [simplify]: iteration 2 : 12 enodes (cost 12 ) 269.351 * * [simplify]: iteration 3 : 13 enodes (cost 12 ) 269.352 * * [simplify]: iteration done : 13 enodes (cost 12 ) 269.352 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 269.353 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 269.354 * * [simplify]: iteration done : 7 enodes (cost 7 ) 269.354 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 269.355 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 269.356 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 269.358 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 269.360 * * [simplify]: iteration done : 23 enodes (cost 9 ) 269.360 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.361 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.361 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.362 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 269.363 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 269.364 * * [simplify]: iteration done : 10 enodes (cost 10 ) 269.364 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 269.365 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 269.365 * * [simplify]: iteration done : 7 enodes (cost 7 ) 269.366 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 269.367 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 269.367 * * [simplify]: iteration done : 7 enodes (cost 7 ) 269.368 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 269.368 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 269.369 * * [simplify]: iteration done : 7 enodes (cost 7 ) 269.370 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 269.370 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 269.371 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 269.372 * * [simplify]: iteration done : 11 enodes (cost 4 ) 269.372 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.373 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.374 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.374 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 269.375 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 269.376 * * [simplify]: iteration done : 9 enodes (cost 7 ) 269.376 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.377 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.377 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.378 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 269.378 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 269.379 * * [simplify]: iteration done : 6 enodes (cost 4 ) 269.379 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.380 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.381 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.381 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 269.381 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 269.382 * * [simplify]: iteration done : 4 enodes (cost 1 ) 269.382 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 269.383 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 269.383 * * [simplify]: iteration done : 5 enodes (cost 5 ) 269.384 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 269.384 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 269.385 * * [simplify]: iteration done : 9 enodes (cost 7 ) 269.386 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.386 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.387 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.387 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 269.388 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 269.388 * * [simplify]: iteration done : 6 enodes (cost 4 ) 269.392 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.392 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.393 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.393 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 269.394 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 269.394 * * [simplify]: iteration done : 4 enodes (cost 1 ) 269.395 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 269.395 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 269.396 * * [simplify]: iteration done : 5 enodes (cost 5 ) 269.396 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 269.396 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 269.397 * * [simplify]: iteration done : 5 enodes (cost 3 ) 269.398 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 269.398 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 269.399 * * [simplify]: iteration done : 5 enodes (cost 5 ) 269.399 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 269.400 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 269.401 * * [simplify]: iteration done : 9 enodes (cost 9 ) 269.402 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.402 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.403 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.403 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 269.404 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 269.404 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 269.405 * * [simplify]: iteration done : 10 enodes (cost 3 ) 269.406 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.406 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.407 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.407 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 269.408 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 269.408 * * [simplify]: iteration done : 6 enodes (cost 6 ) 269.409 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 269.409 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 269.410 * * [simplify]: iteration done : 5 enodes (cost 5 ) 269.411 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 269.411 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 269.412 * * [simplify]: iteration done : 5 enodes (cost 5 ) 269.412 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 269.413 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 269.417 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 269.426 * * [simplify]: iteration 3 : 89 enodes (cost 11 ) 269.444 * * [simplify]: iteration 4 : 135 enodes (cost 11 ) 269.473 * * [simplify]: iteration 5 : 184 enodes (cost 11 ) 269.521 * * [simplify]: iteration 6 : 245 enodes (cost 11 ) 269.575 * * [simplify]: iteration 7 : 327 enodes (cost 11 ) 269.684 * * [simplify]: iteration 8 : 587 enodes (cost 11 ) 269.919 * * [simplify]: iteration 9 : 1096 enodes (cost 11 ) 271.675 * * [simplify]: iteration 10 : 3564 enodes (cost 11 ) 274.222 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 274.223 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 274.223 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 274.224 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 274.226 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 274.228 * * [simplify]: iteration 4 : 18 enodes (cost 5 ) 274.230 * * [simplify]: iteration done : 18 enodes (cost 5 ) 274.231 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 274.232 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 274.235 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 274.238 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 274.241 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 274.246 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 274.251 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 274.257 * * [simplify]: iteration done : 49 enodes (cost 7 ) 274.258 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 274.259 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 274.262 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 274.264 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 274.267 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 274.276 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 274.282 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 274.288 * * [simplify]: iteration done : 49 enodes (cost 7 ) 274.289 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 274.290 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 274.293 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 274.296 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 274.299 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 274.304 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 274.310 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 274.315 * * [simplify]: iteration done : 49 enodes (cost 7 ) 274.316 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 274.317 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 274.317 * * [simplify]: iteration done : 8 enodes (cost 5 ) 274.318 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 274.318 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 274.319 * * [simplify]: iteration done : 8 enodes (cost 5 ) 274.320 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 274.320 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 274.321 * * [simplify]: iteration done : 8 enodes (cost 5 ) 274.322 * [simplify]: Simplified to: (/ (/ (+ x y) y) (* x 2.0)) (- (- (log (+ x y)) (log y)) (+ (log x) (log 2.0))) (- (log (/ (+ x y) y)) (+ (log x) (log 2.0))) (- (- (log (+ x y)) (log y)) (log (* x 2.0))) (- (log (/ (+ x y) y)) (log (* x 2.0))) (- (- (log (+ x y)) (log y)) (+ (log x) (log 2.0))) (- (log (/ (+ x y) y)) (+ (log x) (log 2.0))) (- (- (log (+ x y)) (log y)) (log (* x 2.0))) (- (log (/ (+ x y) y)) (log (* x 2.0))) (- (- (log (+ x y)) (log y)) (+ (log x) (log 2.0))) (- (log (/ (+ x y) y)) (+ (log x) (log 2.0))) (- (- (log (+ x y)) (log (* x 2.0))) (log y)) (- (log (/ (+ x y) y)) (log (* x 2.0))) (- (- (log (+ x y)) (log y)) (log (* x 2.0))) (- (log (/ (+ x y) y)) (log (* x 2.0))) (log (/ (/ (/ (+ x y) y) x) 2.0)) (exp (/ (/ (/ (+ x y) y) x) 2.0)) (/ (/ (pow (/ (+ x y) y) 3) (pow x 3)) (pow 2.0 3)) (/ (/ (pow (/ (+ x y) y) 3) (pow 2.0 3)) (pow x 3)) (/ (pow (/ (+ x y) y) 3) (pow (* x 2.0) 3)) (/ (pow (/ (+ x y) y) 3) (pow (* x 2.0) 3)) (* (pow (/ 1 (* x 2.0)) 3) (pow (/ (+ x y) y) 3)) (/ (pow (/ (+ x y) y) 3) (pow (* x 2.0) 3)) (* (cbrt (/ (/ (/ (+ x y) y) x) 2.0)) (cbrt (/ (/ (/ (+ x y) y) x) 2.0))) (cbrt (/ (/ (/ (+ x y) y) 2.0) x)) (pow (/ (/ (+ x y) y) (* x 2.0)) 3) (sqrt (/ (/ (/ (+ x y) y) 2.0) x)) (sqrt (/ (/ (/ (+ x y) y) 2.0) x)) (+ x y) (* (* x 2.0) y) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (+ x y) y))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (+ x y) y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (+ x y)) (sqrt y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (+ x y)) (sqrt y))) (/ (* (cbrt (/ (+ x y) y)) (cbrt (/ (+ x y) y))) (* x 2.0)) (/ (sqrt (/ (+ x y) y)) (* x 2.0)) (/ (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt y) (cbrt y))) x) 2.0) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y)) (* x 2.0)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 2.0) x) (/ (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y))) (* x 2.0)) (/ (/ (sqrt (+ x y)) (sqrt y)) (* x 2.0)) (/ (sqrt (+ x y)) (* x 2.0)) (/ (/ 1 (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (sqrt y)) (/ 1 (* x 2.0)) (/ (/ 1 (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (sqrt y)) (/ 1 (* x 2.0)) (/ 1 (* x 2.0)) (/ (+ x y) (* x 2.0)) (* (cbrt (/ 1 (* x 2.0))) (/ (+ x y) y)) (* (sqrt (/ 1 (* x 2.0))) (/ (+ x y) y)) (/ (/ (+ x y) 2.0) y) (/ (/ (+ x y) 2.0) y) (/ (/ (+ x y) y) 2.0) (/ (/ (+ x y) y) (* x 2.0)) (/ (/ (+ x y) y) (* x 2.0)) (/ (+ x y) (* x 2.0)) (/ (+ x y) y) (- (log (+ x y)) (log y)) (log (/ (+ x y) y)) (exp (/ (+ x y) y)) (pow (/ (+ x y) y) 3) (* (cbrt (/ (+ x y) y)) (cbrt (/ (+ x y) y))) (cbrt (/ (+ x y) y)) (pow (/ (+ x y) y) 3) (sqrt (/ (+ x y) y)) (sqrt (/ (+ x y) y)) (neg (+ x y)) (neg y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ x y)) (cbrt y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y)) (/ (cbrt (+ x y)) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ x y)) (cbrt y)) (/ (sqrt (+ x y)) (sqrt y)) (/ (sqrt (+ x y)) (sqrt y)) (sqrt (+ x y)) (/ (sqrt (+ x y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (cbrt y)) (/ 1 (sqrt y)) (/ (+ x y) (sqrt y)) 1 (/ (+ x y) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x y) (cbrt y)) (/ 1 (sqrt y)) (/ (+ x y) (sqrt y)) 1 (/ (+ x y) y) (/ 1 y) (/ y (+ x y)) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (+ x y) (sqrt y)) (+ x y) (/ y (cbrt (+ x y))) (/ y (sqrt (+ x y))) (/ y (+ x y)) (/ y (+ x y)) (* (+ (* x x) (* y (- y x))) y) (* y (- x y)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ x y) 1) (+ 1 (/ x y)) (+ 1 (/ x y)) 274.323 * * * [progress]: adding candidates to table 274.414 * [progress]: [Phase 3 of 3] Extracting. 274.414 * * [regime]: Finding splitpoints for: (# #) 274.415 * * * [regime-changes]: Trying 2 branch expressions: (y x) 274.415 * * * * [regimes]: Trying to branch on y from (# #) 274.458 * * * * [regimes]: Trying to branch on x from (# #) 274.500 * * * [regime]: Found split indices: #