17.923 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (/ (- (* x x) 3.0) 6.0) 0.017 * * [simplify]: iteration 0 : 12 enodes (cost 3 ) 0.018 * * [simplify]: iteration 1 : 17 enodes (cost 3 ) 0.019 * * [simplify]: iteration 2 : 21 enodes (cost 3 ) 0.021 * * [simplify]: iteration 3 : 23 enodes (cost 3 ) 0.022 * * [simplify]: iteration 4 : 24 enodes (cost 3 ) 0.023 * * [simplify]: iteration 5 : 24 enodes (cost 3 ) 0.023 * [simplify]: Simplified to: (/ (- (* x x) 3.0) 6.0) 0.024 * * [progress]: iteration 1 / 4 0.024 * * * [progress]: picking best candidate 0.025 * * * * [pick]: Picked # 0.025 * * * [progress]: localizing error 0.029 * * * [progress]: generating rewritten candidates 0.029 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.033 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.037 * * * [progress]: generating series expansions 0.037 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.037 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in (x) around 0 0.037 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 0.037 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.037 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.037 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of 3.0 in x 0.037 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 0.037 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.037 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.038 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of 3.0 in x 0.054 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 0.054 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.054 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.054 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.054 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.054 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of 3.0 in x 0.054 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.055 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.055 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.055 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.055 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of 3.0 in x 0.077 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 0.077 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.077 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.077 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.077 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of 3.0 in x 0.077 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.077 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.077 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.077 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of 3.0 in x 0.102 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.102 * [approximate]: Taking taylor expansion of (- (pow x 2) 3.0) in (x) around 0 0.102 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.102 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of 3.0 in x 0.102 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.102 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of 3.0 in x 0.111 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in (x) around 0 0.111 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.111 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of 3.0 in x 0.111 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.111 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of 3.0 in x 0.126 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in (x) around 0 0.126 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.126 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of 3.0 in x 0.126 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.126 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.127 * [taylor]: Taking taylor expansion of x in x 0.127 * [taylor]: Taking taylor expansion of 3.0 in x 0.141 * * * [progress]: simplifying candidates 0.141 * [simplify]: Simplifying using # : (- (- (* x x) 3.0)) (- 6.0) (/ (* x x) 6.0) (/ 3.0 6.0) (/ 1 6.0) (/ 6.0 (- (* x x) 3.0)) (* 6.0 (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (* 6.0 (+ (* x x) 3.0)) (- 3.0) (- 3.0) (- (pow (* x x) 3) (pow 3.0 3)) (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))) (- 3.0) (- (* (* x x) (* x x)) (* 3.0 3.0)) (+ (* x x) 3.0) (- 3.0) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (pow x 2) 3.0) (- (pow x 2) 3.0) (- (pow x 2) 3.0) 0.144 * * [simplify]: iteration 0 : 91 enodes (cost 54 ) 0.146 * * [simplify]: iteration 1 : 266 enodes (cost 53 ) 0.151 * * [simplify]: iteration 2 : 636 enodes (cost 48 ) 0.162 * * [simplify]: iteration 3 : 1956 enodes (cost 47 ) 0.201 * * [simplify]: iteration 4 : 5001 enodes (cost 47 ) 0.201 * [simplify]: Simplified to: (fma (- x) x 3.0) (- 6.0) (/ (* x x) 6.0) (/ 3.0 6.0) (/ 1 6.0) (/ 6.0 (- (* x x) 3.0)) (fma (pow x 4) 6.0 (* (* 6.0 3.0) (fma x x 3.0))) (* (fma x x 3.0) 6.0) (- 3.0) (- 3.0) (- (pow (* x x) 3) (pow 3.0 3)) (fma (fma x x 3.0) 3.0 (pow x 4)) (- 3.0) (fma (- 3.0) 3.0 (pow x 4)) (fma x x 3.0) (- 3.0) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* x x) 3.0) (- (* x x) 3.0) (- (* x x) 3.0) 0.202 * * * [progress]: adding candidates to table 0.228 * * [progress]: iteration 2 / 4 0.228 * * * [progress]: picking best candidate 0.235 * * * * [pick]: Picked # 0.235 * * * [progress]: localizing error 0.240 * * * [progress]: generating rewritten candidates 0.240 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.244 * * * [progress]: generating series expansions 0.244 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.244 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in (x) around 0 0.244 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in x 0.244 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.244 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in x 0.244 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.244 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.252 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in (x) around 0 0.252 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.252 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.252 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.252 * [taylor]: Taking taylor expansion of x in x 0.253 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.253 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.253 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.253 * [taylor]: Taking taylor expansion of x in x 0.260 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in (x) around 0 0.260 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.260 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.260 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.261 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.261 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.268 * * * [progress]: simplifying candidates 0.268 * [simplify]: Simplifying using # : (- (* x x)) (- 6.0) (/ 1 6.0) (/ 6.0 (* x x)) (/ 6.0 x) (/ 6.0 x) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) 0.271 * * [simplify]: iteration 0 : 23 enodes (cost 14 ) 0.272 * * [simplify]: iteration 1 : 47 enodes (cost 14 ) 0.273 * * [simplify]: iteration 2 : 109 enodes (cost 14 ) 0.276 * * [simplify]: iteration 3 : 326 enodes (cost 14 ) 0.285 * * [simplify]: iteration 4 : 1507 enodes (cost 14 ) 0.331 * * [simplify]: iteration 5 : 5001 enodes (cost 14 ) 0.331 * [simplify]: Simplified to: (- (* x x)) (- 6.0) (/ 1 6.0) (/ 6.0 (* x x)) (/ 6.0 x) (/ 6.0 x) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) 0.331 * * * [progress]: adding candidates to table 0.344 * * [progress]: iteration 3 / 4 0.344 * * * [progress]: picking best candidate 0.348 * * * * [pick]: Picked # 0.348 * * * [progress]: localizing error 0.354 * * * [progress]: generating rewritten candidates 0.354 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.357 * * * [progress]: generating series expansions 0.357 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.357 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in (x) around 0 0.357 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in x 0.357 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.357 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in x 0.357 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.357 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.365 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in (x) around 0 0.365 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.365 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.365 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.365 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.365 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.373 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in (x) around 0 0.373 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.373 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.373 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.373 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.374 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.374 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.381 * * * [progress]: simplifying candidates 0.381 * [simplify]: Simplifying using # : (- x) (- (/ 6.0 x)) (/ 1 (/ 6.0 x)) (/ (/ 6.0 x) x) (/ x 6.0) (/ x 6.0) (/ x (- 6.0)) (/ x 1) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) 0.384 * * [simplify]: iteration 0 : 27 enodes (cost 17 ) 0.385 * * [simplify]: iteration 1 : 73 enodes (cost 17 ) 0.387 * * [simplify]: iteration 2 : 298 enodes (cost 16 ) 0.396 * * [simplify]: iteration 3 : 2287 enodes (cost 16 ) 0.458 * * [simplify]: iteration 4 : 5001 enodes (cost 16 ) 0.458 * [simplify]: Simplified to: (- x) (- (/ 6.0 x)) (/ x 6.0) (/ (/ 6.0 x) x) (/ x 6.0) (/ x 6.0) (/ x (- 6.0)) x (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) 0.458 * * * [progress]: adding candidates to table 0.471 * * [progress]: iteration 4 / 4 0.471 * * * [progress]: picking best candidate 0.473 * * * * [pick]: Picked # 0.473 * * * [progress]: localizing error 0.482 * * * [progress]: generating rewritten candidates 0.482 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.486 * * * [progress]: generating series expansions 0.486 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.487 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in (x) around 0 0.487 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in x 0.487 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.487 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.487 * [taylor]: Taking taylor expansion of x in x 0.487 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow x 2)) in x 0.487 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.487 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.487 * [taylor]: Taking taylor expansion of x in x 0.495 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in (x) around 0 0.495 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.495 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.495 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.495 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.495 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.495 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.495 * [taylor]: Taking taylor expansion of x in x 0.503 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in (x) around 0 0.503 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.503 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.503 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.504 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow x 2)) in x 0.504 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.504 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.504 * [taylor]: Taking taylor expansion of x in x 0.511 * * * [progress]: simplifying candidates 0.511 * [simplify]: Simplifying using # : (* (/ x (- 6.0)) x) (* (/ x (- 6.0)) -1) (* (/ 1 (- 6.0)) (- x)) (* x (- x)) (* (- x) (- x)) (* 1 (- x)) (* (/ x -1) (- x)) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) 0.514 * * [simplify]: iteration 0 : 47 enodes (cost 22 ) 0.515 * * [simplify]: iteration 1 : 176 enodes (cost 22 ) 0.519 * * [simplify]: iteration 2 : 815 enodes (cost 22 ) 0.540 * * [simplify]: iteration 3 : 5001 enodes (cost 20 ) 0.541 * [simplify]: Simplified to: (* (/ x (- 6.0)) x) (/ (- x) (- 6.0)) (/ (- x) (- 6.0)) (* (/ x -1) x) (pow x 2) (- x) (pow x 2) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow x 2)) 0.541 * * * [progress]: adding candidates to table 0.557 * [progress]: [Phase 3 of 3] Extracting. 0.557 * * [regime]: Finding splitpoints for: (# # # #) 0.558 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x) 0.558 * * * * [regimes]: Trying to branch on (* x x) from (# # # #) 0.571 * * * * [regimes]: Trying to branch on x from (# # # #) 0.583 * * * [regime]: Found split indices: #