55.435 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [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.031 * * * * [points]: Setting MPFR precision to 64 0.036 * * * * [points]: Setting MPFR precision to 320 0.041 * * * * [points]: Setting MPFR precision to 576 0.046 * * * * [points]: Setting MPFR precision to 832 0.052 * * * * [points]: Setting MPFR precision to 1088 0.057 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.242 * * * * [points]: Setting MPFR precision to 832 0.251 * * * * [points]: Setting MPFR precision to 1088 0.260 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.365 * * * * [points]: Setting MPFR precision to 832 0.374 * * * * [points]: Setting MPFR precision to 1088 0.385 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.533 * * * * [points]: Setting MPFR precision to 832 0.551 * * * * [points]: Setting MPFR precision to 1088 0.597 * * * * [points]: Computing exacts for 256 points 1.103 * * * * [points]: Setting MPFR precision to 832 1.147 * * * * [points]: Setting MPFR precision to 1088 1.279 * * * * [points]: Filtering points with unrepresentable outputs 1.281 * * * * [points]: Sampled 256 points with exact outputs 1.281 * * * [progress]: [2/2] Setting up program. 1.300 * [progress]: [Phase 2 of 3] Improving. 1.300 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.300 * [simplify]: Simplifying: (re (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (*.c (*.c (*.c (complex (- 2.0) 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (*.c (complex 5.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (*.c (complex 4.0 0.0) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)))) (complex 7.0 0.0))) 1.301 * * [simplify]: iteration 0: 31 enodes 1.339 * * [simplify]: iteration 1: 81 enodes 1.475 * * [simplify]: iteration 2: 295 enodes 1.930 * * [simplify]: iteration 3: 1221 enodes 3.467 * * [simplify]: iteration complete: 5000 enodes 3.468 * * [simplify]: Extracting #0: cost 1 inf + 0 3.468 * * [simplify]: Extracting #1: cost 2 inf + 0 3.468 * * [simplify]: Extracting #2: cost 75 inf + 0 3.469 * * [simplify]: Extracting #3: cost 959 inf + 0 3.472 * * [simplify]: Extracting #4: cost 1492 inf + 2 3.477 * * [simplify]: Extracting #5: cost 1939 inf + 91 3.488 * * [simplify]: Extracting #6: cost 2249 inf + 2969 3.507 * * [simplify]: Extracting #7: cost 2229 inf + 36164 3.583 * * [simplify]: Extracting #8: cost 1437 inf + 340682 3.879 * * [simplify]: Extracting #9: cost 611 inf + 1021237 4.417 * * [simplify]: Extracting #10: cost 123 inf + 1642321 5.102 * * [simplify]: Extracting #11: cost 1 inf + 1804885 5.799 * * [simplify]: Extracting #12: cost 0 inf + 1799930 6.495 * * [simplify]: Extracting #13: cost 0 inf + 1799690 7.113 * [simplify]: Simplified to: (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (- (* (/ (- 1.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (complex 5.0 0.0))))) (complex 7.0 0.0))) 7.123 * * [progress]: iteration 1 / 4 7.123 * * * [progress]: picking best candidate 7.132 * * * * [pick]: Picked # 7.133 * * * [progress]: localizing error 7.620 * * * [progress]: generating rewritten candidates 7.620 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2 2 2 1 1 2) 7.833 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2 2 2 1 2 2) 8.068 * * * [progress]: generating series expansions 8.068 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2 2 2 1 1 2) 8.068 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2 2 2 1 2 2) 8.069 * * * [progress]: simplifying candidates 8.069 * * * * [progress]: [ 1 / 111 ] simplifiying candidate #real (real->posit16 (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))))) (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (complex 5.0 0.0))))) (complex 7.0 0.0))))> 8.069 * * * * [progress]: [ 2 / 111 ] simplifiying candidate # 8.069 * * * * [progress]: [ 3 / 111 ] simplifiying candidate # 8.069 * * * * [progress]: [ 4 / 111 ] simplifiying candidate # 8.069 * * * * [progress]: [ 5 / 111 ] simplifiying candidate # 8.069 * * * * [progress]: [ 6 / 111 ] simplifiying candidate # 8.069 * * * * [progress]: [ 7 / 111 ] simplifiying candidate # 8.069 * * * * [progress]: [ 8 / 111 ] simplifiying candidate # 8.069 * * * * [progress]: [ 9 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 10 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 11 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 12 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 13 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 14 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 15 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 16 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 17 / 111 ] simplifiying candidate # 8.070 * * * * [progress]: [ 18 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 19 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 20 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 21 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 22 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 23 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 24 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 25 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 26 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 27 / 111 ] simplifiying candidate # 8.071 * * * * [progress]: [ 28 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 29 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 30 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 31 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 32 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 33 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 34 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 35 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 36 / 111 ] simplifiying candidate # 8.072 * * * * [progress]: [ 37 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 38 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 39 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 40 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 41 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 42 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 43 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 44 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 45 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 46 / 111 ] simplifiying candidate # 8.073 * * * * [progress]: [ 47 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 48 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 49 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 50 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 51 / 111 ] simplifiying candidate #real (real->posit16 (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))))) (complex 5.0 0.0))))) (complex 7.0 0.0))))> 8.074 * * * * [progress]: [ 52 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 53 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 54 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 55 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 56 / 111 ] simplifiying candidate # 8.074 * * * * [progress]: [ 57 / 111 ] simplifiying candidate # 8.075 * * * * [progress]: [ 58 / 111 ] simplifiying candidate # 8.075 * * * * [progress]: [ 59 / 111 ] simplifiying candidate # 8.075 * * * * [progress]: [ 60 / 111 ] simplifiying candidate # 8.075 * * * * [progress]: [ 61 / 111 ] simplifiying candidate # 8.075 * * * * [progress]: [ 62 / 111 ] simplifiying candidate # 8.075 * * * * [progress]: [ 63 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 64 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 65 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 66 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 67 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 68 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 69 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 70 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 71 / 111 ] simplifiying candidate # 8.076 * * * * [progress]: [ 72 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 73 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 74 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 75 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 76 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 77 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 78 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 79 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 80 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 81 / 111 ] simplifiying candidate # 8.077 * * * * [progress]: [ 82 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 83 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 84 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 85 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 86 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 87 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 88 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 89 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 90 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 91 / 111 ] simplifiying candidate # 8.078 * * * * [progress]: [ 92 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 93 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 94 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 95 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 96 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 97 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 98 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 99 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 100 / 111 ] simplifiying candidate # 8.079 * * * * [progress]: [ 101 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 102 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 103 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 104 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 105 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 106 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 107 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 108 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 109 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 110 / 111 ] simplifiying candidate # 8.080 * * * * [progress]: [ 111 / 111 ] simplifiying candidate # 8.083 * [simplify]: Simplifying: (real->posit16 (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (- (log (sqrt 3.0)) (log 2.0)) (log (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (log (/ (sqrt 3.0) 2.0)) (log (+ (/ (sqrt 3.0) 2.0) 0.0))) (log (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (exp (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* 2.0 2.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (* (+ (/ (sqrt 3.0) 2.0) 0.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (* (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (sqrt 3.0) (+ (pow (/ (sqrt 3.0) 2.0) 3) (pow 0.0 3))) (* 2.0 (+ (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (- (* 0.0 0.0) (* (/ (sqrt 3.0) 2.0) 0.0)))) (* (sqrt 3.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0))) (* 2.0 (- (/ (sqrt 3.0) 2.0) 0.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) 0.0) (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)) (cbrt (+ (/ (sqrt 3.0) 2.0) 0.0)))) (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ (sqrt 3.0) 2.0) 0.0))) (* (/ (sqrt 3.0) 2.0) 1) (* (/ (sqrt 3.0) 2.0) 1) (* (cbrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (cbrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (cbrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (cbrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) (sqrt 2.0)) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ 1 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (+ (pow (/ (sqrt 3.0) 2.0) 3) (pow 0.0 3))) (* (/ (sqrt 3.0) 2.0) (- (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (* 0.0 0.0))) (* (sqrt 3.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (real->posit16 (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (+ (- (log (sqrt 3.0)) (log 2.0)) (log (- (+ (/ 1.0 2.0) 2.0)))) (+ (log (/ (sqrt 3.0) 2.0)) (log (- (+ (/ 1.0 2.0) 2.0)))) (log (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (exp (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* 2.0 2.0) 2.0)) (* (* (- (+ (/ 1.0 2.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0)))) (* (* (* (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (* (- (+ (/ 1.0 2.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (- (+ (/ 1.0 2.0) 2.0)))) (* (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (cbrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (* (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0)))) (* (sqrt 3.0) (- (+ (pow (/ 1.0 2.0) 3) (pow 2.0 3)))) (* 2.0 (+ (* (/ 1.0 2.0) (/ 1.0 2.0)) (- (* 2.0 2.0) (* (/ 1.0 2.0) 2.0)))) (* (sqrt 3.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)))) (* 2.0 (- (/ 1.0 2.0) 2.0)) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (sqrt (/ (sqrt 3.0) 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ (/ 1.0 2.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (- (/ 1.0 2.0))) (* (/ (sqrt 3.0) 2.0) (- 2.0)) (* (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (* (- 2.0) (/ (sqrt 3.0) 2.0)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (- (+ (/ 1.0 2.0) 2.0))) (cbrt (- (+ (/ 1.0 2.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) 1) (* (/ (sqrt 3.0) 2.0) -1) (* (/ (sqrt 3.0) 2.0) (- (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0))))) (* (/ (sqrt 3.0) 2.0) (- (sqrt (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (- 1)) (* (/ (sqrt 3.0) 2.0) (- 1)) (* (/ (sqrt 3.0) 2.0) (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) 1) (* (/ (sqrt 3.0) 2.0) 1) (* (cbrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (sqrt (/ (sqrt 3.0) 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (cbrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (cbrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (sqrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ 1 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (- (+ (pow (/ 1.0 2.0) 3) (pow 2.0 3)))) (* (/ (sqrt 3.0) 2.0) (- (- (* (/ 1.0 2.0) (/ 1.0 2.0)) (* 2.0 2.0)))) (* (sqrt 3.0) (- (+ (/ 1.0 2.0) 2.0))) (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (- (* (/ (- 1.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (complex 5.0 0.0))))) (complex 7.0 0.0))) (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (- (* (/ (- 1.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (complex 5.0 0.0))))) (complex 7.0 0.0))) 8.090 * * [simplify]: iteration 0: 193 enodes 8.431 * * [simplify]: iteration 1: 712 enodes 9.578 * * [simplify]: iteration 2: 2641 enodes 12.482 * * [simplify]: iteration complete: 5004 enodes 12.482 * * [simplify]: Extracting #0: cost 78 inf + 0 12.484 * * [simplify]: Extracting #1: cost 722 inf + 0 12.488 * * [simplify]: Extracting #2: cost 1344 inf + 1397 12.496 * * [simplify]: Extracting #3: cost 1428 inf + 38500 12.526 * * [simplify]: Extracting #4: cost 1052 inf + 149576 12.597 * * [simplify]: Extracting #5: cost 562 inf + 313372 12.680 * * [simplify]: Extracting #6: cost 284 inf + 405738 12.784 * * [simplify]: Extracting #7: cost 179 inf + 434760 12.870 * * [simplify]: Extracting #8: cost 75 inf + 492623 12.990 * * [simplify]: Extracting #9: cost 7 inf + 545186 13.102 * * [simplify]: Extracting #10: cost 0 inf + 551018 13.238 * * [simplify]: Extracting #11: cost 0 inf + 550858 13.401 * [simplify]: Simplified to: (real->posit16 (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (log (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (log (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (log (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (exp (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (* (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (* (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (cbrt (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))))) (cbrt (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (* (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (sqrt (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (+ (* (* (sqrt 3.0) 0.0) (* 0.0 0.0)) (* (/ 3.0 2.0) (/ (/ 3.0 2.0) 2.0))) (+ (* (* 2.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* 2.0 (* 0.0 (- 0.0 (/ (sqrt 3.0) 2.0))))) (* (sqrt 3.0) (- (/ (/ 3.0 2.0) 2.0) (* 0.0 0.0))) (* 2.0 (- (/ (sqrt 3.0) 2.0) 0.0)) (* (sqrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (sqrt (/ (sqrt 3.0) 2.0))) (* (sqrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (sqrt (/ (sqrt 3.0) 2.0))) (/ (* (sqrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (sqrt (sqrt 3.0))) (sqrt 2.0)) (/ (* (sqrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (sqrt (sqrt 3.0))) (sqrt 2.0)) (/ (* (sqrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (sqrt (sqrt 3.0))) (sqrt 2.0)) (/ (* (sqrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (sqrt (sqrt 3.0))) (sqrt 2.0)) (/ (/ 3.0 2.0) 2.0) (/ (sqrt 3.0) (/ 2.0 0.0)) (/ (/ 3.0 2.0) 2.0) (/ (sqrt 3.0) (/ 2.0 0.0)) (* (* (cbrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (cbrt (+ 0.0 (/ (sqrt 3.0) 2.0)))) (/ (sqrt 3.0) 2.0)) (* (sqrt (+ 0.0 (/ (sqrt 3.0) 2.0))) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0) (* (cbrt (/ (sqrt 3.0) 2.0)) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (sqrt (/ (sqrt 3.0) 2.0))) (/ (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (cbrt (sqrt 3.0))) (cbrt 2.0)) (/ (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (cbrt (sqrt 3.0))) (sqrt 2.0)) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (cbrt (sqrt 3.0)) 2.0)) (/ (sqrt (cbrt 3.0)) (/ (cbrt 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (/ (* (sqrt (cbrt 3.0)) (+ 0.0 (/ (sqrt 3.0) 2.0))) (sqrt 2.0)) (* (/ (sqrt (cbrt 3.0)) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (/ (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (sqrt (sqrt 3.0))) (cbrt 2.0)) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt (sqrt 3.0)) (sqrt 2.0))) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt (sqrt 3.0)) 2.0)) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) (cbrt 2.0))) (/ (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt 2.0) (sqrt 3.0))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (/ (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (sqrt (sqrt 3.0))) (cbrt 2.0)) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt (sqrt 3.0)) (sqrt 2.0))) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt (sqrt 3.0)) 2.0)) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) (cbrt 2.0))) (/ (+ 0.0 (/ (sqrt 3.0) 2.0)) (/ (sqrt 2.0) (sqrt 3.0))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (/ (+ 0.0 (/ (sqrt 3.0) 2.0)) 2.0) (+ (* (/ (/ 3.0 2.0) 2.0) (/ (/ 3.0 2.0) 2.0)) (/ (* (* (sqrt 3.0) 0.0) (* 0.0 0.0)) 2.0)) (* (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (- (/ (sqrt 3.0) 2.0) 0.0)) (+ (/ 3.0 2.0) (* (sqrt 3.0) 0.0)) (real->posit16 (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0) (log (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (log (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (log (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (exp (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (- (* (* (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))))) (- (* (* (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))))) (* (cbrt (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (cbrt (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0))) (cbrt (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (- (* (* (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))))) (sqrt (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (sqrt (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0)) (* (sqrt 3.0) (- (- (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0))) (* (* 2.0 2.0) 2.0))) (* (+ (* (/ 1.0 2.0) (/ 1.0 2.0)) (* (- 2.0 (/ 1.0 2.0)) 2.0)) 2.0) (* (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) (- (/ 1.0 2.0) 2.0)) (* (- (/ 1.0 2.0) 2.0) 2.0) (* (sqrt (- (+ (/ 1.0 2.0) 2.0))) (sqrt (/ (sqrt 3.0) 2.0))) (* (sqrt (- (+ (/ 1.0 2.0) 2.0))) (sqrt (/ (sqrt 3.0) 2.0))) (/ (* (sqrt (sqrt 3.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (sqrt 2.0)) (/ (* (sqrt (sqrt 3.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (sqrt 2.0)) (/ (* (sqrt (sqrt 3.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (sqrt 2.0)) (/ (* (sqrt (sqrt 3.0)) (sqrt (- (+ (/ 1.0 2.0) 2.0)))) (sqrt 2.0)) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0)) (/ (* (- 1.0) (/ (sqrt 3.0) 2.0)) 2.0) (/ (* 2.0 (- (sqrt 3.0))) 2.0) (/ (* (- 1.0) (/ (sqrt 3.0) 2.0)) 2.0) (/ (* 2.0 (- (sqrt 3.0))) 2.0) (* (cbrt (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (cbrt (- (+ (/ 1.0 2.0) 2.0))))) (* (sqrt (- (+ (/ 1.0 2.0) 2.0))) (/ (sqrt 3.0) 2.0)) (/ (sqrt 3.0) 2.0) (- (/ (sqrt 3.0) 2.0)) (* (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0))) (- (/ (sqrt 3.0) 2.0))) (/ (* (- (sqrt 3.0)) (sqrt (+ (/ 1.0 2.0) 2.0))) 2.0) (- (/ (sqrt 3.0) 2.0)) (- (/ (sqrt 3.0) 2.0)) (/ (* (sqrt 3.0) (* (cbrt (+ (/ 1.0 2.0) 2.0)) (cbrt (+ (/ 1.0 2.0) 2.0)))) 2.0) (* (/ (sqrt 3.0) 2.0) (sqrt (+ (/ 1.0 2.0) 2.0))) (/ (sqrt 3.0) 2.0) (/ (sqrt 3.0) 2.0) (* (+ (/ 1.0 2.0) 2.0) (- (cbrt (/ (sqrt 3.0) 2.0)))) (* (- (sqrt (/ (sqrt 3.0) 2.0))) (+ (/ 1.0 2.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (- (/ (cbrt (sqrt 3.0)) (cbrt 2.0)))) (* (- (+ (/ 1.0 2.0) 2.0)) (/ (cbrt (sqrt 3.0)) (sqrt 2.0))) (* (- (/ (cbrt (sqrt 3.0)) 2.0)) (+ (/ 1.0 2.0) 2.0)) (* (+ (/ 1.0 2.0) 2.0) (- (/ (sqrt (cbrt 3.0)) (cbrt 2.0)))) (* (- (+ (/ 1.0 2.0) 2.0)) (/ (sqrt (cbrt 3.0)) (sqrt 2.0))) (/ (sqrt (cbrt 3.0)) (/ 2.0 (- (+ (/ 1.0 2.0) 2.0)))) (* (- (/ (sqrt (sqrt 3.0)) (cbrt 2.0))) (+ (/ 1.0 2.0) 2.0)) (* (- (/ (sqrt (sqrt 3.0)) (sqrt 2.0))) (+ (/ 1.0 2.0) 2.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (- (sqrt 3.0)) (sqrt 2.0)) (+ (/ 1.0 2.0) 2.0)) (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0) (* (- (/ (sqrt (sqrt 3.0)) (cbrt 2.0))) (+ (/ 1.0 2.0) 2.0)) (* (- (/ (sqrt (sqrt 3.0)) (sqrt 2.0))) (+ (/ 1.0 2.0) 2.0)) (* (/ (sqrt (sqrt 3.0)) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) (cbrt 2.0)) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (- (sqrt 3.0)) (sqrt 2.0)) (+ (/ 1.0 2.0) 2.0)) (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0) (/ (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) 2.0) (/ (- (+ (/ 1.0 2.0) 2.0)) 2.0) (- (/ (+ (* (* 2.0 2.0) 2.0) (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0))) (/ 2.0 (sqrt 3.0)))) (/ (* (- (- (/ 1.0 2.0) 2.0)) (+ (/ 1.0 2.0) 2.0)) (/ 2.0 (sqrt 3.0))) (* (+ (/ 1.0 2.0) 2.0) (- (sqrt 3.0))) (re (+.c (*.c (+.c (complex (- (* (/ (- 1.0) 2.0) (- (* (+ (/ 1.0 2.0) 2.0) (/ 1.0 2.0)) (- (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) 5.0))) (* (/ (sqrt 3.0) 2.0) (+ (- (* (/ (- 1.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (- (* (/ (- 1.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (* (+ (/ 1.0 2.0) 2.0) (/ 1.0 2.0)) (- (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) 5.0))))) (complex 4.0 0.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex 7.0 0.0))) (re (+.c (*.c (+.c (complex (- (* (/ (- 1.0) 2.0) (- (* (+ (/ 1.0 2.0) 2.0) (/ 1.0 2.0)) (- (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) 5.0))) (* (/ (sqrt 3.0) 2.0) (+ (- (* (/ (- 1.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (- (* (/ (- 1.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) (* (+ (/ 1.0 2.0) 2.0) (/ (sqrt 3.0) 2.0))) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (* (+ (/ 1.0 2.0) 2.0) (/ 1.0 2.0)) (- (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0))) 5.0))))) (complex 4.0 0.0)) (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0))) (complex 7.0 0.0))) 13.453 * * * [progress]: adding candidates to table 14.854 * [progress]: [Phase 3 of 3] Extracting. 14.872 * [simplify]: Simplifying: (re (+.c (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex 4.0 0.0) (*.c (complex (/ (- 1.0) 2.0) (/ (sqrt 3.0) 2.0)) (+.c (complex (- (* (/ (- 1.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))) (* (/ (sqrt 3.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0))) (+ (* (/ (- 1.0) 2.0) (+ (/ (sqrt 3.0) 2.0) 0.0)) (* (/ (sqrt 3.0) 2.0) (- (+ (/ 1.0 2.0) 2.0))))) (complex 5.0 0.0))))) (complex 7.0 0.0))) 14.872 * * [simplify]: iteration 0: 32 enodes 14.880 * * [simplify]: iteration 1: 51 enodes 14.890 * * [simplify]: iteration 2: 69 enodes 14.909 * * [simplify]: iteration 3: 114 enodes 14.954 * * [simplify]: iteration 4: 143 enodes 14.987 * * [simplify]: iteration 5: 158 enodes 15.001 * * [simplify]: iteration 6: 167 enodes 15.015 * * [simplify]: iteration 7: 180 enodes 15.037 * * [simplify]: iteration 8: 194 enodes 15.055 * * [simplify]: iteration 9: 195 enodes 15.076 * * [simplify]: iteration complete: 195 enodes 15.076 * * [simplify]: Extracting #0: cost 1 inf + 0 15.076 * * [simplify]: Extracting #1: cost 2 inf + 0 15.076 * * [simplify]: Extracting #2: cost 4 inf + 0 15.076 * * [simplify]: Extracting #3: cost 8 inf + 0 15.076 * * [simplify]: Extracting #4: cost 10 inf + 4 15.076 * * [simplify]: Extracting #5: cost 16 inf + 45 15.076 * * [simplify]: Extracting #6: cost 19 inf + 49 15.076 * * [simplify]: Extracting #7: cost 16 inf + 255 15.077 * * [simplify]: Extracting #8: cost 15 inf + 747 15.077 * * [simplify]: Extracting #9: cost 22 inf + 749 15.078 * * [simplify]: Extracting #10: cost 15 inf + 1849 15.080 * * [simplify]: Extracting #11: cost 7 inf + 3835 15.082 * * [simplify]: Extracting #12: cost 5 inf + 4924 15.084 * * [simplify]: Extracting #13: cost 4 inf + 5769 15.087 * * [simplify]: Extracting #14: cost 3 inf + 6775 15.091 * * [simplify]: Extracting #15: cost 1 inf + 9508 15.095 * * [simplify]: Extracting #16: cost 0 inf + 10915 15.100 * [simplify]: Simplified to: (re (+.c (complex 7.0 0.0) (*.c (+.c (complex 4.0 0.0) (*.c (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0)) (+.c (complex 5.0 0.0) (complex (- (* (+ (/ 1.0 2.0) 2.0) (/ 1.0 2.0)) (* (/ (sqrt 3.0) 2.0) (+ 0.0 (/ (sqrt 3.0) 2.0)))) (+ (* (- (/ (sqrt 3.0) 2.0)) (+ (/ 1.0 2.0) 2.0)) (* (+ 0.0 (/ (sqrt 3.0) 2.0)) (- (/ 1.0 2.0)))))))) (complex (- (/ 1.0 2.0)) (/ (sqrt 3.0) 2.0))))) 15.100 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 15.108 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 15.263 * * * * [points]: Setting MPFR precision to 832 15.266 * * * * [points]: Setting MPFR precision to 1088 15.268 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 15.349 * * * * [points]: Setting MPFR precision to 832 15.354 * * * * [points]: Setting MPFR precision to 1088 15.359 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 15.466 * * * * [points]: Setting MPFR precision to 832 15.477 * * * * [points]: Setting MPFR precision to 1088 15.487 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 15.626 * * * * [points]: Setting MPFR precision to 832 15.656 * * * * [points]: Setting MPFR precision to 1088 15.696 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 15.852 * * * * [points]: Setting MPFR precision to 832 15.929 * * * * [points]: Setting MPFR precision to 1088 15.984 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 16.140 * * * * [points]: Setting MPFR precision to 832 16.287 * * * * [points]: Setting MPFR precision to 1088 16.482 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 16.974 * * * * [points]: Setting MPFR precision to 832 17.264 * * * * [points]: Setting MPFR precision to 1088 17.681 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 17.889 * * * * [points]: Setting MPFR precision to 832 18.529 * * * * [points]: Setting MPFR precision to 1088 19.587 * * * * [points]: Computing exacts for 8000 points 19.772 * * * * [points]: Setting MPFR precision to 832 23.628 * * * * [points]: Setting MPFR precision to 1088 27.491 * * * * [points]: Filtering points with unrepresentable outputs 27.515 * * * * [points]: Sampled 8000 points with exact outputs 28.304 * [regime-testing]: Baseline error score: 0 28.335 * [regime-testing]: Oracle error score: 0 28.336 * [regime-testing]: End program error score: 0