3.715 * [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 # : (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) 0.018 * * [simplify]: iteration 0 : 15 enodes (cost 5 ) 0.019 * * [simplify]: iteration 1 : 38 enodes (cost 4 ) 0.021 * * [simplify]: iteration 2 : 80 enodes (cost 4 ) 0.023 * * [simplify]: iteration 3 : 118 enodes (cost 4 ) 0.025 * * [simplify]: iteration 4 : 174 enodes (cost 4 ) 0.028 * * [simplify]: iteration 5 : 365 enodes (cost 4 ) 0.037 * * [simplify]: iteration 6 : 1299 enodes (cost 4 ) 0.070 * * [simplify]: iteration 7 : 4626 enodes (cost 4 ) 0.201 * * [simplify]: iteration 8 : 5002 enodes (cost 4 ) 0.201 * [simplify]: Simplified to: (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) 0.203 * * [progress]: iteration 1 / 4 0.203 * * * [progress]: picking best candidate 0.205 * * * * [pick]: Picked # 0.205 * * * [progress]: localizing error 0.211 * * * [progress]: generating rewritten candidates 0.211 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.216 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.219 * * * [progress]: generating series expansions 0.220 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.220 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 0.220 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.220 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.220 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.220 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.220 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.232 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.232 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.232 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.232 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.233 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.243 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 0.243 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.244 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.244 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.244 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.244 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.258 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.259 * [approximate]: Taking taylor expansion of (pow x 3) in (x) around 0 0.259 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.259 * [taylor]: Taking taylor expansion of x in x 0.259 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.259 * [taylor]: Taking taylor expansion of x in x 0.266 * [approximate]: Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0 0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.266 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.267 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.278 * [approximate]: Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0 0.278 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 0.278 * [taylor]: Taking taylor expansion of -1 in x 0.278 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.279 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 0.279 * [taylor]: Taking taylor expansion of -1 in x 0.279 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.290 * * * [progress]: simplifying candidates 0.290 * [simplify]: Simplifying using # : (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 x) (* 0.12900613773279798 x) (* 0.12900613773279798 x) (+ 2 1) (* x x) (* x x) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (pow x 3) (pow x 3) (pow x 3) 0.292 * * [simplify]: iteration 0 : 22 enodes (cost 16 ) 0.294 * * [simplify]: iteration 1 : 38 enodes (cost 16 ) 0.295 * * [simplify]: iteration 2 : 72 enodes (cost 16 ) 0.297 * * [simplify]: iteration 3 : 167 enodes (cost 16 ) 0.303 * * [simplify]: iteration 4 : 853 enodes (cost 16 ) 0.324 * * [simplify]: iteration 5 : 2691 enodes (cost 16 ) 0.410 * * [simplify]: iteration 6 : 5001 enodes (cost 16 ) 0.411 * [simplify]: Simplified to: (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 x) (* 0.12900613773279798 x) (* 0.12900613773279798 x) 3 (* x x) (* x x) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (pow x 3) (pow x 3) (pow x 3) 0.411 * * * [progress]: adding candidates to table 0.421 * * [progress]: iteration 2 / 4 0.421 * * * [progress]: picking best candidate 0.423 * * * * [pick]: Picked # 0.423 * * * [progress]: localizing error 0.430 * * * [progress]: generating rewritten candidates 0.430 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.433 * * * [progress]: generating series expansions 0.433 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.433 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 0.433 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.433 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.433 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.433 * [taylor]: Taking taylor expansion of x in x 0.433 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.433 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.433 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.433 * [taylor]: Taking taylor expansion of x in x 0.448 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 0.448 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.448 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.448 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.448 * [taylor]: Taking taylor expansion of x in x 0.449 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.449 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.449 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.449 * [taylor]: Taking taylor expansion of x in x 0.460 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 0.460 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.460 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.460 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.461 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.461 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.461 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.461 * [taylor]: Taking taylor expansion of x in x 0.472 * * * [progress]: simplifying candidates 0.473 * [simplify]: Simplifying using # : (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (pow x (/ 3 2))) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 0.475 * * [simplify]: iteration 0 : 21 enodes (cost 10 ) 0.476 * * [simplify]: iteration 1 : 46 enodes (cost 10 ) 0.478 * * [simplify]: iteration 2 : 123 enodes (cost 10 ) 0.482 * * [simplify]: iteration 3 : 433 enodes (cost 10 ) 0.497 * * [simplify]: iteration 4 : 2252 enodes (cost 10 ) 0.563 * * [simplify]: iteration 5 : 5001 enodes (cost 10 ) 0.563 * [simplify]: Simplified to: (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (pow x 3/2)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 0.563 * * * [progress]: adding candidates to table 0.571 * * [progress]: iteration 3 / 4 0.571 * * * [progress]: picking best candidate 0.572 * * * * [pick]: Picked # 0.572 * * * [progress]: localizing error 0.578 * * * [progress]: generating rewritten candidates 0.578 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.583 * * * [progress]: generating series expansions 0.583 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.583 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 0.583 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.583 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.584 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 0.584 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.584 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.596 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 0.596 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.596 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.596 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 0.597 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 0.597 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.610 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 0.610 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.610 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.610 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.611 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 0.611 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 0.611 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.623 * * * [progress]: simplifying candidates 0.623 * [simplify]: Simplifying using # : (* (* 0.12900613773279798 x) x) (* (* 0.12900613773279798 x) x) (* x (* x x)) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 0.625 * * [simplify]: iteration 0 : 19 enodes (cost 13 ) 0.627 * * [simplify]: iteration 1 : 32 enodes (cost 13 ) 0.628 * * [simplify]: iteration 2 : 61 enodes (cost 13 ) 0.630 * * [simplify]: iteration 3 : 150 enodes (cost 13 ) 0.635 * * [simplify]: iteration 4 : 683 enodes (cost 13 ) 0.654 * * [simplify]: iteration 5 : 2352 enodes (cost 13 ) 0.734 * * [simplify]: iteration 6 : 5001 enodes (cost 13 ) 0.735 * [simplify]: Simplified to: (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)) (pow x 3) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) 0.735 * * * [progress]: adding candidates to table 0.741 * [progress]: [Phase 3 of 3] Extracting. 0.741 * * [regime]: Finding splitpoints for: (# # #) 0.742 * * * [regime-changes]: Trying 2 branch expressions: ((- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) x) 0.742 * * * * [regimes]: Trying to branch on (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) from (# # #) 0.754 * * * * [regimes]: Trying to branch on x from (# # #) 0.768 * * * [regime]: Found split indices: #