0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.046 * * * * [points]: Setting MPFR precision to 320
0.074 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.143 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.170 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.245 * * * * [points]: Setting MPFR precision to 64
0.257 * * * * [points]: Setting MPFR precision to 320
0.268 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.322 * * * * [points]: Setting MPFR precision to 64
0.343 * * * * [points]: Setting MPFR precision to 320
0.385 * * * * [points]: Computing exacts for 256 points
0.429 * * * * [points]: Setting MPFR precision to 64
0.535 * * * * [points]: Setting MPFR precision to 320
0.720 * * * * [points]: Filtering points with unrepresentable outputs
0.721 * * * * [points]: Sampled 256 points with exact outputs
0.721 * * * [progress]: [2/2] Setting up program.
0.732 * [progress]: [Phase 2 of 3] Improving.
0.732 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ () (re (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1 1) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (*.c (*.c (*.c (*.c (*.c (complex 6 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (complex 20 0) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1))) (*.c (complex 6 0) (complex -1 1))) (complex 1 0))))>
0.733 * [simplify]: Simplifying (re (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1 1) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (*.c (*.c (*.c (*.c (*.c (complex 6 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (complex 20 0) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1))) (*.c (complex 6 0) (complex -1 1))) (complex 1 0)))
0.733 * * [simplify]: iteration 1: (35 enodes)
0.751 * * [simplify]: iteration 2: (123 enodes)
0.827 * * [simplify]: iteration 3: (359 enodes)
2.213 * * [simplify]: iteration 4: (1582 enodes)