0.776 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.264 * * * [progress]: [2/2] Setting up program.
0.267 * [progress]: [Phase 2 of 3] Improving.
0.269 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (+ x y) z) (+ x (+ y z)))
0.272 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
0.276 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
0.279 * * [simplify]: iteration  2 :  78  enodes  (cost  11 )
0.309 * * [simplify]: iteration  3 :  316  enodes  (cost  1 )
0.490 * * [simplify]: iteration  4 :  770  enodes  (cost  1 )
2.919 * * [simplify]: iteration  done :  5000  enodes  (cost  1 )
2.919 * [simplify]: Simplified to:
   0
2.929 * * [progress]: iteration 1 / 4
2.929 * * * [progress]: picking best candidate
2.931 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (+ x y) z) (+ x (+ y z))))>
2.931 * * * [progress]: localizing error
2.939 * * * [progress]: generating rewritten candidates
2.939 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.040 * * * [progress]: generating series expansions
3.040 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.044 * [approximate]: Taking taylor expansion of 0 in (x y z) around 0
3.044 * [taylor]: Taking taylor expansion of 0 in z
3.044 * [taylor]: Taking taylor expansion of 0 in y
3.044 * [taylor]: Taking taylor expansion of 0 in x
3.044 * [taylor]: Taking taylor expansion of 0 in x
3.045 * [taylor]: Taking taylor expansion of 0 in y
3.045 * [taylor]: Taking taylor expansion of 0 in z
3.045 * [taylor]: Taking taylor expansion of 0 in y
3.045 * [taylor]: Taking taylor expansion of 0 in z
3.045 * [taylor]: Taking taylor expansion of 0 in z
3.045 * [taylor]: Taking taylor expansion of 0 in y
3.045 * [taylor]: Taking taylor expansion of 0 in z
3.045 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [approximate]: Taking taylor expansion of 0 in (x y z) around 0
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in x
3.047 * [taylor]: Taking taylor expansion of 0 in x
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [approximate]: Taking taylor expansion of 0 in (x y z) around 0
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in x
3.047 * [taylor]: Taking taylor expansion of 0 in x
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.048 * [taylor]: Taking taylor expansion of 0 in z
3.048 * [taylor]: Taking taylor expansion of 0 in y
3.048 * [taylor]: Taking taylor expansion of 0 in z
3.048 * [taylor]: Taking taylor expansion of 0 in z
3.048 * * * [progress]: simplifying candidates
3.048 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (* (exp x) (exp y)) (exp z)) (* (exp x) (* (exp y) (exp z))))
  (/ (* (* (exp x) (exp y)) (exp z)) (* (exp x) (exp (+ y z))))
  (/ (* (* (exp x) (exp y)) (exp z)) (exp (+ x (+ y z))))
  (/ (* (exp (+ x y)) (exp z)) (* (exp x) (* (exp y) (exp z))))
  (/ (* (exp (+ x y)) (exp z)) (* (exp x) (exp (+ y z))))
  (/ (* (exp (+ x y)) (exp z)) (exp (+ x (+ y z))))
  (/ (exp (+ (+ x y) z)) (* (exp x) (* (exp y) (exp z))))
  (/ (exp (+ (+ x y) z)) (* (exp x) (exp (+ y z))))
  (/ (exp (+ (+ x y) z)) (exp (+ x (+ y z))))
  (log (- (+ (+ x y) z) (+ x (+ y z))))
  (exp (- (+ (+ x y) z) (+ x (+ y z))))
  (* (cbrt (- (+ (+ x y) z) (+ x (+ y z)))) (cbrt (- (+ (+ x y) z) (+ x (+ y z)))))
  (cbrt (- (+ (+ x y) z) (+ x (+ y z))))
  (* (* (- (+ (+ x y) z) (+ x (+ y z))) (- (+ (+ x y) z) (+ x (+ y z)))) (- (+ (+ x y) z) (+ x (+ y z))))
  (sqrt (- (+ (+ x y) z) (+ x (+ y z))))
  (sqrt (- (+ (+ x y) z) (+ x (+ y z))))
  (- (* (+ (pow (+ x y) 3) (pow z 3)) (+ (* x x) (- (* (+ y z) (+ y z)) (* x (+ y z))))) (* (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z))) (+ (pow x 3) (pow (+ y z) 3))))
  (* (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z))) (+ (* x x) (- (* (+ y z) (+ y z)) (* x (+ y z)))))
  (- (* (+ (pow (+ x y) 3) (pow z 3)) (- x (+ y z))) (* (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z))) (- (* x x) (* (+ y z) (+ y z)))))
  (* (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z))) (- x (+ y z)))
  (- (* (- (* (+ x y) (+ x y)) (* z z)) (+ (* x x) (- (* (+ y z) (+ y z)) (* x (+ y z))))) (* (- (+ x y) z) (+ (pow x 3) (pow (+ y z) 3))))
  (* (- (+ x y) z) (+ (* x x) (- (* (+ y z) (+ y z)) (* x (+ y z)))))
  (- (* (- (* (+ x y) (+ x y)) (* z z)) (- x (+ y z))) (* (- (+ x y) z) (- (* x x) (* (+ y z) (+ y z)))))
  (* (- (+ x y) z) (- x (+ y z)))
  (- (pow (+ (+ x y) z) 3) (pow (+ x (+ y z)) 3))
  (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (+ x (+ y z)) (+ x (+ y z))) (* (+ (+ x y) z) (+ x (+ y z)))))
  (- (+ x (+ y z)))
  (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (+ x (+ y z)) (+ x (+ y z))))
  (+ (+ (+ x y) z) (+ x (+ y z)))
  (+ (sqrt (+ (+ x y) z)) (sqrt (+ x (+ y z))))
  (- (sqrt (+ (+ x y) z)) (sqrt (+ x (+ y z))))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) x)
  (- z (+ x (+ y z)))
  (- (+ x (+ y z)))
  0
  0
  0
3.051 * * [simplify]: iteration  0 :  92  enodes  (cost  765 )
3.070 * * [simplify]: iteration  1 :  297  enodes  (cost  708 )
3.124 * * [simplify]: iteration  2 :  1177  enodes  (cost  564 )
3.465 * * [simplify]: iteration  done :  5000  enodes  (cost  519 )
3.466 * [simplify]: Simplified to:
   1
  1
  1
  1
  1
  1
  1
  1
  1
  (log (- (+ (+ x y) z) (+ x (+ y z))))
  1
  (* (cbrt (- (+ (+ x y) z) (+ x (+ y z)))) (cbrt (- (+ (+ x y) z) (+ x (+ y z)))))
  (cbrt (- (+ (+ x y) z) (+ x (+ y z))))
  (pow (- (+ (+ x y) z) (+ x (+ y z))) 3)
  (sqrt (- (+ (+ x y) z) (+ x (+ y z))))
  (sqrt (- (+ (+ x y) z) (+ x (+ y z))))
  (- (* (+ (pow (+ x y) 3) (pow z 3)) (+ (* (+ y z) (- (+ y z) x)) (* x x))) (* (+ (pow x 3) (pow (+ y z) 3)) (+ (* (+ x y) (- (+ x y) z)) (* z z))))
  (* (+ (* (+ x y) (- (+ x y) z)) (* z z)) (+ (* (+ y z) (- (+ y z) x)) (* x x)))
  (* (- x (+ y z)) (- (+ (pow (+ x y) 3) (pow z 3)) (* (+ (* (+ x y) (- (+ x y) z)) (* z z)) (+ x (+ y z)))))
  (* (+ (* (+ x y) (- (+ x y) z)) (* z z)) (- x (+ y z)))
  (* (- (+ x y) z) (- (* (+ (* (+ y z) (- (+ y z) x)) (* x x)) (+ x (+ y z))) (+ (pow x 3) (pow (+ y z) 3))))
  (* (- (+ x y) z) (+ (* (+ y z) (- (+ y z) x)) (* x x)))
  (* (* (- (+ x y) z) (- x (+ y z))) (- (+ (+ x y) z) (+ x (+ y z))))
  (* (- (+ x y) z) (- x (+ y z)))
  (- (pow (+ (+ x y) z) 3) (pow (+ x (+ y z)) 3))
  (* (+ x (+ y z)) (+ (+ (* 2 (+ x (+ y z))) z) (+ x y)))
  (- (+ x (+ y z)))
  (* (- (+ (+ x y) z) (+ x (+ y z))) (+ x (+ y z)))
  (* 2 (+ x (+ y z)))
  (* 2 (sqrt (+ x (+ y z))))
  (- (sqrt (+ (+ x y) z)) (sqrt (+ x (+ y z))))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) (+ x (+ y z)))
  (- (+ (+ x y) z) x)
  (- z (+ x (+ y z)))
  (- (+ x (+ y z)))
  0
  0
  0
3.466 * * * [progress]: adding candidates to table
3.514 * [progress]: [Phase 3 of 3] Extracting.
3.515 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (+ x y) z) (+ x (+ y z)))
3.516 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
3.516 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
3.516 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
3.516 * [simplify]: Simplified to:
   (- (+ (+ x y) z) (+ x (+ y z)))
4.504 * [regime-testing]: End program error score: 0.03894410426294487