7.151 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.008 * * * [progress]: [2/2] Setting up program. 0.009 * [progress]: [Phase 2 of 3] Improving. 0.009 * [simplify]: Simplifying using # : (/ (+ x 16.0) 116.0) 0.012 * * [simplify]: iteration 0 : 6 enodes (cost 2 ) 0.013 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 0.013 * [simplify]: Simplified to: (/ (+ x 16.0) 116.0) 0.013 * * [progress]: iteration 1 / 4 0.013 * * * [progress]: picking best candidate 0.014 * * * * [pick]: Picked # 0.014 * * * [progress]: localizing error 0.017 * * * [progress]: generating rewritten candidates 0.018 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.021 * * * [progress]: generating series expansions 0.021 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.021 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in (x) around 0 0.021 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.021 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.021 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.021 * [taylor]: Taking taylor expansion of x in x 0.021 * [taylor]: Taking taylor expansion of 16.0 in x 0.021 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.021 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.021 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.021 * [taylor]: Taking taylor expansion of x in x 0.021 * [taylor]: Taking taylor expansion of 16.0 in x 0.030 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in (x) around 0 0.030 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.030 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.030 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.030 * [taylor]: Taking taylor expansion of 16.0 in x 0.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.030 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.030 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.030 * [taylor]: Taking taylor expansion of 16.0 in x 0.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.042 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in (x) around 0 0.042 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.042 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.042 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.042 * [taylor]: Taking taylor expansion of 16.0 in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.042 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.042 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.042 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.042 * [taylor]: Taking taylor expansion of 16.0 in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.056 * * * [progress]: simplifying candidates 0.057 * [simplify]: Simplifying using # : (- (+ x 16.0)) (- 116.0) (/ 1 116.0) (/ 116.0 (+ x 16.0)) (* 116.0 (+ (* x x) (- (* 16.0 16.0) (* x 16.0)))) (* 116.0 (- x 16.0)) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) 0.059 * * [simplify]: iteration 0 : 46 enodes (cost 19 ) 0.061 * * [simplify]: iteration 1 : 82 enodes (cost 19 ) 0.064 * * [simplify]: iteration 2 : 148 enodes (cost 19 ) 0.067 * * [simplify]: iteration 3 : 214 enodes (cost 19 ) 0.071 * * [simplify]: iteration 4 : 259 enodes (cost 19 ) 0.075 * * [simplify]: iteration 5 : 347 enodes (cost 19 ) 0.081 * * [simplify]: iteration 6 : 545 enodes (cost 19 ) 0.088 * * [simplify]: iteration 7 : 787 enodes (cost 19 ) 0.100 * * [simplify]: iteration 8 : 1034 enodes (cost 19 ) 0.112 * * [simplify]: iteration 9 : 1242 enodes (cost 19 ) 0.126 * * [simplify]: iteration 10 : 1255 enodes (cost 19 ) 0.138 * * [simplify]: iteration 11 : 1256 enodes (cost 19 ) 0.151 * * [simplify]: iteration 12 : 1256 enodes (cost 19 ) 0.152 * [simplify]: Simplified to: (- (+ x 16.0)) (- 116.0) (/ 1 116.0) (/ 116.0 (+ x 16.0)) (* (+ (* 16.0 (- 16.0 x)) (* x x)) 116.0) (* 116.0 (- x 16.0)) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) 0.152 * * * [progress]: adding candidates to table 0.166 * * [progress]: iteration 2 / 4 0.166 * * * [progress]: picking best candidate 0.168 * * * * [pick]: Picked # 0.168 * * * [progress]: localizing error 0.172 * * * [progress]: generating rewritten candidates 0.173 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.177 * * * [progress]: generating series expansions 0.178 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.178 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in (x) around 0 0.178 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.178 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.178 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of 16.0 in x 0.178 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.178 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.178 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of 16.0 in x 0.187 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in (x) around 0 0.187 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.187 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.187 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.187 * [taylor]: Taking taylor expansion of 16.0 in x 0.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.187 * [taylor]: Taking taylor expansion of x in x 0.187 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.187 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.188 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.188 * [taylor]: Taking taylor expansion of 16.0 in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.199 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in (x) around 0 0.199 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.200 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of 16.0 in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.200 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of 16.0 in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.213 * * * [progress]: simplifying candidates 0.214 * [simplify]: Simplifying using # : (* (+ (pow x 3) (pow 16.0 3)) 1) (* (+ (* x x) (- (* 16.0 16.0) (* x 16.0))) 116.0) (* (+ (pow x 3) (pow 16.0 3)) (- 1)) (* (+ (* x x) (- (* 16.0 16.0) (* x 16.0))) (- 116.0)) (* (+ (pow x 3) (pow 16.0 3)) 1) (* (+ (* x x) (- (* 16.0 16.0) (* x 16.0))) (/ 116.0 1)) (* (- (* x x) (* 16.0 16.0)) 1) (* (- x 16.0) 116.0) (* (- (* x x) (* 16.0 16.0)) (- 1)) (* (- x 16.0) (- 116.0)) (* (- (* x x) (* 16.0 16.0)) 1) (* (- x 16.0) (/ 116.0 1)) (* (+ x 16.0) 1) (* (+ x 16.0) 1) (* (+ x 16.0) (- 1)) (* (+ x 16.0) 1) (* (+ (pow x 3) (pow 16.0 3)) (/ 1 116.0)) (* (- (* x x) (* 16.0 16.0)) (/ 1 116.0)) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) 0.217 * * [simplify]: iteration 0 : 88 enodes (cost 62 ) 0.220 * * [simplify]: iteration 1 : 338 enodes (cost 62 ) 0.227 * * [simplify]: iteration 2 : 1244 enodes (cost 62 ) 0.248 * * [simplify]: iteration 3 : 3688 enodes (cost 60 ) 0.303 * * [simplify]: iteration 4 : 5001 enodes (cost 60 ) 0.304 * [simplify]: Simplified to: (+ (pow x 3) (pow 16.0 3)) (* 116.0 (+ (* 16.0 (- 16.0 x)) (* x x))) (- (+ (pow x 3) (pow 16.0 3))) (* (- 116.0) (+ (* 16.0 (- 16.0 x)) (* x x))) (+ (pow x 3) (pow 16.0 3)) (* 116.0 (+ (* 16.0 (- 16.0 x)) (* x x))) (- (* x x) (* 16.0 16.0)) (* 116.0 (- x 16.0)) (- (* 16.0 16.0) (* x x)) (* 116.0 (- 16.0 x)) (- (* x x) (* 16.0 16.0)) (* 116.0 (- x 16.0)) (+ x 16.0) (+ x 16.0) (- (+ x 16.0)) (+ x 16.0) (/ (+ (pow x 3) (pow 16.0 3)) 116.0) (/ (- (* x x) (* 16.0 16.0)) 116.0) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) 0.304 * * * [progress]: adding candidates to table 0.328 * * [progress]: iteration 3 / 4 0.328 * * * [progress]: picking best candidate 0.329 * * * * [pick]: Picked # 0.329 * * * [progress]: localizing error 0.334 * * * [progress]: generating rewritten candidates 0.334 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.338 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.341 * * * [progress]: generating series expansions 0.341 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.341 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in (x) around 0 0.341 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.341 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.341 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of 16.0 in x 0.341 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.341 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.341 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of 16.0 in x 0.350 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in (x) around 0 0.350 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.350 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.350 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.350 * [taylor]: Taking taylor expansion of 16.0 in x 0.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.350 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.350 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.350 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.350 * [taylor]: Taking taylor expansion of 16.0 in x 0.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.362 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in (x) around 0 0.362 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.362 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.362 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.362 * [taylor]: Taking taylor expansion of 16.0 in x 0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.362 * [taylor]: Taking taylor expansion of x in x 0.363 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.363 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.363 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.363 * [taylor]: Taking taylor expansion of 16.0 in x 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.363 * [taylor]: Taking taylor expansion of x in x 0.376 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.376 * [approximate]: Taking taylor expansion of (/ 116.0 (+ x 16.0)) in (x) around 0 0.376 * [taylor]: Taking taylor expansion of (/ 116.0 (+ x 16.0)) in x 0.376 * [taylor]: Taking taylor expansion of 116.0 in x 0.376 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.376 * [taylor]: Taking taylor expansion of 16.0 in x 0.377 * [taylor]: Taking taylor expansion of (/ 116.0 (+ x 16.0)) in x 0.377 * [taylor]: Taking taylor expansion of 116.0 in x 0.377 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.377 * [taylor]: Taking taylor expansion of x in x 0.377 * [taylor]: Taking taylor expansion of 16.0 in x 0.386 * [approximate]: Taking taylor expansion of (/ 116.0 (+ 16.0 (/ 1 x))) in (x) around 0 0.386 * [taylor]: Taking taylor expansion of (/ 116.0 (+ 16.0 (/ 1 x))) in x 0.386 * [taylor]: Taking taylor expansion of 116.0 in x 0.386 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.386 * [taylor]: Taking taylor expansion of 16.0 in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (/ 116.0 (+ 16.0 (/ 1 x))) in x 0.387 * [taylor]: Taking taylor expansion of 116.0 in x 0.387 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.387 * [taylor]: Taking taylor expansion of 16.0 in x 0.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.395 * [approximate]: Taking taylor expansion of (/ 116.0 (- 16.0 (/ 1 x))) in (x) around 0 0.395 * [taylor]: Taking taylor expansion of (/ 116.0 (- 16.0 (/ 1 x))) in x 0.395 * [taylor]: Taking taylor expansion of 116.0 in x 0.395 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.395 * [taylor]: Taking taylor expansion of 16.0 in x 0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.396 * [taylor]: Taking taylor expansion of (/ 116.0 (- 16.0 (/ 1 x))) in x 0.396 * [taylor]: Taking taylor expansion of 116.0 in x 0.396 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.396 * [taylor]: Taking taylor expansion of 16.0 in x 0.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.405 * * * [progress]: simplifying candidates 0.406 * [simplify]: Simplifying using # : (- 1) (- (/ 116.0 (+ x 16.0))) (/ 1 (/ 116.0 (+ x 16.0))) (/ (/ 116.0 (+ x 16.0)) 1) (/ 1 116.0) (/ 1 (/ 116.0 (+ (pow x 3) (pow 16.0 3)))) (/ 1 (/ 116.0 (- (* x x) (* 16.0 16.0)))) (/ 1 116.0) (/ 1 (- 116.0)) (/ 1 1) (- 116.0) (- (+ x 16.0)) (/ 1 (+ x 16.0)) (/ (+ x 16.0) 116.0) (/ 116.0 (+ (pow x 3) (pow 16.0 3))) (/ 116.0 (- (* x x) (* 16.0 16.0))) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (- (+ (* 0.0283203125 (pow x 2)) 7.25) (* 0.453125 x)) (- (+ (* 116.0 (/ 1 x)) (* 29696.0 (/ 1 (pow x 3)))) (* 1856.0 (/ 1 (pow x 2)))) (- (+ (* 116.0 (/ 1 x)) (* 29696.0 (/ 1 (pow x 3)))) (* 1856.0 (/ 1 (pow x 2)))) 0.409 * * [simplify]: iteration 0 : 101 enodes (cost 69 ) 0.412 * * [simplify]: iteration 1 : 314 enodes (cost 68 ) 0.420 * * [simplify]: iteration 2 : 1528 enodes (cost 59 ) 0.464 * * [simplify]: iteration 3 : 5001 enodes (cost 59 ) 0.465 * [simplify]: Simplified to: (- 1) (- (/ 116.0 (+ x 16.0))) (/ (+ x 16.0) 116.0) (/ 116.0 (+ x 16.0)) (/ 1 116.0) (/ (+ (pow x 3) (pow 16.0 3)) 116.0) (* (- x 16.0) (/ (+ x 16.0) 116.0)) (/ 1 116.0) (/ 1 (- 116.0)) 1 (- 116.0) (- (+ x 16.0)) (/ 1 (+ x 16.0)) (/ (+ x 16.0) 116.0) (/ 116.0 (+ (pow x 3) (pow 16.0 3))) (/ 116.0 (- (* x x) (* 16.0 16.0))) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* x (- (* x 0.0283203125) 0.453125)) 7.25) (+ (* (/ 1 x) (- 116.0 (/ 1856.0 x))) (/ 29696.0 (pow x 3))) (+ (* (/ 1 x) (- 116.0 (/ 1856.0 x))) (/ 29696.0 (pow x 3))) 0.465 * * * [progress]: adding candidates to table 0.499 * [progress]: [Phase 3 of 3] Extracting. 0.499 * * [regime]: Finding splitpoints for: (# # #) 0.499 * * * [regime-changes]: Trying 3 branch expressions: ((+ x 16.0) (/ (+ x 16.0) 116.0) x) 0.499 * * * * [regimes]: Trying to branch on (+ x 16.0) from (# # #) 0.509 * * * * [regimes]: Trying to branch on (/ (+ x 16.0) 116.0) from (# # #) 0.519 * * * * [regimes]: Trying to branch on x from (# # #) 0.530 * * * [regime]: Found split indices: #