51.462 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.004 * * * * [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.037 * * * * [points]: Setting MPFR precision to 320 0.042 * * * * [points]: Setting MPFR precision to 576 0.046 * * * * [points]: Setting MPFR precision to 832 0.051 * * * * [points]: Setting MPFR precision to 1088 0.056 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.190 * * * * [points]: Setting MPFR precision to 832 0.195 * * * * [points]: Setting MPFR precision to 1088 0.204 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.330 * * * * [points]: Setting MPFR precision to 832 0.340 * * * * [points]: Setting MPFR precision to 1088 0.354 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.448 * * * * [points]: Setting MPFR precision to 832 0.462 * * * * [points]: Setting MPFR precision to 1088 0.475 * * * * [points]: Computing exacts for 256 points 0.600 * * * * [points]: Setting MPFR precision to 832 0.659 * * * * [points]: Setting MPFR precision to 1088 0.707 * * * * [points]: Filtering points with unrepresentable outputs 0.709 * * * * [points]: Sampled 256 points with exact outputs 0.709 * * * [progress]: [2/2] Setting up program. 0.725 * [progress]: [Phase 2 of 3] Improving. 0.725 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.725 * [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))) 0.726 * * [simplify]: iteration 0: 31 enodes 0.754 * * [simplify]: iteration 1: 81 enodes 0.859 * * [simplify]: iteration 2: 295 enodes 1.182 * * [simplify]: iteration 3: 1221 enodes 2.349 * * [simplify]: iteration complete: 5000 enodes 2.349 * * [simplify]: Extracting #0: cost 1 inf + 0 2.349 * * [simplify]: Extracting #1: cost 2 inf + 0 2.349 * * [simplify]: Extracting #2: cost 75 inf + 0 2.351 * * [simplify]: Extracting #3: cost 959 inf + 0 2.355 * * [simplify]: Extracting #4: cost 1492 inf + 2 2.360 * * [simplify]: Extracting #5: cost 1939 inf + 91 2.368 * * [simplify]: Extracting #6: cost 2249 inf + 2969 2.392 * * [simplify]: Extracting #7: cost 2229 inf + 36164 2.479 * * [simplify]: Extracting #8: cost 1437 inf + 340682 2.754 * * [simplify]: Extracting #9: cost 611 inf + 1021237 3.301 * * [simplify]: Extracting #10: cost 123 inf + 1642321 3.936 * * [simplify]: Extracting #11: cost 1 inf + 1804885 4.635 * * [simplify]: Extracting #12: cost 0 inf + 1799930 5.271 * * [simplify]: Extracting #13: cost 0 inf + 1799690 5.990 * [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))) 6.000 * * [progress]: iteration 1 / 4 6.000 * * * [progress]: picking best candidate 6.009 * * * * [pick]: Picked # 6.010 * * * [progress]: localizing error 6.160 * * * [progress]: generating rewritten candidates 6.160 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2 2 2 1 1 2) 6.338 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2 2 2 1 2 2) 6.568 * * * [progress]: generating series expansions 6.568 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2 2 2 1 1 2) 6.569 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2 2 2 1 2 2) 6.569 * * * [progress]: simplifying candidates 6.569 * * * * [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))))> 6.569 * * * * [progress]: [ 2 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 3 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 4 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 5 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 6 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 7 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 8 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 9 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 10 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 11 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 12 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 13 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 14 / 111 ] simplifiying candidate # 6.569 * * * * [progress]: [ 15 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 16 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 17 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 18 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 19 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 20 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 21 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 22 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 23 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 24 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 25 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 26 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 27 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 28 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 29 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 30 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 31 / 111 ] simplifiying candidate # 6.570 * * * * [progress]: [ 32 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 33 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 34 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 35 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 36 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 37 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 38 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 39 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 40 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 41 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 42 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 43 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 44 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 45 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 46 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 47 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 48 / 111 ] simplifiying candidate # 6.571 * * * * [progress]: [ 49 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 50 / 111 ] simplifiying candidate # 6.572 * * * * [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))))> 6.572 * * * * [progress]: [ 52 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 53 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 54 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 55 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 56 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 57 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 58 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 59 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 60 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 61 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 62 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 63 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 64 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 65 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 66 / 111 ] simplifiying candidate # 6.572 * * * * [progress]: [ 67 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 68 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 69 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 70 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 71 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 72 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 73 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 74 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 75 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 76 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 77 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 78 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 79 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 80 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 81 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 82 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 83 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 84 / 111 ] simplifiying candidate # 6.573 * * * * [progress]: [ 85 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 86 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 87 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 88 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 89 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 90 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 91 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 92 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 93 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 94 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 95 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 96 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 97 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 98 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 99 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 100 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 101 / 111 ] simplifiying candidate # 6.574 * * * * [progress]: [ 102 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 103 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 104 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 105 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 106 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 107 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 108 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 109 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 110 / 111 ] simplifiying candidate # 6.575 * * * * [progress]: [ 111 / 111 ] simplifiying candidate # 6.576 * [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))) 6.580 * * [simplify]: iteration 0: 193 enodes 6.767 * * [simplify]: iteration 1: 712 enodes 7.636 * * [simplify]: iteration 2: 2641 enodes 10.174 * * [simplify]: iteration complete: 5004 enodes 10.174 * * [simplify]: Extracting #0: cost 78 inf + 0 10.176 * * [simplify]: Extracting #1: cost 722 inf + 0 10.180 * * [simplify]: Extracting #2: cost 1344 inf + 1397 10.189 * * [simplify]: Extracting #3: cost 1428 inf + 38500 10.240 * * [simplify]: Extracting #4: cost 1052 inf + 149576 10.343 * * [simplify]: Extracting #5: cost 562 inf + 313372 10.462 * * [simplify]: Extracting #6: cost 284 inf + 405738 10.567 * * [simplify]: Extracting #7: cost 179 inf + 434760 10.719 * * [simplify]: Extracting #8: cost 75 inf + 492623 10.889 * * [simplify]: Extracting #9: cost 7 inf + 545186 11.106 * * [simplify]: Extracting #10: cost 0 inf + 551018 11.283 * * [simplify]: Extracting #11: cost 0 inf + 550858 11.450 * [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))) 11.501 * * * [progress]: adding candidates to table 12.716 * [progress]: [Phase 3 of 3] Extracting. 12.727 * [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))) 12.727 * * [simplify]: iteration 0: 32 enodes 12.735 * * [simplify]: iteration 1: 51 enodes 12.749 * * [simplify]: iteration 2: 69 enodes 12.771 * * [simplify]: iteration 3: 114 enodes 12.808 * * [simplify]: iteration 4: 143 enodes 12.838 * * [simplify]: iteration 5: 158 enodes 12.860 * * [simplify]: iteration 6: 167 enodes 12.883 * * [simplify]: iteration 7: 180 enodes 12.909 * * [simplify]: iteration 8: 194 enodes 12.935 * * [simplify]: iteration 9: 195 enodes 12.945 * * [simplify]: iteration complete: 195 enodes 12.945 * * [simplify]: Extracting #0: cost 1 inf + 0 12.945 * * [simplify]: Extracting #1: cost 2 inf + 0 12.945 * * [simplify]: Extracting #2: cost 4 inf + 0 12.945 * * [simplify]: Extracting #3: cost 8 inf + 0 12.945 * * [simplify]: Extracting #4: cost 10 inf + 4 12.945 * * [simplify]: Extracting #5: cost 16 inf + 45 12.945 * * [simplify]: Extracting #6: cost 19 inf + 49 12.945 * * [simplify]: Extracting #7: cost 16 inf + 255 12.946 * * [simplify]: Extracting #8: cost 15 inf + 747 12.946 * * [simplify]: Extracting #9: cost 22 inf + 749 12.946 * * [simplify]: Extracting #10: cost 15 inf + 1849 12.947 * * [simplify]: Extracting #11: cost 7 inf + 3835 12.949 * * [simplify]: Extracting #12: cost 5 inf + 4924 12.950 * * [simplify]: Extracting #13: cost 4 inf + 5769 12.952 * * [simplify]: Extracting #14: cost 3 inf + 6775 12.954 * * [simplify]: Extracting #15: cost 1 inf + 9508 12.956 * * [simplify]: Extracting #16: cost 0 inf + 10915 12.958 * [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))))) 12.958 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 12.962 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 13.115 * * * * [points]: Setting MPFR precision to 832 13.118 * * * * [points]: Setting MPFR precision to 1088 13.121 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 13.218 * * * * [points]: Setting MPFR precision to 832 13.223 * * * * [points]: Setting MPFR precision to 1088 13.228 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 13.312 * * * * [points]: Setting MPFR precision to 832 13.322 * * * * [points]: Setting MPFR precision to 1088 13.342 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 13.493 * * * * [points]: Setting MPFR precision to 832 13.531 * * * * [points]: Setting MPFR precision to 1088 13.571 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 14.094 * * * * [points]: Setting MPFR precision to 832 14.140 * * * * [points]: Setting MPFR precision to 1088 14.243 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 14.403 * * * * [points]: Setting MPFR precision to 832 14.528 * * * * [points]: Setting MPFR precision to 1088 14.678 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 14.820 * * * * [points]: Setting MPFR precision to 832 15.114 * * * * [points]: Setting MPFR precision to 1088 15.536 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 16.099 * * * * [points]: Setting MPFR precision to 832 16.648 * * * * [points]: Setting MPFR precision to 1088 17.388 * * * * [points]: Computing exacts for 8000 points 17.939 * * * * [points]: Setting MPFR precision to 832 21.081 * * * * [points]: Setting MPFR precision to 1088 24.749 * * * * [points]: Filtering points with unrepresentable outputs 24.797 * * * * [points]: Sampled 8000 points with exact outputs 25.390 * [regime-testing]: Baseline error score: 0 25.411 * [regime-testing]: Oracle error score: 0 25.411 * [regime-testing]: End program error score: 0