0.721 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.119 * * * [progress]: [2/2] Setting up program.
0.123 * [progress]: [Phase 2 of 3] Improving.
0.125 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
0.126 * * [simplify]: Extracting # 0 : cost  0
0.126 * * [simplify]: Extracting # 1 : cost  0
0.126 * * [simplify]: Extracting # 2 : cost  0
0.126 * * [simplify]: Extracting # 3 : cost  0
0.126 * * [simplify]: Extracting # 4 : cost  0
0.126 * * [simplify]: Extracting # 5 : cost  0
0.126 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
0.132 * * [simplify]: Extracting # 0 : cost  0
0.132 * * [simplify]: Extracting # 1 : cost  0
0.132 * * [simplify]: Extracting # 2 : cost  0
0.132 * * [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.173 * * [simplify]: Extracting # 0 : cost  0
0.173 * * [simplify]: Extracting # 1 : cost  0
0.174 * * [simplify]: Extracting # 2 : cost  0
0.174 * * [simplify]: Extracting # 3 : cost  0
0.174 * * [simplify]: iteration  3 :  380  enodes  (cost  1 )
0.377 * * [simplify]: Extracting # 0 : cost  0
0.378 * * [simplify]: Extracting # 1 : cost  0
0.378 * * [simplify]: Extracting # 2 : cost  0
0.378 * * [simplify]: Extracting # 3 : cost  0
0.379 * * [simplify]: iteration  4 :  731  enodes  (cost  1 )
2.491 * * [simplify]: Extracting # 0 : cost  0
2.496 * * [simplify]: Extracting # 1 : cost  0
2.501 * * [simplify]: Extracting # 2 : cost  0
2.504 * * [simplify]: Extracting # 3 : cost  0
2.508 * * [simplify]: iteration  5 :  4455  enodes  (cost  1 )
7.148 * * [simplify]: Extracting # 0 : cost  0
7.154 * * [simplify]: Extracting # 1 : cost  0
7.158 * * [simplify]: Extracting # 2 : cost  0
7.161 * * [simplify]: iteration done:  5000  enodes  (cost  1 )
7.161 * [simplify]: Simplified to:
  0
7.166 * * [progress]: iteration 1 / 4
7.166 * * * [progress]: picking best candidate
7.168 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (+ x y) z) (+ x (+ y z))))>
7.168 * * * [progress]: localizing error
7.177 * * * [progress]: generating rewritten candidates
7.177 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.201 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.232 * * * [progress]: generating series expansions
7.232 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.235 * [backup-simplify]: Simplify (+ x (+ y z)) into (+ x (+ z y))
7.235 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
7.235 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
7.235 * [taylor]: Taking taylor expansion of x in z
7.235 * [backup-simplify]: Simplify x into x
7.236 * [taylor]: Taking taylor expansion of (+ z y) in z
7.236 * [taylor]: Taking taylor expansion of z in z
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.236 * [taylor]: Taking taylor expansion of y in z
7.236 * [backup-simplify]: Simplify y into y
7.236 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
7.236 * [taylor]: Taking taylor expansion of x in y
7.236 * [backup-simplify]: Simplify x into x
7.236 * [taylor]: Taking taylor expansion of (+ z y) in y
7.236 * [taylor]: Taking taylor expansion of z in y
7.236 * [backup-simplify]: Simplify z into z
7.236 * [taylor]: Taking taylor expansion of y in y
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.236 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.236 * [taylor]: Taking taylor expansion of x in x
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.236 * [taylor]: Taking taylor expansion of (+ z y) in x
7.236 * [taylor]: Taking taylor expansion of z in x
7.236 * [backup-simplify]: Simplify z into z
7.236 * [taylor]: Taking taylor expansion of y in x
7.236 * [backup-simplify]: Simplify y into y
7.236 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.236 * [taylor]: Taking taylor expansion of x in x
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.236 * [taylor]: Taking taylor expansion of (+ z y) in x
7.236 * [taylor]: Taking taylor expansion of z in x
7.236 * [backup-simplify]: Simplify z into z
7.236 * [taylor]: Taking taylor expansion of y in x
7.236 * [backup-simplify]: Simplify y into y
7.237 * [backup-simplify]: Simplify (+ z y) into (+ z y)
7.237 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
7.237 * [taylor]: Taking taylor expansion of (+ z y) in y
7.237 * [taylor]: Taking taylor expansion of z in y
7.237 * [backup-simplify]: Simplify z into z
7.237 * [taylor]: Taking taylor expansion of y in y
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 1 into 1
7.237 * [backup-simplify]: Simplify (+ z 0) into z
7.237 * [taylor]: Taking taylor expansion of z in z
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 1 into 1
7.237 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify (+ 0 0) into 0
7.238 * [backup-simplify]: Simplify (+ 1 0) into 1
7.238 * [taylor]: Taking taylor expansion of 1 in y
7.238 * [backup-simplify]: Simplify 1 into 1
7.238 * [taylor]: Taking taylor expansion of 1 in z
7.238 * [backup-simplify]: Simplify 1 into 1
7.238 * [backup-simplify]: Simplify 1 into 1
7.238 * [backup-simplify]: Simplify (+ 0 1) into 1
7.238 * [taylor]: Taking taylor expansion of 1 in z
7.238 * [backup-simplify]: Simplify 1 into 1
7.238 * [backup-simplify]: Simplify 1 into 1
7.238 * [backup-simplify]: Simplify 1 into 1
7.240 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
7.241 * [backup-simplify]: Simplify (+ (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))
7.241 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in (x y z) around 0
7.241 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
7.241 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.241 * [taylor]: Taking taylor expansion of y in z
7.241 * [backup-simplify]: Simplify y into y
7.241 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.241 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
7.241 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.241 * [taylor]: Taking taylor expansion of z in z
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.242 * [backup-simplify]: Simplify (/ 1 1) into 1
7.242 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.242 * [taylor]: Taking taylor expansion of x in z
7.242 * [backup-simplify]: Simplify x into x
7.242 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
7.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [backup-simplify]: Simplify (/ 1 1) into 1
7.242 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
7.242 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.242 * [taylor]: Taking taylor expansion of z in y
7.242 * [backup-simplify]: Simplify z into z
7.242 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.242 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.242 * [taylor]: Taking taylor expansion of x in y
7.242 * [backup-simplify]: Simplify x into x
7.242 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.242 * [taylor]: Taking taylor expansion of y in x
7.242 * [backup-simplify]: Simplify y into y
7.242 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.242 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.242 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.242 * [taylor]: Taking taylor expansion of z in x
7.242 * [backup-simplify]: Simplify z into z
7.242 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.242 * [taylor]: Taking taylor expansion of x in x
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.243 * [backup-simplify]: Simplify (/ 1 1) into 1
7.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.243 * [taylor]: Taking taylor expansion of y in x
7.243 * [backup-simplify]: Simplify y into y
7.243 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.243 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.243 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.243 * [taylor]: Taking taylor expansion of z in x
7.243 * [backup-simplify]: Simplify z into z
7.243 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.243 * [taylor]: Taking taylor expansion of x in x
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify 1 into 1
7.243 * [backup-simplify]: Simplify (/ 1 1) into 1
7.243 * [backup-simplify]: Simplify (+ 0 1) into 1
7.244 * [backup-simplify]: Simplify (+ 0 1) into 1
7.244 * [taylor]: Taking taylor expansion of 1 in y
7.244 * [backup-simplify]: Simplify 1 into 1
7.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.244 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.244 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
7.245 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.245 * [taylor]: Taking taylor expansion of z in y
7.245 * [backup-simplify]: Simplify z into z
7.245 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.245 * [taylor]: Taking taylor expansion of y in y
7.245 * [backup-simplify]: Simplify 0 into 0
7.245 * [backup-simplify]: Simplify 1 into 1
7.245 * [backup-simplify]: Simplify (/ 1 1) into 1
7.245 * [backup-simplify]: Simplify (+ 0 1) into 1
7.245 * [taylor]: Taking taylor expansion of 1 in z
7.245 * [backup-simplify]: Simplify 1 into 1
7.245 * [taylor]: Taking taylor expansion of 1 in z
7.245 * [backup-simplify]: Simplify 1 into 1
7.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.246 * [backup-simplify]: Simplify (+ 0 0) into 0
7.246 * [backup-simplify]: Simplify (+ 0 0) into 0
7.246 * [taylor]: Taking taylor expansion of 0 in y
7.246 * [backup-simplify]: Simplify 0 into 0
7.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.247 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.247 * [taylor]: Taking taylor expansion of z in z
7.247 * [backup-simplify]: Simplify 0 into 0
7.247 * [backup-simplify]: Simplify 1 into 1
7.247 * [backup-simplify]: Simplify (/ 1 1) into 1
7.247 * [backup-simplify]: Simplify 1 into 1
7.247 * [taylor]: Taking taylor expansion of 0 in z
7.247 * [backup-simplify]: Simplify 0 into 0
7.247 * [backup-simplify]: Simplify 1 into 1
7.247 * [backup-simplify]: Simplify 1 into 1
7.248 * [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.248 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))
7.248 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z) around 0
7.248 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
7.248 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
7.248 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.248 * [taylor]: Taking taylor expansion of y in z
7.248 * [backup-simplify]: Simplify y into y
7.248 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.248 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
7.248 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.248 * [taylor]: Taking taylor expansion of z in z
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify 1 into 1
7.248 * [backup-simplify]: Simplify (/ 1 1) into 1
7.248 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.248 * [taylor]: Taking taylor expansion of x in z
7.248 * [backup-simplify]: Simplify x into x
7.248 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.248 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
7.248 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
7.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.248 * [taylor]: Taking taylor expansion of y in y
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify 1 into 1
7.249 * [backup-simplify]: Simplify (/ 1 1) into 1
7.249 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
7.249 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.249 * [taylor]: Taking taylor expansion of z in y
7.249 * [backup-simplify]: Simplify z into z
7.249 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.249 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.249 * [taylor]: Taking taylor expansion of x in y
7.249 * [backup-simplify]: Simplify x into x
7.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.249 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
7.249 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.249 * [taylor]: Taking taylor expansion of y in x
7.249 * [backup-simplify]: Simplify y into y
7.249 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.249 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.249 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.249 * [taylor]: Taking taylor expansion of z in x
7.249 * [backup-simplify]: Simplify z into z
7.249 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.249 * [taylor]: Taking taylor expansion of x in x
7.249 * [backup-simplify]: Simplify 0 into 0
7.249 * [backup-simplify]: Simplify 1 into 1
7.249 * [backup-simplify]: Simplify (/ 1 1) into 1
7.249 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
7.249 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
7.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.249 * [taylor]: Taking taylor expansion of y in x
7.249 * [backup-simplify]: Simplify y into y
7.249 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.250 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
7.250 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.250 * [taylor]: Taking taylor expansion of z in x
7.250 * [backup-simplify]: Simplify z into z
7.250 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.250 * [taylor]: Taking taylor expansion of x in x
7.250 * [backup-simplify]: Simplify 0 into 0
7.250 * [backup-simplify]: Simplify 1 into 1
7.250 * [backup-simplify]: Simplify (/ 1 1) into 1
7.250 * [backup-simplify]: Simplify (+ 0 1) into 1
7.250 * [backup-simplify]: Simplify (+ 0 1) into 1
7.251 * [backup-simplify]: Simplify (- 1) into -1
7.251 * [taylor]: Taking taylor expansion of -1 in y
7.251 * [backup-simplify]: Simplify -1 into -1
7.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.251 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.251 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
7.251 * [backup-simplify]: Simplify (- (+ (/ 1 z) (/ 1 y))) into (- (+ (/ 1 z) (/ 1 y)))
7.251 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y
7.251 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
7.251 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.251 * [taylor]: Taking taylor expansion of z in y
7.251 * [backup-simplify]: Simplify z into z
7.251 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.251 * [taylor]: Taking taylor expansion of y in y
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify 1 into 1
7.252 * [backup-simplify]: Simplify (/ 1 1) into 1
7.252 * [backup-simplify]: Simplify (+ 0 1) into 1
7.252 * [backup-simplify]: Simplify (- 1) into -1
7.252 * [taylor]: Taking taylor expansion of -1 in z
7.252 * [backup-simplify]: Simplify -1 into -1
7.252 * [taylor]: Taking taylor expansion of -1 in z
7.252 * [backup-simplify]: Simplify -1 into -1
7.252 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.252 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.253 * [backup-simplify]: Simplify (+ 0 0) into 0
7.253 * [backup-simplify]: Simplify (+ 0 0) into 0
7.254 * [backup-simplify]: Simplify (- 0) into 0
7.254 * [taylor]: Taking taylor expansion of 0 in y
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.254 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.254 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.254 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.254 * [taylor]: Taking taylor expansion of z in z
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 1 into 1
7.254 * [backup-simplify]: Simplify (/ 1 1) into 1
7.255 * [backup-simplify]: Simplify (- 1) into -1
7.255 * [backup-simplify]: Simplify -1 into -1
7.255 * [taylor]: Taking taylor expansion of 0 in z
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify -1 into -1
7.255 * [backup-simplify]: Simplify -1 into -1
7.255 * [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.255 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.255 * [backup-simplify]: Simplify (+ (+ x y) z) into (+ x (+ z y))
7.255 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
7.255 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
7.255 * [taylor]: Taking taylor expansion of x in z
7.255 * [backup-simplify]: Simplify x into x
7.255 * [taylor]: Taking taylor expansion of (+ z y) in z
7.255 * [taylor]: Taking taylor expansion of z in z
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify 1 into 1
7.255 * [taylor]: Taking taylor expansion of y in z
7.255 * [backup-simplify]: Simplify y into y
7.255 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
7.255 * [taylor]: Taking taylor expansion of x in y
7.255 * [backup-simplify]: Simplify x into x
7.255 * [taylor]: Taking taylor expansion of (+ z y) in y
7.256 * [taylor]: Taking taylor expansion of z in y
7.256 * [backup-simplify]: Simplify z into z
7.256 * [taylor]: Taking taylor expansion of y in y
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 1 into 1
7.256 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.256 * [taylor]: Taking taylor expansion of x in x
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 1 into 1
7.256 * [taylor]: Taking taylor expansion of (+ z y) in x
7.256 * [taylor]: Taking taylor expansion of z in x
7.256 * [backup-simplify]: Simplify z into z
7.256 * [taylor]: Taking taylor expansion of y in x
7.256 * [backup-simplify]: Simplify y into y
7.256 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
7.256 * [taylor]: Taking taylor expansion of x in x
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 1 into 1
7.256 * [taylor]: Taking taylor expansion of (+ z y) in x
7.256 * [taylor]: Taking taylor expansion of z in x
7.256 * [backup-simplify]: Simplify z into z
7.256 * [taylor]: Taking taylor expansion of y in x
7.256 * [backup-simplify]: Simplify y into y
7.256 * [backup-simplify]: Simplify (+ z y) into (+ z y)
7.256 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
7.256 * [taylor]: Taking taylor expansion of (+ z y) in y
7.256 * [taylor]: Taking taylor expansion of z in y
7.256 * [backup-simplify]: Simplify z into z
7.256 * [taylor]: Taking taylor expansion of y in y
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 1 into 1
7.256 * [backup-simplify]: Simplify (+ z 0) into z
7.256 * [taylor]: Taking taylor expansion of z in z
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 1 into 1
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify (+ 0 0) into 0
7.257 * [backup-simplify]: Simplify (+ 1 0) into 1
7.257 * [taylor]: Taking taylor expansion of 1 in y
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [taylor]: Taking taylor expansion of 1 in z
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [backup-simplify]: Simplify (+ 0 1) into 1
7.257 * [taylor]: Taking taylor expansion of 1 in z
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
7.257 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z)) into (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))
7.258 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0
7.258 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
7.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.258 * [taylor]: Taking taylor expansion of z in z
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 1 into 1
7.258 * [backup-simplify]: Simplify (/ 1 1) into 1
7.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
7.258 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.258 * [taylor]: Taking taylor expansion of y in z
7.258 * [backup-simplify]: Simplify y into y
7.258 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.258 * [taylor]: Taking taylor expansion of x in z
7.258 * [backup-simplify]: Simplify x into x
7.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.258 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
7.258 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.258 * [taylor]: Taking taylor expansion of z in y
7.258 * [backup-simplify]: Simplify z into z
7.258 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
7.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
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 * [backup-simplify]: Simplify (/ 1 1) into 1
7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.258 * [taylor]: Taking taylor expansion of x in y
7.258 * [backup-simplify]: Simplify x into x
7.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.258 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.259 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.259 * [taylor]: Taking taylor expansion of z in x
7.259 * [backup-simplify]: Simplify z into z
7.259 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.259 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.259 * [taylor]: Taking taylor expansion of y in x
7.259 * [backup-simplify]: Simplify y into y
7.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.259 * [taylor]: Taking taylor expansion of x in x
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 1 into 1
7.259 * [backup-simplify]: Simplify (/ 1 1) into 1
7.259 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.259 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.259 * [taylor]: Taking taylor expansion of z in x
7.259 * [backup-simplify]: Simplify z into z
7.259 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.259 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.259 * [taylor]: Taking taylor expansion of y in x
7.259 * [backup-simplify]: Simplify y into y
7.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.259 * [taylor]: Taking taylor expansion of x in x
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 1 into 1
7.259 * [backup-simplify]: Simplify (/ 1 1) into 1
7.260 * [backup-simplify]: Simplify (+ 0 1) into 1
7.260 * [backup-simplify]: Simplify (+ 0 1) into 1
7.260 * [taylor]: Taking taylor expansion of 1 in y
7.260 * [backup-simplify]: Simplify 1 into 1
7.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.260 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.261 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
7.261 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
7.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.261 * [taylor]: Taking taylor expansion of y in y
7.261 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify 1 into 1
7.261 * [backup-simplify]: Simplify (/ 1 1) into 1
7.261 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.261 * [taylor]: Taking taylor expansion of z in y
7.261 * [backup-simplify]: Simplify z into z
7.261 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.261 * [backup-simplify]: Simplify (+ 1 0) into 1
7.261 * [taylor]: Taking taylor expansion of 1 in z
7.261 * [backup-simplify]: Simplify 1 into 1
7.261 * [taylor]: Taking taylor expansion of 1 in z
7.261 * [backup-simplify]: Simplify 1 into 1
7.261 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.261 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.262 * [backup-simplify]: Simplify (+ 0 0) into 0
7.262 * [backup-simplify]: Simplify (+ 0 0) into 0
7.262 * [taylor]: Taking taylor expansion of 0 in y
7.262 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.263 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.263 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.263 * [taylor]: Taking taylor expansion of z in z
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 * [backup-simplify]: Simplify 1 into 1
7.263 * [taylor]: Taking taylor expansion of 0 in z
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 1 into 1
7.263 * [backup-simplify]: Simplify 1 into 1
7.264 * [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.264 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))))
7.264 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
7.264 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
7.264 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
7.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.264 * [taylor]: Taking taylor expansion of z in z
7.264 * [backup-simplify]: Simplify 0 into 0
7.264 * [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 x)) in z
7.264 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.264 * [taylor]: Taking taylor expansion of y in z
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 x) in z
7.264 * [taylor]: Taking taylor expansion of x in z
7.264 * [backup-simplify]: Simplify x into x
7.264 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.264 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
7.264 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
7.264 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.264 * [taylor]: Taking taylor expansion of z in y
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 y) (/ 1 x)) in y
7.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.264 * [taylor]: Taking taylor expansion of y in y
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 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.265 * [taylor]: Taking taylor expansion of x in y
7.265 * [backup-simplify]: Simplify x into x
7.265 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.265 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
7.265 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.265 * [taylor]: Taking taylor expansion of z in x
7.265 * [backup-simplify]: Simplify z into z
7.265 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.265 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.265 * [taylor]: Taking taylor expansion of y in x
7.265 * [backup-simplify]: Simplify y into y
7.265 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.265 * [taylor]: Taking taylor expansion of x in x
7.265 * [backup-simplify]: Simplify 0 into 0
7.265 * [backup-simplify]: Simplify 1 into 1
7.265 * [backup-simplify]: Simplify (/ 1 1) into 1
7.265 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
7.265 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
7.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.265 * [taylor]: Taking taylor expansion of z in x
7.265 * [backup-simplify]: Simplify z into z
7.265 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.265 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
7.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.265 * [taylor]: Taking taylor expansion of y in x
7.265 * [backup-simplify]: Simplify y into y
7.265 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.266 * [taylor]: Taking taylor expansion of x in x
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 * [backup-simplify]: Simplify (+ 0 1) into 1
7.267 * [backup-simplify]: Simplify (- 1) into -1
7.267 * [taylor]: Taking taylor expansion of -1 in y
7.267 * [backup-simplify]: Simplify -1 into -1
7.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.267 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.267 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
7.267 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
7.267 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
7.267 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
7.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.267 * [taylor]: Taking taylor expansion of y in y
7.267 * [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 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.268 * [taylor]: Taking taylor expansion of z in y
7.268 * [backup-simplify]: Simplify z into z
7.268 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.268 * [backup-simplify]: Simplify (+ 1 0) into 1
7.268 * [backup-simplify]: Simplify (- 1) into -1
7.268 * [taylor]: Taking taylor expansion of -1 in z
7.268 * [backup-simplify]: Simplify -1 into -1
7.268 * [taylor]: Taking taylor expansion of -1 in z
7.268 * [backup-simplify]: Simplify -1 into -1
7.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.269 * [backup-simplify]: Simplify (+ 0 0) into 0
7.269 * [backup-simplify]: Simplify (+ 0 0) into 0
7.270 * [backup-simplify]: Simplify (- 0) into 0
7.270 * [taylor]: Taking taylor expansion of 0 in y
7.270 * [backup-simplify]: Simplify 0 into 0
7.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.270 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
7.270 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.270 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.270 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.270 * [taylor]: Taking taylor expansion of z in z
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 * [backup-simplify]: Simplify (- 1) into -1
7.271 * [backup-simplify]: Simplify -1 into -1
7.271 * [taylor]: Taking taylor expansion of 0 in z
7.271 * [backup-simplify]: Simplify 0 into 0
7.271 * [backup-simplify]: Simplify -1 into -1
7.271 * [backup-simplify]: Simplify -1 into -1
7.271 * [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.271 * * * [progress]: simplifying candidates
7.272 * [simplify]: Simplifying:
  (expm1 (+ x (+ y z)))
  (log1p (+ x (+ y z)))
  (* (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)
  (expm1 (+ (+ x y) z))
  (log1p (+ (+ x y) z))
  (* (* (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.273 * * [simplify]: Extracting # 0 : cost  0
7.273 * * [simplify]: Extracting # 1 : cost  0
7.273 * * [simplify]: Extracting # 2 : cost  0
7.273 * * [simplify]: Extracting # 3 : cost  0
7.273 * * [simplify]: Extracting # 4 : cost  0
7.273 * * [simplify]: Extracting # 5 : cost  0
7.273 * * [simplify]: iteration  0 :  59  enodes  (cost  314 )
7.289 * * [simplify]: Extracting # 0 : cost  0
7.290 * * [simplify]: Extracting # 1 : cost  0
7.290 * * [simplify]: Extracting # 2 : cost  0
7.290 * * [simplify]: Extracting # 3 : cost  0
7.290 * * [simplify]: iteration  1 :  168  enodes  (cost  300 )
7.335 * * [simplify]: Extracting # 0 : cost  0
7.335 * * [simplify]: Extracting # 1 : cost  0
7.336 * * [simplify]: Extracting # 2 : cost  0
7.336 * * [simplify]: Extracting # 3 : cost  0
7.337 * * [simplify]: Extracting # 4 : cost  0
7.338 * * [simplify]: iteration  2 :  619  enodes  (cost  280 )
7.742 * * [simplify]: Extracting # 0 : cost  0
7.745 * * [simplify]: Extracting # 1 : cost  0
7.747 * * [simplify]: Extracting # 2 : cost  0
7.749 * * [simplify]: Extracting # 3 : cost  0
7.755 * * [simplify]: Extracting # 4 : cost  0
7.758 * * [simplify]: iteration  3 :  2788  enodes  (cost  278 )
8.402 * * [simplify]: Extracting # 0 : cost  0
8.407 * * [simplify]: Extracting # 1 : cost  0
8.412 * * [simplify]: Extracting # 2 : cost  0
8.416 * * [simplify]: Extracting # 3 : cost  0
8.421 * * [simplify]: Extracting # 4 : cost  0
8.425 * * [simplify]: iteration done:  5000  enodes  (cost  278 )
8.426 * [simplify]: Simplified to:
  (expm1 (+ (+ x y) z))
  (log1p (+ (+ x y) z))
  (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))
  (fma x x (* (+ y z) (- (+ y z) x)))
  (- (* x x) (* (+ y z) (+ y z)))
  (- x (+ y z))
  (+ x (+ y z))
  (+ x (+ y z))
  (+ x y)
  (expm1 (+ (+ x y) z))
  (log1p (+ (+ x y) z))
  (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))
  (fma z z (* (+ x y) (- (+ x y) z)))
  (- (* (+ 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.426 * * * [progress]: adding candidates to table
8.508 * [progress]: [Phase 3 of 3] Extracting.
8.510 * [simplify]: Simplifying:
  (- (+ (+ x y) z) (+ x (+ y z)))
8.510 * * [simplify]: Extracting # 0 : cost  0
8.510 * * [simplify]: Extracting # 1 : cost  0
8.510 * * [simplify]: Extracting # 2 : cost  0
8.510 * * [simplify]: Extracting # 3 : cost  0
8.510 * * [simplify]: Extracting # 4 : cost  0
8.510 * * [simplify]: Extracting # 5 : cost  0
8.510 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
8.510 * * [simplify]: Extracting # 0 : cost  0
8.510 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
8.511 * * [simplify]: Extracting # 0 : cost  0
8.511 * * [simplify]: iteration done:  12  enodes  (cost  11 )
8.511 * [simplify]: Simplified to:
  (- (+ (+ x y) z) (+ x (+ y z)))
10.583 * [regime-testing]: Baseline error score: 0
10.585 * [regime-testing]: Oracle error score: 0
10.585 * [regime-testing]: End program error score: 0