42.211 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.001 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.025 * * * * [points]: Setting MPFR precision to 64 0.033 * * * * [points]: Setting MPFR precision to 320 0.041 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.100 * * * * [points]: Setting MPFR precision to 64 0.107 * * * * [points]: Setting MPFR precision to 320 0.114 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.170 * * * * [points]: Setting MPFR precision to 64 0.182 * * * * [points]: Setting MPFR precision to 320 0.200 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.277 * * * * [points]: Setting MPFR precision to 64 0.300 * * * * [points]: Setting MPFR precision to 320 0.323 * * * * [points]: Computing exacts for 256 points 0.399 * * * * [points]: Setting MPFR precision to 64 0.509 * * * * [points]: Setting MPFR precision to 320 0.591 * * * * [points]: Filtering points with unrepresentable outputs 0.592 * * * * [points]: Sampled 256 points with exact outputs 0.592 * * * [progress]: [2/2] Setting up program. 0.600 * [progress]: [Phase 2 of 3] Improving. 0.600 * [simplify]: Simplifying: (re (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1.0 1.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (*.c (*.c (*.c (*.c (*.c (complex 6.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (*.c (*.c (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (*.c (complex 20.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (complex 6.0 0.0) (complex -1.0 1.0))) (complex 1.0 0.0))) 1.561 * * [progress]: iteration 1 / 4 1.561 * * * [progress]: picking best candidate 1.571 * * * * [pick]: Picked # 1.571 * * * [progress]: localizing error 1.797 * * * [progress]: generating rewritten candidates 1.797 * * * [progress]: generating series expansions 1.797 * * * [progress]: simplifying candidates 1.797 * [simplify]: Simplifying: 1.814 * * * [progress]: adding candidates to table 1.814 * [progress]: [Phase 3 of 3] Extracting. 1.824 * [simplify]: Simplifying: (re (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1.0 1.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (*.c (*.c (*.c (*.c (*.c (complex 6.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (*.c (*.c (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (*.c (complex 20.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (*.c (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0))) (*.c (complex 6.0 0.0) (complex -1.0 1.0))) (complex 1.0 0.0))) 2.744 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 2.761 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 3.214 * * * * [points]: Setting MPFR precision to 64 3.217 * * * * [points]: Setting MPFR precision to 320 3.221 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 3.298 * * * * [points]: Setting MPFR precision to 64 3.312 * * * * [points]: Setting MPFR precision to 320 3.328 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 3.377 * * * * [points]: Setting MPFR precision to 64 3.393 * * * * [points]: Setting MPFR precision to 320 3.407 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 3.476 * * * * [points]: Setting MPFR precision to 64 3.541 * * * * [points]: Setting MPFR precision to 320 3.601 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 3.704 * * * * [points]: Setting MPFR precision to 64 3.822 * * * * [points]: Setting MPFR precision to 320 3.925 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 4.027 * * * * [points]: Setting MPFR precision to 64 4.250 * * * * [points]: Setting MPFR precision to 320 4.511 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 4.593 * * * * [points]: Setting MPFR precision to 64 5.077 * * * * [points]: Setting MPFR precision to 320 6.018 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 6.091 * * * * [points]: Setting MPFR precision to 64 7.191 * * * * [points]: Setting MPFR precision to 320 8.640 * * * * [points]: Computing exacts for 8000 points 8.757 * * * * [points]: Setting MPFR precision to 64 13.803 * * * * [points]: Setting MPFR precision to 320 18.907 * * * * [points]: Filtering points with unrepresentable outputs 18.921 * * * * [points]: Sampled 8000 points with exact outputs 19.026 * [regime-testing]: Baseline error score: 0 19.028 * [regime-testing]: Oracle error score: 0 19.028 * [regime-testing]: End program error score: 0