0.003 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.161 * * * [progress]: [2/2] Setting up program.
0.166 * [progress]: [Phase 2 of 3] Improving.
0.167 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (- (* re re) (* im im)))>
0.169 * [simplify]: Simplifying (- (* re re) (* im im))
0.170 * * [simplify]: iteration 1: (5 enodes)
0.178 * * [simplify]: iteration 2: (21 enodes)
0.185 * * [simplify]: iteration 3: (34 enodes)
0.195 * * [simplify]: iteration 4: (53 enodes)
0.214 * * [simplify]: iteration 5: (100 enodes)
0.236 * * [simplify]: iteration 6: (205 enodes)
0.307 * * [simplify]: iteration 7: (343 enodes)
0.486 * * [simplify]: iteration 8: (604 enodes)
1.165 * * [simplify]: Extracting #0: cost 1 inf + 0
1.165 * * [simplify]: Extracting #1: cost 77 inf + 0
1.169 * * [simplify]: Extracting #2: cost 265 inf + 535
1.176 * * [simplify]: Extracting #3: cost 118 inf + 21092
1.188 * * [simplify]: Extracting #4: cost 1 inf + 43253
1.202 * * [simplify]: Extracting #5: cost 0 inf + 42925
1.234 * * [simplify]: Extracting #6: cost 0 inf + 42910
1.251 * [simplify]: Simplified to (- (* re re) (* im im))
1.251 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (- (* re re) (* im im)))>
1.252 * [simplify]: Simplified (2) to (λ (re im) (- (* re re) (* im im)))
1.255 * * [progress]: iteration 1 / 4
1.255 * * * [progress]: picking best candidate
1.257 * * * * [pick]: Picked  #<alt (λ (re im) (- (* re re) (* im im)))>
1.257 * * * [progress]: localizing error
1.267 * * * [progress]: generating rewritten candidates
1.268 * * * [progress]: generating series expansions
1.268 * * * [progress]: simplifying candidates
1.268 * [simplify]: Simplifying 
1.268 * * [simplify]: iteration 1: (0 enodes)
1.268 * * [simplify]: Extracting #0: cost 0 inf + 0
1.268 * [simplify]: Simplified to 
1.268 * * * [progress]: adding candidates to table
1.269 * [progress]: [Phase 3 of 3] Extracting.
1.271 * [simplify]: Simplifying (- (* re re) (* im im))
1.271 * * [simplify]: iteration 1: (5 enodes)
1.271 * * [simplify]: Extracting #0: cost 1 inf + 0
1.272 * * [simplify]: Extracting #1: cost 3 inf + 0
1.272 * * [simplify]: Extracting #2: cost 5 inf + 0
1.272 * * [simplify]: Extracting #3: cost 2 inf + 43
1.272 * * [simplify]: Extracting #4: cost 0 inf + 206
1.272 * [simplify]: Simplified to (- (* re re) (* im im))
2.804 * [regime-testing]: Baseline error score: 0.00845653909110823
2.808 * [regime-testing]: Oracle error score: 0.00845653909110823
2.809 * [regime-testing]: End program error score: 0.00845653909110823