628.221 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.038 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.041 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (- (* x y) (* y y)) (* y y)) (* y z))
0.042 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
0.043 * * [simplify]: iteration  1 :  22  enodes  (cost  13 )
0.047 * * [simplify]: iteration  2 :  67  enodes  (cost  9 )
0.068 * * [simplify]: iteration  3 :  154  enodes  (cost  7 )
0.170 * * [simplify]: iteration  4 :  533  enodes  (cost  5 )
1.560 * * [simplify]: iteration  5 :  2197  enodes  (cost  5 )
6.083 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
6.083 * [simplify]: Simplified to:
   (* (- x z) y)
6.088 * * [progress]: iteration 1 / 4
6.088 * * * [progress]: picking best candidate
6.090 * * * * [pick]: Picked  #<alt (λ (x y z) (* (- x z) y))>
6.090 * * * [progress]: localizing error
6.095 * * * [progress]: generating rewritten candidates
6.095 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.103 * * * [progress]: generating series expansions
6.103 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.104 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0
6.104 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
6.104 * [taylor]: Taking taylor expansion of (- x z) in y
6.104 * [taylor]: Taking taylor expansion of x in y
6.104 * [taylor]: Taking taylor expansion of z in y
6.104 * [taylor]: Taking taylor expansion of y in y
6.104 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
6.104 * [taylor]: Taking taylor expansion of (- x z) in z
6.104 * [taylor]: Taking taylor expansion of x in z
6.104 * [taylor]: Taking taylor expansion of z in z
6.104 * [taylor]: Taking taylor expansion of y in z
6.104 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
6.104 * [taylor]: Taking taylor expansion of (- x z) in x
6.104 * [taylor]: Taking taylor expansion of x in x
6.104 * [taylor]: Taking taylor expansion of z in x
6.104 * [taylor]: Taking taylor expansion of y in x
6.104 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
6.104 * [taylor]: Taking taylor expansion of (- x z) in x
6.104 * [taylor]: Taking taylor expansion of x in x
6.104 * [taylor]: Taking taylor expansion of z in x
6.104 * [taylor]: Taking taylor expansion of y in x
6.104 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
6.104 * [taylor]: Taking taylor expansion of -1 in z
6.104 * [taylor]: Taking taylor expansion of (* z y) in z
6.104 * [taylor]: Taking taylor expansion of z in z
6.104 * [taylor]: Taking taylor expansion of y in z
6.104 * [taylor]: Taking taylor expansion of 0 in y
6.104 * [taylor]: Taking taylor expansion of y in z
6.104 * [taylor]: Taking taylor expansion of y in y
6.104 * [taylor]: Taking taylor expansion of (neg y) in y
6.105 * [taylor]: Taking taylor expansion of y in y
6.105 * [taylor]: Taking taylor expansion of 0 in z
6.105 * [taylor]: Taking taylor expansion of 0 in y
6.105 * [taylor]: Taking taylor expansion of 0 in y
6.105 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
6.105 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
6.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.105 * [taylor]: Taking taylor expansion of x in y
6.105 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.105 * [taylor]: Taking taylor expansion of z in y
6.105 * [taylor]: Taking taylor expansion of y in y
6.105 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
6.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.105 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.105 * [taylor]: Taking taylor expansion of x in z
6.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.105 * [taylor]: Taking taylor expansion of z in z
6.105 * [taylor]: Taking taylor expansion of y in z
6.105 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
6.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.105 * [taylor]: Taking taylor expansion of x in x
6.106 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.106 * [taylor]: Taking taylor expansion of z in x
6.106 * [taylor]: Taking taylor expansion of y in x
6.106 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
6.106 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.106 * [taylor]: Taking taylor expansion of x in x
6.106 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.106 * [taylor]: Taking taylor expansion of z in x
6.106 * [taylor]: Taking taylor expansion of y in x
6.106 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.106 * [taylor]: Taking taylor expansion of y in z
6.106 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in z
6.106 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
6.106 * [taylor]: Taking taylor expansion of (* z y) in z
6.106 * [taylor]: Taking taylor expansion of z in z
6.106 * [taylor]: Taking taylor expansion of y in z
6.106 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
6.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.106 * [taylor]: Taking taylor expansion of y in y
6.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.106 * [taylor]: Taking taylor expansion of y in y
6.107 * [taylor]: Taking taylor expansion of 0 in z
6.107 * [taylor]: Taking taylor expansion of 0 in y
6.107 * [taylor]: Taking taylor expansion of 0 in y
6.107 * [taylor]: Taking taylor expansion of 0 in z
6.107 * [taylor]: Taking taylor expansion of 0 in y
6.108 * [taylor]: Taking taylor expansion of 0 in y
6.108 * [taylor]: Taking taylor expansion of 0 in y
6.108 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0
6.108 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
6.108 * [taylor]: Taking taylor expansion of -1 in y
6.108 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
6.108 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.108 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.108 * [taylor]: Taking taylor expansion of z in y
6.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.108 * [taylor]: Taking taylor expansion of x in y
6.108 * [taylor]: Taking taylor expansion of y in y
6.108 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
6.108 * [taylor]: Taking taylor expansion of -1 in z
6.108 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
6.108 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.109 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.109 * [taylor]: Taking taylor expansion of z in z
6.109 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.109 * [taylor]: Taking taylor expansion of x in z
6.109 * [taylor]: Taking taylor expansion of y in z
6.109 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
6.109 * [taylor]: Taking taylor expansion of -1 in x
6.109 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
6.109 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.109 * [taylor]: Taking taylor expansion of z in x
6.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.109 * [taylor]: Taking taylor expansion of x in x
6.109 * [taylor]: Taking taylor expansion of y in x
6.109 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
6.109 * [taylor]: Taking taylor expansion of -1 in x
6.109 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
6.109 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.109 * [taylor]: Taking taylor expansion of z in x
6.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.109 * [taylor]: Taking taylor expansion of x in x
6.109 * [taylor]: Taking taylor expansion of y in x
6.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.109 * [taylor]: Taking taylor expansion of y in z
6.110 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in z
6.110 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
6.110 * [taylor]: Taking taylor expansion of (* z y) in z
6.110 * [taylor]: Taking taylor expansion of z in z
6.110 * [taylor]: Taking taylor expansion of y in z
6.110 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
6.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.110 * [taylor]: Taking taylor expansion of y in y
6.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.110 * [taylor]: Taking taylor expansion of y in y
6.110 * [taylor]: Taking taylor expansion of 0 in z
6.110 * [taylor]: Taking taylor expansion of 0 in y
6.110 * [taylor]: Taking taylor expansion of 0 in y
6.111 * [taylor]: Taking taylor expansion of 0 in z
6.111 * [taylor]: Taking taylor expansion of 0 in y
6.111 * [taylor]: Taking taylor expansion of 0 in y
6.111 * [taylor]: Taking taylor expansion of 0 in y
6.111 * * * [progress]: simplifying candidates
6.112 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- x z) y)
  (+ (log (- x z)) (log y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (* (- x z) 1)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (* x x) (* z z)) y)
  0
  (- (* x y) (* z y))
  (- (* x y) (* z y))
6.112 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
6.113 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
6.114 * * [simplify]: iteration  2 :  15  enodes  (cost  5 )
6.116 * * [simplify]: iteration  3 :  20  enodes  (cost  5 )
6.118 * * [simplify]: iteration  4 :  24  enodes  (cost  5 )
6.121 * * [simplify]: iteration  done :  24  enodes  (cost  5 )
6.122 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
6.122 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
6.128 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
6.129 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
6.130 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
6.130 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
6.132 * * [simplify]: iteration  2 :  20  enodes  (cost  6 )
6.134 * * [simplify]: iteration  3 :  25  enodes  (cost  6 )
6.137 * * [simplify]: iteration  4 :  29  enodes  (cost  6 )
6.141 * * [simplify]: iteration  done :  29  enodes  (cost  6 )
6.141 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
6.142 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
6.144 * * [simplify]: iteration  2 :  29  enodes  (cost  6 )
6.147 * * [simplify]: iteration  3 :  48  enodes  (cost  6 )
6.154 * * [simplify]: iteration  4 :  91  enodes  (cost  6 )
6.168 * * [simplify]: iteration  5 :  174  enodes  (cost  6 )
6.227 * * [simplify]: iteration  6 :  425  enodes  (cost  6 )
6.517 * * [simplify]: iteration  7 :  1317  enodes  (cost  6 )
8.236 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
8.236 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
8.238 * * [simplify]: iteration  1 :  18  enodes  (cost  17 )
8.241 * * [simplify]: iteration  2 :  56  enodes  (cost  9 )
8.259 * * [simplify]: iteration  3 :  180  enodes  (cost  9 )
8.329 * * [simplify]: iteration  4 :  619  enodes  (cost  7 )
9.041 * * [simplify]: iteration  5 :  2374  enodes  (cost  7 )
10.518 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
10.519 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
10.520 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
10.521 * * [simplify]: iteration  2 :  17  enodes  (cost  13 )
10.523 * * [simplify]: iteration  3 :  22  enodes  (cost  13 )
10.526 * * [simplify]: iteration  4 :  26  enodes  (cost  13 )
10.529 * * [simplify]: iteration  done :  26  enodes  (cost  13 )
10.529 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
10.530 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
10.531 * * [simplify]: iteration  2 :  16  enodes  (cost  6 )
10.533 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
10.537 * * [simplify]: iteration  4 :  25  enodes  (cost  6 )
10.541 * * [simplify]: iteration  done :  25  enodes  (cost  6 )
10.541 * * [simplify]: iteration  0 :  7  enodes  (cost  17 )
10.542 * * [simplify]: iteration  1 :  20  enodes  (cost  17 )
10.546 * * [simplify]: iteration  2 :  74  enodes  (cost  7 )
10.569 * * [simplify]: iteration  3 :  285  enodes  (cost  7 )
10.711 * * [simplify]: iteration  4 :  864  enodes  (cost  7 )
11.424 * * [simplify]: iteration  5 :  2739  enodes  (cost  7 )
13.177 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
13.177 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.178 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
13.179 * * [simplify]: iteration  2 :  16  enodes  (cost  6 )
13.181 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
13.183 * * [simplify]: iteration  4 :  25  enodes  (cost  6 )
13.186 * * [simplify]: iteration  done :  25  enodes  (cost  6 )
13.187 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.187 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
13.189 * * [simplify]: iteration  2 :  16  enodes  (cost  6 )
13.195 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
13.198 * * [simplify]: iteration  4 :  25  enodes  (cost  6 )
13.201 * * [simplify]: iteration  done :  25  enodes  (cost  6 )
13.202 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.202 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
13.203 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
13.204 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
13.205 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.206 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
13.207 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
13.208 * * [simplify]: iteration  done :  11  enodes  (cost  7 )
13.208 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
13.209 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
13.210 * * [simplify]: iteration  2 :  21  enodes  (cost  9 )
13.213 * * [simplify]: iteration  3 :  38  enodes  (cost  9 )
13.219 * * [simplify]: iteration  4 :  50  enodes  (cost  9 )
13.227 * * [simplify]: iteration  5 :  58  enodes  (cost  9 )
13.236 * * [simplify]: iteration  done :  58  enodes  (cost  9 )
13.237 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.237 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
13.238 * * [simplify]: iteration  2 :  16  enodes  (cost  6 )
13.240 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
13.243 * * [simplify]: iteration  4 :  25  enodes  (cost  6 )
13.246 * * [simplify]: iteration  done :  25  enodes  (cost  6 )
13.246 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.247 * * [simplify]: iteration  1 :  10  enodes  (cost  3 )
13.248 * * [simplify]: iteration  2 :  20  enodes  (cost  3 )
13.251 * * [simplify]: iteration  3 :  31  enodes  (cost  3 )
13.256 * * [simplify]: iteration  4 :  40  enodes  (cost  3 )
13.259 * * [simplify]: iteration  5 :  44  enodes  (cost  3 )
13.261 * * [simplify]: iteration  done :  44  enodes  (cost  3 )
13.262 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.262 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
13.263 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
13.264 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
13.265 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
13.265 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
13.266 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
13.267 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
13.268 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.268 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
13.269 * * [simplify]: iteration  2 :  15  enodes  (cost  5 )
13.271 * * [simplify]: iteration  3 :  20  enodes  (cost  5 )
13.273 * * [simplify]: iteration  4 :  24  enodes  (cost  5 )
13.276 * * [simplify]: iteration  done :  24  enodes  (cost  5 )
13.277 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
13.277 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
13.278 * * [simplify]: iteration  2 :  17  enodes  (cost  7 )
13.281 * * [simplify]: iteration  3 :  22  enodes  (cost  7 )
13.284 * * [simplify]: iteration  4 :  26  enodes  (cost  7 )
13.287 * * [simplify]: iteration  done :  26  enodes  (cost  7 )
13.288 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.288 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
13.289 * * [simplify]: iteration  2 :  15  enodes  (cost  5 )
13.291 * * [simplify]: iteration  3 :  20  enodes  (cost  5 )
13.293 * * [simplify]: iteration  4 :  24  enodes  (cost  5 )
13.296 * * [simplify]: iteration  done :  24  enodes  (cost  5 )
13.297 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
13.298 * * [simplify]: iteration  1 :  24  enodes  (cost  9 )
13.301 * * [simplify]: iteration  2 :  52  enodes  (cost  9 )
13.310 * * [simplify]: iteration  3 :  131  enodes  (cost  9 )
13.341 * * [simplify]: iteration  4 :  308  enodes  (cost  9 )
13.468 * * [simplify]: iteration  5 :  980  enodes  (cost  9 )
14.509 * * [simplify]: iteration  6 :  4487  enodes  (cost  9 )
16.564 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
16.565 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
16.566 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
16.568 * * [simplify]: iteration  2 :  30  enodes  (cost  9 )
16.573 * * [simplify]: iteration  3 :  76  enodes  (cost  9 )
16.588 * * [simplify]: iteration  4 :  159  enodes  (cost  9 )
16.630 * * [simplify]: iteration  5 :  245  enodes  (cost  9 )
16.708 * * [simplify]: iteration  6 :  395  enodes  (cost  9 )
16.888 * * [simplify]: iteration  7 :  764  enodes  (cost  9 )
18.548 * * [simplify]: iteration  8 :  3363  enodes  (cost  9 )
20.765 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
20.766 * * [simplify]: iteration  0 :  1  enodes  (cost  1 )
20.766 * * [simplify]: iteration  done :  1  enodes  (cost  1 )
20.766 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
20.767 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
20.769 * * [simplify]: iteration  2 :  21  enodes  (cost  5 )
20.771 * * [simplify]: iteration  3 :  22  enodes  (cost  5 )
20.774 * * [simplify]: iteration  done :  22  enodes  (cost  5 )
20.775 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
20.776 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
20.777 * * [simplify]: iteration  2 :  21  enodes  (cost  5 )
20.780 * * [simplify]: iteration  3 :  22  enodes  (cost  5 )
20.783 * * [simplify]: iteration  done :  22  enodes  (cost  5 )
20.783 * [simplify]: Simplified to:
   (* (- x z) y)
  (+ (log (- x z)) (log y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (pow (* (- x z) y) 3)
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (pow (* (- x z) y) 3)
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (- x z)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (* (- x z) y) (+ x z))
  0
  (* y (- x z))
  (* y (- x z))
20.783 * * * [progress]: adding candidates to table
20.808 * * [progress]: iteration 2 / 4
20.808 * * * [progress]: picking best candidate
20.812 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) y)))>
20.812 * * * [progress]: localizing error
20.820 * * * [progress]: generating rewritten candidates
20.820 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
20.827 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
20.830 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
20.834 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
20.850 * * * [progress]: generating series expansions
20.850 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
20.850 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0
20.850 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z
20.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z
20.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z
20.850 * [taylor]: Taking taylor expansion of 1/3 in z
20.850 * [taylor]: Taking taylor expansion of (log (- x z)) in z
20.850 * [taylor]: Taking taylor expansion of (- x z) in z
20.850 * [taylor]: Taking taylor expansion of x in z
20.850 * [taylor]: Taking taylor expansion of z in z
20.850 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x
20.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x
20.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x
20.850 * [taylor]: Taking taylor expansion of 1/3 in x
20.850 * [taylor]: Taking taylor expansion of (log (- x z)) in x
20.850 * [taylor]: Taking taylor expansion of (- x z) in x
20.850 * [taylor]: Taking taylor expansion of x in x
20.850 * [taylor]: Taking taylor expansion of z in x
20.850 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x
20.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x
20.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x
20.851 * [taylor]: Taking taylor expansion of 1/3 in x
20.851 * [taylor]: Taking taylor expansion of (log (- x z)) in x
20.851 * [taylor]: Taking taylor expansion of (- x z) in x
20.851 * [taylor]: Taking taylor expansion of x in x
20.851 * [taylor]: Taking taylor expansion of z in x
20.851 * [taylor]: Taking taylor expansion of (pow (neg z) 1/3) in z
20.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg z)))) in z
20.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg z))) in z
20.851 * [taylor]: Taking taylor expansion of 1/3 in z
20.851 * [taylor]: Taking taylor expansion of (log (neg z)) in z
20.851 * [taylor]: Taking taylor expansion of (neg z) in z
20.851 * [taylor]: Taking taylor expansion of z in z
20.852 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z
20.852 * [taylor]: Taking taylor expansion of -1/3 in z
20.852 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z
20.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z
20.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z
20.852 * [taylor]: Taking taylor expansion of 1/3 in z
20.852 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z
20.852 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z
20.852 * [taylor]: Taking taylor expansion of -1 in z
20.852 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.852 * [taylor]: Taking taylor expansion of z in z
20.853 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z
20.853 * [taylor]: Taking taylor expansion of -1/9 in z
20.853 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z
20.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z
20.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z
20.853 * [taylor]: Taking taylor expansion of 1/3 in z
20.853 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z
20.853 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z
20.853 * [taylor]: Taking taylor expansion of -1 in z
20.853 * [taylor]: Taking taylor expansion of (pow z 5) in z
20.853 * [taylor]: Taking taylor expansion of z in z
20.854 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0
20.854 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z
20.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z
20.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z
20.854 * [taylor]: Taking taylor expansion of 1/3 in z
20.854 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z
20.854 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
20.854 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.854 * [taylor]: Taking taylor expansion of x in z
20.854 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.854 * [taylor]: Taking taylor expansion of z in z
20.855 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x
20.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x
20.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x
20.855 * [taylor]: Taking taylor expansion of 1/3 in x
20.855 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
20.855 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.855 * [taylor]: Taking taylor expansion of x in x
20.855 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.855 * [taylor]: Taking taylor expansion of z in x
20.855 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x
20.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x
20.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x
20.855 * [taylor]: Taking taylor expansion of 1/3 in x
20.855 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
20.855 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.855 * [taylor]: Taking taylor expansion of x in x
20.855 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.855 * [taylor]: Taking taylor expansion of z in x
20.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.856 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.856 * [taylor]: Taking taylor expansion of 1/3 in z
20.856 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.856 * [taylor]: Taking taylor expansion of (log 1) in z
20.856 * [taylor]: Taking taylor expansion of 1 in z
20.856 * [taylor]: Taking taylor expansion of (log x) in z
20.856 * [taylor]: Taking taylor expansion of x in z
20.856 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log x)))) z)) in z
20.856 * [taylor]: Taking taylor expansion of -1/3 in z
20.856 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) z) in z
20.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.857 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.857 * [taylor]: Taking taylor expansion of 1/3 in z
20.857 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.857 * [taylor]: Taking taylor expansion of (log 1) in z
20.857 * [taylor]: Taking taylor expansion of 1 in z
20.857 * [taylor]: Taking taylor expansion of (log x) in z
20.857 * [taylor]: Taking taylor expansion of x in z
20.857 * [taylor]: Taking taylor expansion of z in z
20.859 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 2))) in z
20.859 * [taylor]: Taking taylor expansion of -1/9 in z
20.859 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 2)) in z
20.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.859 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.859 * [taylor]: Taking taylor expansion of 1/3 in z
20.859 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.859 * [taylor]: Taking taylor expansion of (log 1) in z
20.859 * [taylor]: Taking taylor expansion of 1 in z
20.859 * [taylor]: Taking taylor expansion of (log x) in z
20.859 * [taylor]: Taking taylor expansion of x in z
20.859 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.859 * [taylor]: Taking taylor expansion of z in z
20.864 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 3))) in z
20.864 * [taylor]: Taking taylor expansion of -5/81 in z
20.864 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 3)) in z
20.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.864 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.864 * [taylor]: Taking taylor expansion of 1/3 in z
20.864 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.864 * [taylor]: Taking taylor expansion of (log 1) in z
20.864 * [taylor]: Taking taylor expansion of 1 in z
20.864 * [taylor]: Taking taylor expansion of (log x) in z
20.864 * [taylor]: Taking taylor expansion of x in z
20.864 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.864 * [taylor]: Taking taylor expansion of z in z
20.868 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0
20.868 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z
20.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z
20.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z
20.868 * [taylor]: Taking taylor expansion of 1/3 in z
20.868 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z
20.868 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
20.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.868 * [taylor]: Taking taylor expansion of z in z
20.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.868 * [taylor]: Taking taylor expansion of x in z
20.868 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x
20.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x
20.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x
20.868 * [taylor]: Taking taylor expansion of 1/3 in x
20.868 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
20.868 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.868 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.868 * [taylor]: Taking taylor expansion of z in x
20.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.868 * [taylor]: Taking taylor expansion of x in x
20.868 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x
20.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x
20.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x
20.868 * [taylor]: Taking taylor expansion of 1/3 in x
20.868 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
20.868 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.868 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.869 * [taylor]: Taking taylor expansion of z in x
20.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.869 * [taylor]: Taking taylor expansion of x in x
20.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.869 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.869 * [taylor]: Taking taylor expansion of 1/3 in z
20.869 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.869 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.869 * [taylor]: Taking taylor expansion of (neg 1) in z
20.869 * [taylor]: Taking taylor expansion of 1 in z
20.869 * [taylor]: Taking taylor expansion of (log x) in z
20.869 * [taylor]: Taking taylor expansion of x in z
20.870 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) z)) in z
20.870 * [taylor]: Taking taylor expansion of -1/3 in z
20.870 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) z) in z
20.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.870 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.870 * [taylor]: Taking taylor expansion of 1/3 in z
20.870 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.870 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.870 * [taylor]: Taking taylor expansion of (neg 1) in z
20.870 * [taylor]: Taking taylor expansion of 1 in z
20.870 * [taylor]: Taking taylor expansion of (log x) in z
20.870 * [taylor]: Taking taylor expansion of x in z
20.870 * [taylor]: Taking taylor expansion of z in z
20.872 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 2))) in z
20.872 * [taylor]: Taking taylor expansion of -1/9 in z
20.872 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 2)) in z
20.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.872 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.872 * [taylor]: Taking taylor expansion of 1/3 in z
20.872 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.872 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.872 * [taylor]: Taking taylor expansion of (neg 1) in z
20.872 * [taylor]: Taking taylor expansion of 1 in z
20.872 * [taylor]: Taking taylor expansion of (log x) in z
20.872 * [taylor]: Taking taylor expansion of x in z
20.873 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.873 * [taylor]: Taking taylor expansion of z in z
20.877 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 3))) in z
20.877 * [taylor]: Taking taylor expansion of -5/81 in z
20.877 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 3)) in z
20.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.878 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.878 * [taylor]: Taking taylor expansion of 1/3 in z
20.878 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.878 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.878 * [taylor]: Taking taylor expansion of (neg 1) in z
20.878 * [taylor]: Taking taylor expansion of 1 in z
20.878 * [taylor]: Taking taylor expansion of (log x) in z
20.878 * [taylor]: Taking taylor expansion of x in z
20.878 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.878 * [taylor]: Taking taylor expansion of z in z
20.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
20.881 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0
20.881 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z
20.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z
20.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z
20.881 * [taylor]: Taking taylor expansion of 1/3 in z
20.881 * [taylor]: Taking taylor expansion of (log (- x z)) in z
20.881 * [taylor]: Taking taylor expansion of (- x z) in z
20.881 * [taylor]: Taking taylor expansion of x in z
20.881 * [taylor]: Taking taylor expansion of z in z
20.881 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x
20.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x
20.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x
20.881 * [taylor]: Taking taylor expansion of 1/3 in x
20.881 * [taylor]: Taking taylor expansion of (log (- x z)) in x
20.881 * [taylor]: Taking taylor expansion of (- x z) in x
20.881 * [taylor]: Taking taylor expansion of x in x
20.881 * [taylor]: Taking taylor expansion of z in x
20.881 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x
20.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x
20.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x
20.881 * [taylor]: Taking taylor expansion of 1/3 in x
20.882 * [taylor]: Taking taylor expansion of (log (- x z)) in x
20.882 * [taylor]: Taking taylor expansion of (- x z) in x
20.882 * [taylor]: Taking taylor expansion of x in x
20.882 * [taylor]: Taking taylor expansion of z in x
20.882 * [taylor]: Taking taylor expansion of (pow (neg z) 1/3) in z
20.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg z)))) in z
20.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg z))) in z
20.882 * [taylor]: Taking taylor expansion of 1/3 in z
20.882 * [taylor]: Taking taylor expansion of (log (neg z)) in z
20.882 * [taylor]: Taking taylor expansion of (neg z) in z
20.882 * [taylor]: Taking taylor expansion of z in z
20.882 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z
20.883 * [taylor]: Taking taylor expansion of -1/3 in z
20.883 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z
20.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z
20.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z
20.883 * [taylor]: Taking taylor expansion of 1/3 in z
20.883 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z
20.883 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z
20.883 * [taylor]: Taking taylor expansion of -1 in z
20.883 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.883 * [taylor]: Taking taylor expansion of z in z
20.884 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z
20.884 * [taylor]: Taking taylor expansion of -1/9 in z
20.884 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z
20.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z
20.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z
20.884 * [taylor]: Taking taylor expansion of 1/3 in z
20.884 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z
20.884 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z
20.884 * [taylor]: Taking taylor expansion of -1 in z
20.884 * [taylor]: Taking taylor expansion of (pow z 5) in z
20.884 * [taylor]: Taking taylor expansion of z in z
20.885 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0
20.885 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z
20.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z
20.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z
20.885 * [taylor]: Taking taylor expansion of 1/3 in z
20.885 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z
20.885 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
20.885 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.885 * [taylor]: Taking taylor expansion of x in z
20.885 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.885 * [taylor]: Taking taylor expansion of z in z
20.886 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x
20.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x
20.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x
20.886 * [taylor]: Taking taylor expansion of 1/3 in x
20.886 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
20.886 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.886 * [taylor]: Taking taylor expansion of x in x
20.886 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.886 * [taylor]: Taking taylor expansion of z in x
20.886 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x
20.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x
20.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x
20.886 * [taylor]: Taking taylor expansion of 1/3 in x
20.886 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
20.886 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.886 * [taylor]: Taking taylor expansion of x in x
20.886 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.886 * [taylor]: Taking taylor expansion of z in x
20.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.886 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.886 * [taylor]: Taking taylor expansion of 1/3 in z
20.886 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.887 * [taylor]: Taking taylor expansion of (log 1) in z
20.887 * [taylor]: Taking taylor expansion of 1 in z
20.887 * [taylor]: Taking taylor expansion of (log x) in z
20.887 * [taylor]: Taking taylor expansion of x in z
20.887 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log x)))) z)) in z
20.887 * [taylor]: Taking taylor expansion of -1/3 in z
20.887 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) z) in z
20.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.888 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.888 * [taylor]: Taking taylor expansion of 1/3 in z
20.888 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.888 * [taylor]: Taking taylor expansion of (log 1) in z
20.888 * [taylor]: Taking taylor expansion of 1 in z
20.888 * [taylor]: Taking taylor expansion of (log x) in z
20.888 * [taylor]: Taking taylor expansion of x in z
20.888 * [taylor]: Taking taylor expansion of z in z
20.890 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 2))) in z
20.890 * [taylor]: Taking taylor expansion of -1/9 in z
20.890 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 2)) in z
20.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.890 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.890 * [taylor]: Taking taylor expansion of 1/3 in z
20.890 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.890 * [taylor]: Taking taylor expansion of (log 1) in z
20.890 * [taylor]: Taking taylor expansion of 1 in z
20.890 * [taylor]: Taking taylor expansion of (log x) in z
20.890 * [taylor]: Taking taylor expansion of x in z
20.890 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.890 * [taylor]: Taking taylor expansion of z in z
20.895 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 3))) in z
20.895 * [taylor]: Taking taylor expansion of -5/81 in z
20.895 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 3)) in z
20.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.895 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.895 * [taylor]: Taking taylor expansion of 1/3 in z
20.895 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.895 * [taylor]: Taking taylor expansion of (log 1) in z
20.895 * [taylor]: Taking taylor expansion of 1 in z
20.895 * [taylor]: Taking taylor expansion of (log x) in z
20.895 * [taylor]: Taking taylor expansion of x in z
20.895 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.895 * [taylor]: Taking taylor expansion of z in z
20.898 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0
20.898 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z
20.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z
20.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z
20.898 * [taylor]: Taking taylor expansion of 1/3 in z
20.898 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z
20.898 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
20.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.898 * [taylor]: Taking taylor expansion of z in z
20.898 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.898 * [taylor]: Taking taylor expansion of x in z
20.899 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x
20.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x
20.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x
20.899 * [taylor]: Taking taylor expansion of 1/3 in x
20.899 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
20.899 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.899 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.899 * [taylor]: Taking taylor expansion of z in x
20.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.899 * [taylor]: Taking taylor expansion of x in x
20.899 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x
20.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x
20.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x
20.899 * [taylor]: Taking taylor expansion of 1/3 in x
20.899 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
20.899 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.899 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.899 * [taylor]: Taking taylor expansion of z in x
20.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.899 * [taylor]: Taking taylor expansion of x in x
20.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.899 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.899 * [taylor]: Taking taylor expansion of 1/3 in z
20.899 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.900 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.900 * [taylor]: Taking taylor expansion of (neg 1) in z
20.900 * [taylor]: Taking taylor expansion of 1 in z
20.900 * [taylor]: Taking taylor expansion of (log x) in z
20.900 * [taylor]: Taking taylor expansion of x in z
20.900 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) z)) in z
20.900 * [taylor]: Taking taylor expansion of -1/3 in z
20.900 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) z) in z
20.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.900 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.900 * [taylor]: Taking taylor expansion of 1/3 in z
20.901 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.901 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.901 * [taylor]: Taking taylor expansion of (neg 1) in z
20.901 * [taylor]: Taking taylor expansion of 1 in z
20.901 * [taylor]: Taking taylor expansion of (log x) in z
20.901 * [taylor]: Taking taylor expansion of x in z
20.901 * [taylor]: Taking taylor expansion of z in z
20.903 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 2))) in z
20.903 * [taylor]: Taking taylor expansion of -1/9 in z
20.903 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 2)) in z
20.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.903 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.903 * [taylor]: Taking taylor expansion of 1/3 in z
20.903 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.903 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.903 * [taylor]: Taking taylor expansion of (neg 1) in z
20.903 * [taylor]: Taking taylor expansion of 1 in z
20.903 * [taylor]: Taking taylor expansion of (log x) in z
20.903 * [taylor]: Taking taylor expansion of x in z
20.904 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.904 * [taylor]: Taking taylor expansion of z in z
20.908 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 3))) in z
20.908 * [taylor]: Taking taylor expansion of -5/81 in z
20.908 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 3)) in z
20.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.908 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.908 * [taylor]: Taking taylor expansion of 1/3 in z
20.908 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.908 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.908 * [taylor]: Taking taylor expansion of (neg 1) in z
20.908 * [taylor]: Taking taylor expansion of 1 in z
20.908 * [taylor]: Taking taylor expansion of (log x) in z
20.908 * [taylor]: Taking taylor expansion of x in z
20.909 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.909 * [taylor]: Taking taylor expansion of z in z
20.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
20.912 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0
20.912 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z
20.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z
20.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z
20.912 * [taylor]: Taking taylor expansion of 1/3 in z
20.912 * [taylor]: Taking taylor expansion of (log (- x z)) in z
20.912 * [taylor]: Taking taylor expansion of (- x z) in z
20.912 * [taylor]: Taking taylor expansion of x in z
20.912 * [taylor]: Taking taylor expansion of z in z
20.912 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x
20.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x
20.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x
20.912 * [taylor]: Taking taylor expansion of 1/3 in x
20.912 * [taylor]: Taking taylor expansion of (log (- x z)) in x
20.912 * [taylor]: Taking taylor expansion of (- x z) in x
20.912 * [taylor]: Taking taylor expansion of x in x
20.912 * [taylor]: Taking taylor expansion of z in x
20.912 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x
20.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x
20.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x
20.912 * [taylor]: Taking taylor expansion of 1/3 in x
20.912 * [taylor]: Taking taylor expansion of (log (- x z)) in x
20.912 * [taylor]: Taking taylor expansion of (- x z) in x
20.912 * [taylor]: Taking taylor expansion of x in x
20.912 * [taylor]: Taking taylor expansion of z in x
20.912 * [taylor]: Taking taylor expansion of (pow (neg z) 1/3) in z
20.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg z)))) in z
20.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg z))) in z
20.913 * [taylor]: Taking taylor expansion of 1/3 in z
20.913 * [taylor]: Taking taylor expansion of (log (neg z)) in z
20.913 * [taylor]: Taking taylor expansion of (neg z) in z
20.913 * [taylor]: Taking taylor expansion of z in z
20.913 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z
20.913 * [taylor]: Taking taylor expansion of -1/3 in z
20.913 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z
20.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z
20.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z
20.913 * [taylor]: Taking taylor expansion of 1/3 in z
20.913 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z
20.913 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z
20.913 * [taylor]: Taking taylor expansion of -1 in z
20.913 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.913 * [taylor]: Taking taylor expansion of z in z
20.915 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z
20.915 * [taylor]: Taking taylor expansion of -1/9 in z
20.915 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z
20.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z
20.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z
20.915 * [taylor]: Taking taylor expansion of 1/3 in z
20.915 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z
20.915 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z
20.915 * [taylor]: Taking taylor expansion of -1 in z
20.915 * [taylor]: Taking taylor expansion of (pow z 5) in z
20.915 * [taylor]: Taking taylor expansion of z in z
20.916 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0
20.916 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z
20.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z
20.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z
20.916 * [taylor]: Taking taylor expansion of 1/3 in z
20.916 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z
20.916 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
20.916 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.916 * [taylor]: Taking taylor expansion of x in z
20.916 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.916 * [taylor]: Taking taylor expansion of z in z
20.917 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x
20.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x
20.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x
20.917 * [taylor]: Taking taylor expansion of 1/3 in x
20.917 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
20.917 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.917 * [taylor]: Taking taylor expansion of x in x
20.917 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.917 * [taylor]: Taking taylor expansion of z in x
20.917 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x
20.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x
20.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x
20.917 * [taylor]: Taking taylor expansion of 1/3 in x
20.917 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x
20.917 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.917 * [taylor]: Taking taylor expansion of x in x
20.917 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.917 * [taylor]: Taking taylor expansion of z in x
20.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.917 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.917 * [taylor]: Taking taylor expansion of 1/3 in z
20.917 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.918 * [taylor]: Taking taylor expansion of (log 1) in z
20.918 * [taylor]: Taking taylor expansion of 1 in z
20.918 * [taylor]: Taking taylor expansion of (log x) in z
20.918 * [taylor]: Taking taylor expansion of x in z
20.919 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log x)))) z)) in z
20.919 * [taylor]: Taking taylor expansion of -1/3 in z
20.919 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) z) in z
20.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.919 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.919 * [taylor]: Taking taylor expansion of 1/3 in z
20.919 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.919 * [taylor]: Taking taylor expansion of (log 1) in z
20.919 * [taylor]: Taking taylor expansion of 1 in z
20.919 * [taylor]: Taking taylor expansion of (log x) in z
20.919 * [taylor]: Taking taylor expansion of x in z
20.919 * [taylor]: Taking taylor expansion of z in z
20.921 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 2))) in z
20.921 * [taylor]: Taking taylor expansion of -1/9 in z
20.921 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 2)) in z
20.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.921 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.921 * [taylor]: Taking taylor expansion of 1/3 in z
20.921 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.921 * [taylor]: Taking taylor expansion of (log 1) in z
20.921 * [taylor]: Taking taylor expansion of 1 in z
20.921 * [taylor]: Taking taylor expansion of (log x) in z
20.921 * [taylor]: Taking taylor expansion of x in z
20.922 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.922 * [taylor]: Taking taylor expansion of z in z
20.926 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 3))) in z
20.926 * [taylor]: Taking taylor expansion of -5/81 in z
20.926 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow z 3)) in z
20.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in z
20.926 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in z
20.926 * [taylor]: Taking taylor expansion of 1/3 in z
20.926 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in z
20.926 * [taylor]: Taking taylor expansion of (log 1) in z
20.926 * [taylor]: Taking taylor expansion of 1 in z
20.926 * [taylor]: Taking taylor expansion of (log x) in z
20.926 * [taylor]: Taking taylor expansion of x in z
20.926 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.926 * [taylor]: Taking taylor expansion of z in z
20.929 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0
20.929 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z
20.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z
20.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z
20.929 * [taylor]: Taking taylor expansion of 1/3 in z
20.929 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z
20.929 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
20.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.930 * [taylor]: Taking taylor expansion of z in z
20.930 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.930 * [taylor]: Taking taylor expansion of x in z
20.930 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x
20.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x
20.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x
20.930 * [taylor]: Taking taylor expansion of 1/3 in x
20.930 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
20.930 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.930 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.930 * [taylor]: Taking taylor expansion of z in x
20.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.930 * [taylor]: Taking taylor expansion of x in x
20.934 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x
20.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x
20.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x
20.934 * [taylor]: Taking taylor expansion of 1/3 in x
20.934 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x
20.934 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.934 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.934 * [taylor]: Taking taylor expansion of z in x
20.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.934 * [taylor]: Taking taylor expansion of x in x
20.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.934 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.934 * [taylor]: Taking taylor expansion of 1/3 in z
20.934 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.934 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.934 * [taylor]: Taking taylor expansion of (neg 1) in z
20.934 * [taylor]: Taking taylor expansion of 1 in z
20.934 * [taylor]: Taking taylor expansion of (log x) in z
20.934 * [taylor]: Taking taylor expansion of x in z
20.935 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) z)) in z
20.935 * [taylor]: Taking taylor expansion of -1/3 in z
20.935 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) z) in z
20.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.935 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.935 * [taylor]: Taking taylor expansion of 1/3 in z
20.935 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.935 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.935 * [taylor]: Taking taylor expansion of (neg 1) in z
20.935 * [taylor]: Taking taylor expansion of 1 in z
20.935 * [taylor]: Taking taylor expansion of (log x) in z
20.936 * [taylor]: Taking taylor expansion of x in z
20.936 * [taylor]: Taking taylor expansion of z in z
20.938 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 2))) in z
20.938 * [taylor]: Taking taylor expansion of -1/9 in z
20.938 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 2)) in z
20.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.938 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.938 * [taylor]: Taking taylor expansion of 1/3 in z
20.938 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.938 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.938 * [taylor]: Taking taylor expansion of (neg 1) in z
20.938 * [taylor]: Taking taylor expansion of 1 in z
20.938 * [taylor]: Taking taylor expansion of (log x) in z
20.938 * [taylor]: Taking taylor expansion of x in z
20.938 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.938 * [taylor]: Taking taylor expansion of z in z
20.943 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 3))) in z
20.943 * [taylor]: Taking taylor expansion of -5/81 in z
20.943 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log x)))) (pow z 3)) in z
20.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log x)))) in z
20.943 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log x))) in z
20.943 * [taylor]: Taking taylor expansion of 1/3 in z
20.943 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in z
20.943 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
20.943 * [taylor]: Taking taylor expansion of (neg 1) in z
20.943 * [taylor]: Taking taylor expansion of 1 in z
20.943 * [taylor]: Taking taylor expansion of (log x) in z
20.943 * [taylor]: Taking taylor expansion of x in z
20.943 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.943 * [taylor]: Taking taylor expansion of z in z
20.947 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
20.947 * [approximate]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in (x z) around 0
20.947 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in z
20.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in z
20.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in z
20.947 * [taylor]: Taking taylor expansion of 1/3 in z
20.947 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in z
20.947 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in z
20.947 * [taylor]: Taking taylor expansion of (- x z) in z
20.947 * [taylor]: Taking taylor expansion of x in z
20.947 * [taylor]: Taking taylor expansion of z in z
20.947 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in x
20.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in x
20.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in x
20.947 * [taylor]: Taking taylor expansion of 1/3 in x
20.947 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in x
20.947 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x
20.947 * [taylor]: Taking taylor expansion of (- x z) in x
20.947 * [taylor]: Taking taylor expansion of x in x
20.947 * [taylor]: Taking taylor expansion of z in x
20.948 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in x
20.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in x
20.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in x
20.948 * [taylor]: Taking taylor expansion of 1/3 in x
20.948 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in x
20.948 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x
20.948 * [taylor]: Taking taylor expansion of (- x z) in x
20.948 * [taylor]: Taking taylor expansion of x in x
20.948 * [taylor]: Taking taylor expansion of z in x
20.948 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
20.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
20.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
20.948 * [taylor]: Taking taylor expansion of 1/3 in z
20.948 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
20.948 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.948 * [taylor]: Taking taylor expansion of z in z
20.949 * [taylor]: Taking taylor expansion of (* -2/3 (pow (/ 1 z) 1/3)) in z
20.949 * [taylor]: Taking taylor expansion of -2/3 in z
20.949 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
20.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
20.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
20.949 * [taylor]: Taking taylor expansion of 1/3 in z
20.949 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
20.949 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.949 * [taylor]: Taking taylor expansion of z in z
20.951 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow z 4)) 1/3)) in z
20.951 * [taylor]: Taking taylor expansion of -1/9 in z
20.951 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 4)) 1/3) in z
20.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 4))))) in z
20.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 4)))) in z
20.951 * [taylor]: Taking taylor expansion of 1/3 in z
20.951 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 4))) in z
20.951 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z
20.951 * [taylor]: Taking taylor expansion of (pow z 4) in z
20.951 * [taylor]: Taking taylor expansion of z in z
20.952 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in (x z) around 0
20.952 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in z
20.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in z
20.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in z
20.952 * [taylor]: Taking taylor expansion of 1/3 in z
20.952 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in z
20.952 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in z
20.952 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
20.952 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.952 * [taylor]: Taking taylor expansion of x in z
20.952 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.952 * [taylor]: Taking taylor expansion of z in z
20.952 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in x
20.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in x
20.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in x
20.952 * [taylor]: Taking taylor expansion of 1/3 in x
20.952 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in x
20.952 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x
20.952 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.952 * [taylor]: Taking taylor expansion of x in x
20.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.953 * [taylor]: Taking taylor expansion of z in x
20.953 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in x
20.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in x
20.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in x
20.953 * [taylor]: Taking taylor expansion of 1/3 in x
20.953 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in x
20.953 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x
20.953 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
20.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.953 * [taylor]: Taking taylor expansion of x in x
20.953 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.953 * [taylor]: Taking taylor expansion of z in x
20.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.953 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.953 * [taylor]: Taking taylor expansion of 1/3 in z
20.953 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.953 * [taylor]: Taking taylor expansion of (log 1) in z
20.953 * [taylor]: Taking taylor expansion of 1 in z
20.953 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.953 * [taylor]: Taking taylor expansion of 2 in z
20.953 * [taylor]: Taking taylor expansion of (log x) in z
20.953 * [taylor]: Taking taylor expansion of x in z
20.954 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) z)) in z
20.954 * [taylor]: Taking taylor expansion of -2/3 in z
20.954 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) z) in z
20.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.954 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.955 * [taylor]: Taking taylor expansion of 1/3 in z
20.955 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.955 * [taylor]: Taking taylor expansion of (log 1) in z
20.955 * [taylor]: Taking taylor expansion of 1 in z
20.955 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.955 * [taylor]: Taking taylor expansion of 2 in z
20.955 * [taylor]: Taking taylor expansion of (log x) in z
20.955 * [taylor]: Taking taylor expansion of x in z
20.955 * [taylor]: Taking taylor expansion of z in z
20.958 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 2))) in z
20.958 * [taylor]: Taking taylor expansion of -1/9 in z
20.958 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 2)) in z
20.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.958 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.958 * [taylor]: Taking taylor expansion of 1/3 in z
20.958 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.958 * [taylor]: Taking taylor expansion of (log 1) in z
20.958 * [taylor]: Taking taylor expansion of 1 in z
20.958 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.958 * [taylor]: Taking taylor expansion of 2 in z
20.958 * [taylor]: Taking taylor expansion of (log x) in z
20.958 * [taylor]: Taking taylor expansion of x in z
20.958 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.958 * [taylor]: Taking taylor expansion of z in z
20.963 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 3))) in z
20.963 * [taylor]: Taking taylor expansion of -4/81 in z
20.963 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 3)) in z
20.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.963 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.963 * [taylor]: Taking taylor expansion of 1/3 in z
20.963 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.963 * [taylor]: Taking taylor expansion of (log 1) in z
20.963 * [taylor]: Taking taylor expansion of 1 in z
20.963 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.963 * [taylor]: Taking taylor expansion of 2 in z
20.963 * [taylor]: Taking taylor expansion of (log x) in z
20.963 * [taylor]: Taking taylor expansion of x in z
20.963 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.964 * [taylor]: Taking taylor expansion of z in z
20.967 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in (x z) around 0
20.967 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in z
20.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in z
20.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in z
20.967 * [taylor]: Taking taylor expansion of 1/3 in z
20.967 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in z
20.967 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in z
20.967 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
20.967 * [taylor]: Taking taylor expansion of (/ 1 z) in z
20.967 * [taylor]: Taking taylor expansion of z in z
20.967 * [taylor]: Taking taylor expansion of (/ 1 x) in z
20.967 * [taylor]: Taking taylor expansion of x in z
20.967 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in x
20.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in x
20.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in x
20.968 * [taylor]: Taking taylor expansion of 1/3 in x
20.968 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in x
20.968 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x
20.968 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.968 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.968 * [taylor]: Taking taylor expansion of z in x
20.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.968 * [taylor]: Taking taylor expansion of x in x
20.968 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in x
20.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in x
20.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in x
20.968 * [taylor]: Taking taylor expansion of 1/3 in x
20.968 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in x
20.968 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x
20.968 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
20.968 * [taylor]: Taking taylor expansion of (/ 1 z) in x
20.968 * [taylor]: Taking taylor expansion of z in x
20.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.968 * [taylor]: Taking taylor expansion of x in x
20.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.968 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.968 * [taylor]: Taking taylor expansion of 1/3 in z
20.969 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.969 * [taylor]: Taking taylor expansion of (log 1) in z
20.969 * [taylor]: Taking taylor expansion of 1 in z
20.969 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.969 * [taylor]: Taking taylor expansion of 2 in z
20.969 * [taylor]: Taking taylor expansion of (log x) in z
20.969 * [taylor]: Taking taylor expansion of x in z
20.970 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) z)) in z
20.970 * [taylor]: Taking taylor expansion of -2/3 in z
20.970 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) z) in z
20.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.970 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.970 * [taylor]: Taking taylor expansion of 1/3 in z
20.970 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.970 * [taylor]: Taking taylor expansion of (log 1) in z
20.970 * [taylor]: Taking taylor expansion of 1 in z
20.970 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.970 * [taylor]: Taking taylor expansion of 2 in z
20.970 * [taylor]: Taking taylor expansion of (log x) in z
20.970 * [taylor]: Taking taylor expansion of x in z
20.970 * [taylor]: Taking taylor expansion of z in z
20.972 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 2))) in z
20.972 * [taylor]: Taking taylor expansion of -1/9 in z
20.972 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 2)) in z
20.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.972 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.972 * [taylor]: Taking taylor expansion of 1/3 in z
20.972 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.972 * [taylor]: Taking taylor expansion of (log 1) in z
20.973 * [taylor]: Taking taylor expansion of 1 in z
20.973 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.973 * [taylor]: Taking taylor expansion of 2 in z
20.973 * [taylor]: Taking taylor expansion of (log x) in z
20.973 * [taylor]: Taking taylor expansion of x in z
20.973 * [taylor]: Taking taylor expansion of (pow z 2) in z
20.973 * [taylor]: Taking taylor expansion of z in z
20.978 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 3))) in z
20.978 * [taylor]: Taking taylor expansion of -4/81 in z
20.978 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) (pow z 3)) in z
20.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z
20.978 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z
20.978 * [taylor]: Taking taylor expansion of 1/3 in z
20.978 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z
20.978 * [taylor]: Taking taylor expansion of (log 1) in z
20.978 * [taylor]: Taking taylor expansion of 1 in z
20.978 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
20.978 * [taylor]: Taking taylor expansion of 2 in z
20.978 * [taylor]: Taking taylor expansion of (log x) in z
20.978 * [taylor]: Taking taylor expansion of x in z
20.979 * [taylor]: Taking taylor expansion of (pow z 3) in z
20.979 * [taylor]: Taking taylor expansion of z in z
20.982 * * * [progress]: simplifying candidates
20.984 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (- x z)))
  (exp (cbrt (- x z)))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt 1)
  (cbrt (- x z))
  (cbrt (+ (sqrt x) (sqrt z)))
  (cbrt (- (sqrt x) (sqrt z)))
  (cbrt 1)
  (cbrt (- x z))
  (cbrt (- (pow x 3) (pow z 3)))
  (cbrt (+ (* x x) (+ (* z z) (* x z))))
  (cbrt (- (* x x) (* z z)))
  (cbrt (+ x z))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (log (cbrt (- x z)))
  (exp (cbrt (- x z)))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt 1)
  (cbrt (- x z))
  (cbrt (+ (sqrt x) (sqrt z)))
  (cbrt (- (sqrt x) (sqrt z)))
  (cbrt 1)
  (cbrt (- x z))
  (cbrt (- (pow x 3) (pow z 3)))
  (cbrt (+ (* x x) (+ (* z z) (* x z))))
  (cbrt (- (* x x) (* z z)))
  (cbrt (+ x z))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (log (cbrt (- x z)))
  (exp (cbrt (- x z)))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt 1)
  (cbrt (- x z))
  (cbrt (+ (sqrt x) (sqrt z)))
  (cbrt (- (sqrt x) (sqrt z)))
  (cbrt 1)
  (cbrt (- x z))
  (cbrt (- (pow x 3) (pow z 3)))
  (cbrt (+ (* x x) (+ (* z z) (* x z))))
  (cbrt (- (* x x) (* z z)))
  (cbrt (+ x z))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- x z) (- x z))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (+ 1 1)
  (+ (log (cbrt (- x z))) (log (cbrt (- x z))))
  (log (* (cbrt (- x z)) (cbrt (- x z))))
  (exp (* (cbrt (- x z)) (cbrt (- x z))))
  (* (- x z) (- x z))
  (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z)))) (* (cbrt (- x z)) (cbrt (- x z))))
  (sqrt (* (cbrt (- x z)) (cbrt (- x z))))
  (sqrt (* (cbrt (- x z)) (cbrt (- x z))))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3))))
  (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z)))))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (* x x) (* z z))))
  (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ x z)))
  (* (cbrt (- (* x x) (* z z))) (cbrt (- (pow x 3) (pow z 3))))
  (* (cbrt (+ x z)) (cbrt (+ (* x x) (+ (* z z) (* x z)))))
  (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z))))
  (* (cbrt (+ x z)) (cbrt (+ x z)))
  (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (+ (sqrt x) (sqrt z))) (cbrt (+ (sqrt x) (sqrt z))))
  (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))))
  (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))))
  (* 1 1)
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z))))
  (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z))))
  (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z))))
  (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z))))
  (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))))
  (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- x z)) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))))
  (* (cbrt (- x z)) (cbrt (sqrt (- x z))))
  (* (cbrt (- x z)) (cbrt 1))
  (* (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))))
  (* (cbrt (- x z)) (cbrt 1))
  (* (cbrt (- x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))))
  (* (cbrt (- x z)) (sqrt (cbrt (- x z))))
  (* (cbrt (- x z)) 1)
  (* (cbrt (cbrt (- x z))) (cbrt (- x z)))
  (* (cbrt (sqrt (- x z))) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (cbrt (- x z))) (cbrt (- x z)))
  (* (sqrt (cbrt (- x z))) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))))
  (* (cbrt (- x z)) (cbrt (- (* x x) (* z z))))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- x z)))
  (* (cbrt (- (* x x) (* z z))) (cbrt (- x z)))
  (- (exp (* 1/3 (+ (log (neg 1)) (log z)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* x (exp (* 1/3 (- (log -1) (* 2 (log z)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))
  (- (exp (* 1/3 (+ (log (neg 1)) (log z)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* x (exp (* 1/3 (- (log -1) (* 2 (log z)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))
  (- (exp (* 1/3 (+ (log (neg 1)) (log z)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* x (exp (* 1/3 (- (log -1) (* 2 (log z)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))
  (- (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log 1) (* 4 (log z))))))) (* 2/3 (* x (exp (* 1/3 (- (log 1) (log z))))))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x))))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x))))))
20.984 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
20.985 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
20.985 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
20.986 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
20.987 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
20.987 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
20.988 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
20.989 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
20.989 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
20.990 * * [simplify]: iteration  1 :  8  enodes  (cost  10 )
20.991 * * [simplify]: iteration  2 :  9  enodes  (cost  10 )
20.991 * * [simplify]: iteration  done :  9  enodes  (cost  10 )
20.992 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
20.993 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
20.993 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
20.994 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
20.994 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
20.995 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
20.995 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
20.996 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
20.997 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
20.997 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
20.998 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
20.999 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
20.999 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
20.999 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
21.000 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
21.000 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
21.001 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
21.001 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
21.002 * * [simplify]: iteration  done :  7  enodes  (cost  4 )
21.003 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
21.003 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
21.004 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
21.004 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
21.005 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
21.006 * * [simplify]: iteration  2 :  9  enodes  (cost  6 )
21.006 * * [simplify]: iteration  done :  9  enodes  (cost  6 )
21.007 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
21.007 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
21.007 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
21.008 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
21.008 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
21.009 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
21.010 * * [simplify]: iteration  done :  7  enodes  (cost  4 )
21.010 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
21.011 * * [simplify]: iteration  1 :  22  enodes  (cost  8 )
21.014 * * [simplify]: iteration  2 :  44  enodes  (cost  8 )
21.024 * * [simplify]: iteration  3 :  78  enodes  (cost  8 )
21.037 * * [simplify]: iteration  4 :  165  enodes  (cost  8 )
21.086 * * [simplify]: iteration  5 :  497  enodes  (cost  8 )
21.424 * * [simplify]: iteration  6 :  2266  enodes  (cost  8 )
22.561 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
22.562 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
22.563 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
22.565 * * [simplify]: iteration  2 :  23  enodes  (cost  10 )
22.568 * * [simplify]: iteration  3 :  26  enodes  (cost  10 )
22.572 * * [simplify]: iteration  4 :  27  enodes  (cost  10 )
22.576 * * [simplify]: iteration  done :  27  enodes  (cost  10 )
22.577 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
22.577 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
22.579 * * [simplify]: iteration  2 :  18  enodes  (cost  8 )
22.581 * * [simplify]: iteration  3 :  33  enodes  (cost  8 )
22.587 * * [simplify]: iteration  4 :  58  enodes  (cost  8 )
22.598 * * [simplify]: iteration  5 :  99  enodes  (cost  8 )
22.623 * * [simplify]: iteration  6 :  157  enodes  (cost  8 )
22.677 * * [simplify]: iteration  7 :  325  enodes  (cost  8 )
23.389 * * [simplify]: iteration  8 :  1570  enodes  (cost  8 )
29.789 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
29.789 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
29.790 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
29.790 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
29.791 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
29.791 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
29.792 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
29.793 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
29.794 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
29.795 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
29.795 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
29.796 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
29.797 * * [simplify]: iteration  0 :  6  enodes  (cost  14 )
29.798 * * [simplify]: iteration  1 :  9  enodes  (cost  14 )
29.799 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
29.800 * * [simplify]: iteration  3 :  17  enodes  (cost  3 )
29.802 * * [simplify]: iteration  4 :  23  enodes  (cost  3 )
29.804 * * [simplify]: iteration  5 :  33  enodes  (cost  3 )
29.809 * * [simplify]: iteration  6 :  56  enodes  (cost  3 )
29.819 * * [simplify]: iteration  7 :  116  enodes  (cost  3 )
29.868 * * [simplify]: iteration  8 :  332  enodes  (cost  3 )
30.348 * * [simplify]: iteration  9 :  1267  enodes  (cost  3 )
32.762 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
32.762 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
32.763 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
32.763 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
32.764 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
32.765 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
32.765 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
32.766 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
32.767 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
32.767 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
32.768 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
32.768 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
32.769 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
32.770 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
32.770 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
32.771 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
32.772 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
32.772 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
32.773 * * [simplify]: iteration  1 :  8  enodes  (cost  10 )
32.773 * * [simplify]: iteration  2 :  9  enodes  (cost  10 )
32.774 * * [simplify]: iteration  done :  9  enodes  (cost  10 )
32.775 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
32.775 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
32.776 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
32.777 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
32.777 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
32.778 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
32.779 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
32.779 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
32.780 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
32.781 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
32.781 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
32.782 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
32.782 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
32.783 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
32.783 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
32.783 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
32.784 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
32.784 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
32.785 * * [simplify]: iteration  done :  7  enodes  (cost  4 )
32.786 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
32.786 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
32.787 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
32.788 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
32.788 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
32.789 * * [simplify]: iteration  2 :  9  enodes  (cost  6 )
32.790 * * [simplify]: iteration  done :  9  enodes  (cost  6 )
32.790 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
32.790 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
32.791 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
32.791 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
32.792 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
32.792 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
32.793 * * [simplify]: iteration  done :  7  enodes  (cost  4 )
32.793 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
32.794 * * [simplify]: iteration  1 :  22  enodes  (cost  8 )
32.797 * * [simplify]: iteration  2 :  44  enodes  (cost  8 )
32.804 * * [simplify]: iteration  3 :  78  enodes  (cost  8 )
32.817 * * [simplify]: iteration  4 :  165  enodes  (cost  8 )
32.865 * * [simplify]: iteration  5 :  497  enodes  (cost  8 )
33.208 * * [simplify]: iteration  6 :  2266  enodes  (cost  8 )
34.338 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
34.339 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
34.340 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
34.346 * * [simplify]: iteration  2 :  23  enodes  (cost  10 )
34.350 * * [simplify]: iteration  3 :  26  enodes  (cost  10 )
34.353 * * [simplify]: iteration  4 :  27  enodes  (cost  10 )
34.357 * * [simplify]: iteration  done :  27  enodes  (cost  10 )
34.357 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
34.358 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
34.360 * * [simplify]: iteration  2 :  18  enodes  (cost  8 )
34.362 * * [simplify]: iteration  3 :  33  enodes  (cost  8 )
34.367 * * [simplify]: iteration  4 :  58  enodes  (cost  8 )
34.379 * * [simplify]: iteration  5 :  99  enodes  (cost  8 )
34.404 * * [simplify]: iteration  6 :  157  enodes  (cost  8 )
34.457 * * [simplify]: iteration  7 :  325  enodes  (cost  8 )
35.171 * * [simplify]: iteration  8 :  1570  enodes  (cost  8 )
41.292 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
41.293 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
41.294 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
41.294 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
41.295 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
41.300 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
41.300 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
41.301 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
41.302 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
41.302 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
41.303 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
41.304 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
41.304 * * [simplify]: iteration  0 :  6  enodes  (cost  14 )
41.305 * * [simplify]: iteration  1 :  9  enodes  (cost  14 )
41.306 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
41.308 * * [simplify]: iteration  3 :  17  enodes  (cost  3 )
41.310 * * [simplify]: iteration  4 :  23  enodes  (cost  3 )
41.312 * * [simplify]: iteration  5 :  33  enodes  (cost  3 )
41.316 * * [simplify]: iteration  6 :  56  enodes  (cost  3 )
41.326 * * [simplify]: iteration  7 :  116  enodes  (cost  3 )
41.374 * * [simplify]: iteration  8 :  332  enodes  (cost  3 )
41.847 * * [simplify]: iteration  9 :  1267  enodes  (cost  3 )
44.261 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
44.262 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
44.262 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
44.263 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
44.264 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
44.264 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
44.265 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
44.266 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
44.266 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
44.267 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
44.268 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
44.272 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
44.273 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
44.274 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
44.274 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
44.275 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
44.276 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
44.276 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
44.277 * * [simplify]: iteration  1 :  8  enodes  (cost  10 )
44.278 * * [simplify]: iteration  2 :  9  enodes  (cost  10 )
44.278 * * [simplify]: iteration  done :  9  enodes  (cost  10 )
44.279 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
44.280 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
44.280 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
44.281 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
44.281 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
44.282 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
44.283 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
44.283 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
44.284 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
44.284 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
44.285 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
44.286 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
44.286 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
44.286 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
44.287 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
44.287 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
44.288 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
44.288 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
44.289 * * [simplify]: iteration  done :  7  enodes  (cost  4 )
44.289 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
44.290 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
44.291 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
44.291 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
44.292 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
44.292 * * [simplify]: iteration  2 :  9  enodes  (cost  6 )
44.293 * * [simplify]: iteration  done :  9  enodes  (cost  6 )
44.294 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
44.294 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
44.294 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
44.295 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
44.295 * * [simplify]: iteration  1 :  6  enodes  (cost  4 )
44.296 * * [simplify]: iteration  2 :  7  enodes  (cost  4 )
44.296 * * [simplify]: iteration  done :  7  enodes  (cost  4 )
44.297 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
44.298 * * [simplify]: iteration  1 :  22  enodes  (cost  8 )
44.301 * * [simplify]: iteration  2 :  44  enodes  (cost  8 )
44.308 * * [simplify]: iteration  3 :  78  enodes  (cost  8 )
44.321 * * [simplify]: iteration  4 :  165  enodes  (cost  8 )
44.370 * * [simplify]: iteration  5 :  497  enodes  (cost  8 )
44.714 * * [simplify]: iteration  6 :  2266  enodes  (cost  8 )
45.837 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
45.838 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
45.839 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
45.841 * * [simplify]: iteration  2 :  23  enodes  (cost  10 )
45.845 * * [simplify]: iteration  3 :  26  enodes  (cost  10 )
45.848 * * [simplify]: iteration  4 :  27  enodes  (cost  10 )
45.855 * * [simplify]: iteration  done :  27  enodes  (cost  10 )
45.856 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
45.857 * * [simplify]: iteration  1 :  11  enodes  (cost  8 )
45.858 * * [simplify]: iteration  2 :  18  enodes  (cost  8 )
45.861 * * [simplify]: iteration  3 :  33  enodes  (cost  8 )
45.866 * * [simplify]: iteration  4 :  58  enodes  (cost  8 )
45.878 * * [simplify]: iteration  5 :  99  enodes  (cost  8 )
45.901 * * [simplify]: iteration  6 :  157  enodes  (cost  8 )
45.954 * * [simplify]: iteration  7 :  325  enodes  (cost  8 )
46.673 * * [simplify]: iteration  8 :  1570  enodes  (cost  8 )
53.113 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
53.114 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
53.114 * * [simplify]: iteration  1 :  5  enodes  (cost  4 )
53.114 * * [simplify]: iteration  done :  5  enodes  (cost  4 )
53.115 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
53.116 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
53.116 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
53.117 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
53.118 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
53.118 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
53.119 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
53.120 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
53.120 * * [simplify]: iteration  0 :  6  enodes  (cost  14 )
53.121 * * [simplify]: iteration  1 :  9  enodes  (cost  14 )
53.122 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
53.123 * * [simplify]: iteration  3 :  17  enodes  (cost  3 )
53.125 * * [simplify]: iteration  4 :  23  enodes  (cost  3 )
53.132 * * [simplify]: iteration  5 :  33  enodes  (cost  3 )
53.137 * * [simplify]: iteration  6 :  56  enodes  (cost  3 )
53.148 * * [simplify]: iteration  7 :  116  enodes  (cost  3 )
53.197 * * [simplify]: iteration  8 :  332  enodes  (cost  3 )
53.687 * * [simplify]: iteration  9 :  1267  enodes  (cost  3 )
56.149 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
56.150 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
56.150 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
56.151 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
56.151 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
56.152 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
56.153 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
56.153 * * [simplify]: iteration  2 :  8  enodes  (cost  5 )
56.154 * * [simplify]: iteration  done :  8  enodes  (cost  5 )
56.154 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
56.155 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
56.155 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
56.156 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
56.156 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
56.156 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
56.157 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
56.157 * * [simplify]: iteration  1 :  6  enodes  (cost  7 )
56.158 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
56.160 * * [simplify]: iteration  3 :  30  enodes  (cost  7 )
56.165 * * [simplify]: iteration  4 :  63  enodes  (cost  7 )
56.182 * * [simplify]: iteration  5 :  106  enodes  (cost  7 )
56.212 * * [simplify]: iteration  6 :  186  enodes  (cost  7 )
56.266 * * [simplify]: iteration  7 :  296  enodes  (cost  7 )
56.368 * * [simplify]: iteration  8 :  455  enodes  (cost  7 )
56.530 * * [simplify]: iteration  9 :  628  enodes  (cost  7 )
56.687 * * [simplify]: iteration  10 :  671  enodes  (cost  7 )
56.833 * * [simplify]: iteration  11 :  672  enodes  (cost  7 )
56.976 * * [simplify]: iteration  done :  672  enodes  (cost  7 )
56.977 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
56.978 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
56.978 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
56.979 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
56.980 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
56.980 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
56.980 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
56.981 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
56.982 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
56.983 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
56.984 * * [simplify]: iteration  done :  12  enodes  (cost  7 )
56.984 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
56.985 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
56.986 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
56.987 * * [simplify]: iteration  3 :  14  enodes  (cost  7 )
56.988 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
56.989 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
56.990 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
56.991 * * [simplify]: iteration  2 :  15  enodes  (cost  10 )
56.993 * * [simplify]: iteration  3 :  20  enodes  (cost  10 )
56.995 * * [simplify]: iteration  4 :  38  enodes  (cost  10 )
57.001 * * [simplify]: iteration  5 :  80  enodes  (cost  10 )
57.026 * * [simplify]: iteration  6 :  186  enodes  (cost  10 )
57.125 * * [simplify]: iteration  7 :  566  enodes  (cost  10 )
58.015 * * [simplify]: iteration  8 :  2256  enodes  (cost  10 )
60.190 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
60.190 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
60.191 * * [simplify]: iteration  1 :  6  enodes  (cost  7 )
60.192 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
60.194 * * [simplify]: iteration  3 :  30  enodes  (cost  7 )
60.199 * * [simplify]: iteration  4 :  63  enodes  (cost  7 )
60.215 * * [simplify]: iteration  5 :  106  enodes  (cost  7 )
60.245 * * [simplify]: iteration  6 :  186  enodes  (cost  7 )
60.300 * * [simplify]: iteration  7 :  296  enodes  (cost  7 )
60.401 * * [simplify]: iteration  8 :  455  enodes  (cost  7 )
60.562 * * [simplify]: iteration  9 :  628  enodes  (cost  7 )
60.715 * * [simplify]: iteration  10 :  671  enodes  (cost  7 )
60.859 * * [simplify]: iteration  11 :  672  enodes  (cost  7 )
61.001 * * [simplify]: iteration  done :  672  enodes  (cost  7 )
61.002 * * [simplify]: iteration  0 :  7  enodes  (cost  21 )
61.002 * * [simplify]: iteration  1 :  9  enodes  (cost  21 )
61.004 * * [simplify]: iteration  2 :  10  enodes  (cost  21 )
61.005 * * [simplify]: iteration  done :  10  enodes  (cost  21 )
61.005 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
61.006 * * [simplify]: iteration  1 :  8  enodes  (cost  10 )
61.007 * * [simplify]: iteration  2 :  9  enodes  (cost  10 )
61.008 * * [simplify]: iteration  done :  9  enodes  (cost  10 )
61.008 * * [simplify]: iteration  0 :  7  enodes  (cost  29 )
61.009 * * [simplify]: iteration  1 :  17  enodes  (cost  29 )
61.012 * * [simplify]: iteration  2 :  27  enodes  (cost  11 )
61.016 * * [simplify]: iteration  3 :  41  enodes  (cost  6 )
61.029 * * [simplify]: iteration  4 :  99  enodes  (cost  6 )
61.059 * * [simplify]: iteration  5 :  228  enodes  (cost  6 )
61.142 * * [simplify]: iteration  6 :  577  enodes  (cost  6 )
61.710 * * [simplify]: iteration  7 :  1955  enodes  (cost  6 )
63.474 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
63.475 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
63.476 * * [simplify]: iteration  1 :  9  enodes  (cost  5 )
63.477 * * [simplify]: iteration  2 :  10  enodes  (cost  5 )
63.477 * * [simplify]: iteration  done :  10  enodes  (cost  5 )
63.478 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
63.479 * * [simplify]: iteration  1 :  9  enodes  (cost  5 )
63.479 * * [simplify]: iteration  2 :  10  enodes  (cost  5 )
63.480 * * [simplify]: iteration  done :  10  enodes  (cost  5 )
63.481 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
63.482 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
63.485 * * [simplify]: iteration  2 :  45  enodes  (cost  17 )
63.492 * * [simplify]: iteration  3 :  79  enodes  (cost  17 )
63.505 * * [simplify]: iteration  4 :  166  enodes  (cost  17 )
63.554 * * [simplify]: iteration  5 :  494  enodes  (cost  17 )
63.897 * * [simplify]: iteration  6 :  2249  enodes  (cost  17 )
65.021 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
65.021 * * [simplify]: iteration  0 :  9  enodes  (cost  25 )
65.023 * * [simplify]: iteration  1 :  16  enodes  (cost  21 )
65.025 * * [simplify]: iteration  2 :  24  enodes  (cost  21 )
65.029 * * [simplify]: iteration  3 :  25  enodes  (cost  21 )
65.032 * * [simplify]: iteration  4 :  26  enodes  (cost  21 )
65.036 * * [simplify]: iteration  done :  26  enodes  (cost  21 )
65.037 * * [simplify]: iteration  0 :  12  enodes  (cost  17 )
65.039 * * [simplify]: iteration  1 :  31  enodes  (cost  17 )
65.043 * * [simplify]: iteration  2 :  58  enodes  (cost  17 )
65.052 * * [simplify]: iteration  3 :  103  enodes  (cost  17 )
65.074 * * [simplify]: iteration  4 :  218  enodes  (cost  17 )
65.133 * * [simplify]: iteration  5 :  592  enodes  (cost  17 )
65.504 * * [simplify]: iteration  6 :  2407  enodes  (cost  17 )
66.678 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
66.679 * * [simplify]: iteration  0 :  11  enodes  (cost  17 )
66.680 * * [simplify]: iteration  1 :  19  enodes  (cost  15 )
66.683 * * [simplify]: iteration  2 :  26  enodes  (cost  15 )
66.687 * * [simplify]: iteration  3 :  27  enodes  (cost  15 )
66.690 * * [simplify]: iteration  4 :  28  enodes  (cost  15 )
66.694 * * [simplify]: iteration  done :  28  enodes  (cost  15 )
66.695 * * [simplify]: iteration  0 :  12  enodes  (cost  17 )
66.697 * * [simplify]: iteration  1 :  31  enodes  (cost  17 )
66.705 * * [simplify]: iteration  2 :  58  enodes  (cost  17 )
66.714 * * [simplify]: iteration  3 :  103  enodes  (cost  17 )
66.732 * * [simplify]: iteration  4 :  217  enodes  (cost  17 )
66.792 * * [simplify]: iteration  5 :  592  enodes  (cost  17 )
67.161 * * [simplify]: iteration  6 :  2426  enodes  (cost  17 )
68.554 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
68.555 * * [simplify]: iteration  0 :  11  enodes  (cost  17 )
68.556 * * [simplify]: iteration  1 :  19  enodes  (cost  15 )
68.559 * * [simplify]: iteration  2 :  26  enodes  (cost  15 )
68.562 * * [simplify]: iteration  3 :  27  enodes  (cost  15 )
68.566 * * [simplify]: iteration  4 :  28  enodes  (cost  15 )
68.570 * * [simplify]: iteration  done :  28  enodes  (cost  15 )
68.570 * * [simplify]: iteration  0 :  7  enodes  (cost  17 )
68.571 * * [simplify]: iteration  1 :  12  enodes  (cost  17 )
68.573 * * [simplify]: iteration  2 :  19  enodes  (cost  17 )
68.575 * * [simplify]: iteration  3 :  34  enodes  (cost  17 )
68.580 * * [simplify]: iteration  4 :  59  enodes  (cost  17 )
68.593 * * [simplify]: iteration  5 :  100  enodes  (cost  17 )
68.618 * * [simplify]: iteration  6 :  156  enodes  (cost  17 )
68.672 * * [simplify]: iteration  7 :  324  enodes  (cost  17 )
69.404 * * [simplify]: iteration  8 :  1653  enodes  (cost  17 )
75.152 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
75.153 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
75.154 * * [simplify]: iteration  1 :  6  enodes  (cost  9 )
75.154 * * [simplify]: iteration  done :  6  enodes  (cost  9 )
75.155 * * [simplify]: iteration  0 :  7  enodes  (cost  21 )
75.156 * * [simplify]: iteration  1 :  9  enodes  (cost  21 )
75.157 * * [simplify]: iteration  2 :  10  enodes  (cost  21 )
75.158 * * [simplify]: iteration  done :  10  enodes  (cost  21 )
75.159 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
75.159 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
75.160 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
75.161 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
75.162 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
75.162 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
75.163 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
75.164 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
75.164 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
75.165 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
75.166 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
75.167 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
75.167 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
75.168 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
75.168 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
75.169 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
75.169 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
75.170 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
75.171 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
75.175 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
75.175 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
75.176 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
75.176 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
75.177 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
75.178 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
75.178 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
75.179 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
75.180 * * [simplify]: iteration  1 :  8  enodes  (cost  13 )
75.180 * * [simplify]: iteration  done :  8  enodes  (cost  13 )
75.181 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
75.182 * * [simplify]: iteration  1 :  9  enodes  (cost  13 )
75.183 * * [simplify]: iteration  2 :  10  enodes  (cost  13 )
75.184 * * [simplify]: iteration  done :  10  enodes  (cost  13 )
75.184 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
75.185 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
75.185 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
75.186 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
75.186 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
75.187 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
75.188 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
75.188 * * [simplify]: iteration  0 :  3  enodes  (cost  5 )
75.189 * * [simplify]: iteration  1 :  5  enodes  (cost  3 )
75.189 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
75.190 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
75.190 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
75.191 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
75.192 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
75.193 * * [simplify]: iteration  0 :  7  enodes  (cost  23 )
75.193 * * [simplify]: iteration  1 :  13  enodes  (cost  23 )
75.195 * * [simplify]: iteration  2 :  16  enodes  (cost  13 )
75.197 * * [simplify]: iteration  3 :  25  enodes  (cost  7 )
75.200 * * [simplify]: iteration  4 :  40  enodes  (cost  7 )
75.205 * * [simplify]: iteration  5 :  66  enodes  (cost  7 )
75.216 * * [simplify]: iteration  6 :  137  enodes  (cost  7 )
75.261 * * [simplify]: iteration  7 :  354  enodes  (cost  7 )
75.615 * * [simplify]: iteration  8 :  1244  enodes  (cost  7 )
77.202 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
77.203 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
77.204 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
77.204 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
77.205 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
77.206 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
77.209 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
77.210 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
77.211 * * [simplify]: iteration  done :  10  enodes  (cost  4 )
77.212 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
77.212 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
77.213 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
77.214 * * [simplify]: iteration  done :  10  enodes  (cost  4 )
77.214 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
77.215 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
77.215 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
77.216 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
77.216 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
77.217 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
77.218 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
77.218 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
77.219 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
77.220 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
77.221 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
77.221 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
77.222 * * [simplify]: iteration  1 :  8  enodes  (cost  11 )
77.223 * * [simplify]: iteration  2 :  9  enodes  (cost  11 )
77.223 * * [simplify]: iteration  done :  9  enodes  (cost  11 )
77.224 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
77.225 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
77.226 * * [simplify]: iteration  2 :  12  enodes  (cost  11 )
77.227 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
77.228 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
77.228 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
77.229 * * [simplify]: iteration  2 :  12  enodes  (cost  11 )
77.230 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
77.231 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
77.232 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
77.233 * * [simplify]: iteration  2 :  12  enodes  (cost  11 )
77.234 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
77.235 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
77.236 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
77.237 * * [simplify]: iteration  2 :  12  enodes  (cost  11 )
77.238 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
77.238 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
77.239 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
77.240 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
77.241 * * [simplify]: iteration  done :  10  enodes  (cost  4 )
77.242 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
77.242 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
77.243 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
77.244 * * [simplify]: iteration  done :  10  enodes  (cost  4 )
77.245 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
77.245 * * [simplify]: iteration  1 :  5  enodes  (cost  1 )
77.246 * * [simplify]: iteration  done :  5  enodes  (cost  1 )
77.246 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
77.247 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
77.247 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
77.247 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
77.248 * * [simplify]: iteration  1 :  10  enodes  (cost  15 )
77.249 * * [simplify]: iteration  2 :  11  enodes  (cost  15 )
77.250 * * [simplify]: iteration  done :  11  enodes  (cost  15 )
77.251 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
77.252 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
77.252 * * [simplify]: iteration  2 :  11  enodes  (cost  10 )
77.254 * * [simplify]: iteration  done :  11  enodes  (cost  10 )
77.255 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
77.255 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
77.256 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
77.257 * * [simplify]: iteration  done :  13  enodes  (cost  4 )
77.258 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
77.259 * * [simplify]: iteration  1 :  13  enodes  (cost  11 )
77.260 * * [simplify]: iteration  2 :  14  enodes  (cost  11 )
77.262 * * [simplify]: iteration  done :  14  enodes  (cost  11 )
77.262 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
77.263 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
77.264 * * [simplify]: iteration  2 :  13  enodes  (cost  6 )
77.265 * * [simplify]: iteration  done :  13  enodes  (cost  4 )
77.266 * * [simplify]: iteration  0 :  7  enodes  (cost  16 )
77.266 * * [simplify]: iteration  1 :  12  enodes  (cost  16 )
77.268 * * [simplify]: iteration  2 :  15  enodes  (cost  16 )
77.269 * * [simplify]: iteration  done :  15  enodes  (cost  16 )
77.270 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
77.271 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
77.272 * * [simplify]: iteration  2 :  10  enodes  (cost  10 )
77.273 * * [simplify]: iteration  done :  10  enodes  (cost  10 )
77.273 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
77.274 * * [simplify]: iteration  1 :  11  enodes  (cost  4 )
77.275 * * [simplify]: iteration  2 :  15  enodes  (cost  4 )
77.276 * * [simplify]: iteration  done :  15  enodes  (cost  4 )
77.277 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
77.277 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
77.278 * * [simplify]: iteration  2 :  10  enodes  (cost  10 )
77.281 * * [simplify]: iteration  done :  10  enodes  (cost  10 )
77.282 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
77.283 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
77.284 * * [simplify]: iteration  2 :  11  enodes  (cost  10 )
77.285 * * [simplify]: iteration  done :  11  enodes  (cost  10 )
77.285 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
77.286 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
77.287 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
77.287 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
77.288 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
77.289 * * [simplify]: iteration  1 :  14  enodes  (cost  11 )
77.291 * * [simplify]: iteration  2 :  16  enodes  (cost  11 )
77.292 * * [simplify]: iteration  done :  16  enodes  (cost  11 )
77.293 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
77.293 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
77.294 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
77.295 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
77.295 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
77.296 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
77.297 * * [simplify]: iteration  2 :  10  enodes  (cost  10 )
77.298 * * [simplify]: iteration  done :  10  enodes  (cost  10 )
77.298 * * [simplify]: iteration  0 :  6  enodes  (cost  10 )
77.300 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
77.301 * * [simplify]: iteration  2 :  10  enodes  (cost  10 )
77.302 * * [simplify]: iteration  done :  10  enodes  (cost  10 )
77.302 * * [simplify]: iteration  0 :  5  enodes  (cost  9 )
77.303 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
77.304 * * [simplify]: iteration  2 :  8  enodes  (cost  9 )
77.304 * * [simplify]: iteration  done :  8  enodes  (cost  9 )
77.305 * * [simplify]: iteration  0 :  10  enodes  (cost  13 )
77.306 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
77.310 * * [simplify]: iteration  2 :  50  enodes  (cost  13 )
77.317 * * [simplify]: iteration  3 :  84  enodes  (cost  13 )
77.331 * * [simplify]: iteration  4 :  171  enodes  (cost  13 )
77.381 * * [simplify]: iteration  5 :  506  enodes  (cost  13 )
77.719 * * [simplify]: iteration  6 :  2262  enodes  (cost  13 )
78.906 * * [simplify]: iteration  done :  5001  enodes  (cost  13 )
78.907 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
78.908 * * [simplify]: iteration  1 :  16  enodes  (cost  13 )
78.910 * * [simplify]: iteration  2 :  28  enodes  (cost  13 )
78.914 * * [simplify]: iteration  3 :  53  enodes  (cost  13 )
78.924 * * [simplify]: iteration  4 :  81  enodes  (cost  13 )
78.940 * * [simplify]: iteration  5 :  129  enodes  (cost  13 )
78.984 * * [simplify]: iteration  6 :  278  enodes  (cost  13 )
79.482 * * [simplify]: iteration  7 :  1442  enodes  (cost  13 )
83.546 * * [simplify]: iteration  done :  5001  enodes  (cost  13 )
83.547 * * [simplify]: iteration  0 :  10  enodes  (cost  13 )
83.549 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
83.552 * * [simplify]: iteration  2 :  50  enodes  (cost  13 )
83.560 * * [simplify]: iteration  3 :  84  enodes  (cost  13 )
83.577 * * [simplify]: iteration  4 :  174  enodes  (cost  13 )
83.626 * * [simplify]: iteration  5 :  507  enodes  (cost  13 )
83.963 * * [simplify]: iteration  6 :  2255  enodes  (cost  13 )
85.217 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
85.218 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
85.219 * * [simplify]: iteration  1 :  16  enodes  (cost  13 )
85.221 * * [simplify]: iteration  2 :  28  enodes  (cost  13 )
85.225 * * [simplify]: iteration  3 :  53  enodes  (cost  13 )
85.234 * * [simplify]: iteration  4 :  81  enodes  (cost  13 )
85.252 * * [simplify]: iteration  5 :  134  enodes  (cost  13 )
85.295 * * [simplify]: iteration  6 :  283  enodes  (cost  13 )
85.813 * * [simplify]: iteration  7 :  1483  enodes  (cost  13 )
90.123 * * [simplify]: iteration  done :  5001  enodes  (cost  13 )
90.124 * * [simplify]: iteration  0 :  30  enodes  (cost  41 )
90.128 * * [simplify]: iteration  1 :  69  enodes  (cost  40 )
90.138 * * [simplify]: iteration  2 :  150  enodes  (cost  40 )
90.168 * * [simplify]: iteration  3 :  385  enodes  (cost  37 )
90.365 * * [simplify]: iteration  4 :  1251  enodes  (cost  26 )
91.756 * * [simplify]: iteration  done :  5001  enodes  (cost  23 )
91.757 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
91.758 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
91.761 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
91.766 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
91.774 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
91.807 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
91.919 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
92.431 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
94.223 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
94.224 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
94.226 * * [simplify]: iteration  1 :  21  enodes  (cost  10 )
94.228 * * [simplify]: iteration  2 :  38  enodes  (cost  10 )
94.233 * * [simplify]: iteration  3 :  80  enodes  (cost  6 )
94.246 * * [simplify]: iteration  4 :  154  enodes  (cost  2 )
94.287 * * [simplify]: iteration  5 :  433  enodes  (cost  2 )
94.844 * * [simplify]: iteration  6 :  1862  enodes  (cost  2 )
96.371 * * [simplify]: iteration  done :  5001  enodes  (cost  2 )
96.372 * * [simplify]: iteration  0 :  30  enodes  (cost  41 )
96.376 * * [simplify]: iteration  1 :  69  enodes  (cost  40 )
96.391 * * [simplify]: iteration  2 :  150  enodes  (cost  40 )
96.419 * * [simplify]: iteration  3 :  385  enodes  (cost  37 )
96.626 * * [simplify]: iteration  4 :  1251  enodes  (cost  26 )
98.041 * * [simplify]: iteration  done :  5001  enodes  (cost  23 )
98.042 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
98.043 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
98.045 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
98.055 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
98.063 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
98.092 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
98.203 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
98.704 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
100.491 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
100.491 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
100.493 * * [simplify]: iteration  1 :  21  enodes  (cost  10 )
100.495 * * [simplify]: iteration  2 :  38  enodes  (cost  10 )
100.500 * * [simplify]: iteration  3 :  80  enodes  (cost  6 )
100.512 * * [simplify]: iteration  4 :  154  enodes  (cost  2 )
100.553 * * [simplify]: iteration  5 :  433  enodes  (cost  2 )
101.112 * * [simplify]: iteration  6 :  1862  enodes  (cost  2 )
102.636 * * [simplify]: iteration  done :  5001  enodes  (cost  2 )
102.637 * * [simplify]: iteration  0 :  30  enodes  (cost  41 )
102.641 * * [simplify]: iteration  1 :  69  enodes  (cost  40 )
102.651 * * [simplify]: iteration  2 :  150  enodes  (cost  40 )
102.680 * * [simplify]: iteration  3 :  385  enodes  (cost  37 )
102.874 * * [simplify]: iteration  4 :  1251  enodes  (cost  26 )
104.260 * * [simplify]: iteration  done :  5001  enodes  (cost  23 )
104.261 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
104.263 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
104.265 * * [simplify]: iteration  2 :  35  enodes  (cost  5 )
104.270 * * [simplify]: iteration  3 :  72  enodes  (cost  2 )
104.278 * * [simplify]: iteration  4 :  126  enodes  (cost  2 )
104.310 * * [simplify]: iteration  5 :  264  enodes  (cost  2 )
104.420 * * [simplify]: iteration  6 :  568  enodes  (cost  2 )
104.915 * * [simplify]: iteration  7 :  1635  enodes  (cost  2 )
106.889 * * [simplify]: iteration  done :  5000  enodes  (cost  2 )
106.890 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
106.891 * * [simplify]: iteration  1 :  21  enodes  (cost  10 )
106.897 * * [simplify]: iteration  2 :  38  enodes  (cost  10 )
106.902 * * [simplify]: iteration  3 :  80  enodes  (cost  6 )
106.915 * * [simplify]: iteration  4 :  154  enodes  (cost  2 )
106.952 * * [simplify]: iteration  5 :  433  enodes  (cost  2 )
107.510 * * [simplify]: iteration  6 :  1862  enodes  (cost  2 )
109.025 * * [simplify]: iteration  done :  5001  enodes  (cost  2 )
109.026 * * [simplify]: iteration  0 :  28  enodes  (cost  40 )
109.030 * * [simplify]: iteration  1 :  67  enodes  (cost  37 )
109.048 * * [simplify]: iteration  2 :  147  enodes  (cost  30 )
109.078 * * [simplify]: iteration  3 :  419  enodes  (cost  24 )
109.313 * * [simplify]: iteration  4 :  1314  enodes  (cost  20 )
110.378 * * [simplify]: iteration  done :  5001  enodes  (cost  19 )
110.379 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
110.381 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
110.383 * * [simplify]: iteration  2 :  46  enodes  (cost  8 )
110.393 * * [simplify]: iteration  3 :  131  enodes  (cost  5 )
110.437 * * [simplify]: iteration  4 :  286  enodes  (cost  3 )
110.582 * * [simplify]: iteration  5 :  617  enodes  (cost  3 )
111.489 * * [simplify]: iteration  6 :  1980  enodes  (cost  3 )
112.774 * * [simplify]: iteration  done :  5001  enodes  (cost  3 )
112.775 * * [simplify]: iteration  0 :  12  enodes  (cost  12 )
112.776 * * [simplify]: iteration  1 :  23  enodes  (cost  11 )
112.779 * * [simplify]: iteration  2 :  44  enodes  (cost  9 )
112.786 * * [simplify]: iteration  3 :  127  enodes  (cost  6 )
112.830 * * [simplify]: iteration  4 :  325  enodes  (cost  5 )
113.042 * * [simplify]: iteration  5 :  879  enodes  (cost  5 )
114.513 * * [simplify]: iteration  6 :  2879  enodes  (cost  3 )
115.520 * * [simplify]: iteration  done :  5000  enodes  (cost  3 )
115.521 * [simplify]: Simplified to:
   (log (cbrt (- x z)))
  (exp (cbrt (- x z)))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt (sqrt (- x z)))
  1
  (cbrt (- x z))
  (cbrt (+ (sqrt x) (sqrt z)))
  (cbrt (- (sqrt x) (sqrt z)))
  1
  (cbrt (- x z))
  (cbrt (- (pow x 3) (pow z 3)))
  (cbrt (+ (* z (+ z x)) (* x x)))
  (cbrt (- (* x x) (* z z)))
  (cbrt (+ x z))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (- x z)
  (sqrt (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (log (cbrt (- x z)))
  (exp (cbrt (- x z)))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt (sqrt (- x z)))
  1
  (cbrt (- x z))
  (cbrt (+ (sqrt x) (sqrt z)))
  (cbrt (- (sqrt x) (sqrt z)))
  1
  (cbrt (- x z))
  (cbrt (- (pow x 3) (pow z 3)))
  (cbrt (+ (* z (+ z x)) (* x x)))
  (cbrt (- (* x x) (* z z)))
  (cbrt (+ x z))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (- x z)
  (sqrt (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  (log (cbrt (- x z)))
  (exp (cbrt (- x z)))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (cbrt (sqrt (- x z)))
  (cbrt (sqrt (- x z)))
  1
  (cbrt (- x z))
  (cbrt (+ (sqrt x) (sqrt z)))
  (cbrt (- (sqrt x) (sqrt z)))
  1
  (cbrt (- x z))
  (cbrt (- (pow x 3) (pow z 3)))
  (cbrt (+ (* z (+ z x)) (* x x)))
  (cbrt (- (* x x) (* z z)))
  (cbrt (+ x z))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (cbrt (cbrt (- x z)))
  (- x z)
  (sqrt (cbrt (- x z)))
  (sqrt (cbrt (- x z)))
  2/3
  2
  (* (- x z) (- x z))
  (* (cbrt (- x z)) (cbrt (- x z)))
  2
  (* 2 (log (cbrt (- x z))))
  (* 2 (log (cbrt (- x z))))
  (exp (* (cbrt (- x z)) (cbrt (- x z))))
  (* (- x z) (- x z))
  (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))))
  (cbrt (* (cbrt (- x z)) (cbrt (- x z))))
  (pow (cbrt (- x z)) 6)
  (fabs (cbrt (- x z)))
  (fabs (cbrt (- x z)))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3))))
  (* (cbrt (+ (* z (+ z x)) (* x x))) (cbrt (+ (* z (+ z x)) (* x x))))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (* x x) (* z z))))
  (* (cbrt (+ (* z (+ x z)) (* x x))) (cbrt (+ x z)))
  (* (cbrt (- (* x x) (* z z))) (cbrt (- (pow x 3) (pow z 3))))
  (* (cbrt (+ (* z (+ x z)) (* x x))) (cbrt (+ x z)))
  (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z))))
  (* (cbrt (+ x z)) (cbrt (+ x z)))
  (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))))
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  1
  (* (cbrt (- x z)) (cbrt (- x z)))
  1
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (+ (sqrt x) (sqrt z))) (cbrt (+ (sqrt x) (sqrt z))))
  (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))))
  1
  (* (cbrt (- x z)) (cbrt (- x z)))
  1
  (* (cbrt (- x z)) (cbrt (- x z)))
  (pow (cbrt (cbrt (- x z))) 4)
  (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))
  (cbrt (- x z))
  (cbrt (- x z))
  1
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))
  (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z))))
  (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z))))
  (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z))))
  (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z))))
  (cbrt (- x z))
  (cbrt (- x z))
  2/3
  2
  (* (cbrt (- x z)) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))))
  (* (cbrt (- x z)) (cbrt (sqrt (- x z))))
  (cbrt (- x z))
  (* (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))))
  (cbrt (- x z))
  (* (cbrt (- x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))))
  (* (cbrt (- x z)) (sqrt (cbrt (- x z))))
  (cbrt (- x z))
  (* (cbrt (cbrt (- x z))) (cbrt (- x z)))
  (* (cbrt (sqrt (- x z))) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (cbrt (- x z))) (cbrt (- x z)))
  (* (sqrt (cbrt (- x z))) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (* (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))))
  (* (cbrt (- x z)) (cbrt (- (* x x) (* z z))))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- x z)))
  (* (cbrt (- (* x x) (* z z))) (cbrt (- x z)))
  (- (cbrt (* -1 z)) (* x (* (cbrt -1) (+ (* (pow z -5/3) (* 1/9 x)) (* (pow z -2/3) 1/3)))))
  (cbrt x)
  (cbrt x)
  (- (cbrt (* -1 z)) (* x (* (cbrt -1) (+ (* (pow z -5/3) (* 1/9 x)) (* (pow z -2/3) 1/3)))))
  (cbrt x)
  (cbrt x)
  (- (cbrt (* -1 z)) (* x (* (cbrt -1) (+ (* (pow z -5/3) (* 1/9 x)) (* (pow z -2/3) 1/3)))))
  (cbrt x)
  (cbrt x)
  (- (pow z 2/3) (* (+ (/ 2/3 (pow z 1/3)) (* (pow z -4/3) (* 1/9 x))) x))
  (pow x 2/3)
  (pow x 2/3)
115.522 * * * [progress]: adding candidates to table
115.630 * [progress]: [Phase 3 of 3] Extracting.
115.630 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) y)))> #<alt (λ (x y z) (* (- x z) y))>)
115.631 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
115.631 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) y)))> #<alt (λ (x y z) (* (- x z) y))>)
115.674 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) y)))> #<alt (λ (x y z) (* (- x z) y))>)
115.718 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) y)))> #<alt (λ (x y z) (* (- x z) y))>)
115.761 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
115.762 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- x z) y)
115.762 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
115.762 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
115.762 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
115.762 * [simplify]: Simplified to:
   (* (- x z) y)
117.294 * [regime-testing]: End program error score: 0.01650206275784473
117.377 * [regime-testing]: Target error score: 0.01650206275784473