34.353 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (+ (+ (+ (* x 3.0) (* x 2.0)) x) 1.0) 0.016 * * [simplify]: iteration 0 : 20 enodes (cost 4 ) 0.017 * * [simplify]: iteration 1 : 48 enodes (cost 4 ) 0.019 * * [simplify]: iteration 2 : 93 enodes (cost 4 ) 0.021 * * [simplify]: iteration 3 : 128 enodes (cost 4 ) 0.023 * * [simplify]: iteration 4 : 162 enodes (cost 4 ) 0.025 * * [simplify]: iteration 5 : 241 enodes (cost 4 ) 0.028 * * [simplify]: iteration 6 : 421 enodes (cost 4 ) 0.031 * * [simplify]: iteration 7 : 434 enodes (cost 4 ) 0.036 * * [simplify]: iteration 8 : 525 enodes (cost 4 ) 0.041 * * [simplify]: iteration 9 : 767 enodes (cost 4 ) 0.054 * * [simplify]: iteration 10 : 1910 enodes (cost 4 ) 0.147 * * [simplify]: iteration 11 : 5002 enodes (cost 4 ) 0.147 * [simplify]: Simplified to: (+ (* x (+ 3.0 2.0)) (+ x 1.0)) 0.150 * [progress]: [Phase 3 of 3] Extracting. 0.150 * * [regime]: Finding splitpoints for: (# #) 0.150 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (* x 3.0) (* x 2.0)) x) (+ (+ (+ (* x 3.0) (* x 2.0)) x) 1.0) x) 0.150 * * * * [regimes]: Trying to branch on (+ (+ (* x 3.0) (* x 2.0)) x) from (# #) 0.177 * * * * [regimes]: Trying to branch on (+ (+ (+ (* x 3.0) (* x 2.0)) x) 1.0) from (# #) 0.200 * * * * [regimes]: Trying to branch on x from (# #) 0.224 * * * [regime]: Found split indices: #