2.191 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* y (+ z x)))
0.027 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.028 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
0.030 * * [simplify]: iteration  2 :  20  enodes  (cost  7 )
0.033 * * [simplify]: iteration  3 :  27  enodes  (cost  7 )
0.036 * * [simplify]: iteration  4 :  31  enodes  (cost  7 )
0.040 * * [simplify]: iteration  5 :  37  enodes  (cost  7 )
0.046 * * [simplify]: iteration  6 :  43  enodes  (cost  7 )
0.050 * * [simplify]: iteration  done :  43  enodes  (cost  7 )
0.050 * [simplify]: Simplified to:
   (+ x (* y (+ z x)))
0.051 * * [progress]: iteration 1 / 4
0.051 * * * [progress]: picking best candidate
0.058 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* y (+ z x))))>
0.058 * * * [progress]: localizing error
0.064 * * * [progress]: generating rewritten candidates
0.064 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.072 * * * [progress]: generating series expansions
0.072 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.073 * [approximate]: Taking taylor expansion of (* y (+ x z)) in (y z x) around 0
0.073 * [taylor]: Taking taylor expansion of (* y (+ x z)) in x
0.073 * [taylor]: Taking taylor expansion of y in x
0.073 * [taylor]: Taking taylor expansion of (+ x z) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of z in x
0.073 * [taylor]: Taking taylor expansion of (* y (+ x z)) in z
0.073 * [taylor]: Taking taylor expansion of y in z
0.073 * [taylor]: Taking taylor expansion of (+ x z) in z
0.073 * [taylor]: Taking taylor expansion of x in z
0.073 * [taylor]: Taking taylor expansion of z in z
0.073 * [taylor]: Taking taylor expansion of (* y (+ x z)) in y
0.073 * [taylor]: Taking taylor expansion of y in y
0.073 * [taylor]: Taking taylor expansion of (+ x z) in y
0.073 * [taylor]: Taking taylor expansion of x in y
0.073 * [taylor]: Taking taylor expansion of z in y
0.073 * [taylor]: Taking taylor expansion of (* y (+ x z)) in y
0.073 * [taylor]: Taking taylor expansion of y in y
0.073 * [taylor]: Taking taylor expansion of (+ x z) in y
0.073 * [taylor]: Taking taylor expansion of x in y
0.073 * [taylor]: Taking taylor expansion of z in y
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 0 in x
0.073 * [taylor]: Taking taylor expansion of (+ x z) in z
0.073 * [taylor]: Taking taylor expansion of x in z
0.073 * [taylor]: Taking taylor expansion of z in z
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of 0 in x
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 0 in x
0.073 * [taylor]: Taking taylor expansion of 1 in x
0.073 * [taylor]: Taking taylor expansion of 0 in x
0.074 * [taylor]: Taking taylor expansion of 0 in z
0.074 * [taylor]: Taking taylor expansion of 0 in x
0.074 * [taylor]: Taking taylor expansion of 0 in x
0.074 * [taylor]: Taking taylor expansion of 0 in x
0.074 * [taylor]: Taking taylor expansion of 0 in x
0.074 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0
0.074 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x
0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.074 * [taylor]: Taking taylor expansion of z in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z
0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.074 * [taylor]: Taking taylor expansion of x in z
0.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.074 * [taylor]: Taking taylor expansion of z in z
0.075 * [taylor]: Taking taylor expansion of y in z
0.075 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
0.075 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.075 * [taylor]: Taking taylor expansion of x in y
0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.075 * [taylor]: Taking taylor expansion of z in y
0.075 * [taylor]: Taking taylor expansion of y in y
0.075 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
0.075 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.075 * [taylor]: Taking taylor expansion of x in y
0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.075 * [taylor]: Taking taylor expansion of z in y
0.075 * [taylor]: Taking taylor expansion of y in y
0.075 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.075 * [taylor]: Taking taylor expansion of x in z
0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.075 * [taylor]: Taking taylor expansion of z in z
0.075 * [taylor]: Taking taylor expansion of 1 in x
0.076 * [taylor]: Taking taylor expansion of 0 in z
0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of 0 in z
0.076 * [taylor]: Taking taylor expansion of 0 in x
0.076 * [taylor]: Taking taylor expansion of 0 in x
0.077 * [taylor]: Taking taylor expansion of 0 in z
0.077 * [taylor]: Taking taylor expansion of 0 in x
0.077 * [taylor]: Taking taylor expansion of 0 in x
0.077 * [taylor]: Taking taylor expansion of 0 in x
0.077 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0
0.077 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x
0.077 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.077 * [taylor]: Taking taylor expansion of z in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z
0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.078 * [taylor]: Taking taylor expansion of x in z
0.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.078 * [taylor]: Taking taylor expansion of z in z
0.078 * [taylor]: Taking taylor expansion of y in z
0.078 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.078 * [taylor]: Taking taylor expansion of z in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.078 * [taylor]: Taking taylor expansion of z in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.078 * [taylor]: Taking taylor expansion of x in z
0.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.078 * [taylor]: Taking taylor expansion of z in z
0.079 * [taylor]: Taking taylor expansion of 1 in x
0.079 * [taylor]: Taking taylor expansion of 0 in z
0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of 0 in z
0.079 * [taylor]: Taking taylor expansion of 0 in x
0.079 * [taylor]: Taking taylor expansion of 0 in x
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in x
0.080 * [taylor]: Taking taylor expansion of 0 in x
0.080 * [taylor]: Taking taylor expansion of 0 in x
0.080 * * * [progress]: simplifying candidates
0.081 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* y (+ z x))
  (+ (log y) (log (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (* (* (* y y) y) (* (* (+ z x) (+ z x)) (+ z x)))
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y z)
  (* y x)
  (* z y)
  (* x y)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  (* y 1)
  (* y 1)
  (* (cbrt y) (+ z x))
  (* (sqrt y) (+ z x))
  (* y (+ z x))
  (* y (+ (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
0.081 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.082 * * [simplify]: iteration  1 :  13  enodes  (cost  5 )
0.083 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
0.085 * * [simplify]: iteration  done :  14  enodes  (cost  5 )
0.086 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.086 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.087 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
0.088 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
0.088 * * [simplify]: iteration  1 :  17  enodes  (cost  6 )
0.090 * * [simplify]: iteration  2 :  19  enodes  (cost  6 )
0.092 * * [simplify]: iteration  done :  19  enodes  (cost  6 )
0.093 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
0.094 * * [simplify]: iteration  1 :  16  enodes  (cost  6 )
0.096 * * [simplify]: iteration  2 :  26  enodes  (cost  6 )
0.099 * * [simplify]: iteration  3 :  43  enodes  (cost  6 )
0.105 * * [simplify]: iteration  4 :  76  enodes  (cost  6 )
0.118 * * [simplify]: iteration  5 :  188  enodes  (cost  6 )
0.195 * * [simplify]: iteration  6 :  504  enodes  (cost  6 )
0.596 * * [simplify]: iteration  7 :  1671  enodes  (cost  6 )
1.975 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
1.976 * * [simplify]: iteration  0 :  9  enodes  (cost  17 )
1.978 * * [simplify]: iteration  1 :  29  enodes  (cost  17 )
1.984 * * [simplify]: iteration  2 :  110  enodes  (cost  9 )
2.020 * * [simplify]: iteration  3 :  373  enodes  (cost  9 )
2.246 * * [simplify]: iteration  4 :  1303  enodes  (cost  7 )
3.747 * * [simplify]: iteration  5 :  4152  enodes  (cost  7 )
5.535 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
5.536 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
5.537 * * [simplify]: iteration  1 :  15  enodes  (cost  13 )
5.539 * * [simplify]: iteration  2 :  16  enodes  (cost  13 )
5.541 * * [simplify]: iteration  done :  16  enodes  (cost  13 )
5.541 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
5.542 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
5.544 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
5.545 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
5.546 * * [simplify]: iteration  0 :  7  enodes  (cost  17 )
5.547 * * [simplify]: iteration  1 :  25  enodes  (cost  17 )
5.553 * * [simplify]: iteration  2 :  97  enodes  (cost  7 )
5.592 * * [simplify]: iteration  3 :  352  enodes  (cost  7 )
5.800 * * [simplify]: iteration  4 :  820  enodes  (cost  7 )
6.516 * * [simplify]: iteration  5 :  2225  enodes  (cost  7 )
9.270 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
9.271 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
9.271 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
9.273 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
9.275 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
9.275 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
9.276 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
9.278 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
9.279 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
9.280 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
9.281 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
9.281 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
9.282 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
9.283 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
9.283 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
9.284 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
9.284 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
9.285 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
9.286 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
9.286 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
9.286 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
9.287 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
9.287 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
9.288 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
9.288 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
9.289 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
9.289 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
9.290 * * [simplify]: iteration  0 :  7  enodes  (cost  11 )
9.290 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
9.292 * * [simplify]: iteration  2 :  13  enodes  (cost  11 )
9.293 * * [simplify]: iteration  done :  13  enodes  (cost  11 )
9.294 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
9.294 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
9.295 * * [simplify]: iteration  done :  8  enodes  (cost  6 )
9.296 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
9.297 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
9.297 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
9.297 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
9.298 * * [simplify]: iteration  1 :  6  enodes  (cost  1 )
9.298 * * [simplify]: iteration  done :  6  enodes  (cost  1 )
9.299 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
9.299 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
9.301 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
9.303 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
9.303 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
9.304 * * [simplify]: iteration  1 :  14  enodes  (cost  6 )
9.306 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
9.311 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
9.312 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
9.313 * * [simplify]: iteration  1 :  13  enodes  (cost  5 )
9.314 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
9.316 * * [simplify]: iteration  done :  14  enodes  (cost  5 )
9.316 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
9.318 * * [simplify]: iteration  1 :  29  enodes  (cost  9 )
9.323 * * [simplify]: iteration  2 :  63  enodes  (cost  9 )
9.333 * * [simplify]: iteration  3 :  105  enodes  (cost  9 )
9.353 * * [simplify]: iteration  4 :  194  enodes  (cost  9 )
9.418 * * [simplify]: iteration  5 :  477  enodes  (cost  9 )
9.832 * * [simplify]: iteration  6 :  1523  enodes  (cost  9 )
11.470 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
11.471 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
11.471 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
11.473 * * [simplify]: iteration  2 :  30  enodes  (cost  9 )
11.478 * * [simplify]: iteration  3 :  76  enodes  (cost  9 )
11.493 * * [simplify]: iteration  4 :  159  enodes  (cost  9 )
11.536 * * [simplify]: iteration  5 :  245  enodes  (cost  9 )
11.611 * * [simplify]: iteration  6 :  400  enodes  (cost  9 )
11.800 * * [simplify]: iteration  7 :  771  enodes  (cost  9 )
13.681 * * [simplify]: iteration  8 :  3375  enodes  (cost  9 )
15.893 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
15.893 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
15.894 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
15.896 * * [simplify]: iteration  2 :  13  enodes  (cost  5 )
15.897 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
15.898 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
15.899 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
15.900 * * [simplify]: iteration  2 :  13  enodes  (cost  5 )
15.902 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
15.902 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
15.903 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
15.904 * * [simplify]: iteration  2 :  13  enodes  (cost  5 )
15.906 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
15.906 * [simplify]: Simplified to:
   (* y (+ z x))
  (+ (log y) (log (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (pow (* y (+ z x)) 3)
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (pow (* y (+ z x)) 3)
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y z)
  (* y x)
  (* z y)
  (* x y)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  y
  y
  (* (cbrt y) (+ z x))
  (* (sqrt y) (+ z x))
  (* y (+ z x))
  (* y (+ (pow z 3) (pow x 3)))
  (* y (* (- z x) (+ z x)))
  (* y (+ x z))
  (* y (+ x z))
  (* y (+ x z))
15.906 * * * [progress]: adding candidates to table
15.933 * * [progress]: iteration 2 / 4
15.933 * * * [progress]: picking best candidate
15.936 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (+ (* y z) (* y x))))>
15.936 * * * [progress]: localizing error
15.943 * * * [progress]: generating rewritten candidates
15.943 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
15.947 * * * [progress]: generating series expansions
15.947 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
15.948 * [approximate]: Taking taylor expansion of (+ (* x y) (* z y)) in (y z x) around 0
15.948 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in x
15.948 * [taylor]: Taking taylor expansion of (* x y) in x
15.948 * [taylor]: Taking taylor expansion of x in x
15.948 * [taylor]: Taking taylor expansion of y in x
15.948 * [taylor]: Taking taylor expansion of (* z y) in x
15.948 * [taylor]: Taking taylor expansion of z in x
15.948 * [taylor]: Taking taylor expansion of y in x
15.948 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in z
15.948 * [taylor]: Taking taylor expansion of (* x y) in z
15.948 * [taylor]: Taking taylor expansion of x in z
15.948 * [taylor]: Taking taylor expansion of y in z
15.948 * [taylor]: Taking taylor expansion of (* z y) in z
15.948 * [taylor]: Taking taylor expansion of z in z
15.948 * [taylor]: Taking taylor expansion of y in z
15.948 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in y
15.948 * [taylor]: Taking taylor expansion of (* x y) in y
15.948 * [taylor]: Taking taylor expansion of x in y
15.948 * [taylor]: Taking taylor expansion of y in y
15.948 * [taylor]: Taking taylor expansion of (* z y) in y
15.948 * [taylor]: Taking taylor expansion of z in y
15.948 * [taylor]: Taking taylor expansion of y in y
15.948 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in y
15.948 * [taylor]: Taking taylor expansion of (* x y) in y
15.948 * [taylor]: Taking taylor expansion of x in y
15.948 * [taylor]: Taking taylor expansion of y in y
15.948 * [taylor]: Taking taylor expansion of (* z y) in y
15.948 * [taylor]: Taking taylor expansion of z in y
15.948 * [taylor]: Taking taylor expansion of y in y
15.948 * [taylor]: Taking taylor expansion of 0 in z
15.948 * [taylor]: Taking taylor expansion of 0 in x
15.948 * [taylor]: Taking taylor expansion of (+ x z) in z
15.948 * [taylor]: Taking taylor expansion of x in z
15.948 * [taylor]: Taking taylor expansion of z in z
15.948 * [taylor]: Taking taylor expansion of x in x
15.948 * [taylor]: Taking taylor expansion of 0 in x
15.949 * [taylor]: Taking taylor expansion of 0 in z
15.949 * [taylor]: Taking taylor expansion of 0 in x
15.949 * [taylor]: Taking taylor expansion of 1 in x
15.949 * [taylor]: Taking taylor expansion of 0 in x
15.949 * [taylor]: Taking taylor expansion of 0 in z
15.949 * [taylor]: Taking taylor expansion of 0 in x
15.949 * [taylor]: Taking taylor expansion of 0 in x
15.949 * [taylor]: Taking taylor expansion of 0 in x
15.949 * [taylor]: Taking taylor expansion of 0 in x
15.949 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0
15.949 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
15.949 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
15.949 * [taylor]: Taking taylor expansion of (* z y) in x
15.949 * [taylor]: Taking taylor expansion of z in x
15.949 * [taylor]: Taking taylor expansion of y in x
15.949 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.949 * [taylor]: Taking taylor expansion of (* x y) in x
15.949 * [taylor]: Taking taylor expansion of x in x
15.949 * [taylor]: Taking taylor expansion of y in x
15.949 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
15.949 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
15.949 * [taylor]: Taking taylor expansion of (* z y) in z
15.950 * [taylor]: Taking taylor expansion of z in z
15.950 * [taylor]: Taking taylor expansion of y in z
15.950 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
15.950 * [taylor]: Taking taylor expansion of (* x y) in z
15.950 * [taylor]: Taking taylor expansion of x in z
15.950 * [taylor]: Taking taylor expansion of y in z
15.950 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
15.950 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.950 * [taylor]: Taking taylor expansion of (* z y) in y
15.950 * [taylor]: Taking taylor expansion of z in y
15.950 * [taylor]: Taking taylor expansion of y in y
15.950 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.950 * [taylor]: Taking taylor expansion of (* x y) in y
15.950 * [taylor]: Taking taylor expansion of x in y
15.950 * [taylor]: Taking taylor expansion of y in y
15.950 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
15.950 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.950 * [taylor]: Taking taylor expansion of (* z y) in y
15.950 * [taylor]: Taking taylor expansion of z in y
15.950 * [taylor]: Taking taylor expansion of y in y
15.950 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.950 * [taylor]: Taking taylor expansion of (* x y) in y
15.950 * [taylor]: Taking taylor expansion of x in y
15.950 * [taylor]: Taking taylor expansion of y in y
15.950 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
15.950 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.950 * [taylor]: Taking taylor expansion of x in z
15.950 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.950 * [taylor]: Taking taylor expansion of z in z
15.950 * [taylor]: Taking taylor expansion of 1 in x
15.951 * [taylor]: Taking taylor expansion of 0 in z
15.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.951 * [taylor]: Taking taylor expansion of x in x
15.951 * [taylor]: Taking taylor expansion of 0 in z
15.951 * [taylor]: Taking taylor expansion of 0 in x
15.951 * [taylor]: Taking taylor expansion of 0 in x
15.952 * [taylor]: Taking taylor expansion of 0 in z
15.952 * [taylor]: Taking taylor expansion of 0 in x
15.952 * [taylor]: Taking taylor expansion of 0 in x
15.952 * [taylor]: Taking taylor expansion of 0 in x
15.952 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0
15.952 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
15.952 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
15.952 * [taylor]: Taking taylor expansion of (* z y) in x
15.952 * [taylor]: Taking taylor expansion of z in x
15.952 * [taylor]: Taking taylor expansion of y in x
15.952 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.952 * [taylor]: Taking taylor expansion of (* x y) in x
15.952 * [taylor]: Taking taylor expansion of x in x
15.952 * [taylor]: Taking taylor expansion of y in x
15.952 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
15.953 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
15.953 * [taylor]: Taking taylor expansion of (* z y) in z
15.953 * [taylor]: Taking taylor expansion of z in z
15.953 * [taylor]: Taking taylor expansion of y in z
15.953 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
15.953 * [taylor]: Taking taylor expansion of (* x y) in z
15.953 * [taylor]: Taking taylor expansion of x in z
15.953 * [taylor]: Taking taylor expansion of y in z
15.953 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
15.953 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.953 * [taylor]: Taking taylor expansion of (* z y) in y
15.953 * [taylor]: Taking taylor expansion of z in y
15.953 * [taylor]: Taking taylor expansion of y in y
15.953 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.953 * [taylor]: Taking taylor expansion of (* x y) in y
15.953 * [taylor]: Taking taylor expansion of x in y
15.953 * [taylor]: Taking taylor expansion of y in y
15.953 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
15.953 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.953 * [taylor]: Taking taylor expansion of (* z y) in y
15.953 * [taylor]: Taking taylor expansion of z in y
15.953 * [taylor]: Taking taylor expansion of y in y
15.953 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
15.953 * [taylor]: Taking taylor expansion of (* x y) in y
15.953 * [taylor]: Taking taylor expansion of x in y
15.953 * [taylor]: Taking taylor expansion of y in y
15.953 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
15.953 * [taylor]: Taking taylor expansion of (/ 1 x) in z
15.953 * [taylor]: Taking taylor expansion of x in z
15.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.953 * [taylor]: Taking taylor expansion of z in z
15.954 * [taylor]: Taking taylor expansion of 1 in x
15.954 * [taylor]: Taking taylor expansion of 0 in z
15.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.954 * [taylor]: Taking taylor expansion of x in x
15.954 * [taylor]: Taking taylor expansion of 0 in z
15.954 * [taylor]: Taking taylor expansion of 0 in x
15.954 * [taylor]: Taking taylor expansion of 0 in x
15.955 * [taylor]: Taking taylor expansion of 0 in z
15.955 * [taylor]: Taking taylor expansion of 0 in x
15.955 * [taylor]: Taking taylor expansion of 0 in x
15.955 * [taylor]: Taking taylor expansion of 0 in x
15.955 * * * [progress]: simplifying candidates
15.955 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* y z)) (exp (* y x)))
  (log (+ (* y z) (* y x)))
  (exp (+ (* y z) (* y x)))
  (* (cbrt (+ (* y z) (* y x))) (cbrt (+ (* y z) (* y x))))
  (cbrt (+ (* y z) (* y x)))
  (* (* (+ (* y z) (* y x)) (+ (* y z) (* y x))) (+ (* y z) (* y x)))
  (sqrt (+ (* y z) (* y x)))
  (sqrt (+ (* y z) (* y x)))
  (+ (pow (* y z) 3) (pow (* y x) 3))
  (+ (* (* y z) (* y z)) (- (* (* y x) (* y x)) (* (* y z) (* y x))))
  (- (* (* y z) (* y z)) (* (* y x) (* y x)))
  (- (* y z) (* y x))
  (+ z x)
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
15.956 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
15.957 * * [simplify]: iteration  1 :  16  enodes  (cost  8 )
15.963 * * [simplify]: iteration  2 :  30  enodes  (cost  6 )
15.967 * * [simplify]: iteration  3 :  60  enodes  (cost  6 )
15.979 * * [simplify]: iteration  4 :  177  enodes  (cost  6 )
16.056 * * [simplify]: iteration  5 :  623  enodes  (cost  6 )
16.903 * * [simplify]: iteration  6 :  2819  enodes  (cost  6 )
18.445 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
18.445 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
18.447 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
18.448 * * [simplify]: iteration  2 :  17  enodes  (cost  6 )
18.450 * * [simplify]: iteration  3 :  18  enodes  (cost  6 )
18.452 * * [simplify]: iteration  done :  18  enodes  (cost  6 )
18.453 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
18.454 * * [simplify]: iteration  1 :  15  enodes  (cost  6 )
18.456 * * [simplify]: iteration  2 :  26  enodes  (cost  6 )
18.459 * * [simplify]: iteration  3 :  43  enodes  (cost  6 )
18.465 * * [simplify]: iteration  4 :  102  enodes  (cost  6 )
18.495 * * [simplify]: iteration  5 :  300  enodes  (cost  6 )
18.690 * * [simplify]: iteration  6 :  1066  enodes  (cost  6 )
20.392 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
20.393 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
20.394 * * [simplify]: iteration  1 :  13  enodes  (cost  13 )
20.396 * * [simplify]: iteration  2 :  15  enodes  (cost  13 )
20.397 * * [simplify]: iteration  done :  15  enodes  (cost  13 )
20.398 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
20.399 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
20.400 * * [simplify]: iteration  2 :  14  enodes  (cost  6 )
20.402 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
20.402 * * [simplify]: iteration  0 :  8  enodes  (cost  23 )
20.404 * * [simplify]: iteration  1 :  26  enodes  (cost  17 )
20.410 * * [simplify]: iteration  2 :  105  enodes  (cost  7 )
20.454 * * [simplify]: iteration  3 :  431  enodes  (cost  7 )
20.785 * * [simplify]: iteration  4 :  1225  enodes  (cost  7 )
22.306 * * [simplify]: iteration  5 :  3356  enodes  (cost  7 )
24.236 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
24.236 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
24.237 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
24.239 * * [simplify]: iteration  2 :  14  enodes  (cost  6 )
24.240 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
24.241 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
24.242 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
24.243 * * [simplify]: iteration  2 :  14  enodes  (cost  6 )
24.245 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
24.246 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
24.247 * * [simplify]: iteration  1 :  30  enodes  (cost  11 )
24.253 * * [simplify]: iteration  2 :  96  enodes  (cost  11 )
24.285 * * [simplify]: iteration  3 :  244  enodes  (cost  11 )
24.388 * * [simplify]: iteration  4 :  483  enodes  (cost  11 )
24.641 * * [simplify]: iteration  5 :  1232  enodes  (cost  11 )
26.263 * * [simplify]: iteration  6 :  4773  enodes  (cost  11 )
27.940 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
27.941 * * [simplify]: iteration  0 :  10  enodes  (cost  23 )
27.943 * * [simplify]: iteration  1 :  36  enodes  (cost  19 )
27.951 * * [simplify]: iteration  2 :  105  enodes  (cost  17 )
27.986 * * [simplify]: iteration  3 :  224  enodes  (cost  15 )
28.066 * * [simplify]: iteration  4 :  399  enodes  (cost  13 )
28.209 * * [simplify]: iteration  5 :  594  enodes  (cost  13 )
28.542 * * [simplify]: iteration  6 :  865  enodes  (cost  13 )
28.801 * * [simplify]: iteration  7 :  1083  enodes  (cost  13 )
29.407 * * [simplify]: iteration  8 :  1532  enodes  (cost  13 )
30.671 * * [simplify]: iteration  9 :  2201  enodes  (cost  13 )
31.323 * * [simplify]: iteration  10 :  2232  enodes  (cost  13 )
32.136 * * [simplify]: iteration  done :  2232  enodes  (cost  13 )
32.137 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
32.138 * * [simplify]: iteration  1 :  28  enodes  (cost  15 )
32.144 * * [simplify]: iteration  2 :  77  enodes  (cost  11 )
32.166 * * [simplify]: iteration  3 :  158  enodes  (cost  11 )
32.208 * * [simplify]: iteration  4 :  271  enodes  (cost  11 )
32.298 * * [simplify]: iteration  5 :  472  enodes  (cost  11 )
32.512 * * [simplify]: iteration  6 :  722  enodes  (cost  11 )
32.898 * * [simplify]: iteration  7 :  1215  enodes  (cost  11 )
34.446 * * [simplify]: iteration  8 :  3266  enodes  (cost  11 )
36.551 * * [simplify]: iteration  done :  5001  enodes  (cost  11 )
36.552 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
36.553 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
36.554 * * [simplify]: iteration  2 :  21  enodes  (cost  5 )
36.561 * * [simplify]: iteration  3 :  22  enodes  (cost  5 )
36.564 * * [simplify]: iteration  done :  22  enodes  (cost  5 )
36.565 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
36.565 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
36.566 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
36.567 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
36.567 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
36.569 * * [simplify]: iteration  2 :  13  enodes  (cost  5 )
36.571 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
36.571 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
36.572 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
36.573 * * [simplify]: iteration  2 :  13  enodes  (cost  5 )
36.575 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
36.575 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
36.576 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
36.578 * * [simplify]: iteration  2 :  13  enodes  (cost  5 )
36.579 * * [simplify]: iteration  done :  13  enodes  (cost  5 )
36.579 * [simplify]: Simplified to:
   (exp (* y (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (pow (* y (+ z x)) 3)
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (+ (pow (* y z) 3) (pow (* y x) 3))
  (* (* y (+ (* x (- x z)) (* z z))) y)
  (* (* (* y (- z x)) (+ z x)) y)
  (* y (- z x))
  (+ z x)
  (* y (+ x z))
  (* y (+ x z))
  (* y (+ x z))
36.580 * * * [progress]: adding candidates to table
36.597 * [progress]: [Phase 3 of 3] Extracting.
36.597 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))>)
36.597 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* y (+ z x))) z y x)
36.597 * * * * [regimes]: Trying to branch on (+ x (* y (+ z x))) from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))>)
36.643 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))>)
36.685 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))>)
36.728 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (+ (* y z) (* y x))))> #<alt (λ (x y z) (+ x (* y (+ z x))))>)
36.773 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
36.773 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* y (+ z x)))
36.773 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
36.774 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
36.774 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
36.774 * [simplify]: Simplified to:
   (+ x (* y (+ z x)))
37.826 * [regime-testing]: End program error score: 0.015376922115264409