11.837 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.462 * * * [progress]: [2/2] Setting up program. 0.468 * [progress]: [Phase 2 of 3] Improving. 0.468 * [simplify]: Simplifying using # : (+ (+ (+ (+ (+ (+ (+ (- total (* dr1 dr1)) (* dg1 dg1)) (* db1 db1)) (* da1 da1)) (* dr2 dr2)) (* dg2 dg2)) (* db2 db2)) (* da2 da2)) 0.470 * * [simplify]: iteration 0 : 48 enodes (cost 16 ) 0.474 * * [simplify]: iteration 1 : 164 enodes (cost 16 ) 0.478 * * [simplify]: iteration 2 : 1121 enodes (cost 16 ) 0.499 * * [simplify]: iteration 3 : 5001 enodes (cost 16 ) 0.499 * [simplify]: Simplified to: (+ (+ (+ (+ (+ (+ (+ (- total (* dr1 dr1)) (* dg1 dg1)) (* db1 db1)) (* da1 da1)) (* dr2 dr2)) (* dg2 dg2)) (* db2 db2)) (* da2 da2)) 0.500 * [progress]: [Phase 3 of 3] Extracting. 0.505 * [simplify]: Simplifying using # : (+ (+ (+ (+ (+ (+ (+ (- total (* dr1 dr1)) (* dg1 dg1)) (* db1 db1)) (* da1 da1)) (* dr2 dr2)) (* dg2 dg2)) (* db2 db2)) (* da2 da2)) 0.506 * * [simplify]: iteration 0 : 32 enodes (cost 16 ) 0.506 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 0.506 * [simplify]: Simplified to: (+ (+ (+ (+ (+ (+ (+ (- total (* dr1 dr1)) (* dg1 dg1)) (* db1 db1)) (* da1 da1)) (* dr2 dr2)) (* dg2 dg2)) (* db2 db2)) (* da2 da2)) 14.865 * [regime-testing]: End program error score: 0.037618063582398865