1545818801.634 * [misc]progress:  [Phase 1 of 3] Setting up.
1545818801.634 * * * [misc]progress:  [1/2] Preparing points
1545818801.634 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545818801.634 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1545818801.643 * * * * [misc]points:  Setting MPFR precision to 64
1545818801.649 * * * * [misc]points:  Setting MPFR precision to 320
1545818801.654 * * * * [misc]points:  Setting MPFR precision to 576
1545818801.659 * * * * [misc]points:  Setting MPFR precision to 832
1545818801.664 * * * * [misc]points:  Setting MPFR precision to 1088
1545818801.678 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1545818801.688 * * * * [misc]points:  Setting MPFR precision to 832
1545818801.698 * * * * [misc]points:  Setting MPFR precision to 1088
1545818801.708 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1545818801.718 * * * * [misc]points:  Setting MPFR precision to 832
1545818801.736 * * * * [misc]points:  Setting MPFR precision to 1088
1545818801.754 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1545818801.763 * * * * [misc]points:  Setting MPFR precision to 832
1545818801.788 * * * * [misc]points:  Setting MPFR precision to 1088
1545818801.802 * * * * [misc]points:  Computing exacts for 256 points
1545818801.808 * * * * [misc]points:  Setting MPFR precision to 832
1545818801.927 * * * * [misc]points:  Setting MPFR precision to 1088
1545818802.419 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818802.419 * * * * [exit]points:  Sampled 256 points with exact outputs
1545818802.419 * * * [misc]progress:  [2/2] Setting up program.
1545818802.431 * [misc]progress:  [Phase 2 of 3] Improving.
1545818802.431 * [enter]simplify:  Simplifying (re (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))
1545818802.432 * * [misc]simplify:  iters left: 6 (31 enodes)
1545818802.441 * * [misc]simplify:  iters left: 5 (85 enodes)
1545818802.550 * * [misc]simplify:  iters left: 4 (304 enodes)
1545818802.773 * [exit]simplify:  Simplified to (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))
1545818802.798 * * [misc]progress:  iteration 1 / 4
1545818802.798 * * * [misc]progress:  picking best candidate
1545818802.810 * * * * [misc]pick:  Picked  #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818802.810 * * * [misc]progress:  localizing error
1545818802.922 * * * [misc]progress:  generating rewritten candidates
1545818802.922 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2 2)
1545818802.923 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1)
1545818802.924 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1545818802.925 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 2)
1545818802.925 * * * [misc]progress:  generating series expansions
1545818802.925 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2 2)
1545818802.925 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1)
1545818802.925 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1545818802.925 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 2)
1545818802.926 * * * [misc]progress:  simplifying candidates
1545818802.926 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (complex (- (* -1/2 -1/2) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (* -1/2 (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) -1/2))))))))>
1545818802.926 * [enter]simplify:  Simplifying (- (* -1/2 -1/2) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))
1545818802.926 * * [misc]simplify:  iters left: 6 (8 enodes)
1545818802.928 * * [misc]simplify:  iters left: 5 (19 enodes)
1545818802.931 * * [misc]simplify:  iters left: 4 (35 enodes)
1545818802.941 * * [misc]simplify:  iters left: 3 (66 enodes)
1545818802.962 * * [misc]simplify:  iters left: 2 (114 enodes)
1545818802.992 * * [misc]simplify:  iters left: 1 (160 enodes)
1545818803.022 * [exit]simplify:  Simplified to -1/2
1545818803.023 * [misc]simplify:  Simplified (2 1 2 2 2 1) to (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (complex -1/2 (+ (* -1/2 (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) -1/2))))))))
1545818803.023 * [enter]simplify:  Simplifying (+ (* -1/2 (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) -1/2))
1545818803.023 * * [misc]simplify:  iters left: 6 (8 enodes)
1545818803.026 * * [misc]simplify:  iters left: 5 (14 enodes)
1545818803.032 * * [misc]simplify:  iters left: 4 (25 enodes)
1545818803.039 * * [misc]simplify:  iters left: 3 (29 enodes)
1545818803.047 * * [misc]simplify:  iters left: 2 (36 enodes)
1545818803.056 * * [misc]simplify:  iters left: 1 (47 enodes)
1545818803.068 * [exit]simplify:  Simplified to (* -1/2 (sqrt 3))
1545818803.070 * [misc]simplify:  Simplified (2 1 2 2 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (complex -1/2 (* -1/2 (sqrt 3))))))))
1545818803.070 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.070 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (complex (- (* -1/2 -1/2) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (+ (* -1/2 (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) -1/2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.070 * [enter]simplify:  Simplifying (- (* -1/2 -1/2) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)))
1545818803.070 * * [misc]simplify:  iters left: 6 (8 enodes)
1545818803.074 * * [misc]simplify:  iters left: 5 (19 enodes)
1545818803.080 * * [misc]simplify:  iters left: 4 (35 enodes)
1545818803.092 * * [misc]simplify:  iters left: 3 (66 enodes)
1545818803.115 * * [misc]simplify:  iters left: 2 (114 enodes)
1545818803.139 * * [misc]simplify:  iters left: 1 (160 enodes)
1545818803.160 * [exit]simplify:  Simplified to -1/2
1545818803.160 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (complex -1/2 (+ (* -1/2 (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) -1/2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.160 * [enter]simplify:  Simplifying (+ (* -1/2 (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) -1/2))
1545818803.160 * * [misc]simplify:  iters left: 6 (8 enodes)
1545818803.162 * * [misc]simplify:  iters left: 5 (14 enodes)
1545818803.166 * * [misc]simplify:  iters left: 4 (25 enodes)
1545818803.170 * * [misc]simplify:  iters left: 3 (29 enodes)
1545818803.175 * * [misc]simplify:  iters left: 2 (36 enodes)
1545818803.180 * * [misc]simplify:  iters left: 1 (47 enodes)
1545818803.190 * [exit]simplify:  Simplified to (* -1/2 (sqrt 3))
1545818803.190 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (complex -1/2 (* -1/2 (sqrt 3))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.190 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.190 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (log1p (expm1 (/ 4 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.190 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (expm1 (log1p (/ 4 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.190 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (pow (/ 4 (/ 2 (sqrt 3))) 1)) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.190 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (exp (log (/ 4 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.190 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (log (exp (/ 4 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.190 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (* (* (cbrt (/ 4 (/ 2 (sqrt 3)))) (cbrt (/ 4 (/ 2 (sqrt 3))))) (cbrt (/ 4 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.190 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (cbrt (* (* (/ 4 (/ 2 (sqrt 3))) (/ 4 (/ 2 (sqrt 3)))) (/ 4 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.191 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (* (sqrt (/ 4 (/ 2 (sqrt 3)))) (sqrt (/ 4 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.191 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ (- 4) (- (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.191 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (* 1 (/ 4 (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.191 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (* 4 (/ 1 (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.191 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 1 (/ (/ 2 (sqrt 3)) 4))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.191 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 (* (cbrt (/ 2 (sqrt 3))) (cbrt (/ 2 (sqrt 3))))) (cbrt (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.191 * [enter]simplify:  Simplifying (cbrt (/ 2 (sqrt 3)))
1545818803.191 * * [misc]simplify:  iters left: 4 (5 enodes)
1545818803.193 * [exit]simplify:  Simplified to (cbrt (/ 2 (sqrt 3)))
1545818803.193 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 (* (cbrt (/ 2 (sqrt 3))) (cbrt (/ 2 (sqrt 3))))) (cbrt (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.193 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 (sqrt (/ 2 (sqrt 3)))) (sqrt (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.194 * [enter]simplify:  Simplifying (sqrt (/ 2 (sqrt 3)))
1545818803.194 * * [misc]simplify:  iters left: 4 (5 enodes)
1545818803.195 * [exit]simplify:  Simplified to (sqrt (/ 2 (sqrt 3)))
1545818803.196 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 (sqrt (/ 2 (sqrt 3)))) (sqrt (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.196 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 1) (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.196 * [enter]simplify:  Simplifying (/ 2 (sqrt 3))
1545818803.196 * * [misc]simplify:  iters left: 3 (4 enodes)
1545818803.197 * [exit]simplify:  Simplified to (/ 2 (sqrt 3))
1545818803.198 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 1) (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.198 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 2) (/ 1 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.198 * [enter]simplify:  Simplifying (/ 1 (sqrt 3))
1545818803.198 * * [misc]simplify:  iters left: 3 (4 enodes)
1545818803.200 * * [misc]simplify:  iters left: 2 (6 enodes)
1545818803.201 * [exit]simplify:  Simplified to (/ 1 (sqrt 3))
1545818803.201 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ (/ 4 2) (/ 1 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.202 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (* (/ 4 2) (sqrt 3))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.202 * [enter]simplify:  Simplifying (sqrt 3)
1545818803.202 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818803.203 * [exit]simplify:  Simplified to (sqrt 3)
1545818803.203 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ () (re (+.c (complex (+ -2 7) (* (/ 4 2) (sqrt 3))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.203 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (log1p (expm1 (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.203 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (expm1 (log1p (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.203 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (pow (/ 2 (sqrt 3)) 1))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.203 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (exp (log (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.203 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (log (exp (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.203 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (* (* (cbrt (/ 2 (sqrt 3))) (cbrt (/ 2 (sqrt 3)))) (cbrt (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.203 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (cbrt (* (* (/ 2 (sqrt 3)) (/ 2 (sqrt 3))) (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.203 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (* (sqrt (/ 2 (sqrt 3))) (sqrt (/ 2 (sqrt 3)))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.204 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ (- 2) (- (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.204 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (* 1 (/ 2 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.204 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (* 2 (/ 1 (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.204 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 1 (/ (sqrt 3) 2)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.204 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ (/ 2 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.204 * [enter]simplify:  Simplifying (cbrt (sqrt 3))
1545818803.204 * * [misc]simplify:  iters left: 2 (3 enodes)
1545818803.205 * [exit]simplify:  Simplified to (cbrt (sqrt 3))
1545818803.206 * [misc]simplify:  Simplified (2 1 1 2 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ (/ 2 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.206 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ (/ 2 (sqrt (sqrt 3))) (sqrt (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.206 * [enter]simplify:  Simplifying (sqrt (sqrt 3))
1545818803.206 * * [misc]simplify:  iters left: 2 (3 enodes)
1545818803.208 * [exit]simplify:  Simplified to (sqrt (sqrt 3))
1545818803.208 * [misc]simplify:  Simplified (2 1 1 2 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ (/ 2 (sqrt (sqrt 3))) (sqrt (sqrt 3))))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.208 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ (/ 2 1) (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.208 * [enter]simplify:  Simplifying (sqrt 3)
1545818803.208 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818803.209 * [exit]simplify:  Simplified to (sqrt 3)
1545818803.209 * [misc]simplify:  Simplified (2 1 1 2 2 2) to (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ (/ 2 1) (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))
1545818803.209 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.210 * [enter]simplify:  Simplifying (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))
1545818803.210 * * [misc]simplify:  iters left: 6 (22 enodes)
1545818803.220 * * [misc]simplify:  iters left: 5 (48 enodes)
1545818803.233 * * [misc]simplify:  iters left: 4 (111 enodes)
1545818803.279 * * [misc]simplify:  iters left: 3 (321 enodes)
1545818803.397 * [exit]simplify:  Simplified to (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1)))))))
1545818803.397 * [misc]simplify:  Simplified (2) to (λ () (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1))))))))
1545818803.397 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.397 * [enter]simplify:  Simplifying (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))
1545818803.398 * * [misc]simplify:  iters left: 6 (22 enodes)
1545818803.404 * * [misc]simplify:  iters left: 5 (48 enodes)
1545818803.416 * * [misc]simplify:  iters left: 4 (111 enodes)
1545818803.469 * * [misc]simplify:  iters left: 3 (321 enodes)
1545818803.601 * [exit]simplify:  Simplified to (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1)))))))
1545818803.601 * [misc]simplify:  Simplified (2) to (λ () (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1))))))))
1545818803.601 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.602 * [enter]simplify:  Simplifying (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))
1545818803.602 * * [misc]simplify:  iters left: 6 (22 enodes)
1545818803.614 * * [misc]simplify:  iters left: 5 (48 enodes)
1545818803.629 * * [misc]simplify:  iters left: 4 (111 enodes)
1545818803.678 * * [misc]simplify:  iters left: 3 (321 enodes)
1545818803.799 * [exit]simplify:  Simplified to (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1)))))))
1545818803.799 * [misc]simplify:  Simplified (2) to (λ () (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1))))))))
1545818803.799 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ () (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))))))))>
1545818803.800 * [enter]simplify:  Simplifying (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))
1545818803.800 * * [misc]simplify:  iters left: 6 (22 enodes)
1545818803.807 * * [misc]simplify:  iters left: 5 (48 enodes)
1545818803.814 * * [misc]simplify:  iters left: 4 (111 enodes)
1545818803.839 * * [misc]simplify:  iters left: 3 (321 enodes)
1545818804.009 * [exit]simplify:  Simplified to (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1)))))))
1545818804.010 * [misc]simplify:  Simplified (2) to (λ () (re (complex (+ (- (* (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4)) (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))))) (- (+ 5 (* (+ (/ -3/2 2) 1/4) 6)) (* (/ (sqrt 3) -1) (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3)))))) (+ (* (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (+ (+ (/ -3/2 2) 1/4) (+ (/ -3/2 2) 1/4))) (fma (sqrt 3) 2 (fma 6 (+ (* -1/4 (sqrt 3)) (* -1/4 (sqrt 3))) (* (+ (/ -3/2 2) 1/4) (/ (sqrt 3) -1))))))))
1545818804.010 * * * [misc]progress:  adding candidates to table
1545818804.802 * [misc]progress:  [Phase 3 of 3] Extracting.
1545818804.815 * [enter]simplify:  Simplifying (re (+.c (complex (+ -2 7) (/ 4 (/ 2 (sqrt 3)))) (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2)))))))
1545818804.815 * * [misc]simplify:  iters left: 6 (22 enodes)
1545818804.821 * * [misc]simplify:  iters left: 5 (28 enodes)
1545818804.823 * [exit]simplify:  Simplified to (re (+.c (*.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+.c (*.c (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (complex 6 (/ (* -2 (sqrt 3)) 2)))) (complex 5 (/ 4 (/ 2 (sqrt 3))))))
1545818804.824 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545818804.827 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1545818804.836 * * * * [misc]points:  Setting MPFR precision to 832
1545818804.842 * * * * [misc]points:  Setting MPFR precision to 1088
1545818804.847 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1545818804.854 * * * * [misc]points:  Setting MPFR precision to 832
1545818804.859 * * * * [misc]points:  Setting MPFR precision to 1088
1545818804.864 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1545818804.869 * * * * [misc]points:  Setting MPFR precision to 832
1545818804.879 * * * * [misc]points:  Setting MPFR precision to 1088
1545818804.890 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1545818804.898 * * * * [misc]points:  Setting MPFR precision to 832
1545818804.980 * * * * [misc]points:  Setting MPFR precision to 1088
1545818805.005 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1545818805.015 * * * * [misc]points:  Setting MPFR precision to 832
1545818805.103 * * * * [misc]points:  Setting MPFR precision to 1088
1545818805.251 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1545818805.260 * * * * [misc]points:  Setting MPFR precision to 832
1545818805.466 * * * * [misc]points:  Setting MPFR precision to 1088
1545818805.644 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1545818805.654 * * * * [misc]points:  Setting MPFR precision to 832
1545818805.992 * * * * [misc]points:  Setting MPFR precision to 1088
1545818806.786 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1545818806.791 * * * * [misc]points:  Setting MPFR precision to 832
1545818807.534 * * * * [misc]points:  Setting MPFR precision to 1088
1545818808.555 * * * * [misc]points:  Computing exacts for 8000 points
1545818808.565 * * * * [misc]points:  Setting MPFR precision to 832
1545818811.787 * * * * [misc]points:  Setting MPFR precision to 1088
1545818816.247 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818816.249 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545818816.631 * [misc]regime-testing:  Baseline error score: 0
1545818816.632 * [misc]regime-testing:  Oracle error score: 0
1545818816.632 * [misc]regime-testing:  End program error score: 0