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.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.032 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.117 * * * * [points]: Setting MPFR precision to 64
0.126 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.201 * * * * [points]: Setting MPFR precision to 64
0.226 * * * * [points]: Setting MPFR precision to 320
0.251 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.309 * * * * [points]: Setting MPFR precision to 64
0.330 * * * * [points]: Setting MPFR precision to 320
0.353 * * * * [points]: Computing exacts for 256 points
0.435 * * * * [points]: Setting MPFR precision to 64
0.585 * * * * [points]: Setting MPFR precision to 320
0.657 * * * * [points]: Filtering points with unrepresentable outputs
0.657 * * * * [points]: Sampled 256 points with exact outputs
0.657 * * * [progress]: [2/2] Setting up program.
0.663 * [progress]: [Phase 2 of 3] Improving.
0.663 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ () (im (+.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.663 * [simplify]: Simplifying (im (+.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.663 * * [simplify]: iteration 1: (35 enodes)
0.714 * * [simplify]: iteration 2: (123 enodes)
0.792 * * [simplify]: iteration 3: (359 enodes)
2.222 * * [simplify]: iteration 4: (1582 enodes)