0.675 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.109 * * * [progress]: [2/2] Setting up program.
0.112 * [progress]: [Phase 2 of 3] Improving.
0.114 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
0.115 * * [simplify]: Extracting # 0 : cost  0
0.115 * * [simplify]: Extracting # 1 : cost  0
0.115 * * [simplify]: Extracting # 2 : cost  0
0.115 * * [simplify]: Extracting # 3 : cost  0
0.115 * * [simplify]: Extracting # 4 : cost  0
0.115 * * [simplify]: Extracting # 5 : cost  0
0.115 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
0.120 * * [simplify]: Extracting # 0 : cost  0
0.120 * * [simplify]: Extracting # 1 : cost  0
0.120 * * [simplify]: Extracting # 2 : cost  0
0.120 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
0.153 * * [simplify]: Extracting # 0 : cost  0
0.153 * * [simplify]: Extracting # 1 : cost  0
0.153 * * [simplify]: Extracting # 2 : cost  0
0.153 * * [simplify]: iteration  2 :  79  enodes  (cost  11 )
0.191 * * [simplify]: Extracting # 0 : cost  0
0.192 * * [simplify]: Extracting # 1 : cost  0
0.192 * * [simplify]: Extracting # 2 : cost  0
0.192 * * [simplify]: Extracting # 3 : cost  0
0.193 * * [simplify]: iteration  3 :  380  enodes  (cost  1 )
0.384 * * [simplify]: Extracting # 0 : cost  0
0.385 * * [simplify]: Extracting # 1 : cost  0
0.385 * * [simplify]: Extracting # 2 : cost  0
0.385 * * [simplify]: Extracting # 3 : cost  0
0.386 * * [simplify]: iteration  4 :  731  enodes  (cost  1 )
2.493 * * [simplify]: Extracting # 0 : cost  0
2.503 * * [simplify]: Extracting # 1 : cost  0
2.507 * * [simplify]: Extracting # 2 : cost  0
2.511 * * [simplify]: Extracting # 3 : cost  0
2.514 * * [simplify]: iteration  5 :  4455  enodes  (cost  1 )
7.238 * * [simplify]: Extracting # 0 : cost  0
7.243 * * [simplify]: Extracting # 1 : cost  0
7.251 * * [simplify]: Extracting # 2 : cost  0
7.255 * * [simplify]: iteration done:  5000  enodes  (cost  1 )
7.255 * [simplify]: Simplified to:
  0
7.260 * * [progress]: iteration 1 / 4
7.260 * * * [progress]: picking best candidate
7.261 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (+ x y) z) (+ x (+ y z))))>
7.261 * * * [progress]: localizing error
7.271 * * * [progress]: generating rewritten candidates
7.271 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.288 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.320 * * * [progress]: generating series expansions
7.321 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.324 * [backup-simplify]: Simplify (+ x (+ y z)) into (+ x (+ z y))
7.324 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
7.324 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
7.324 * [taylor]: Taking taylor expansion of x in z
7.324 * [backup-simplify]: Simplify x into x
7.325 * [taylor]: Taking taylor expansion of (+ z y) in z
7.325 * [taylor]: Taking taylor expansion of z in z
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 1 into 1
7.325 * [taylor]: Taking taylor expansion of y in z
7.325 * [backup-simplify]: Simplify y into y
7.325 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
7.325 * [taylor]: Taking taylor expansion of x in y
7.325 * [backup-simplify]: Simplify x into x
7.325 * [taylor]: Taking taylor expansion of (+ z y) in y
7.325 * [taylor]: Taking taylor expansion of z in y
7.325 * [backup-simplify]: Simplify z into z
7.325 * [taylor]: Taking taylor expansion of y in y
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 1 into 1
7.325 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.325 * [taylor]: Taking taylor expansion of x in x
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 1 into 1
7.325 * [taylor]: Taking taylor expansion of (+ z y) in x
7.325 * [taylor]: Taking taylor expansion of z in x
7.325 * [backup-simplify]: Simplify z into z
7.325 * [taylor]: Taking taylor expansion of y in x
7.325 * [backup-simplify]: Simplify y into y
7.325 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.325 * [taylor]: Taking taylor expansion of x in x
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 1 into 1
7.325 * [taylor]: Taking taylor expansion of (+ z y) in x
7.325 * [taylor]: Taking taylor expansion of z in x
7.325 * [backup-simplify]: Simplify z into z
7.325 * [taylor]: Taking taylor expansion of y in x
7.325 * [backup-simplify]: Simplify y into y
7.326 * [backup-simplify]: Simplify (+ z y) into (+ z y)
7.326 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
7.326 * [taylor]: Taking taylor expansion of (+ z y) in y
7.326 * [taylor]: Taking taylor expansion of z in y
7.326 * [backup-simplify]: Simplify z into z
7.326 * [taylor]: Taking taylor expansion of y in y
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify 1 into 1
7.326 * [backup-simplify]: Simplify (+ z 0) into z
7.326 * [taylor]: Taking taylor expansion of z in z
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify 1 into 1
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify (+ 0 0) into 0
7.327 * [backup-simplify]: Simplify (+ 1 0) into 1
7.327 * [taylor]: Taking taylor expansion of 1 in y
7.327 * [backup-simplify]: Simplify 1 into 1
7.327 * [taylor]: Taking taylor expansion of 1 in z
7.327 * [backup-simplify]: Simplify 1 into 1
7.327 * [backup-simplify]: Simplify 1 into 1
7.327 * [backup-simplify]: Simplify (+ 0 1) into 1
7.327 * [taylor]: Taking taylor expansion of 1 in z
7.327 * [backup-simplify]: Simplify 1 into 1
7.327 * [backup-simplify]: Simplify 1 into 1
7.327 * [backup-simplify]: Simplify 1 into 1
7.329 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
7.329 * [backup-simplify]: Simplify (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))
7.329 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in (x y z) around 0
7.329 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
7.329 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.329 * [taylor]: Taking taylor expansion of y in z
7.329 * [backup-simplify]: Simplify y into y
7.329 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.329 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
7.329 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.329 * [taylor]: Taking taylor expansion of z in z
7.329 * [backup-simplify]: Simplify 0 into 0
7.329 * [backup-simplify]: Simplify 1 into 1
7.330 * [backup-simplify]: Simplify (/ 1 1) into 1
7.330 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.330 * [taylor]: Taking taylor expansion of x in z
7.330 * [backup-simplify]: Simplify x into x
7.330 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.330 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
7.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.330 * [taylor]: Taking taylor expansion of y in y
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify 1 into 1
7.330 * [backup-simplify]: Simplify (/ 1 1) into 1
7.330 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
7.330 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.330 * [taylor]: Taking taylor expansion of z in y
7.330 * [backup-simplify]: Simplify z into z
7.330 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.330 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.330 * [taylor]: Taking taylor expansion of x in y
7.330 * [backup-simplify]: Simplify x into x
7.330 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.330 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.330 * [taylor]: Taking taylor expansion of y in x
7.330 * [backup-simplify]: Simplify y into y
7.330 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.330 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.330 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.330 * [taylor]: Taking taylor expansion of z in x
7.330 * [backup-simplify]: Simplify z into z
7.330 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.330 * [taylor]: Taking taylor expansion of x in x
7.330 * [backup-simplify]: Simplify 0 into 0
7.331 * [backup-simplify]: Simplify 1 into 1
7.331 * [backup-simplify]: Simplify (/ 1 1) into 1
7.331 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.331 * [taylor]: Taking taylor expansion of y in x
7.331 * [backup-simplify]: Simplify y into y
7.331 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.331 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.331 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.331 * [taylor]: Taking taylor expansion of z in x
7.331 * [backup-simplify]: Simplify z into z
7.331 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.331 * [taylor]: Taking taylor expansion of x in x
7.331 * [backup-simplify]: Simplify 0 into 0
7.331 * [backup-simplify]: Simplify 1 into 1
7.331 * [backup-simplify]: Simplify (/ 1 1) into 1
7.332 * [backup-simplify]: Simplify (+ 0 1) into 1
7.332 * [backup-simplify]: Simplify (+ 0 1) into 1
7.332 * [taylor]: Taking taylor expansion of 1 in y
7.332 * [backup-simplify]: Simplify 1 into 1
7.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.332 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.333 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
7.333 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.333 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.333 * [taylor]: Taking taylor expansion of z in y
7.333 * [backup-simplify]: Simplify z into z
7.333 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.333 * [taylor]: Taking taylor expansion of y in y
7.333 * [backup-simplify]: Simplify 0 into 0
7.333 * [backup-simplify]: Simplify 1 into 1
7.333 * [backup-simplify]: Simplify (/ 1 1) into 1
7.333 * [backup-simplify]: Simplify (+ 0 1) into 1
7.333 * [taylor]: Taking taylor expansion of 1 in z
7.333 * [backup-simplify]: Simplify 1 into 1
7.333 * [taylor]: Taking taylor expansion of 1 in z
7.333 * [backup-simplify]: Simplify 1 into 1
7.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.334 * [backup-simplify]: Simplify (+ 0 0) into 0
7.334 * [backup-simplify]: Simplify (+ 0 0) into 0
7.334 * [taylor]: Taking taylor expansion of 0 in y
7.334 * [backup-simplify]: Simplify 0 into 0
7.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.335 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.335 * [taylor]: Taking taylor expansion of z in z
7.335 * [backup-simplify]: Simplify 0 into 0
7.335 * [backup-simplify]: Simplify 1 into 1
7.335 * [backup-simplify]: Simplify (/ 1 1) into 1
7.335 * [backup-simplify]: Simplify 1 into 1
7.335 * [taylor]: Taking taylor expansion of 0 in z
7.335 * [backup-simplify]: Simplify 0 into 0
7.335 * [backup-simplify]: Simplify 1 into 1
7.335 * [backup-simplify]: Simplify 1 into 1
7.336 * [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.336 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))
7.336 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z) around 0
7.336 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
7.336 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
7.336 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.336 * [taylor]: Taking taylor expansion of y in z
7.336 * [backup-simplify]: Simplify y into y
7.336 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.336 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
7.336 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.336 * [taylor]: Taking taylor expansion of z in z
7.336 * [backup-simplify]: Simplify 0 into 0
7.336 * [backup-simplify]: Simplify 1 into 1
7.336 * [backup-simplify]: Simplify (/ 1 1) into 1
7.336 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.336 * [taylor]: Taking taylor expansion of x in z
7.336 * [backup-simplify]: Simplify x into x
7.336 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.336 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
7.336 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
7.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.336 * [taylor]: Taking taylor expansion of y in y
7.336 * [backup-simplify]: Simplify 0 into 0
7.336 * [backup-simplify]: Simplify 1 into 1
7.337 * [backup-simplify]: Simplify (/ 1 1) into 1
7.337 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
7.337 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.337 * [taylor]: Taking taylor expansion of z in y
7.337 * [backup-simplify]: Simplify z into z
7.337 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.337 * [taylor]: Taking taylor expansion of x in y
7.337 * [backup-simplify]: Simplify x into x
7.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.337 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
7.337 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.337 * [taylor]: Taking taylor expansion of y in x
7.337 * [backup-simplify]: Simplify y into y
7.337 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.337 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.337 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.337 * [taylor]: Taking taylor expansion of z in x
7.337 * [backup-simplify]: Simplify z into z
7.337 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.337 * [taylor]: Taking taylor expansion of x in x
7.337 * [backup-simplify]: Simplify 0 into 0
7.337 * [backup-simplify]: Simplify 1 into 1
7.337 * [backup-simplify]: Simplify (/ 1 1) into 1
7.337 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
7.337 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.337 * [taylor]: Taking taylor expansion of y in x
7.337 * [backup-simplify]: Simplify y into y
7.337 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.337 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.337 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.337 * [taylor]: Taking taylor expansion of z in x
7.337 * [backup-simplify]: Simplify z into z
7.337 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.337 * [taylor]: Taking taylor expansion of x in x
7.337 * [backup-simplify]: Simplify 0 into 0
7.337 * [backup-simplify]: Simplify 1 into 1
7.338 * [backup-simplify]: Simplify (/ 1 1) into 1
7.338 * [backup-simplify]: Simplify (+ 0 1) into 1
7.338 * [backup-simplify]: Simplify (+ 0 1) into 1
7.338 * [backup-simplify]: Simplify (- 1) into -1
7.338 * [taylor]: Taking taylor expansion of -1 in y
7.338 * [backup-simplify]: Simplify -1 into -1
7.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.339 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.339 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
7.339 * [backup-simplify]: Simplify (- (+ (/ 1 z) (/ 1 y))) into (- (+ (/ 1 z) (/ 1 y)))
7.339 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y
7.339 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.339 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.339 * [taylor]: Taking taylor expansion of z in y
7.339 * [backup-simplify]: Simplify z into z
7.339 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.339 * [taylor]: Taking taylor expansion of y in y
7.339 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify 1 into 1
7.339 * [backup-simplify]: Simplify (/ 1 1) into 1
7.340 * [backup-simplify]: Simplify (+ 0 1) into 1
7.340 * [backup-simplify]: Simplify (- 1) into -1
7.340 * [taylor]: Taking taylor expansion of -1 in z
7.340 * [backup-simplify]: Simplify -1 into -1
7.340 * [taylor]: Taking taylor expansion of -1 in z
7.340 * [backup-simplify]: Simplify -1 into -1
7.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.341 * [backup-simplify]: Simplify (+ 0 0) into 0
7.341 * [backup-simplify]: Simplify (+ 0 0) into 0
7.341 * [backup-simplify]: Simplify (- 0) into 0
7.341 * [taylor]: Taking taylor expansion of 0 in y
7.341 * [backup-simplify]: Simplify 0 into 0
7.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.342 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.342 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.342 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.342 * [taylor]: Taking taylor expansion of z in z
7.342 * [backup-simplify]: Simplify 0 into 0
7.342 * [backup-simplify]: Simplify 1 into 1
7.342 * [backup-simplify]: Simplify (/ 1 1) into 1
7.342 * [backup-simplify]: Simplify (- 1) into -1
7.342 * [backup-simplify]: Simplify -1 into -1
7.342 * [taylor]: Taking taylor expansion of 0 in z
7.342 * [backup-simplify]: Simplify 0 into 0
7.342 * [backup-simplify]: Simplify -1 into -1
7.342 * [backup-simplify]: Simplify -1 into -1
7.343 * [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.343 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.343 * [backup-simplify]: Simplify (+ (+ x y) z) into (+ x (+ z y))
7.343 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
7.343 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
7.343 * [taylor]: Taking taylor expansion of x in z
7.343 * [backup-simplify]: Simplify x into x
7.343 * [taylor]: Taking taylor expansion of (+ z y) in z
7.343 * [taylor]: Taking taylor expansion of z in z
7.343 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify 1 into 1
7.343 * [taylor]: Taking taylor expansion of y in z
7.343 * [backup-simplify]: Simplify y into y
7.343 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
7.343 * [taylor]: Taking taylor expansion of x in y
7.343 * [backup-simplify]: Simplify x into x
7.343 * [taylor]: Taking taylor expansion of (+ z y) in y
7.343 * [taylor]: Taking taylor expansion of z in y
7.343 * [backup-simplify]: Simplify z into z
7.343 * [taylor]: Taking taylor expansion of y in y
7.343 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify 1 into 1
7.343 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.343 * [taylor]: Taking taylor expansion of x in x
7.343 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify 1 into 1
7.343 * [taylor]: Taking taylor expansion of (+ z y) in x
7.343 * [taylor]: Taking taylor expansion of z in x
7.343 * [backup-simplify]: Simplify z into z
7.343 * [taylor]: Taking taylor expansion of y in x
7.343 * [backup-simplify]: Simplify y into y
7.343 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.343 * [taylor]: Taking taylor expansion of x in x
7.343 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify 1 into 1
7.343 * [taylor]: Taking taylor expansion of (+ z y) in x
7.343 * [taylor]: Taking taylor expansion of z in x
7.343 * [backup-simplify]: Simplify z into z
7.343 * [taylor]: Taking taylor expansion of y in x
7.344 * [backup-simplify]: Simplify y into y
7.344 * [backup-simplify]: Simplify (+ z y) into (+ z y)
7.344 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
7.344 * [taylor]: Taking taylor expansion of (+ z y) in y
7.344 * [taylor]: Taking taylor expansion of z in y
7.344 * [backup-simplify]: Simplify z into z
7.344 * [taylor]: Taking taylor expansion of y in y
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify 1 into 1
7.344 * [backup-simplify]: Simplify (+ z 0) into z
7.344 * [taylor]: Taking taylor expansion of z in z
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify 1 into 1
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (+ 0 0) into 0
7.344 * [backup-simplify]: Simplify (+ 1 0) into 1
7.344 * [taylor]: Taking taylor expansion of 1 in y
7.344 * [backup-simplify]: Simplify 1 into 1
7.344 * [taylor]: Taking taylor expansion of 1 in z
7.344 * [backup-simplify]: Simplify 1 into 1
7.344 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify (+ 0 1) into 1
7.345 * [taylor]: Taking taylor expansion of 1 in z
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
7.345 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z)) into (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))
7.345 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0
7.345 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
7.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.345 * [taylor]: Taking taylor expansion of z in z
7.345 * [backup-simplify]: Simplify 0 into 0
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify (/ 1 1) into 1
7.345 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
7.345 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.345 * [taylor]: Taking taylor expansion of y in z
7.346 * [backup-simplify]: Simplify y into y
7.346 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.346 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.346 * [taylor]: Taking taylor expansion of x in z
7.346 * [backup-simplify]: Simplify x into x
7.346 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.346 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
7.346 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.346 * [taylor]: Taking taylor expansion of z in y
7.346 * [backup-simplify]: Simplify z into z
7.346 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.346 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
7.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.346 * [taylor]: Taking taylor expansion of y in y
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify 1 into 1
7.346 * [backup-simplify]: Simplify (/ 1 1) into 1
7.346 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.346 * [taylor]: Taking taylor expansion of x in y
7.346 * [backup-simplify]: Simplify x into x
7.346 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.346 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.346 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.346 * [taylor]: Taking taylor expansion of z in x
7.346 * [backup-simplify]: Simplify z into z
7.346 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.346 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.346 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.346 * [taylor]: Taking taylor expansion of y in x
7.346 * [backup-simplify]: Simplify y into y
7.346 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.346 * [taylor]: Taking taylor expansion of x in x
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify 1 into 1
7.347 * [backup-simplify]: Simplify (/ 1 1) into 1
7.347 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.347 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.347 * [taylor]: Taking taylor expansion of z in x
7.347 * [backup-simplify]: Simplify z into z
7.347 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.347 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.347 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.347 * [taylor]: Taking taylor expansion of y in x
7.347 * [backup-simplify]: Simplify y into y
7.347 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.347 * [taylor]: Taking taylor expansion of x in x
7.347 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify 1 into 1
7.347 * [backup-simplify]: Simplify (/ 1 1) into 1
7.347 * [backup-simplify]: Simplify (+ 0 1) into 1
7.348 * [backup-simplify]: Simplify (+ 0 1) into 1
7.348 * [taylor]: Taking taylor expansion of 1 in y
7.348 * [backup-simplify]: Simplify 1 into 1
7.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.348 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.348 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
7.348 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
7.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.348 * [taylor]: Taking taylor expansion of y in y
7.348 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify 1 into 1
7.348 * [backup-simplify]: Simplify (/ 1 1) into 1
7.348 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.348 * [taylor]: Taking taylor expansion of z in y
7.348 * [backup-simplify]: Simplify z into z
7.349 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.349 * [backup-simplify]: Simplify (+ 1 0) into 1
7.349 * [taylor]: Taking taylor expansion of 1 in z
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [taylor]: Taking taylor expansion of 1 in z
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.350 * [backup-simplify]: Simplify (+ 0 0) into 0
7.350 * [backup-simplify]: Simplify (+ 0 0) into 0
7.350 * [taylor]: Taking taylor expansion of 0 in y
7.350 * [backup-simplify]: Simplify 0 into 0
7.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.350 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.350 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.350 * [taylor]: Taking taylor expansion of z in z
7.350 * [backup-simplify]: Simplify 0 into 0
7.350 * [backup-simplify]: Simplify 1 into 1
7.351 * [backup-simplify]: Simplify (/ 1 1) into 1
7.351 * [backup-simplify]: Simplify 1 into 1
7.351 * [taylor]: Taking taylor expansion of 0 in z
7.351 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify 1 into 1
7.351 * [backup-simplify]: Simplify 1 into 1
7.351 * [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.351 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))))
7.351 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
7.351 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
7.351 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
7.351 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.351 * [taylor]: Taking taylor expansion of z in z
7.351 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify 1 into 1
7.352 * [backup-simplify]: Simplify (/ 1 1) into 1
7.352 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
7.352 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.352 * [taylor]: Taking taylor expansion of y in z
7.352 * [backup-simplify]: Simplify y into y
7.352 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.352 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.352 * [taylor]: Taking taylor expansion of x in z
7.352 * [backup-simplify]: Simplify x into x
7.352 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.352 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
7.352 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
7.352 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.352 * [taylor]: Taking taylor expansion of z in y
7.352 * [backup-simplify]: Simplify z into z
7.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.352 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
7.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.352 * [taylor]: Taking taylor expansion of y in y
7.352 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify 1 into 1
7.352 * [backup-simplify]: Simplify (/ 1 1) into 1
7.352 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.352 * [taylor]: Taking taylor expansion of x in y
7.352 * [backup-simplify]: Simplify x into x
7.352 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.352 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
7.352 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.352 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.352 * [taylor]: Taking taylor expansion of z in x
7.352 * [backup-simplify]: Simplify z into z
7.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.352 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.352 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.353 * [taylor]: Taking taylor expansion of y in x
7.353 * [backup-simplify]: Simplify y into y
7.353 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.353 * [taylor]: Taking taylor expansion of x in x
7.353 * [backup-simplify]: Simplify 0 into 0
7.353 * [backup-simplify]: Simplify 1 into 1
7.353 * [backup-simplify]: Simplify (/ 1 1) into 1
7.353 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
7.353 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.353 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.353 * [taylor]: Taking taylor expansion of z in x
7.353 * [backup-simplify]: Simplify z into z
7.353 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.353 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.353 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.353 * [taylor]: Taking taylor expansion of y in x
7.353 * [backup-simplify]: Simplify y into y
7.353 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.353 * [taylor]: Taking taylor expansion of x in x
7.353 * [backup-simplify]: Simplify 0 into 0
7.353 * [backup-simplify]: Simplify 1 into 1
7.353 * [backup-simplify]: Simplify (/ 1 1) into 1
7.354 * [backup-simplify]: Simplify (+ 0 1) into 1
7.354 * [backup-simplify]: Simplify (+ 0 1) into 1
7.354 * [backup-simplify]: Simplify (- 1) into -1
7.354 * [taylor]: Taking taylor expansion of -1 in y
7.354 * [backup-simplify]: Simplify -1 into -1
7.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.355 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.355 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
7.355 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
7.355 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
7.355 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
7.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.355 * [taylor]: Taking taylor expansion of y in y
7.355 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify 1 into 1
7.355 * [backup-simplify]: Simplify (/ 1 1) into 1
7.355 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.355 * [taylor]: Taking taylor expansion of z in y
7.355 * [backup-simplify]: Simplify z into z
7.355 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.355 * [backup-simplify]: Simplify (+ 1 0) into 1
7.356 * [backup-simplify]: Simplify (- 1) into -1
7.356 * [taylor]: Taking taylor expansion of -1 in z
7.356 * [backup-simplify]: Simplify -1 into -1
7.356 * [taylor]: Taking taylor expansion of -1 in z
7.356 * [backup-simplify]: Simplify -1 into -1
7.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.356 * [backup-simplify]: Simplify (+ 0 0) into 0
7.357 * [backup-simplify]: Simplify (+ 0 0) into 0
7.357 * [backup-simplify]: Simplify (- 0) into 0
7.357 * [taylor]: Taking taylor expansion of 0 in y
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.357 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.357 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.357 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.358 * [taylor]: Taking taylor expansion of z in z
7.358 * [backup-simplify]: Simplify 0 into 0
7.358 * [backup-simplify]: Simplify 1 into 1
7.358 * [backup-simplify]: Simplify (/ 1 1) into 1
7.358 * [backup-simplify]: Simplify (- 1) into -1
7.358 * [backup-simplify]: Simplify -1 into -1
7.358 * [taylor]: Taking taylor expansion of 0 in z
7.358 * [backup-simplify]: Simplify 0 into 0
7.358 * [backup-simplify]: Simplify -1 into -1
7.358 * [backup-simplify]: Simplify -1 into -1
7.358 * [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.359 * * * [progress]: simplifying candidates
7.359 * [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.360 * * [simplify]: Extracting # 0 : cost  0
7.360 * * [simplify]: Extracting # 1 : cost  0
7.360 * * [simplify]: Extracting # 2 : cost  0
7.360 * * [simplify]: Extracting # 3 : cost  0
7.360 * * [simplify]: Extracting # 4 : cost  0
7.360 * * [simplify]: Extracting # 5 : cost  0
7.360 * * [simplify]: iteration  0 :  55  enodes  (cost  290 )
7.373 * * [simplify]: Extracting # 0 : cost  0
7.373 * * [simplify]: Extracting # 1 : cost  0
7.373 * * [simplify]: Extracting # 2 : cost  0
7.373 * * [simplify]: Extracting # 3 : cost  0
7.373 * * [simplify]: Extracting # 4 : cost  0
7.374 * * [simplify]: iteration  1 :  159  enodes  (cost  278 )
7.420 * * [simplify]: Extracting # 0 : cost  0
7.421 * * [simplify]: Extracting # 1 : cost  0
7.421 * * [simplify]: Extracting # 2 : cost  0
7.422 * * [simplify]: Extracting # 3 : cost  0
7.422 * * [simplify]: Extracting # 4 : cost  0
7.423 * * [simplify]: iteration  2 :  580  enodes  (cost  258 )
7.779 * * [simplify]: Extracting # 0 : cost  0
7.781 * * [simplify]: Extracting # 1 : cost  0
7.784 * * [simplify]: Extracting # 2 : cost  0
7.786 * * [simplify]: Extracting # 3 : cost  0
7.788 * * [simplify]: Extracting # 4 : cost  0
7.790 * * [simplify]: iteration  3 :  2554  enodes  (cost  256 )
8.350 * * [simplify]: Extracting # 0 : cost  0
8.355 * * [simplify]: Extracting # 1 : cost  0
8.360 * * [simplify]: Extracting # 2 : cost  0
8.369 * * [simplify]: Extracting # 3 : cost  0
8.374 * * [simplify]: iteration done:  5000  enodes  (cost  256 )
8.374 * [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.375 * * * [progress]: adding candidates to table
8.427 * [progress]: [Phase 3 of 3] Extracting.
8.428 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
8.428 * * [simplify]: Extracting # 0 : cost  0
8.428 * * [simplify]: Extracting # 1 : cost  0
8.429 * * [simplify]: Extracting # 2 : cost  0
8.429 * * [simplify]: Extracting # 3 : cost  0
8.429 * * [simplify]: Extracting # 4 : cost  0
8.429 * * [simplify]: Extracting # 5 : cost  0
8.429 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
8.429 * * [simplify]: Extracting # 0 : cost  0
8.429 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
8.429 * * [simplify]: Extracting # 0 : cost  0
8.429 * * [simplify]: iteration done:  12  enodes  (cost  11 )
8.430 * [simplify]: Simplified to:
  (- (+ (+ x y) z) (+ x (+ y z)))
10.491 * [regime-testing]: Baseline error score: 0.023069816037547066
10.493 * [regime-testing]: Oracle error score: 0.023069816037547066
10.493 * [regime-testing]: End program error score: 0.023069816037547066