397.237 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x y) (* z t))
0.034 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.035 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.036 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
0.038 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
0.038 * [simplify]: Simplified to:
   (- (* x y) (* z t))
0.038 * * [progress]: iteration 1 / 4
0.038 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* x y) (* z t)))>
0.046 * * * [progress]: localizing error
0.052 * * * [progress]: generating rewritten candidates
0.052 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.057 * * * [progress]: generating series expansions
0.057 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.057 * [approximate]: Taking taylor expansion of (- (* x y) (* t z)) in (x y z t) around 0
0.057 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
0.057 * [taylor]: Taking taylor expansion of (* x y) in t
0.057 * [taylor]: Taking taylor expansion of x in t
0.057 * [taylor]: Taking taylor expansion of y in t
0.057 * [taylor]: Taking taylor expansion of (* t z) in t
0.057 * [taylor]: Taking taylor expansion of t in t
0.057 * [taylor]: Taking taylor expansion of z in t
0.057 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
0.057 * [taylor]: Taking taylor expansion of (* x y) in z
0.057 * [taylor]: Taking taylor expansion of x in z
0.057 * [taylor]: Taking taylor expansion of y in z
0.057 * [taylor]: Taking taylor expansion of (* t z) in z
0.057 * [taylor]: Taking taylor expansion of t in z
0.057 * [taylor]: Taking taylor expansion of z in z
0.057 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
0.058 * [taylor]: Taking taylor expansion of (* x y) in y
0.058 * [taylor]: Taking taylor expansion of x in y
0.058 * [taylor]: Taking taylor expansion of y in y
0.058 * [taylor]: Taking taylor expansion of (* t z) in y
0.058 * [taylor]: Taking taylor expansion of t in y
0.058 * [taylor]: Taking taylor expansion of z in y
0.058 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.058 * [taylor]: Taking taylor expansion of (* x y) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.058 * [taylor]: Taking taylor expansion of y in x
0.058 * [taylor]: Taking taylor expansion of (* t z) in x
0.058 * [taylor]: Taking taylor expansion of t in x
0.058 * [taylor]: Taking taylor expansion of z in x
0.058 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
0.058 * [taylor]: Taking taylor expansion of (* x y) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.058 * [taylor]: Taking taylor expansion of y in x
0.058 * [taylor]: Taking taylor expansion of (* t z) in x
0.058 * [taylor]: Taking taylor expansion of t in x
0.058 * [taylor]: Taking taylor expansion of z in x
0.058 * [taylor]: Taking taylor expansion of (neg (* t z)) in y
0.058 * [taylor]: Taking taylor expansion of (* t z) in y
0.058 * [taylor]: Taking taylor expansion of t in y
0.058 * [taylor]: Taking taylor expansion of z in y
0.058 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
0.058 * [taylor]: Taking taylor expansion of (* t z) in z
0.058 * [taylor]: Taking taylor expansion of t in z
0.058 * [taylor]: Taking taylor expansion of z in z
0.058 * [taylor]: Taking taylor expansion of 0 in t
0.058 * [taylor]: Taking taylor expansion of y in y
0.058 * [taylor]: Taking taylor expansion of 0 in z
0.058 * [taylor]: Taking taylor expansion of 0 in t
0.058 * [taylor]: Taking taylor expansion of 0 in z
0.058 * [taylor]: Taking taylor expansion of 0 in t
0.059 * [taylor]: Taking taylor expansion of (neg t) in t
0.059 * [taylor]: Taking taylor expansion of t in t
0.059 * [taylor]: Taking taylor expansion of 0 in y
0.059 * [taylor]: Taking taylor expansion of 0 in z
0.059 * [taylor]: Taking taylor expansion of 0 in t
0.059 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
0.059 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.059 * [taylor]: Taking taylor expansion of (* x y) in t
0.059 * [taylor]: Taking taylor expansion of x in t
0.059 * [taylor]: Taking taylor expansion of y in t
0.059 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.059 * [taylor]: Taking taylor expansion of (* t z) in t
0.059 * [taylor]: Taking taylor expansion of t in t
0.059 * [taylor]: Taking taylor expansion of z in t
0.059 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.059 * [taylor]: Taking taylor expansion of (* x y) in z
0.059 * [taylor]: Taking taylor expansion of x in z
0.059 * [taylor]: Taking taylor expansion of y in z
0.059 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.059 * [taylor]: Taking taylor expansion of (* t z) in z
0.059 * [taylor]: Taking taylor expansion of t in z
0.059 * [taylor]: Taking taylor expansion of z in z
0.059 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.060 * [taylor]: Taking taylor expansion of (* x y) in y
0.060 * [taylor]: Taking taylor expansion of x in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.060 * [taylor]: Taking taylor expansion of (* t z) in y
0.060 * [taylor]: Taking taylor expansion of t in y
0.060 * [taylor]: Taking taylor expansion of z in y
0.060 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.060 * [taylor]: Taking taylor expansion of (* x y) in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.060 * [taylor]: Taking taylor expansion of (* t z) in x
0.060 * [taylor]: Taking taylor expansion of t in x
0.060 * [taylor]: Taking taylor expansion of z in x
0.060 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.060 * [taylor]: Taking taylor expansion of (* x y) in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.060 * [taylor]: Taking taylor expansion of (* t z) in x
0.060 * [taylor]: Taking taylor expansion of t in x
0.060 * [taylor]: Taking taylor expansion of z in x
0.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.061 * [taylor]: Taking taylor expansion of y in y
0.061 * [taylor]: Taking taylor expansion of 1 in z
0.061 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
0.061 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.061 * [taylor]: Taking taylor expansion of (* t z) in y
0.061 * [taylor]: Taking taylor expansion of t in y
0.061 * [taylor]: Taking taylor expansion of z in y
0.061 * [taylor]: Taking taylor expansion of 0 in z
0.061 * [taylor]: Taking taylor expansion of 1 in t
0.061 * [taylor]: Taking taylor expansion of 0 in y
0.061 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
0.061 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.061 * [taylor]: Taking taylor expansion of (* t z) in z
0.062 * [taylor]: Taking taylor expansion of t in z
0.062 * [taylor]: Taking taylor expansion of z in z
0.062 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.062 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.062 * [taylor]: Taking taylor expansion of t in t
0.062 * [taylor]: Taking taylor expansion of 0 in z
0.062 * [taylor]: Taking taylor expansion of 0 in t
0.062 * [taylor]: Taking taylor expansion of 0 in t
0.062 * [taylor]: Taking taylor expansion of 0 in y
0.062 * [taylor]: Taking taylor expansion of 0 in z
0.062 * [taylor]: Taking taylor expansion of 0 in z
0.062 * [taylor]: Taking taylor expansion of 0 in z
0.063 * [taylor]: Taking taylor expansion of 0 in t
0.063 * [taylor]: Taking taylor expansion of 0 in t
0.063 * [taylor]: Taking taylor expansion of 0 in t
0.063 * [taylor]: Taking taylor expansion of 0 in t
0.063 * [taylor]: Taking taylor expansion of 0 in y
0.063 * [taylor]: Taking taylor expansion of 0 in z
0.063 * [taylor]: Taking taylor expansion of 0 in z
0.063 * [taylor]: Taking taylor expansion of 0 in z
0.064 * [taylor]: Taking taylor expansion of 0 in z
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [taylor]: Taking taylor expansion of 0 in t
0.064 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
0.064 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
0.064 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.064 * [taylor]: Taking taylor expansion of (* x y) in t
0.065 * [taylor]: Taking taylor expansion of x in t
0.065 * [taylor]: Taking taylor expansion of y in t
0.065 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.065 * [taylor]: Taking taylor expansion of (* t z) in t
0.065 * [taylor]: Taking taylor expansion of t in t
0.065 * [taylor]: Taking taylor expansion of z in t
0.065 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
0.065 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.065 * [taylor]: Taking taylor expansion of (* x y) in z
0.065 * [taylor]: Taking taylor expansion of x in z
0.065 * [taylor]: Taking taylor expansion of y in z
0.065 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.065 * [taylor]: Taking taylor expansion of (* t z) in z
0.065 * [taylor]: Taking taylor expansion of t in z
0.065 * [taylor]: Taking taylor expansion of z in z
0.065 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
0.065 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.065 * [taylor]: Taking taylor expansion of (* x y) in y
0.065 * [taylor]: Taking taylor expansion of x in y
0.065 * [taylor]: Taking taylor expansion of y in y
0.065 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.065 * [taylor]: Taking taylor expansion of (* t z) in y
0.065 * [taylor]: Taking taylor expansion of t in y
0.066 * [taylor]: Taking taylor expansion of z in y
0.066 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.066 * [taylor]: Taking taylor expansion of (* x y) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of y in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.066 * [taylor]: Taking taylor expansion of (* t z) in x
0.066 * [taylor]: Taking taylor expansion of t in x
0.066 * [taylor]: Taking taylor expansion of z in x
0.066 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.066 * [taylor]: Taking taylor expansion of (* x y) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of y in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.066 * [taylor]: Taking taylor expansion of (* t z) in x
0.066 * [taylor]: Taking taylor expansion of t in x
0.066 * [taylor]: Taking taylor expansion of z in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.066 * [taylor]: Taking taylor expansion of y in y
0.066 * [taylor]: Taking taylor expansion of 1 in z
0.067 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
0.067 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.067 * [taylor]: Taking taylor expansion of (* t z) in y
0.067 * [taylor]: Taking taylor expansion of t in y
0.067 * [taylor]: Taking taylor expansion of z in y
0.067 * [taylor]: Taking taylor expansion of 0 in z
0.067 * [taylor]: Taking taylor expansion of 1 in t
0.067 * [taylor]: Taking taylor expansion of 0 in y
0.067 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
0.067 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.067 * [taylor]: Taking taylor expansion of (* t z) in z
0.067 * [taylor]: Taking taylor expansion of t in z
0.067 * [taylor]: Taking taylor expansion of z in z
0.067 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.067 * [taylor]: Taking taylor expansion of t in t
0.068 * [taylor]: Taking taylor expansion of 0 in z
0.068 * [taylor]: Taking taylor expansion of 0 in t
0.068 * [taylor]: Taking taylor expansion of 0 in t
0.068 * [taylor]: Taking taylor expansion of 0 in y
0.068 * [taylor]: Taking taylor expansion of 0 in z
0.068 * [taylor]: Taking taylor expansion of 0 in z
0.068 * [taylor]: Taking taylor expansion of 0 in z
0.068 * [taylor]: Taking taylor expansion of 0 in t
0.068 * [taylor]: Taking taylor expansion of 0 in t
0.068 * [taylor]: Taking taylor expansion of 0 in t
0.068 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in y
0.069 * [taylor]: Taking taylor expansion of 0 in z
0.069 * [taylor]: Taking taylor expansion of 0 in z
0.069 * [taylor]: Taking taylor expansion of 0 in z
0.069 * [taylor]: Taking taylor expansion of 0 in z
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.069 * [taylor]: Taking taylor expansion of 0 in t
0.070 * [taylor]: Taking taylor expansion of 0 in t
0.070 * [taylor]: Taking taylor expansion of 0 in t
0.070 * * * [progress]: simplifying candidates
0.070 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp (* x y)) (exp (* z t)))
  (log (- (* x y) (* z t)))
  (exp (- (* x y) (* z t)))
  (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (* (* (- (* x y) (* z t)) (- (* x y) (* z t))) (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t))))
  (neg (* z t))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (+ (* x y) (* z t))
  (neg (* z t))
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
0.071 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.072 * * [simplify]: iteration  1 :  17  enodes  (cost  8 )
0.074 * * [simplify]: iteration  2 :  30  enodes  (cost  8 )
0.078 * * [simplify]: iteration  3 :  61  enodes  (cost  8 )
0.087 * * [simplify]: iteration  4 :  160  enodes  (cost  8 )
0.135 * * [simplify]: iteration  5 :  606  enodes  (cost  8 )
0.998 * * [simplify]: iteration  6 :  3922  enodes  (cost  8 )
2.389 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
2.390 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
2.391 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
2.393 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
2.395 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
2.395 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
2.396 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
2.398 * * [simplify]: iteration  2 :  32  enodes  (cost  8 )
2.403 * * [simplify]: iteration  3 :  54  enodes  (cost  8 )
2.410 * * [simplify]: iteration  4 :  120  enodes  (cost  8 )
2.442 * * [simplify]: iteration  5 :  454  enodes  (cost  8 )
3.012 * * [simplify]: iteration  6 :  2420  enodes  (cost  8 )
4.163 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
4.164 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
4.165 * * [simplify]: iteration  1 :  13  enodes  (cost  17 )
4.166 * * [simplify]: iteration  2 :  20  enodes  (cost  17 )
4.169 * * [simplify]: iteration  done :  20  enodes  (cost  17 )
4.169 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
4.170 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
4.172 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
4.174 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
4.175 * * [simplify]: iteration  0 :  9  enodes  (cost  23 )
4.176 * * [simplify]: iteration  1 :  14  enodes  (cost  23 )
4.178 * * [simplify]: iteration  2 :  35  enodes  (cost  9 )
4.185 * * [simplify]: iteration  3 :  126  enodes  (cost  9 )
4.230 * * [simplify]: iteration  4 :  513  enodes  (cost  9 )
4.601 * * [simplify]: iteration  5 :  1912  enodes  (cost  9 )
6.360 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
6.361 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
6.361 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
6.363 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
6.365 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
6.366 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
6.367 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
6.368 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
6.370 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
6.371 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
6.372 * * [simplify]: iteration  1 :  33  enodes  (cost  11 )
6.379 * * [simplify]: iteration  2 :  117  enodes  (cost  11 )
6.415 * * [simplify]: iteration  3 :  382  enodes  (cost  11 )
6.622 * * [simplify]: iteration  4 :  897  enodes  (cost  11 )
7.306 * * [simplify]: iteration  5 :  2338  enodes  (cost  11 )
8.352 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
8.353 * * [simplify]: iteration  0 :  11  enodes  (cost  23 )
8.355 * * [simplify]: iteration  1 :  38  enodes  (cost  19 )
8.362 * * [simplify]: iteration  2 :  95  enodes  (cost  19 )
8.387 * * [simplify]: iteration  3 :  140  enodes  (cost  19 )
8.418 * * [simplify]: iteration  4 :  150  enodes  (cost  19 )
8.450 * * [simplify]: iteration  5 :  152  enodes  (cost  19 )
8.482 * * [simplify]: iteration  done :  152  enodes  (cost  19 )
8.483 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
8.484 * * [simplify]: iteration  1 :  9  enodes  (cost  4 )
8.485 * * [simplify]: iteration  2 :  11  enodes  (cost  4 )
8.486 * * [simplify]: iteration  done :  11  enodes  (cost  4 )
8.486 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
8.488 * * [simplify]: iteration  1 :  30  enodes  (cost  15 )
8.494 * * [simplify]: iteration  2 :  71  enodes  (cost  15 )
8.510 * * [simplify]: iteration  3 :  129  enodes  (cost  15 )
8.539 * * [simplify]: iteration  4 :  194  enodes  (cost  15 )
8.586 * * [simplify]: iteration  5 :  325  enodes  (cost  15 )
8.693 * * [simplify]: iteration  6 :  521  enodes  (cost  15 )
8.906 * * [simplify]: iteration  7 :  887  enodes  (cost  15 )
10.029 * * [simplify]: iteration  8 :  2712  enodes  (cost  15 )
12.727 * * [simplify]: iteration  done :  5000  enodes  (cost  15 )
12.727 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
12.729 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
12.730 * * [simplify]: iteration  done :  10  enodes  (cost  7 )
12.730 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
12.731 * * [simplify]: iteration  1 :  9  enodes  (cost  4 )
12.732 * * [simplify]: iteration  2 :  11  enodes  (cost  4 )
12.733 * * [simplify]: iteration  done :  11  enodes  (cost  4 )
12.734 * * [simplify]: iteration  0 :  1  enodes  (cost  1 )
12.734 * * [simplify]: iteration  done :  1  enodes  (cost  1 )
12.735 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
12.735 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
12.737 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
12.739 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
12.740 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
12.740 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
12.742 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
12.744 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
12.744 * [simplify]: Simplified to:
   (exp (- (* x y) (* z t)))
  (log (- (* x y) (* z t)))
  (exp (- (* x y) (* z t)))
  (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (pow (- (* x y) (* z t)) 3)
  (sqrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
  (neg (* z t))
  (* (- (* x y) (* z t)) (+ (* x y) (* z t)))
  (+ (* x y) (* z t))
  (neg (* z t))
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
12.744 * * * [progress]: adding candidates to table
12.762 * * [progress]: iteration 2 / 4
12.762 * * * [progress]: picking best candidate
12.767 * * * * [pick]: Picked  #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>
12.767 * * * [progress]: localizing error
12.779 * * * [progress]: generating rewritten candidates
12.779 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
12.785 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
12.790 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
12.796 * * * [progress]: generating series expansions
12.796 * * * * [progress]: [ 1 / 3 ] generating series at (2)
12.797 * [approximate]: Taking taylor expansion of (- (* x y) (* t z)) in (x y z t) around 0
12.797 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
12.797 * [taylor]: Taking taylor expansion of (* x y) in t
12.797 * [taylor]: Taking taylor expansion of x in t
12.797 * [taylor]: Taking taylor expansion of y in t
12.797 * [taylor]: Taking taylor expansion of (* t z) in t
12.797 * [taylor]: Taking taylor expansion of t in t
12.797 * [taylor]: Taking taylor expansion of z in t
12.797 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
12.797 * [taylor]: Taking taylor expansion of (* x y) in z
12.797 * [taylor]: Taking taylor expansion of x in z
12.797 * [taylor]: Taking taylor expansion of y in z
12.797 * [taylor]: Taking taylor expansion of (* t z) in z
12.797 * [taylor]: Taking taylor expansion of t in z
12.797 * [taylor]: Taking taylor expansion of z in z
12.797 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
12.797 * [taylor]: Taking taylor expansion of (* x y) in y
12.797 * [taylor]: Taking taylor expansion of x in y
12.797 * [taylor]: Taking taylor expansion of y in y
12.797 * [taylor]: Taking taylor expansion of (* t z) in y
12.797 * [taylor]: Taking taylor expansion of t in y
12.797 * [taylor]: Taking taylor expansion of z in y
12.797 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
12.797 * [taylor]: Taking taylor expansion of (* x y) in x
12.797 * [taylor]: Taking taylor expansion of x in x
12.797 * [taylor]: Taking taylor expansion of y in x
12.797 * [taylor]: Taking taylor expansion of (* t z) in x
12.797 * [taylor]: Taking taylor expansion of t in x
12.797 * [taylor]: Taking taylor expansion of z in x
12.797 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
12.797 * [taylor]: Taking taylor expansion of (* x y) in x
12.797 * [taylor]: Taking taylor expansion of x in x
12.797 * [taylor]: Taking taylor expansion of y in x
12.797 * [taylor]: Taking taylor expansion of (* t z) in x
12.797 * [taylor]: Taking taylor expansion of t in x
12.797 * [taylor]: Taking taylor expansion of z in x
12.797 * [taylor]: Taking taylor expansion of (neg (* t z)) in y
12.797 * [taylor]: Taking taylor expansion of (* t z) in y
12.797 * [taylor]: Taking taylor expansion of t in y
12.797 * [taylor]: Taking taylor expansion of z in y
12.797 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
12.797 * [taylor]: Taking taylor expansion of (* t z) in z
12.797 * [taylor]: Taking taylor expansion of t in z
12.797 * [taylor]: Taking taylor expansion of z in z
12.798 * [taylor]: Taking taylor expansion of 0 in t
12.798 * [taylor]: Taking taylor expansion of y in y
12.798 * [taylor]: Taking taylor expansion of 0 in z
12.798 * [taylor]: Taking taylor expansion of 0 in t
12.798 * [taylor]: Taking taylor expansion of 0 in z
12.798 * [taylor]: Taking taylor expansion of 0 in t
12.798 * [taylor]: Taking taylor expansion of (neg t) in t
12.798 * [taylor]: Taking taylor expansion of t in t
12.798 * [taylor]: Taking taylor expansion of 0 in y
12.798 * [taylor]: Taking taylor expansion of 0 in z
12.798 * [taylor]: Taking taylor expansion of 0 in t
12.798 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
12.798 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
12.798 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
12.798 * [taylor]: Taking taylor expansion of (* x y) in t
12.798 * [taylor]: Taking taylor expansion of x in t
12.798 * [taylor]: Taking taylor expansion of y in t
12.798 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.798 * [taylor]: Taking taylor expansion of (* t z) in t
12.798 * [taylor]: Taking taylor expansion of t in t
12.798 * [taylor]: Taking taylor expansion of z in t
12.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
12.799 * [taylor]: Taking taylor expansion of (* x y) in z
12.799 * [taylor]: Taking taylor expansion of x in z
12.799 * [taylor]: Taking taylor expansion of y in z
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.799 * [taylor]: Taking taylor expansion of (* t z) in z
12.799 * [taylor]: Taking taylor expansion of t in z
12.799 * [taylor]: Taking taylor expansion of z in z
12.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.799 * [taylor]: Taking taylor expansion of (* x y) in y
12.799 * [taylor]: Taking taylor expansion of x in y
12.799 * [taylor]: Taking taylor expansion of y in y
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.799 * [taylor]: Taking taylor expansion of (* t z) in y
12.799 * [taylor]: Taking taylor expansion of t in y
12.799 * [taylor]: Taking taylor expansion of z in y
12.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.799 * [taylor]: Taking taylor expansion of (* x y) in x
12.799 * [taylor]: Taking taylor expansion of x in x
12.799 * [taylor]: Taking taylor expansion of y in x
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.799 * [taylor]: Taking taylor expansion of (* t z) in x
12.799 * [taylor]: Taking taylor expansion of t in x
12.799 * [taylor]: Taking taylor expansion of z in x
12.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.799 * [taylor]: Taking taylor expansion of (* x y) in x
12.799 * [taylor]: Taking taylor expansion of x in x
12.799 * [taylor]: Taking taylor expansion of y in x
12.799 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.800 * [taylor]: Taking taylor expansion of (* t z) in x
12.800 * [taylor]: Taking taylor expansion of t in x
12.800 * [taylor]: Taking taylor expansion of z in x
12.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.800 * [taylor]: Taking taylor expansion of y in y
12.800 * [taylor]: Taking taylor expansion of 1 in z
12.800 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
12.800 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.800 * [taylor]: Taking taylor expansion of (* t z) in y
12.800 * [taylor]: Taking taylor expansion of t in y
12.800 * [taylor]: Taking taylor expansion of z in y
12.800 * [taylor]: Taking taylor expansion of 0 in z
12.800 * [taylor]: Taking taylor expansion of 1 in t
12.800 * [taylor]: Taking taylor expansion of 0 in y
12.800 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
12.800 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.800 * [taylor]: Taking taylor expansion of (* t z) in z
12.801 * [taylor]: Taking taylor expansion of t in z
12.801 * [taylor]: Taking taylor expansion of z in z
12.801 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
12.801 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.801 * [taylor]: Taking taylor expansion of t in t
12.801 * [taylor]: Taking taylor expansion of 0 in z
12.801 * [taylor]: Taking taylor expansion of 0 in t
12.801 * [taylor]: Taking taylor expansion of 0 in t
12.801 * [taylor]: Taking taylor expansion of 0 in y
12.801 * [taylor]: Taking taylor expansion of 0 in z
12.801 * [taylor]: Taking taylor expansion of 0 in z
12.801 * [taylor]: Taking taylor expansion of 0 in z
12.802 * [taylor]: Taking taylor expansion of 0 in t
12.802 * [taylor]: Taking taylor expansion of 0 in t
12.802 * [taylor]: Taking taylor expansion of 0 in t
12.802 * [taylor]: Taking taylor expansion of 0 in t
12.802 * [taylor]: Taking taylor expansion of 0 in y
12.802 * [taylor]: Taking taylor expansion of 0 in z
12.802 * [taylor]: Taking taylor expansion of 0 in z
12.802 * [taylor]: Taking taylor expansion of 0 in z
12.802 * [taylor]: Taking taylor expansion of 0 in z
12.803 * [taylor]: Taking taylor expansion of 0 in t
12.803 * [taylor]: Taking taylor expansion of 0 in t
12.803 * [taylor]: Taking taylor expansion of 0 in t
12.803 * [taylor]: Taking taylor expansion of 0 in t
12.803 * [taylor]: Taking taylor expansion of 0 in t
12.803 * [taylor]: Taking taylor expansion of 0 in t
12.803 * [taylor]: Taking taylor expansion of 0 in t
12.803 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
12.803 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
12.803 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
12.803 * [taylor]: Taking taylor expansion of (* x y) in t
12.803 * [taylor]: Taking taylor expansion of x in t
12.803 * [taylor]: Taking taylor expansion of y in t
12.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.804 * [taylor]: Taking taylor expansion of (* t z) in t
12.804 * [taylor]: Taking taylor expansion of t in t
12.804 * [taylor]: Taking taylor expansion of z in t
12.804 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
12.804 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
12.804 * [taylor]: Taking taylor expansion of (* x y) in z
12.804 * [taylor]: Taking taylor expansion of x in z
12.804 * [taylor]: Taking taylor expansion of y in z
12.804 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.804 * [taylor]: Taking taylor expansion of (* t z) in z
12.804 * [taylor]: Taking taylor expansion of t in z
12.804 * [taylor]: Taking taylor expansion of z in z
12.804 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
12.804 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.804 * [taylor]: Taking taylor expansion of (* x y) in y
12.804 * [taylor]: Taking taylor expansion of x in y
12.804 * [taylor]: Taking taylor expansion of y in y
12.804 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.804 * [taylor]: Taking taylor expansion of (* t z) in y
12.804 * [taylor]: Taking taylor expansion of t in y
12.804 * [taylor]: Taking taylor expansion of z in y
12.804 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.804 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.804 * [taylor]: Taking taylor expansion of (* x y) in x
12.804 * [taylor]: Taking taylor expansion of x in x
12.804 * [taylor]: Taking taylor expansion of y in x
12.804 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.804 * [taylor]: Taking taylor expansion of (* t z) in x
12.804 * [taylor]: Taking taylor expansion of t in x
12.804 * [taylor]: Taking taylor expansion of z in x
12.804 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.804 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.804 * [taylor]: Taking taylor expansion of (* x y) in x
12.804 * [taylor]: Taking taylor expansion of x in x
12.805 * [taylor]: Taking taylor expansion of y in x
12.805 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.805 * [taylor]: Taking taylor expansion of (* t z) in x
12.805 * [taylor]: Taking taylor expansion of t in x
12.805 * [taylor]: Taking taylor expansion of z in x
12.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.805 * [taylor]: Taking taylor expansion of y in y
12.805 * [taylor]: Taking taylor expansion of 1 in z
12.805 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
12.805 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.805 * [taylor]: Taking taylor expansion of (* t z) in y
12.805 * [taylor]: Taking taylor expansion of t in y
12.805 * [taylor]: Taking taylor expansion of z in y
12.805 * [taylor]: Taking taylor expansion of 0 in z
12.805 * [taylor]: Taking taylor expansion of 1 in t
12.805 * [taylor]: Taking taylor expansion of 0 in y
12.806 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
12.806 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.806 * [taylor]: Taking taylor expansion of (* t z) in z
12.806 * [taylor]: Taking taylor expansion of t in z
12.806 * [taylor]: Taking taylor expansion of z in z
12.806 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
12.806 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.806 * [taylor]: Taking taylor expansion of t in t
12.806 * [taylor]: Taking taylor expansion of 0 in z
12.806 * [taylor]: Taking taylor expansion of 0 in t
12.806 * [taylor]: Taking taylor expansion of 0 in t
12.806 * [taylor]: Taking taylor expansion of 0 in y
12.806 * [taylor]: Taking taylor expansion of 0 in z
12.806 * [taylor]: Taking taylor expansion of 0 in z
12.807 * [taylor]: Taking taylor expansion of 0 in z
12.807 * [taylor]: Taking taylor expansion of 0 in t
12.807 * [taylor]: Taking taylor expansion of 0 in t
12.807 * [taylor]: Taking taylor expansion of 0 in t
12.807 * [taylor]: Taking taylor expansion of 0 in t
12.807 * [taylor]: Taking taylor expansion of 0 in y
12.807 * [taylor]: Taking taylor expansion of 0 in z
12.807 * [taylor]: Taking taylor expansion of 0 in z
12.807 * [taylor]: Taking taylor expansion of 0 in z
12.808 * [taylor]: Taking taylor expansion of 0 in z
12.808 * [taylor]: Taking taylor expansion of 0 in t
12.808 * [taylor]: Taking taylor expansion of 0 in t
12.808 * [taylor]: Taking taylor expansion of 0 in t
12.808 * [taylor]: Taking taylor expansion of 0 in t
12.808 * [taylor]: Taking taylor expansion of 0 in t
12.808 * [taylor]: Taking taylor expansion of 0 in t
12.808 * [taylor]: Taking taylor expansion of 0 in t
12.808 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
12.808 * [approximate]: Taking taylor expansion of (pow (- (* x y) (* t z)) 3) in (x y z t) around 0
12.808 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 3) in t
12.808 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
12.808 * [taylor]: Taking taylor expansion of (* x y) in t
12.808 * [taylor]: Taking taylor expansion of x in t
12.809 * [taylor]: Taking taylor expansion of y in t
12.809 * [taylor]: Taking taylor expansion of (* t z) in t
12.809 * [taylor]: Taking taylor expansion of t in t
12.809 * [taylor]: Taking taylor expansion of z in t
12.809 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 3) in z
12.809 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
12.809 * [taylor]: Taking taylor expansion of (* x y) in z
12.809 * [taylor]: Taking taylor expansion of x in z
12.809 * [taylor]: Taking taylor expansion of y in z
12.809 * [taylor]: Taking taylor expansion of (* t z) in z
12.809 * [taylor]: Taking taylor expansion of t in z
12.809 * [taylor]: Taking taylor expansion of z in z
12.809 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 3) in y
12.809 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
12.809 * [taylor]: Taking taylor expansion of (* x y) in y
12.809 * [taylor]: Taking taylor expansion of x in y
12.809 * [taylor]: Taking taylor expansion of y in y
12.809 * [taylor]: Taking taylor expansion of (* t z) in y
12.809 * [taylor]: Taking taylor expansion of t in y
12.809 * [taylor]: Taking taylor expansion of z in y
12.809 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 3) in x
12.809 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
12.809 * [taylor]: Taking taylor expansion of (* x y) in x
12.809 * [taylor]: Taking taylor expansion of x in x
12.809 * [taylor]: Taking taylor expansion of y in x
12.809 * [taylor]: Taking taylor expansion of (* t z) in x
12.809 * [taylor]: Taking taylor expansion of t in x
12.809 * [taylor]: Taking taylor expansion of z in x
12.810 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 3) in x
12.810 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
12.810 * [taylor]: Taking taylor expansion of (* x y) in x
12.810 * [taylor]: Taking taylor expansion of x in x
12.810 * [taylor]: Taking taylor expansion of y in x
12.810 * [taylor]: Taking taylor expansion of (* t z) in x
12.810 * [taylor]: Taking taylor expansion of t in x
12.810 * [taylor]: Taking taylor expansion of z in x
12.810 * [taylor]: Taking taylor expansion of (* -1 (* (pow t 3) (pow z 3))) in y
12.810 * [taylor]: Taking taylor expansion of -1 in y
12.810 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
12.810 * [taylor]: Taking taylor expansion of (pow t 3) in y
12.810 * [taylor]: Taking taylor expansion of t in y
12.810 * [taylor]: Taking taylor expansion of (pow z 3) in y
12.810 * [taylor]: Taking taylor expansion of z in y
12.811 * [taylor]: Taking taylor expansion of (* -1 (* (pow t 3) (pow z 3))) in z
12.811 * [taylor]: Taking taylor expansion of -1 in z
12.811 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
12.811 * [taylor]: Taking taylor expansion of (pow t 3) in z
12.811 * [taylor]: Taking taylor expansion of t in z
12.811 * [taylor]: Taking taylor expansion of (pow z 3) in z
12.811 * [taylor]: Taking taylor expansion of z in z
12.811 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (* (pow z 2) y))) in y
12.811 * [taylor]: Taking taylor expansion of 3 in y
12.811 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y
12.811 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.811 * [taylor]: Taking taylor expansion of t in y
12.811 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
12.811 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.811 * [taylor]: Taking taylor expansion of z in y
12.811 * [taylor]: Taking taylor expansion of y in y
12.812 * [taylor]: Taking taylor expansion of 0 in z
12.812 * [taylor]: Taking taylor expansion of 0 in t
12.812 * [taylor]: Taking taylor expansion of 0 in z
12.812 * [taylor]: Taking taylor expansion of 0 in t
12.813 * [taylor]: Taking taylor expansion of (neg (* 3 (* t (* z (pow y 2))))) in y
12.813 * [taylor]: Taking taylor expansion of (* 3 (* t (* z (pow y 2)))) in y
12.813 * [taylor]: Taking taylor expansion of 3 in y
12.813 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y
12.813 * [taylor]: Taking taylor expansion of t in y
12.813 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
12.813 * [taylor]: Taking taylor expansion of z in y
12.813 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.813 * [taylor]: Taking taylor expansion of y in y
12.813 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (pow z 2))) in z
12.813 * [taylor]: Taking taylor expansion of 3 in z
12.813 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
12.813 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.813 * [taylor]: Taking taylor expansion of t in z
12.813 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.813 * [taylor]: Taking taylor expansion of z in z
12.814 * [taylor]: Taking taylor expansion of 0 in z
12.814 * [taylor]: Taking taylor expansion of 0 in t
12.814 * [taylor]: Taking taylor expansion of 0 in t
12.814 * [taylor]: Taking taylor expansion of 0 in t
12.814 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in (x y z t) around 0
12.814 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in t
12.814 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
12.814 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
12.814 * [taylor]: Taking taylor expansion of (* x y) in t
12.814 * [taylor]: Taking taylor expansion of x in t
12.814 * [taylor]: Taking taylor expansion of y in t
12.814 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.814 * [taylor]: Taking taylor expansion of (* t z) in t
12.814 * [taylor]: Taking taylor expansion of t in t
12.814 * [taylor]: Taking taylor expansion of z in t
12.815 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in z
12.815 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
12.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
12.815 * [taylor]: Taking taylor expansion of (* x y) in z
12.815 * [taylor]: Taking taylor expansion of x in z
12.815 * [taylor]: Taking taylor expansion of y in z
12.815 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.815 * [taylor]: Taking taylor expansion of (* t z) in z
12.815 * [taylor]: Taking taylor expansion of t in z
12.815 * [taylor]: Taking taylor expansion of z in z
12.815 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in y
12.815 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
12.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.815 * [taylor]: Taking taylor expansion of (* x y) in y
12.815 * [taylor]: Taking taylor expansion of x in y
12.815 * [taylor]: Taking taylor expansion of y in y
12.815 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.815 * [taylor]: Taking taylor expansion of (* t z) in y
12.815 * [taylor]: Taking taylor expansion of t in y
12.815 * [taylor]: Taking taylor expansion of z in y
12.815 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in x
12.815 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.815 * [taylor]: Taking taylor expansion of (* x y) in x
12.815 * [taylor]: Taking taylor expansion of x in x
12.815 * [taylor]: Taking taylor expansion of y in x
12.815 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.815 * [taylor]: Taking taylor expansion of (* t z) in x
12.816 * [taylor]: Taking taylor expansion of t in x
12.816 * [taylor]: Taking taylor expansion of z in x
12.816 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in x
12.816 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.816 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.816 * [taylor]: Taking taylor expansion of (* x y) in x
12.816 * [taylor]: Taking taylor expansion of x in x
12.816 * [taylor]: Taking taylor expansion of y in x
12.816 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.816 * [taylor]: Taking taylor expansion of (* t z) in x
12.816 * [taylor]: Taking taylor expansion of t in x
12.816 * [taylor]: Taking taylor expansion of z in x
12.816 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
12.816 * [taylor]: Taking taylor expansion of (pow y 3) in y
12.816 * [taylor]: Taking taylor expansion of y in y
12.816 * [taylor]: Taking taylor expansion of 1 in z
12.817 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* t (* z (pow y 2)))))) in y
12.817 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y
12.817 * [taylor]: Taking taylor expansion of 3 in y
12.817 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y
12.817 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y
12.817 * [taylor]: Taking taylor expansion of t in y
12.817 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
12.817 * [taylor]: Taking taylor expansion of z in y
12.817 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.817 * [taylor]: Taking taylor expansion of y in y
12.817 * [taylor]: Taking taylor expansion of 0 in z
12.818 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y
12.818 * [taylor]: Taking taylor expansion of 3 in y
12.818 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y
12.818 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y
12.818 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.818 * [taylor]: Taking taylor expansion of t in y
12.818 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
12.818 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.818 * [taylor]: Taking taylor expansion of z in y
12.818 * [taylor]: Taking taylor expansion of y in y
12.819 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* t z)))) in z
12.819 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t z))) in z
12.819 * [taylor]: Taking taylor expansion of 3 in z
12.819 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.819 * [taylor]: Taking taylor expansion of (* t z) in z
12.819 * [taylor]: Taking taylor expansion of t in z
12.819 * [taylor]: Taking taylor expansion of z in z
12.819 * [taylor]: Taking taylor expansion of 0 in z
12.821 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 3) (pow z 3)))) in y
12.821 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
12.821 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
12.821 * [taylor]: Taking taylor expansion of (pow t 3) in y
12.821 * [taylor]: Taking taylor expansion of t in y
12.821 * [taylor]: Taking taylor expansion of (pow z 3) in y
12.821 * [taylor]: Taking taylor expansion of z in y
12.821 * [taylor]: Taking taylor expansion of 0 in z
12.821 * [taylor]: Taking taylor expansion of 0 in z
12.821 * [taylor]: Taking taylor expansion of 1 in t
12.822 * [taylor]: Taking taylor expansion of 0 in y
12.823 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z
12.823 * [taylor]: Taking taylor expansion of 3 in z
12.823 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
12.823 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.823 * [taylor]: Taking taylor expansion of t in z
12.823 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.823 * [taylor]: Taking taylor expansion of z in z
12.823 * [taylor]: Taking taylor expansion of 0 in z
12.823 * [taylor]: Taking taylor expansion of 0 in z
12.823 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 t))) in t
12.824 * [taylor]: Taking taylor expansion of (* 3 (/ 1 t)) in t
12.824 * [taylor]: Taking taylor expansion of 3 in t
12.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.824 * [taylor]: Taking taylor expansion of t in t
12.824 * [taylor]: Taking taylor expansion of 0 in t
12.824 * [taylor]: Taking taylor expansion of 0 in t
12.825 * [taylor]: Taking taylor expansion of 0 in y
12.825 * [taylor]: Taking taylor expansion of 0 in z
12.826 * [taylor]: Taking taylor expansion of 0 in z
12.826 * [taylor]: Taking taylor expansion of 0 in z
12.826 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t
12.826 * [taylor]: Taking taylor expansion of 3 in t
12.826 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.826 * [taylor]: Taking taylor expansion of t in t
12.826 * [taylor]: Taking taylor expansion of 0 in t
12.826 * [taylor]: Taking taylor expansion of 0 in t
12.826 * [taylor]: Taking taylor expansion of 0 in t
12.826 * [taylor]: Taking taylor expansion of 0 in t
12.828 * [taylor]: Taking taylor expansion of 0 in y
12.828 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 3) (pow z 3)))) in z
12.828 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
12.828 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
12.828 * [taylor]: Taking taylor expansion of (pow t 3) in z
12.828 * [taylor]: Taking taylor expansion of t in z
12.828 * [taylor]: Taking taylor expansion of (pow z 3) in z
12.828 * [taylor]: Taking taylor expansion of z in z
12.828 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow t 3))) in t
12.828 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
12.828 * [taylor]: Taking taylor expansion of (pow t 3) in t
12.828 * [taylor]: Taking taylor expansion of t in t
12.829 * [taylor]: Taking taylor expansion of 0 in z
12.830 * [taylor]: Taking taylor expansion of 0 in z
12.830 * [taylor]: Taking taylor expansion of 0 in z
12.830 * [taylor]: Taking taylor expansion of 0 in t
12.830 * [taylor]: Taking taylor expansion of 0 in t
12.830 * [taylor]: Taking taylor expansion of 0 in t
12.831 * [taylor]: Taking taylor expansion of 0 in t
12.831 * [taylor]: Taking taylor expansion of 0 in t
12.831 * [taylor]: Taking taylor expansion of 0 in t
12.831 * [taylor]: Taking taylor expansion of 0 in t
12.832 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in (x y z t) around 0
12.832 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in t
12.832 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
12.832 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
12.832 * [taylor]: Taking taylor expansion of (* x y) in t
12.832 * [taylor]: Taking taylor expansion of x in t
12.832 * [taylor]: Taking taylor expansion of y in t
12.832 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.832 * [taylor]: Taking taylor expansion of (* t z) in t
12.832 * [taylor]: Taking taylor expansion of t in t
12.832 * [taylor]: Taking taylor expansion of z in t
12.832 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in z
12.832 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
12.832 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
12.832 * [taylor]: Taking taylor expansion of (* x y) in z
12.832 * [taylor]: Taking taylor expansion of x in z
12.832 * [taylor]: Taking taylor expansion of y in z
12.833 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.833 * [taylor]: Taking taylor expansion of (* t z) in z
12.833 * [taylor]: Taking taylor expansion of t in z
12.833 * [taylor]: Taking taylor expansion of z in z
12.833 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in y
12.833 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
12.833 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.833 * [taylor]: Taking taylor expansion of (* x y) in y
12.833 * [taylor]: Taking taylor expansion of x in y
12.833 * [taylor]: Taking taylor expansion of y in y
12.833 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.833 * [taylor]: Taking taylor expansion of (* t z) in y
12.833 * [taylor]: Taking taylor expansion of t in y
12.833 * [taylor]: Taking taylor expansion of z in y
12.833 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in x
12.833 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.833 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.833 * [taylor]: Taking taylor expansion of (* x y) in x
12.833 * [taylor]: Taking taylor expansion of x in x
12.833 * [taylor]: Taking taylor expansion of y in x
12.833 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.833 * [taylor]: Taking taylor expansion of (* t z) in x
12.833 * [taylor]: Taking taylor expansion of t in x
12.833 * [taylor]: Taking taylor expansion of z in x
12.833 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 (* t z))) 3) in x
12.833 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.833 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.833 * [taylor]: Taking taylor expansion of (* x y) in x
12.833 * [taylor]: Taking taylor expansion of x in x
12.833 * [taylor]: Taking taylor expansion of y in x
12.834 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.834 * [taylor]: Taking taylor expansion of (* t z) in x
12.834 * [taylor]: Taking taylor expansion of t in x
12.834 * [taylor]: Taking taylor expansion of z in x
12.834 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
12.834 * [taylor]: Taking taylor expansion of (pow y 3) in y
12.834 * [taylor]: Taking taylor expansion of y in y
12.834 * [taylor]: Taking taylor expansion of 1 in z
12.834 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* t (* z (pow y 2)))))) in y
12.834 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y
12.835 * [taylor]: Taking taylor expansion of 3 in y
12.835 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y
12.835 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y
12.835 * [taylor]: Taking taylor expansion of t in y
12.835 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
12.835 * [taylor]: Taking taylor expansion of z in y
12.835 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.835 * [taylor]: Taking taylor expansion of y in y
12.835 * [taylor]: Taking taylor expansion of 0 in z
12.836 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y
12.836 * [taylor]: Taking taylor expansion of 3 in y
12.836 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y
12.836 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y
12.836 * [taylor]: Taking taylor expansion of (pow t 2) in y
12.836 * [taylor]: Taking taylor expansion of t in y
12.836 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
12.836 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.836 * [taylor]: Taking taylor expansion of z in y
12.836 * [taylor]: Taking taylor expansion of y in y
12.837 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* t z)))) in z
12.837 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t z))) in z
12.837 * [taylor]: Taking taylor expansion of 3 in z
12.837 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.837 * [taylor]: Taking taylor expansion of (* t z) in z
12.837 * [taylor]: Taking taylor expansion of t in z
12.837 * [taylor]: Taking taylor expansion of z in z
12.837 * [taylor]: Taking taylor expansion of 0 in z
12.838 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 3) (pow z 3)))) in y
12.838 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
12.838 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
12.838 * [taylor]: Taking taylor expansion of (pow t 3) in y
12.838 * [taylor]: Taking taylor expansion of t in y
12.838 * [taylor]: Taking taylor expansion of (pow z 3) in y
12.838 * [taylor]: Taking taylor expansion of z in y
12.838 * [taylor]: Taking taylor expansion of 0 in z
12.839 * [taylor]: Taking taylor expansion of 0 in z
12.839 * [taylor]: Taking taylor expansion of 1 in t
12.840 * [taylor]: Taking taylor expansion of 0 in y
12.840 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z
12.840 * [taylor]: Taking taylor expansion of 3 in z
12.840 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
12.840 * [taylor]: Taking taylor expansion of (pow t 2) in z
12.840 * [taylor]: Taking taylor expansion of t in z
12.840 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.840 * [taylor]: Taking taylor expansion of z in z
12.840 * [taylor]: Taking taylor expansion of 0 in z
12.840 * [taylor]: Taking taylor expansion of 0 in z
12.841 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 t))) in t
12.841 * [taylor]: Taking taylor expansion of (* 3 (/ 1 t)) in t
12.841 * [taylor]: Taking taylor expansion of 3 in t
12.841 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.841 * [taylor]: Taking taylor expansion of t in t
12.841 * [taylor]: Taking taylor expansion of 0 in t
12.841 * [taylor]: Taking taylor expansion of 0 in t
12.842 * [taylor]: Taking taylor expansion of 0 in y
12.842 * [taylor]: Taking taylor expansion of 0 in z
12.843 * [taylor]: Taking taylor expansion of 0 in z
12.843 * [taylor]: Taking taylor expansion of 0 in z
12.843 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t
12.843 * [taylor]: Taking taylor expansion of 3 in t
12.843 * [taylor]: Taking taylor expansion of (pow t 2) in t
12.843 * [taylor]: Taking taylor expansion of t in t
12.843 * [taylor]: Taking taylor expansion of 0 in t
12.843 * [taylor]: Taking taylor expansion of 0 in t
12.843 * [taylor]: Taking taylor expansion of 0 in t
12.844 * [taylor]: Taking taylor expansion of 0 in t
12.845 * [taylor]: Taking taylor expansion of 0 in y
12.845 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow t 3) (pow z 3)))) in z
12.845 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
12.845 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
12.845 * [taylor]: Taking taylor expansion of (pow t 3) in z
12.845 * [taylor]: Taking taylor expansion of t in z
12.845 * [taylor]: Taking taylor expansion of (pow z 3) in z
12.845 * [taylor]: Taking taylor expansion of z in z
12.846 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow t 3))) in t
12.846 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
12.846 * [taylor]: Taking taylor expansion of (pow t 3) in t
12.846 * [taylor]: Taking taylor expansion of t in t
12.846 * [taylor]: Taking taylor expansion of 0 in z
12.847 * [taylor]: Taking taylor expansion of 0 in z
12.847 * [taylor]: Taking taylor expansion of 0 in z
12.848 * [taylor]: Taking taylor expansion of 0 in t
12.848 * [taylor]: Taking taylor expansion of 0 in t
12.848 * [taylor]: Taking taylor expansion of 0 in t
12.848 * [taylor]: Taking taylor expansion of 0 in t
12.848 * [taylor]: Taking taylor expansion of 0 in t
12.848 * [taylor]: Taking taylor expansion of 0 in t
12.848 * [taylor]: Taking taylor expansion of 0 in t
12.849 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
12.849 * [approximate]: Taking taylor expansion of (- (* x y) (* t z)) in (x y z t) around 0
12.850 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t
12.850 * [taylor]: Taking taylor expansion of (* x y) in t
12.850 * [taylor]: Taking taylor expansion of x in t
12.850 * [taylor]: Taking taylor expansion of y in t
12.850 * [taylor]: Taking taylor expansion of (* t z) in t
12.850 * [taylor]: Taking taylor expansion of t in t
12.850 * [taylor]: Taking taylor expansion of z in t
12.850 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z
12.850 * [taylor]: Taking taylor expansion of (* x y) in z
12.850 * [taylor]: Taking taylor expansion of x in z
12.850 * [taylor]: Taking taylor expansion of y in z
12.850 * [taylor]: Taking taylor expansion of (* t z) in z
12.850 * [taylor]: Taking taylor expansion of t in z
12.850 * [taylor]: Taking taylor expansion of z in z
12.850 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y
12.850 * [taylor]: Taking taylor expansion of (* x y) in y
12.850 * [taylor]: Taking taylor expansion of x in y
12.850 * [taylor]: Taking taylor expansion of y in y
12.850 * [taylor]: Taking taylor expansion of (* t z) in y
12.850 * [taylor]: Taking taylor expansion of t in y
12.850 * [taylor]: Taking taylor expansion of z in y
12.850 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
12.850 * [taylor]: Taking taylor expansion of (* x y) in x
12.850 * [taylor]: Taking taylor expansion of x in x
12.850 * [taylor]: Taking taylor expansion of y in x
12.850 * [taylor]: Taking taylor expansion of (* t z) in x
12.850 * [taylor]: Taking taylor expansion of t in x
12.850 * [taylor]: Taking taylor expansion of z in x
12.850 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x
12.850 * [taylor]: Taking taylor expansion of (* x y) in x
12.850 * [taylor]: Taking taylor expansion of x in x
12.850 * [taylor]: Taking taylor expansion of y in x
12.850 * [taylor]: Taking taylor expansion of (* t z) in x
12.850 * [taylor]: Taking taylor expansion of t in x
12.850 * [taylor]: Taking taylor expansion of z in x
12.850 * [taylor]: Taking taylor expansion of (neg (* t z)) in y
12.850 * [taylor]: Taking taylor expansion of (* t z) in y
12.850 * [taylor]: Taking taylor expansion of t in y
12.850 * [taylor]: Taking taylor expansion of z in y
12.850 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
12.850 * [taylor]: Taking taylor expansion of (* t z) in z
12.850 * [taylor]: Taking taylor expansion of t in z
12.850 * [taylor]: Taking taylor expansion of z in z
12.850 * [taylor]: Taking taylor expansion of 0 in t
12.851 * [taylor]: Taking taylor expansion of y in y
12.851 * [taylor]: Taking taylor expansion of 0 in z
12.851 * [taylor]: Taking taylor expansion of 0 in t
12.851 * [taylor]: Taking taylor expansion of 0 in z
12.851 * [taylor]: Taking taylor expansion of 0 in t
12.851 * [taylor]: Taking taylor expansion of (neg t) in t
12.851 * [taylor]: Taking taylor expansion of t in t
12.851 * [taylor]: Taking taylor expansion of 0 in y
12.851 * [taylor]: Taking taylor expansion of 0 in z
12.851 * [taylor]: Taking taylor expansion of 0 in t
12.851 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
12.851 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
12.851 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
12.851 * [taylor]: Taking taylor expansion of (* x y) in t
12.851 * [taylor]: Taking taylor expansion of x in t
12.851 * [taylor]: Taking taylor expansion of y in t
12.851 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.851 * [taylor]: Taking taylor expansion of (* t z) in t
12.851 * [taylor]: Taking taylor expansion of t in t
12.851 * [taylor]: Taking taylor expansion of z in t
12.851 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
12.851 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
12.851 * [taylor]: Taking taylor expansion of (* x y) in z
12.852 * [taylor]: Taking taylor expansion of x in z
12.852 * [taylor]: Taking taylor expansion of y in z
12.852 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.852 * [taylor]: Taking taylor expansion of (* t z) in z
12.852 * [taylor]: Taking taylor expansion of t in z
12.852 * [taylor]: Taking taylor expansion of z in z
12.852 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
12.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.852 * [taylor]: Taking taylor expansion of (* x y) in y
12.852 * [taylor]: Taking taylor expansion of x in y
12.852 * [taylor]: Taking taylor expansion of y in y
12.852 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.852 * [taylor]: Taking taylor expansion of (* t z) in y
12.852 * [taylor]: Taking taylor expansion of t in y
12.852 * [taylor]: Taking taylor expansion of z in y
12.852 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.852 * [taylor]: Taking taylor expansion of (* x y) in x
12.852 * [taylor]: Taking taylor expansion of x in x
12.852 * [taylor]: Taking taylor expansion of y in x
12.852 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.852 * [taylor]: Taking taylor expansion of (* t z) in x
12.852 * [taylor]: Taking taylor expansion of t in x
12.852 * [taylor]: Taking taylor expansion of z in x
12.852 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.852 * [taylor]: Taking taylor expansion of (* x y) in x
12.852 * [taylor]: Taking taylor expansion of x in x
12.852 * [taylor]: Taking taylor expansion of y in x
12.852 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.852 * [taylor]: Taking taylor expansion of (* t z) in x
12.852 * [taylor]: Taking taylor expansion of t in x
12.852 * [taylor]: Taking taylor expansion of z in x
12.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.853 * [taylor]: Taking taylor expansion of y in y
12.853 * [taylor]: Taking taylor expansion of 1 in z
12.853 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
12.853 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.853 * [taylor]: Taking taylor expansion of (* t z) in y
12.853 * [taylor]: Taking taylor expansion of t in y
12.853 * [taylor]: Taking taylor expansion of z in y
12.853 * [taylor]: Taking taylor expansion of 0 in z
12.853 * [taylor]: Taking taylor expansion of 1 in t
12.853 * [taylor]: Taking taylor expansion of 0 in y
12.853 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
12.853 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.853 * [taylor]: Taking taylor expansion of (* t z) in z
12.853 * [taylor]: Taking taylor expansion of t in z
12.853 * [taylor]: Taking taylor expansion of z in z
12.854 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
12.854 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.854 * [taylor]: Taking taylor expansion of t in t
12.854 * [taylor]: Taking taylor expansion of 0 in z
12.854 * [taylor]: Taking taylor expansion of 0 in t
12.854 * [taylor]: Taking taylor expansion of 0 in t
12.854 * [taylor]: Taking taylor expansion of 0 in y
12.854 * [taylor]: Taking taylor expansion of 0 in z
12.854 * [taylor]: Taking taylor expansion of 0 in z
12.854 * [taylor]: Taking taylor expansion of 0 in z
12.854 * [taylor]: Taking taylor expansion of 0 in t
12.855 * [taylor]: Taking taylor expansion of 0 in t
12.855 * [taylor]: Taking taylor expansion of 0 in t
12.855 * [taylor]: Taking taylor expansion of 0 in t
12.855 * [taylor]: Taking taylor expansion of 0 in y
12.855 * [taylor]: Taking taylor expansion of 0 in z
12.855 * [taylor]: Taking taylor expansion of 0 in z
12.855 * [taylor]: Taking taylor expansion of 0 in z
12.855 * [taylor]: Taking taylor expansion of 0 in z
12.855 * [taylor]: Taking taylor expansion of 0 in t
12.855 * [taylor]: Taking taylor expansion of 0 in t
12.855 * [taylor]: Taking taylor expansion of 0 in t
12.856 * [taylor]: Taking taylor expansion of 0 in t
12.856 * [taylor]: Taking taylor expansion of 0 in t
12.856 * [taylor]: Taking taylor expansion of 0 in t
12.856 * [taylor]: Taking taylor expansion of 0 in t
12.856 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0
12.856 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t
12.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
12.856 * [taylor]: Taking taylor expansion of (* x y) in t
12.856 * [taylor]: Taking taylor expansion of x in t
12.856 * [taylor]: Taking taylor expansion of y in t
12.856 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
12.856 * [taylor]: Taking taylor expansion of (* t z) in t
12.856 * [taylor]: Taking taylor expansion of t in t
12.856 * [taylor]: Taking taylor expansion of z in t
12.856 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z
12.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
12.856 * [taylor]: Taking taylor expansion of (* x y) in z
12.857 * [taylor]: Taking taylor expansion of x in z
12.857 * [taylor]: Taking taylor expansion of y in z
12.857 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.857 * [taylor]: Taking taylor expansion of (* t z) in z
12.857 * [taylor]: Taking taylor expansion of t in z
12.857 * [taylor]: Taking taylor expansion of z in z
12.857 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y
12.857 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.857 * [taylor]: Taking taylor expansion of (* x y) in y
12.857 * [taylor]: Taking taylor expansion of x in y
12.857 * [taylor]: Taking taylor expansion of y in y
12.857 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.857 * [taylor]: Taking taylor expansion of (* t z) in y
12.857 * [taylor]: Taking taylor expansion of t in y
12.857 * [taylor]: Taking taylor expansion of z in y
12.857 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.857 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.857 * [taylor]: Taking taylor expansion of (* x y) in x
12.857 * [taylor]: Taking taylor expansion of x in x
12.857 * [taylor]: Taking taylor expansion of y in x
12.857 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.857 * [taylor]: Taking taylor expansion of (* t z) in x
12.857 * [taylor]: Taking taylor expansion of t in x
12.857 * [taylor]: Taking taylor expansion of z in x
12.857 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x
12.857 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.857 * [taylor]: Taking taylor expansion of (* x y) in x
12.857 * [taylor]: Taking taylor expansion of x in x
12.857 * [taylor]: Taking taylor expansion of y in x
12.857 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
12.857 * [taylor]: Taking taylor expansion of (* t z) in x
12.857 * [taylor]: Taking taylor expansion of t in x
12.857 * [taylor]: Taking taylor expansion of z in x
12.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.858 * [taylor]: Taking taylor expansion of y in y
12.858 * [taylor]: Taking taylor expansion of 1 in z
12.858 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in y
12.858 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
12.858 * [taylor]: Taking taylor expansion of (* t z) in y
12.858 * [taylor]: Taking taylor expansion of t in y
12.858 * [taylor]: Taking taylor expansion of z in y
12.858 * [taylor]: Taking taylor expansion of 0 in z
12.858 * [taylor]: Taking taylor expansion of 1 in t
12.858 * [taylor]: Taking taylor expansion of 0 in y
12.858 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
12.858 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
12.858 * [taylor]: Taking taylor expansion of (* t z) in z
12.858 * [taylor]: Taking taylor expansion of t in z
12.858 * [taylor]: Taking taylor expansion of z in z
12.859 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
12.859 * [taylor]: Taking taylor expansion of (/ 1 t) in t
12.859 * [taylor]: Taking taylor expansion of t in t
12.859 * [taylor]: Taking taylor expansion of 0 in z
12.859 * [taylor]: Taking taylor expansion of 0 in t
12.859 * [taylor]: Taking taylor expansion of 0 in t
12.859 * [taylor]: Taking taylor expansion of 0 in y
12.859 * [taylor]: Taking taylor expansion of 0 in z
12.859 * [taylor]: Taking taylor expansion of 0 in z
12.859 * [taylor]: Taking taylor expansion of 0 in z
12.860 * [taylor]: Taking taylor expansion of 0 in t
12.860 * [taylor]: Taking taylor expansion of 0 in t
12.860 * [taylor]: Taking taylor expansion of 0 in t
12.860 * [taylor]: Taking taylor expansion of 0 in t
12.860 * [taylor]: Taking taylor expansion of 0 in y
12.860 * [taylor]: Taking taylor expansion of 0 in z
12.860 * [taylor]: Taking taylor expansion of 0 in z
12.860 * [taylor]: Taking taylor expansion of 0 in z
12.860 * [taylor]: Taking taylor expansion of 0 in z
12.860 * [taylor]: Taking taylor expansion of 0 in t
12.860 * [taylor]: Taking taylor expansion of 0 in t
12.861 * [taylor]: Taking taylor expansion of 0 in t
12.861 * [taylor]: Taking taylor expansion of 0 in t
12.861 * [taylor]: Taking taylor expansion of 0 in t
12.861 * [taylor]: Taking taylor expansion of 0 in t
12.861 * [taylor]: Taking taylor expansion of 0 in t
12.861 * * * [progress]: simplifying candidates
12.862 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (pow (- (* x y) (* z t)) 3)))
  (exp (cbrt (pow (- (* x y) (* z t)) 3)))
  (cbrt (pow (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) 3))
  (cbrt (pow (cbrt (- (* x y) (* z t))) 3))
  (cbrt (pow (sqrt (- (* x y) (* z t))) 3))
  (cbrt (pow (sqrt (- (* x y) (* z t))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (* x y) (* z t)) 3))
  (cbrt (* (- (* x y) (* z t)) (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (cbrt (* (cbrt (pow (- (* x y) (* z t)) 3)) (cbrt (pow (- (* x y) (* z t)) 3))))
  (cbrt (cbrt (pow (- (* x y) (* z t)) 3)))
  (cbrt (pow (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) 3))
  (cbrt (pow (cbrt (- (* x y) (* z t))) 3))
  (cbrt (pow (sqrt (- (* x y) (* z t))) 3))
  (cbrt (pow (sqrt (- (* x y) (* z t))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (* x y) (* z t)) 3))
  (cbrt (- (* x y) (* z t)))
  (cbrt (* (- (* x y) (* z t)) (- (* x y) (* z t))))
  (cbrt (sqrt (pow (- (* x y) (* z t)) 3)))
  (cbrt (sqrt (pow (- (* x y) (* z t)) 3)))
  (cbrt 1)
  (cbrt (pow (- (* x y) (* z t)) 3))
  (cbrt (pow (- (* x y) (* z t)) (/ 3 2)))
  (cbrt (pow (- (* x y) (* z t)) (/ 3 2)))
  (cbrt (pow (- (pow (* x y) 3) (pow (* z t) 3)) 3))
  (cbrt (pow (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) 3))
  (cbrt (pow (- (* (* x y) (* x y)) (* (* z t) (* z t))) 3))
  (cbrt (pow (+ (* x y) (* z t)) 3))
  (* (cbrt (cbrt (pow (- (* x y) (* z t)) 3))) (cbrt (cbrt (pow (- (* x y) (* z t)) 3))))
  (cbrt (cbrt (pow (- (* x y) (* z t)) 3)))
  (* (* (cbrt (pow (- (* x y) (* z t)) 3)) (cbrt (pow (- (* x y) (* z t)) 3))) (cbrt (pow (- (* x y) (* z t)) 3)))
  (sqrt (cbrt (pow (- (* x y) (* z t)) 3)))
  (sqrt (cbrt (pow (- (* x y) (* z t)) 3)))
  (* (log (- (* x y) (* z t))) 3)
  (* (log (- (* x y) (* z t))) 3)
  (* 1 3)
  (pow (- (* x y) (* z t)) (* (cbrt 3) (cbrt 3)))
  (pow (- (* x y) (* z t)) (sqrt 3))
  (pow (- (* x y) (* z t)) 1)
  (pow (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) 3)
  (pow (cbrt (- (* x y) (* z t))) 3)
  (pow (sqrt (- (* x y) (* z t))) 3)
  (pow (sqrt (- (* x y) (* z t))) 3)
  (pow 1 3)
  (pow (- (* x y) (* z t)) 3)
  (* (- (* x y) (* z t)) (- (* x y) (* z t)))
  (log (pow (- (* x y) (* z t)) 3))
  (exp (pow (- (* x y) (* z t)) 3))
  (* (cbrt (pow (- (* x y) (* z t)) 3)) (cbrt (pow (- (* x y) (* z t)) 3)))
  (cbrt (pow (- (* x y) (* z t)) 3))
  (* (* (pow (- (* x y) (* z t)) 3) (pow (- (* x y) (* z t)) 3)) (pow (- (* x y) (* z t)) 3))
  (pow (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) 3)
  (pow (cbrt (- (* x y) (* z t))) 3)
  (pow (sqrt (- (* x y) (* z t))) 3)
  (pow (sqrt (- (* x y) (* z t))) 3)
  (pow 1 3)
  (pow (- (* x y) (* z t)) 3)
  (pow (- (pow (* x y) 3) (pow (* z t) 3)) 3)
  (pow (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) 3)
  (pow (- (* (* x y) (* x y)) (* (* z t) (* z t))) 3)
  (pow (+ (* x y) (* z t)) 3)
  (* (- (* x y) (* z t)) (- (* x y) (* z t)))
  (sqrt (pow (- (* x y) (* z t)) 3))
  (sqrt (pow (- (* x y) (* z t)) 3))
  (pow (- (* x y) (* z t)) (/ 3 2))
  (pow (- (* x y) (* z t)) (/ 3 2))
  (/ (exp (* x y)) (exp (* z t)))
  (log (- (* x y) (* z t)))
  (exp (- (* x y) (* z t)))
  (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (* (* (- (* x y) (* z t)) (- (* x y) (* z t))) (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t))))
  (neg (* z t))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (+ (* x y) (* z t))
  (neg (* z t))
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
  0
  (- (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (+ (* (pow t 3) (pow z 3)) (* 3 (* t (* (pow x 2) (* z (pow y 2)))))))
  (- (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (+ (* (pow t 3) (pow z 3)) (* 3 (* t (* (pow x 2) (* z (pow y 2)))))))
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
12.863 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
12.864 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
12.867 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
12.880 * * [simplify]: iteration  3 :  144  enodes  (cost  8 )
12.925 * * [simplify]: iteration  4 :  544  enodes  (cost  8 )
13.323 * * [simplify]: iteration  5 :  2015  enodes  (cost  8 )
15.039 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
15.040 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
15.041 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
15.044 * * [simplify]: iteration  2 :  53  enodes  (cost  8 )
15.054 * * [simplify]: iteration  3 :  166  enodes  (cost  8 )
15.105 * * [simplify]: iteration  4 :  596  enodes  (cost  8 )
15.505 * * [simplify]: iteration  5 :  2181  enodes  (cost  8 )
17.165 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
17.165 * * [simplify]: iteration  0 :  12  enodes  (cost  20 )
17.171 * * [simplify]: iteration  1 :  26  enodes  (cost  17 )
17.174 * * [simplify]: iteration  2 :  54  enodes  (cost  11 )
17.183 * * [simplify]: iteration  3 :  99  enodes  (cost  11 )
17.205 * * [simplify]: iteration  4 :  276  enodes  (cost  11 )
17.324 * * [simplify]: iteration  5 :  884  enodes  (cost  10 )
18.037 * * [simplify]: iteration  6 :  2738  enodes  (cost  10 )
19.476 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
19.477 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
19.479 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
19.481 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
19.486 * * [simplify]: iteration  3 :  46  enodes  (cost  8 )
19.491 * * [simplify]: iteration  4 :  69  enodes  (cost  8 )
19.508 * * [simplify]: iteration  5 :  132  enodes  (cost  8 )
19.559 * * [simplify]: iteration  6 :  339  enodes  (cost  8 )
20.024 * * [simplify]: iteration  7 :  1273  enodes  (cost  8 )
22.376 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
22.377 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
22.379 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
22.381 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
22.386 * * [simplify]: iteration  3 :  55  enodes  (cost  8 )
22.394 * * [simplify]: iteration  4 :  106  enodes  (cost  8 )
22.413 * * [simplify]: iteration  5 :  184  enodes  (cost  8 )
22.479 * * [simplify]: iteration  6 :  410  enodes  (cost  8 )
22.965 * * [simplify]: iteration  7 :  1339  enodes  (cost  8 )
25.338 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
25.339 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
25.341 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
25.343 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
25.348 * * [simplify]: iteration  3 :  55  enodes  (cost  8 )
25.356 * * [simplify]: iteration  4 :  106  enodes  (cost  8 )
25.377 * * [simplify]: iteration  5 :  184  enodes  (cost  8 )
25.439 * * [simplify]: iteration  6 :  410  enodes  (cost  8 )
25.909 * * [simplify]: iteration  7 :  1339  enodes  (cost  8 )
28.291 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
28.292 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
28.293 * * [simplify]: iteration  1 :  14  enodes  (cost  1 )
28.294 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
28.294 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
28.295 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
28.296 * * [simplify]: iteration  1 :  22  enodes  (cost  7 )
28.299 * * [simplify]: iteration  2 :  47  enodes  (cost  7 )
28.307 * * [simplify]: iteration  3 :  143  enodes  (cost  7 )
28.355 * * [simplify]: iteration  4 :  543  enodes  (cost  7 )
28.745 * * [simplify]: iteration  5 :  2042  enodes  (cost  7 )
30.511 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
30.512 * * [simplify]: iteration  0 :  9  enodes  (cost  16 )
30.513 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
30.515 * * [simplify]: iteration  2 :  26  enodes  (cost  16 )
30.524 * * [simplify]: iteration  3 :  67  enodes  (cost  16 )
30.538 * * [simplify]: iteration  4 :  196  enodes  (cost  16 )
30.602 * * [simplify]: iteration  5 :  431  enodes  (cost  16 )
30.974 * * [simplify]: iteration  6 :  732  enodes  (cost  16 )
31.604 * * [simplify]: iteration  7 :  1617  enodes  (cost  16 )
33.212 * * [simplify]: iteration  8 :  2773  enodes  (cost  16 )
38.814 * * [simplify]: iteration  9 :  4688  enodes  (cost  16 )
40.798 * * [simplify]: iteration  done :  5000  enodes  (cost  16 )
40.799 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
40.799 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
40.801 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
40.804 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
40.804 * * [simplify]: iteration  0 :  12  enodes  (cost  22 )
40.806 * * [simplify]: iteration  1 :  23  enodes  (cost  16 )
40.813 * * [simplify]: iteration  2 :  48  enodes  (cost  16 )
40.821 * * [simplify]: iteration  3 :  144  enodes  (cost  16 )
40.869 * * [simplify]: iteration  4 :  546  enodes  (cost  16 )
41.257 * * [simplify]: iteration  5 :  2031  enodes  (cost  16 )
42.974 * * [simplify]: iteration  done :  5001  enodes  (cost  16 )
42.975 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
42.976 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
42.979 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
42.988 * * [simplify]: iteration  3 :  144  enodes  (cost  8 )
43.035 * * [simplify]: iteration  4 :  544  enodes  (cost  8 )
43.423 * * [simplify]: iteration  5 :  2015  enodes  (cost  8 )
45.145 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
45.146 * * [simplify]: iteration  0 :  12  enodes  (cost  20 )
45.147 * * [simplify]: iteration  1 :  26  enodes  (cost  17 )
45.151 * * [simplify]: iteration  2 :  54  enodes  (cost  11 )
45.166 * * [simplify]: iteration  3 :  99  enodes  (cost  11 )
45.187 * * [simplify]: iteration  4 :  276  enodes  (cost  11 )
45.307 * * [simplify]: iteration  5 :  884  enodes  (cost  10 )
46.020 * * [simplify]: iteration  6 :  2738  enodes  (cost  10 )
47.454 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
47.455 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
47.461 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
47.464 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
47.468 * * [simplify]: iteration  3 :  46  enodes  (cost  8 )
47.473 * * [simplify]: iteration  4 :  69  enodes  (cost  8 )
47.491 * * [simplify]: iteration  5 :  132  enodes  (cost  8 )
47.540 * * [simplify]: iteration  6 :  339  enodes  (cost  8 )
47.999 * * [simplify]: iteration  7 :  1273  enodes  (cost  8 )
50.381 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
50.382 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
50.383 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
50.386 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
50.390 * * [simplify]: iteration  3 :  55  enodes  (cost  8 )
50.398 * * [simplify]: iteration  4 :  106  enodes  (cost  8 )
50.417 * * [simplify]: iteration  5 :  184  enodes  (cost  8 )
50.484 * * [simplify]: iteration  6 :  410  enodes  (cost  8 )
50.959 * * [simplify]: iteration  7 :  1339  enodes  (cost  8 )
53.382 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
53.382 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
53.384 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
53.387 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
53.391 * * [simplify]: iteration  3 :  55  enodes  (cost  8 )
53.399 * * [simplify]: iteration  4 :  106  enodes  (cost  8 )
53.418 * * [simplify]: iteration  5 :  184  enodes  (cost  8 )
53.484 * * [simplify]: iteration  6 :  410  enodes  (cost  8 )
53.962 * * [simplify]: iteration  7 :  1339  enodes  (cost  8 )
56.610 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
56.611 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
56.612 * * [simplify]: iteration  1 :  14  enodes  (cost  1 )
56.613 * * [simplify]: iteration  2 :  18  enodes  (cost  1 )
56.613 * * [simplify]: iteration  done :  18  enodes  (cost  1 )
56.614 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
56.615 * * [simplify]: iteration  1 :  22  enodes  (cost  7 )
56.618 * * [simplify]: iteration  2 :  47  enodes  (cost  7 )
56.626 * * [simplify]: iteration  3 :  143  enodes  (cost  7 )
56.674 * * [simplify]: iteration  4 :  543  enodes  (cost  7 )
57.069 * * [simplify]: iteration  5 :  2042  enodes  (cost  7 )
58.837 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
58.838 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
58.839 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
58.840 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
58.842 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
58.843 * * [simplify]: iteration  0 :  9  enodes  (cost  16 )
58.844 * * [simplify]: iteration  1 :  13  enodes  (cost  16 )
58.846 * * [simplify]: iteration  2 :  26  enodes  (cost  16 )
58.855 * * [simplify]: iteration  3 :  67  enodes  (cost  16 )
58.870 * * [simplify]: iteration  4 :  196  enodes  (cost  16 )
58.933 * * [simplify]: iteration  5 :  431  enodes  (cost  16 )
59.108 * * [simplify]: iteration  6 :  732  enodes  (cost  16 )
59.730 * * [simplify]: iteration  7 :  1617  enodes  (cost  16 )
61.318 * * [simplify]: iteration  8 :  2773  enodes  (cost  16 )
66.917 * * [simplify]: iteration  9 :  4688  enodes  (cost  16 )
68.871 * * [simplify]: iteration  done :  5000  enodes  (cost  16 )
68.872 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
68.873 * * [simplify]: iteration  1 :  23  enodes  (cost  11 )
68.876 * * [simplify]: iteration  2 :  49  enodes  (cost  11 )
68.888 * * [simplify]: iteration  3 :  145  enodes  (cost  11 )
68.933 * * [simplify]: iteration  4 :  547  enodes  (cost  11 )
69.327 * * [simplify]: iteration  5 :  2054  enodes  (cost  11 )
71.051 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
71.051 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
71.053 * * [simplify]: iteration  1 :  23  enodes  (cost  11 )
71.061 * * [simplify]: iteration  2 :  49  enodes  (cost  11 )
71.069 * * [simplify]: iteration  3 :  145  enodes  (cost  11 )
71.117 * * [simplify]: iteration  4 :  547  enodes  (cost  11 )
71.505 * * [simplify]: iteration  5 :  2054  enodes  (cost  11 )
73.225 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
73.225 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
73.226 * * [simplify]: iteration  1 :  4  enodes  (cost  1 )
73.226 * * [simplify]: iteration  done :  4  enodes  (cost  1 )
73.230 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
73.232 * * [simplify]: iteration  1 :  22  enodes  (cost  7 )
73.235 * * [simplify]: iteration  2 :  47  enodes  (cost  7 )
73.243 * * [simplify]: iteration  3 :  143  enodes  (cost  7 )
73.290 * * [simplify]: iteration  4 :  543  enodes  (cost  7 )
73.687 * * [simplify]: iteration  5 :  2042  enodes  (cost  7 )
75.446 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
75.446 * * [simplify]: iteration  0 :  12  enodes  (cost  12 )
75.448 * * [simplify]: iteration  1 :  20  enodes  (cost  10 )
75.450 * * [simplify]: iteration  2 :  33  enodes  (cost  10 )
75.454 * * [simplify]: iteration  3 :  47  enodes  (cost  10 )
75.460 * * [simplify]: iteration  4 :  75  enodes  (cost  10 )
75.471 * * [simplify]: iteration  5 :  131  enodes  (cost  10 )
75.518 * * [simplify]: iteration  6 :  347  enodes  (cost  10 )
75.972 * * [simplify]: iteration  7 :  1276  enodes  (cost  10 )
78.314 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
78.315 * * [simplify]: iteration  0 :  12  enodes  (cost  12 )
78.316 * * [simplify]: iteration  1 :  20  enodes  (cost  10 )
78.319 * * [simplify]: iteration  2 :  33  enodes  (cost  10 )
78.323 * * [simplify]: iteration  3 :  47  enodes  (cost  10 )
78.333 * * [simplify]: iteration  4 :  75  enodes  (cost  10 )
78.343 * * [simplify]: iteration  5 :  131  enodes  (cost  10 )
78.392 * * [simplify]: iteration  6 :  347  enodes  (cost  10 )
79.062 * * [simplify]: iteration  7 :  1276  enodes  (cost  10 )
81.436 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
81.437 * * [simplify]: iteration  0 :  12  enodes  (cost  14 )
81.439 * * [simplify]: iteration  1 :  40  enodes  (cost  11 )
81.446 * * [simplify]: iteration  2 :  139  enodes  (cost  11 )
81.494 * * [simplify]: iteration  3 :  604  enodes  (cost  11 )
82.176 * * [simplify]: iteration  4 :  4621  enodes  (cost  11 )
84.837 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
84.837 * * [simplify]: iteration  0 :  14  enodes  (cost  26 )
84.840 * * [simplify]: iteration  1 :  49  enodes  (cost  19 )
84.849 * * [simplify]: iteration  2 :  140  enodes  (cost  19 )
84.897 * * [simplify]: iteration  3 :  527  enodes  (cost  19 )
85.375 * * [simplify]: iteration  4 :  3919  enodes  (cost  19 )
87.874 * * [simplify]: iteration  done :  5001  enodes  (cost  19 )
87.874 * * [simplify]: iteration  0 :  12  enodes  (cost  18 )
87.876 * * [simplify]: iteration  1 :  41  enodes  (cost  15 )
87.884 * * [simplify]: iteration  2 :  114  enodes  (cost  15 )
87.922 * * [simplify]: iteration  3 :  454  enodes  (cost  15 )
88.307 * * [simplify]: iteration  4 :  3397  enodes  (cost  15 )
89.888 * * [simplify]: iteration  done :  5001  enodes  (cost  15 )
89.889 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
89.890 * * [simplify]: iteration  1 :  21  enodes  (cost  7 )
89.893 * * [simplify]: iteration  2 :  43  enodes  (cost  7 )
89.901 * * [simplify]: iteration  3 :  117  enodes  (cost  7 )
89.938 * * [simplify]: iteration  4 :  382  enodes  (cost  7 )
90.143 * * [simplify]: iteration  5 :  1184  enodes  (cost  7 )
91.058 * * [simplify]: iteration  6 :  3116  enodes  (cost  7 )
92.880 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
92.881 * * [simplify]: iteration  0 :  12  enodes  (cost  23 )
92.883 * * [simplify]: iteration  1 :  24  enodes  (cost  17 )
92.886 * * [simplify]: iteration  2 :  49  enodes  (cost  17 )
92.894 * * [simplify]: iteration  3 :  145  enodes  (cost  17 )
92.943 * * [simplify]: iteration  4 :  547  enodes  (cost  17 )
93.337 * * [simplify]: iteration  5 :  2022  enodes  (cost  17 )
95.316 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
95.317 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
95.319 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
95.321 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
95.330 * * [simplify]: iteration  3 :  144  enodes  (cost  8 )
95.379 * * [simplify]: iteration  4 :  544  enodes  (cost  8 )
95.775 * * [simplify]: iteration  5 :  2015  enodes  (cost  8 )
97.491 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
97.492 * * [simplify]: iteration  0 :  12  enodes  (cost  32 )
97.494 * * [simplify]: iteration  1 :  22  enodes  (cost  9 )
97.497 * * [simplify]: iteration  2 :  47  enodes  (cost  9 )
97.505 * * [simplify]: iteration  3 :  143  enodes  (cost  9 )
97.554 * * [simplify]: iteration  4 :  543  enodes  (cost  9 )
97.952 * * [simplify]: iteration  5 :  2030  enodes  (cost  9 )
99.723 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
99.724 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
99.725 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
99.728 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
99.736 * * [simplify]: iteration  3 :  144  enodes  (cost  8 )
99.785 * * [simplify]: iteration  4 :  544  enodes  (cost  8 )
100.178 * * [simplify]: iteration  5 :  2015  enodes  (cost  8 )
101.901 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
101.902 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
101.903 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
101.906 * * [simplify]: iteration  2 :  48  enodes  (cost  8 )
101.914 * * [simplify]: iteration  3 :  144  enodes  (cost  8 )
101.964 * * [simplify]: iteration  4 :  544  enodes  (cost  8 )
102.359 * * [simplify]: iteration  5 :  2015  enodes  (cost  8 )
104.091 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
104.091 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
104.093 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
104.095 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
104.097 * * [simplify]: iteration  done :  22  enodes  (cost  10 )
104.098 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
104.103 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
104.105 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
104.108 * * [simplify]: iteration  done :  22  enodes  (cost  10 )
104.108 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
104.109 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
104.109 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
104.109 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
104.111 * * [simplify]: iteration  1 :  19  enodes  (cost  13 )
104.113 * * [simplify]: iteration  2 :  33  enodes  (cost  13 )
104.118 * * [simplify]: iteration  3 :  57  enodes  (cost  13 )
104.126 * * [simplify]: iteration  4 :  113  enodes  (cost  13 )
104.166 * * [simplify]: iteration  5 :  268  enodes  (cost  13 )
104.398 * * [simplify]: iteration  6 :  885  enodes  (cost  13 )
106.208 * * [simplify]: iteration  7 :  3351  enodes  (cost  13 )
107.543 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
107.544 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
107.545 * * [simplify]: iteration  1 :  18  enodes  (cost  10 )
107.547 * * [simplify]: iteration  2 :  30  enodes  (cost  10 )
107.551 * * [simplify]: iteration  3 :  48  enodes  (cost  10 )
107.563 * * [simplify]: iteration  4 :  89  enodes  (cost  10 )
107.586 * * [simplify]: iteration  5 :  202  enodes  (cost  10 )
107.686 * * [simplify]: iteration  6 :  582  enodes  (cost  10 )
108.510 * * [simplify]: iteration  7 :  2174  enodes  (cost  10 )
110.750 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
110.750 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
110.751 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
110.753 * * [simplify]: iteration  2 :  34  enodes  (cost  7 )
110.757 * * [simplify]: iteration  3 :  45  enodes  (cost  7 )
110.766 * * [simplify]: iteration  4 :  69  enodes  (cost  7 )
110.778 * * [simplify]: iteration  5 :  133  enodes  (cost  7 )
110.831 * * [simplify]: iteration  6 :  354  enodes  (cost  7 )
111.300 * * [simplify]: iteration  7 :  1298  enodes  (cost  7 )
113.579 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
113.580 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
113.581 * * [simplify]: iteration  1 :  25  enodes  (cost  19 )
113.586 * * [simplify]: iteration  2 :  53  enodes  (cost  10 )
113.594 * * [simplify]: iteration  3 :  98  enodes  (cost  10 )
113.616 * * [simplify]: iteration  4 :  275  enodes  (cost  10 )
113.740 * * [simplify]: iteration  5 :  880  enodes  (cost  10 )
114.446 * * [simplify]: iteration  6 :  2743  enodes  (cost  10 )
116.046 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
116.046 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
116.048 * * [simplify]: iteration  1 :  22  enodes  (cost  7 )
116.050 * * [simplify]: iteration  2 :  35  enodes  (cost  7 )
116.054 * * [simplify]: iteration  3 :  45  enodes  (cost  7 )
116.060 * * [simplify]: iteration  4 :  68  enodes  (cost  7 )
116.072 * * [simplify]: iteration  5 :  133  enodes  (cost  7 )
116.125 * * [simplify]: iteration  6 :  350  enodes  (cost  7 )
116.598 * * [simplify]: iteration  7 :  1282  enodes  (cost  7 )
118.988 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
118.988 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
118.990 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
118.992 * * [simplify]: iteration  2 :  35  enodes  (cost  10 )
118.997 * * [simplify]: iteration  3 :  54  enodes  (cost  10 )
119.005 * * [simplify]: iteration  4 :  105  enodes  (cost  10 )
119.028 * * [simplify]: iteration  5 :  190  enodes  (cost  10 )
119.090 * * [simplify]: iteration  6 :  418  enodes  (cost  10 )
119.577 * * [simplify]: iteration  7 :  1362  enodes  (cost  10 )
121.954 * * [simplify]: iteration  done :  5001  enodes  (cost  10 )
121.955 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
121.956 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
121.959 * * [simplify]: iteration  2 :  35  enodes  (cost  10 )
121.963 * * [simplify]: iteration  3 :  54  enodes  (cost  10 )
121.971 * * [simplify]: iteration  4 :  105  enodes  (cost  10 )
121.995 * * [simplify]: iteration  5 :  190  enodes  (cost  10 )
122.058 * * [simplify]: iteration  6 :  418  enodes  (cost  10 )
122.542 * * [simplify]: iteration  7 :  1362  enodes  (cost  10 )
124.920 * * [simplify]: iteration  done :  5001  enodes  (cost  10 )
124.921 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
124.922 * * [simplify]: iteration  1 :  13  enodes  (cost  1 )
124.922 * * [simplify]: iteration  done :  13  enodes  (cost  1 )
124.923 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
124.924 * * [simplify]: iteration  1 :  21  enodes  (cost  9 )
124.927 * * [simplify]: iteration  2 :  46  enodes  (cost  9 )
124.935 * * [simplify]: iteration  3 :  142  enodes  (cost  9 )
124.985 * * [simplify]: iteration  4 :  536  enodes  (cost  9 )
125.384 * * [simplify]: iteration  5 :  2004  enodes  (cost  9 )
127.146 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
127.147 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
127.148 * * [simplify]: iteration  1 :  12  enodes  (cost  15 )
127.154 * * [simplify]: iteration  2 :  25  enodes  (cost  15 )
127.158 * * [simplify]: iteration  3 :  66  enodes  (cost  15 )
127.173 * * [simplify]: iteration  4 :  197  enodes  (cost  15 )
127.235 * * [simplify]: iteration  5 :  424  enodes  (cost  15 )
127.407 * * [simplify]: iteration  6 :  710  enodes  (cost  15 )
128.026 * * [simplify]: iteration  7 :  1591  enodes  (cost  15 )
129.612 * * [simplify]: iteration  8 :  2723  enodes  (cost  15 )
135.234 * * [simplify]: iteration  9 :  4655  enodes  (cost  15 )
137.474 * * [simplify]: iteration  done :  5001  enodes  (cost  15 )
137.475 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
137.477 * * [simplify]: iteration  1 :  24  enodes  (cost  10 )
137.481 * * [simplify]: iteration  2 :  55  enodes  (cost  10 )
137.498 * * [simplify]: iteration  3 :  156  enodes  (cost  10 )
137.546 * * [simplify]: iteration  4 :  571  enodes  (cost  10 )
137.951 * * [simplify]: iteration  5 :  2090  enodes  (cost  10 )
139.683 * * [simplify]: iteration  done :  5001  enodes  (cost  10 )
139.684 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
139.685 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
139.688 * * [simplify]: iteration  2 :  53  enodes  (cost  10 )
139.698 * * [simplify]: iteration  3 :  173  enodes  (cost  10 )
139.754 * * [simplify]: iteration  4 :  689  enodes  (cost  10 )
140.196 * * [simplify]: iteration  5 :  2658  enodes  (cost  10 )
141.679 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
141.680 * * [simplify]: iteration  0 :  11  enodes  (cost  21 )
141.681 * * [simplify]: iteration  1 :  22  enodes  (cost  15 )
141.684 * * [simplify]: iteration  2 :  47  enodes  (cost  15 )
141.692 * * [simplify]: iteration  3 :  143  enodes  (cost  15 )
141.743 * * [simplify]: iteration  4 :  543  enodes  (cost  15 )
142.152 * * [simplify]: iteration  5 :  2031  enodes  (cost  15 )
143.926 * * [simplify]: iteration  done :  5000  enodes  (cost  15 )
143.926 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
143.928 * * [simplify]: iteration  1 :  22  enodes  (cost  7 )
143.930 * * [simplify]: iteration  2 :  47  enodes  (cost  7 )
143.939 * * [simplify]: iteration  3 :  143  enodes  (cost  7 )
143.989 * * [simplify]: iteration  4 :  543  enodes  (cost  7 )
144.386 * * [simplify]: iteration  5 :  2042  enodes  (cost  7 )
146.125 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
146.126 * * [simplify]: iteration  0 :  11  enodes  (cost  29 )
146.133 * * [simplify]: iteration  1 :  27  enodes  (cost  19 )
146.137 * * [simplify]: iteration  2 :  85  enodes  (cost  11 )
146.163 * * [simplify]: iteration  3 :  369  enodes  (cost  11 )
146.486 * * [simplify]: iteration  4 :  2323  enodes  (cost  11 )
147.949 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
147.949 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
147.951 * * [simplify]: iteration  1 :  25  enodes  (cost  19 )
147.954 * * [simplify]: iteration  2 :  53  enodes  (cost  10 )
147.964 * * [simplify]: iteration  3 :  98  enodes  (cost  10 )
147.989 * * [simplify]: iteration  4 :  275  enodes  (cost  10 )
148.110 * * [simplify]: iteration  5 :  880  enodes  (cost  10 )
148.803 * * [simplify]: iteration  6 :  2743  enodes  (cost  10 )
150.171 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
150.172 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
150.173 * * [simplify]: iteration  1 :  22  enodes  (cost  7 )
150.176 * * [simplify]: iteration  2 :  35  enodes  (cost  7 )
150.180 * * [simplify]: iteration  3 :  45  enodes  (cost  7 )
150.189 * * [simplify]: iteration  4 :  68  enodes  (cost  7 )
150.201 * * [simplify]: iteration  5 :  133  enodes  (cost  7 )
150.251 * * [simplify]: iteration  6 :  350  enodes  (cost  7 )
150.711 * * [simplify]: iteration  7 :  1282  enodes  (cost  7 )
153.033 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
153.034 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
153.035 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
153.038 * * [simplify]: iteration  2 :  35  enodes  (cost  10 )
153.043 * * [simplify]: iteration  3 :  54  enodes  (cost  10 )
153.051 * * [simplify]: iteration  4 :  105  enodes  (cost  10 )
153.075 * * [simplify]: iteration  5 :  190  enodes  (cost  10 )
153.137 * * [simplify]: iteration  6 :  418  enodes  (cost  10 )
153.621 * * [simplify]: iteration  7 :  1362  enodes  (cost  10 )
155.978 * * [simplify]: iteration  done :  5001  enodes  (cost  10 )
155.979 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
155.980 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
155.982 * * [simplify]: iteration  2 :  35  enodes  (cost  10 )
155.991 * * [simplify]: iteration  3 :  54  enodes  (cost  10 )
155.999 * * [simplify]: iteration  4 :  105  enodes  (cost  10 )
156.019 * * [simplify]: iteration  5 :  190  enodes  (cost  10 )
156.080 * * [simplify]: iteration  6 :  418  enodes  (cost  10 )
156.556 * * [simplify]: iteration  7 :  1362  enodes  (cost  10 )
158.919 * * [simplify]: iteration  done :  5001  enodes  (cost  10 )
158.919 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
158.920 * * [simplify]: iteration  1 :  13  enodes  (cost  1 )
158.920 * * [simplify]: iteration  done :  13  enodes  (cost  1 )
158.921 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
158.922 * * [simplify]: iteration  1 :  21  enodes  (cost  9 )
158.925 * * [simplify]: iteration  2 :  46  enodes  (cost  9 )
158.933 * * [simplify]: iteration  3 :  142  enodes  (cost  9 )
158.980 * * [simplify]: iteration  4 :  536  enodes  (cost  9 )
159.373 * * [simplify]: iteration  5 :  2004  enodes  (cost  9 )
161.139 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
161.140 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
161.141 * * [simplify]: iteration  1 :  39  enodes  (cost  13 )
161.149 * * [simplify]: iteration  2 :  138  enodes  (cost  13 )
161.195 * * [simplify]: iteration  3 :  604  enodes  (cost  13 )
161.893 * * [simplify]: iteration  4 :  4668  enodes  (cost  13 )
164.742 * * [simplify]: iteration  done :  5000  enodes  (cost  13 )
164.743 * * [simplify]: iteration  0 :  13  enodes  (cost  25 )
164.745 * * [simplify]: iteration  1 :  48  enodes  (cost  21 )
164.754 * * [simplify]: iteration  2 :  139  enodes  (cost  21 )
164.800 * * [simplify]: iteration  3 :  527  enodes  (cost  21 )
165.293 * * [simplify]: iteration  4 :  3922  enodes  (cost  21 )
167.744 * * [simplify]: iteration  done :  5001  enodes  (cost  21 )
167.744 * * [simplify]: iteration  0 :  11  enodes  (cost  17 )
167.746 * * [simplify]: iteration  1 :  40  enodes  (cost  17 )
167.754 * * [simplify]: iteration  2 :  113  enodes  (cost  17 )
167.789 * * [simplify]: iteration  3 :  453  enodes  (cost  17 )
168.189 * * [simplify]: iteration  4 :  3399  enodes  (cost  17 )
169.732 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
169.733 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
169.734 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
169.736 * * [simplify]: iteration  2 :  42  enodes  (cost  9 )
169.744 * * [simplify]: iteration  3 :  116  enodes  (cost  9 )
169.781 * * [simplify]: iteration  4 :  379  enodes  (cost  9 )
169.981 * * [simplify]: iteration  5 :  1168  enodes  (cost  9 )
170.911 * * [simplify]: iteration  6 :  3146  enodes  (cost  9 )
172.783 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
172.784 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
172.785 * * [simplify]: iteration  1 :  12  enodes  (cost  15 )
172.787 * * [simplify]: iteration  2 :  25  enodes  (cost  15 )
172.791 * * [simplify]: iteration  3 :  66  enodes  (cost  15 )
172.806 * * [simplify]: iteration  4 :  197  enodes  (cost  15 )
172.868 * * [simplify]: iteration  5 :  424  enodes  (cost  15 )
173.039 * * [simplify]: iteration  6 :  710  enodes  (cost  15 )
173.657 * * [simplify]: iteration  7 :  1591  enodes  (cost  15 )
175.248 * * [simplify]: iteration  8 :  2723  enodes  (cost  15 )
180.885 * * [simplify]: iteration  9 :  4655  enodes  (cost  15 )
183.113 * * [simplify]: iteration  done :  5001  enodes  (cost  15 )
183.114 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
183.115 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
183.126 * * [simplify]: iteration  2 :  48  enodes  (cost  10 )
183.134 * * [simplify]: iteration  3 :  144  enodes  (cost  10 )
183.181 * * [simplify]: iteration  4 :  542  enodes  (cost  10 )
183.569 * * [simplify]: iteration  5 :  2028  enodes  (cost  10 )
185.528 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
185.529 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
185.530 * * [simplify]: iteration  1 :  22  enodes  (cost  10 )
185.533 * * [simplify]: iteration  2 :  48  enodes  (cost  10 )
185.541 * * [simplify]: iteration  3 :  144  enodes  (cost  10 )
185.589 * * [simplify]: iteration  4 :  542  enodes  (cost  10 )
185.982 * * [simplify]: iteration  5 :  2028  enodes  (cost  10 )
187.694 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
187.695 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
187.696 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
187.698 * * [simplify]: iteration  2 :  33  enodes  (cost  9 )
187.702 * * [simplify]: iteration  3 :  43  enodes  (cost  9 )
187.713 * * [simplify]: iteration  4 :  64  enodes  (cost  9 )
187.723 * * [simplify]: iteration  5 :  120  enodes  (cost  9 )
187.772 * * [simplify]: iteration  6 :  338  enodes  (cost  9 )
188.216 * * [simplify]: iteration  7 :  1251  enodes  (cost  9 )
190.572 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
190.573 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
190.575 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
190.577 * * [simplify]: iteration  2 :  33  enodes  (cost  9 )
190.580 * * [simplify]: iteration  3 :  43  enodes  (cost  9 )
190.585 * * [simplify]: iteration  4 :  64  enodes  (cost  9 )
190.595 * * [simplify]: iteration  5 :  120  enodes  (cost  9 )
190.644 * * [simplify]: iteration  6 :  338  enodes  (cost  9 )
191.088 * * [simplify]: iteration  7 :  1251  enodes  (cost  9 )
193.454 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
193.455 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
193.456 * * [simplify]: iteration  1 :  17  enodes  (cost  8 )
193.458 * * [simplify]: iteration  2 :  30  enodes  (cost  8 )
193.462 * * [simplify]: iteration  3 :  61  enodes  (cost  8 )
193.471 * * [simplify]: iteration  4 :  160  enodes  (cost  8 )
193.519 * * [simplify]: iteration  5 :  606  enodes  (cost  8 )
194.375 * * [simplify]: iteration  6 :  3922  enodes  (cost  8 )
195.776 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
195.776 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
195.777 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
195.779 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
195.781 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
195.781 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
195.782 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
195.784 * * [simplify]: iteration  2 :  32  enodes  (cost  8 )
195.788 * * [simplify]: iteration  3 :  54  enodes  (cost  8 )
195.796 * * [simplify]: iteration  4 :  120  enodes  (cost  8 )
195.830 * * [simplify]: iteration  5 :  454  enodes  (cost  8 )
196.413 * * [simplify]: iteration  6 :  2420  enodes  (cost  8 )
197.572 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
197.573 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
197.574 * * [simplify]: iteration  1 :  13  enodes  (cost  17 )
197.576 * * [simplify]: iteration  2 :  20  enodes  (cost  17 )
197.578 * * [simplify]: iteration  done :  20  enodes  (cost  17 )
197.579 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
197.580 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
197.581 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
197.584 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
197.584 * * [simplify]: iteration  0 :  9  enodes  (cost  23 )
197.586 * * [simplify]: iteration  1 :  14  enodes  (cost  23 )
197.587 * * [simplify]: iteration  2 :  35  enodes  (cost  9 )
197.595 * * [simplify]: iteration  3 :  126  enodes  (cost  9 )
197.642 * * [simplify]: iteration  4 :  513  enodes  (cost  9 )
198.017 * * [simplify]: iteration  5 :  1912  enodes  (cost  9 )
199.812 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
199.813 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
199.814 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
199.815 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
199.818 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
199.818 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
199.819 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
199.820 * * [simplify]: iteration  2 :  19  enodes  (cost  8 )
199.823 * * [simplify]: iteration  done :  19  enodes  (cost  8 )
199.823 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
199.825 * * [simplify]: iteration  1 :  33  enodes  (cost  11 )
199.831 * * [simplify]: iteration  2 :  117  enodes  (cost  11 )
199.868 * * [simplify]: iteration  3 :  382  enodes  (cost  11 )
200.076 * * [simplify]: iteration  4 :  897  enodes  (cost  11 )
200.770 * * [simplify]: iteration  5 :  2338  enodes  (cost  11 )
201.832 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
201.833 * * [simplify]: iteration  0 :  11  enodes  (cost  23 )
201.835 * * [simplify]: iteration  1 :  38  enodes  (cost  19 )
201.842 * * [simplify]: iteration  2 :  95  enodes  (cost  19 )
201.870 * * [simplify]: iteration  3 :  140  enodes  (cost  19 )
201.899 * * [simplify]: iteration  4 :  150  enodes  (cost  19 )
201.933 * * [simplify]: iteration  5 :  152  enodes  (cost  19 )
201.966 * * [simplify]: iteration  done :  152  enodes  (cost  19 )
201.967 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
201.967 * * [simplify]: iteration  1 :  9  enodes  (cost  4 )
201.968 * * [simplify]: iteration  2 :  11  enodes  (cost  4 )
201.969 * * [simplify]: iteration  done :  11  enodes  (cost  4 )
201.970 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
201.971 * * [simplify]: iteration  1 :  30  enodes  (cost  15 )
201.977 * * [simplify]: iteration  2 :  71  enodes  (cost  15 )
201.992 * * [simplify]: iteration  3 :  129  enodes  (cost  15 )
202.022 * * [simplify]: iteration  4 :  194  enodes  (cost  15 )
202.071 * * [simplify]: iteration  5 :  325  enodes  (cost  15 )
202.181 * * [simplify]: iteration  6 :  521  enodes  (cost  15 )
202.392 * * [simplify]: iteration  7 :  887  enodes  (cost  15 )
203.514 * * [simplify]: iteration  8 :  2712  enodes  (cost  15 )
206.239 * * [simplify]: iteration  done :  5000  enodes  (cost  15 )
206.239 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
206.240 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
206.241 * * [simplify]: iteration  done :  10  enodes  (cost  7 )
206.242 * * [simplify]: iteration  0 :  4  enodes  (cost  4 )
206.242 * * [simplify]: iteration  1 :  9  enodes  (cost  4 )
206.243 * * [simplify]: iteration  2 :  11  enodes  (cost  4 )
206.244 * * [simplify]: iteration  done :  11  enodes  (cost  4 )
206.245 * * [simplify]: iteration  0 :  1  enodes  (cost  1 )
206.245 * * [simplify]: iteration  done :  1  enodes  (cost  1 )
206.246 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
206.247 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
206.248 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
206.250 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
206.251 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
206.252 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
206.253 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
206.255 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
206.255 * * [simplify]: iteration  0 :  1  enodes  (cost  1 )
206.256 * * [simplify]: iteration  done :  1  enodes  (cost  1 )
206.256 * * [simplify]: iteration  0 :  23  enodes  (cost  35 )
206.260 * * [simplify]: iteration  1 :  73  enodes  (cost  35 )
206.293 * * [simplify]: iteration  2 :  270  enodes  (cost  35 )
206.370 * * [simplify]: iteration  3 :  910  enodes  (cost  33 )
207.193 * * [simplify]: iteration  4 :  3351  enodes  (cost  29 )
209.023 * * [simplify]: iteration  done :  5001  enodes  (cost  29 )
209.024 * * [simplify]: iteration  0 :  23  enodes  (cost  35 )
209.028 * * [simplify]: iteration  1 :  73  enodes  (cost  35 )
209.061 * * [simplify]: iteration  2 :  270  enodes  (cost  35 )
209.138 * * [simplify]: iteration  3 :  910  enodes  (cost  33 )
209.974 * * [simplify]: iteration  4 :  3351  enodes  (cost  29 )
211.790 * * [simplify]: iteration  done :  5001  enodes  (cost  29 )
211.791 * * [simplify]: iteration  0 :  1  enodes  (cost  1 )
211.791 * * [simplify]: iteration  done :  1  enodes  (cost  1 )
211.792 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
211.792 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
211.794 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
211.796 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
211.796 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
211.797 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
211.799 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
211.801 * * [simplify]: iteration  done :  18  enodes  (cost  7 )
211.802 * [simplify]: Simplified to:
   (log (- (* x y) (* z t)))
  (exp (- (* x y) (* z t)))
  (pow (cbrt (- (* x y) (* z t))) 2)
  (cbrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  1
  (- (* x y) (* z t))
  (cbrt (* (- (* x y) (* z t)) (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (cbrt (* (- (* x y) (* z t)) (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (pow (cbrt (- (* x y) (* z t))) 2)
  (cbrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  1
  (- (* x y) (* z t))
  (cbrt (- (* x y) (* z t)))
  (cbrt (* (- (* x y) (* z t)) (- (* x y) (* z t))))
  (cbrt (sqrt (pow (- (* x y) (* z t)) 3)))
  (cbrt (sqrt (pow (- (* x y) (* z t)) 3)))
  1
  (- (* x y) (* z t))
  (cbrt (pow (- (* x y) (* z t)) 3/2))
  (cbrt (pow (- (* x y) (* z t)) 3/2))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
  (- (* (* x y) (* x y)) (* (* z t) (* z t)))
  (+ (* x y) (* z t))
  (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (pow (- (* x y) (* z t)) 3)
  (sqrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (* (log (- (* x y) (* z t))) 3)
  (* (log (- (* x y) (* z t))) 3)
  3
  (pow (- (* x y) (* z t)) (* (cbrt 3) (cbrt 3)))
  (pow (- (* x y) (* z t)) (sqrt 3))
  (- (* x y) (* z t))
  (pow (cbrt (- (* x y) (* z t))) 6)
  (- (* x y) (* z t))
  (pow (sqrt (- (* x y) (* z t))) 3)
  (pow (sqrt (- (* x y) (* z t))) 3)
  1
  (pow (- (* x y) (* z t)) 3)
  (* (- (* x y) (* z t)) (- (* x y) (* z t)))
  (log (pow (- (* x y) (* z t)) 3))
  (exp (pow (- (* x y) (* z t)) 3))
  (* (- (* x y) (* z t)) (- (* x y) (* z t)))
  (- (* x y) (* z t))
  (pow (pow (- (* x y) (* z t)) 3) 3)
  (pow (cbrt (- (* x y) (* z t))) 6)
  (- (* x y) (* z t))
  (pow (sqrt (- (* x y) (* z t))) 3)
  (pow (sqrt (- (* x y) (* z t))) 3)
  1
  (pow (- (* x y) (* z t)) 3)
  (pow (- (pow (* x y) 3) (pow (* z t) 3)) 3)
  (pow (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y))) 3)
  (pow (- (* (* x y) (* x y)) (* (* z t) (* z t))) 3)
  (pow (+ (* x y) (* z t)) 3)
  (* (- (* x y) (* z t)) (- (* x y) (* z t)))
  (sqrt (pow (- (* x y) (* z t)) 3))
  (sqrt (pow (- (* x y) (* z t)) 3))
  (pow (- (* x y) (* z t)) 3/2)
  (pow (- (* x y) (* z t)) 3/2)
  (exp (- (* x y) (* z t)))
  (log (- (* x y) (* z t)))
  (exp (- (* x y) (* z t)))
  (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))
  (cbrt (- (* x y) (* z t)))
  (pow (- (* x y) (* z t)) 3)
  (sqrt (- (* x y) (* z t)))
  (sqrt (- (* x y) (* z t)))
  (- (pow (* x y) 3) (pow (* z t) 3))
  (+ (* (* z t) (+ (* z t) (* x y))) (* (* x y) (* x y)))
  (neg (* z t))
  (* (- (* x y) (* z t)) (+ (* x y) (* z t)))
  (+ (* x y) (* z t))
  (neg (* z t))
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
  0
  (- (* (* (* t x) (- (* (* (pow z 2) y) t) (* (* z (pow y 2)) x))) 3) (* (pow t 3) (pow z 3)))
  (- (* (* (* t x) (- (* (* (pow z 2) y) t) (* (* z (pow y 2)) x))) 3) (* (pow t 3) (pow z 3)))
  0
  (- (* x y) (* t z))
  (- (* x y) (* t z))
211.803 * * * [progress]: adding candidates to table
211.881 * [progress]: [Phase 3 of 3] Extracting.
211.881 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
211.882 * * * [regime-changes]: Trying 7 branch expressions: ((* z t) (* x y) (- (* x y) (* z t)) t z y x)
211.882 * * * * [regimes]: Trying to branch on (* z t) from (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
211.931 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
211.981 * * * * [regimes]: Trying to branch on (- (* x y) (* z t)) from (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
212.031 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
212.079 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
212.127 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
212.176 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- (* x y) (* z t)))> #<alt (λ (x y z t) (cbrt (pow (- (* x y) (* z t)) 3)))>)
212.224 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
212.225 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x y) (* z t))
212.225 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
212.225 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
212.225 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
212.225 * [simplify]: Simplified to:
   (- (* x y) (* z t))
213.489 * [regime-testing]: End program error score: 0.011751468933616702