157.540 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.041 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x y) x)
0.042 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.043 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
0.044 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
0.045 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
0.045 * [simplify]: Simplified to:
   (- (* x y) x)
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.048 * * * * [pick]: Picked  #<alt (λ (x y) (- (* x y) x))>
0.048 * * * [progress]: localizing error
0.051 * * * [progress]: generating rewritten candidates
0.051 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.055 * * * [progress]: generating series expansions
0.055 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.056 * [approximate]: Taking taylor expansion of (- (* x y) x) in (x y) around 0
0.056 * [taylor]: Taking taylor expansion of (- (* x y) x) in y
0.056 * [taylor]: Taking taylor expansion of (* x y) in y
0.056 * [taylor]: Taking taylor expansion of x in y
0.056 * [taylor]: Taking taylor expansion of y in y
0.056 * [taylor]: Taking taylor expansion of x in y
0.056 * [taylor]: Taking taylor expansion of (- (* x y) x) in x
0.056 * [taylor]: Taking taylor expansion of (* x y) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of (- (* x y) x) in x
0.056 * [taylor]: Taking taylor expansion of (* x y) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of 0 in y
0.056 * [taylor]: Taking taylor expansion of (- y 1) in y
0.056 * [taylor]: Taking taylor expansion of y in y
0.056 * [taylor]: Taking taylor expansion of 1 in y
0.056 * [taylor]: Taking taylor expansion of 0 in y
0.056 * [taylor]: Taking taylor expansion of 0 in y
0.057 * [taylor]: Taking taylor expansion of 0 in y
0.057 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
0.057 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
0.057 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.057 * [taylor]: Taking taylor expansion of (* x y) in y
0.057 * [taylor]: Taking taylor expansion of x in y
0.057 * [taylor]: Taking taylor expansion of y in y
0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.057 * [taylor]: Taking taylor expansion of x in y
0.057 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
0.057 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.057 * [taylor]: Taking taylor expansion of (* x y) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.057 * [taylor]: Taking taylor expansion of y in x
0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.057 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
0.057 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.057 * [taylor]: Taking taylor expansion of (* x y) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.057 * [taylor]: Taking taylor expansion of y in x
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.058 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.058 * [taylor]: Taking taylor expansion of y in y
0.058 * [taylor]: Taking taylor expansion of 1 in y
0.058 * [taylor]: Taking taylor expansion of 0 in y
0.058 * [taylor]: Taking taylor expansion of 0 in y
0.058 * [taylor]: Taking taylor expansion of 0 in y
0.059 * [taylor]: Taking taylor expansion of 0 in y
0.059 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0
0.059 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.059 * [taylor]: Taking taylor expansion of x in y
0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.059 * [taylor]: Taking taylor expansion of (* x y) in y
0.059 * [taylor]: Taking taylor expansion of x in y
0.059 * [taylor]: Taking taylor expansion of y in y
0.059 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.059 * [taylor]: Taking taylor expansion of (* x y) in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.060 * [taylor]: Taking taylor expansion of (* x y) in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.060 * [taylor]: Taking taylor expansion of 1 in y
0.060 * [taylor]: Taking taylor expansion of 0 in y
0.060 * [taylor]: Taking taylor expansion of 0 in y
0.061 * [taylor]: Taking taylor expansion of 0 in y
0.061 * [taylor]: Taking taylor expansion of 0 in y
0.061 * * * [progress]: simplifying candidates
0.061 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp (* x y)) (exp x))
  (log (- (* x y) x))
  (exp (- (* x y) x))
  (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))
  (cbrt (- (* x y) x))
  (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x))
  (sqrt (- (* x y) x))
  (sqrt (- (* x y) x))
  (- (pow (* x y) 3) (pow x 3))
  (+ (* (* x y) (* x y)) (+ (* x x) (* (* x y) x)))
  (neg x)
  (- (* (* x y) (* x y)) (* x x))
  (+ (* x y) x)
  (neg x)
  (- (* x y) x)
  (- (* x y) x)
  (- (* x y) x)
0.062 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.063 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
0.064 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
0.066 * * [simplify]: iteration  3 :  31  enodes  (cost  6 )
0.070 * * [simplify]: iteration  4 :  69  enodes  (cost  6 )
0.083 * * [simplify]: iteration  5 :  180  enodes  (cost  6 )
0.173 * * [simplify]: iteration  6 :  554  enodes  (cost  6 )
0.986 * * [simplify]: iteration  7 :  2198  enodes  (cost  6 )
3.113 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
3.114 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
3.114 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
3.116 * * [simplify]: iteration  2 :  9  enodes  (cost  6 )
3.117 * * [simplify]: iteration  done :  9  enodes  (cost  6 )
3.117 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
3.118 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
3.119 * * [simplify]: iteration  2 :  17  enodes  (cost  6 )
3.121 * * [simplify]: iteration  3 :  27  enodes  (cost  6 )
3.125 * * [simplify]: iteration  4 :  55  enodes  (cost  6 )
3.139 * * [simplify]: iteration  5 :  135  enodes  (cost  6 )
3.199 * * [simplify]: iteration  6 :  421  enodes  (cost  6 )
3.509 * * [simplify]: iteration  7 :  1163  enodes  (cost  6 )
5.355 * * [simplify]: iteration  8 :  3680  enodes  (cost  6 )
6.589 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
6.590 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
6.591 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
6.592 * * [simplify]: iteration  2 :  10  enodes  (cost  13 )
6.593 * * [simplify]: iteration  done :  10  enodes  (cost  13 )
6.593 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
6.594 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
6.595 * * [simplify]: iteration  2 :  9  enodes  (cost  6 )
6.596 * * [simplify]: iteration  done :  9  enodes  (cost  6 )
6.597 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
6.597 * * [simplify]: iteration  1 :  10  enodes  (cost  17 )
6.599 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
6.604 * * [simplify]: iteration  3 :  80  enodes  (cost  7 )
6.630 * * [simplify]: iteration  4 :  254  enodes  (cost  7 )
6.752 * * [simplify]: iteration  5 :  776  enodes  (cost  7 )
7.764 * * [simplify]: iteration  6 :  2773  enodes  (cost  7 )
9.320 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
9.321 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
9.322 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
9.322 * * [simplify]: iteration  2 :  9  enodes  (cost  6 )
9.323 * * [simplify]: iteration  done :  9  enodes  (cost  6 )
9.324 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
9.325 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
9.326 * * [simplify]: iteration  2 :  9  enodes  (cost  6 )
9.327 * * [simplify]: iteration  done :  9  enodes  (cost  6 )
9.327 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
9.328 * * [simplify]: iteration  1 :  25  enodes  (cost  9 )
9.333 * * [simplify]: iteration  2 :  77  enodes  (cost  9 )
9.352 * * [simplify]: iteration  3 :  202  enodes  (cost  9 )
9.432 * * [simplify]: iteration  4 :  475  enodes  (cost  9 )
9.755 * * [simplify]: iteration  5 :  1548  enodes  (cost  9 )
11.306 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
11.307 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
11.308 * * [simplify]: iteration  1 :  21  enodes  (cost  15 )
11.312 * * [simplify]: iteration  2 :  47  enodes  (cost  13 )
11.323 * * [simplify]: iteration  3 :  78  enodes  (cost  11 )
11.344 * * [simplify]: iteration  4 :  117  enodes  (cost  11 )
11.375 * * [simplify]: iteration  5 :  178  enodes  (cost  11 )
11.424 * * [simplify]: iteration  6 :  189  enodes  (cost  11 )
11.462 * * [simplify]: iteration  7 :  240  enodes  (cost  11 )
11.535 * * [simplify]: iteration  8 :  305  enodes  (cost  11 )
11.590 * * [simplify]: iteration  9 :  311  enodes  (cost  11 )
11.644 * * [simplify]: iteration  done :  311  enodes  (cost  11 )
11.645 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
11.645 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
11.646 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
11.647 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
11.650 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
11.658 * * [simplify]: iteration  3 :  67  enodes  (cost  9 )
11.674 * * [simplify]: iteration  4 :  126  enodes  (cost  9 )
11.722 * * [simplify]: iteration  5 :  276  enodes  (cost  9 )
12.048 * * [simplify]: iteration  6 :  490  enodes  (cost  9 )
12.325 * * [simplify]: iteration  7 :  997  enodes  (cost  9 )
14.077 * * [simplify]: iteration  8 :  3163  enodes  (cost  9 )
16.505 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
16.505 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
16.506 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
16.507 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
16.508 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
16.509 * * [simplify]: iteration  4 :  19  enodes  (cost  5 )
16.512 * * [simplify]: iteration  done :  19  enodes  (cost  5 )
16.512 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
16.512 * * [simplify]: iteration  done :  2  enodes  (cost  2 )
16.513 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
16.513 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
16.514 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
16.515 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
16.516 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
16.516 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
16.517 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
16.519 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
16.519 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
16.520 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
16.521 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
16.522 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
16.522 * [simplify]: Simplified to:
   (exp (- (* x y) x))
  (log (- (* x y) x))
  (exp (- (* x y) x))
  (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))
  (cbrt (- (* x y) x))
  (pow (- (* x y) x) 3)
  (sqrt (- (* x y) x))
  (sqrt (- (* x y) x))
  (- (pow (* x y) 3) (pow x 3))
  (* (* x (+ (+ y 1) (* y y))) x)
  (neg x)
  (* x (- (* x (* y y)) x))
  (+ (* x y) x)
  (neg x)
  (- (* x y) x)
  (- (* x y) x)
  (- (* x y) x)
16.522 * * * [progress]: adding candidates to table
16.537 * * [progress]: iteration 2 / 4
16.537 * * * [progress]: picking best candidate
16.545 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))>
16.545 * * * [progress]: localizing error
16.559 * * * [progress]: generating rewritten candidates
16.559 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
16.573 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
16.579 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
16.589 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
16.595 * * * [progress]: generating series expansions
16.596 * * * * [progress]: [ 1 / 4 ] generating series at (2)
16.596 * [approximate]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (+ (* x y) x)) in (x y) around 0
16.596 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (+ (* x y) x)) in y
16.596 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in y
16.596 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y
16.596 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.596 * [taylor]: Taking taylor expansion of x in y
16.596 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.596 * [taylor]: Taking taylor expansion of y in y
16.596 * [taylor]: Taking taylor expansion of x in y
16.596 * [taylor]: Taking taylor expansion of x in y
16.596 * [taylor]: Taking taylor expansion of (+ (* x y) x) in y
16.596 * [taylor]: Taking taylor expansion of (* x y) in y
16.596 * [taylor]: Taking taylor expansion of x in y
16.596 * [taylor]: Taking taylor expansion of y in y
16.596 * [taylor]: Taking taylor expansion of x in y
16.596 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (+ (* x y) x)) in x
16.596 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x
16.596 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
16.596 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.596 * [taylor]: Taking taylor expansion of x in x
16.596 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.596 * [taylor]: Taking taylor expansion of y in x
16.596 * [taylor]: Taking taylor expansion of x in x
16.596 * [taylor]: Taking taylor expansion of x in x
16.596 * [taylor]: Taking taylor expansion of (+ (* x y) x) in x
16.596 * [taylor]: Taking taylor expansion of (* x y) in x
16.596 * [taylor]: Taking taylor expansion of x in x
16.597 * [taylor]: Taking taylor expansion of y in x
16.597 * [taylor]: Taking taylor expansion of x in x
16.597 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (+ (* x y) x)) in x
16.597 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x
16.597 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
16.598 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.598 * [taylor]: Taking taylor expansion of x in x
16.598 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.598 * [taylor]: Taking taylor expansion of y in x
16.598 * [taylor]: Taking taylor expansion of x in x
16.598 * [taylor]: Taking taylor expansion of x in x
16.598 * [taylor]: Taking taylor expansion of (+ (* x y) x) in x
16.598 * [taylor]: Taking taylor expansion of (* x y) in x
16.598 * [taylor]: Taking taylor expansion of x in x
16.598 * [taylor]: Taking taylor expansion of y in x
16.598 * [taylor]: Taking taylor expansion of x in x
16.598 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) 1) (+ y 1)) in y
16.599 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y
16.599 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.599 * [taylor]: Taking taylor expansion of y in y
16.599 * [taylor]: Taking taylor expansion of 1 in y
16.599 * [taylor]: Taking taylor expansion of (+ y 1) in y
16.599 * [taylor]: Taking taylor expansion of y in y
16.599 * [taylor]: Taking taylor expansion of 1 in y
16.599 * [taylor]: Taking taylor expansion of 0 in y
16.600 * [taylor]: Taking taylor expansion of 0 in y
16.600 * [taylor]: Taking taylor expansion of 0 in y
16.601 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (+ (/ 1 x) (/ 1 (* x y))))) in (x y) around 0
16.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (+ (/ 1 x) (/ 1 (* x y))))) in y
16.601 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y
16.601 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
16.601 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.601 * [taylor]: Taking taylor expansion of x in y
16.601 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.601 * [taylor]: Taking taylor expansion of y in y
16.601 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.601 * [taylor]: Taking taylor expansion of x in y
16.601 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in y
16.601 * [taylor]: Taking taylor expansion of x in y
16.601 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
16.601 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.601 * [taylor]: Taking taylor expansion of x in y
16.601 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
16.601 * [taylor]: Taking taylor expansion of (* x y) in y
16.601 * [taylor]: Taking taylor expansion of x in y
16.601 * [taylor]: Taking taylor expansion of y in y
16.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x
16.601 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
16.601 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.602 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.602 * [taylor]: Taking taylor expansion of x in x
16.602 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.602 * [taylor]: Taking taylor expansion of y in x
16.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.602 * [taylor]: Taking taylor expansion of x in x
16.602 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x
16.602 * [taylor]: Taking taylor expansion of x in x
16.602 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
16.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.602 * [taylor]: Taking taylor expansion of x in x
16.602 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.602 * [taylor]: Taking taylor expansion of (* x y) in x
16.602 * [taylor]: Taking taylor expansion of x in x
16.602 * [taylor]: Taking taylor expansion of y in x
16.603 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x
16.603 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
16.603 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.603 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.603 * [taylor]: Taking taylor expansion of x in x
16.603 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.603 * [taylor]: Taking taylor expansion of y in x
16.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.603 * [taylor]: Taking taylor expansion of x in x
16.603 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x
16.603 * [taylor]: Taking taylor expansion of x in x
16.603 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
16.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.603 * [taylor]: Taking taylor expansion of x in x
16.603 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.603 * [taylor]: Taking taylor expansion of (* x y) in x
16.603 * [taylor]: Taking taylor expansion of x in x
16.603 * [taylor]: Taking taylor expansion of y in x
16.604 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) 1) (+ 1 (/ 1 y))) in y
16.604 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y
16.604 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.604 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.604 * [taylor]: Taking taylor expansion of y in y
16.604 * [taylor]: Taking taylor expansion of 1 in y
16.604 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
16.604 * [taylor]: Taking taylor expansion of 1 in y
16.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.604 * [taylor]: Taking taylor expansion of y in y
16.605 * [taylor]: Taking taylor expansion of 0 in y
16.606 * [taylor]: Taking taylor expansion of 0 in y
16.607 * [taylor]: Taking taylor expansion of 0 in y
16.608 * [taylor]: Taking taylor expansion of 0 in y
16.609 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (- (/ 1 (* x y)) (/ 1 x))))) in (x y) around 0
16.609 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (- (/ 1 (* x y)) (/ 1 x))))) in y
16.609 * [taylor]: Taking taylor expansion of -1 in y
16.609 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (- (/ 1 (* x y)) (/ 1 x)))) in y
16.609 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y
16.609 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.609 * [taylor]: Taking taylor expansion of x in y
16.609 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
16.609 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.609 * [taylor]: Taking taylor expansion of x in y
16.609 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.609 * [taylor]: Taking taylor expansion of y in y
16.609 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in y
16.609 * [taylor]: Taking taylor expansion of x in y
16.609 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
16.609 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
16.609 * [taylor]: Taking taylor expansion of (* x y) in y
16.609 * [taylor]: Taking taylor expansion of x in y
16.609 * [taylor]: Taking taylor expansion of y in y
16.609 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.609 * [taylor]: Taking taylor expansion of x in y
16.610 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (- (/ 1 (* x y)) (/ 1 x))))) in x
16.610 * [taylor]: Taking taylor expansion of -1 in x
16.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x
16.610 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
16.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.610 * [taylor]: Taking taylor expansion of x in x
16.610 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.610 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.610 * [taylor]: Taking taylor expansion of x in x
16.610 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.610 * [taylor]: Taking taylor expansion of y in x
16.610 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x
16.610 * [taylor]: Taking taylor expansion of x in x
16.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
16.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.610 * [taylor]: Taking taylor expansion of (* x y) in x
16.610 * [taylor]: Taking taylor expansion of x in x
16.610 * [taylor]: Taking taylor expansion of y in x
16.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.610 * [taylor]: Taking taylor expansion of x in x
16.611 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (- (/ 1 (* x y)) (/ 1 x))))) in x
16.611 * [taylor]: Taking taylor expansion of -1 in x
16.611 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x
16.611 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
16.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.611 * [taylor]: Taking taylor expansion of x in x
16.611 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.611 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.611 * [taylor]: Taking taylor expansion of x in x
16.611 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.611 * [taylor]: Taking taylor expansion of y in x
16.611 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x
16.611 * [taylor]: Taking taylor expansion of x in x
16.611 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
16.611 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.611 * [taylor]: Taking taylor expansion of (* x y) in x
16.611 * [taylor]: Taking taylor expansion of x in x
16.611 * [taylor]: Taking taylor expansion of y in x
16.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.611 * [taylor]: Taking taylor expansion of x in x
16.612 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (pow y 2))) (- (/ 1 y) 1))) in y
16.612 * [taylor]: Taking taylor expansion of -1 in y
16.612 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow y 2))) (- (/ 1 y) 1)) in y
16.612 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y
16.612 * [taylor]: Taking taylor expansion of 1 in y
16.612 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.612 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.612 * [taylor]: Taking taylor expansion of y in y
16.612 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
16.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.612 * [taylor]: Taking taylor expansion of y in y
16.612 * [taylor]: Taking taylor expansion of 1 in y
16.613 * [taylor]: Taking taylor expansion of 0 in y
16.614 * [taylor]: Taking taylor expansion of 0 in y
16.616 * [taylor]: Taking taylor expansion of 0 in y
16.618 * [taylor]: Taking taylor expansion of 0 in y
16.618 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
16.618 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
16.618 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.618 * [taylor]: Taking taylor expansion of x in y
16.618 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.618 * [taylor]: Taking taylor expansion of y in y
16.618 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.618 * [taylor]: Taking taylor expansion of x in x
16.618 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.618 * [taylor]: Taking taylor expansion of y in x
16.618 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.618 * [taylor]: Taking taylor expansion of x in x
16.618 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.618 * [taylor]: Taking taylor expansion of y in x
16.618 * [taylor]: Taking taylor expansion of 0 in y
16.618 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.618 * [taylor]: Taking taylor expansion of y in y
16.619 * [taylor]: Taking taylor expansion of 0 in y
16.619 * [taylor]: Taking taylor expansion of 0 in y
16.619 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
16.619 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
16.619 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.619 * [taylor]: Taking taylor expansion of x in y
16.619 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.619 * [taylor]: Taking taylor expansion of y in y
16.619 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.619 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.619 * [taylor]: Taking taylor expansion of x in x
16.619 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.619 * [taylor]: Taking taylor expansion of y in x
16.619 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.619 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.619 * [taylor]: Taking taylor expansion of x in x
16.619 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.619 * [taylor]: Taking taylor expansion of y in x
16.620 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.620 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.620 * [taylor]: Taking taylor expansion of y in y
16.620 * [taylor]: Taking taylor expansion of 0 in y
16.620 * [taylor]: Taking taylor expansion of 0 in y
16.621 * [taylor]: Taking taylor expansion of 0 in y
16.622 * [taylor]: Taking taylor expansion of 0 in y
16.622 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
16.622 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
16.622 * [taylor]: Taking taylor expansion of -1 in y
16.622 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.622 * [taylor]: Taking taylor expansion of x in y
16.622 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.622 * [taylor]: Taking taylor expansion of y in y
16.622 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
16.622 * [taylor]: Taking taylor expansion of -1 in x
16.622 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.622 * [taylor]: Taking taylor expansion of x in x
16.622 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.622 * [taylor]: Taking taylor expansion of y in x
16.623 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
16.623 * [taylor]: Taking taylor expansion of -1 in x
16.623 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.623 * [taylor]: Taking taylor expansion of x in x
16.623 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.623 * [taylor]: Taking taylor expansion of y in x
16.623 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
16.623 * [taylor]: Taking taylor expansion of -1 in y
16.623 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.623 * [taylor]: Taking taylor expansion of y in y
16.623 * [taylor]: Taking taylor expansion of 0 in y
16.624 * [taylor]: Taking taylor expansion of 0 in y
16.624 * [taylor]: Taking taylor expansion of 0 in y
16.625 * [taylor]: Taking taylor expansion of 0 in y
16.625 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
16.625 * [approximate]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in (x y) around 0
16.625 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in y
16.625 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y
16.625 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.625 * [taylor]: Taking taylor expansion of x in y
16.625 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.625 * [taylor]: Taking taylor expansion of y in y
16.626 * [taylor]: Taking taylor expansion of x in y
16.626 * [taylor]: Taking taylor expansion of x in y
16.626 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x
16.626 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
16.626 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.626 * [taylor]: Taking taylor expansion of x in x
16.626 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.626 * [taylor]: Taking taylor expansion of y in x
16.626 * [taylor]: Taking taylor expansion of x in x
16.626 * [taylor]: Taking taylor expansion of x in x
16.626 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x
16.626 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
16.626 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.626 * [taylor]: Taking taylor expansion of x in x
16.626 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.626 * [taylor]: Taking taylor expansion of y in x
16.626 * [taylor]: Taking taylor expansion of x in x
16.626 * [taylor]: Taking taylor expansion of x in x
16.626 * [taylor]: Taking taylor expansion of 0 in y
16.626 * [taylor]: Taking taylor expansion of 0 in y
16.627 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y
16.627 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.627 * [taylor]: Taking taylor expansion of y in y
16.627 * [taylor]: Taking taylor expansion of 1 in y
16.627 * [taylor]: Taking taylor expansion of 0 in y
16.627 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in (x y) around 0
16.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in y
16.627 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y
16.627 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
16.627 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.627 * [taylor]: Taking taylor expansion of x in y
16.627 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.627 * [taylor]: Taking taylor expansion of y in y
16.627 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.627 * [taylor]: Taking taylor expansion of x in y
16.627 * [taylor]: Taking taylor expansion of x in y
16.628 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in x
16.628 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
16.628 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.628 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.628 * [taylor]: Taking taylor expansion of x in x
16.628 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.628 * [taylor]: Taking taylor expansion of y in x
16.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.628 * [taylor]: Taking taylor expansion of x in x
16.628 * [taylor]: Taking taylor expansion of x in x
16.628 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in x
16.628 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
16.628 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.628 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.628 * [taylor]: Taking taylor expansion of x in x
16.628 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.628 * [taylor]: Taking taylor expansion of y in x
16.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.629 * [taylor]: Taking taylor expansion of x in x
16.629 * [taylor]: Taking taylor expansion of x in x
16.629 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y
16.629 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.629 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.629 * [taylor]: Taking taylor expansion of y in y
16.629 * [taylor]: Taking taylor expansion of 1 in y
16.629 * [taylor]: Taking taylor expansion of 0 in y
16.630 * [taylor]: Taking taylor expansion of 0 in y
16.631 * [taylor]: Taking taylor expansion of 0 in y
16.632 * [taylor]: Taking taylor expansion of 0 in y
16.633 * [taylor]: Taking taylor expansion of 0 in y
16.633 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in (x y) around 0
16.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in y
16.634 * [taylor]: Taking taylor expansion of -1 in y
16.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in y
16.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y
16.634 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.634 * [taylor]: Taking taylor expansion of x in y
16.634 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
16.634 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
16.634 * [taylor]: Taking taylor expansion of x in y
16.634 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.634 * [taylor]: Taking taylor expansion of y in y
16.634 * [taylor]: Taking taylor expansion of x in y
16.634 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in x
16.634 * [taylor]: Taking taylor expansion of -1 in x
16.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in x
16.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
16.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.634 * [taylor]: Taking taylor expansion of x in x
16.634 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.634 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.634 * [taylor]: Taking taylor expansion of x in x
16.634 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.634 * [taylor]: Taking taylor expansion of y in x
16.634 * [taylor]: Taking taylor expansion of x in x
16.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in x
16.635 * [taylor]: Taking taylor expansion of -1 in x
16.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in x
16.635 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
16.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.635 * [taylor]: Taking taylor expansion of x in x
16.635 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
16.635 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
16.635 * [taylor]: Taking taylor expansion of x in x
16.635 * [taylor]: Taking taylor expansion of (pow y 2) in x
16.635 * [taylor]: Taking taylor expansion of y in x
16.635 * [taylor]: Taking taylor expansion of x in x
16.635 * [taylor]: Taking taylor expansion of (* -1 (- 1 (/ 1 (pow y 2)))) in y
16.635 * [taylor]: Taking taylor expansion of -1 in y
16.635 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y
16.635 * [taylor]: Taking taylor expansion of 1 in y
16.635 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
16.635 * [taylor]: Taking taylor expansion of (pow y 2) in y
16.636 * [taylor]: Taking taylor expansion of y in y
16.636 * [taylor]: Taking taylor expansion of 0 in y
16.637 * [taylor]: Taking taylor expansion of 0 in y
16.638 * [taylor]: Taking taylor expansion of 0 in y
16.639 * [taylor]: Taking taylor expansion of 0 in y
16.640 * [taylor]: Taking taylor expansion of 0 in y
16.640 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
16.640 * [approximate]: Taking taylor expansion of (+ (* x y) x) in (x y) around 0
16.640 * [taylor]: Taking taylor expansion of (+ (* x y) x) in y
16.640 * [taylor]: Taking taylor expansion of (* x y) in y
16.640 * [taylor]: Taking taylor expansion of x in y
16.640 * [taylor]: Taking taylor expansion of y in y
16.640 * [taylor]: Taking taylor expansion of x in y
16.640 * [taylor]: Taking taylor expansion of (+ (* x y) x) in x
16.640 * [taylor]: Taking taylor expansion of (* x y) in x
16.640 * [taylor]: Taking taylor expansion of x in x
16.640 * [taylor]: Taking taylor expansion of y in x
16.640 * [taylor]: Taking taylor expansion of x in x
16.640 * [taylor]: Taking taylor expansion of (+ (* x y) x) in x
16.640 * [taylor]: Taking taylor expansion of (* x y) in x
16.640 * [taylor]: Taking taylor expansion of x in x
16.641 * [taylor]: Taking taylor expansion of y in x
16.641 * [taylor]: Taking taylor expansion of x in x
16.641 * [taylor]: Taking taylor expansion of 0 in y
16.641 * [taylor]: Taking taylor expansion of (+ y 1) in y
16.641 * [taylor]: Taking taylor expansion of y in y
16.641 * [taylor]: Taking taylor expansion of 1 in y
16.641 * [taylor]: Taking taylor expansion of 0 in y
16.641 * [taylor]: Taking taylor expansion of 0 in y
16.641 * [taylor]: Taking taylor expansion of 0 in y
16.641 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0
16.641 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
16.641 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.641 * [taylor]: Taking taylor expansion of x in y
16.641 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
16.641 * [taylor]: Taking taylor expansion of (* x y) in y
16.641 * [taylor]: Taking taylor expansion of x in y
16.641 * [taylor]: Taking taylor expansion of y in y
16.642 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
16.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.642 * [taylor]: Taking taylor expansion of x in x
16.642 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.642 * [taylor]: Taking taylor expansion of (* x y) in x
16.642 * [taylor]: Taking taylor expansion of x in x
16.642 * [taylor]: Taking taylor expansion of y in x
16.642 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
16.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.642 * [taylor]: Taking taylor expansion of x in x
16.642 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.642 * [taylor]: Taking taylor expansion of (* x y) in x
16.642 * [taylor]: Taking taylor expansion of x in x
16.642 * [taylor]: Taking taylor expansion of y in x
16.642 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
16.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.642 * [taylor]: Taking taylor expansion of y in y
16.642 * [taylor]: Taking taylor expansion of 1 in y
16.642 * [taylor]: Taking taylor expansion of 0 in y
16.642 * [taylor]: Taking taylor expansion of 0 in y
16.643 * [taylor]: Taking taylor expansion of 0 in y
16.643 * [taylor]: Taking taylor expansion of 0 in y
16.643 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
16.643 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
16.643 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
16.643 * [taylor]: Taking taylor expansion of (* x y) in y
16.643 * [taylor]: Taking taylor expansion of x in y
16.643 * [taylor]: Taking taylor expansion of y in y
16.644 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.644 * [taylor]: Taking taylor expansion of x in y
16.644 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
16.644 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.644 * [taylor]: Taking taylor expansion of (* x y) in x
16.644 * [taylor]: Taking taylor expansion of x in x
16.644 * [taylor]: Taking taylor expansion of y in x
16.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.644 * [taylor]: Taking taylor expansion of x in x
16.644 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
16.644 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.644 * [taylor]: Taking taylor expansion of (* x y) in x
16.644 * [taylor]: Taking taylor expansion of x in x
16.644 * [taylor]: Taking taylor expansion of y in x
16.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.644 * [taylor]: Taking taylor expansion of x in x
16.644 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
16.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.644 * [taylor]: Taking taylor expansion of y in y
16.644 * [taylor]: Taking taylor expansion of 1 in y
16.644 * [taylor]: Taking taylor expansion of 0 in y
16.645 * [taylor]: Taking taylor expansion of 0 in y
16.645 * [taylor]: Taking taylor expansion of 0 in y
16.645 * [taylor]: Taking taylor expansion of 0 in y
16.645 * * * [progress]: simplifying candidates
16.647 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log x) (log (- (* x (* y y)) x))) (log (+ (* x y) x)))
  (- (log (* x (- (* x (* y y)) x))) (log (+ (* x y) x)))
  (log (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))
  (exp (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))
  (/ (* (* (* x x) x) (* (* (- (* x (* y y)) x) (- (* x (* y y)) x)) (- (* x (* y y)) x))) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)))
  (/ (* (* (* x (- (* x (* y y)) x)) (* x (- (* x (* y y)) x))) (* x (- (* x (* y y)) x))) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)))
  (* (cbrt (/ (* x (- (* x (* y y)) x)) (+ (* x y) x))) (cbrt (/ (* x (- (* x (* y y)) x)) (+ (* x y) x))))
  (cbrt (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))
  (* (* (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)) (/ (* x (- (* x (* y y)) x)) (+ (* x y) x))) (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))
  (sqrt (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))
  (sqrt (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))
  (neg (* x (- (* x (* y y)) x)))
  (neg (+ (* x y) x))
  (/ x (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))
  (/ (- (* x (* y y)) x) (cbrt (+ (* x y) x)))
  (/ x (sqrt (+ (* x y) x)))
  (/ (- (* x (* y y)) x) (sqrt (+ (* x y) x)))
  (/ x 1)
  (/ (- (* x (* y y)) x) (+ (* x y) x))
  (/ 1 (+ (* x y) x))
  (/ (+ (* x y) x) (* x (- (* x (* y y)) x)))
  (/ (* x (- (* x (* y y)) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))
  (/ (* x (- (* x (* y y)) x)) (sqrt (+ (* x y) x)))
  (/ (* x (- (* x (* y y)) x)) 1)
  (/ (+ (* x y) x) (- (* x (* y y)) x))
  (/ (* x (- (* x (* y y)) x)) (+ (pow (* x y) 3) (pow x 3)))
  (/ (* x (- (* x (* y y)) x)) (- (* (* x y) (* x y)) (* x x)))
  (* (+ (* x y) x) (+ (* (* x (* y y)) (* x (* y y))) (+ (* x x) (* (* x (* y y)) x))))
  (* (+ (* x y) x) (+ (* x (* y y)) x))
  (* x (* y y))
  (* x (* y y))
  (+ (log x) (+ (log y) (log y)))
  (+ (log x) (log (* y y)))
  (log (* x (* y y)))
  (exp (* x (* y y)))
  (* (* (* x x) x) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* x x) x) (* (* (* y y) (* 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)))
  (* (sqrt x) y)
  (* (sqrt x) y)
  (* x y)
  (* (cbrt x) (* y y))
  (* (sqrt x) (* y y))
  (* x (* y y))
  (* x (- (* x (* y y)) x))
  (+ (log x) (log (- (* x (* y y)) x)))
  (log (* x (- (* x (* y y)) x)))
  (exp (* x (- (* x (* y y)) x)))
  (* (* (* x x) x) (* (* (- (* x (* y y)) x) (- (* x (* y y)) x)) (- (* x (* y y)) x)))
  (* (cbrt (* x (- (* x (* y y)) x))) (cbrt (* x (- (* x (* y y)) x))))
  (cbrt (* x (- (* x (* y y)) x)))
  (* (* (* x (- (* x (* y y)) x)) (* x (- (* x (* y y)) x))) (* x (- (* x (* y y)) x)))
  (sqrt (* x (- (* x (* y y)) x)))
  (sqrt (* x (- (* x (* y y)) x)))
  (* (sqrt x) (sqrt (- (* x (* y y)) x)))
  (* (sqrt x) (sqrt (- (* x (* y y)) x)))
  (* x (* x (* y y)))
  (* x (neg x))
  (* x (* x (* y y)))
  (* x (neg x))
  (* (* x (* y y)) x)
  (* (neg x) x)
  (* (* x (* y y)) x)
  (* (neg x) x)
  (* x (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))))
  (* x (sqrt (- (* x (* y y)) x)))
  (* x 1)
  (* (cbrt x) (- (* x (* y y)) x))
  (* (sqrt x) (- (* x (* y y)) x))
  (* x (- (* x (* y y)) x))
  (* x (- (pow (* x (* y y)) 3) (pow x 3)))
  (* x (- (* (* x (* y y)) (* x (* y y))) (* x x)))
  (* (exp (* x y)) (exp x))
  (log (+ (* x y) x))
  (exp (+ (* x y) x))
  (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))
  (cbrt (+ (* x y) x))
  (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (+ (pow (* x y) 3) (pow x 3))
  (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))
  (- (* (* x y) (* x y)) (* x x))
  (- (* x y) x)
  (- (* x y) x)
  (- (* x y) x)
  (- (* x y) x)
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (* -1 (pow x 2))
  (- (* (pow x 2) (pow y 2)) (pow x 2))
  (- (* (pow x 2) (pow y 2)) (pow x 2))
  (+ (* x y) x)
  (+ x (* x y))
  (+ x (* x y))
16.647 * * [simplify]: iteration  0 :  12  enodes  (cost  18 )
16.649 * * [simplify]: iteration  1 :  23  enodes  (cost  18 )
16.652 * * [simplify]: iteration  2 :  35  enodes  (cost  18 )
16.661 * * [simplify]: iteration  3 :  47  enodes  (cost  18 )
16.667 * * [simplify]: iteration  4 :  70  enodes  (cost  18 )
16.678 * * [simplify]: iteration  5 :  114  enodes  (cost  15 )
16.706 * * [simplify]: iteration  6 :  188  enodes  (cost  13 )
16.940 * * [simplify]: iteration  7 :  735  enodes  (cost  13 )
21.137 * * [simplify]: iteration  8 :  2943  enodes  (cost  13 )
25.700 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
25.701 * * [simplify]: iteration  0 :  11  enodes  (cost  17 )
25.702 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
25.706 * * [simplify]: iteration  2 :  40  enodes  (cost  17 )
25.711 * * [simplify]: iteration  3 :  65  enodes  (cost  17 )
25.720 * * [simplify]: iteration  4 :  87  enodes  (cost  17 )
25.738 * * [simplify]: iteration  5 :  122  enodes  (cost  17 )
25.761 * * [simplify]: iteration  6 :  190  enodes  (cost  15 )
25.842 * * [simplify]: iteration  7 :  340  enodes  (cost  13 )
26.406 * * [simplify]: iteration  8 :  1513  enodes  (cost  13 )
29.093 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
29.094 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
29.096 * * [simplify]: iteration  1 :  22  enodes  (cost  16 )
29.099 * * [simplify]: iteration  2 :  45  enodes  (cost  16 )
29.106 * * [simplify]: iteration  3 :  102  enodes  (cost  16 )
29.128 * * [simplify]: iteration  4 :  221  enodes  (cost  14 )
29.220 * * [simplify]: iteration  5 :  507  enodes  (cost  12 )
29.800 * * [simplify]: iteration  6 :  1994  enodes  (cost  12 )
32.271 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
32.272 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
32.278 * * [simplify]: iteration  1 :  19  enodes  (cost  16 )
32.281 * * [simplify]: iteration  2 :  34  enodes  (cost  16 )
32.286 * * [simplify]: iteration  3 :  75  enodes  (cost  16 )
32.301 * * [simplify]: iteration  4 :  176  enodes  (cost  14 )
32.385 * * [simplify]: iteration  5 :  437  enodes  (cost  12 )
33.041 * * [simplify]: iteration  6 :  1595  enodes  (cost  12 )
35.371 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
35.372 * * [simplify]: iteration  0 :  15  enodes  (cost  47 )
35.374 * * [simplify]: iteration  1 :  48  enodes  (cost  47 )
35.390 * * [simplify]: iteration  2 :  208  enodes  (cost  21 )
35.473 * * [simplify]: iteration  3 :  1047  enodes  (cost  21 )
36.527 * * [simplify]: iteration  done :  5000  enodes  (cost  21 )
36.527 * * [simplify]: iteration  0 :  13  enodes  (cost  47 )
36.530 * * [simplify]: iteration  1 :  50  enodes  (cost  47 )
36.542 * * [simplify]: iteration  2 :  221  enodes  (cost  19 )
36.651 * * [simplify]: iteration  3 :  1192  enodes  (cost  17 )
38.151 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
38.152 * * [simplify]: iteration  0 :  11  enodes  (cost  33 )
38.153 * * [simplify]: iteration  1 :  20  enodes  (cost  33 )
38.156 * * [simplify]: iteration  2 :  35  enodes  (cost  33 )
38.162 * * [simplify]: iteration  3 :  74  enodes  (cost  33 )
38.175 * * [simplify]: iteration  4 :  156  enodes  (cost  29 )
38.250 * * [simplify]: iteration  5 :  364  enodes  (cost  25 )
38.673 * * [simplify]: iteration  6 :  1354  enodes  (cost  25 )
41.811 * * [simplify]: iteration  done :  5001  enodes  (cost  25 )
41.812 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
41.813 * * [simplify]: iteration  1 :  19  enodes  (cost  16 )
41.816 * * [simplify]: iteration  2 :  34  enodes  (cost  16 )
41.822 * * [simplify]: iteration  3 :  73  enodes  (cost  16 )
41.837 * * [simplify]: iteration  4 :  155  enodes  (cost  14 )
41.910 * * [simplify]: iteration  5 :  363  enodes  (cost  12 )
42.339 * * [simplify]: iteration  6 :  1346  enodes  (cost  12 )
45.481 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
45.481 * * [simplify]: iteration  0 :  11  enodes  (cost  47 )
45.483 * * [simplify]: iteration  1 :  27  enodes  (cost  47 )
45.488 * * [simplify]: iteration  2 :  79  enodes  (cost  17 )
45.515 * * [simplify]: iteration  3 :  400  enodes  (cost  17 )
46.037 * * [simplify]: iteration  4 :  3368  enodes  (cost  15 )
47.304 * * [simplify]: iteration  done :  5000  enodes  (cost  15 )
47.305 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
47.306 * * [simplify]: iteration  1 :  19  enodes  (cost  16 )
47.309 * * [simplify]: iteration  2 :  34  enodes  (cost  16 )
47.315 * * [simplify]: iteration  3 :  73  enodes  (cost  16 )
47.333 * * [simplify]: iteration  4 :  155  enodes  (cost  14 )
47.406 * * [simplify]: iteration  5 :  363  enodes  (cost  12 )
47.835 * * [simplify]: iteration  6 :  1346  enodes  (cost  12 )
51.218 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
51.219 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
51.220 * * [simplify]: iteration  1 :  19  enodes  (cost  16 )
51.223 * * [simplify]: iteration  2 :  34  enodes  (cost  16 )
51.228 * * [simplify]: iteration  3 :  73  enodes  (cost  16 )
51.246 * * [simplify]: iteration  4 :  155  enodes  (cost  14 )
51.319 * * [simplify]: iteration  5 :  363  enodes  (cost  12 )
51.750 * * [simplify]: iteration  6 :  1346  enodes  (cost  12 )
54.887 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
54.887 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
54.889 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
54.891 * * [simplify]: iteration  2 :  35  enodes  (cost  10 )
54.899 * * [simplify]: iteration  3 :  80  enodes  (cost  10 )
54.924 * * [simplify]: iteration  4 :  125  enodes  (cost  9 )
54.956 * * [simplify]: iteration  5 :  204  enodes  (cost  9 )
55.070 * * [simplify]: iteration  6 :  369  enodes  (cost  9 )
55.195 * * [simplify]: iteration  7 :  558  enodes  (cost  9 )
55.470 * * [simplify]: iteration  8 :  872  enodes  (cost  9 )
56.169 * * [simplify]: iteration  9 :  1538  enodes  (cost  9 )
59.922 * * [simplify]: iteration  10 :  3804  enodes  (cost  9 )
61.564 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
61.564 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
61.565 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
61.566 * * [simplify]: iteration  2 :  20  enodes  (cost  6 )
61.569 * * [simplify]: iteration  3 :  28  enodes  (cost  6 )
61.573 * * [simplify]: iteration  4 :  40  enodes  (cost  6 )
61.580 * * [simplify]: iteration  5 :  56  enodes  (cost  5 )
61.588 * * [simplify]: iteration  6 :  58  enodes  (cost  5 )
61.601 * * [simplify]: iteration  7 :  89  enodes  (cost  5 )
61.629 * * [simplify]: iteration  8 :  160  enodes  (cost  5 )
61.660 * * [simplify]: iteration  9 :  173  enodes  (cost  5 )
61.678 * * [simplify]: iteration  done :  173  enodes  (cost  5 )
61.678 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
61.679 * * [simplify]: iteration  1 :  11  enodes  (cost  15 )
61.681 * * [simplify]: iteration  2 :  14  enodes  (cost  15 )
61.682 * * [simplify]: iteration  3 :  18  enodes  (cost  15 )
61.684 * * [simplify]: iteration  4 :  24  enodes  (cost  15 )
61.688 * * [simplify]: iteration  done :  24  enodes  (cost  15 )
61.688 * * [simplify]: iteration  0 :  9  enodes  (cost  14 )
61.689 * * [simplify]: iteration  1 :  18  enodes  (cost  14 )
61.692 * * [simplify]: iteration  2 :  31  enodes  (cost  14 )
61.696 * * [simplify]: iteration  3 :  50  enodes  (cost  14 )
61.703 * * [simplify]: iteration  4 :  69  enodes  (cost  14 )
61.717 * * [simplify]: iteration  5 :  74  enodes  (cost  14 )
61.727 * * [simplify]: iteration  6 :  76  enodes  (cost  14 )
61.736 * * [simplify]: iteration  done :  76  enodes  (cost  14 )
61.736 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
61.737 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
61.738 * * [simplify]: iteration  2 :  11  enodes  (cost  8 )
61.739 * * [simplify]: iteration  3 :  15  enodes  (cost  8 )
61.741 * * [simplify]: iteration  4 :  21  enodes  (cost  8 )
61.744 * * [simplify]: iteration  done :  21  enodes  (cost  8 )
61.745 * * [simplify]: iteration  0 :  9  enodes  (cost  14 )
61.746 * * [simplify]: iteration  1 :  18  enodes  (cost  14 )
61.748 * * [simplify]: iteration  2 :  31  enodes  (cost  14 )
61.753 * * [simplify]: iteration  3 :  50  enodes  (cost  14 )
61.760 * * [simplify]: iteration  4 :  69  enodes  (cost  14 )
61.774 * * [simplify]: iteration  5 :  74  enodes  (cost  14 )
61.783 * * [simplify]: iteration  6 :  76  enodes  (cost  14 )
61.792 * * [simplify]: iteration  done :  76  enodes  (cost  14 )
61.793 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
61.793 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
61.794 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
61.794 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
61.796 * * [simplify]: iteration  1 :  17  enodes  (cost  13 )
61.798 * * [simplify]: iteration  2 :  30  enodes  (cost  13 )
61.802 * * [simplify]: iteration  3 :  72  enodes  (cost  13 )
61.816 * * [simplify]: iteration  4 :  168  enodes  (cost  13 )
61.884 * * [simplify]: iteration  5 :  248  enodes  (cost  11 )
62.109 * * [simplify]: iteration  6 :  790  enodes  (cost  9 )
65.736 * * [simplify]: iteration  7 :  3443  enodes  (cost  9 )
67.416 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
67.416 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
67.417 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
67.418 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
67.420 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
67.426 * * [simplify]: iteration  4 :  24  enodes  (cost  7 )
67.429 * * [simplify]: iteration  done :  24  enodes  (cost  7 )
67.430 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
67.431 * * [simplify]: iteration  1 :  18  enodes  (cost  15 )
67.434 * * [simplify]: iteration  2 :  31  enodes  (cost  15 )
67.439 * * [simplify]: iteration  3 :  56  enodes  (cost  15 )
67.448 * * [simplify]: iteration  4 :  93  enodes  (cost  13 )
67.471 * * [simplify]: iteration  5 :  135  enodes  (cost  11 )
67.550 * * [simplify]: iteration  6 :  368  enodes  (cost  11 )
68.438 * * [simplify]: iteration  7 :  1647  enodes  (cost  7 )
70.848 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
70.849 * * [simplify]: iteration  0 :  11  enodes  (cost  23 )
70.850 * * [simplify]: iteration  1 :  25  enodes  (cost  23 )
70.855 * * [simplify]: iteration  2 :  52  enodes  (cost  23 )
70.868 * * [simplify]: iteration  3 :  110  enodes  (cost  23 )
70.891 * * [simplify]: iteration  4 :  213  enodes  (cost  23 )
70.965 * * [simplify]: iteration  5 :  372  enodes  (cost  23 )
71.110 * * [simplify]: iteration  6 :  518  enodes  (cost  23 )
71.308 * * [simplify]: iteration  7 :  623  enodes  (cost  23 )
71.537 * * [simplify]: iteration  8 :  824  enodes  (cost  23 )
71.899 * * [simplify]: iteration  9 :  1312  enodes  (cost  23 )
73.002 * * [simplify]: iteration  10 :  2639  enodes  (cost  23 )
76.144 * * [simplify]: iteration  done :  5000  enodes  (cost  23 )
76.145 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
76.147 * * [simplify]: iteration  1 :  19  enodes  (cost  16 )
76.149 * * [simplify]: iteration  2 :  34  enodes  (cost  16 )
76.154 * * [simplify]: iteration  3 :  62  enodes  (cost  16 )
76.165 * * [simplify]: iteration  4 :  105  enodes  (cost  16 )
76.193 * * [simplify]: iteration  5 :  163  enodes  (cost  16 )
76.224 * * [simplify]: iteration  6 :  202  enodes  (cost  16 )
76.264 * * [simplify]: iteration  7 :  252  enodes  (cost  16 )
76.321 * * [simplify]: iteration  8 :  359  enodes  (cost  16 )
76.433 * * [simplify]: iteration  9 :  580  enodes  (cost  16 )
76.731 * * [simplify]: iteration  10 :  1195  enodes  (cost  16 )
77.823 * * [simplify]: iteration  11 :  2558  enodes  (cost  16 )
79.569 * * [simplify]: iteration  done :  5001  enodes  (cost  16 )
79.570 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
79.571 * * [simplify]: iteration  1 :  18  enodes  (cost  9 )
79.576 * * [simplify]: iteration  2 :  35  enodes  (cost  9 )
79.583 * * [simplify]: iteration  3 :  65  enodes  (cost  9 )
79.593 * * [simplify]: iteration  4 :  93  enodes  (cost  9 )
79.609 * * [simplify]: iteration  5 :  153  enodes  (cost  9 )
79.659 * * [simplify]: iteration  6 :  277  enodes  (cost  9 )
79.714 * * [simplify]: iteration  7 :  355  enodes  (cost  9 )
79.771 * * [simplify]: iteration  8 :  468  enodes  (cost  9 )
79.934 * * [simplify]: iteration  9 :  760  enodes  (cost  9 )
80.265 * * [simplify]: iteration  10 :  1208  enodes  (cost  9 )
81.099 * * [simplify]: iteration  11 :  2024  enodes  (cost  9 )
83.736 * * [simplify]: iteration  12 :  4777  enodes  (cost  9 )
85.294 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
85.295 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
85.296 * * [simplify]: iteration  1 :  14  enodes  (cost  13 )
85.298 * * [simplify]: iteration  2 :  19  enodes  (cost  13 )
85.301 * * [simplify]: iteration  3 :  25  enodes  (cost  13 )
85.304 * * [simplify]: iteration  4 :  38  enodes  (cost  13 )
85.318 * * [simplify]: iteration  5 :  53  enodes  (cost  11 )
85.324 * * [simplify]: iteration  6 :  84  enodes  (cost  11 )
85.335 * * [simplify]: iteration  7 :  115  enodes  (cost  9 )
85.379 * * [simplify]: iteration  8 :  317  enodes  (cost  9 )
86.081 * * [simplify]: iteration  9 :  1268  enodes  (cost  9 )
90.642 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
90.643 * * [simplify]: iteration  0 :  12  enodes  (cost  19 )
90.645 * * [simplify]: iteration  1 :  36  enodes  (cost  19 )
90.651 * * [simplify]: iteration  2 :  82  enodes  (cost  19 )
90.671 * * [simplify]: iteration  3 :  203  enodes  (cost  19 )
90.754 * * [simplify]: iteration  4 :  513  enodes  (cost  19 )
91.115 * * [simplify]: iteration  5 :  2109  enodes  (cost  19 )
92.135 * * [simplify]: iteration  done :  5001  enodes  (cost  17 )
92.135 * * [simplify]: iteration  0 :  11  enodes  (cost  21 )
92.137 * * [simplify]: iteration  1 :  29  enodes  (cost  21 )
92.142 * * [simplify]: iteration  2 :  64  enodes  (cost  19 )
92.155 * * [simplify]: iteration  3 :  200  enodes  (cost  19 )
92.253 * * [simplify]: iteration  4 :  831  enodes  (cost  1 )
93.611 * * [simplify]: iteration  5 :  3130  enodes  (cost  1 )
95.132 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
95.133 * * [simplify]: iteration  0 :  12  enodes  (cost  29 )
95.135 * * [simplify]: iteration  1 :  35  enodes  (cost  27 )
95.146 * * [simplify]: iteration  2 :  134  enodes  (cost  25 )
95.198 * * [simplify]: iteration  3 :  512  enodes  (cost  21 )
95.631 * * [simplify]: iteration  4 :  1501  enodes  (cost  17 )
98.191 * * [simplify]: iteration  5 :  4485  enodes  (cost  17 )
99.945 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
99.946 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
99.947 * * [simplify]: iteration  1 :  20  enodes  (cost  13 )
99.951 * * [simplify]: iteration  2 :  60  enodes  (cost  13 )
99.970 * * [simplify]: iteration  3 :  155  enodes  (cost  13 )
100.026 * * [simplify]: iteration  4 :  340  enodes  (cost  13 )
100.257 * * [simplify]: iteration  5 :  706  enodes  (cost  13 )
100.569 * * [simplify]: iteration  6 :  896  enodes  (cost  13 )
100.854 * * [simplify]: iteration  7 :  986  enodes  (cost  13 )
101.165 * * [simplify]: iteration  8 :  1055  enodes  (cost  13 )
101.504 * * [simplify]: iteration  9 :  1203  enodes  (cost  13 )
102.207 * * [simplify]: iteration  10 :  1636  enodes  (cost  13 )
103.705 * * [simplify]: iteration  11 :  2931  enodes  (cost  13 )
106.178 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
106.179 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
106.180 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
106.180 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
106.181 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
106.182 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
106.183 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
106.184 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
106.185 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
106.185 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
106.186 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
106.187 * * [simplify]: iteration  2 :  14  enodes  (cost  7 )
106.189 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
106.189 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
106.190 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
106.191 * * [simplify]: iteration  2 :  15  enodes  (cost  7 )
106.193 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
106.194 * * [simplify]: iteration  done :  16  enodes  (cost  7 )
106.195 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
106.196 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
106.197 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
106.199 * * [simplify]: iteration  3 :  25  enodes  (cost  6 )
106.202 * * [simplify]: iteration  4 :  26  enodes  (cost  6 )
106.204 * * [simplify]: iteration  done :  26  enodes  (cost  6 )
106.205 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
106.206 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
106.207 * * [simplify]: iteration  2 :  20  enodes  (cost  6 )
106.215 * * [simplify]: iteration  3 :  38  enodes  (cost  6 )
106.220 * * [simplify]: iteration  4 :  80  enodes  (cost  6 )
106.234 * * [simplify]: iteration  5 :  182  enodes  (cost  6 )
106.311 * * [simplify]: iteration  6 :  446  enodes  (cost  6 )
106.657 * * [simplify]: iteration  7 :  1298  enodes  (cost  6 )
109.038 * * [simplify]: iteration  8 :  4672  enodes  (cost  6 )
110.255 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
110.256 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
110.257 * * [simplify]: iteration  1 :  21  enodes  (cost  17 )
110.262 * * [simplify]: iteration  2 :  73  enodes  (cost  11 )
110.289 * * [simplify]: iteration  3 :  200  enodes  (cost  7 )
110.394 * * [simplify]: iteration  4 :  416  enodes  (cost  7 )
110.833 * * [simplify]: iteration  5 :  1162  enodes  (cost  7 )
113.172 * * [simplify]: iteration  6 :  3922  enodes  (cost  7 )
115.267 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
115.268 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
115.270 * * [simplify]: iteration  1 :  22  enodes  (cost  17 )
115.275 * * [simplify]: iteration  2 :  69  enodes  (cost  9 )
115.296 * * [simplify]: iteration  3 :  196  enodes  (cost  7 )
115.410 * * [simplify]: iteration  4 :  441  enodes  (cost  7 )
115.912 * * [simplify]: iteration  5 :  1243  enodes  (cost  7 )
118.512 * * [simplify]: iteration  6 :  4192  enodes  (cost  7 )
120.707 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
120.708 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
120.709 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
120.710 * * [simplify]: iteration  2 :  11  enodes  (cost  13 )
120.711 * * [simplify]: iteration  done :  11  enodes  (cost  13 )
120.712 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
120.712 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
120.716 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
120.718 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
120.718 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
120.719 * * [simplify]: iteration  1 :  19  enodes  (cost  17 )
120.723 * * [simplify]: iteration  2 :  70  enodes  (cost  7 )
120.750 * * [simplify]: iteration  3 :  224  enodes  (cost  7 )
120.909 * * [simplify]: iteration  4 :  365  enodes  (cost  7 )
121.127 * * [simplify]: iteration  5 :  531  enodes  (cost  7 )
121.721 * * [simplify]: iteration  6 :  1425  enodes  (cost  7 )
125.185 * * [simplify]: iteration  7 :  4784  enodes  (cost  7 )
126.821 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
126.822 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
126.823 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
126.824 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
126.825 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
126.825 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
126.826 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
126.827 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
126.828 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
126.829 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
126.829 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
126.830 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
126.830 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
126.831 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
126.831 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
126.832 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
126.832 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
126.832 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
126.833 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
126.834 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
126.835 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
126.836 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
126.837 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
126.837 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
126.839 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
126.840 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
126.841 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
126.841 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
126.842 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
126.843 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
126.844 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
126.845 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
126.853 * * [simplify]: iteration  2 :  21  enodes  (cost  9 )
126.856 * * [simplify]: iteration  3 :  31  enodes  (cost  9 )
126.861 * * [simplify]: iteration  4 :  38  enodes  (cost  9 )
126.867 * * [simplify]: iteration  5 :  41  enodes  (cost  9 )
126.873 * * [simplify]: iteration  6 :  47  enodes  (cost  9 )
126.880 * * [simplify]: iteration  7 :  69  enodes  (cost  9 )
126.893 * * [simplify]: iteration  8 :  127  enodes  (cost  9 )
126.940 * * [simplify]: iteration  9 :  277  enodes  (cost  9 )
127.059 * * [simplify]: iteration  10 :  493  enodes  (cost  9 )
127.332 * * [simplify]: iteration  11 :  984  enodes  (cost  9 )
129.097 * * [simplify]: iteration  12 :  3181  enodes  (cost  9 )
131.376 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
131.377 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
131.378 * * [simplify]: iteration  1 :  14  enodes  (cost  11 )
131.380 * * [simplify]: iteration  2 :  17  enodes  (cost  11 )
131.382 * * [simplify]: iteration  done :  17  enodes  (cost  11 )
131.382 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
131.383 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
131.385 * * [simplify]: iteration  2 :  26  enodes  (cost  10 )
131.390 * * [simplify]: iteration  3 :  36  enodes  (cost  10 )
131.395 * * [simplify]: iteration  4 :  40  enodes  (cost  10 )
131.407 * * [simplify]: iteration  5 :  43  enodes  (cost  10 )
131.414 * * [simplify]: iteration  6 :  52  enodes  (cost  10 )
131.422 * * [simplify]: iteration  7 :  77  enodes  (cost  10 )
131.435 * * [simplify]: iteration  8 :  144  enodes  (cost  10 )
131.487 * * [simplify]: iteration  9 :  304  enodes  (cost  10 )
131.613 * * [simplify]: iteration  10 :  521  enodes  (cost  10 )
131.889 * * [simplify]: iteration  11 :  1035  enodes  (cost  10 )
133.693 * * [simplify]: iteration  12 :  3233  enodes  (cost  10 )
135.938 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
135.939 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
135.940 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
135.942 * * [simplify]: iteration  2 :  30  enodes  (cost  10 )
135.947 * * [simplify]: iteration  3 :  58  enodes  (cost  10 )
135.961 * * [simplify]: iteration  4 :  118  enodes  (cost  10 )
135.982 * * [simplify]: iteration  5 :  265  enodes  (cost  10 )
136.097 * * [simplify]: iteration  6 :  767  enodes  (cost  10 )
136.873 * * [simplify]: iteration  7 :  2698  enodes  (cost  10 )
137.858 * * [simplify]: iteration  done :  5001  enodes  (cost  10 )
137.859 * * [simplify]: iteration  0 :  10  enodes  (cost  29 )
137.860 * * [simplify]: iteration  1 :  22  enodes  (cost  29 )
137.864 * * [simplify]: iteration  2 :  68  enodes  (cost  13 )
137.884 * * [simplify]: iteration  3 :  283  enodes  (cost  13 )
138.071 * * [simplify]: iteration  4 :  1198  enodes  (cost  11 )
140.101 * * [simplify]: iteration  5 :  4880  enodes  (cost  11 )
142.237 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
142.238 * * [simplify]: iteration  0 :  8  enodes  (cost  21 )
142.239 * * [simplify]: iteration  1 :  14  enodes  (cost  21 )
142.241 * * [simplify]: iteration  2 :  23  enodes  (cost  21 )
142.244 * * [simplify]: iteration  3 :  33  enodes  (cost  21 )
142.250 * * [simplify]: iteration  4 :  36  enodes  (cost  21 )
142.262 * * [simplify]: iteration  5 :  39  enodes  (cost  21 )
142.268 * * [simplify]: iteration  6 :  45  enodes  (cost  21 )
142.276 * * [simplify]: iteration  7 :  67  enodes  (cost  21 )
142.289 * * [simplify]: iteration  8 :  125  enodes  (cost  21 )
142.336 * * [simplify]: iteration  9 :  277  enodes  (cost  21 )
142.454 * * [simplify]: iteration  10 :  493  enodes  (cost  21 )
142.727 * * [simplify]: iteration  11 :  1004  enodes  (cost  21 )
144.483 * * [simplify]: iteration  12 :  3196  enodes  (cost  21 )
146.700 * * [simplify]: iteration  done :  5000  enodes  (cost  21 )
146.701 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
146.702 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
146.704 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
146.712 * * [simplify]: iteration  3 :  32  enodes  (cost  10 )
146.717 * * [simplify]: iteration  4 :  36  enodes  (cost  10 )
146.723 * * [simplify]: iteration  5 :  39  enodes  (cost  10 )
146.729 * * [simplify]: iteration  6 :  45  enodes  (cost  10 )
146.738 * * [simplify]: iteration  7 :  67  enodes  (cost  10 )
146.750 * * [simplify]: iteration  8 :  125  enodes  (cost  10 )
146.796 * * [simplify]: iteration  9 :  279  enodes  (cost  10 )
146.914 * * [simplify]: iteration  10 :  497  enodes  (cost  10 )
147.183 * * [simplify]: iteration  11 :  1003  enodes  (cost  10 )
148.905 * * [simplify]: iteration  12 :  3179  enodes  (cost  10 )
151.138 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
151.139 * * [simplify]: iteration  0 :  8  enodes  (cost  29 )
151.140 * * [simplify]: iteration  1 :  24  enodes  (cost  29 )
151.145 * * [simplify]: iteration  2 :  80  enodes  (cost  11 )
151.174 * * [simplify]: iteration  3 :  312  enodes  (cost  11 )
151.395 * * [simplify]: iteration  4 :  1105  enodes  (cost  11 )
152.903 * * [simplify]: iteration  5 :  3560  enodes  (cost  11 )
154.904 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
154.905 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
154.906 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
154.908 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
154.911 * * [simplify]: iteration  3 :  32  enodes  (cost  10 )
154.916 * * [simplify]: iteration  4 :  36  enodes  (cost  10 )
154.922 * * [simplify]: iteration  5 :  39  enodes  (cost  10 )
154.929 * * [simplify]: iteration  6 :  45  enodes  (cost  10 )
154.937 * * [simplify]: iteration  7 :  67  enodes  (cost  10 )
154.949 * * [simplify]: iteration  8 :  125  enodes  (cost  10 )
154.996 * * [simplify]: iteration  9 :  279  enodes  (cost  10 )
155.114 * * [simplify]: iteration  10 :  497  enodes  (cost  10 )
155.377 * * [simplify]: iteration  11 :  1003  enodes  (cost  10 )
157.107 * * [simplify]: iteration  12 :  3179  enodes  (cost  10 )
159.331 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
159.331 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
159.332 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
159.334 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
159.337 * * [simplify]: iteration  3 :  32  enodes  (cost  10 )
159.343 * * [simplify]: iteration  4 :  36  enodes  (cost  10 )
159.349 * * [simplify]: iteration  5 :  39  enodes  (cost  10 )
159.355 * * [simplify]: iteration  6 :  45  enodes  (cost  10 )
159.363 * * [simplify]: iteration  7 :  67  enodes  (cost  10 )
159.375 * * [simplify]: iteration  8 :  125  enodes  (cost  10 )
159.422 * * [simplify]: iteration  9 :  279  enodes  (cost  10 )
159.536 * * [simplify]: iteration  10 :  497  enodes  (cost  10 )
159.797 * * [simplify]: iteration  11 :  1003  enodes  (cost  10 )
161.734 * * [simplify]: iteration  12 :  3179  enodes  (cost  10 )
163.979 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
163.980 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
163.981 * * [simplify]: iteration  1 :  14  enodes  (cost  11 )
163.983 * * [simplify]: iteration  2 :  17  enodes  (cost  11 )
163.985 * * [simplify]: iteration  done :  17  enodes  (cost  11 )
163.986 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
163.987 * * [simplify]: iteration  1 :  14  enodes  (cost  11 )
163.988 * * [simplify]: iteration  2 :  17  enodes  (cost  11 )
163.990 * * [simplify]: iteration  done :  17  enodes  (cost  11 )
163.991 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
163.992 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
163.993 * * [simplify]: iteration  2 :  19  enodes  (cost  7 )
163.996 * * [simplify]: iteration  3 :  23  enodes  (cost  7 )
164.000 * * [simplify]: iteration  done :  23  enodes  (cost  7 )
164.001 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
164.001 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
164.002 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
164.003 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
164.003 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
164.005 * * [simplify]: iteration  2 :  19  enodes  (cost  7 )
164.008 * * [simplify]: iteration  3 :  23  enodes  (cost  7 )
164.012 * * [simplify]: iteration  done :  23  enodes  (cost  7 )
164.012 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
164.013 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
164.013 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
164.014 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
164.015 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
164.016 * * [simplify]: iteration  2 :  17  enodes  (cost  7 )
164.019 * * [simplify]: iteration  3 :  22  enodes  (cost  7 )
164.023 * * [simplify]: iteration  done :  22  enodes  (cost  7 )
164.024 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
164.024 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
164.025 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
164.025 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
164.026 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
164.027 * * [simplify]: iteration  2 :  17  enodes  (cost  7 )
164.030 * * [simplify]: iteration  3 :  22  enodes  (cost  7 )
164.034 * * [simplify]: iteration  done :  22  enodes  (cost  7 )
164.034 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
164.035 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
164.038 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
164.039 * * [simplify]: iteration  0 :  8  enodes  (cost  19 )
164.040 * * [simplify]: iteration  1 :  16  enodes  (cost  19 )
164.042 * * [simplify]: iteration  2 :  21  enodes  (cost  19 )
164.045 * * [simplify]: iteration  done :  21  enodes  (cost  19 )
164.045 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
164.046 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
164.048 * * [simplify]: iteration  2 :  16  enodes  (cost  10 )
164.050 * * [simplify]: iteration  done :  16  enodes  (cost  10 )
164.050 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
164.051 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
164.051 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
164.052 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
164.052 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
164.054 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
164.058 * * [simplify]: iteration  3 :  41  enodes  (cost  10 )
164.065 * * [simplify]: iteration  4 :  62  enodes  (cost  10 )
164.075 * * [simplify]: iteration  5 :  68  enodes  (cost  10 )
164.086 * * [simplify]: iteration  6 :  71  enodes  (cost  10 )
164.098 * * [simplify]: iteration  done :  71  enodes  (cost  10 )
164.099 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
164.100 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
164.102 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
164.106 * * [simplify]: iteration  3 :  41  enodes  (cost  10 )
164.113 * * [simplify]: iteration  4 :  62  enodes  (cost  10 )
164.122 * * [simplify]: iteration  5 :  68  enodes  (cost  10 )
164.133 * * [simplify]: iteration  6 :  71  enodes  (cost  10 )
164.143 * * [simplify]: iteration  done :  71  enodes  (cost  10 )
164.144 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
164.145 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
164.146 * * [simplify]: iteration  2 :  21  enodes  (cost  9 )
164.152 * * [simplify]: iteration  3 :  31  enodes  (cost  9 )
164.157 * * [simplify]: iteration  4 :  38  enodes  (cost  9 )
164.164 * * [simplify]: iteration  5 :  41  enodes  (cost  9 )
164.170 * * [simplify]: iteration  6 :  47  enodes  (cost  9 )
164.178 * * [simplify]: iteration  7 :  69  enodes  (cost  9 )
164.191 * * [simplify]: iteration  8 :  127  enodes  (cost  9 )
164.238 * * [simplify]: iteration  9 :  277  enodes  (cost  9 )
164.356 * * [simplify]: iteration  10 :  493  enodes  (cost  9 )
164.625 * * [simplify]: iteration  11 :  984  enodes  (cost  9 )
166.365 * * [simplify]: iteration  12 :  3181  enodes  (cost  9 )
168.617 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
168.617 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
168.619 * * [simplify]: iteration  1 :  30  enodes  (cost  13 )
168.624 * * [simplify]: iteration  2 :  104  enodes  (cost  13 )
168.667 * * [simplify]: iteration  3 :  404  enodes  (cost  13 )
168.986 * * [simplify]: iteration  4 :  1200  enodes  (cost  11 )
171.164 * * [simplify]: iteration  5 :  4970  enodes  (cost  11 )
172.699 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
172.700 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
172.701 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
172.706 * * [simplify]: iteration  2 :  72  enodes  (cost  15 )
172.730 * * [simplify]: iteration  3 :  175  enodes  (cost  13 )
172.789 * * [simplify]: iteration  4 :  361  enodes  (cost  11 )
172.990 * * [simplify]: iteration  5 :  779  enodes  (cost  11 )
173.542 * * [simplify]: iteration  6 :  1526  enodes  (cost  11 )
175.202 * * [simplify]: iteration  7 :  3656  enodes  (cost  11 )
176.820 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
176.820 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
176.821 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
176.822 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
176.825 * * [simplify]: iteration  3 :  43  enodes  (cost  6 )
176.832 * * [simplify]: iteration  4 :  98  enodes  (cost  6 )
176.855 * * [simplify]: iteration  5 :  219  enodes  (cost  6 )
176.943 * * [simplify]: iteration  6 :  559  enodes  (cost  6 )
177.416 * * [simplify]: iteration  7 :  1746  enodes  (cost  6 )
178.686 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
178.687 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
178.687 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
178.688 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
178.689 * * [simplify]: iteration  3 :  17  enodes  (cost  6 )
178.691 * * [simplify]: iteration  4 :  24  enodes  (cost  6 )
178.694 * * [simplify]: iteration  done :  24  enodes  (cost  6 )
178.695 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
178.695 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
178.697 * * [simplify]: iteration  2 :  17  enodes  (cost  6 )
178.699 * * [simplify]: iteration  3 :  31  enodes  (cost  6 )
178.703 * * [simplify]: iteration  4 :  63  enodes  (cost  6 )
178.713 * * [simplify]: iteration  5 :  126  enodes  (cost  6 )
178.742 * * [simplify]: iteration  6 :  288  enodes  (cost  6 )
178.885 * * [simplify]: iteration  7 :  752  enodes  (cost  6 )
179.644 * * [simplify]: iteration  8 :  2426  enodes  (cost  6 )
181.138 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
181.139 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
181.140 * * [simplify]: iteration  1 :  8  enodes  (cost  13 )
181.141 * * [simplify]: iteration  2 :  11  enodes  (cost  13 )
181.142 * * [simplify]: iteration  3 :  15  enodes  (cost  13 )
181.144 * * [simplify]: iteration  4 :  21  enodes  (cost  13 )
181.146 * * [simplify]: iteration  done :  21  enodes  (cost  13 )
181.147 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
181.148 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
181.148 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
181.149 * * [simplify]: iteration  3 :  14  enodes  (cost  6 )
181.151 * * [simplify]: iteration  4 :  20  enodes  (cost  6 )
181.154 * * [simplify]: iteration  done :  20  enodes  (cost  6 )
181.154 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
181.155 * * [simplify]: iteration  1 :  21  enodes  (cost  17 )
181.159 * * [simplify]: iteration  2 :  68  enodes  (cost  7 )
181.179 * * [simplify]: iteration  3 :  211  enodes  (cost  7 )
181.312 * * [simplify]: iteration  4 :  703  enodes  (cost  7 )
182.638 * * [simplify]: iteration  5 :  3064  enodes  (cost  7 )
184.730 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
184.730 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
184.731 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
184.732 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
184.733 * * [simplify]: iteration  3 :  14  enodes  (cost  6 )
184.734 * * [simplify]: iteration  4 :  20  enodes  (cost  6 )
184.737 * * [simplify]: iteration  done :  20  enodes  (cost  6 )
184.738 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
184.739 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
184.739 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
184.741 * * [simplify]: iteration  3 :  14  enodes  (cost  6 )
184.742 * * [simplify]: iteration  4 :  20  enodes  (cost  6 )
184.745 * * [simplify]: iteration  done :  20  enodes  (cost  6 )
184.746 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
184.747 * * [simplify]: iteration  1 :  24  enodes  (cost  9 )
184.751 * * [simplify]: iteration  2 :  63  enodes  (cost  9 )
184.768 * * [simplify]: iteration  3 :  170  enodes  (cost  9 )
184.838 * * [simplify]: iteration  4 :  384  enodes  (cost  9 )
185.112 * * [simplify]: iteration  5 :  1233  enodes  (cost  9 )
187.122 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
187.123 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
187.124 * * [simplify]: iteration  1 :  22  enodes  (cost  15 )
187.128 * * [simplify]: iteration  2 :  52  enodes  (cost  13 )
187.140 * * [simplify]: iteration  3 :  100  enodes  (cost  13 )
187.167 * * [simplify]: iteration  4 :  202  enodes  (cost  11 )
187.235 * * [simplify]: iteration  5 :  374  enodes  (cost  11 )
187.484 * * [simplify]: iteration  6 :  657  enodes  (cost  11 )
187.733 * * [simplify]: iteration  7 :  918  enodes  (cost  11 )
188.579 * * [simplify]: iteration  8 :  1649  enodes  (cost  11 )
189.853 * * [simplify]: iteration  9 :  2316  enodes  (cost  11 )
190.582 * * [simplify]: iteration  10 :  2331  enodes  (cost  11 )
191.267 * * [simplify]: iteration  done :  2331  enodes  (cost  11 )
191.268 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
191.269 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
191.272 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
191.279 * * [simplify]: iteration  3 :  67  enodes  (cost  9 )
191.292 * * [simplify]: iteration  4 :  126  enodes  (cost  9 )
191.339 * * [simplify]: iteration  5 :  276  enodes  (cost  9 )
191.453 * * [simplify]: iteration  6 :  490  enodes  (cost  9 )
191.721 * * [simplify]: iteration  7 :  997  enodes  (cost  9 )
193.418 * * [simplify]: iteration  8 :  3163  enodes  (cost  9 )
195.784 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
195.785 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
195.785 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
195.786 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
195.787 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
195.788 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
195.788 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
195.789 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
195.790 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
195.790 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
195.791 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
195.792 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
195.793 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
195.793 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
195.794 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
195.795 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
195.796 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
195.796 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
195.797 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
195.799 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
195.801 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
195.808 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
195.810 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
195.814 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
195.824 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
195.871 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
196.305 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
198.550 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
198.550 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
198.551 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
198.553 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
198.555 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
198.557 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
198.559 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
198.563 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
198.579 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
198.622 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
199.065 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
201.333 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
201.334 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
201.334 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
201.336 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
201.338 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
201.340 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
201.343 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
201.347 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
201.357 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
201.407 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
201.856 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
204.370 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
204.371 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
204.372 * * [simplify]: iteration  1 :  12  enodes  (cost  4 )
204.374 * * [simplify]: iteration  2 :  34  enodes  (cost  4 )
204.376 * * [simplify]: iteration  3 :  39  enodes  (cost  4 )
204.379 * * [simplify]: iteration  4 :  45  enodes  (cost  4 )
204.382 * * [simplify]: iteration  5 :  55  enodes  (cost  4 )
204.386 * * [simplify]: iteration  6 :  77  enodes  (cost  4 )
204.396 * * [simplify]: iteration  7 :  141  enodes  (cost  4 )
204.445 * * [simplify]: iteration  8 :  352  enodes  (cost  4 )
204.891 * * [simplify]: iteration  9 :  1283  enodes  (cost  4 )
207.373 * * [simplify]: iteration  done :  5001  enodes  (cost  4 )
207.374 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
207.375 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
207.380 * * [simplify]: iteration  2 :  68  enodes  (cost  11 )
207.388 * * [simplify]: iteration  3 :  94  enodes  (cost  9 )
207.397 * * [simplify]: iteration  4 :  111  enodes  (cost  9 )
207.408 * * [simplify]: iteration  5 :  148  enodes  (cost  9 )
207.426 * * [simplify]: iteration  6 :  248  enodes  (cost  9 )
207.501 * * [simplify]: iteration  7 :  516  enodes  (cost  9 )
207.710 * * [simplify]: iteration  8 :  1141  enodes  (cost  9 )
208.939 * * [simplify]: iteration  9 :  3466  enodes  (cost  9 )
210.764 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
210.765 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
210.766 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
210.770 * * [simplify]: iteration  2 :  68  enodes  (cost  11 )
210.778 * * [simplify]: iteration  3 :  94  enodes  (cost  9 )
210.787 * * [simplify]: iteration  4 :  111  enodes  (cost  9 )
210.797 * * [simplify]: iteration  5 :  148  enodes  (cost  9 )
210.820 * * [simplify]: iteration  6 :  248  enodes  (cost  9 )
210.891 * * [simplify]: iteration  7 :  516  enodes  (cost  9 )
211.100 * * [simplify]: iteration  8 :  1141  enodes  (cost  9 )
212.306 * * [simplify]: iteration  9 :  3466  enodes  (cost  9 )
214.137 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
214.138 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
214.138 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
214.139 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
214.140 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
214.141 * * [simplify]: iteration  4 :  19  enodes  (cost  5 )
214.144 * * [simplify]: iteration  done :  19  enodes  (cost  5 )
214.145 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
214.145 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
214.146 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
214.147 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
214.149 * * [simplify]: iteration  4 :  19  enodes  (cost  5 )
214.151 * * [simplify]: iteration  done :  19  enodes  (cost  5 )
214.152 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
214.152 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
214.153 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
214.154 * * [simplify]: iteration  3 :  13  enodes  (cost  5 )
214.156 * * [simplify]: iteration  4 :  19  enodes  (cost  5 )
214.158 * * [simplify]: iteration  done :  19  enodes  (cost  5 )
214.159 * [simplify]: Simplified to:
   (- (log (- (* x (* y y)) x)) (log (+ y 1)))
  (- (log (- (* x (* y y)) x)) (log (+ y 1)))
  (log (/ (- (* x (* y y)) x) (+ y 1)))
  (exp (/ (- (* x (* y y)) x) (+ y 1)))
  (/ (* (pow (- (* x (* y y)) x) 3) (pow x 3)) (pow (+ (* x y) x) 3))
  (pow (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)) 3)
  (* (cbrt (/ (- (* x (* y y)) x) (+ y 1))) (cbrt (/ (- (* x (* y y)) x) (+ y 1))))
  (cbrt (/ (- (* x (* y y)) x) (+ y 1)))
  (pow (/ (- (* x (* y y)) x) (/ (+ y 1) 1)) 3)
  (sqrt (/ (- (* x (* y y)) x) (+ y 1)))
  (sqrt (/ (- (* x (* y y)) x) (+ y 1)))
  (* x (- x (* x (* y y))))
  (* x (- -1 y))
  (/ x (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))
  (/ (- (* x (* y y)) x) (cbrt (+ (* x y) x)))
  (/ x (sqrt (+ (* x y) x)))
  (/ (- (* x (* y y)) x) (sqrt (+ (* x y) x)))
  x
  (/ (- (* y y) 1) (+ y 1))
  (/ 1 (+ (* x y) x))
  (/ 1 (- (* x y) x))
  (/ (* x (- (* x (* y y)) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))
  (/ (* x (- (* x (* y y)) x)) (sqrt (+ (* x y) x)))
  (* x (- (* x (* y y)) x))
  (/ (+ y 1) (- (* y y) 1))
  (* (/ 1 (+ x (* x (pow y 3)))) (- (/ (* y y) 1) 1))
  1
  (* (* (+ y 1) (pow x 3)) (+ (+ (* y y) 1) (pow y 4)))
  (* (+ (* x y) x) (+ (* x (* y y)) x))
  (* x (* y y))
  (* x (* y y))
  (+ (log x) (* 2 (log y)))
  (+ (log x) (log (* y y)))
  (log (* x (* y y)))
  (exp (* x (* y y)))
  (* (pow y 6) (pow x 3))
  (* (pow y 6) (pow x 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)))
  (* (sqrt x) y)
  (* (sqrt x) y)
  (* x y)
  (* (cbrt x) (* y y))
  (* (sqrt x) (* y y))
  (* x (* y y))
  (* (- (* x (* y y)) x) x)
  (+ (log x) (log (- (* x (* y y)) x)))
  (log (* x (- (* x (* y y)) x)))
  (exp (* x (- (* x (* y y)) x)))
  (pow (* x (- (* x (* y y)) x)) 3)
  (* (cbrt (* x (- (* x (* y y)) x))) (cbrt (* x (- (* x (* y y)) x))))
  (cbrt (* x (- (* x (* y y)) x)))
  (pow (* x (- (* x (* y y)) x)) 3)
  (sqrt (* x (- (* x (* y y)) x)))
  (sqrt (* x (- (* x (* y y)) x)))
  (* (sqrt x) (sqrt (- (* x (* y y)) x)))
  (* (sqrt x) (sqrt (- (* x (* y y)) x)))
  (* x (* x (* y y)))
  (* x (neg x))
  (* x (* x (* y y)))
  (* x (neg x))
  (* (* x (* y y)) x)
  (* (neg x) x)
  (* (* x (* y y)) x)
  (* (neg x) x)
  (* x (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))))
  (* x (sqrt (- (* x (* y y)) x)))
  x
  (* (cbrt x) (- (* x (* y y)) x))
  (* (sqrt x) (- (* x (* y y)) x))
  (* (- (* x (* y y)) x) x)
  (* (pow x 3) (- (* (pow y 6) x) x))
  (- (* (pow x 3) (pow y 4)) (pow x 3))
  (exp (+ (* x y) x))
  (log (+ (* x y) x))
  (exp (+ (* x y) x))
  (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))
  (cbrt (+ (* x y) x))
  (pow (+ (* x y) x) 3)
  (sqrt (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (+ (pow (* x y) 3) (pow x 3))
  (* (- x (* y (- x (* x y)))) x)
  (* x (- (* x (* y y)) x))
  (- (* x y) x)
  (- (* x y) x)
  (- (* x y) x)
  (- (* x y) x)
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (neg (pow x 2))
  (* x (- (* (pow y 2) x) x))
  (* x (- (* (pow y 2) x) x))
  (+ (* x y) x)
  (+ x (* x y))
  (+ x (* x y))
214.160 * * * [progress]: adding candidates to table
214.258 * [progress]: [Phase 3 of 3] Extracting.
214.258 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (* x y) x))> #<alt (λ (x y) (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))>)
214.259 * * * [regime-changes]: Trying 3 branch expressions: ((- (* x y) x) y x)
214.259 * * * * [regimes]: Trying to branch on (- (* x y) x) from (#<alt (λ (x y) (- (* x y) x))> #<alt (λ (x y) (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))>)
214.293 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (* x y) x))> #<alt (λ (x y) (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))>)
214.328 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (* x y) x))> #<alt (λ (x y) (/ (* x (- (* x (* y y)) x)) (+ (* x y) x)))>)
214.361 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
214.361 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x y) x)
214.361 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
214.361 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
214.362 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
214.362 * [simplify]: Simplified to:
   (- (* x y) x)
215.100 * [regime-testing]: End program error score: 0.008626078259782472