3.613 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.119 * * * [progress]: [2/2] Setting up program. 0.126 * [progress]: [Phase 2 of 3] Improving. 0.126 * [simplify]: Simplifying using # : (+ 0.5641895835477563 (/ (* (/ 1.0 (pow x 2.0)) (+ (* (+ (* (+ (* (+ (* (+ (* (neg 0.0163153871373021) (/ 1.0 (pow x 2.0))) (neg 0.3053266349612323)) (/ 1.0 (pow x 2.0))) (neg 0.3603448999498044)) (/ 1.0 (pow x 2.0))) (neg 0.1257817261112292)) (/ 1.0 (pow x 2.0))) (neg 0.01608378514874228)) (/ 1.0 (pow x 2.0))) (neg 0.0006587491615298378))) (+ (* (+ (* (+ (* (+ (* (+ (/ 1.0 (pow x 2.0)) 2.568520192289822) (/ 1.0 (pow x 2.0))) 1.87295284992346) (/ 1.0 (pow x 2.0))) 0.5279051029514285) (/ 1.0 (pow x 2.0))) 0.06051834131244132) (/ 1.0 (pow x 2.0))) 0.002335204976268692))) 0.128 * * [simplify]: iteration 0 : 105 enodes (cost 50 ) 0.130 * * [simplify]: iteration 1 : 291 enodes (cost 50 ) 0.135 * * [simplify]: iteration 2 : 1301 enodes (cost 50 ) 0.158 * * [simplify]: iteration 3 : 5002 enodes (cost 50 ) 0.159 * [simplify]: Simplified to: (+ 0.5641895835477563 (/ (* (/ 1.0 (pow x 2.0)) (+ (* (+ (* (+ (* (+ (* (+ (* (neg 0.0163153871373021) (/ 1.0 (pow x 2.0))) (neg 0.3053266349612323)) (/ 1.0 (pow x 2.0))) (neg 0.3603448999498044)) (/ 1.0 (pow x 2.0))) (neg 0.1257817261112292)) (/ 1.0 (pow x 2.0))) (neg 0.01608378514874228)) (/ 1.0 (pow x 2.0))) (neg 0.0006587491615298378))) (+ (* (+ (* (+ (* (+ (* (+ (/ 1.0 (pow x 2.0)) 2.568520192289822) (/ 1.0 (pow x 2.0))) 1.87295284992346) (/ 1.0 (pow x 2.0))) 0.5279051029514285) (/ 1.0 (pow x 2.0))) 0.06051834131244132) (/ 1.0 (pow x 2.0))) 0.002335204976268692))) 0.159 * [progress]: [Phase 3 of 3] Extracting. 0.165 * [simplify]: Simplifying using # : (+ 0.5641895835477563 (/ (* (/ 1.0 (pow x 2.0)) (+ (* (+ (* (+ (* (+ (* (+ (* (neg 0.0163153871373021) (/ 1.0 (pow x 2.0))) (neg 0.3053266349612323)) (/ 1.0 (pow x 2.0))) (neg 0.3603448999498044)) (/ 1.0 (pow x 2.0))) (neg 0.1257817261112292)) (/ 1.0 (pow x 2.0))) (neg 0.01608378514874228)) (/ 1.0 (pow x 2.0))) (neg 0.0006587491615298378))) (+ (* (+ (* (+ (* (+ (* (+ (/ 1.0 (pow x 2.0)) 2.568520192289822) (/ 1.0 (pow x 2.0))) 1.87295284992346) (/ 1.0 (pow x 2.0))) 0.5279051029514285) (/ 1.0 (pow x 2.0))) 0.06051834131244132) (/ 1.0 (pow x 2.0))) 0.002335204976268692))) 0.166 * * [simplify]: iteration 0 : 68 enodes (cost 50 ) 0.167 * * [simplify]: iteration 1 : 76 enodes (cost 50 ) 0.167 * * [simplify]: iteration 2 : 87 enodes (cost 50 ) 0.168 * * [simplify]: iteration 3 : 97 enodes (cost 50 ) 0.168 * * [simplify]: iteration 4 : 105 enodes (cost 50 ) 0.169 * * [simplify]: iteration 5 : 115 enodes (cost 50 ) 0.169 * * [simplify]: iteration 6 : 123 enodes (cost 50 ) 0.170 * * [simplify]: iteration 7 : 133 enodes (cost 50 ) 0.170 * * [simplify]: iteration 8 : 141 enodes (cost 50 ) 0.171 * * [simplify]: iteration 9 : 151 enodes (cost 50 ) 0.171 * * [simplify]: iteration 10 : 159 enodes (cost 50 ) 0.172 * * [simplify]: iteration 11 : 165 enodes (cost 50 ) 0.172 * * [simplify]: iteration 12 : 165 enodes (cost 50 ) 0.172 * [simplify]: Simplified to: (+ 0.5641895835477563 (/ (* (/ 1.0 (pow x 2.0)) (+ (* (+ (* (+ (* (+ (* (+ (* (neg 0.0163153871373021) (/ 1.0 (pow x 2.0))) (neg 0.3053266349612323)) (/ 1.0 (pow x 2.0))) (neg 0.3603448999498044)) (/ 1.0 (pow x 2.0))) (neg 0.1257817261112292)) (/ 1.0 (pow x 2.0))) (neg 0.01608378514874228)) (/ 1.0 (pow x 2.0))) (neg 0.0006587491615298378))) (+ (* (+ (* (+ (* (+ (* (+ (/ 1.0 (pow x 2.0)) 2.568520192289822) (/ 1.0 (pow x 2.0))) 1.87295284992346) (/ 1.0 (pow x 2.0))) 0.5279051029514285) (/ 1.0 (pow x 2.0))) 0.06051834131244132) (/ 1.0 (pow x 2.0))) 0.002335204976268692))) 4.399 * [regime-testing]: End program error score: 17.603278602106567