127.688 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.111 * * * * [points]: Setting MPFR precision to 64 0.148 * * * * [points]: Setting MPFR precision to 320 0.164 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.580 * * * * [points]: Setting MPFR precision to 64 0.593 * * * * [points]: Setting MPFR precision to 320 0.603 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.672 * * * * [points]: Setting MPFR precision to 64 0.696 * * * * [points]: Setting MPFR precision to 320 0.721 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1.214 * * * * [points]: Setting MPFR precision to 64 1.244 * * * * [points]: Setting MPFR precision to 320 1.279 * * * * [points]: Computing exacts for 256 points 1.399 * * * * [points]: Setting MPFR precision to 64 1.523 * * * * [points]: Setting MPFR precision to 320 2.644 * * * * [points]: Filtering points with unrepresentable outputs 2.645 * * * * [points]: Sampled 256 points with exact outputs 2.645 * * * [progress]: [2/2] Setting up program. 2.657 * [progress]: [Phase 2 of 3] Improving. 2.657 * [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.658 * * [simplify]: iteration 0: 35 enodes 2.675 * * [simplify]: iteration 1: 105 enodes 3.381 * * [simplify]: iteration 2: 364 enodes 4.463 * * [simplify]: iteration 3: 1812 enodes 6.336 * * [simplify]: iteration complete: 5003 enodes 6.342 * * [simplify]: Extracting #0: cost 1 inf + 0 6.342 * * [simplify]: Extracting #1: cost 2 inf + 0 6.342 * * [simplify]: Extracting #2: cost 40 inf + 0 6.355 * * [simplify]: Extracting #3: cost 723 inf + 0 6.368 * * [simplify]: Extracting #4: cost 1928 inf + 4 6.385 * * [simplify]: Extracting #5: cost 2656 inf + 4433 6.415 * * [simplify]: Extracting #6: cost 2653 inf + 110261 6.692 * * [simplify]: Extracting #7: cost 2437 inf + 327163 6.942 * * [simplify]: Extracting #8: cost 2059 inf + 521052 7.483 * * [simplify]: Extracting #9: cost 1049 inf + 1475092 8.454 * * [simplify]: Extracting #10: cost 71 inf + 2453410 9.610 * * [simplify]: Extracting #11: cost 0 inf + 2521556 12.916 * [simplify]: Simplified to: (re (+.c (complex (+ (+ 1.0 (- (* -1.0 6.0) (* 0.0 1.0))) (- (* (- (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* (+ -1.0 1.0) (- -1.0 1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* 1.0 (+ -1.0 -1.0)))) (* (+ -1.0 1.0) (- -1.0 1.0))) (* (+ (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0)))) (* 1.0 (+ -1.0 -1.0))))) (+ (+ (fma -1.0 0.0 (* 6.0 1.0)) 0.0) (+ (* (- (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* (+ -1.0 1.0) (- -1.0 1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* 1.0 (+ -1.0 -1.0)))) (* 1.0 (+ -1.0 -1.0))) (* (+ (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0)))) (* (+ -1.0 1.0) (- -1.0 1.0)))))) (*.c (complex (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (+.c (*.c (complex (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (complex (+ (- (* -1.0 6.0) (* 0.0 1.0)) 15.0) (+ (fma -1.0 0.0 (* 6.0 1.0)) 0.0))) (+.c (complex (- (* 20.0 -1.0) (* 0.0 1.0)) (fma 1.0 20.0 (* 0.0 -1.0))) (complex 15.0 0.0)))))) 12.993 * * [progress]: iteration 1 / 4 12.993 * * * [progress]: picking best candidate 13.032 * * * * [pick]: Picked # 13.032 * * * [progress]: localizing error 13.853 * * * [progress]: generating rewritten candidates 13.854 * * * [progress]: generating series expansions 13.854 * * * [progress]: simplifying candidates 13.854 * [simplify]: Simplifying: 13.854 * * [simplify]: iteration 0: 0 enodes 13.854 * * [simplify]: iteration complete: 0 enodes 13.854 * * [simplify]: Extracting #0: cost 0 inf + 0 13.854 * [simplify]: Simplified to: 13.854 * * * [progress]: adding candidates to table 13.855 * [progress]: [Phase 3 of 3] Extracting. 13.931 * [simplify]: Simplifying: (re (+.c (complex (+ (+ 1.0 (- (* -1.0 6.0) (* 0.0 1.0))) (- (* (- (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* (+ -1.0 1.0) (- -1.0 1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* 1.0 (+ -1.0 -1.0)))) (* (+ -1.0 1.0) (- -1.0 1.0))) (* (+ (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0)))) (* 1.0 (+ -1.0 -1.0))))) (+ (+ (fma -1.0 0.0 (* 6.0 1.0)) 0.0) (+ (* (- (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* (+ -1.0 1.0) (- -1.0 1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* 1.0 (+ -1.0 -1.0)))) (* 1.0 (+ -1.0 -1.0))) (* (+ (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (* (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0)))) (* (+ -1.0 1.0) (- -1.0 1.0)))))) (*.c (complex (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (+.c (*.c (complex (* (+ -1.0 1.0) (- -1.0 1.0)) (* 1.0 (+ -1.0 -1.0))) (complex (+ (- (* -1.0 6.0) (* 0.0 1.0)) 15.0) (+ (fma -1.0 0.0 (* 6.0 1.0)) 0.0))) (+.c (complex (- (* 20.0 -1.0) (* 0.0 1.0)) (fma 1.0 20.0 (* 0.0 -1.0))) (complex 15.0 0.0)))))) 13.932 * * [simplify]: iteration 0: 47 enodes 13.952 * * [simplify]: iteration 1: 71 enodes 13.958 * * [simplify]: iteration complete: 71 enodes 13.958 * * [simplify]: Extracting #0: cost 1 inf + 0 13.958 * * [simplify]: Extracting #1: cost 2 inf + 0 13.958 * * [simplify]: Extracting #2: cost 4 inf + 0 13.959 * * [simplify]: Extracting #3: cost 8 inf + 0 13.959 * * [simplify]: Extracting #4: cost 16 inf + 0 13.959 * * [simplify]: Extracting #5: cost 30 inf + 0 13.959 * * [simplify]: Extracting #6: cost 38 inf + 2 13.959 * * [simplify]: Extracting #7: cost 40 inf + 90 13.959 * * [simplify]: Extracting #8: cost 33 inf + 421 13.960 * * [simplify]: Extracting #9: cost 18 inf + 2997 13.960 * * [simplify]: Extracting #10: cost 12 inf + 4358 13.962 * * [simplify]: Extracting #11: cost 5 inf + 8699 13.964 * * [simplify]: Extracting #12: cost 1 inf + 14034 13.970 * * [simplify]: Extracting #13: cost 0 inf + 16150 13.976 * [simplify]: Simplified to: (re (+.c (*.c (complex (* (- -1.0 1.0) (+ 1.0 -1.0)) (* 1.0 (+ -1.0 -1.0))) (+.c (+.c (complex 15.0 0.0) (complex (- (* -1.0 20.0) (* 0.0 1.0)) (fma 1.0 20.0 (* 0.0 -1.0)))) (*.c (complex (* (- -1.0 1.0) (+ 1.0 -1.0)) (* 1.0 (+ -1.0 -1.0))) (complex (+ (- (* 6.0 -1.0) (* 0.0 1.0)) 15.0) (+ (fma -1.0 0.0 (* 1.0 6.0)) 0.0))))) (complex (+ (+ 1.0 (- (* 6.0 -1.0) (* 0.0 1.0))) (- (* (* (- -1.0 1.0) (+ 1.0 -1.0)) (- (* (* (- -1.0 1.0) (+ 1.0 -1.0)) (* (- -1.0 1.0) (+ 1.0 -1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* 1.0 (+ -1.0 -1.0))))) (* (* 1.0 (+ -1.0 -1.0)) (+ (* (* 1.0 (+ -1.0 -1.0)) (* (- -1.0 1.0) (+ 1.0 -1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* (- -1.0 1.0) (+ 1.0 -1.0))))))) (+ (+ (* (- (* (* (- -1.0 1.0) (+ 1.0 -1.0)) (* (- -1.0 1.0) (+ 1.0 -1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* 1.0 (+ -1.0 -1.0)))) (* 1.0 (+ -1.0 -1.0))) (* (+ (* (* 1.0 (+ -1.0 -1.0)) (* (- -1.0 1.0) (+ 1.0 -1.0))) (* (* 1.0 (+ -1.0 -1.0)) (* (- -1.0 1.0) (+ 1.0 -1.0)))) (* (- -1.0 1.0) (+ 1.0 -1.0)))) (+ (fma -1.0 0.0 (* 1.0 6.0)) 0.0))))) 13.983 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 14.003 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 14.223 * * * * [points]: Setting MPFR precision to 64 14.231 * * * * [points]: Setting MPFR precision to 320 14.239 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 14.445 * * * * [points]: Setting MPFR precision to 64 14.462 * * * * [points]: Setting MPFR precision to 320 14.477 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 14.803 * * * * [points]: Setting MPFR precision to 64 14.863 * * * * [points]: Setting MPFR precision to 320 14.902 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 15.406 * * * * [points]: Setting MPFR precision to 64 15.532 * * * * [points]: Setting MPFR precision to 320 15.591 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 15.717 * * * * [points]: Setting MPFR precision to 64 16.550 * * * * [points]: Setting MPFR precision to 320 16.662 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 16.883 * * * * [points]: Setting MPFR precision to 64 17.149 * * * * [points]: Setting MPFR precision to 320 17.795 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 17.996 * * * * [points]: Setting MPFR precision to 64 21.238 * * * * [points]: Setting MPFR precision to 320 23.123 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 24.417 * * * * [points]: Setting MPFR precision to 64 32.604 * * * * [points]: Setting MPFR precision to 320 37.292 * * * * [points]: Computing exacts for 8000 points 38.391 * * * * [points]: Setting MPFR precision to 64 66.642 * * * * [points]: Setting MPFR precision to 320 90.518 * * * * [points]: Filtering points with unrepresentable outputs 90.536 * * * * [points]: Sampled 8000 points with exact outputs 91.264 * [regime-testing]: Baseline error score: 0 91.282 * [regime-testing]: Oracle error score: 0 91.286 * [regime-testing]: End program error score: 0