14.348 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.199 * * * [progress]: [2/2] Setting up program. 0.204 * [progress]: [Phase 2 of 3] Improving. 0.204 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.209 * * [simplify]: Extracting # 0 : cost 0 0.209 * * [simplify]: Extracting # 1 : cost 0 0.209 * * [simplify]: Extracting # 2 : cost 0 0.209 * * [simplify]: Extracting # 3 : cost 0 0.209 * * [simplify]: Extracting # 4 : cost 0 0.209 * * [simplify]: Extracting # 5 : cost 0 0.209 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.212 * * [simplify]: Extracting # 0 : cost 0 0.212 * * [simplify]: Extracting # 1 : cost 0 0.212 * * [simplify]: Extracting # 2 : cost 0 0.212 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 0.222 * * [simplify]: Extracting # 0 : cost 0 0.222 * * [simplify]: Extracting # 1 : cost 0 0.222 * * [simplify]: Extracting # 2 : cost 0 0.222 * * [simplify]: iteration 2 : 57 enodes (cost 11 ) 0.247 * * [simplify]: Extracting # 0 : cost 0 0.247 * * [simplify]: Extracting # 1 : cost 0 0.247 * * [simplify]: Extracting # 2 : cost 0 0.248 * * [simplify]: iteration 3 : 93 enodes (cost 11 ) 0.287 * * [simplify]: Extracting # 0 : cost 0 0.287 * * [simplify]: Extracting # 1 : cost 0 0.288 * * [simplify]: Extracting # 2 : cost 0 0.289 * * [simplify]: iteration 4 : 470 enodes (cost 11 ) 1.313 * * [simplify]: Extracting # 0 : cost 0 1.324 * * [simplify]: Extracting # 1 : cost 0 1.329 * * [simplify]: Extracting # 2 : cost 0 1.333 * * [simplify]: iteration 5 : 4175 enodes (cost 11 ) 4.941 * * [simplify]: Extracting # 0 : cost 0 4.953 * * [simplify]: Extracting # 1 : cost 0 4.958 * * [simplify]: Extracting # 2 : cost 0 4.964 * * [simplify]: iteration done: 5001 enodes (cost 11 ) 4.965 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 4.965 * * [progress]: iteration 1 / 4 4.965 * * * [progress]: picking best candidate 4.968 * * * * [pick]: Picked # 4.968 * * * [progress]: localizing error 4.984 * * * [progress]: generating rewritten candidates 4.984 * * * [progress]: generating series expansions 4.984 * * * [progress]: simplifying candidates 4.985 * [simplify]: Simplifying: 4.985 * * [simplify]: Extracting # 0 : cost 0 4.985 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 4.985 * * [simplify]: Extracting # 0 : cost 0 4.985 * * [simplify]: iteration done: 0 enodes (cost 0 ) 4.985 * [simplify]: Simplified to: 4.985 * * * [progress]: adding candidates to table 4.986 * [progress]: [Phase 3 of 3] Extracting. 4.990 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 4.990 * * [simplify]: Extracting # 0 : cost 0 4.990 * * [simplify]: Extracting # 1 : cost 0 4.990 * * [simplify]: Extracting # 2 : cost 0 4.990 * * [simplify]: Extracting # 3 : cost 0 4.990 * * [simplify]: Extracting # 4 : cost 0 4.990 * * [simplify]: Extracting # 5 : cost 0 4.990 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 4.991 * * [simplify]: Extracting # 0 : cost 0 4.991 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 4.992 * * [simplify]: Extracting # 0 : cost 0 4.992 * * [simplify]: iteration done: 13 enodes (cost 11 ) 4.992 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 11.505 * [regime-testing]: Baseline error score: 0.009824348356134662 11.508 * [regime-testing]: Oracle error score: 0.009824348356134662 11.508 * [regime-testing]: End program error score: 0.009824348356134662