20.880 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.017 * * [simplify]: iteration  0 :  15  enodes  (cost  4 )
0.018 * * [simplify]: iteration  1 :  31  enodes  (cost  4 )
0.020 * * [simplify]: iteration  2 :  71  enodes  (cost  4 )
0.021 * * [simplify]: iteration  3 :  136  enodes  (cost  4 )
0.024 * * [simplify]: iteration  4 :  211  enodes  (cost  4 )
0.027 * * [simplify]: iteration  5 :  285  enodes  (cost  4 )
0.030 * * [simplify]: iteration  6 :  350  enodes  (cost  4 )
0.034 * * [simplify]: iteration  7 :  396  enodes  (cost  4 )
0.039 * * [simplify]: iteration  8 :  408  enodes  (cost  4 )
0.043 * * [simplify]: iteration  9 :  408  enodes  (cost  4 )
0.043 * [simplify]: Simplified to:
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.044 * * [progress]: iteration 1 / 4
0.044 * * * [progress]: picking best candidate
0.045 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))>
0.045 * * * [progress]: localizing error
0.051 * * * [progress]: generating rewritten candidates
0.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.055 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.059 * * * [progress]: generating series expansions
0.059 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.059 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
0.059 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.059 * [taylor]: Taking taylor expansion of 3.0 in y
0.059 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.059 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.060 * [taylor]: Taking taylor expansion of x in y
0.060 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.060 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.060 * [taylor]: Taking taylor expansion of 3.0 in x
0.060 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.060 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.060 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.060 * [taylor]: Taking taylor expansion of 3.0 in x
0.060 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.060 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.060 * [taylor]: Taking taylor expansion of y in x
0.061 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.061 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.061 * [taylor]: Taking taylor expansion of y in y
0.062 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.062 * [taylor]: Taking taylor expansion of 3.0 in y
0.062 * [taylor]: Taking taylor expansion of y in y
0.065 * [taylor]: Taking taylor expansion of 0 in y
0.068 * [taylor]: Taking taylor expansion of 0 in y
0.072 * [taylor]: Taking taylor expansion of 0 in y
0.072 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
0.072 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.072 * [taylor]: Taking taylor expansion of 3.0 in y
0.072 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.072 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.072 * [taylor]: Taking taylor expansion of x in y
0.072 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.072 * [taylor]: Taking taylor expansion of y in y
0.073 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.073 * [taylor]: Taking taylor expansion of 3.0 in x
0.073 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.073 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.073 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.074 * [taylor]: Taking taylor expansion of 3.0 in x
0.074 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.074 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.075 * [taylor]: Taking taylor expansion of 3.0 in y
0.075 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.076 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.076 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of 0 in y
0.082 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
0.085 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.085 * [taylor]: Taking taylor expansion of 3.0 in y
0.085 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.085 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.085 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.085 * [taylor]: Taking taylor expansion of 3.0 in x
0.085 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.085 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.085 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of y in x
0.086 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.086 * [taylor]: Taking taylor expansion of 3.0 in x
0.086 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.086 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.086 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of y in x
0.087 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.087 * [taylor]: Taking taylor expansion of 3.0 in y
0.087 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.088 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.094 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.095 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0
0.095 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.095 * [taylor]: Taking taylor expansion of 3.0 in x
0.095 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.095 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.095 * [taylor]: Taking taylor expansion of 3.0 in x
0.095 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.106 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0
0.106 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.106 * [taylor]: Taking taylor expansion of 3.0 in x
0.106 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.106 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.106 * [taylor]: Taking taylor expansion of 3.0 in x
0.106 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.124 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
0.124 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
0.124 * [taylor]: Taking taylor expansion of -3.0 in x
0.124 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
0.124 * [taylor]: Taking taylor expansion of -3.0 in x
0.124 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.125 * [taylor]: Taking taylor expansion of x in x
0.136 * * * [progress]: simplifying candidates
0.137 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3.0 y)
  (* (- x (/ 16.0 116.0)) y)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0)
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
0.139 * * [simplify]: iteration  0 :  64  enodes  (cost  46 )
0.141 * * [simplify]: iteration  1 :  158  enodes  (cost  43 )
0.144 * * [simplify]: iteration  2 :  469  enodes  (cost  43 )
0.154 * * [simplify]: iteration  3 :  1715  enodes  (cost  43 )
0.189 * * [simplify]: iteration  4 :  5002  enodes  (cost  43 )
0.190 * [simplify]: Simplified to:
   (* 3.0 y)
  (* (- x (/ 16.0 116.0)) y)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0)
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
0.190 * * * [progress]: adding candidates to table
0.211 * * [progress]: iteration 2 / 4
0.211 * * * [progress]: picking best candidate
0.219 * * * * [pick]: Picked  #<alt (λ (x y) (* (- (* 3.0 x) 0.41379310344827586) y))>
0.219 * * * [progress]: localizing error
0.226 * * * [progress]: generating rewritten candidates
0.226 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.230 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.234 * * * [progress]: generating series expansions
0.234 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.234 * [approximate]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in (x y) around 0
0.234 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in y
0.234 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in y
0.234 * [taylor]: Taking taylor expansion of (* 3.0 x) in y
0.234 * [taylor]: Taking taylor expansion of 3.0 in y
0.234 * [taylor]: Taking taylor expansion of x in y
0.234 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.234 * [taylor]: Taking taylor expansion of y in y
0.234 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in x
0.234 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
0.234 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.234 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in x
0.234 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
0.234 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.236 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.236 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.238 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.238 * [taylor]: Taking taylor expansion of 3.0 in y
0.238 * [taylor]: Taking taylor expansion of y in y
0.241 * [taylor]: Taking taylor expansion of 0 in y
0.244 * [taylor]: Taking taylor expansion of 0 in y
0.247 * [taylor]: Taking taylor expansion of 0 in y
0.248 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in (x y) around 0
0.248 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y
0.248 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in y
0.248 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
0.248 * [taylor]: Taking taylor expansion of 3.0 in y
0.248 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.248 * [taylor]: Taking taylor expansion of x in y
0.248 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.248 * [taylor]: Taking taylor expansion of y in y
0.248 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in x
0.248 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
0.248 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.248 * [taylor]: Taking taylor expansion of 3.0 in x
0.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.248 * [taylor]: Taking taylor expansion of x in x
0.249 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.249 * [taylor]: Taking taylor expansion of y in x
0.249 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in x
0.249 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
0.249 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.249 * [taylor]: Taking taylor expansion of 3.0 in x
0.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.249 * [taylor]: Taking taylor expansion of x in x
0.250 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.250 * [taylor]: Taking taylor expansion of y in x
0.250 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.250 * [taylor]: Taking taylor expansion of 3.0 in y
0.250 * [taylor]: Taking taylor expansion of y in y
0.252 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.252 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.253 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.253 * [taylor]: Taking taylor expansion of y in y
0.256 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [taylor]: Taking taylor expansion of 0 in y
0.261 * [approximate]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in (x y) around 0
0.261 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in y
0.261 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in y
0.261 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.261 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
0.261 * [taylor]: Taking taylor expansion of 3.0 in y
0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.261 * [taylor]: Taking taylor expansion of x in y
0.261 * [taylor]: Taking taylor expansion of y in y
0.261 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in x
0.261 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
0.261 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.261 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.261 * [taylor]: Taking taylor expansion of 3.0 in x
0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of y in x
0.262 * [taylor]: Taking taylor expansion of (/ (+ 0.41379310344827586 (* 3.0 (/ 1 x))) y) in x
0.262 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
0.262 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.262 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of 3.0 in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of y in x
0.263 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.263 * [taylor]: Taking taylor expansion of 3.0 in y
0.263 * [taylor]: Taking taylor expansion of y in y
0.265 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.265 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.265 * [taylor]: Taking taylor expansion of y in y
0.267 * [taylor]: Taking taylor expansion of 0 in y
0.270 * [taylor]: Taking taylor expansion of 0 in y
0.271 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.272 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in (x) around 0
0.272 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
0.272 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.272 * [taylor]: Taking taylor expansion of 3.0 in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.272 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
0.272 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.272 * [taylor]: Taking taylor expansion of 3.0 in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.281 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in (x) around 0
0.281 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
0.281 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.281 * [taylor]: Taking taylor expansion of 3.0 in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.281 * [taylor]: Taking taylor expansion of x in x
0.282 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.282 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x
0.282 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.282 * [taylor]: Taking taylor expansion of 3.0 in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.294 * [approximate]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in (x) around 0
0.294 * [taylor]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in x
0.294 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
0.294 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.294 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.294 * [taylor]: Taking taylor expansion of 3.0 in x
0.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.295 * [taylor]: Taking taylor expansion of (- (+ 0.41379310344827586 (* 3.0 (/ 1 x)))) in x
0.295 * [taylor]: Taking taylor expansion of (+ 0.41379310344827586 (* 3.0 (/ 1 x))) in x
0.295 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.295 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.295 * [taylor]: Taking taylor expansion of 3.0 in x
0.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.295 * [taylor]: Taking taylor expansion of x in x
0.310 * * * [progress]: simplifying candidates
0.311 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)) y)
  (* (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) y)
  (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))
  (+ (* (* 3.0 x) (* 3.0 x)) (+ (* 0.41379310344827586 0.41379310344827586) (* (* 3.0 x) 0.41379310344827586)))
  (- 0.41379310344827586)
  (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))
  (+ (* 3.0 x) 0.41379310344827586)
  (- 0.41379310344827586)
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
0.313 * * [simplify]: iteration  0 :  63  enodes  (cost  49 )
0.315 * * [simplify]: iteration  1 :  160  enodes  (cost  46 )
0.319 * * [simplify]: iteration  2 :  419  enodes  (cost  45 )
0.328 * * [simplify]: iteration  3 :  1054  enodes  (cost  45 )
0.353 * * [simplify]: iteration  4 :  2836  enodes  (cost  45 )
0.418 * * [simplify]: iteration  5 :  5002  enodes  (cost  45 )
0.419 * [simplify]: Simplified to:
   (* (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)) y)
  (* (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) y)
  (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))
  (+ (* (* 3.0 x) (+ (* 3.0 x) 0.41379310344827586)) (* 0.41379310344827586 0.41379310344827586))
  (- 0.41379310344827586)
  (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))
  (+ (* 3.0 x) 0.41379310344827586)
  (- 0.41379310344827586)
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
0.419 * * * [progress]: adding candidates to table
0.433 * * [progress]: iteration 3 / 4
0.433 * * * [progress]: picking best candidate
0.439 * * * * [pick]: Picked  #<alt (λ (x y) (* 3.0 (* (- x (/ 16.0 116.0)) y)))>
0.439 * * * [progress]: localizing error
0.444 * * * [progress]: generating rewritten candidates
0.445 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.448 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.452 * * * [progress]: generating series expansions
0.452 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.452 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
0.452 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.452 * [taylor]: Taking taylor expansion of 3.0 in y
0.452 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.452 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.452 * [taylor]: Taking taylor expansion of x in y
0.452 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.453 * [taylor]: Taking taylor expansion of y in y
0.453 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.453 * [taylor]: Taking taylor expansion of 3.0 in x
0.453 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.453 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.453 * [taylor]: Taking taylor expansion of x in x
0.453 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.453 * [taylor]: Taking taylor expansion of y in x
0.453 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.453 * [taylor]: Taking taylor expansion of 3.0 in x
0.453 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.453 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.453 * [taylor]: Taking taylor expansion of x in x
0.453 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.453 * [taylor]: Taking taylor expansion of y in x
0.454 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.454 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.454 * [taylor]: Taking taylor expansion of y in y
0.455 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.455 * [taylor]: Taking taylor expansion of 3.0 in y
0.455 * [taylor]: Taking taylor expansion of y in y
0.458 * [taylor]: Taking taylor expansion of 0 in y
0.461 * [taylor]: Taking taylor expansion of 0 in y
0.464 * [taylor]: Taking taylor expansion of 0 in y
0.465 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
0.465 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.465 * [taylor]: Taking taylor expansion of 3.0 in y
0.465 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.465 * [taylor]: Taking taylor expansion of x in y
0.465 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.465 * [taylor]: Taking taylor expansion of y in y
0.466 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.466 * [taylor]: Taking taylor expansion of 3.0 in x
0.466 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.466 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.466 * [taylor]: Taking taylor expansion of y in x
0.466 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.467 * [taylor]: Taking taylor expansion of 3.0 in x
0.467 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.467 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.467 * [taylor]: Taking taylor expansion of x in x
0.467 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.467 * [taylor]: Taking taylor expansion of y in x
0.467 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.467 * [taylor]: Taking taylor expansion of 3.0 in y
0.467 * [taylor]: Taking taylor expansion of y in y
0.469 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.469 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.469 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.472 * [taylor]: Taking taylor expansion of 0 in y
0.475 * [taylor]: Taking taylor expansion of 0 in y
0.478 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
0.478 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.478 * [taylor]: Taking taylor expansion of 3.0 in y
0.478 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.478 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.478 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.478 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.478 * [taylor]: Taking taylor expansion of x in y
0.478 * [taylor]: Taking taylor expansion of y in y
0.478 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.478 * [taylor]: Taking taylor expansion of 3.0 in x
0.478 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.478 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.478 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of y in x
0.479 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.479 * [taylor]: Taking taylor expansion of 3.0 in x
0.479 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.479 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.479 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of y in x
0.480 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.480 * [taylor]: Taking taylor expansion of 3.0 in y
0.480 * [taylor]: Taking taylor expansion of y in y
0.483 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.483 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.483 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of 0 in y
0.488 * [taylor]: Taking taylor expansion of 0 in y
0.490 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.490 * [approximate]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in (x y) around 0
0.490 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.490 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.490 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.490 * [taylor]: Taking taylor expansion of y in y
0.490 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.490 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.490 * [taylor]: Taking taylor expansion of y in x
0.490 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.490 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.490 * [taylor]: Taking taylor expansion of y in x
0.492 * [taylor]: Taking taylor expansion of (* -0.13793103448275862 y) in y
0.492 * [taylor]: Taking taylor expansion of -0.13793103448275862 in y
0.492 * [taylor]: Taking taylor expansion of y in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.495 * [taylor]: Taking taylor expansion of 0 in y
0.496 * [taylor]: Taking taylor expansion of 0 in y
0.498 * [taylor]: Taking taylor expansion of 0 in y
0.499 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in (x y) around 0
0.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.499 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.499 * [taylor]: Taking taylor expansion of x in y
0.499 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.500 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.500 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.500 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.501 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of (- (* 0.13793103448275862 (/ 1 y))) in y
0.503 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
0.503 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.503 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of 0 in y
0.508 * [taylor]: Taking taylor expansion of 0 in y
0.510 * [approximate]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in (x y) around 0
0.510 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.510 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.510 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.511 * [taylor]: Taking taylor expansion of x in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.511 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.511 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.511 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.511 * [taylor]: Taking taylor expansion of x in x
0.511 * [taylor]: Taking taylor expansion of y in x
0.511 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.511 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.511 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.511 * [taylor]: Taking taylor expansion of x in x
0.512 * [taylor]: Taking taylor expansion of y in x
0.512 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.512 * [taylor]: Taking taylor expansion of y in y
0.513 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
0.513 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.513 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of 0 in y
0.517 * [taylor]: Taking taylor expansion of 0 in y
0.519 * * * [progress]: simplifying candidates
0.519 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3.0 (- x (/ 16.0 116.0)))
  (* 3.0 y)
  (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y))
  (* 3.0 (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y)
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* x y) (* 0.13793103448275862 y))
  (- (* x y) (* 0.13793103448275862 y))
  (- (* x y) (* 0.13793103448275862 y))
0.522 * * [simplify]: iteration  0 :  70  enodes  (cost  46 )
0.524 * * [simplify]: iteration  1 :  185  enodes  (cost  43 )
0.528 * * [simplify]: iteration  2 :  565  enodes  (cost  43 )
0.539 * * [simplify]: iteration  3 :  1999  enodes  (cost  43 )
0.578 * * [simplify]: iteration  4 :  5001  enodes  (cost  43 )
0.579 * [simplify]: Simplified to:
   (* 3.0 (- x (/ 16.0 116.0)))
  (* 3.0 y)
  (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y))
  (* 3.0 (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y)
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- x 0.13793103448275862))
  (* y (- x 0.13793103448275862))
  (* y (- x 0.13793103448275862))
0.579 * * * [progress]: adding candidates to table
0.603 * * [progress]: iteration 4 / 4
0.603 * * * [progress]: picking best candidate
0.608 * * * * [pick]: Picked  #<alt (λ (x y) (* (* 3.0 y) (- x (/ 16.0 116.0))))>
0.608 * * * [progress]: localizing error
0.614 * * * [progress]: generating rewritten candidates
0.614 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.618 * * * [progress]: generating series expansions
0.618 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.619 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (y x) around 0
0.619 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.619 * [taylor]: Taking taylor expansion of 3.0 in x
0.619 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.619 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.619 * [taylor]: Taking taylor expansion of x in x
0.619 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.619 * [taylor]: Taking taylor expansion of y in x
0.619 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.619 * [taylor]: Taking taylor expansion of 3.0 in y
0.619 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.619 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.619 * [taylor]: Taking taylor expansion of x in y
0.619 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.619 * [taylor]: Taking taylor expansion of y in y
0.619 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.619 * [taylor]: Taking taylor expansion of 3.0 in y
0.619 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.619 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.619 * [taylor]: Taking taylor expansion of x in y
0.619 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.619 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of 0 in x
0.621 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x
0.621 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.621 * [taylor]: Taking taylor expansion of 3.0 in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x
0.623 * [taylor]: Taking taylor expansion of 0 in x
0.626 * [taylor]: Taking taylor expansion of 0 in x
0.629 * [taylor]: Taking taylor expansion of 0 in x
0.630 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (y x) around 0
0.630 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.630 * [taylor]: Taking taylor expansion of 3.0 in x
0.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.630 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.631 * [taylor]: Taking taylor expansion of y in x
0.631 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.631 * [taylor]: Taking taylor expansion of 3.0 in y
0.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.631 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.631 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.631 * [taylor]: Taking taylor expansion of x in y
0.631 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.631 * [taylor]: Taking taylor expansion of y in y
0.632 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.632 * [taylor]: Taking taylor expansion of 3.0 in y
0.632 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.632 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.632 * [taylor]: Taking taylor expansion of x in y
0.632 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.632 * [taylor]: Taking taylor expansion of y in y
0.632 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.632 * [taylor]: Taking taylor expansion of 3.0 in x
0.632 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.633 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.635 * [taylor]: Taking taylor expansion of 0 in x
0.639 * [taylor]: Taking taylor expansion of 0 in x
0.643 * [taylor]: Taking taylor expansion of 0 in x
0.648 * [taylor]: Taking taylor expansion of 0 in x
0.648 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (y x) around 0
0.648 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.648 * [taylor]: Taking taylor expansion of 3.0 in x
0.648 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.648 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.648 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.649 * [taylor]: Taking taylor expansion of x in x
0.649 * [taylor]: Taking taylor expansion of y in x
0.649 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.649 * [taylor]: Taking taylor expansion of 3.0 in y
0.649 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.649 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.649 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.649 * [taylor]: Taking taylor expansion of x in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.649 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.649 * [taylor]: Taking taylor expansion of 3.0 in y
0.649 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.649 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.649 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.649 * [taylor]: Taking taylor expansion of x in y
0.650 * [taylor]: Taking taylor expansion of y in y
0.650 * [taylor]: Taking taylor expansion of (* 3.0 (+ (/ 1 x) 0.13793103448275862)) in x
0.650 * [taylor]: Taking taylor expansion of 3.0 in x
0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.652 * [taylor]: Taking taylor expansion of 0 in x
0.655 * [taylor]: Taking taylor expansion of 0 in x
0.659 * [taylor]: Taking taylor expansion of 0 in x
0.663 * [taylor]: Taking taylor expansion of 0 in x
0.663 * * * [progress]: simplifying candidates
0.663 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 3.0 y) x)
  (* (* 3.0 y) (- (/ 16.0 116.0)))
  (* (* 3.0 y) x)
  (* (* 3.0 y) (- (/ 16.0 116.0)))
  (* x (* 3.0 y))
  (* (- (/ 16.0 116.0)) (* 3.0 y))
  (* x (* 3.0 y))
  (* (- (/ 16.0 116.0)) (* 3.0 y))
  (* y (- x (/ 16.0 116.0)))
  (* 3.0 (- x (/ 16.0 116.0)))
  (* (* 3.0 y) (- (pow x 3) (pow (/ 16.0 116.0) 3)))
  (* (* 3.0 y) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
0.666 * * [simplify]: iteration  0 :  77  enodes  (cost  55 )
0.668 * * [simplify]: iteration  1 :  218  enodes  (cost  52 )
0.672 * * [simplify]: iteration  2 :  629  enodes  (cost  52 )
0.684 * * [simplify]: iteration  3 :  1990  enodes  (cost  52 )
0.726 * * [simplify]: iteration  4 :  5002  enodes  (cost  52 )
0.727 * [simplify]: Simplified to:
   (* (* 3.0 y) x)
  (* (* 3.0 y) (- (/ 16.0 116.0)))
  (* (* 3.0 y) x)
  (* (* 3.0 y) (- (/ 16.0 116.0)))
  (* (* 3.0 y) x)
  (* (* 3.0 y) (- (/ 16.0 116.0)))
  (* (* 3.0 y) x)
  (* (* 3.0 y) (- (/ 16.0 116.0)))
  (* y (- x (/ 16.0 116.0)))
  (* 3.0 (- x (/ 16.0 116.0)))
  (* (* 3.0 y) (- (pow x 3) (pow (/ 16.0 116.0) 3)))
  (* (* 3.0 y) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (* y (- (* x 3.0) 0.41379310344827586))
  (* y (- (* x 3.0) 0.41379310344827586))
  (* y (- (* x 3.0) 0.41379310344827586))
0.727 * * * [progress]: adding candidates to table
0.744 * [progress]: [Phase 3 of 3] Extracting.
0.744 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* 3.0 (* (- x (/ 16.0 116.0)) y)))> #<alt (λ (x y) (* (- (* 3.0 x) 0.41379310344827586) y))> #<alt (λ (x y) (/ (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) y) (+ (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* 3.0 y) (- x (/ 16.0 116.0))))>)
0.745 * * * [regime-changes]: Trying 3 branch expressions: ((- x (/ 16.0 116.0)) y x)
0.745 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (* 3.0 (* (- x (/ 16.0 116.0)) y)))> #<alt (λ (x y) (* (- (* 3.0 x) 0.41379310344827586) y))> #<alt (λ (x y) (/ (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) y) (+ (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* 3.0 y) (- x (/ 16.0 116.0))))>)
0.760 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (* 3.0 (* (- x (/ 16.0 116.0)) y)))> #<alt (λ (x y) (* (* 3.0 y) (- x (/ 16.0 116.0))))>)
0.769 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* 3.0 (* (- x (/ 16.0 116.0)) y)))> #<alt (λ (x y) (* (- (* 3.0 x) 0.41379310344827586) y))> #<alt (λ (x y) (/ (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) y) (+ (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* 3.0 y) (- x (/ 16.0 116.0))))>)
0.788 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* 3.0 (* (- x (/ 16.0 116.0)) y)))> #<alt (λ (x y) (* (- (* 3.0 x) 0.41379310344827586) y))> #<alt (λ (x y) (/ (* 3.0 (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) y)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (/ (* (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) y) (+ (* 3.0 x) 0.41379310344827586)))> #<alt (λ (x y) (* (* 3.0 y) (- x (/ 16.0 116.0))))>)
0.805 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.805 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (* 3.0 x) 0.41379310344827586) y)
0.805 * * [simplify]: iteration  0 :  9  enodes  (cost  3 )
0.806 * * [simplify]: iteration  1 :  9  enodes  (cost  3 )
0.806 * [simplify]: Simplified to:
   (* (- (* 3.0 x) 0.41379310344827586) y)
1.265 * [regime-testing]: Baseline error score: 0.18609638236038517
1.266 * [regime-testing]: Oracle error score: 0.011251406425803226
1.267 * [regime-testing]: End program error score: 0.18609638236038517
1.284 * [regime-testing]: Target error score: 0.18609638236038517