0.340 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.081 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.123 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
0.124 * * [simplify]: Extracting # 0 : cost  0
0.124 * * [simplify]: Extracting # 1 : cost  0
0.124 * * [simplify]: Extracting # 2 : cost  0
0.124 * * [simplify]: Extracting # 3 : cost  0
0.124 * * [simplify]: Extracting # 4 : cost  0
0.124 * * [simplify]: Extracting # 5 : cost  0
0.124 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
0.130 * * [simplify]: Extracting # 0 : cost  0
0.131 * * [simplify]: Extracting # 1 : cost  0
0.131 * * [simplify]: Extracting # 2 : cost  0
0.131 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
0.136 * * [simplify]: Extracting # 0 : cost  0
0.136 * * [simplify]: Extracting # 1 : cost  0
0.136 * * [simplify]: Extracting # 2 : cost  0
0.136 * * [simplify]: iteration  2 :  79  enodes  (cost  11 )
0.222 * * [simplify]: Extracting # 0 : cost  0
0.222 * * [simplify]: Extracting # 1 : cost  0
0.223 * * [simplify]: Extracting # 2 : cost  0
0.223 * * [simplify]: Extracting # 3 : cost  0
0.224 * * [simplify]: iteration  3 :  380  enodes  (cost  1 )
0.449 * * [simplify]: Extracting # 0 : cost  0
0.450 * * [simplify]: Extracting # 1 : cost  0
0.450 * * [simplify]: Extracting # 2 : cost  0
0.451 * * [simplify]: Extracting # 3 : cost  0
0.451 * * [simplify]: iteration  4 :  731  enodes  (cost  1 )
2.595 * * [simplify]: Extracting # 0 : cost  0
2.600 * * [simplify]: Extracting # 1 : cost  0
2.604 * * [simplify]: Extracting # 2 : cost  0
2.608 * * [simplify]: Extracting # 3 : cost  0
2.611 * * [simplify]: iteration  5 :  4455  enodes  (cost  1 )
7.167 * * [simplify]: Extracting # 0 : cost  0
7.177 * * [simplify]: Extracting # 1 : cost  0
7.181 * * [simplify]: Extracting # 2 : cost  0
7.185 * * [simplify]: iteration done:  5000  enodes  (cost  1 )
7.185 * [simplify]: Simplified to:
  0
7.190 * * [progress]: iteration 1 / 4
7.190 * * * [progress]: picking best candidate
7.192 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (+ x y) z) (+ x (+ y z))))>
7.192 * * * [progress]: localizing error
7.202 * * * [progress]: generating rewritten candidates
7.202 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.219 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.253 * * * [progress]: generating series expansions
7.253 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.256 * [backup-simplify]: Simplify (+ x (+ y z)) into (+ x (+ z y))
7.256 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
7.257 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
7.257 * [taylor]: Taking taylor expansion of x in z
7.257 * [backup-simplify]: Simplify x into x
7.257 * [taylor]: Taking taylor expansion of (+ z y) in z
7.257 * [taylor]: Taking taylor expansion of z in z
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [taylor]: Taking taylor expansion of y in z
7.257 * [backup-simplify]: Simplify y into y
7.257 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
7.257 * [taylor]: Taking taylor expansion of x in y
7.257 * [backup-simplify]: Simplify x into x
7.257 * [taylor]: Taking taylor expansion of (+ z y) in y
7.258 * [taylor]: Taking taylor expansion of z in y
7.258 * [backup-simplify]: Simplify z into z
7.258 * [taylor]: Taking taylor expansion of y in y
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 1 into 1
7.258 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.258 * [taylor]: Taking taylor expansion of x in x
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 1 into 1
7.258 * [taylor]: Taking taylor expansion of (+ z y) in x
7.258 * [taylor]: Taking taylor expansion of z in x
7.258 * [backup-simplify]: Simplify z into z
7.258 * [taylor]: Taking taylor expansion of y in x
7.258 * [backup-simplify]: Simplify y into y
7.258 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.258 * [taylor]: Taking taylor expansion of x in x
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 1 into 1
7.258 * [taylor]: Taking taylor expansion of (+ z y) in x
7.258 * [taylor]: Taking taylor expansion of z in x
7.258 * [backup-simplify]: Simplify z into z
7.258 * [taylor]: Taking taylor expansion of y in x
7.258 * [backup-simplify]: Simplify y into y
7.258 * [backup-simplify]: Simplify (+ z y) into (+ z y)
7.258 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
7.258 * [taylor]: Taking taylor expansion of (+ z y) in y
7.258 * [taylor]: Taking taylor expansion of z in y
7.258 * [backup-simplify]: Simplify z into z
7.258 * [taylor]: Taking taylor expansion of y in y
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 1 into 1
7.259 * [backup-simplify]: Simplify (+ z 0) into z
7.259 * [taylor]: Taking taylor expansion of z in z
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 1 into 1
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify (+ 0 0) into 0
7.260 * [backup-simplify]: Simplify (+ 1 0) into 1
7.260 * [taylor]: Taking taylor expansion of 1 in y
7.260 * [backup-simplify]: Simplify 1 into 1
7.260 * [taylor]: Taking taylor expansion of 1 in z
7.260 * [backup-simplify]: Simplify 1 into 1
7.260 * [backup-simplify]: Simplify 1 into 1
7.260 * [backup-simplify]: Simplify (+ 0 1) into 1
7.260 * [taylor]: Taking taylor expansion of 1 in z
7.260 * [backup-simplify]: Simplify 1 into 1
7.260 * [backup-simplify]: Simplify 1 into 1
7.260 * [backup-simplify]: Simplify 1 into 1
7.262 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
7.262 * [backup-simplify]: Simplify (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))
7.262 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in (x y z) around 0
7.262 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
7.262 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.262 * [taylor]: Taking taylor expansion of y in z
7.262 * [backup-simplify]: Simplify y into y
7.262 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.262 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
7.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.262 * [taylor]: Taking taylor expansion of z in z
7.262 * [backup-simplify]: Simplify 0 into 0
7.262 * [backup-simplify]: Simplify 1 into 1
7.263 * [backup-simplify]: Simplify (/ 1 1) into 1
7.263 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.263 * [taylor]: Taking taylor expansion of x in z
7.263 * [backup-simplify]: Simplify x into x
7.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.263 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
7.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.263 * [taylor]: Taking taylor expansion of y in y
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 1 into 1
7.263 * [backup-simplify]: Simplify (/ 1 1) into 1
7.263 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
7.263 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.263 * [taylor]: Taking taylor expansion of z in y
7.263 * [backup-simplify]: Simplify z into z
7.263 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.263 * [taylor]: Taking taylor expansion of x in y
7.263 * [backup-simplify]: Simplify x into x
7.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.263 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.263 * [taylor]: Taking taylor expansion of y in x
7.263 * [backup-simplify]: Simplify y into y
7.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.263 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.263 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.263 * [taylor]: Taking taylor expansion of z in x
7.263 * [backup-simplify]: Simplify z into z
7.263 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.263 * [taylor]: Taking taylor expansion of x in x
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 1 into 1
7.264 * [backup-simplify]: Simplify (/ 1 1) into 1
7.264 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.264 * [taylor]: Taking taylor expansion of y in x
7.264 * [backup-simplify]: Simplify y into y
7.264 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.264 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.264 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.264 * [taylor]: Taking taylor expansion of z in x
7.264 * [backup-simplify]: Simplify z into z
7.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.264 * [taylor]: Taking taylor expansion of x in x
7.264 * [backup-simplify]: Simplify 0 into 0
7.264 * [backup-simplify]: Simplify 1 into 1
7.265 * [backup-simplify]: Simplify (/ 1 1) into 1
7.265 * [backup-simplify]: Simplify (+ 0 1) into 1
7.265 * [backup-simplify]: Simplify (+ 0 1) into 1
7.265 * [taylor]: Taking taylor expansion of 1 in y
7.265 * [backup-simplify]: Simplify 1 into 1
7.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.266 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.266 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
7.266 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.266 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.266 * [taylor]: Taking taylor expansion of z in y
7.266 * [backup-simplify]: Simplify z into z
7.266 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.266 * [taylor]: Taking taylor expansion of y in y
7.266 * [backup-simplify]: Simplify 0 into 0
7.266 * [backup-simplify]: Simplify 1 into 1
7.266 * [backup-simplify]: Simplify (/ 1 1) into 1
7.266 * [backup-simplify]: Simplify (+ 0 1) into 1
7.267 * [taylor]: Taking taylor expansion of 1 in z
7.267 * [backup-simplify]: Simplify 1 into 1
7.267 * [taylor]: Taking taylor expansion of 1 in z
7.267 * [backup-simplify]: Simplify 1 into 1
7.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.267 * [backup-simplify]: Simplify (+ 0 0) into 0
7.268 * [backup-simplify]: Simplify (+ 0 0) into 0
7.268 * [taylor]: Taking taylor expansion of 0 in y
7.268 * [backup-simplify]: Simplify 0 into 0
7.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.268 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.268 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.268 * [taylor]: Taking taylor expansion of z in z
7.268 * [backup-simplify]: Simplify 0 into 0
7.268 * [backup-simplify]: Simplify 1 into 1
7.268 * [backup-simplify]: Simplify (/ 1 1) into 1
7.268 * [backup-simplify]: Simplify 1 into 1
7.269 * [taylor]: Taking taylor expansion of 0 in z
7.269 * [backup-simplify]: Simplify 0 into 0
7.269 * [backup-simplify]: Simplify 1 into 1
7.269 * [backup-simplify]: Simplify 1 into 1
7.269 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ x (+ z y))
7.269 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))
7.269 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z) around 0
7.269 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
7.269 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
7.269 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.269 * [taylor]: Taking taylor expansion of y in z
7.269 * [backup-simplify]: Simplify y into y
7.269 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.269 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
7.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.269 * [taylor]: Taking taylor expansion of z in z
7.269 * [backup-simplify]: Simplify 0 into 0
7.269 * [backup-simplify]: Simplify 1 into 1
7.270 * [backup-simplify]: Simplify (/ 1 1) into 1
7.270 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.270 * [taylor]: Taking taylor expansion of x in z
7.270 * [backup-simplify]: Simplify x into x
7.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.270 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
7.270 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
7.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.270 * [taylor]: Taking taylor expansion of y in y
7.270 * [backup-simplify]: Simplify 0 into 0
7.270 * [backup-simplify]: Simplify 1 into 1
7.270 * [backup-simplify]: Simplify (/ 1 1) into 1
7.270 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
7.270 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.270 * [taylor]: Taking taylor expansion of z in y
7.270 * [backup-simplify]: Simplify z into z
7.270 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.270 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.270 * [taylor]: Taking taylor expansion of x in y
7.270 * [backup-simplify]: Simplify x into x
7.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.270 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
7.270 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.270 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.270 * [taylor]: Taking taylor expansion of y in x
7.270 * [backup-simplify]: Simplify y into y
7.270 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.270 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.270 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.270 * [taylor]: Taking taylor expansion of z in x
7.270 * [backup-simplify]: Simplify z into z
7.270 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.270 * [taylor]: Taking taylor expansion of x in x
7.270 * [backup-simplify]: Simplify 0 into 0
7.270 * [backup-simplify]: Simplify 1 into 1
7.271 * [backup-simplify]: Simplify (/ 1 1) into 1
7.271 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
7.271 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.271 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.271 * [taylor]: Taking taylor expansion of y in x
7.271 * [backup-simplify]: Simplify y into y
7.271 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.271 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.271 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.271 * [taylor]: Taking taylor expansion of z in x
7.271 * [backup-simplify]: Simplify z into z
7.271 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.271 * [taylor]: Taking taylor expansion of x in x
7.271 * [backup-simplify]: Simplify 0 into 0
7.271 * [backup-simplify]: Simplify 1 into 1
7.271 * [backup-simplify]: Simplify (/ 1 1) into 1
7.271 * [backup-simplify]: Simplify (+ 0 1) into 1
7.272 * [backup-simplify]: Simplify (+ 0 1) into 1
7.272 * [backup-simplify]: Simplify (- 1) into -1
7.272 * [taylor]: Taking taylor expansion of -1 in y
7.272 * [backup-simplify]: Simplify -1 into -1
7.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.272 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.272 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
7.273 * [backup-simplify]: Simplify (- (+ (/ 1 z) (/ 1 y))) into (- (+ (/ 1 z) (/ 1 y)))
7.273 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y
7.273 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.273 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.273 * [taylor]: Taking taylor expansion of z in y
7.273 * [backup-simplify]: Simplify z into z
7.273 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.273 * [taylor]: Taking taylor expansion of y in y
7.273 * [backup-simplify]: Simplify 0 into 0
7.273 * [backup-simplify]: Simplify 1 into 1
7.273 * [backup-simplify]: Simplify (/ 1 1) into 1
7.273 * [backup-simplify]: Simplify (+ 0 1) into 1
7.273 * [backup-simplify]: Simplify (- 1) into -1
7.273 * [taylor]: Taking taylor expansion of -1 in z
7.273 * [backup-simplify]: Simplify -1 into -1
7.273 * [taylor]: Taking taylor expansion of -1 in z
7.273 * [backup-simplify]: Simplify -1 into -1
7.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.274 * [backup-simplify]: Simplify (+ 0 0) into 0
7.275 * [backup-simplify]: Simplify (+ 0 0) into 0
7.275 * [backup-simplify]: Simplify (- 0) into 0
7.275 * [taylor]: Taking taylor expansion of 0 in y
7.275 * [backup-simplify]: Simplify 0 into 0
7.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.275 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.275 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.275 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.275 * [taylor]: Taking taylor expansion of z in z
7.275 * [backup-simplify]: Simplify 0 into 0
7.275 * [backup-simplify]: Simplify 1 into 1
7.276 * [backup-simplify]: Simplify (/ 1 1) into 1
7.276 * [backup-simplify]: Simplify (- 1) into -1
7.276 * [backup-simplify]: Simplify -1 into -1
7.276 * [taylor]: Taking taylor expansion of 0 in z
7.276 * [backup-simplify]: Simplify 0 into 0
7.276 * [backup-simplify]: Simplify -1 into -1
7.276 * [backup-simplify]: Simplify -1 into -1
7.276 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ x (+ z y))
7.276 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.277 * [backup-simplify]: Simplify (+ (+ x y) z) into (+ x (+ z y))
7.277 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
7.277 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
7.277 * [taylor]: Taking taylor expansion of x in z
7.277 * [backup-simplify]: Simplify x into x
7.277 * [taylor]: Taking taylor expansion of (+ z y) in z
7.277 * [taylor]: Taking taylor expansion of z in z
7.277 * [backup-simplify]: Simplify 0 into 0
7.277 * [backup-simplify]: Simplify 1 into 1
7.277 * [taylor]: Taking taylor expansion of y in z
7.277 * [backup-simplify]: Simplify y into y
7.277 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
7.277 * [taylor]: Taking taylor expansion of x in y
7.277 * [backup-simplify]: Simplify x into x
7.277 * [taylor]: Taking taylor expansion of (+ z y) in y
7.277 * [taylor]: Taking taylor expansion of z in y
7.277 * [backup-simplify]: Simplify z into z
7.277 * [taylor]: Taking taylor expansion of y in y
7.277 * [backup-simplify]: Simplify 0 into 0
7.277 * [backup-simplify]: Simplify 1 into 1
7.277 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.277 * [taylor]: Taking taylor expansion of x in x
7.277 * [backup-simplify]: Simplify 0 into 0
7.277 * [backup-simplify]: Simplify 1 into 1
7.277 * [taylor]: Taking taylor expansion of (+ z y) in x
7.277 * [taylor]: Taking taylor expansion of z in x
7.277 * [backup-simplify]: Simplify z into z
7.277 * [taylor]: Taking taylor expansion of y in x
7.277 * [backup-simplify]: Simplify y into y
7.277 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.277 * [taylor]: Taking taylor expansion of x in x
7.277 * [backup-simplify]: Simplify 0 into 0
7.277 * [backup-simplify]: Simplify 1 into 1
7.277 * [taylor]: Taking taylor expansion of (+ z y) in x
7.277 * [taylor]: Taking taylor expansion of z in x
7.277 * [backup-simplify]: Simplify z into z
7.277 * [taylor]: Taking taylor expansion of y in x
7.277 * [backup-simplify]: Simplify y into y
7.277 * [backup-simplify]: Simplify (+ z y) into (+ z y)
7.277 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
7.277 * [taylor]: Taking taylor expansion of (+ z y) in y
7.277 * [taylor]: Taking taylor expansion of z in y
7.277 * [backup-simplify]: Simplify z into z
7.277 * [taylor]: Taking taylor expansion of y in y
7.277 * [backup-simplify]: Simplify 0 into 0
7.277 * [backup-simplify]: Simplify 1 into 1
7.277 * [backup-simplify]: Simplify (+ z 0) into z
7.277 * [taylor]: Taking taylor expansion of z in z
7.277 * [backup-simplify]: Simplify 0 into 0
7.277 * [backup-simplify]: Simplify 1 into 1
7.277 * [backup-simplify]: Simplify 0 into 0
7.278 * [backup-simplify]: Simplify (+ 0 0) into 0
7.278 * [backup-simplify]: Simplify (+ 1 0) into 1
7.278 * [taylor]: Taking taylor expansion of 1 in y
7.278 * [backup-simplify]: Simplify 1 into 1
7.278 * [taylor]: Taking taylor expansion of 1 in z
7.278 * [backup-simplify]: Simplify 1 into 1
7.278 * [backup-simplify]: Simplify 1 into 1
7.278 * [backup-simplify]: Simplify (+ 0 1) into 1
7.278 * [taylor]: Taking taylor expansion of 1 in z
7.278 * [backup-simplify]: Simplify 1 into 1
7.278 * [backup-simplify]: Simplify 1 into 1
7.278 * [backup-simplify]: Simplify 1 into 1
7.279 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
7.279 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z)) into (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))
7.279 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0
7.279 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
7.279 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.279 * [taylor]: Taking taylor expansion of z in z
7.279 * [backup-simplify]: Simplify 0 into 0
7.279 * [backup-simplify]: Simplify 1 into 1
7.279 * [backup-simplify]: Simplify (/ 1 1) into 1
7.279 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
7.279 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.279 * [taylor]: Taking taylor expansion of y in z
7.279 * [backup-simplify]: Simplify y into y
7.279 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.279 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.279 * [taylor]: Taking taylor expansion of x in z
7.279 * [backup-simplify]: Simplify x into x
7.279 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.279 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
7.279 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.279 * [taylor]: Taking taylor expansion of z in y
7.279 * [backup-simplify]: Simplify z into z
7.279 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.279 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
7.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.279 * [taylor]: Taking taylor expansion of y in y
7.279 * [backup-simplify]: Simplify 0 into 0
7.279 * [backup-simplify]: Simplify 1 into 1
7.280 * [backup-simplify]: Simplify (/ 1 1) into 1
7.280 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.280 * [taylor]: Taking taylor expansion of x in y
7.280 * [backup-simplify]: Simplify x into x
7.280 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.280 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.280 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.280 * [taylor]: Taking taylor expansion of z in x
7.280 * [backup-simplify]: Simplify z into z
7.280 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.280 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.280 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.280 * [taylor]: Taking taylor expansion of y in x
7.280 * [backup-simplify]: Simplify y into y
7.280 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.280 * [taylor]: Taking taylor expansion of x in x
7.280 * [backup-simplify]: Simplify 0 into 0
7.280 * [backup-simplify]: Simplify 1 into 1
7.280 * [backup-simplify]: Simplify (/ 1 1) into 1
7.280 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.280 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.280 * [taylor]: Taking taylor expansion of z in x
7.280 * [backup-simplify]: Simplify z into z
7.280 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.280 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.280 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.280 * [taylor]: Taking taylor expansion of y in x
7.280 * [backup-simplify]: Simplify y into y
7.280 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.280 * [taylor]: Taking taylor expansion of x in x
7.280 * [backup-simplify]: Simplify 0 into 0
7.280 * [backup-simplify]: Simplify 1 into 1
7.281 * [backup-simplify]: Simplify (/ 1 1) into 1
7.281 * [backup-simplify]: Simplify (+ 0 1) into 1
7.281 * [backup-simplify]: Simplify (+ 0 1) into 1
7.281 * [taylor]: Taking taylor expansion of 1 in y
7.281 * [backup-simplify]: Simplify 1 into 1
7.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.282 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.282 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
7.282 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
7.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.282 * [taylor]: Taking taylor expansion of y in y
7.282 * [backup-simplify]: Simplify 0 into 0
7.282 * [backup-simplify]: Simplify 1 into 1
7.282 * [backup-simplify]: Simplify (/ 1 1) into 1
7.282 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.282 * [taylor]: Taking taylor expansion of z in y
7.282 * [backup-simplify]: Simplify z into z
7.282 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.282 * [backup-simplify]: Simplify (+ 1 0) into 1
7.282 * [taylor]: Taking taylor expansion of 1 in z
7.283 * [backup-simplify]: Simplify 1 into 1
7.283 * [taylor]: Taking taylor expansion of 1 in z
7.283 * [backup-simplify]: Simplify 1 into 1
7.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.283 * [backup-simplify]: Simplify (+ 0 0) into 0
7.284 * [backup-simplify]: Simplify (+ 0 0) into 0
7.284 * [taylor]: Taking taylor expansion of 0 in y
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.284 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.284 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.284 * [taylor]: Taking taylor expansion of z in z
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 1 into 1
7.284 * [backup-simplify]: Simplify (/ 1 1) into 1
7.284 * [backup-simplify]: Simplify 1 into 1
7.284 * [taylor]: Taking taylor expansion of 0 in z
7.284 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 1 into 1
7.285 * [backup-simplify]: Simplify 1 into 1
7.285 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ x (+ z y))
7.285 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))))
7.285 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
7.285 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
7.285 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
7.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.285 * [taylor]: Taking taylor expansion of z in z
7.285 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 1 into 1
7.285 * [backup-simplify]: Simplify (/ 1 1) into 1
7.285 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
7.285 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.286 * [taylor]: Taking taylor expansion of y in z
7.286 * [backup-simplify]: Simplify y into y
7.286 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.286 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.286 * [taylor]: Taking taylor expansion of x in z
7.286 * [backup-simplify]: Simplify x into x
7.286 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.286 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
7.286 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
7.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.286 * [taylor]: Taking taylor expansion of z in y
7.286 * [backup-simplify]: Simplify z into z
7.286 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.286 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
7.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.286 * [taylor]: Taking taylor expansion of y in y
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 1 into 1
7.286 * [backup-simplify]: Simplify (/ 1 1) into 1
7.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.286 * [taylor]: Taking taylor expansion of x in y
7.286 * [backup-simplify]: Simplify x into x
7.286 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.286 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
7.286 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.286 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.286 * [taylor]: Taking taylor expansion of z in x
7.286 * [backup-simplify]: Simplify z into z
7.286 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.286 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.286 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.286 * [taylor]: Taking taylor expansion of y in x
7.286 * [backup-simplify]: Simplify y into y
7.286 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.286 * [taylor]: Taking taylor expansion of x in x
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 1 into 1
7.287 * [backup-simplify]: Simplify (/ 1 1) into 1
7.287 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
7.287 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.287 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.287 * [taylor]: Taking taylor expansion of z in x
7.287 * [backup-simplify]: Simplify z into z
7.287 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.287 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.287 * [taylor]: Taking taylor expansion of y in x
7.287 * [backup-simplify]: Simplify y into y
7.287 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.287 * [taylor]: Taking taylor expansion of x in x
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 1 into 1
7.287 * [backup-simplify]: Simplify (/ 1 1) into 1
7.287 * [backup-simplify]: Simplify (+ 0 1) into 1
7.288 * [backup-simplify]: Simplify (+ 0 1) into 1
7.288 * [backup-simplify]: Simplify (- 1) into -1
7.288 * [taylor]: Taking taylor expansion of -1 in y
7.288 * [backup-simplify]: Simplify -1 into -1
7.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.288 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.288 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
7.289 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
7.289 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
7.289 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
7.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.289 * [taylor]: Taking taylor expansion of y in y
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 1 into 1
7.289 * [backup-simplify]: Simplify (/ 1 1) into 1
7.289 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.289 * [taylor]: Taking taylor expansion of z in y
7.289 * [backup-simplify]: Simplify z into z
7.289 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.289 * [backup-simplify]: Simplify (+ 1 0) into 1
7.289 * [backup-simplify]: Simplify (- 1) into -1
7.289 * [taylor]: Taking taylor expansion of -1 in z
7.289 * [backup-simplify]: Simplify -1 into -1
7.289 * [taylor]: Taking taylor expansion of -1 in z
7.289 * [backup-simplify]: Simplify -1 into -1
7.290 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.290 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.290 * [backup-simplify]: Simplify (+ 0 0) into 0
7.291 * [backup-simplify]: Simplify (+ 0 0) into 0
7.291 * [backup-simplify]: Simplify (- 0) into 0
7.291 * [taylor]: Taking taylor expansion of 0 in y
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.291 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.291 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.291 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.291 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.291 * [taylor]: Taking taylor expansion of z in z
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify 1 into 1
7.292 * [backup-simplify]: Simplify (/ 1 1) into 1
7.292 * [backup-simplify]: Simplify (- 1) into -1
7.292 * [backup-simplify]: Simplify -1 into -1
7.292 * [taylor]: Taking taylor expansion of 0 in z
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify -1 into -1
7.292 * [backup-simplify]: Simplify -1 into -1
7.292 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ x (+ z y))
7.292 * * * [progress]: simplifying candidates
7.293 * [simplify]: Simplifying:
  (* (exp x) (* (exp y) (exp z)))
  (* (exp x) (exp (+ y z)))
  (log (+ x (+ y z)))
  (exp (+ x (+ y z)))
  (* (cbrt (+ x (+ y z))) (cbrt (+ x (+ y z))))
  (cbrt (+ x (+ y z)))
  (* (* (+ x (+ y z)) (+ x (+ y z))) (+ x (+ y z)))
  (sqrt (+ x (+ y z)))
  (sqrt (+ x (+ y z)))
  (+ (pow x 3) (pow (+ y z) 3))
  (+ (* x x) (- (* (+ y z) (+ y z)) (* x (+ y z))))
  (- (* x x) (* (+ y z) (+ y z)))
  (- x (+ y z))
  (+ x (+ y z))
  (+ x (+ y z))
  (+ x y)
  (* (* (exp x) (exp y)) (exp z))
  (* (exp (+ x y)) (exp z))
  (log (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))
  (cbrt (+ (+ x y) z))
  (* (* (+ (+ x y) z) (+ (+ x y) z)) (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (+ (pow (+ x y) 3) (pow z 3))
  (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))
  (- (* (+ x y) (+ x y)) (* z z))
  (- (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ y z)
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
7.294 * * [simplify]: Extracting # 0 : cost  0
7.294 * * [simplify]: Extracting # 1 : cost  0
7.294 * * [simplify]: Extracting # 2 : cost  0
7.294 * * [simplify]: Extracting # 3 : cost  0
7.294 * * [simplify]: Extracting # 4 : cost  0
7.294 * * [simplify]: Extracting # 5 : cost  0
7.294 * * [simplify]: iteration  0 :  55  enodes  (cost  290 )
7.306 * * [simplify]: Extracting # 0 : cost  0
7.306 * * [simplify]: Extracting # 1 : cost  0
7.306 * * [simplify]: Extracting # 2 : cost  0
7.306 * * [simplify]: Extracting # 3 : cost  0
7.307 * * [simplify]: Extracting # 4 : cost  0
7.307 * * [simplify]: iteration  1 :  159  enodes  (cost  278 )
7.354 * * [simplify]: Extracting # 0 : cost  0
7.355 * * [simplify]: Extracting # 1 : cost  0
7.356 * * [simplify]: Extracting # 2 : cost  0
7.356 * * [simplify]: Extracting # 3 : cost  0
7.357 * * [simplify]: Extracting # 4 : cost  0
7.358 * * [simplify]: iteration  2 :  580  enodes  (cost  258 )
7.711 * * [simplify]: Extracting # 0 : cost  0
7.714 * * [simplify]: Extracting # 1 : cost  0
7.716 * * [simplify]: Extracting # 2 : cost  0
7.718 * * [simplify]: Extracting # 3 : cost  0
7.720 * * [simplify]: Extracting # 4 : cost  0
7.722 * * [simplify]: iteration  3 :  2554  enodes  (cost  256 )
8.271 * * [simplify]: Extracting # 0 : cost  0
8.277 * * [simplify]: Extracting # 1 : cost  0
8.286 * * [simplify]: Extracting # 2 : cost  0
8.291 * * [simplify]: Extracting # 3 : cost  0
8.296 * * [simplify]: iteration done:  5000  enodes  (cost  256 )
8.296 * [simplify]: Simplified to:
  (exp (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (log (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))
  (cbrt (+ (+ x y) z))
  (pow (+ (+ x y) z) 3)
  (sqrt (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (+ (pow x 3) (pow (+ y z) 3))
  (+ (* x x) (* (+ y z) (- (+ y z) x)))
  (- (* x x) (* (+ y z) (+ y z)))
  (- x (+ y z))
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ x y)
  (exp (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (log (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))
  (cbrt (+ (+ x y) z))
  (pow (+ (+ x y) z) 3)
  (sqrt (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (+ (pow (+ x y) 3) (pow z 3))
  (- (* z z) (* (+ x y) (- z (+ x y))))
  (- (* (+ x y) (+ x y)) (* z z))
  (- (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ y z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
8.296 * * * [progress]: adding candidates to table
8.351 * [progress]: [Phase 3 of 3] Extracting.
8.353 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
8.353 * * [simplify]: Extracting # 0 : cost  0
8.353 * * [simplify]: Extracting # 1 : cost  0
8.353 * * [simplify]: Extracting # 2 : cost  0
8.353 * * [simplify]: Extracting # 3 : cost  0
8.353 * * [simplify]: Extracting # 4 : cost  0
8.353 * * [simplify]: Extracting # 5 : cost  0
8.353 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
8.353 * * [simplify]: Extracting # 0 : cost  0
8.353 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
8.354 * * [simplify]: Extracting # 0 : cost  0
8.354 * * [simplify]: iteration done:  12  enodes  (cost  11 )
8.354 * [simplify]: Simplified to:
  (- (+ (+ x y) z) (+ x (+ y z)))
10.443 * [regime-testing]: Baseline error score: 0.023069816037547066
10.445 * [regime-testing]: Oracle error score: 0.023069816037547066
10.446 * [regime-testing]: End program error score: 0.023069816037547066