5.889 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.055 * [progress]: [Phase 2 of 3] Improving. 0.055 * [simplify]: Simplifying using # : (- (- (+ (/ 1.0 x) (* (/ x x) x)) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))) 0.057 * * [simplify]: iteration 0 : 30 enodes (cost 14 ) 0.059 * * [simplify]: iteration 1 : 61 enodes (cost 12 ) 0.061 * * [simplify]: iteration 2 : 205 enodes (cost 12 ) 0.065 * * [simplify]: iteration 3 : 586 enodes (cost 12 ) 0.082 * * [simplify]: iteration 4 : 3127 enodes (cost 12 ) 0.190 * * [simplify]: iteration 5 : 5001 enodes (cost 12 ) 0.190 * [simplify]: Simplified to: (+ x (- (/ 1.0 x) (+ (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0))) (exp2 (sin x))))) 0.194 * [progress]: [Phase 3 of 3] Extracting. 0.194 * * [regime]: Finding splitpoints for: (# #) 0.195 * * * [regime-changes]: Trying 2 branch expressions: ((- (- (+ (/ 1.0 x) (* (/ x x) x)) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))) x) 0.195 * * * * [regimes]: Trying to branch on (- (- (+ (/ 1.0 x) (* (/ x x) x)) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))) from (# #) 0.238 * * * * [regimes]: Trying to branch on x from (# #) 0.264 * * * [regime]: Found split indices: #