0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.133 * * * [progress]: [2/2] Setting up program.
0.140 * [progress]: [Phase 2 of 3] Improving.
0.140 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
0.143 * [simplify]: Simplifying (- (pow x 4) (pow y 4))
0.144 * * [simplify]: iteration 1: (6 enodes)
0.154 * * [simplify]: iteration 2: (26 enodes)
0.167 * * [simplify]: iteration 3: (58 enodes)
0.183 * * [simplify]: iteration 4: (71 enodes)
0.201 * * [simplify]: iteration 5: (106 enodes)
0.255 * * [simplify]: iteration 6: (208 enodes)
0.302 * * [simplify]: iteration 7: (455 enodes)
0.456 * * [simplify]: iteration 8: (1172 enodes)
1.703 * * [simplify]: Extracting #0: cost 1 inf + 0
1.704 * * [simplify]: Extracting #1: cost 108 inf + 0
1.707 * * [simplify]: Extracting #2: cost 516 inf + 0
1.717 * * [simplify]: Extracting #3: cost 526 inf + 17664
1.772 * * [simplify]: Extracting #4: cost 92 inf + 129111
1.827 * * [simplify]: Extracting #5: cost 2 inf + 145414
1.885 * * [simplify]: Extracting #6: cost 0 inf + 144995
1.938 * [simplify]: Simplified to (- (* (* x x) (* x x)) (* (* y y) (* y y)))
1.952 * * [progress]: iteration 1 / 4
1.952 * * * [progress]: picking best candidate
1.957 * * * * [pick]: Picked  #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
1.957 * * * [progress]: localizing error
1.986 * * * [progress]: generating rewritten candidates
1.987 * * * [progress]: generating series expansions
1.988 * * * [progress]: simplifying candidates
1.988 * [simplify]: Simplifying 
1.988 * * [simplify]: iteration 1: (0 enodes)
1.988 * * [simplify]: Extracting #0: cost 0 inf + 0
1.988 * [simplify]: Simplified to 
1.988 * * * [progress]: adding candidates to table
1.989 * [progress]: [Phase 3 of 3] Extracting.
1.995 * [simplify]: Simplifying (- (pow x 4) (pow y 4))
1.995 * * [simplify]: iteration 1: (6 enodes)
1.995 * * [simplify]: Extracting #0: cost 1 inf + 0
1.995 * * [simplify]: Extracting #1: cost 3 inf + 0
1.995 * * [simplify]: Extracting #2: cost 6 inf + 0
1.996 * * [simplify]: Extracting #3: cost 2 inf + 215
1.996 * * [simplify]: Extracting #4: cost 0 inf + 890
1.996 * [simplify]: Simplified to (- (pow x 4) (pow y 4))
4.840 * [regime-testing]: Baseline error score: 0.002790589835590369
4.842 * [regime-testing]: Oracle error score: 0.002790589835590369
4.842 * [regime-testing]: End program error score: 0.002790589835590369