15.088 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.018 * * [simplify]: iteration  0 :  15  enodes  (cost  4 )
0.020 * * [simplify]: iteration  1 :  31  enodes  (cost  4 )
0.021 * * [simplify]: iteration  2 :  73  enodes  (cost  4 )
0.023 * * [simplify]: iteration  3 :  151  enodes  (cost  4 )
0.025 * * [simplify]: iteration  4 :  241  enodes  (cost  4 )
0.028 * * [simplify]: iteration  5 :  326  enodes  (cost  4 )
0.032 * * [simplify]: iteration  6 :  397  enodes  (cost  4 )
0.036 * * [simplify]: iteration  7 :  457  enodes  (cost  4 )
0.040 * * [simplify]: iteration  8 :  477  enodes  (cost  4 )
0.044 * * [simplify]: iteration  9 :  480  enodes  (cost  4 )
0.049 * * [simplify]: iteration  10 :  480  enodes  (cost  4 )
0.049 * [simplify]: Simplified to:
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.049 * * [progress]: iteration 1 / 4
0.049 * * * [progress]: picking best candidate
0.051 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))>
0.051 * * * [progress]: localizing error
0.056 * * * [progress]: generating rewritten candidates
0.057 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.061 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.065 * * * [progress]: generating series expansions
0.065 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.066 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
0.066 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.066 * [taylor]: Taking taylor expansion of 3.0 in y
0.066 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.066 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.066 * [taylor]: Taking taylor expansion of x in y
0.066 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.066 * [taylor]: Taking taylor expansion of y in y
0.066 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.066 * [taylor]: Taking taylor expansion of 3.0 in x
0.066 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.066 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.066 * [taylor]: Taking taylor expansion of y in x
0.066 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.066 * [taylor]: Taking taylor expansion of 3.0 in x
0.066 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.066 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.066 * [taylor]: Taking taylor expansion of y in x
0.067 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.067 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.068 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.068 * [taylor]: Taking taylor expansion of 3.0 in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of 0 in y
0.074 * [taylor]: Taking taylor expansion of 0 in y
0.077 * [taylor]: Taking taylor expansion of 0 in y
0.078 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
0.078 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.078 * [taylor]: Taking taylor expansion of 3.0 in y
0.078 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.078 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.079 * [taylor]: Taking taylor expansion of 3.0 in x
0.079 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.079 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.079 * [taylor]: Taking taylor expansion of y in x
0.080 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.080 * [taylor]: Taking taylor expansion of 3.0 in x
0.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.080 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.080 * [taylor]: Taking taylor expansion of y in x
0.080 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.080 * [taylor]: Taking taylor expansion of 3.0 in y
0.080 * [taylor]: Taking taylor expansion of y in y
0.082 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.082 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.082 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.082 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
0.094 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.094 * [taylor]: Taking taylor expansion of 3.0 in y
0.094 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.094 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.094 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.094 * [taylor]: Taking taylor expansion of x in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.095 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.095 * [taylor]: Taking taylor expansion of 3.0 in x
0.095 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.095 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of y in x
0.095 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.095 * [taylor]: Taking taylor expansion of 3.0 in x
0.095 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.095 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of y in x
0.096 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.096 * [taylor]: Taking taylor expansion of 3.0 in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.097 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.104 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.104 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0
0.104 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.104 * [taylor]: Taking taylor expansion of 3.0 in x
0.104 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.104 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.104 * [taylor]: Taking taylor expansion of 3.0 in x
0.104 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.115 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0
0.115 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.115 * [taylor]: Taking taylor expansion of 3.0 in x
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.115 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.115 * [taylor]: Taking taylor expansion of 3.0 in x
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.130 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
0.130 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
0.130 * [taylor]: Taking taylor expansion of -3.0 in x
0.130 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.130 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
0.130 * [taylor]: Taking taylor expansion of -3.0 in x
0.130 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.130 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.142 * * * [progress]: simplifying candidates
0.142 * [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.145 * * [simplify]: iteration  0 :  67  enodes  (cost  46 )
0.146 * * [simplify]: iteration  1 :  166  enodes  (cost  43 )
0.150 * * [simplify]: iteration  2 :  503  enodes  (cost  43 )
0.159 * * [simplify]: iteration  3 :  1839  enodes  (cost  43 )
0.191 * * [simplify]: iteration  4 :  5001  enodes  (cost  43 )
0.191 * [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.191 * * * [progress]: adding candidates to table
0.215 * * [progress]: iteration 2 / 4
0.215 * * * [progress]: picking best candidate
0.221 * * * * [pick]: Picked  #<alt (λ (x y) (* 3.0 (* (- x (/ 16.0 116.0)) y)))>
0.221 * * * [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 2)
0.233 * * * [progress]: generating series expansions
0.234 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.234 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.234 * [taylor]: Taking taylor expansion of 3.0 in y
0.234 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.234 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.234 * [taylor]: Taking taylor expansion of x in y
0.234 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.234 * [taylor]: Taking taylor expansion of y in y
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.234 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.234 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.235 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.235 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.237 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.237 * [taylor]: Taking taylor expansion of 3.0 in y
0.237 * [taylor]: Taking taylor expansion of y in y
0.239 * [taylor]: Taking taylor expansion of 0 in y
0.243 * [taylor]: Taking taylor expansion of 0 in y
0.246 * [taylor]: Taking taylor expansion of 0 in y
0.247 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
0.247 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.247 * [taylor]: Taking taylor expansion of 3.0 in y
0.247 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.247 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.247 * [taylor]: Taking taylor expansion of x in y
0.247 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.247 * [taylor]: Taking taylor expansion of y in y
0.248 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.248 * [taylor]: Taking taylor expansion of 3.0 in x
0.248 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.248 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.248 * [taylor]: Taking taylor expansion of x in x
0.248 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.248 * [taylor]: Taking taylor expansion of y in x
0.248 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.248 * [taylor]: Taking taylor expansion of 3.0 in x
0.248 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.248 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) 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.13793103448275862 in x
0.249 * [taylor]: Taking taylor expansion of y in x
0.249 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.249 * [taylor]: Taking taylor expansion of 3.0 in y
0.249 * [taylor]: Taking taylor expansion of y in y
0.251 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.251 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.251 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.251 * [taylor]: Taking taylor expansion of y in y
0.254 * [taylor]: Taking taylor expansion of 0 in y
0.257 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
0.259 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.259 * [taylor]: Taking taylor expansion of 3.0 in y
0.259 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.259 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.259 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.259 * [taylor]: Taking taylor expansion of x in y
0.259 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.260 * [taylor]: Taking taylor expansion of 3.0 in x
0.260 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.260 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.260 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.260 * [taylor]: Taking taylor expansion of 3.0 in x
0.260 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.260 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.260 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of y in x
0.261 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.261 * [taylor]: Taking taylor expansion of 3.0 in y
0.261 * [taylor]: Taking taylor expansion of y in y
0.262 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.262 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.262 * [taylor]: Taking taylor expansion of y in y
0.264 * [taylor]: Taking taylor expansion of 0 in y
0.267 * [taylor]: Taking taylor expansion of 0 in y
0.269 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.269 * [approximate]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in (x y) around 0
0.269 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.269 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.269 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.269 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.269 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.270 * [taylor]: Taking taylor expansion of (* -0.13793103448275862 y) in y
0.270 * [taylor]: Taking taylor expansion of -0.13793103448275862 in y
0.270 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.273 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.281 * [taylor]: Taking taylor expansion of 0 in y
0.282 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in (x y) around 0
0.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.282 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.282 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.282 * [taylor]: Taking taylor expansion of x in y
0.282 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.283 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.283 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.283 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.283 * [taylor]: Taking taylor expansion of y in x
0.283 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.284 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.284 * [taylor]: Taking taylor expansion of y in x
0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.284 * [taylor]: Taking taylor expansion of y in y
0.286 * [taylor]: Taking taylor expansion of (- (* 0.13793103448275862 (/ 1 y))) in y
0.286 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
0.286 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.286 * [taylor]: Taking taylor expansion of y in y
0.288 * [taylor]: Taking taylor expansion of 0 in y
0.291 * [taylor]: Taking taylor expansion of 0 in y
0.293 * [approximate]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in (x y) around 0
0.293 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.293 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.293 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.293 * [taylor]: Taking taylor expansion of x in y
0.294 * [taylor]: Taking taylor expansion of y in y
0.294 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.294 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.294 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of y in x
0.294 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.294 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.294 * [taylor]: Taking taylor expansion of 0.13793103448275862 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 y in x
0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.296 * [taylor]: Taking taylor expansion of (* 0.13793103448275862 (/ 1 y)) in y
0.296 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.296 * [taylor]: Taking taylor expansion of y in y
0.298 * [taylor]: Taking taylor expansion of 0 in y
0.300 * [taylor]: Taking taylor expansion of 0 in y
0.302 * * * [progress]: simplifying candidates
0.302 * [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.305 * * [simplify]: iteration  0 :  73  enodes  (cost  46 )
0.306 * * [simplify]: iteration  1 :  193  enodes  (cost  43 )
0.310 * * [simplify]: iteration  2 :  609  enodes  (cost  43 )
0.321 * * [simplify]: iteration  3 :  2165  enodes  (cost  43 )
0.356 * * [simplify]: iteration  4 :  5002  enodes  (cost  43 )
0.357 * [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.357 * * * [progress]: adding candidates to table
0.377 * * [progress]: iteration 3 / 4
0.377 * * * [progress]: picking best candidate
0.382 * * * * [pick]: Picked  #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))>
0.382 * * * [progress]: localizing error
0.388 * * * [progress]: generating rewritten candidates
0.388 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.396 * * * [progress]: generating series expansions
0.396 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.397 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
0.397 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.397 * [taylor]: Taking taylor expansion of 3.0 in y
0.397 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.397 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.397 * [taylor]: Taking taylor expansion of x in y
0.397 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.397 * [taylor]: Taking taylor expansion of 3.0 in x
0.397 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.397 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.397 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.397 * [taylor]: Taking taylor expansion of y in x
0.397 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.397 * [taylor]: Taking taylor expansion of 3.0 in x
0.397 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.397 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.397 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.397 * [taylor]: Taking taylor expansion of y in x
0.398 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.398 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.398 * [taylor]: Taking taylor expansion of y in y
0.399 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.399 * [taylor]: Taking taylor expansion of 3.0 in y
0.399 * [taylor]: Taking taylor expansion of y in y
0.402 * [taylor]: Taking taylor expansion of 0 in y
0.405 * [taylor]: Taking taylor expansion of 0 in y
0.409 * [taylor]: Taking taylor expansion of 0 in y
0.409 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
0.409 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.409 * [taylor]: Taking taylor expansion of 3.0 in y
0.409 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.409 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.409 * [taylor]: Taking taylor expansion of x in y
0.410 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.410 * [taylor]: Taking taylor expansion of y in y
0.410 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.410 * [taylor]: Taking taylor expansion of 3.0 in x
0.410 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.410 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.410 * [taylor]: Taking taylor expansion of y in x
0.411 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.411 * [taylor]: Taking taylor expansion of 3.0 in x
0.411 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.411 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.411 * [taylor]: Taking taylor expansion of y in x
0.411 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.412 * [taylor]: Taking taylor expansion of 3.0 in y
0.412 * [taylor]: Taking taylor expansion of y in y
0.413 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.413 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.413 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.413 * [taylor]: Taking taylor expansion of y in y
0.416 * [taylor]: Taking taylor expansion of 0 in y
0.419 * [taylor]: Taking taylor expansion of 0 in y
0.422 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
0.422 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.422 * [taylor]: Taking taylor expansion of 3.0 in y
0.422 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.422 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.422 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.422 * [taylor]: Taking taylor expansion of x in y
0.422 * [taylor]: Taking taylor expansion of y in y
0.422 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.422 * [taylor]: Taking taylor expansion of 3.0 in x
0.422 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.422 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.422 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of y in x
0.423 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.423 * [taylor]: Taking taylor expansion of 3.0 in x
0.423 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.423 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.423 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.423 * [taylor]: Taking taylor expansion of y in x
0.423 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.423 * [taylor]: Taking taylor expansion of 3.0 in y
0.423 * [taylor]: Taking taylor expansion of y in y
0.425 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.425 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.425 * [taylor]: Taking taylor expansion of y in y
0.427 * [taylor]: Taking taylor expansion of 0 in y
0.429 * [taylor]: Taking taylor expansion of 0 in y
0.431 * * * [progress]: simplifying candidates
0.431 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- x (/ 16.0 116.0)) 3.0)
  (* (- 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))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
0.434 * * [simplify]: iteration  0 :  62  enodes  (cost  31 )
0.436 * * [simplify]: iteration  1 :  168  enodes  (cost  28 )
0.439 * * [simplify]: iteration  2 :  528  enodes  (cost  28 )
0.448 * * [simplify]: iteration  3 :  1877  enodes  (cost  28 )
0.481 * * [simplify]: iteration  4 :  5002  enodes  (cost  28 )
0.482 * [simplify]: Simplified to:
   (* (- x (/ 16.0 116.0)) 3.0)
  (* (- 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))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
0.482 * * * [progress]: adding candidates to table
0.492 * * [progress]: iteration 4 / 4
0.492 * * * [progress]: picking best candidate
0.496 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))>
0.496 * * * [progress]: localizing error
0.506 * * * [progress]: generating rewritten candidates
0.506 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.522 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.530 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.537 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.545 * * * [progress]: generating series expansions
0.545 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.546 * [approximate]: Taking taylor expansion of (* 3.0 (/ (* (- (pow x 2) 0.019024970273483946) y) (+ x 0.13793103448275862))) in (x y) around 0
0.547 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* (- (pow x 2) 0.019024970273483946) y) (+ x 0.13793103448275862))) in y
0.547 * [taylor]: Taking taylor expansion of 3.0 in y
0.547 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 2) 0.019024970273483946) y) (+ x 0.13793103448275862)) in y
0.547 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 0.019024970273483946) y) in y
0.547 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in y
0.547 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.547 * [taylor]: Taking taylor expansion of x in y
0.547 * [taylor]: Taking taylor expansion of 0.019024970273483946 in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (+ x 0.13793103448275862) in y
0.547 * [taylor]: Taking taylor expansion of x in y
0.547 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.548 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* (- (pow x 2) 0.019024970273483946) y) (+ x 0.13793103448275862))) in x
0.548 * [taylor]: Taking taylor expansion of 3.0 in x
0.548 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 2) 0.019024970273483946) y) (+ x 0.13793103448275862)) in x
0.548 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 0.019024970273483946) y) in x
0.548 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.548 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.549 * [taylor]: Taking taylor expansion of y in x
0.549 * [taylor]: Taking taylor expansion of (+ x 0.13793103448275862) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.550 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* (- (pow x 2) 0.019024970273483946) y) (+ x 0.13793103448275862))) in x
0.550 * [taylor]: Taking taylor expansion of 3.0 in x
0.550 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 2) 0.019024970273483946) y) (+ x 0.13793103448275862)) in x
0.550 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 0.019024970273483946) y) in x
0.550 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.550 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.550 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.550 * [taylor]: Taking taylor expansion of y in x
0.550 * [taylor]: Taking taylor expansion of (+ x 0.13793103448275862) in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.550 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.551 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.551 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.551 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.554 * [taylor]: Taking taylor expansion of 3.0 in y
0.554 * [taylor]: Taking taylor expansion of y in y
0.558 * [taylor]: Taking taylor expansion of 0 in y
0.562 * [taylor]: Taking taylor expansion of 0 in y
0.564 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* (+ 0.13793103448275862 (/ 1 x)) y))) in (x y) around 0
0.564 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* (+ 0.13793103448275862 (/ 1 x)) y))) in y
0.564 * [taylor]: Taking taylor expansion of 3.0 in y
0.564 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.564 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in y
0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.564 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.564 * [taylor]: Taking taylor expansion of x in y
0.564 * [taylor]: Taking taylor expansion of 0.019024970273483946 in y
0.564 * [taylor]: Taking taylor expansion of (* (+ 0.13793103448275862 (/ 1 x)) y) in y
0.564 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.564 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.564 * [taylor]: Taking taylor expansion of x in y
0.564 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* (+ 0.13793103448275862 (/ 1 x)) y))) in x
0.566 * [taylor]: Taking taylor expansion of 3.0 in x
0.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.566 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.566 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.566 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.566 * [taylor]: Taking taylor expansion of (* (+ 0.13793103448275862 (/ 1 x)) y) in x
0.566 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.566 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.567 * [taylor]: Taking taylor expansion of y in x
0.567 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* (+ 0.13793103448275862 (/ 1 x)) y))) in x
0.567 * [taylor]: Taking taylor expansion of 3.0 in x
0.567 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.567 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.567 * [taylor]: Taking taylor expansion of x in x
0.568 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.568 * [taylor]: Taking taylor expansion of (* (+ 0.13793103448275862 (/ 1 x)) y) in x
0.568 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.568 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.568 * [taylor]: Taking taylor expansion of x in x
0.568 * [taylor]: Taking taylor expansion of y in x
0.569 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.569 * [taylor]: Taking taylor expansion of 3.0 in y
0.569 * [taylor]: Taking taylor expansion of y in y
0.571 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.571 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.571 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.571 * [taylor]: Taking taylor expansion of y in y
0.576 * [taylor]: Taking taylor expansion of 0 in y
0.581 * [taylor]: Taking taylor expansion of 0 in y
0.585 * [approximate]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* y (- 0.13793103448275862 (/ 1 x))))) in (x y) around 0
0.585 * [taylor]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* y (- 0.13793103448275862 (/ 1 x))))) in y
0.585 * [taylor]: Taking taylor expansion of -3.0 in y
0.585 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* y (- 0.13793103448275862 (/ 1 x)))) in y
0.585 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.585 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.585 * [taylor]: Taking taylor expansion of x in y
0.585 * [taylor]: Taking taylor expansion of 0.019024970273483946 in y
0.585 * [taylor]: Taking taylor expansion of (* y (- 0.13793103448275862 (/ 1 x))) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ 1 x)) in y
0.585 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.585 * [taylor]: Taking taylor expansion of x in y
0.587 * [taylor]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* y (- 0.13793103448275862 (/ 1 x))))) in x
0.587 * [taylor]: Taking taylor expansion of -3.0 in x
0.587 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* y (- 0.13793103448275862 (/ 1 x)))) in x
0.587 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.587 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.587 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.587 * [taylor]: Taking taylor expansion of x in x
0.587 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.587 * [taylor]: Taking taylor expansion of (* y (- 0.13793103448275862 (/ 1 x))) in x
0.587 * [taylor]: Taking taylor expansion of y in x
0.587 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ 1 x)) in x
0.587 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.587 * [taylor]: Taking taylor expansion of x in x
0.588 * [taylor]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* y (- 0.13793103448275862 (/ 1 x))))) in x
0.588 * [taylor]: Taking taylor expansion of -3.0 in x
0.588 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) (* y (- 0.13793103448275862 (/ 1 x)))) in x
0.588 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.589 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.589 * [taylor]: Taking taylor expansion of (* y (- 0.13793103448275862 (/ 1 x))) in x
0.589 * [taylor]: Taking taylor expansion of y in x
0.589 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ 1 x)) in x
0.589 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.589 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.590 * [taylor]: Taking taylor expansion of 3.0 in y
0.590 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.593 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.597 * [taylor]: Taking taylor expansion of 0 in y
0.602 * [taylor]: Taking taylor expansion of 0 in y
0.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.610 * [approximate]: Taking taylor expansion of (* 3.0 (* (- (pow x 2) 0.019024970273483946) y)) in (x y) around 0
0.611 * [taylor]: Taking taylor expansion of (* 3.0 (* (- (pow x 2) 0.019024970273483946) y)) in y
0.611 * [taylor]: Taking taylor expansion of 3.0 in y
0.611 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 0.019024970273483946) y) in y
0.611 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in y
0.611 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.611 * [taylor]: Taking taylor expansion of x in y
0.611 * [taylor]: Taking taylor expansion of 0.019024970273483946 in y
0.611 * [taylor]: Taking taylor expansion of y in y
0.611 * [taylor]: Taking taylor expansion of (* 3.0 (* (- (pow x 2) 0.019024970273483946) y)) in x
0.611 * [taylor]: Taking taylor expansion of 3.0 in x
0.611 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 0.019024970273483946) y) in x
0.611 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.611 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.611 * [taylor]: Taking taylor expansion of x in x
0.611 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.611 * [taylor]: Taking taylor expansion of y in x
0.611 * [taylor]: Taking taylor expansion of (* 3.0 (* (- (pow x 2) 0.019024970273483946) y)) in x
0.611 * [taylor]: Taking taylor expansion of 3.0 in x
0.611 * [taylor]: Taking taylor expansion of (* (- (pow x 2) 0.019024970273483946) y) in x
0.611 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.611 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.611 * [taylor]: Taking taylor expansion of x in x
0.611 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.611 * [taylor]: Taking taylor expansion of y in x
0.612 * [taylor]: Taking taylor expansion of (* -0.05707491082045184 y) in y
0.612 * [taylor]: Taking taylor expansion of -0.05707491082045184 in y
0.612 * [taylor]: Taking taylor expansion of y in y
0.613 * [taylor]: Taking taylor expansion of 0 in y
0.616 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.616 * [taylor]: Taking taylor expansion of 3.0 in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.619 * [taylor]: Taking taylor expansion of 0 in y
0.623 * [taylor]: Taking taylor expansion of 0 in y
0.625 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in (x y) around 0
0.625 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in y
0.625 * [taylor]: Taking taylor expansion of 3.0 in y
0.625 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y) in y
0.625 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in y
0.625 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.625 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.625 * [taylor]: Taking taylor expansion of x in y
0.625 * [taylor]: Taking taylor expansion of 0.019024970273483946 in y
0.625 * [taylor]: Taking taylor expansion of y in y
0.626 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in x
0.626 * [taylor]: Taking taylor expansion of 3.0 in x
0.626 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y) in x
0.626 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.626 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.626 * [taylor]: Taking taylor expansion of x in x
0.626 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.626 * [taylor]: Taking taylor expansion of y in x
0.627 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in x
0.627 * [taylor]: Taking taylor expansion of 3.0 in x
0.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y) in x
0.627 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.627 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.627 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.627 * [taylor]: Taking taylor expansion of y in x
0.628 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.628 * [taylor]: Taking taylor expansion of 3.0 in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.629 * [taylor]: Taking taylor expansion of 0 in y
0.632 * [taylor]: Taking taylor expansion of (- (* 0.05707491082045184 (/ 1 y))) in y
0.632 * [taylor]: Taking taylor expansion of (* 0.05707491082045184 (/ 1 y)) in y
0.632 * [taylor]: Taking taylor expansion of 0.05707491082045184 in y
0.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.632 * [taylor]: Taking taylor expansion of y in y
0.636 * [taylor]: Taking taylor expansion of 0 in y
0.640 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [approximate]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in (x y) around 0
0.641 * [taylor]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in y
0.642 * [taylor]: Taking taylor expansion of -3.0 in y
0.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y) in y
0.642 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in y
0.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.642 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.642 * [taylor]: Taking taylor expansion of x in y
0.642 * [taylor]: Taking taylor expansion of 0.019024970273483946 in y
0.642 * [taylor]: Taking taylor expansion of y in y
0.642 * [taylor]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in x
0.642 * [taylor]: Taking taylor expansion of -3.0 in x
0.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y) in x
0.642 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.643 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.643 * [taylor]: Taking taylor expansion of x in x
0.643 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.643 * [taylor]: Taking taylor expansion of y in x
0.643 * [taylor]: Taking taylor expansion of (* -3.0 (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y)) in x
0.643 * [taylor]: Taking taylor expansion of -3.0 in x
0.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) 0.019024970273483946) y) in x
0.643 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.643 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.643 * [taylor]: Taking taylor expansion of x in x
0.644 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.644 * [taylor]: Taking taylor expansion of y in x
0.644 * [taylor]: Taking taylor expansion of (/ -3.0 y) in y
0.644 * [taylor]: Taking taylor expansion of -3.0 in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.646 * [taylor]: Taking taylor expansion of 0 in y
0.649 * [taylor]: Taking taylor expansion of (* 0.05707491082045184 (/ 1 y)) in y
0.649 * [taylor]: Taking taylor expansion of 0.05707491082045184 in y
0.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.652 * [taylor]: Taking taylor expansion of 0 in y
0.656 * [taylor]: Taking taylor expansion of 0 in y
0.656 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.657 * [approximate]: Taking taylor expansion of (* 3.0 (- (pow x 2) 0.019024970273483946)) in (x) around 0
0.657 * [taylor]: Taking taylor expansion of (* 3.0 (- (pow x 2) 0.019024970273483946)) in x
0.657 * [taylor]: Taking taylor expansion of 3.0 in x
0.657 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.657 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.657 * [taylor]: Taking taylor expansion of (* 3.0 (- (pow x 2) 0.019024970273483946)) in x
0.657 * [taylor]: Taking taylor expansion of 3.0 in x
0.657 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.657 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.673 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 (pow x 2)) 0.019024970273483946)) in (x) around 0
0.674 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 (pow x 2)) 0.019024970273483946)) in x
0.674 * [taylor]: Taking taylor expansion of 3.0 in x
0.674 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.674 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.674 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.674 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.674 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 (pow x 2)) 0.019024970273483946)) in x
0.674 * [taylor]: Taking taylor expansion of 3.0 in x
0.674 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.674 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.674 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.702 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 (pow x 2)) 0.019024970273483946)) in (x) around 0
0.702 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 (pow x 2)) 0.019024970273483946)) in x
0.702 * [taylor]: Taking taylor expansion of 3.0 in x
0.702 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.702 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.702 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.702 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.703 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 (pow x 2)) 0.019024970273483946)) in x
0.703 * [taylor]: Taking taylor expansion of 3.0 in x
0.703 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.703 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.724 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.725 * [approximate]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in (x) around 0
0.725 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.725 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.725 * [taylor]: Taking taylor expansion of (- (pow x 2) 0.019024970273483946) in x
0.725 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.735 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in (x) around 0
0.735 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.735 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.735 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.735 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.736 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.750 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in (x) around 0
0.750 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.750 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.750 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.750 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 0.019024970273483946) in x
0.751 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.751 * [taylor]: Taking taylor expansion of x in x
0.751 * [taylor]: Taking taylor expansion of 0.019024970273483946 in x
0.764 * * * [progress]: simplifying candidates
0.770 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y))
  (- (+ x (/ 16.0 116.0)))
  (/ 1 (+ x (/ 16.0 116.0)))
  (/ (+ x (/ 16.0 116.0)) (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) y)
  (/ (+ x (/ 16.0 116.0)) (* 3.0 y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y))
  (/ (+ x (/ 16.0 116.0)) (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0))
  (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ (pow x 3) (pow (/ 16.0 116.0) 3)))
  (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (* (+ x (/ 16.0 116.0)) (+ (* (* x x) (* x x)) (+ (* (* (/ 16.0 116.0) (/ 16.0 116.0)) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))))))
  (* (+ x (/ 16.0 116.0)) (+ (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (* 3.0 y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y)
  (* (* (- (pow (* x x) 3) (pow (* (/ 16.0 116.0) (/ 16.0 116.0)) 3)) 3.0) y)
  (* (* (- (* (* x x) (* x x)) (* (* (/ 16.0 116.0) (/ 16.0 116.0)) (* (/ 16.0 116.0) (/ 16.0 116.0)))) 3.0) y)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (pow (* x x) 3) (pow (* (/ 16.0 116.0) (/ 16.0 116.0)) 3)) 3.0)
  (* (- (* (* x x) (* x x)) (* (* (/ 16.0 116.0) (/ 16.0 116.0)) (* (/ 16.0 116.0) (/ 16.0 116.0)))) 3.0)
  (fma x x (- (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (fma (- (/ 16.0 116.0)) (/ 16.0 116.0) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (fma x x (- (* (* (/ 1 116.0) (/ 1 116.0)) (* 16.0 16.0))))
  (fma (- (* (/ 1 116.0) (/ 1 116.0))) (* 16.0 16.0) (* (* (/ 1 116.0) (/ 1 116.0)) (* 16.0 16.0)))
  (fma x x (- (* (/ 1 116.0) (* (/ 16.0 116.0) 16.0))))
  (fma (- (/ 1 116.0)) (* (/ 16.0 116.0) 16.0) (* (/ 1 116.0) (* (/ 16.0 116.0) 16.0)))
  (fma x x (- (* (* (/ 1 116.0) (/ 16.0 116.0)) 16.0)))
  (fma (- (* (/ 1 116.0) (/ 16.0 116.0))) 16.0 (* (* (/ 1 116.0) (/ 16.0 116.0)) 16.0))
  (fma x x (- (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (fma (- (/ 16.0 116.0)) (/ 16.0 116.0) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (fma x x (- (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (fma (- (/ 16.0 116.0)) (/ 16.0 116.0) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (fma x x (- (* (* (/ 1 116.0) (/ 1 116.0)) (* 16.0 16.0))))
  (fma (- (* (/ 1 116.0) (/ 1 116.0))) (* 16.0 16.0) (* (* (/ 1 116.0) (/ 1 116.0)) (* 16.0 16.0)))
  (fma x x (- (* (/ 1 116.0) (* (/ 16.0 116.0) 16.0))))
  (fma (- (/ 1 116.0)) (* (/ 16.0 116.0) 16.0) (* (/ 1 116.0) (* (/ 16.0 116.0) 16.0)))
  (fma x x (- (* (* (/ 1 116.0) (/ 16.0 116.0)) 16.0)))
  (fma (- (* (/ 1 116.0) (/ 16.0 116.0))) 16.0 (* (* (/ 1 116.0) (/ 16.0 116.0)) 16.0))
  (fma x x (- (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (fma (- (/ 16.0 116.0)) (/ 16.0 116.0) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (- (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (- (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (- (pow (* x x) 3) (pow (* (/ 16.0 116.0) (/ 16.0 116.0)) 3))
  (+ (* (* x x) (* x x)) (+ (* (* (/ 16.0 116.0) (/ 16.0 116.0)) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))))
  (- (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (- (* (* x x) (* x x)) (* (* (/ 16.0 116.0) (/ 16.0 116.0)) (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (+ (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (- (* (/ 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))
  (- (* 3.0 (* (pow x 2) y)) (* 0.05707491082045184 y))
  (- (* 3.0 (* (pow x 2) y)) (* 0.05707491082045184 y))
  (- (* 3.0 (* (pow x 2) y)) (* 0.05707491082045184 y))
  (- (* 3.0 (pow x 2)) 0.05707491082045184)
  (- (* 3.0 (pow x 2)) 0.05707491082045184)
  (- (* 3.0 (pow x 2)) 0.05707491082045184)
  (- (pow x 2) 0.019024970273483946)
  (- (pow x 2) 0.019024970273483946)
  (- (pow x 2) 0.019024970273483946)
0.775 * * [simplify]: iteration  0 :  257  enodes  (cost  452 )
0.780 * * [simplify]: iteration  1 :  903  enodes  (cost  404 )
0.799 * * [simplify]: iteration  2 :  5001  enodes  (cost  368 )
0.802 * [simplify]: Simplified to:
   (- (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y))
  (- (+ x (/ 16.0 116.0)))
  (/ 1 (+ x (/ 16.0 116.0)))
  (/ 1 (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) y)
  (/ (+ x (/ 16.0 116.0)) (* 3.0 y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ (+ x (/ 16.0 116.0)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (/ 1 (* (- x (/ 16.0 116.0)) y))
  (/ 1 (* (- x (/ 16.0 116.0)) 3.0))
  (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ (pow x 3) (pow (/ 16.0 116.0) 3)))
  (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (* (fma (pow x 3) x (fma (pow x 2) (/ (* 16.0 (/ 16.0 116.0)) 116.0) (pow (/ 16.0 116.0) 4))) (+ (/ 16.0 116.0) x))
  (* (fma x x (* (/ 16.0 116.0) (/ 16.0 116.0))) (+ x (/ 16.0 116.0)))
  (* 3.0 y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) y)
  (* (* (- (pow (* x x) 3) (pow (* (/ 16.0 116.0) (/ 16.0 116.0)) 3)) 3.0) y)
  (+ (* y (* 3.0 (pow x 4))) (* y (- (* 3.0 (pow (/ 16.0 116.0) 4)))))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (pow (* x x) 3) (pow (* (/ 16.0 116.0) (/ 16.0 116.0)) 3)) 3.0)
  (+ (- (* 3.0 (pow (/ 16.0 116.0) 4))) (* 3.0 (pow x 4)))
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (/ (* (/ 16.0 116.0) (+ (- 16.0) 16.0)) 116.0)
  (/ (- (* (/ 16.0 116.0) 16.0)) 116.0)
  (/ (- (* (/ 16.0 116.0) 16.0)) 116.0)
  (- (pow (* x x) 3) (pow (* (/ 16.0 116.0) (/ 16.0 116.0)) 3))
  (fma (pow x 3) x (fma (pow x 2) (/ (* 16.0 (/ 16.0 116.0)) 116.0) (pow (/ 16.0 116.0) 4)))
  (/ (- (* (/ 16.0 116.0) 16.0)) 116.0)
  (fma (- (pow (/ 16.0 116.0) 3)) (/ 16.0 116.0) (pow x 4))
  (fma x x (* (/ 16.0 116.0) (/ 16.0 116.0)))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (+ x (/ 16.0 116.0))
  (- x (/ 16.0 116.0))
  (/ (- (* (/ 16.0 116.0) 16.0)) 116.0)
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 (pow x 2)) 0.05707491082045184))
  (* y (- (* 3.0 (pow x 2)) 0.05707491082045184))
  (* y (- (* 3.0 (pow x 2)) 0.05707491082045184))
  (- (* 3.0 (pow x 2)) 0.05707491082045184)
  (- (* 3.0 (pow x 2)) 0.05707491082045184)
  (- (* 3.0 (pow x 2)) 0.05707491082045184)
  (- (pow x 2) 0.019024970273483946)
  (- (pow x 2) 0.019024970273483946)
  (- (pow x 2) 0.019024970273483946)
0.802 * * * [progress]: adding candidates to table
0.887 * [progress]: [Phase 3 of 3] Extracting.
0.887 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (/ 3.0 (/ 1 (* (- x (/ 16.0 116.0)) y))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))>)
0.888 * * * [regime-changes]: Trying 5 branch expressions: ((- x (/ 16.0 116.0)) (* (- x (/ 16.0 116.0)) 3.0) (* (* (- x (/ 16.0 116.0)) 3.0) y) y x)
0.888 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (/ 3.0 (/ 1 (* (- x (/ 16.0 116.0)) y))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))>)
0.907 * * * * [regimes]: Trying to branch on (* (- x (/ 16.0 116.0)) 3.0) from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (/ 3.0 (/ 1 (* (- x (/ 16.0 116.0)) y))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))>)
0.922 * * * * [regimes]: Trying to branch on (* (* (- x (/ 16.0 116.0)) 3.0) y) from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (/ 3.0 (/ 1 (* (- x (/ 16.0 116.0)) y))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))>)
0.943 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (/ 3.0 (/ 1 (* (- x (/ 16.0 116.0)) y))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))>)
0.960 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (/ 3.0 (/ 1 (* (- x (/ 16.0 116.0)) y))))> #<alt (λ (x y) (/ (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (+ x (/ 16.0 116.0))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))>)
0.980 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.980 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.981 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
0.981 * * [simplify]: iteration  1 :  11  enodes  (cost  4 )
0.981 * [simplify]: Simplified to:
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
1.446 * [regime-testing]: Baseline error score: 0.19453615920803202
1.447 * [regime-testing]: Oracle error score: 0.013949864045595844
1.448 * [regime-testing]: End program error score: 0.19453615920803202
1.465 * [regime-testing]: Target error score: 0.19024314133043674