933.190 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (+ x y) (+ y y))
0.021 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
0.021 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
0.022 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.023 * * [simplify]: iteration  3 :  13  enodes  (cost  7 )
0.025 * * [simplify]: iteration  done :  13  enodes  (cost  7 )
0.025 * [simplify]: Simplified to:
   (/ (+ x y) (+ y y))
0.025 * * [progress]: iteration 1 / 4
0.025 * * * [progress]: picking best candidate
0.027 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ x y) (+ y y)))>
0.027 * * * [progress]: localizing error
0.032 * * * [progress]: generating rewritten candidates
0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.045 * * * [progress]: generating series expansions
0.045 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.045 * [approximate]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in (x y) around 0
0.045 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in y
0.045 * [taylor]: Taking taylor expansion of 1/2 in y
0.045 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in y
0.045 * [taylor]: Taking taylor expansion of (+ x y) in y
0.045 * [taylor]: Taking taylor expansion of x in y
0.045 * [taylor]: Taking taylor expansion of y in y
0.045 * [taylor]: Taking taylor expansion of y in y
0.046 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x
0.046 * [taylor]: Taking taylor expansion of 1/2 in x
0.046 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x
0.046 * [taylor]: Taking taylor expansion of (+ x y) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of y in x
0.046 * [taylor]: Taking taylor expansion of y in x
0.046 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) y)) in x
0.046 * [taylor]: Taking taylor expansion of 1/2 in x
0.046 * [taylor]: Taking taylor expansion of (/ (+ x y) y) in x
0.046 * [taylor]: Taking taylor expansion of (+ x y) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of y in x
0.046 * [taylor]: Taking taylor expansion of y in x
0.046 * [taylor]: Taking taylor expansion of 1/2 in y
0.046 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y
0.046 * [taylor]: Taking taylor expansion of 1/2 in y
0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.046 * [taylor]: Taking taylor expansion of y in y
0.046 * [taylor]: Taking taylor expansion of 0 in y
0.047 * [taylor]: Taking taylor expansion of 0 in y
0.047 * [taylor]: Taking taylor expansion of 0 in y
0.047 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in (x y) around 0
0.047 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in y
0.047 * [taylor]: Taking taylor expansion of 1/2 in y
0.047 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in y
0.047 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.047 * [taylor]: Taking taylor expansion of x in y
0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.047 * [taylor]: Taking taylor expansion of y in y
0.047 * [taylor]: Taking taylor expansion of y in y
0.047 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in x
0.047 * [taylor]: Taking taylor expansion of 1/2 in x
0.047 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x
0.047 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.047 * [taylor]: Taking taylor expansion of x in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.047 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in x
0.048 * [taylor]: Taking taylor expansion of 1/2 in x
0.048 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x
0.048 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.048 * [taylor]: Taking taylor expansion of 1/2 in y
0.048 * [taylor]: Taking taylor expansion of y in y
0.048 * [taylor]: Taking taylor expansion of 1/2 in y
0.048 * [taylor]: Taking taylor expansion of 0 in y
0.049 * [taylor]: Taking taylor expansion of 0 in y
0.049 * [taylor]: Taking taylor expansion of 0 in y
0.049 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in (x y) around 0
0.049 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in y
0.049 * [taylor]: Taking taylor expansion of 1/2 in y
0.049 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in y
0.049 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.049 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.049 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in x
0.050 * [taylor]: Taking taylor expansion of 1/2 in x
0.050 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x
0.050 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.050 * [taylor]: Taking taylor expansion of y in x
0.050 * [taylor]: Taking taylor expansion of y in x
0.050 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (/ 1 x) (/ 1 y)) y)) in x
0.050 * [taylor]: Taking taylor expansion of 1/2 in x
0.050 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) y) in x
0.050 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.050 * [taylor]: Taking taylor expansion of y in x
0.050 * [taylor]: Taking taylor expansion of y in x
0.050 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
0.050 * [taylor]: Taking taylor expansion of 1/2 in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of 1/2 in y
0.051 * [taylor]: Taking taylor expansion of 0 in y
0.051 * [taylor]: Taking taylor expansion of 0 in y
0.051 * [taylor]: Taking taylor expansion of 0 in y
0.051 * * * [progress]: simplifying candidates
0.053 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (+ x y)) (log (+ y y)))
  (log (/ (+ x y) (+ y y)))
  (exp (/ (+ x y) (+ y y)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ y y) (+ y y)) (+ y y)))
  (* (cbrt (/ (+ x y) (+ y y))) (cbrt (/ (+ x y) (+ y y))))
  (cbrt (/ (+ x y) (+ y y)))
  (* (* (/ (+ x y) (+ y y)) (/ (+ x y) (+ y y))) (/ (+ x y) (+ y y)))
  (sqrt (/ (+ x y) (+ y y)))
  (sqrt (/ (+ x y) (+ y y)))
  (neg (+ x y))
  (neg (+ y y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (cbrt (+ x y)) (cbrt (+ y y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y y)))
  (/ (cbrt (+ x y)) (sqrt (+ y y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)
  (/ (cbrt (+ x y)) (+ y y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (+ x y)) (+ (cbrt y) (cbrt y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y))
  (/ (cbrt (+ x y)) (+ (sqrt y) (sqrt y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)
  (/ (cbrt (+ x y)) (+ y y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt y))
  (/ (cbrt (+ x y)) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y))
  (/ (cbrt (+ x y)) (+ (sqrt y) (sqrt y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) y)
  (/ (cbrt (+ x y)) (+ 1 1))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (+ 1 1))
  (/ (cbrt (+ x y)) y)
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (+ 1 1))
  (/ (cbrt (+ x y)) y)
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 2)
  (/ (cbrt (+ x y)) y)
  (/ (sqrt (+ x y)) (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (sqrt (+ x y)) (cbrt (+ y y)))
  (/ (sqrt (+ x y)) (sqrt (+ y y)))
  (/ (sqrt (+ x y)) (sqrt (+ y y)))
  (/ (sqrt (+ x y)) 1)
  (/ (sqrt (+ x y)) (+ y y))
  (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (+ x y)) (+ (cbrt y) (cbrt y)))
  (/ (sqrt (+ x y)) (sqrt y))
  (/ (sqrt (+ x y)) (+ (sqrt y) (sqrt y)))
  (/ (sqrt (+ x y)) 1)
  (/ (sqrt (+ x y)) (+ y y))
  (/ (sqrt (+ x y)) (cbrt y))
  (/ (sqrt (+ x y)) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (+ x y)) (sqrt y))
  (/ (sqrt (+ x y)) (+ (sqrt y) (sqrt y)))
  (/ (sqrt (+ x y)) y)
  (/ (sqrt (+ x y)) (+ 1 1))
  (/ (sqrt (+ x y)) (+ 1 1))
  (/ (sqrt (+ x y)) y)
  (/ (sqrt (+ x y)) (+ 1 1))
  (/ (sqrt (+ x y)) y)
  (/ (sqrt (+ x y)) 2)
  (/ (sqrt (+ x y)) y)
  (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (+ x y) (cbrt (+ y y)))
  (/ 1 (sqrt (+ y y)))
  (/ (+ x y) (sqrt (+ y y)))
  (/ 1 1)
  (/ (+ x y) (+ y y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (+ x y) (+ (cbrt y) (cbrt y)))
  (/ 1 (sqrt y))
  (/ (+ x y) (+ (sqrt y) (sqrt y)))
  (/ 1 1)
  (/ (+ x y) (+ y y))
  (/ 1 (cbrt y))
  (/ (+ x y) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (sqrt y))
  (/ (+ x y) (+ (sqrt y) (sqrt y)))
  (/ 1 y)
  (/ (+ x y) (+ 1 1))
  (/ 1 (+ 1 1))
  (/ (+ x y) y)
  (/ 1 (+ 1 1))
  (/ (+ x y) y)
  (/ 1 2)
  (/ (+ x y) y)
  (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (+ x y) (cbrt (+ y y)))
  (/ 1 (sqrt (+ y y)))
  (/ (+ x y) (sqrt (+ y y)))
  (/ 1 1)
  (/ (+ x y) (+ y y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (+ x y) (+ (cbrt y) (cbrt y)))
  (/ 1 (sqrt y))
  (/ (+ x y) (+ (sqrt y) (sqrt y)))
  (/ 1 1)
  (/ (+ x y) (+ y y))
  (/ 1 (cbrt y))
  (/ (+ x y) (+ (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (sqrt y))
  (/ (+ x y) (+ (sqrt y) (sqrt y)))
  (/ 1 y)
  (/ (+ x y) (+ 1 1))
  (/ 1 (+ 1 1))
  (/ (+ x y) y)
  (/ 1 (+ 1 1))
  (/ (+ x y) y)
  (/ 1 2)
  (/ (+ x y) y)
  (/ 1 (+ y y))
  (/ (+ y y) (+ x y))
  (/ (+ x y) (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (+ x y) (sqrt (+ y y)))
  (/ (+ x y) 1)
  (/ (+ x y) (* (cbrt y) (cbrt y)))
  (/ (+ x y) (sqrt y))
  (/ (+ x y) 1)
  (/ (+ x y) (cbrt y))
  (/ (+ x y) (sqrt y))
  (/ (+ x y) y)
  (/ (+ x y) (+ 1 1))
  (/ (+ x y) (+ 1 1))
  (/ (+ x y) 2)
  (/ (+ y y) (cbrt (+ x y)))
  (/ (+ y y) (sqrt (+ x y)))
  (/ (+ y y) (+ x y))
  (/ (+ y y) (+ x y))
  (/ (+ x y) (+ (pow y 3) (pow y 3)))
  (/ (+ x y) (- (* y y) (* y y)))
  (* (+ y y) (+ (* x x) (- (* y y) (* x y))))
  (* (+ y y) (- x y))
  (+ (* 1/2 (/ x y)) 1/2)
  (+ 1/2 (* 1/2 (/ x y)))
  (+ 1/2 (* 1/2 (/ x y)))
0.053 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
0.054 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
0.055 * * [simplify]: iteration  2 :  17  enodes  (cost  9 )
0.057 * * [simplify]: iteration  3 :  23  enodes  (cost  9 )
0.060 * * [simplify]: iteration  4 :  31  enodes  (cost  9 )
0.063 * * [simplify]: iteration  5 :  40  enodes  (cost  9 )
0.074 * * [simplify]: iteration  6 :  52  enodes  (cost  9 )
0.082 * * [simplify]: iteration  7 :  71  enodes  (cost  9 )
0.095 * * [simplify]: iteration  8 :  97  enodes  (cost  9 )
0.107 * * [simplify]: iteration  9 :  107  enodes  (cost  9 )
0.120 * * [simplify]: iteration  done :  107  enodes  (cost  9 )
0.120 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
0.121 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
0.122 * * [simplify]: iteration  2 :  20  enodes  (cost  8 )
0.124 * * [simplify]: iteration  3 :  31  enodes  (cost  8 )
0.131 * * [simplify]: iteration  4 :  42  enodes  (cost  8 )
0.136 * * [simplify]: iteration  5 :  53  enodes  (cost  8 )
0.143 * * [simplify]: iteration  6 :  65  enodes  (cost  8 )
0.153 * * [simplify]: iteration  7 :  84  enodes  (cost  8 )
0.167 * * [simplify]: iteration  8 :  110  enodes  (cost  8 )
0.178 * * [simplify]: iteration  9 :  120  enodes  (cost  8 )
0.195 * * [simplify]: iteration  done :  120  enodes  (cost  8 )
0.196 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
0.197 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
0.198 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
0.199 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
0.201 * * [simplify]: iteration  4 :  16  enodes  (cost  7 )
0.202 * * [simplify]: iteration  done :  16  enodes  (cost  7 )
0.203 * * [simplify]: iteration  0 :  9  enodes  (cost  23 )
0.204 * * [simplify]: iteration  1 :  41  enodes  (cost  23 )
0.213 * * [simplify]: iteration  2 :  129  enodes  (cost  11 )
0.258 * * [simplify]: iteration  3 :  509  enodes  (cost  9 )
0.751 * * [simplify]: iteration  4 :  2172  enodes  (cost  9 )
3.392 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
3.393 * * [simplify]: iteration  0 :  7  enodes  (cost  17 )
3.394 * * [simplify]: iteration  1 :  10  enodes  (cost  17 )
3.395 * * [simplify]: iteration  2 :  13  enodes  (cost  17 )
3.396 * * [simplify]: iteration  3 :  15  enodes  (cost  17 )
3.398 * * [simplify]: iteration  done :  15  enodes  (cost  17 )
3.399 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
3.399 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
3.400 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
3.401 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
3.403 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
3.404 * * [simplify]: iteration  0 :  7  enodes  (cost  23 )
3.405 * * [simplify]: iteration  1 :  17  enodes  (cost  23 )
3.408 * * [simplify]: iteration  2 :  63  enodes  (cost  9 )
3.424 * * [simplify]: iteration  3 :  282  enodes  (cost  9 )
3.640 * * [simplify]: iteration  4 :  1264  enodes  (cost  9 )
6.560 * * [simplify]: iteration  5 :  4314  enodes  (cost  9 )
7.960 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
7.961 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
7.962 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
7.963 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
7.964 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
7.965 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
7.966 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
7.967 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
7.967 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
7.969 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
7.970 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
7.971 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
7.971 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
7.972 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
7.973 * * [simplify]: iteration  3 :  11  enodes  (cost  4 )
7.974 * * [simplify]: iteration  done :  11  enodes  (cost  4 )
7.975 * * [simplify]: iteration  0 :  3  enodes  (cost  4 )
7.975 * * [simplify]: iteration  1 :  7  enodes  (cost  4 )
7.976 * * [simplify]: iteration  2 :  13  enodes  (cost  3 )
7.977 * * [simplify]: iteration  3 :  15  enodes  (cost  3 )
7.979 * * [simplify]: iteration  done :  15  enodes  (cost  3 )
7.980 * * [simplify]: iteration  0 :  9  enodes  (cost  19 )
7.981 * * [simplify]: iteration  1 :  18  enodes  (cost  19 )
7.983 * * [simplify]: iteration  2 :  28  enodes  (cost  19 )
7.986 * * [simplify]: iteration  3 :  34  enodes  (cost  19 )
7.990 * * [simplify]: iteration  done :  34  enodes  (cost  19 )
7.991 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
7.992 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
7.993 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
7.994 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
7.995 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
7.995 * * [simplify]: iteration  1 :  13  enodes  (cost  14 )
7.997 * * [simplify]: iteration  2 :  16  enodes  (cost  14 )
8.003 * * [simplify]: iteration  3 :  17  enodes  (cost  14 )
8.005 * * [simplify]: iteration  done :  17  enodes  (cost  14 )
8.006 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
8.007 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.008 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
8.009 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
8.009 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
8.010 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
8.011 * * [simplify]: iteration  2 :  18  enodes  (cost  9 )
8.013 * * [simplify]: iteration  3 :  23  enodes  (cost  9 )
8.015 * * [simplify]: iteration  done :  23  enodes  (cost  9 )
8.015 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.016 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.017 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.018 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.020 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.020 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
8.021 * * [simplify]: iteration  1 :  15  enodes  (cost  15 )
8.023 * * [simplify]: iteration  2 :  24  enodes  (cost  15 )
8.026 * * [simplify]: iteration  3 :  30  enodes  (cost  15 )
8.029 * * [simplify]: iteration  done :  30  enodes  (cost  15 )
8.030 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
8.031 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.032 * * [simplify]: iteration  2 :  13  enodes  (cost  9 )
8.033 * * [simplify]: iteration  3 :  15  enodes  (cost  9 )
8.035 * * [simplify]: iteration  done :  15  enodes  (cost  9 )
8.035 * * [simplify]: iteration  0 :  7  enodes  (cost  12 )
8.036 * * [simplify]: iteration  1 :  10  enodes  (cost  12 )
8.037 * * [simplify]: iteration  2 :  12  enodes  (cost  12 )
8.039 * * [simplify]: iteration  3 :  13  enodes  (cost  12 )
8.040 * * [simplify]: iteration  done :  13  enodes  (cost  12 )
8.041 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
8.042 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.043 * * [simplify]: iteration  2 :  13  enodes  (cost  9 )
8.044 * * [simplify]: iteration  3 :  15  enodes  (cost  9 )
8.046 * * [simplify]: iteration  done :  15  enodes  (cost  9 )
8.046 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
8.047 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
8.048 * * [simplify]: iteration  2 :  18  enodes  (cost  9 )
8.050 * * [simplify]: iteration  3 :  23  enodes  (cost  9 )
8.052 * * [simplify]: iteration  done :  23  enodes  (cost  9 )
8.052 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.053 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.054 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.055 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.057 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.058 * * [simplify]: iteration  0 :  7  enodes  (cost  12 )
8.058 * * [simplify]: iteration  1 :  10  enodes  (cost  12 )
8.059 * * [simplify]: iteration  2 :  12  enodes  (cost  12 )
8.060 * * [simplify]: iteration  3 :  13  enodes  (cost  12 )
8.062 * * [simplify]: iteration  done :  13  enodes  (cost  12 )
8.062 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
8.063 * * [simplify]: iteration  1 :  13  enodes  (cost  12 )
8.068 * * [simplify]: iteration  2 :  21  enodes  (cost  12 )
8.071 * * [simplify]: iteration  3 :  30  enodes  (cost  12 )
8.074 * * [simplify]: iteration  4 :  31  enodes  (cost  12 )
8.078 * * [simplify]: iteration  done :  31  enodes  (cost  12 )
8.078 * * [simplify]: iteration  0 :  7  enodes  (cost  12 )
8.079 * * [simplify]: iteration  1 :  10  enodes  (cost  12 )
8.080 * * [simplify]: iteration  2 :  12  enodes  (cost  12 )
8.081 * * [simplify]: iteration  3 :  13  enodes  (cost  12 )
8.083 * * [simplify]: iteration  done :  13  enodes  (cost  12 )
8.083 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
8.084 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.085 * * [simplify]: iteration  2 :  13  enodes  (cost  9 )
8.087 * * [simplify]: iteration  3 :  15  enodes  (cost  9 )
8.088 * * [simplify]: iteration  done :  15  enodes  (cost  9 )
8.089 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
8.090 * * [simplify]: iteration  1 :  9  enodes  (cost  11 )
8.090 * * [simplify]: iteration  2 :  11  enodes  (cost  11 )
8.092 * * [simplify]: iteration  3 :  12  enodes  (cost  11 )
8.093 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
8.094 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
8.095 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
8.096 * * [simplify]: iteration  done :  12  enodes  (cost  6 )
8.096 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
8.097 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
8.098 * * [simplify]: iteration  2 :  17  enodes  (cost  11 )
8.100 * * [simplify]: iteration  3 :  18  enodes  (cost  11 )
8.101 * * [simplify]: iteration  done :  18  enodes  (cost  11 )
8.102 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.103 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.103 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.104 * * [simplify]: iteration  0 :  8  enodes  (cost  13 )
8.105 * * [simplify]: iteration  1 :  15  enodes  (cost  11 )
8.106 * * [simplify]: iteration  2 :  17  enodes  (cost  11 )
8.108 * * [simplify]: iteration  3 :  18  enodes  (cost  11 )
8.109 * * [simplify]: iteration  done :  18  enodes  (cost  11 )
8.110 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.110 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.111 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.111 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
8.112 * * [simplify]: iteration  1 :  10  enodes  (cost  11 )
8.113 * * [simplify]: iteration  2 :  12  enodes  (cost  11 )
8.115 * * [simplify]: iteration  3 :  13  enodes  (cost  11 )
8.116 * * [simplify]: iteration  done :  13  enodes  (cost  11 )
8.117 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.117 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.118 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.118 * * [simplify]: iteration  0 :  8  enodes  (cost  14 )
8.119 * * [simplify]: iteration  1 :  13  enodes  (cost  14 )
8.120 * * [simplify]: iteration  2 :  14  enodes  (cost  14 )
8.122 * * [simplify]: iteration  done :  14  enodes  (cost  14 )
8.122 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
8.123 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.124 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
8.125 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
8.126 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
8.127 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.128 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
8.129 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
8.129 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
8.130 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.135 * * [simplify]: iteration  2 :  11  enodes  (cost  9 )
8.136 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
8.136 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
8.137 * * [simplify]: iteration  1 :  9  enodes  (cost  4 )
8.138 * * [simplify]: iteration  2 :  11  enodes  (cost  4 )
8.138 * * [simplify]: iteration  done :  11  enodes  (cost  4 )
8.139 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.140 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.141 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.142 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.143 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.144 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
8.145 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
8.146 * * [simplify]: iteration  done :  10  enodes  (cost  10 )
8.147 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
8.147 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.148 * * [simplify]: iteration  2 :  13  enodes  (cost  9 )
8.150 * * [simplify]: iteration  3 :  15  enodes  (cost  9 )
8.151 * * [simplify]: iteration  done :  15  enodes  (cost  9 )
8.152 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
8.152 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
8.153 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
8.154 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
8.154 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.155 * * [simplify]: iteration  2 :  13  enodes  (cost  9 )
8.157 * * [simplify]: iteration  3 :  15  enodes  (cost  9 )
8.158 * * [simplify]: iteration  done :  15  enodes  (cost  9 )
8.159 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
8.160 * * [simplify]: iteration  1 :  9  enodes  (cost  4 )
8.161 * * [simplify]: iteration  2 :  11  enodes  (cost  4 )
8.162 * * [simplify]: iteration  done :  11  enodes  (cost  4 )
8.162 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.163 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.164 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.165 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.167 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.168 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
8.168 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
8.169 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
8.169 * * [simplify]: iteration  0 :  8  enodes  (cost  16 )
8.170 * * [simplify]: iteration  1 :  13  enodes  (cost  12 )
8.172 * * [simplify]: iteration  2 :  21  enodes  (cost  12 )
8.174 * * [simplify]: iteration  3 :  30  enodes  (cost  12 )
8.178 * * [simplify]: iteration  4 :  31  enodes  (cost  12 )
8.182 * * [simplify]: iteration  done :  31  enodes  (cost  12 )
8.183 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
8.183 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
8.184 * * [simplify]: iteration  done :  7  enodes  (cost  7 )
8.184 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
8.185 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
8.186 * * [simplify]: iteration  2 :  13  enodes  (cost  9 )
8.188 * * [simplify]: iteration  3 :  15  enodes  (cost  9 )
8.189 * * [simplify]: iteration  done :  15  enodes  (cost  9 )
8.190 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.190 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.191 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.191 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
8.192 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
8.193 * * [simplify]: iteration  done :  12  enodes  (cost  6 )
8.193 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
8.194 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
8.195 * * [simplify]: iteration  done :  12  enodes  (cost  6 )
8.196 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.196 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.197 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.197 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
8.198 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
8.199 * * [simplify]: iteration  done :  12  enodes  (cost  6 )
8.200 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.200 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.204 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.205 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
8.206 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
8.206 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
8.207 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.207 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.208 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.209 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
8.209 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
8.210 * * [simplify]: iteration  2 :  13  enodes  (cost  11 )
8.212 * * [simplify]: iteration  done :  13  enodes  (cost  11 )
8.212 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.213 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.214 * * [simplify]: iteration  2 :  10  enodes  (cost  8 )
8.215 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
8.215 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.216 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
8.217 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
8.217 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
8.218 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.219 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.220 * * [simplify]: iteration  2 :  10  enodes  (cost  8 )
8.221 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
8.221 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
8.221 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
8.222 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
8.222 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.223 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
8.224 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
8.225 * * [simplify]: iteration  3 :  13  enodes  (cost  7 )
8.227 * * [simplify]: iteration  done :  13  enodes  (cost  7 )
8.228 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.229 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
8.229 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
8.230 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.231 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.232 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.233 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.235 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.235 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
8.236 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
8.236 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
8.237 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.237 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.238 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.240 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.241 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.241 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
8.242 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
8.242 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
8.243 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.243 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
8.244 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
8.245 * * [simplify]: iteration  3 :  13  enodes  (cost  7 )
8.247 * * [simplify]: iteration  done :  13  enodes  (cost  7 )
8.247 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
8.247 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
8.248 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
8.249 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
8.249 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
8.251 * * [simplify]: iteration  2 :  20  enodes  (cost  11 )
8.254 * * [simplify]: iteration  3 :  29  enodes  (cost  11 )
8.257 * * [simplify]: iteration  4 :  30  enodes  (cost  11 )
8.260 * * [simplify]: iteration  done :  30  enodes  (cost  11 )
8.261 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
8.261 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
8.262 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
8.262 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.263 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.264 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.265 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.267 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.267 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
8.268 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
8.268 * * [simplify]: iteration  done :  5  enodes  (cost  3 )
8.269 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
8.269 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
8.270 * * [simplify]: iteration  done :  11  enodes  (cost  5 )
8.271 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
8.275 * * [simplify]: iteration  1 :  8  enodes  (cost  1 )
8.275 * * [simplify]: iteration  done :  8  enodes  (cost  1 )
8.276 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.276 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
8.277 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
8.277 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
8.278 * * [simplify]: iteration  1 :  8  enodes  (cost  1 )
8.278 * * [simplify]: iteration  done :  8  enodes  (cost  1 )
8.279 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.279 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
8.280 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
8.280 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
8.281 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
8.281 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
8.281 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.282 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
8.282 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
8.283 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
8.284 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
8.285 * * [simplify]: iteration  2 :  13  enodes  (cost  11 )
8.286 * * [simplify]: iteration  done :  13  enodes  (cost  11 )
8.287 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.288 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.289 * * [simplify]: iteration  2 :  10  enodes  (cost  8 )
8.290 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
8.290 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.291 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
8.292 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
8.293 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
8.293 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.294 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.295 * * [simplify]: iteration  2 :  10  enodes  (cost  8 )
8.296 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
8.296 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
8.297 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
8.297 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
8.297 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.298 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
8.299 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
8.300 * * [simplify]: iteration  3 :  13  enodes  (cost  7 )
8.301 * * [simplify]: iteration  done :  13  enodes  (cost  7 )
8.302 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.302 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
8.303 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
8.304 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.305 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.306 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.307 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.308 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.309 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
8.309 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
8.310 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
8.310 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.311 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.312 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.313 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.315 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.315 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
8.316 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
8.316 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
8.316 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.317 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
8.318 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
8.319 * * [simplify]: iteration  3 :  13  enodes  (cost  7 )
8.321 * * [simplify]: iteration  done :  13  enodes  (cost  7 )
8.321 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
8.322 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
8.322 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
8.323 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
8.324 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
8.326 * * [simplify]: iteration  2 :  20  enodes  (cost  11 )
8.328 * * [simplify]: iteration  3 :  29  enodes  (cost  11 )
8.331 * * [simplify]: iteration  4 :  30  enodes  (cost  11 )
8.335 * * [simplify]: iteration  done :  30  enodes  (cost  11 )
8.335 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
8.336 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
8.336 * * [simplify]: iteration  done :  6  enodes  (cost  4 )
8.337 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.337 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.338 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.340 * * [simplify]: iteration  3 :  14  enodes  (cost  8 )
8.341 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
8.342 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
8.345 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
8.346 * * [simplify]: iteration  done :  5  enodes  (cost  3 )
8.347 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
8.347 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
8.348 * * [simplify]: iteration  done :  11  enodes  (cost  5 )
8.349 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
8.349 * * [simplify]: iteration  1 :  8  enodes  (cost  1 )
8.349 * * [simplify]: iteration  done :  8  enodes  (cost  1 )
8.350 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.351 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
8.351 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
8.352 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
8.352 * * [simplify]: iteration  1 :  8  enodes  (cost  1 )
8.353 * * [simplify]: iteration  done :  8  enodes  (cost  1 )
8.353 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.354 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
8.354 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
8.355 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
8.355 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
8.356 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
8.356 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.357 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
8.357 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
8.358 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.358 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
8.359 * * [simplify]: iteration  2 :  12  enodes  (cost  3 )
8.360 * * [simplify]: iteration  3 :  14  enodes  (cost  3 )
8.361 * * [simplify]: iteration  done :  14  enodes  (cost  3 )
8.362 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.362 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
8.363 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
8.364 * * [simplify]: iteration  3 :  15  enodes  (cost  7 )
8.366 * * [simplify]: iteration  4 :  18  enodes  (cost  7 )
8.368 * * [simplify]: iteration  5 :  19  enodes  (cost  7 )
8.371 * * [simplify]: iteration  done :  19  enodes  (cost  7 )
8.371 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
8.372 * * [simplify]: iteration  1 :  12  enodes  (cost  13 )
8.374 * * [simplify]: iteration  2 :  13  enodes  (cost  13 )
8.375 * * [simplify]: iteration  done :  13  enodes  (cost  13 )
8.375 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.376 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.377 * * [simplify]: iteration  2 :  10  enodes  (cost  8 )
8.378 * * [simplify]: iteration  done :  10  enodes  (cost  8 )
8.379 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
8.379 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
8.380 * * [simplify]: iteration  2 :  10  enodes  (cost  3 )
8.381 * * [simplify]: iteration  done :  10  enodes  (cost  3 )
8.381 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.382 * * [simplify]: iteration  1 :  9  enodes  (cost  9 )
8.383 * * [simplify]: iteration  done :  9  enodes  (cost  9 )
8.384 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.384 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.385 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.385 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
8.386 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
8.386 * * [simplify]: iteration  2 :  10  enodes  (cost  3 )
8.387 * * [simplify]: iteration  done :  10  enodes  (cost  3 )
8.388 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.388 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.389 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.389 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.390 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.390 * * [simplify]: iteration  done :  6  enodes  (cost  6 )
8.391 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
8.391 * * [simplify]: iteration  1 :  5  enodes  (cost  5 )
8.392 * * [simplify]: iteration  done :  5  enodes  (cost  5 )
8.393 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
8.393 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
8.394 * * [simplify]: iteration  done :  11  enodes  (cost  5 )
8.395 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
8.395 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
8.396 * * [simplify]: iteration  done :  11  enodes  (cost  5 )
8.397 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
8.397 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
8.398 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
8.399 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.399 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.400 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.401 * * [simplify]: iteration  3 :  16  enodes  (cost  8 )
8.403 * * [simplify]: iteration  4 :  19  enodes  (cost  8 )
8.405 * * [simplify]: iteration  5 :  20  enodes  (cost  8 )
8.407 * * [simplify]: iteration  done :  20  enodes  (cost  8 )
8.408 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
8.409 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
8.410 * * [simplify]: iteration  2 :  12  enodes  (cost  8 )
8.411 * * [simplify]: iteration  3 :  16  enodes  (cost  8 )
8.413 * * [simplify]: iteration  4 :  19  enodes  (cost  8 )
8.419 * * [simplify]: iteration  5 :  20  enodes  (cost  8 )
8.421 * * [simplify]: iteration  done :  20  enodes  (cost  8 )
8.422 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.422 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
8.423 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
8.425 * * [simplify]: iteration  3 :  15  enodes  (cost  7 )
8.426 * * [simplify]: iteration  4 :  18  enodes  (cost  7 )
8.428 * * [simplify]: iteration  5 :  19  enodes  (cost  7 )
8.430 * * [simplify]: iteration  done :  19  enodes  (cost  7 )
8.431 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
8.432 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
8.433 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
8.434 * * [simplify]: iteration  3 :  15  enodes  (cost  7 )
8.436 * * [simplify]: iteration  4 :  18  enodes  (cost  7 )
8.438 * * [simplify]: iteration  5 :  19  enodes  (cost  7 )
8.440 * * [simplify]: iteration  done :  19  enodes  (cost  7 )
8.441 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
8.442 * * [simplify]: iteration  1 :  17  enodes  (cost  9 )
8.444 * * [simplify]: iteration  2 :  38  enodes  (cost  9 )
8.451 * * [simplify]: iteration  3 :  89  enodes  (cost  9 )
8.469 * * [simplify]: iteration  4 :  182  enodes  (cost  9 )
8.524 * * [simplify]: iteration  5 :  426  enodes  (cost  9 )
8.873 * * [simplify]: iteration  6 :  1321  enodes  (cost  9 )
11.855 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
11.856 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
11.857 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
11.858 * * [simplify]: iteration  2 :  20  enodes  (cost  5 )
11.860 * * [simplify]: iteration  3 :  21  enodes  (cost  5 )
11.861 * * [simplify]: iteration  done :  21  enodes  (cost  5 )
11.862 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
11.863 * * [simplify]: iteration  1 :  26  enodes  (cost  13 )
11.868 * * [simplify]: iteration  2 :  78  enodes  (cost  13 )
11.885 * * [simplify]: iteration  3 :  203  enodes  (cost  13 )
11.970 * * [simplify]: iteration  4 :  499  enodes  (cost  13 )
12.273 * * [simplify]: iteration  5 :  1197  enodes  (cost  13 )
13.316 * * [simplify]: iteration  6 :  2178  enodes  (cost  13 )
15.738 * * [simplify]: iteration  7 :  3709  enodes  (cost  13 )
17.513 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
17.514 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
17.514 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
17.516 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
17.520 * * [simplify]: iteration  3 :  59  enodes  (cost  7 )
17.532 * * [simplify]: iteration  4 :  104  enodes  (cost  7 )
17.556 * * [simplify]: iteration  5 :  148  enodes  (cost  7 )
17.592 * * [simplify]: iteration  6 :  190  enodes  (cost  7 )
17.659 * * [simplify]: iteration  7 :  286  enodes  (cost  7 )
17.755 * * [simplify]: iteration  8 :  450  enodes  (cost  7 )
17.883 * * [simplify]: iteration  9 :  585  enodes  (cost  7 )
18.058 * * [simplify]: iteration  10 :  653  enodes  (cost  7 )
18.251 * * [simplify]: iteration  done :  653  enodes  (cost  7 )
18.252 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
18.252 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
18.254 * * [simplify]: iteration  2 :  16  enodes  (cost  7 )
18.256 * * [simplify]: iteration  3 :  24  enodes  (cost  7 )
18.259 * * [simplify]: iteration  4 :  31  enodes  (cost  7 )
18.262 * * [simplify]: iteration  done :  31  enodes  (cost  7 )
18.263 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
18.263 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
18.265 * * [simplify]: iteration  2 :  16  enodes  (cost  7 )
18.267 * * [simplify]: iteration  3 :  24  enodes  (cost  7 )
18.270 * * [simplify]: iteration  4 :  31  enodes  (cost  7 )
18.273 * * [simplify]: iteration  done :  31  enodes  (cost  7 )
18.273 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
18.274 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
18.275 * * [simplify]: iteration  2 :  16  enodes  (cost  7 )
18.277 * * [simplify]: iteration  3 :  24  enodes  (cost  7 )
18.281 * * [simplify]: iteration  4 :  31  enodes  (cost  7 )
18.283 * * [simplify]: iteration  done :  31  enodes  (cost  7 )
18.284 * [simplify]: Simplified to:
   (- (log (+ x y)) (log (+ y y)))
  (log (/ (+ x y) (+ y y)))
  (sqrt (exp (/ (+ x y) y)))
  (pow (/ (+ x y) (+ y y)) 3)
  (* (cbrt (/ (+ x y) (+ y y))) (cbrt (/ (+ x y) (+ y y))))
  (cbrt (/ (+ x y) (+ y y)))
  (pow (/ (+ x y) (+ y y)) 3)
  (sqrt (/ (+ x y) (+ y y)))
  (sqrt (/ (+ x y) (+ y y)))
  (neg (+ x y))
  (* -2 y)
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (cbrt (+ x y)) (cbrt (+ y y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y y)))
  (/ (cbrt (+ x y)) (sqrt (+ y y)))
  (* (cbrt (+ x y)) (cbrt (+ x y)))
  (/ (cbrt (+ x y)) (+ y y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (+ x y)) (* 2 (cbrt y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y))
  (/ (cbrt (+ x y)) (* 2 (sqrt y)))
  (* (cbrt (+ x y)) (cbrt (+ x y)))
  (/ (cbrt (+ x y)) (+ y y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt y))
  (/ (cbrt (+ x y)) (* 2 (* (cbrt y) (cbrt y))))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt y))
  (/ (cbrt (+ x y)) (* 2 (sqrt y)))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) y)
  (/ (cbrt (+ x y)) 2)
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 2)
  (/ (cbrt (+ x y)) y)
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 2)
  (/ (cbrt (+ x y)) y)
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 2)
  (/ (cbrt (+ x y)) y)
  (/ (sqrt (+ x y)) (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (sqrt (+ x y)) (cbrt (+ y y)))
  (/ (sqrt (+ x y)) (sqrt (+ y y)))
  (/ (sqrt (+ x y)) (sqrt (+ y y)))
  (sqrt (+ x y))
  (/ (sqrt (+ x y)) (+ y y))
  (/ (sqrt (+ x y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (+ x y)) (* 2 (cbrt y)))
  (/ (sqrt (+ x y)) (sqrt y))
  (/ (sqrt (+ x y)) (* 2 (sqrt y)))
  (sqrt (+ x y))
  (/ (sqrt (+ x y)) (+ y y))
  (/ (sqrt (+ x y)) (cbrt y))
  (/ (sqrt (+ x y)) (* 2 (* (cbrt y) (cbrt y))))
  (/ (sqrt (+ x y)) (sqrt y))
  (/ (sqrt (+ x y)) (* 2 (sqrt y)))
  (/ (sqrt (+ x y)) y)
  (/ (sqrt (+ x y)) 2)
  (/ (sqrt (+ x y)) 2)
  (/ (sqrt (+ x y)) y)
  (/ (sqrt (+ x y)) 2)
  (/ (sqrt (+ x y)) y)
  (/ (sqrt (+ x y)) 2)
  (/ (sqrt (+ x y)) y)
  (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (+ x y) (cbrt (+ y y)))
  (/ 1 (sqrt (+ y y)))
  (/ (+ x y) (sqrt (+ y y)))
  1
  (/ (+ x y) (+ y y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (+ x y) (* 2 (cbrt y)))
  (/ 1 (sqrt y))
  (/ (+ x y) (* 2 (sqrt y)))
  1
  (/ (+ x y) (+ y y))
  (/ 1 (cbrt y))
  (/ (+ x y) (* 2 (* (cbrt y) (cbrt y))))
  (/ 1 (sqrt y))
  (/ (+ x y) (* 2 (sqrt y)))
  (/ 1 y)
  (/ (+ x y) 2)
  1/2
  (/ (+ x y) y)
  1/2
  (/ (+ x y) y)
  1/2
  (/ (+ x y) y)
  (/ 1 (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (+ x y) (cbrt (+ y y)))
  (/ 1 (sqrt (+ y y)))
  (/ (+ x y) (sqrt (+ y y)))
  1
  (/ (+ x y) (+ y y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (+ x y) (* 2 (cbrt y)))
  (/ 1 (sqrt y))
  (/ (+ x y) (* 2 (sqrt y)))
  1
  (/ (+ x y) (+ y y))
  (/ 1 (cbrt y))
  (/ (+ x y) (* 2 (* (cbrt y) (cbrt y))))
  (/ 1 (sqrt y))
  (/ (+ x y) (* 2 (sqrt y)))
  (/ 1 y)
  (/ (+ x y) 2)
  1/2
  (/ (+ x y) y)
  1/2
  (/ (+ x y) y)
  1/2
  (/ (+ x y) y)
  (/ 1/2 y)
  (/ (+ y y) (+ x y))
  (/ (+ x y) (* (cbrt (+ y y)) (cbrt (+ y y))))
  (/ (+ x y) (sqrt (+ y y)))
  (+ x y)
  (/ (+ x y) (* (cbrt y) (cbrt y)))
  (/ (+ x y) (sqrt y))
  (+ x y)
  (/ (+ x y) (cbrt y))
  (/ (+ x y) (sqrt y))
  (/ (+ x y) y)
  (/ (+ x y) 2)
  (/ (+ x y) 2)
  (/ (+ x y) 2)
  (/ (+ y y) (cbrt (+ x y)))
  (/ (+ y y) (sqrt (+ x y)))
  (/ (+ y y) (+ x y))
  (/ (+ y y) (+ x y))
  (/ (+ x y) (* 2 (pow y 3)))
  (/ (+ x y) 0)
  (* (+ (* x x) (* y (- y x))) (+ y y))
  (* (+ y y) (- x y))
  (+ (* 1/2 (/ x y)) 1/2)
  (+ 1/2 (* 1/2 (/ x y)))
  (+ 1/2 (* 1/2 (/ x y)))
18.285 * * * [progress]: adding candidates to table
18.349 * * [progress]: iteration 2 / 4
18.349 * * * [progress]: picking best candidate
18.351 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 1/2 (/ x y)) 1/2))>
18.351 * * * [progress]: localizing error
18.356 * * * [progress]: generating rewritten candidates
18.356 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
18.369 * * * [progress]: generating series expansions
18.369 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
18.369 * [approximate]: Taking taylor expansion of (* 1/2 (/ x y)) in (x y) around 0
18.370 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y
18.370 * [taylor]: Taking taylor expansion of 1/2 in y
18.370 * [taylor]: Taking taylor expansion of (/ x y) in y
18.370 * [taylor]: Taking taylor expansion of x in y
18.370 * [taylor]: Taking taylor expansion of y in y
18.370 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
18.370 * [taylor]: Taking taylor expansion of 1/2 in x
18.370 * [taylor]: Taking taylor expansion of (/ x y) in x
18.370 * [taylor]: Taking taylor expansion of x in x
18.370 * [taylor]: Taking taylor expansion of y in x
18.370 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x
18.370 * [taylor]: Taking taylor expansion of 1/2 in x
18.370 * [taylor]: Taking taylor expansion of (/ x y) in x
18.370 * [taylor]: Taking taylor expansion of x in x
18.370 * [taylor]: Taking taylor expansion of y in x
18.370 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
18.370 * [taylor]: Taking taylor expansion of 1/2 in y
18.370 * [taylor]: Taking taylor expansion of y in y
18.370 * [taylor]: Taking taylor expansion of 0 in y
18.370 * [taylor]: Taking taylor expansion of 0 in y
18.371 * [taylor]: Taking taylor expansion of 0 in y
18.371 * [approximate]: Taking taylor expansion of (* 1/2 (/ y x)) in (x y) around 0
18.371 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y
18.371 * [taylor]: Taking taylor expansion of 1/2 in y
18.371 * [taylor]: Taking taylor expansion of (/ y x) in y
18.371 * [taylor]: Taking taylor expansion of y in y
18.371 * [taylor]: Taking taylor expansion of x in y
18.371 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
18.371 * [taylor]: Taking taylor expansion of 1/2 in x
18.371 * [taylor]: Taking taylor expansion of (/ y x) in x
18.371 * [taylor]: Taking taylor expansion of y in x
18.371 * [taylor]: Taking taylor expansion of x in x
18.371 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
18.371 * [taylor]: Taking taylor expansion of 1/2 in x
18.371 * [taylor]: Taking taylor expansion of (/ y x) in x
18.371 * [taylor]: Taking taylor expansion of y in x
18.371 * [taylor]: Taking taylor expansion of x in x
18.371 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
18.371 * [taylor]: Taking taylor expansion of 1/2 in y
18.371 * [taylor]: Taking taylor expansion of y in y
18.371 * [taylor]: Taking taylor expansion of 0 in y
18.372 * [taylor]: Taking taylor expansion of 0 in y
18.372 * [taylor]: Taking taylor expansion of 0 in y
18.372 * [approximate]: Taking taylor expansion of (* 1/2 (/ y x)) in (x y) around 0
18.372 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y
18.372 * [taylor]: Taking taylor expansion of 1/2 in y
18.372 * [taylor]: Taking taylor expansion of (/ y x) in y
18.372 * [taylor]: Taking taylor expansion of y in y
18.372 * [taylor]: Taking taylor expansion of x in y
18.372 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
18.372 * [taylor]: Taking taylor expansion of 1/2 in x
18.372 * [taylor]: Taking taylor expansion of (/ y x) in x
18.372 * [taylor]: Taking taylor expansion of y in x
18.372 * [taylor]: Taking taylor expansion of x in x
18.372 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x
18.372 * [taylor]: Taking taylor expansion of 1/2 in x
18.372 * [taylor]: Taking taylor expansion of (/ y x) in x
18.372 * [taylor]: Taking taylor expansion of y in x
18.372 * [taylor]: Taking taylor expansion of x in x
18.372 * [taylor]: Taking taylor expansion of (* 1/2 y) in y
18.372 * [taylor]: Taking taylor expansion of 1/2 in y
18.372 * [taylor]: Taking taylor expansion of y in y
18.372 * [taylor]: Taking taylor expansion of 0 in y
18.373 * [taylor]: Taking taylor expansion of 0 in y
18.373 * [taylor]: Taking taylor expansion of 0 in y
18.373 * * * [progress]: simplifying candidates
18.374 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 1/2 (/ x y))
  (+ (log 1/2) (- (log x) (log y)))
  (+ (log 1/2) (log (/ x y)))
  (log (* 1/2 (/ x y)))
  (exp (* 1/2 (/ x y)))
  (* (* (* 1/2 1/2) 1/2) (/ (* (* x x) x) (* (* y y) y)))
  (* (* (* 1/2 1/2) 1/2) (* (* (/ x y) (/ x y)) (/ x y)))
  (* (cbrt (* 1/2 (/ x y))) (cbrt (* 1/2 (/ x y))))
  (cbrt (* 1/2 (/ x y)))
  (* (* (* 1/2 (/ x y)) (* 1/2 (/ x y))) (* 1/2 (/ x y)))
  (sqrt (* 1/2 (/ x y)))
  (sqrt (* 1/2 (/ x y)))
  (* (sqrt 1/2) (sqrt (/ x y)))
  (* (sqrt 1/2) (sqrt (/ x y)))
  (* (sqrt 1/2) (/ (sqrt x) (sqrt y)))
  (* (sqrt 1/2) (/ (sqrt x) (sqrt y)))
  (* 1/2 (* (cbrt (/ x y)) (cbrt (/ x y))))
  (* 1/2 (sqrt (/ x y)))
  (* 1/2 (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
  (* 1/2 (/ (* (cbrt x) (cbrt x)) (sqrt y)))
  (* 1/2 (/ (* (cbrt x) (cbrt x)) 1))
  (* 1/2 (/ (sqrt x) (* (cbrt y) (cbrt y))))
  (* 1/2 (/ (sqrt x) (sqrt y)))
  (* 1/2 (/ (sqrt x) 1))
  (* 1/2 (/ 1 (* (cbrt y) (cbrt y))))
  (* 1/2 (/ 1 (sqrt y)))
  (* 1/2 (/ 1 1))
  (* 1/2 1)
  (* 1/2 x)
  (* (cbrt 1/2) (/ x y))
  (* (sqrt 1/2) (/ x y))
  (* 1/2 (/ x y))
  (* 1/2 x)
  (* 1/2 (/ x y))
  (* 1/2 (/ x y))
  (* 1/2 (/ x y))
18.374 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
18.375 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
18.376 * * [simplify]: iteration  2 :  11  enodes  (cost  5 )
18.377 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
18.379 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
18.381 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
18.381 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
18.382 * * [simplify]: iteration  1 :  13  enodes  (cost  8 )
18.384 * * [simplify]: iteration  2 :  20  enodes  (cost  8 )
18.386 * * [simplify]: iteration  3 :  29  enodes  (cost  8 )
18.389 * * [simplify]: iteration  4 :  35  enodes  (cost  8 )
18.395 * * [simplify]: iteration  5 :  45  enodes  (cost  8 )
18.400 * * [simplify]: iteration  6 :  52  enodes  (cost  8 )
18.406 * * [simplify]: iteration  7 :  64  enodes  (cost  8 )
18.415 * * [simplify]: iteration  8 :  87  enodes  (cost  8 )
18.431 * * [simplify]: iteration  9 :  101  enodes  (cost  8 )
18.443 * * [simplify]: iteration  10 :  107  enodes  (cost  8 )
18.456 * * [simplify]: iteration  done :  107  enodes  (cost  8 )
18.457 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
18.458 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
18.459 * * [simplify]: iteration  2 :  17  enodes  (cost  7 )
18.461 * * [simplify]: iteration  3 :  26  enodes  (cost  7 )
18.464 * * [simplify]: iteration  4 :  36  enodes  (cost  7 )
18.469 * * [simplify]: iteration  5 :  45  enodes  (cost  7 )
18.474 * * [simplify]: iteration  6 :  50  enodes  (cost  7 )
18.479 * * [simplify]: iteration  7 :  59  enodes  (cost  7 )
18.489 * * [simplify]: iteration  8 :  76  enodes  (cost  7 )
18.502 * * [simplify]: iteration  9 :  95  enodes  (cost  7 )
18.513 * * [simplify]: iteration  10 :  103  enodes  (cost  7 )
18.526 * * [simplify]: iteration  done :  103  enodes  (cost  7 )
18.526 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
18.527 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
18.529 * * [simplify]: iteration  2 :  21  enodes  (cost  6 )
18.531 * * [simplify]: iteration  3 :  35  enodes  (cost  6 )
18.535 * * [simplify]: iteration  4 :  55  enodes  (cost  6 )
18.543 * * [simplify]: iteration  5 :  69  enodes  (cost  6 )
18.555 * * [simplify]: iteration  6 :  81  enodes  (cost  6 )
18.565 * * [simplify]: iteration  7 :  99  enodes  (cost  6 )
18.575 * * [simplify]: iteration  8 :  115  enodes  (cost  6 )
18.590 * * [simplify]: iteration  9 :  122  enodes  (cost  6 )
18.608 * * [simplify]: iteration  10 :  139  enodes  (cost  6 )
18.623 * * [simplify]: iteration  11 :  141  enodes  (cost  6 )
18.638 * * [simplify]: iteration  done :  141  enodes  (cost  6 )
18.639 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
18.639 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
18.641 * * [simplify]: iteration  2 :  20  enodes  (cost  6 )
18.644 * * [simplify]: iteration  3 :  36  enodes  (cost  5 )
18.649 * * [simplify]: iteration  4 :  70  enodes  (cost  5 )
18.663 * * [simplify]: iteration  5 :  145  enodes  (cost  5 )
18.711 * * [simplify]: iteration  6 :  339  enodes  (cost  5 )
19.142 * * [simplify]: iteration  7 :  1392  enodes  (cost  5 )
22.638 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
22.639 * * [simplify]: iteration  0 :  11  enodes  (cost  17 )
22.641 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
22.645 * * [simplify]: iteration  2 :  96  enodes  (cost  9 )
22.678 * * [simplify]: iteration  3 :  348  enodes  (cost  7 )
23.162 * * [simplify]: iteration  4 :  1090  enodes  (cost  7 )
25.250 * * [simplify]: iteration  5 :  3073  enodes  (cost  7 )
27.550 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
27.551 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
27.552 * * [simplify]: iteration  1 :  24  enodes  (cost  13 )
27.556 * * [simplify]: iteration  2 :  63  enodes  (cost  7 )
27.570 * * [simplify]: iteration  3 :  184  enodes  (cost  7 )
27.661 * * [simplify]: iteration  4 :  571  enodes  (cost  7 )
28.280 * * [simplify]: iteration  5 :  1584  enodes  (cost  7 )
31.216 * * [simplify]: iteration  6 :  3639  enodes  (cost  7 )
33.675 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
33.676 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
33.677 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
33.678 * * [simplify]: iteration  2 :  13  enodes  (cost  13 )
33.680 * * [simplify]: iteration  3 :  17  enodes  (cost  13 )
33.682 * * [simplify]: iteration  4 :  18  enodes  (cost  13 )
33.684 * * [simplify]: iteration  done :  18  enodes  (cost  13 )
33.685 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
33.685 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
33.686 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
33.688 * * [simplify]: iteration  3 :  16  enodes  (cost  6 )
33.694 * * [simplify]: iteration  4 :  17  enodes  (cost  6 )
33.696 * * [simplify]: iteration  done :  17  enodes  (cost  6 )
33.696 * * [simplify]: iteration  0 :  7  enodes  (cost  17 )
33.697 * * [simplify]: iteration  1 :  21  enodes  (cost  15 )
33.701 * * [simplify]: iteration  2 :  73  enodes  (cost  7 )
33.728 * * [simplify]: iteration  3 :  271  enodes  (cost  7 )
33.941 * * [simplify]: iteration  4 :  828  enodes  (cost  7 )
35.324 * * [simplify]: iteration  5 :  2501  enodes  (cost  7 )
41.537 * * [simplify]: iteration  6 :  4539  enodes  (cost  7 )
43.126 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
43.127 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
43.128 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
43.129 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
43.130 * * [simplify]: iteration  3 :  16  enodes  (cost  6 )
43.133 * * [simplify]: iteration  4 :  17  enodes  (cost  6 )
43.134 * * [simplify]: iteration  done :  17  enodes  (cost  6 )
43.135 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
43.136 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
43.137 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
43.138 * * [simplify]: iteration  3 :  16  enodes  (cost  6 )
43.140 * * [simplify]: iteration  4 :  17  enodes  (cost  6 )
43.142 * * [simplify]: iteration  done :  17  enodes  (cost  6 )
43.143 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
43.143 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
43.144 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
43.145 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
43.145 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
43.146 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
43.147 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
43.148 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
43.149 * * [simplify]: iteration  2 :  14  enodes  (cost  8 )
43.150 * * [simplify]: iteration  3 :  18  enodes  (cost  8 )
43.152 * * [simplify]: iteration  4 :  19  enodes  (cost  8 )
43.154 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
43.155 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
43.155 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
43.157 * * [simplify]: iteration  2 :  14  enodes  (cost  8 )
43.161 * * [simplify]: iteration  3 :  18  enodes  (cost  8 )
43.163 * * [simplify]: iteration  4 :  19  enodes  (cost  8 )
43.165 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
43.166 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
43.166 * * [simplify]: iteration  1 :  10  enodes  (cost  11 )
43.168 * * [simplify]: iteration  2 :  12  enodes  (cost  11 )
43.169 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
43.170 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
43.170 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
43.171 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
43.172 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
43.173 * * [simplify]: iteration  1 :  18  enodes  (cost  13 )
43.175 * * [simplify]: iteration  2 :  47  enodes  (cost  13 )
43.183 * * [simplify]: iteration  3 :  86  enodes  (cost  13 )
43.204 * * [simplify]: iteration  4 :  142  enodes  (cost  13 )
43.237 * * [simplify]: iteration  5 :  158  enodes  (cost  13 )
43.269 * * [simplify]: iteration  done :  158  enodes  (cost  13 )
43.270 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
43.271 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
43.272 * * [simplify]: iteration  2 :  23  enodes  (cost  10 )
43.275 * * [simplify]: iteration  3 :  38  enodes  (cost  10 )
43.280 * * [simplify]: iteration  4 :  51  enodes  (cost  10 )
43.288 * * [simplify]: iteration  5 :  53  enodes  (cost  10 )
43.295 * * [simplify]: iteration  done :  53  enodes  (cost  10 )
43.296 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
43.297 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
43.299 * * [simplify]: iteration  2 :  32  enodes  (cost  7 )
43.305 * * [simplify]: iteration  3 :  69  enodes  (cost  7 )
43.315 * * [simplify]: iteration  4 :  93  enodes  (cost  7 )
43.327 * * [simplify]: iteration  done :  93  enodes  (cost  7 )
43.327 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
43.328 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
43.330 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
43.333 * * [simplify]: iteration  3 :  38  enodes  (cost  10 )
43.338 * * [simplify]: iteration  4 :  50  enodes  (cost  10 )
43.345 * * [simplify]: iteration  done :  50  enodes  (cost  10 )
43.346 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
43.346 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
43.347 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
43.349 * * [simplify]: iteration  3 :  17  enodes  (cost  7 )
43.351 * * [simplify]: iteration  4 :  18  enodes  (cost  7 )
43.352 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
43.353 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
43.354 * * [simplify]: iteration  1 :  11  enodes  (cost  4 )
43.355 * * [simplify]: iteration  2 :  19  enodes  (cost  4 )
43.357 * * [simplify]: iteration  3 :  28  enodes  (cost  4 )
43.359 * * [simplify]: iteration  done :  28  enodes  (cost  4 )
43.359 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
43.360 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
43.362 * * [simplify]: iteration  2 :  22  enodes  (cost  7 )
43.364 * * [simplify]: iteration  3 :  26  enodes  (cost  7 )
43.366 * * [simplify]: iteration  4 :  31  enodes  (cost  7 )
43.370 * * [simplify]: iteration  5 :  44  enodes  (cost  7 )
43.376 * * [simplify]: iteration  6 :  56  enodes  (cost  7 )
43.387 * * [simplify]: iteration  7 :  61  enodes  (cost  7 )
43.396 * * [simplify]: iteration  done :  61  enodes  (cost  7 )
43.397 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
43.398 * * [simplify]: iteration  1 :  11  enodes  (cost  4 )
43.399 * * [simplify]: iteration  2 :  13  enodes  (cost  4 )
43.400 * * [simplify]: iteration  done :  13  enodes  (cost  4 )
43.400 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
43.401 * * [simplify]: iteration  1 :  9  enodes  (cost  1 )
43.401 * * [simplify]: iteration  done :  9  enodes  (cost  1 )
43.402 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
43.402 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
43.403 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
43.403 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
43.404 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
43.404 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
43.405 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
43.405 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
43.406 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
43.407 * * [simplify]: iteration  3 :  16  enodes  (cost  6 )
43.409 * * [simplify]: iteration  4 :  17  enodes  (cost  6 )
43.411 * * [simplify]: iteration  done :  17  enodes  (cost  6 )
43.412 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
43.412 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
43.413 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
43.415 * * [simplify]: iteration  3 :  16  enodes  (cost  6 )
43.416 * * [simplify]: iteration  4 :  17  enodes  (cost  6 )
43.418 * * [simplify]: iteration  done :  17  enodes  (cost  6 )
43.419 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
43.419 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
43.420 * * [simplify]: iteration  2 :  11  enodes  (cost  5 )
43.421 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
43.423 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
43.425 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
43.426 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
43.426 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
43.427 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
43.427 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
43.428 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
43.429 * * [simplify]: iteration  2 :  11  enodes  (cost  5 )
43.430 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
43.432 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
43.433 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
43.434 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
43.434 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
43.435 * * [simplify]: iteration  2 :  11  enodes  (cost  5 )
43.437 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
43.438 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
43.440 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
43.441 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
43.441 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
43.442 * * [simplify]: iteration  2 :  11  enodes  (cost  5 )
43.444 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
43.445 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
43.450 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
43.450 * [simplify]: Simplified to:
   (* 1/2 (/ x y))
  (+ (log 1/2) (- (log x) (log y)))
  (+ (log 1/2) (log (/ x y)))
  (log (* 1/2 (/ x y)))
  (sqrt (exp (/ x y)))
  (* (pow (/ x y) 3) 1/8)
  (* (pow (/ x y) 3) 1/8)
  (* (cbrt (* 1/2 (/ x y))) (cbrt (* 1/2 (/ x y))))
  (cbrt (* 1/2 (/ x y)))
  (pow (* 1/2 (/ x y)) 3)
  (sqrt (* 1/2 (/ x y)))
  (sqrt (* 1/2 (/ x y)))
  (* (sqrt 1/2) (sqrt (/ x y)))
  (* (sqrt 1/2) (sqrt (/ x y)))
  (* (sqrt 1/2) (/ (sqrt x) (sqrt y)))
  (* (sqrt 1/2) (/ (sqrt x) (sqrt y)))
  (* 1/2 (* (cbrt (/ x y)) (cbrt (/ x y))))
  (* 1/2 (sqrt (/ x y)))
  (* 1/2 (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))
  (* 1/2 (/ (* (cbrt x) (cbrt x)) (sqrt y)))
  (* (* (cbrt x) (cbrt x)) 1/2)
  (* 1/2 (/ (sqrt x) (* (cbrt y) (cbrt y))))
  (* 1/2 (/ (sqrt x) (sqrt y)))
  (* (sqrt x) 1/2)
  (/ 1/2 (* (cbrt y) (cbrt y)))
  (/ 1/2 (sqrt y))
  1/2
  1/2
  (* 1/2 x)
  (* (cbrt 1/2) (/ x y))
  (* (sqrt 1/2) (/ x y))
  (* 1/2 (/ x y))
  (* 1/2 x)
  (* 1/2 (/ x y))
  (* 1/2 (/ x y))
  (* 1/2 (/ x y))
43.450 * * * [progress]: adding candidates to table
43.488 * [progress]: [Phase 3 of 3] Extracting.
43.491 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* 1/2 (/ x y)) 1/2)
43.491 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
43.491 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
43.492 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
43.492 * [simplify]: Simplified to:
   (+ (* 1/2 (/ x y)) 1/2)
44.196 * [regime-testing]: End program error score: 0.0012904023121499389
44.263 * [regime-testing]: Target error score: 0.0012904023121499389