67.469 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* x (+ y z)) z)
0.020 * * [simplify]: iteration  0 :  16  enodes  (cost  3 )
0.021 * * [simplify]: iteration  1 :  24  enodes  (cost  3 )
0.022 * * [simplify]: iteration  2 :  38  enodes  (cost  3 )
0.024 * * [simplify]: iteration  3 :  45  enodes  (cost  3 )
0.025 * * [simplify]: iteration  4 :  53  enodes  (cost  3 )
0.027 * * [simplify]: iteration  5 :  57  enodes  (cost  3 )
0.028 * * [simplify]: iteration  6 :  67  enodes  (cost  3 )
0.030 * * [simplify]: iteration  7 :  309  enodes  (cost  2 )
0.039 * * [simplify]: iteration  8 :  2125  enodes  (cost  2 )
0.065 * * [simplify]: iteration  9 :  5001  enodes  (cost  2 )
0.065 * [simplify]: Simplified to:
   (fma (/ y z) x x)
0.068 * * [progress]: iteration 1 / 4
0.068 * * * [progress]: picking best candidate
0.071 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (/ y z) x x))>
0.071 * * * [progress]: localizing error
0.076 * * * [progress]: generating rewritten candidates
0.076 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.076 * * * [progress]: generating series expansions
0.076 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.077 * [approximate]: Taking taylor expansion of (fma (/ y z) x x) in (y z x) around 0
0.077 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in x
0.077 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.077 * [taylor]: Taking taylor expansion of (* (/ y z) x) in x
0.077 * [taylor]: Taking taylor expansion of (/ y z) in x
0.077 * [taylor]: Taking taylor expansion of y in x
0.077 * [taylor]: Taking taylor expansion of z in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in z
0.077 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.077 * [taylor]: Taking taylor expansion of (* (/ y z) x) in z
0.077 * [taylor]: Taking taylor expansion of (/ y z) in z
0.077 * [taylor]: Taking taylor expansion of y in z
0.077 * [taylor]: Taking taylor expansion of z in z
0.077 * [taylor]: Taking taylor expansion of x in z
0.077 * [taylor]: Taking taylor expansion of x in z
0.077 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.077 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.077 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.077 * [taylor]: Taking taylor expansion of (/ y z) in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [taylor]: Taking taylor expansion of z in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of (fma (/ y z) x x) in y
0.077 * [taylor]: Rewrote expression to (+ (* (/ y z) x) x)
0.077 * [taylor]: Taking taylor expansion of (* (/ y z) x) in y
0.077 * [taylor]: Taking taylor expansion of (/ y z) in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [taylor]: Taking taylor expansion of z in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of x in z
0.078 * [taylor]: Taking taylor expansion of (/ x z) in z
0.078 * [taylor]: Taking taylor expansion of x in z
0.078 * [taylor]: Taking taylor expansion of z in z
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of 0 in z
0.079 * [taylor]: Taking taylor expansion of 0 in x
0.079 * [taylor]: Taking taylor expansion of 0 in x
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in x
0.080 * [taylor]: Taking taylor expansion of 0 in x
0.081 * [taylor]: Taking taylor expansion of 0 in x
0.081 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in (y z x) around 0
0.081 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in x
0.081 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.081 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in x
0.081 * [taylor]: Taking taylor expansion of (/ z y) in x
0.081 * [taylor]: Taking taylor expansion of z in x
0.081 * [taylor]: Taking taylor expansion of y in x
0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in z
0.082 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.082 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in z
0.082 * [taylor]: Taking taylor expansion of (/ z y) in z
0.082 * [taylor]: Taking taylor expansion of z in z
0.082 * [taylor]: Taking taylor expansion of y in z
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.082 * [taylor]: Taking taylor expansion of x in z
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.082 * [taylor]: Taking taylor expansion of x in z
0.082 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.082 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.082 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.082 * [taylor]: Taking taylor expansion of (/ z y) in y
0.082 * [taylor]: Taking taylor expansion of z in y
0.082 * [taylor]: Taking taylor expansion of y in y
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.082 * [taylor]: Taking taylor expansion of x in y
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.082 * [taylor]: Taking taylor expansion of x in y
0.082 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 x) (/ 1 x)) in y
0.083 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 x)) (/ 1 x))
0.083 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 x)) in y
0.083 * [taylor]: Taking taylor expansion of (/ z y) in y
0.083 * [taylor]: Taking taylor expansion of z in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of (/ z x) in z
0.083 * [taylor]: Taking taylor expansion of z in z
0.083 * [taylor]: Taking taylor expansion of x in z
0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.084 * [taylor]: Taking taylor expansion of x in z
0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 0 in z
0.086 * [taylor]: Taking taylor expansion of 0 in x
0.086 * [taylor]: Taking taylor expansion of 0 in x
0.086 * [taylor]: Taking taylor expansion of 0 in x
0.089 * [taylor]: Taking taylor expansion of 0 in z
0.089 * [taylor]: Taking taylor expansion of 0 in x
0.089 * [taylor]: Taking taylor expansion of 0 in x
0.089 * [taylor]: Taking taylor expansion of 0 in x
0.089 * [taylor]: Taking taylor expansion of 0 in x
0.090 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in (y z x) around 0
0.090 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in x
0.090 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.090 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in x
0.090 * [taylor]: Taking taylor expansion of (/ z y) in x
0.090 * [taylor]: Taking taylor expansion of z in x
0.091 * [taylor]: Taking taylor expansion of y in x
0.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.091 * [taylor]: Taking taylor expansion of -1 in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.091 * [taylor]: Taking taylor expansion of -1 in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in z
0.091 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.091 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in z
0.091 * [taylor]: Taking taylor expansion of (/ z y) in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of y in z
0.091 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.091 * [taylor]: Taking taylor expansion of -1 in z
0.091 * [taylor]: Taking taylor expansion of x in z
0.091 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.091 * [taylor]: Taking taylor expansion of -1 in z
0.092 * [taylor]: Taking taylor expansion of x in z
0.092 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.092 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.092 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.092 * [taylor]: Taking taylor expansion of (/ z y) in y
0.092 * [taylor]: Taking taylor expansion of z in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 x) (/ -1 x)) in y
0.092 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 x)) (/ -1 x))
0.092 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 x)) in y
0.092 * [taylor]: Taking taylor expansion of (/ z y) in y
0.092 * [taylor]: Taking taylor expansion of z in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
0.092 * [taylor]: Taking taylor expansion of (/ z x) in z
0.092 * [taylor]: Taking taylor expansion of z in z
0.092 * [taylor]: Taking taylor expansion of x in z
0.093 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.093 * [taylor]: Taking taylor expansion of x in z
0.093 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of 0 in z
0.096 * [taylor]: Taking taylor expansion of 0 in x
0.096 * [taylor]: Taking taylor expansion of 0 in x
0.096 * [taylor]: Taking taylor expansion of 0 in x
0.100 * [taylor]: Taking taylor expansion of 0 in z
0.100 * [taylor]: Taking taylor expansion of 0 in x
0.100 * [taylor]: Taking taylor expansion of 0 in x
0.100 * [taylor]: Taking taylor expansion of 0 in x
0.100 * [taylor]: Taking taylor expansion of 0 in x
0.102 * * * [progress]: simplifying candidates
0.102 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ y z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
0.104 * * [simplify]: iteration  0 :  14  enodes  (cost  11 )
0.105 * * [simplify]: iteration  1 :  25  enodes  (cost  8 )
0.107 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
0.108 * * [simplify]: iteration  3 :  38  enodes  (cost  8 )
0.109 * * [simplify]: iteration  4 :  48  enodes  (cost  8 )
0.111 * * [simplify]: iteration  5 :  107  enodes  (cost  8 )
0.113 * * [simplify]: iteration  6 :  190  enodes  (cost  8 )
0.115 * * [simplify]: iteration  7 :  244  enodes  (cost  8 )
0.118 * * [simplify]: iteration  8 :  353  enodes  (cost  8 )
0.121 * * [simplify]: iteration  9 :  604  enodes  (cost  8 )
0.133 * * [simplify]: iteration  10 :  1802  enodes  (cost  8 )
0.212 * * [simplify]: iteration  11 :  5001  enodes  (cost  8 )
0.212 * [simplify]: Simplified to:
   (* (/ y z) x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
  (fma (/ y z) x x)
0.212 * * * [progress]: adding candidates to table
0.214 * * [progress]: iteration 2 / 4
0.215 * * * [progress]: picking best candidate
0.216 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x (+ y z)) z))>
0.216 * * * [progress]: localizing error
0.221 * * * [progress]: generating rewritten candidates
0.221 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.225 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.229 * * * [progress]: generating series expansions
0.229 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.229 * [approximate]: Taking taylor expansion of (/ (* (+ z y) x) z) in (x y z) around 0
0.229 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in z
0.229 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
0.229 * [taylor]: Taking taylor expansion of (+ z y) in z
0.229 * [taylor]: Taking taylor expansion of z in z
0.229 * [taylor]: Taking taylor expansion of y in z
0.229 * [taylor]: Taking taylor expansion of x in z
0.229 * [taylor]: Taking taylor expansion of z in z
0.229 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in y
0.229 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
0.229 * [taylor]: Taking taylor expansion of (+ z y) in y
0.229 * [taylor]: Taking taylor expansion of z in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [taylor]: Taking taylor expansion of x in y
0.229 * [taylor]: Taking taylor expansion of z in y
0.229 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in x
0.229 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.229 * [taylor]: Taking taylor expansion of (+ z y) in x
0.229 * [taylor]: Taking taylor expansion of z in x
0.229 * [taylor]: Taking taylor expansion of y in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of z in x
0.230 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in x
0.230 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.230 * [taylor]: Taking taylor expansion of (+ z y) in x
0.230 * [taylor]: Taking taylor expansion of z in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of z in x
0.231 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in y
0.231 * [taylor]: Taking taylor expansion of (+ z y) in y
0.231 * [taylor]: Taking taylor expansion of z in y
0.231 * [taylor]: Taking taylor expansion of y in y
0.231 * [taylor]: Taking taylor expansion of z in y
0.231 * [taylor]: Taking taylor expansion of 1 in z
0.232 * [taylor]: Taking taylor expansion of 0 in y
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.232 * [taylor]: Taking taylor expansion of z in z
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [taylor]: Taking taylor expansion of 0 in z
0.233 * [taylor]: Taking taylor expansion of 0 in z
0.233 * [taylor]: Taking taylor expansion of 0 in z
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.235 * [taylor]: Taking taylor expansion of 0 in z
0.235 * [taylor]: Taking taylor expansion of 0 in z
0.235 * [taylor]: Taking taylor expansion of 0 in z
0.235 * [taylor]: Taking taylor expansion of 0 in z
0.236 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in (x y z) around 0
0.236 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in z
0.236 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.236 * [taylor]: Taking taylor expansion of z in z
0.236 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.236 * [taylor]: Taking taylor expansion of y in z
0.236 * [taylor]: Taking taylor expansion of z in z
0.236 * [taylor]: Taking taylor expansion of x in z
0.237 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in y
0.237 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.237 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.237 * [taylor]: Taking taylor expansion of z in y
0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.237 * [taylor]: Taking taylor expansion of y in y
0.238 * [taylor]: Taking taylor expansion of z in y
0.238 * [taylor]: Taking taylor expansion of x in y
0.238 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
0.238 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.238 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.238 * [taylor]: Taking taylor expansion of z in x
0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.238 * [taylor]: Taking taylor expansion of y in x
0.238 * [taylor]: Taking taylor expansion of z in x
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
0.238 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.238 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.238 * [taylor]: Taking taylor expansion of z in x
0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.238 * [taylor]: Taking taylor expansion of y in x
0.239 * [taylor]: Taking taylor expansion of z in x
0.239 * [taylor]: Taking taylor expansion of x in x
0.239 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.239 * [taylor]: Taking taylor expansion of y in y
0.239 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.239 * [taylor]: Taking taylor expansion of z in y
0.239 * [taylor]: Taking taylor expansion of z in y
0.240 * [taylor]: Taking taylor expansion of z in z
0.241 * [taylor]: Taking taylor expansion of 0 in y
0.241 * [taylor]: Taking taylor expansion of 1 in z
0.243 * [taylor]: Taking taylor expansion of 0 in y
0.243 * [taylor]: Taking taylor expansion of 0 in z
0.244 * [taylor]: Taking taylor expansion of 0 in z
0.249 * [taylor]: Taking taylor expansion of 0 in y
0.249 * [taylor]: Taking taylor expansion of 0 in z
0.249 * [taylor]: Taking taylor expansion of 0 in z
0.250 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in (x y z) around 0
0.250 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in z
0.250 * [taylor]: Taking taylor expansion of -1 in z
0.250 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in z
0.250 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.250 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.250 * [taylor]: Taking taylor expansion of z in z
0.250 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.250 * [taylor]: Taking taylor expansion of y in z
0.250 * [taylor]: Taking taylor expansion of z in z
0.250 * [taylor]: Taking taylor expansion of x in z
0.251 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in y
0.251 * [taylor]: Taking taylor expansion of -1 in y
0.252 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in y
0.252 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
0.252 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.252 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.252 * [taylor]: Taking taylor expansion of z in y
0.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.252 * [taylor]: Taking taylor expansion of y in y
0.252 * [taylor]: Taking taylor expansion of z in y
0.252 * [taylor]: Taking taylor expansion of x in y
0.252 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in x
0.252 * [taylor]: Taking taylor expansion of -1 in x
0.252 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
0.252 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
0.252 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.252 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.252 * [taylor]: Taking taylor expansion of z in x
0.252 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of z in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in x
0.253 * [taylor]: Taking taylor expansion of -1 in x
0.253 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
0.253 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
0.253 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.253 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.253 * [taylor]: Taking taylor expansion of z in x
0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.253 * [taylor]: Taking taylor expansion of y in x
0.253 * [taylor]: Taking taylor expansion of z in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) (/ 1 y)) z)) in y
0.253 * [taylor]: Taking taylor expansion of -1 in y
0.253 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
0.253 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.253 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.253 * [taylor]: Taking taylor expansion of z in y
0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.253 * [taylor]: Taking taylor expansion of y in y
0.254 * [taylor]: Taking taylor expansion of z in y
0.254 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.254 * [taylor]: Taking taylor expansion of -1 in z
0.254 * [taylor]: Taking taylor expansion of z in z
0.256 * [taylor]: Taking taylor expansion of 0 in y
0.257 * [taylor]: Taking taylor expansion of (- 1) in z
0.257 * [taylor]: Taking taylor expansion of 1 in z
0.260 * [taylor]: Taking taylor expansion of 0 in y
0.260 * [taylor]: Taking taylor expansion of 0 in z
0.261 * [taylor]: Taking taylor expansion of 0 in z
0.265 * [taylor]: Taking taylor expansion of 0 in y
0.265 * [taylor]: Taking taylor expansion of 0 in z
0.265 * [taylor]: Taking taylor expansion of 0 in z
0.266 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.266 * [approximate]: Taking taylor expansion of (* (+ z y) x) in (x y z) around 0
0.266 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
0.266 * [taylor]: Taking taylor expansion of (+ z y) in z
0.266 * [taylor]: Taking taylor expansion of z in z
0.266 * [taylor]: Taking taylor expansion of y in z
0.266 * [taylor]: Taking taylor expansion of x in z
0.266 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
0.266 * [taylor]: Taking taylor expansion of (+ z y) in y
0.266 * [taylor]: Taking taylor expansion of z in y
0.266 * [taylor]: Taking taylor expansion of y in y
0.266 * [taylor]: Taking taylor expansion of x in y
0.266 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.266 * [taylor]: Taking taylor expansion of (+ z y) in x
0.266 * [taylor]: Taking taylor expansion of z in x
0.266 * [taylor]: Taking taylor expansion of y in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.266 * [taylor]: Taking taylor expansion of (+ z y) in x
0.266 * [taylor]: Taking taylor expansion of z in x
0.266 * [taylor]: Taking taylor expansion of y in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of 0 in y
0.266 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of (+ z y) in y
0.267 * [taylor]: Taking taylor expansion of z in y
0.267 * [taylor]: Taking taylor expansion of y in y
0.267 * [taylor]: Taking taylor expansion of z in z
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in y
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 1 in z
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.269 * [taylor]: Taking taylor expansion of 0 in y
0.269 * [taylor]: Taking taylor expansion of 0 in z
0.269 * [taylor]: Taking taylor expansion of 0 in z
0.269 * [taylor]: Taking taylor expansion of 0 in z
0.269 * [taylor]: Taking taylor expansion of 0 in z
0.269 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.269 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.269 * [taylor]: Taking taylor expansion of z in z
0.270 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.270 * [taylor]: Taking taylor expansion of y in z
0.270 * [taylor]: Taking taylor expansion of x in z
0.270 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.270 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.270 * [taylor]: Taking taylor expansion of z in y
0.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.270 * [taylor]: Taking taylor expansion of y in y
0.270 * [taylor]: Taking taylor expansion of x in y
0.271 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.271 * [taylor]: Taking taylor expansion of z in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.271 * [taylor]: Taking taylor expansion of y in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.271 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.271 * [taylor]: Taking taylor expansion of z in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.271 * [taylor]: Taking taylor expansion of y in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.271 * [taylor]: Taking taylor expansion of z in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.272 * [taylor]: Taking taylor expansion of 1 in z
0.273 * [taylor]: Taking taylor expansion of 0 in y
0.273 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.273 * [taylor]: Taking taylor expansion of z in z
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in z
0.276 * [taylor]: Taking taylor expansion of 0 in z
0.278 * [taylor]: Taking taylor expansion of 0 in y
0.278 * [taylor]: Taking taylor expansion of 0 in z
0.278 * [taylor]: Taking taylor expansion of 0 in z
0.279 * [taylor]: Taking taylor expansion of 0 in z
0.280 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.280 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.280 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.280 * [taylor]: Taking taylor expansion of z in z
0.280 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.280 * [taylor]: Taking taylor expansion of y in z
0.280 * [taylor]: Taking taylor expansion of x in z
0.280 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.281 * [taylor]: Taking taylor expansion of z in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.281 * [taylor]: Taking taylor expansion of y in y
0.281 * [taylor]: Taking taylor expansion of x in y
0.281 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.281 * [taylor]: Taking taylor expansion of z in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.281 * [taylor]: Taking taylor expansion of y in x
0.281 * [taylor]: Taking taylor expansion of x in x
0.281 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.281 * [taylor]: Taking taylor expansion of z in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.282 * [taylor]: Taking taylor expansion of y in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.282 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.282 * [taylor]: Taking taylor expansion of z in y
0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.282 * [taylor]: Taking taylor expansion of 1 in z
0.283 * [taylor]: Taking taylor expansion of 0 in y
0.284 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.284 * [taylor]: Taking taylor expansion of z in z
0.286 * [taylor]: Taking taylor expansion of 0 in y
0.286 * [taylor]: Taking taylor expansion of 0 in z
0.287 * [taylor]: Taking taylor expansion of 0 in z
0.289 * [taylor]: Taking taylor expansion of 0 in y
0.289 * [taylor]: Taking taylor expansion of 0 in z
0.289 * [taylor]: Taking taylor expansion of 0 in z
0.290 * [taylor]: Taking taylor expansion of 0 in z
0.290 * * * [progress]: simplifying candidates
0.291 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x (+ y z)))
  (- z)
  (/ 1 z)
  (/ z (* x (+ y z)))
  (/ z (+ y z))
  (/ z x)
  (* z (+ (* y y) (- (* z z) (* y z))))
  (* z (- y z))
  (* x y)
  (* x z)
  (* x z)
  (* x y)
  (* y x)
  (* z x)
  (* z x)
  (* y x)
  (* x (+ (pow y 3) (pow z 3)))
  (* x (- (* y y) (* z z)))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
0.294 * * [simplify]: iteration  0 :  90  enodes  (cost  49 )
0.296 * * [simplify]: iteration  1 :  195  enodes  (cost  49 )
0.299 * * [simplify]: iteration  2 :  417  enodes  (cost  46 )
0.306 * * [simplify]: iteration  3 :  851  enodes  (cost  46 )
0.321 * * [simplify]: iteration  4 :  2182  enodes  (cost  45 )
0.368 * * [simplify]: iteration  5 :  5002  enodes  (cost  45 )
0.369 * [simplify]: Simplified to:
   (- (* x (+ y z)))
  (- z)
  (/ 1 z)
  (/ z (* x (+ y z)))
  (/ z (+ y z))
  (/ z x)
  (fma z (* y (- y z)) (pow z 3))
  (* z (- y z))
  (* x y)
  (* x z)
  (* x z)
  (* x y)
  (* x y)
  (* x z)
  (* x z)
  (* x y)
  (* x (+ (pow y 3) (pow z 3)))
  (* x (- (* y y) (* z z)))
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  (fma x z (* x y))
  (fma x z (* x y))
  (fma x z (* x y))
0.369 * * * [progress]: adding candidates to table
0.401 * * [progress]: iteration 3 / 4
0.401 * * * [progress]: picking best candidate
0.405 * * * * [pick]: Picked  #<alt (λ (x y z) (/ x (/ z (+ y z))))>
0.405 * * * [progress]: localizing error
0.410 * * * [progress]: generating rewritten candidates
0.410 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.413 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.416 * * * [progress]: generating series expansions
0.416 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.416 * [approximate]: Taking taylor expansion of (/ (* (+ z y) x) z) in (x z y) around 0
0.416 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in y
0.416 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
0.416 * [taylor]: Taking taylor expansion of (+ z y) in y
0.416 * [taylor]: Taking taylor expansion of z in y
0.416 * [taylor]: Taking taylor expansion of y in y
0.417 * [taylor]: Taking taylor expansion of x in y
0.417 * [taylor]: Taking taylor expansion of z in y
0.417 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in z
0.417 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
0.417 * [taylor]: Taking taylor expansion of (+ z y) in z
0.417 * [taylor]: Taking taylor expansion of z in z
0.417 * [taylor]: Taking taylor expansion of y in z
0.417 * [taylor]: Taking taylor expansion of x in z
0.417 * [taylor]: Taking taylor expansion of z in z
0.417 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in x
0.417 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.417 * [taylor]: Taking taylor expansion of (+ z y) in x
0.417 * [taylor]: Taking taylor expansion of z in x
0.417 * [taylor]: Taking taylor expansion of y in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of z in x
0.418 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in x
0.418 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.418 * [taylor]: Taking taylor expansion of (+ z y) in x
0.418 * [taylor]: Taking taylor expansion of z in x
0.418 * [taylor]: Taking taylor expansion of y in x
0.418 * [taylor]: Taking taylor expansion of x in x
0.418 * [taylor]: Taking taylor expansion of z in x
0.418 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in z
0.418 * [taylor]: Taking taylor expansion of (+ z y) in z
0.418 * [taylor]: Taking taylor expansion of z in z
0.418 * [taylor]: Taking taylor expansion of y in z
0.419 * [taylor]: Taking taylor expansion of z in z
0.419 * [taylor]: Taking taylor expansion of y in y
0.419 * [taylor]: Taking taylor expansion of 0 in z
0.420 * [taylor]: Taking taylor expansion of 1 in y
0.421 * [taylor]: Taking taylor expansion of 0 in z
0.421 * [taylor]: Taking taylor expansion of 0 in y
0.422 * [taylor]: Taking taylor expansion of 0 in y
0.423 * [taylor]: Taking taylor expansion of 0 in z
0.423 * [taylor]: Taking taylor expansion of 0 in y
0.423 * [taylor]: Taking taylor expansion of 0 in y
0.423 * [approximate]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in (x z y) around 0
0.423 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in y
0.423 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in y
0.423 * [taylor]: Taking taylor expansion of z in y
0.423 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.423 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.423 * [taylor]: Taking taylor expansion of z in y
0.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.424 * [taylor]: Taking taylor expansion of y in y
0.424 * [taylor]: Taking taylor expansion of x in y
0.424 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in z
0.424 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in z
0.424 * [taylor]: Taking taylor expansion of z in z
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.424 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.424 * [taylor]: Taking taylor expansion of z in z
0.425 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.425 * [taylor]: Taking taylor expansion of y in z
0.425 * [taylor]: Taking taylor expansion of x in z
0.426 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
0.426 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
0.426 * [taylor]: Taking taylor expansion of z in x
0.426 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.426 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.426 * [taylor]: Taking taylor expansion of z in x
0.426 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.426 * [taylor]: Taking taylor expansion of y in x
0.426 * [taylor]: Taking taylor expansion of x in x
0.426 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
0.426 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
0.426 * [taylor]: Taking taylor expansion of z in x
0.426 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.426 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.426 * [taylor]: Taking taylor expansion of z in x
0.426 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.426 * [taylor]: Taking taylor expansion of y in x
0.426 * [taylor]: Taking taylor expansion of x in x
0.427 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
0.427 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.427 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.427 * [taylor]: Taking taylor expansion of y in z
0.427 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.427 * [taylor]: Taking taylor expansion of z in z
0.427 * [taylor]: Taking taylor expansion of z in z
0.428 * [taylor]: Taking taylor expansion of 1 in y
0.429 * [taylor]: Taking taylor expansion of 0 in z
0.429 * [taylor]: Taking taylor expansion of 0 in y
0.431 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.431 * [taylor]: Taking taylor expansion of y in y
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 0 in y
0.433 * [taylor]: Taking taylor expansion of 0 in y
0.434 * [taylor]: Taking taylor expansion of 0 in y
0.437 * [taylor]: Taking taylor expansion of 0 in z
0.438 * [taylor]: Taking taylor expansion of 0 in y
0.438 * [taylor]: Taking taylor expansion of 0 in y
0.438 * [taylor]: Taking taylor expansion of 0 in y
0.439 * [taylor]: Taking taylor expansion of 0 in y
0.440 * [approximate]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in (x z y) around 0
0.440 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in y
0.440 * [taylor]: Taking taylor expansion of -1 in y
0.440 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in y
0.440 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in y
0.440 * [taylor]: Taking taylor expansion of z in y
0.440 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.440 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.440 * [taylor]: Taking taylor expansion of z in y
0.440 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.440 * [taylor]: Taking taylor expansion of y in y
0.440 * [taylor]: Taking taylor expansion of x in y
0.440 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in z
0.440 * [taylor]: Taking taylor expansion of -1 in z
0.440 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in z
0.440 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in z
0.440 * [taylor]: Taking taylor expansion of z in z
0.440 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.440 * [taylor]: Taking taylor expansion of z in z
0.441 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.441 * [taylor]: Taking taylor expansion of y in z
0.441 * [taylor]: Taking taylor expansion of x in z
0.442 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in x
0.442 * [taylor]: Taking taylor expansion of -1 in x
0.442 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
0.442 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
0.442 * [taylor]: Taking taylor expansion of z in x
0.442 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.442 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.442 * [taylor]: Taking taylor expansion of z in x
0.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.442 * [taylor]: Taking taylor expansion of y in x
0.442 * [taylor]: Taking taylor expansion of x in x
0.442 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in x
0.442 * [taylor]: Taking taylor expansion of -1 in x
0.442 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
0.442 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
0.442 * [taylor]: Taking taylor expansion of z in x
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.443 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.443 * [taylor]: Taking taylor expansion of z in x
0.443 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.443 * [taylor]: Taking taylor expansion of y in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) (/ 1 y)) z)) in z
0.443 * [taylor]: Taking taylor expansion of -1 in z
0.443 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.443 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.443 * [taylor]: Taking taylor expansion of z in z
0.443 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.443 * [taylor]: Taking taylor expansion of y in z
0.443 * [taylor]: Taking taylor expansion of z in z
0.445 * [taylor]: Taking taylor expansion of -1 in y
0.446 * [taylor]: Taking taylor expansion of 0 in z
0.446 * [taylor]: Taking taylor expansion of 0 in y
0.448 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.448 * [taylor]: Taking taylor expansion of y in y
0.451 * [taylor]: Taking taylor expansion of 0 in z
0.451 * [taylor]: Taking taylor expansion of 0 in y
0.451 * [taylor]: Taking taylor expansion of 0 in y
0.453 * [taylor]: Taking taylor expansion of 0 in y
0.457 * [taylor]: Taking taylor expansion of 0 in z
0.457 * [taylor]: Taking taylor expansion of 0 in y
0.457 * [taylor]: Taking taylor expansion of 0 in y
0.457 * [taylor]: Taking taylor expansion of 0 in y
0.459 * [taylor]: Taking taylor expansion of 0 in y
0.460 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.460 * [approximate]: Taking taylor expansion of (/ z (+ z y)) in (z y) around 0
0.460 * [taylor]: Taking taylor expansion of (/ z (+ z y)) in y
0.460 * [taylor]: Taking taylor expansion of z in y
0.460 * [taylor]: Taking taylor expansion of (+ z y) in y
0.460 * [taylor]: Taking taylor expansion of z in y
0.460 * [taylor]: Taking taylor expansion of y in y
0.460 * [taylor]: Taking taylor expansion of (/ z (+ z y)) in z
0.460 * [taylor]: Taking taylor expansion of z in z
0.460 * [taylor]: Taking taylor expansion of (+ z y) in z
0.460 * [taylor]: Taking taylor expansion of z in z
0.460 * [taylor]: Taking taylor expansion of y in z
0.460 * [taylor]: Taking taylor expansion of (/ z (+ z y)) in z
0.460 * [taylor]: Taking taylor expansion of z in z
0.460 * [taylor]: Taking taylor expansion of (+ z y) in z
0.460 * [taylor]: Taking taylor expansion of z in z
0.460 * [taylor]: Taking taylor expansion of y in z
0.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.460 * [taylor]: Taking taylor expansion of y in y
0.461 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
0.461 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.461 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.461 * [taylor]: Taking taylor expansion of y in y
0.465 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.465 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.465 * [taylor]: Taking taylor expansion of y in y
0.474 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in (z y) around 0
0.474 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in y
0.474 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.474 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.474 * [taylor]: Taking taylor expansion of z in y
0.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.474 * [taylor]: Taking taylor expansion of y in y
0.474 * [taylor]: Taking taylor expansion of z in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in z
0.475 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.475 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.475 * [taylor]: Taking taylor expansion of z in z
0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.475 * [taylor]: Taking taylor expansion of y in z
0.475 * [taylor]: Taking taylor expansion of z in z
0.476 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in z
0.476 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.477 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.477 * [taylor]: Taking taylor expansion of z in z
0.477 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.477 * [taylor]: Taking taylor expansion of y in z
0.477 * [taylor]: Taking taylor expansion of z in z
0.478 * [taylor]: Taking taylor expansion of 1 in y
0.480 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.480 * [taylor]: Taking taylor expansion of y in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.483 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.483 * [taylor]: Taking taylor expansion of y in y
0.487 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in (z y) around 0
0.487 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in y
0.487 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
0.487 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.487 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.487 * [taylor]: Taking taylor expansion of z in y
0.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.487 * [taylor]: Taking taylor expansion of y in y
0.488 * [taylor]: Taking taylor expansion of z in y
0.488 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in z
0.488 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.488 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.488 * [taylor]: Taking taylor expansion of z in z
0.488 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.488 * [taylor]: Taking taylor expansion of y in z
0.488 * [taylor]: Taking taylor expansion of z in z
0.490 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (/ 1 y)) z)) in z
0.490 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
0.490 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.490 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.490 * [taylor]: Taking taylor expansion of z in z
0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.490 * [taylor]: Taking taylor expansion of y in z
0.490 * [taylor]: Taking taylor expansion of z in z
0.492 * [taylor]: Taking taylor expansion of 1 in y
0.493 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.496 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.496 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.500 * * * [progress]: simplifying candidates
0.501 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x)
  (- (/ z (+ y z)))
  (/ 1 (/ z (+ y z)))
  (/ (/ z (+ y z)) x)
  (/ x z)
  (/ x (/ z (+ (pow y 3) (pow z 3))))
  (/ x (/ z (- (* y y) (* z z))))
  (/ x z)
  (/ x (- z))
  (/ x 1)
  (- z)
  (- (+ y z))
  (/ 1 (+ y z))
  (/ (+ y z) z)
  (/ z (+ (pow y 3) (pow z 3)))
  (/ z (- (* y y) (* z z)))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  0
  0
  0
0.503 * * [simplify]: iteration  0 :  61  enodes  (cost  48 )
0.505 * * [simplify]: iteration  1 :  156  enodes  (cost  48 )
0.508 * * [simplify]: iteration  2 :  412  enodes  (cost  44 )
0.516 * * [simplify]: iteration  3 :  1833  enodes  (cost  44 )
0.556 * * [simplify]: iteration  4 :  5001  enodes  (cost  43 )
0.557 * [simplify]: Simplified to:
   (- x)
  (- (/ z (+ y z)))
  (/ (+ y z) z)
  (/ (/ z (+ y z)) x)
  (/ x z)
  (/ x (/ z (+ (pow y 3) (pow z 3))))
  (* (- y z) (fma (/ x z) y x))
  (/ x z)
  (/ x (- z))
  x
  (- z)
  (- (+ y z))
  (/ 1 (+ y z))
  (/ (+ y z) z)
  (/ z (+ (pow y 3) (pow z 3)))
  (/ z (- (* y y) (* z z)))
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  0
  0
  0
0.557 * * * [progress]: adding candidates to table
0.590 * * [progress]: iteration 4 / 4
0.590 * * * [progress]: picking best candidate
0.592 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (/ x z) y x))>
0.592 * * * [progress]: localizing error
0.597 * * * [progress]: generating rewritten candidates
0.597 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.597 * * * [progress]: generating series expansions
0.597 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.597 * [approximate]: Taking taylor expansion of (fma (/ x z) y x) in (x z y) around 0
0.598 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in y
0.598 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.598 * [taylor]: Taking taylor expansion of (* (/ x z) y) in y
0.598 * [taylor]: Taking taylor expansion of (/ x z) in y
0.598 * [taylor]: Taking taylor expansion of x in y
0.598 * [taylor]: Taking taylor expansion of z in y
0.598 * [taylor]: Taking taylor expansion of y in y
0.598 * [taylor]: Taking taylor expansion of x in y
0.598 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in z
0.598 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.598 * [taylor]: Taking taylor expansion of (* (/ x z) y) in z
0.598 * [taylor]: Taking taylor expansion of (/ x z) in z
0.598 * [taylor]: Taking taylor expansion of x in z
0.598 * [taylor]: Taking taylor expansion of z in z
0.598 * [taylor]: Taking taylor expansion of y in z
0.598 * [taylor]: Taking taylor expansion of x in z
0.598 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in x
0.598 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.598 * [taylor]: Taking taylor expansion of (* (/ x z) y) in x
0.598 * [taylor]: Taking taylor expansion of (/ x z) in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of z in x
0.598 * [taylor]: Taking taylor expansion of y in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in x
0.598 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.598 * [taylor]: Taking taylor expansion of (* (/ x z) y) in x
0.598 * [taylor]: Taking taylor expansion of (/ x z) in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of z in x
0.598 * [taylor]: Taking taylor expansion of y in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.599 * [taylor]: Taking taylor expansion of 0 in z
0.599 * [taylor]: Taking taylor expansion of (+ (/ y z) 1) in z
0.599 * [taylor]: Taking taylor expansion of (/ y z) in z
0.599 * [taylor]: Taking taylor expansion of y in z
0.599 * [taylor]: Taking taylor expansion of z in z
0.599 * [taylor]: Taking taylor expansion of 1 in z
0.599 * [taylor]: Taking taylor expansion of y in y
0.599 * [taylor]: Taking taylor expansion of 0 in y
0.600 * [taylor]: Taking taylor expansion of 0 in z
0.600 * [taylor]: Taking taylor expansion of 1 in y
0.600 * [taylor]: Taking taylor expansion of 0 in y
0.601 * [taylor]: Taking taylor expansion of 0 in z
0.601 * [taylor]: Taking taylor expansion of 0 in y
0.602 * [taylor]: Taking taylor expansion of 0 in y
0.602 * [taylor]: Taking taylor expansion of 0 in y
0.603 * [approximate]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in (x z y) around 0
0.603 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in y
0.603 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.603 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in y
0.603 * [taylor]: Taking taylor expansion of (/ z x) in y
0.603 * [taylor]: Taking taylor expansion of z in y
0.603 * [taylor]: Taking taylor expansion of x in y
0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.603 * [taylor]: Taking taylor expansion of y in y
0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.603 * [taylor]: Taking taylor expansion of x in y
0.603 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in z
0.603 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.603 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in z
0.603 * [taylor]: Taking taylor expansion of (/ z x) in z
0.603 * [taylor]: Taking taylor expansion of z in z
0.603 * [taylor]: Taking taylor expansion of x in z
0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.603 * [taylor]: Taking taylor expansion of y in z
0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.603 * [taylor]: Taking taylor expansion of x in z
0.603 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in x
0.604 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.604 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in x
0.604 * [taylor]: Taking taylor expansion of (/ z x) in x
0.604 * [taylor]: Taking taylor expansion of z in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.604 * [taylor]: Taking taylor expansion of y in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in x
0.604 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.604 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in x
0.604 * [taylor]: Taking taylor expansion of (/ z x) in x
0.604 * [taylor]: Taking taylor expansion of z in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.604 * [taylor]: Taking taylor expansion of y in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.605 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in z
0.605 * [taylor]: Taking taylor expansion of (/ z y) in z
0.605 * [taylor]: Taking taylor expansion of z in z
0.605 * [taylor]: Taking taylor expansion of y in z
0.605 * [taylor]: Taking taylor expansion of 1 in z
0.605 * [taylor]: Taking taylor expansion of 1 in y
0.607 * [taylor]: Taking taylor expansion of 0 in z
0.607 * [taylor]: Taking taylor expansion of 0 in y
0.607 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.607 * [taylor]: Taking taylor expansion of y in y
0.609 * [taylor]: Taking taylor expansion of 0 in z
0.609 * [taylor]: Taking taylor expansion of 0 in y
0.609 * [taylor]: Taking taylor expansion of 0 in y
0.609 * [taylor]: Taking taylor expansion of 0 in y
0.612 * [taylor]: Taking taylor expansion of 0 in z
0.612 * [taylor]: Taking taylor expansion of 0 in y
0.612 * [taylor]: Taking taylor expansion of 0 in y
0.612 * [taylor]: Taking taylor expansion of 0 in y
0.613 * [taylor]: Taking taylor expansion of 0 in y
0.613 * [approximate]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in (x z y) around 0
0.613 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in y
0.613 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.613 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in y
0.613 * [taylor]: Taking taylor expansion of (/ z x) in y
0.613 * [taylor]: Taking taylor expansion of z in y
0.613 * [taylor]: Taking taylor expansion of x in y
0.613 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.613 * [taylor]: Taking taylor expansion of -1 in y
0.613 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.614 * [taylor]: Taking taylor expansion of -1 in y
0.614 * [taylor]: Taking taylor expansion of x in y
0.614 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in z
0.614 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.614 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in z
0.614 * [taylor]: Taking taylor expansion of (/ z x) in z
0.614 * [taylor]: Taking taylor expansion of z in z
0.614 * [taylor]: Taking taylor expansion of x in z
0.614 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.614 * [taylor]: Taking taylor expansion of -1 in z
0.614 * [taylor]: Taking taylor expansion of y in z
0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.614 * [taylor]: Taking taylor expansion of -1 in z
0.614 * [taylor]: Taking taylor expansion of x in z
0.614 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in x
0.614 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.614 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in x
0.614 * [taylor]: Taking taylor expansion of (/ z x) in x
0.614 * [taylor]: Taking taylor expansion of z in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.614 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.614 * [taylor]: Taking taylor expansion of -1 in x
0.614 * [taylor]: Taking taylor expansion of y in x
0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.614 * [taylor]: Taking taylor expansion of -1 in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in x
0.615 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.615 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in x
0.615 * [taylor]: Taking taylor expansion of (/ z x) in x
0.615 * [taylor]: Taking taylor expansion of z in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.615 * [taylor]: Taking taylor expansion of -1 in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.615 * [taylor]: Taking taylor expansion of -1 in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (- (+ (/ z y) 1)) in z
0.615 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in z
0.615 * [taylor]: Taking taylor expansion of (/ z y) in z
0.615 * [taylor]: Taking taylor expansion of z in z
0.615 * [taylor]: Taking taylor expansion of y in z
0.615 * [taylor]: Taking taylor expansion of 1 in z
0.616 * [taylor]: Taking taylor expansion of -1 in y
0.617 * [taylor]: Taking taylor expansion of 0 in z
0.617 * [taylor]: Taking taylor expansion of 0 in y
0.617 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.617 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of 0 in z
0.620 * [taylor]: Taking taylor expansion of 0 in y
0.620 * [taylor]: Taking taylor expansion of 0 in y
0.621 * [taylor]: Taking taylor expansion of 0 in y
0.624 * [taylor]: Taking taylor expansion of 0 in z
0.624 * [taylor]: Taking taylor expansion of 0 in y
0.624 * [taylor]: Taking taylor expansion of 0 in y
0.624 * [taylor]: Taking taylor expansion of 0 in y
0.624 * [taylor]: Taking taylor expansion of 0 in y
0.625 * * * [progress]: simplifying candidates
0.625 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ x z) y)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
0.627 * * [simplify]: iteration  0 :  13  enodes  (cost  11 )
0.628 * * [simplify]: iteration  1 :  19  enodes  (cost  8 )
0.630 * * [simplify]: iteration  2 :  21  enodes  (cost  8 )
0.631 * * [simplify]: iteration  3 :  26  enodes  (cost  8 )
0.632 * * [simplify]: iteration  4 :  31  enodes  (cost  8 )
0.633 * * [simplify]: iteration  5 :  37  enodes  (cost  8 )
0.635 * * [simplify]: iteration  6 :  47  enodes  (cost  8 )
0.636 * * [simplify]: iteration  7 :  106  enodes  (cost  8 )
0.638 * * [simplify]: iteration  8 :  189  enodes  (cost  8 )
0.640 * * [simplify]: iteration  9 :  243  enodes  (cost  8 )
0.643 * * [simplify]: iteration  10 :  352  enodes  (cost  8 )
0.647 * * [simplify]: iteration  11 :  603  enodes  (cost  8 )
0.660 * * [simplify]: iteration  12 :  1801  enodes  (cost  8 )
0.740 * * [simplify]: iteration  13 :  5002  enodes  (cost  8 )
0.740 * [simplify]: Simplified to:
   (* (/ x z) y)
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  (fma (/ x z) y x)
0.740 * * * [progress]: adding candidates to table
0.743 * [progress]: [Phase 3 of 3] Extracting.
0.743 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (/ (+ y z) (/ z x)))> #<alt (λ (x y z) (/ x (/ z (+ y z))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ x z) y x))>)
0.743 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* x (+ y z)) z) z y x)
0.743 * * * * [regimes]: Trying to branch on (/ (* x (+ y z)) z) from (#<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (/ (+ y z) (/ z x)))> #<alt (λ (x y z) (/ x (/ z (+ y z))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ x z) y x))>)
0.781 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (/ (+ y z) (/ z x)))> #<alt (λ (x y z) (/ x (/ z (+ y z))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ x z) y x))>)
0.810 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (/ (+ y z) (/ z x)))> #<alt (λ (x y z) (/ x (/ z (+ y z))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ x z) y x))>)
0.837 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (/ (+ y z) (/ z x)))> #<alt (λ (x y z) (/ x (/ z (+ y z))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ x z) y x))>)
0.866 * * * [regime]: Found split indices: #<option (#s(si 0 17) #s(si 3 52) #s(si 0 165) #s(si 3 236) #s(si 0 255))>
0.867 * [binary-search]: Only using regimes for bounds on (/ (* x (+ y z)) z) and (#<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (/ (+ y z) (/ z x)))> #<alt (λ (x y z) (/ x (/ z (+ y z))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ x z) y x))>)
0.867 * [regimes]: Found splitpoints: (#s(sp 0 (/ (* x (+ y z)) z) -inf.0) #s(sp 3 (/ (* x (+ y z)) z) -3.142280151932254e+85) #s(sp 0 (/ (* x (+ y z)) z) 1.1062005517729753e-72) #s(sp 3 (/ (* x (+ y z)) z) 7.103592309544577e+280) #s(sp 0 (/ (* x (+ y z)) z) +nan.0)) , with alts (#<alt (λ (x y z) (fma (/ y z) x x))> #<alt (λ (x y z) (/ (+ y z) (/ z x)))> #<alt (λ (x y z) (/ x (/ z (+ y z))))> #<alt (λ (x y z) (/ (* x (+ y z)) z))> #<alt (λ (x y z) (fma (/ x z) y x))>)
0.867 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (* x (+ y z)) z) -inf.0) (fma (/ y z) x x) (if (<= (/ (* x (+ y z)) z) -3.142280151932254e+85) (/ (* x (+ y z)) z) (if (<= (/ (* x (+ y z)) z) 1.1062005517729753e-72) (fma (/ y z) x x) (if (<= (/ (* x (+ y z)) z) 7.103592309544577e+280) (/ (* x (+ y z)) z) (fma (/ y z) x x)))))
0.868 * * [simplify]: iteration  0 :  25  enodes  (cost  24 )
0.868 * * [simplify]: iteration  1 :  28  enodes  (cost  24 )
0.869 * * [simplify]: iteration  2 :  34  enodes  (cost  17 )
0.869 * * [simplify]: iteration  3 :  37  enodes  (cost  17 )
0.869 * * [simplify]: iteration  4 :  43  enodes  (cost  17 )
0.870 * * [simplify]: iteration  5 :  54  enodes  (cost  17 )
0.870 * * [simplify]: iteration  6 :  61  enodes  (cost  17 )
0.870 * * [simplify]: iteration  7 :  62  enodes  (cost  17 )
0.871 * * [simplify]: iteration  8 :  62  enodes  (cost  17 )
0.871 * [simplify]: Simplified to:
   (if (or (<= (/ (* x (+ y z)) z) -inf.0) (not (or (<= (/ (* x (+ y z)) z) -3.142280151932254e+85) (not (or (<= (/ (* x (+ y z)) z) 1.1062005517729753e-72) (not (<= (/ (* x (+ y z)) z) 7.103592309544577e+280))))))) (fma (/ y z) x x) (/ (* x (+ y z)) z))
1.406 * [regime-testing]: Baseline error score: 3.056410060500927
1.407 * [regime-testing]: Oracle error score: 0.005125640705088136
1.408 * [regime-testing]: End program error score: 0.5085707171691246
1.429 * [regime-testing]: Target error score: 3.056410060500927