* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (re (+ (+ (+ (+ (* (* (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (* (* (* (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (* (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (85 enodes) * * [misc]simplify: iters left: 4 (296 enodes) * [exit]simplify: Simplified to (re (+ (+ (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) 5) (+ (complex -2 (/ (* (sqrt 3) 4) 2)) 7)) (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (* (complex -1/2 (/ (sqrt 3) 2)) (+ -2 (complex -1/2 (/ (sqrt 3) 2))))))) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1 1) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (+ (- (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2))) (- (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2)))) (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (49 enodes) * * [misc]simplify: iters left: 5 (165 enodes) * * [misc]simplify: iters left: 4 (448 enodes) * [exit]simplify: Simplified to (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) * [exit]simplify: Simplified to (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) * [enter]simplify: Simplifying (+ (+ (+ (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2))) (+ (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2)))) (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))) * * [misc]simplify: iters left: 6 (49 enodes) * * [misc]simplify: iters left: 5 (162 enodes) * * [misc]simplify: iters left: 4 (427 enodes) * [exit]simplify: Simplified to (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))))) * [exit]simplify: Simplified to (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))))) * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* (* (* (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (* (* (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (19 enodes) * * [misc]simplify: iters left: 5 (51 enodes) * * [misc]simplify: iters left: 4 (139 enodes) * * [misc]simplify: iters left: 3 (460 enodes) * [exit]simplify: Simplified to (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+ (complex 1 (* -1 (sqrt 3))) 5)) * [exit]simplify: Simplified to (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (+ (complex 1 (* -1 (sqrt 3))) 5)) * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (29 enodes) * * [misc]simplify: iters left: 4 (73 enodes) * * [misc]simplify: iters left: 3 (114 enodes) * * [misc]simplify: iters left: 2 (169 enodes) * * [misc]simplify: iters left: 1 (237 enodes) * [exit]simplify: Simplified to -1/2 * [exit]simplify: Simplified to -1/2 * [enter]simplify: Simplifying (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (60 enodes) * * [misc]simplify: iters left: 3 (74 enodes) * * [misc]simplify: iters left: 2 (87 enodes) * * [misc]simplify: iters left: 1 (100 enodes) * [exit]simplify: Simplified to (/ (sqrt 3) -2) * [exit]simplify: Simplified to (/ (sqrt 3) -2) * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (70 enodes) * * [misc]simplify: iters left: 3 (168 enodes) * * [misc]simplify: iters left: 2 (378 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (45 enodes) * * [misc]simplify: iters left: 4 (64 enodes) * * [misc]simplify: iters left: 3 (154 enodes) * * [misc]simplify: iters left: 2 (385 enodes) * [exit]simplify: Simplified to (sqrt 3) * [exit]simplify: Simplified to (sqrt 3) * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (37 enodes) * * [misc]simplify: iters left: 3 (73 enodes) * * [misc]simplify: iters left: 2 (106 enodes) * * [misc]simplify: iters left: 1 (168 enodes) * [exit]simplify: Simplified to (complex -1/2 (* -1/2 (sqrt 3))) * [exit]simplify: Simplified to (complex -1/2 (* -1/2 (sqrt 3))) * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (43 enodes) * * [misc]simplify: iters left: 4 (65 enodes) * * [misc]simplify: iters left: 3 (134 enodes) * * [misc]simplify: iters left: 2 (283 enodes) * * [misc]simplify: iters left: 1 (441 enodes) * [exit]simplify: Simplified to -5/2 * [exit]simplify: Simplified to -5/2 * [enter]simplify: Simplifying (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (42 enodes) * * [misc]simplify: iters left: 4 (56 enodes) * * [misc]simplify: iters left: 3 (128 enodes) * * [misc]simplify: iters left: 2 (202 enodes) * * [misc]simplify: iters left: 1 (307 enodes) * [exit]simplify: Simplified to (* -5/2 (sqrt 3)) * [exit]simplify: Simplified to (* -5/2 (sqrt 3)) * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (37 enodes) * * [misc]simplify: iters left: 3 (73 enodes) * * [misc]simplify: iters left: 2 (106 enodes) * * [misc]simplify: iters left: 1 (168 enodes) * [exit]simplify: Simplified to (complex -1/2 (* -1/2 (sqrt 3))) * [exit]simplify: Simplified to (complex -1/2 (* -1/2 (sqrt 3))) * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (+ (+ (* (* (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (* (* (* (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (* (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (85 enodes) * * [misc]simplify: iters left: 4 (296 enodes) * [exit]simplify: Simplified to (re (+ (+ (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) 5) (+ (complex -2 (/ (* (sqrt 3) 4) 2)) 7)) (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (* (complex -1/2 (/ (sqrt 3) 2)) (+ -2 (complex -1/2 (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (+ (+ (* (* (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (* (* (* (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (* (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (85 enodes) * * [misc]simplify: iters left: 4 (296 enodes) * [exit]simplify: Simplified to (re (+ (+ (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) 5) (+ (complex -2 (/ (* (sqrt 3) 4) 2)) 7)) (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (* (complex -1/2 (/ (sqrt 3) 2)) (+ -2 (complex -1/2 (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (+ (+ (* (* (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (* (* (* (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (* (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (85 enodes) * * [misc]simplify: iters left: 4 (296 enodes) * [exit]simplify: Simplified to (re (+ (+ (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) 5) (+ (complex -2 (/ (* (sqrt 3) 4) 2)) 7)) (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (* (complex -1/2 (/ (sqrt 3) 2)) (+ -2 (complex -1/2 (/ (sqrt 3) 2))))))) * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (+ (+ (* (* (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (* (* (* (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (* (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (85 enodes) * * [misc]simplify: iters left: 4 (296 enodes) * [exit]simplify: Simplified to (re (+ (+ (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) 5) (+ (complex -2 (/ (* (sqrt 3) 4) 2)) 7)) (* (* (complex -1/2 (/ (sqrt 3) 2)) (complex -1/2 (/ (sqrt 3) 2))) (* (complex -1/2 (/ (sqrt 3) 2)) (+ -2 (complex -1/2 (/ (sqrt 3) 2))))))) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 2 2) * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 2 2 1) * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 2 1) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 2 2 2 2) * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 2 2 2 2 1) * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 2 2 2 1) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (* -5/4 (sqrt 3))) (exp (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * * [misc]simplify: iters left: 3 (27 enodes) * [exit]simplify: Simplified to (exp (* (sqrt 3) -3/4)) * [exit]simplify: Simplified to (exp (* (sqrt 3) -3/4)) * * * * [misc]progress: [ 2 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (19 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (21 enodes) * [exit]simplify: Simplified to (log (* -3/4 (sqrt 3))) * [exit]simplify: Simplified to (log (* -3/4 (sqrt 3))) * * * * [misc]progress: [ 4 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (28 enodes) * * [misc]simplify: iters left: 3 (30 enodes) * * [misc]simplify: iters left: 2 (31 enodes) * [exit]simplify: Simplified to (exp (* -3/4 (sqrt 3))) * [exit]simplify: Simplified to (exp (* -3/4 (sqrt 3))) * * * * [misc]progress: [ 5 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) (cbrt (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * [exit]simplify: Simplified to (* (cbrt (* (sqrt 3) -3/4)) (cbrt (* (sqrt 3) -3/4))) * [exit]simplify: Simplified to (* (cbrt (* (sqrt 3) -3/4)) (cbrt (* (sqrt 3) -3/4))) * [enter]simplify: Simplifying (cbrt (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * [exit]simplify: Simplified to (cbrt (* (sqrt 3) -3/4)) * [exit]simplify: Simplified to (cbrt (* (sqrt 3) -3/4)) * * * * [misc]progress: [ 6 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (111 enodes) * * [misc]simplify: iters left: 3 (435 enodes) * [exit]simplify: Simplified to (* (* 3 (sqrt 3)) -27/64) * [exit]simplify: Simplified to (* (* 3 (sqrt 3)) -27/64) * * * * [misc]progress: [ 7 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * [exit]simplify: Simplified to (sqrt (* (sqrt 3) -3/4)) * [exit]simplify: Simplified to (sqrt (* (sqrt 3) -3/4)) * [enter]simplify: Simplifying (sqrt (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * [exit]simplify: Simplified to (sqrt (* (sqrt 3) -3/4)) * [exit]simplify: Simplified to (sqrt (* (sqrt 3) -3/4)) * * * * [misc]progress: [ 8 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow (* -5/4 (sqrt 3)) 3) (pow (* 1/2 (sqrt 3)) 3)) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (25 enodes) * * [misc]simplify: iters left: 4 (62 enodes) * * [misc]simplify: iters left: 3 (155 enodes) * * [misc]simplify: iters left: 2 (254 enodes) * * [misc]simplify: iters left: 1 (361 enodes) * [exit]simplify: Simplified to (* -351/64 (sqrt 3)) * [exit]simplify: Simplified to (* -351/64 (sqrt 3)) * [enter]simplify: Simplifying (+ (* (* -5/4 (sqrt 3)) (* -5/4 (sqrt 3))) (- (* (* 1/2 (sqrt 3)) (* 1/2 (sqrt 3))) (* (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (32 enodes) * * [misc]simplify: iters left: 4 (95 enodes) * * [misc]simplify: iters left: 3 (211 enodes) * * [misc]simplify: iters left: 2 (314 enodes) * * [misc]simplify: iters left: 1 (355 enodes) * [exit]simplify: Simplified to 117/16 * [exit]simplify: Simplified to 117/16 * * * * [misc]progress: [ 9 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (* -5/4 (sqrt 3)) (* -5/4 (sqrt 3))) (* (* 1/2 (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (63 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (212 enodes) * * [misc]simplify: iters left: 1 (325 enodes) * [exit]simplify: Simplified to 63/16 * [exit]simplify: Simplified to 63/16 * [enter]simplify: Simplifying (- (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))) * * [misc]simplify: iters left: 5 (7 enodes) * * [misc]simplify: iters left: 4 (14 enodes) * * [misc]simplify: iters left: 3 (22 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * * [misc]simplify: iters left: 1 (27 enodes) * [exit]simplify: Simplified to (* -7/4 (sqrt 3)) * [exit]simplify: Simplified to (* -7/4 (sqrt 3)) * * * * [misc]progress: [ 11 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (+ -5/4 1/2) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to -3/4 * [exit]simplify: Simplified to -3/4 * * * * [misc]progress: [ 12 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * [exit]simplify: Simplified to (log (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (log (* -5/4 (sqrt 3))) * * * * [misc]progress: [ 15 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (pow (exp -5/4) (sqrt 3)) * [exit]simplify: Simplified to (pow (exp -5/4) (sqrt 3)) * * * * [misc]progress: [ 16 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* -5/4 (sqrt 3))) (cbrt (* -5/4 (sqrt 3)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (7 enodes) * [exit]simplify: Simplified to (* (cbrt (* -5/4 (sqrt 3))) (cbrt (* -5/4 (sqrt 3)))) * [exit]simplify: Simplified to (* (cbrt (* -5/4 (sqrt 3))) (cbrt (* -5/4 (sqrt 3)))) * [enter]simplify: Simplifying (cbrt (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (cbrt (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (cbrt (* -5/4 (sqrt 3))) * * * * [misc]progress: [ 17 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* -5/4 (sqrt 3)) (* -5/4 (sqrt 3))) (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (30 enodes) * * [misc]simplify: iters left: 3 (58 enodes) * * [misc]simplify: iters left: 2 (92 enodes) * * [misc]simplify: iters left: 1 (113 enodes) * [exit]simplify: Simplified to (* -375/64 (sqrt 3)) * [exit]simplify: Simplified to (* -375/64 (sqrt 3)) * * * * [misc]progress: [ 18 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * [enter]simplify: Simplifying (sqrt (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * * * * [misc]progress: [ 19 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 20 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* -5/4 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (* -5/4 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) * [exit]simplify: Simplified to (* -5/4 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) * * * * [misc]progress: [ 21 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* -5/4 (sqrt (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (* (sqrt (sqrt 3)) -5/4) * [exit]simplify: Simplified to (* (sqrt (sqrt 3)) -5/4) * * * * [misc]progress: [ 22 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* -5/4 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to -5/4 * [exit]simplify: Simplified to -5/4 * * * * [misc]progress: [ 23 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * [exit]simplify: Simplified to (log (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (log (* -5/4 (sqrt 3))) * * * * [misc]progress: [ 26 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (pow (exp -5/4) (sqrt 3)) * [exit]simplify: Simplified to (pow (exp -5/4) (sqrt 3)) * * * * [misc]progress: [ 27 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* -5/4 (sqrt 3))) (cbrt (* -5/4 (sqrt 3)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (7 enodes) * [exit]simplify: Simplified to (* (cbrt (* -5/4 (sqrt 3))) (cbrt (* -5/4 (sqrt 3)))) * [exit]simplify: Simplified to (* (cbrt (* -5/4 (sqrt 3))) (cbrt (* -5/4 (sqrt 3)))) * [enter]simplify: Simplifying (cbrt (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (cbrt (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (cbrt (* -5/4 (sqrt 3))) * * * * [misc]progress: [ 28 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* -5/4 (sqrt 3)) (* -5/4 (sqrt 3))) (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (30 enodes) * * [misc]simplify: iters left: 3 (58 enodes) * * [misc]simplify: iters left: 2 (92 enodes) * * [misc]simplify: iters left: 1 (113 enodes) * [exit]simplify: Simplified to (* -375/64 (sqrt 3)) * [exit]simplify: Simplified to (* -375/64 (sqrt 3)) * * * * [misc]progress: [ 29 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * [enter]simplify: Simplifying (sqrt (* -5/4 (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * [exit]simplify: Simplified to (sqrt (* -5/4 (sqrt 3))) * * * * [misc]progress: [ 30 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* -5/4 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (* -5/4 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) * [exit]simplify: Simplified to (* -5/4 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) * * * * [misc]progress: [ 32 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* -5/4 (sqrt (sqrt 3))) * * [misc]simplify: iters left: 4 (5 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (* (sqrt (sqrt 3)) -5/4) * [exit]simplify: Simplified to (* (sqrt (sqrt 3)) -5/4) * * * * [misc]progress: [ 33 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* -5/4 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to -5/4 * [exit]simplify: Simplified to -5/4 * * * * [misc]progress: [ 34 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (45 enodes) * * [misc]simplify: iters left: 3 (88 enodes) * * [misc]simplify: iters left: 2 (115 enodes) * * [misc]simplify: iters left: 1 (120 enodes) * [exit]simplify: Simplified to -3/8 * [exit]simplify: Simplified to -3/8 * * * * [misc]progress: [ 36 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (45 enodes) * * [misc]simplify: iters left: 3 (88 enodes) * * [misc]simplify: iters left: 2 (115 enodes) * * [misc]simplify: iters left: 1 (120 enodes) * [exit]simplify: Simplified to -3/8 * [exit]simplify: Simplified to -3/8 * * * * [misc]progress: [ 37 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 38 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (log (* 1/2 (sqrt 3))) (+ (log (- 1/4 3/4)) (log (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (30 enodes) * * [misc]simplify: iters left: 3 (55 enodes) * * [misc]simplify: iters left: 2 (92 enodes) * * [misc]simplify: iters left: 1 (113 enodes) * [exit]simplify: Simplified to (+ (+ (log -1/2) (log (sqrt 3))) (+ (log (sqrt 3)) (+ (log 1/2) (log 1/2)))) * [exit]simplify: Simplified to (+ (+ (log -1/2) (log (sqrt 3))) (+ (log (sqrt 3)) (+ (log 1/2) (log 1/2)))) * * * * [misc]progress: [ 39 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (log (* 1/2 (sqrt 3))) (log (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (25 enodes) * * [misc]simplify: iters left: 4 (47 enodes) * * [misc]simplify: iters left: 3 (84 enodes) * * [misc]simplify: iters left: 2 (136 enodes) * * [misc]simplify: iters left: 1 (171 enodes) * [exit]simplify: Simplified to (+ (log (* -1/4 (sqrt 3))) (log (* 1/2 (sqrt 3)))) * [exit]simplify: Simplified to (+ (log (* -1/4 (sqrt 3))) (log (* 1/2 (sqrt 3)))) * * * * [misc]progress: [ 40 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (62 enodes) * * [misc]simplify: iters left: 3 (142 enodes) * * [misc]simplify: iters left: 2 (279 enodes) * * [misc]simplify: iters left: 1 (342 enodes) * [exit]simplify: Simplified to (log -3/8) * [exit]simplify: Simplified to (log -3/8) * * * * [misc]progress: [ 41 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (52 enodes) * * [misc]simplify: iters left: 3 (95 enodes) * * [misc]simplify: iters left: 2 (116 enodes) * [exit]simplify: Simplified to (exp -3/8) * [exit]simplify: Simplified to (exp -3/8) * * * * [misc]progress: [ 42 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (* 1/2 (sqrt 3)) (* 1/2 (sqrt 3))) (* 1/2 (sqrt 3))) (* (* (* (- 1/4 3/4) (- 1/4 3/4)) (- 1/4 3/4)) (* (* (* 1/2 (sqrt 3)) (* 1/2 (sqrt 3))) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (34 enodes) * * [misc]simplify: iters left: 4 (112 enodes) * [exit]simplify: Simplified to (* 27/64 -1/8) * [exit]simplify: Simplified to (* 27/64 -1/8) * * * * [misc]progress: [ 43 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (* 1/2 (sqrt 3)) (* 1/2 (sqrt 3))) (* 1/2 (sqrt 3))) (* (* (* (- 1/4 3/4) (* 1/2 (sqrt 3))) (* (- 1/4 3/4) (* 1/2 (sqrt 3)))) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (40 enodes) * * [misc]simplify: iters left: 4 (166 enodes) * [exit]simplify: Simplified to (* (* -9/16 (* -3/4 -1/4)) 1/2) * [exit]simplify: Simplified to (* (* -9/16 (* -3/4 -1/4)) 1/2) * * * * [misc]progress: [ 44 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (cbrt (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3)))))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (49 enodes) * * [misc]simplify: iters left: 3 (91 enodes) * * [misc]simplify: iters left: 2 (118 enodes) * * [misc]simplify: iters left: 1 (123 enodes) * [exit]simplify: Simplified to (* (cbrt -3/8) (cbrt -3/8)) * [exit]simplify: Simplified to (* (cbrt -3/8) (cbrt -3/8)) * [enter]simplify: Simplifying (cbrt (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (88 enodes) * * [misc]simplify: iters left: 2 (110 enodes) * * [misc]simplify: iters left: 1 (114 enodes) * [exit]simplify: Simplified to (cbrt -3/8) * [exit]simplify: Simplified to (cbrt -3/8) * * * * [misc]progress: [ 45 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3)))) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (98 enodes) * * [misc]simplify: iters left: 3 (372 enodes) * [exit]simplify: Simplified to (* -27/64 1/8) * [exit]simplify: Simplified to (* -27/64 1/8) * * * * [misc]progress: [ 46 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (88 enodes) * * [misc]simplify: iters left: 2 (110 enodes) * * [misc]simplify: iters left: 1 (114 enodes) * [exit]simplify: Simplified to (sqrt -3/8) * [exit]simplify: Simplified to (sqrt -3/8) * [enter]simplify: Simplifying (sqrt (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (88 enodes) * * [misc]simplify: iters left: 2 (110 enodes) * * [misc]simplify: iters left: 1 (114 enodes) * [exit]simplify: Simplified to (sqrt -3/8) * [exit]simplify: Simplified to (sqrt -3/8) * * * * [misc]progress: [ 47 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 48 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* 1/2 (sqrt 3)) (- 1/4 3/4)) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * * [misc]simplify: iters left: 3 (27 enodes) * * [misc]simplify: iters left: 2 (34 enodes) * * [misc]simplify: iters left: 1 (37 enodes) * [exit]simplify: Simplified to (* -1/4 (sqrt 3)) * [exit]simplify: Simplified to (* -1/4 (sqrt 3)) * * * * [misc]progress: [ 49 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (sqrt 3) (* (- 1/4 3/4) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (48 enodes) * * [misc]simplify: iters left: 3 (71 enodes) * * [misc]simplify: iters left: 2 (74 enodes) * * [misc]simplify: iters left: 1 (75 enodes) * [exit]simplify: Simplified to -3/4 * [exit]simplify: Simplified to -3/4 * * * * [misc]progress: [ 50 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* 1/2 (sqrt 3)) (* (- (pow 1/4 3) (pow 3/4 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (192 enodes) * * [misc]simplify: iters left: 2 (397 enodes) * [exit]simplify: Simplified to -39/128 * [exit]simplify: Simplified to -39/128 * * * * [misc]progress: [ 51 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* 1/2 (sqrt 3)) (* (- (* 1/4 1/4) (* 3/4 3/4)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (27 enodes) * * [misc]simplify: iters left: 4 (57 enodes) * * [misc]simplify: iters left: 3 (102 enodes) * * [misc]simplify: iters left: 2 (136 enodes) * * [misc]simplify: iters left: 1 (142 enodes) * [exit]simplify: Simplified to -3/8 * [exit]simplify: Simplified to -3/8 * * * * [misc]progress: [ 52 / 64 ] simplifiying candidate # * * * * [misc]progress: [ 53 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 54 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 55 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 56 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 57 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 58 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 59 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 60 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 61 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 62 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 63 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * * [misc]progress: [ 64 / 64 ] simplifiying candidate # * [enter]simplify: Simplifying (re (+ (+ (complex (+ (- (- -1/2 3/8) (* (* 1/2 (sqrt 3)) (* (- 1/4 3/4) (* 1/2 (sqrt 3))))) (- (+ (+ (+ -3/4 -3/4) (- 1/4 3/4)) 5/4) (* (* 5/2 (sqrt 3)) (* 1/2 (sqrt 3))))) (+ (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))))) (* (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0))) * * [misc]simplify: iters left: 6 (56 enodes) * * [misc]simplify: iters left: 5 (151 enodes) * * [misc]simplify: iters left: 4 (480 enodes) * [exit]simplify: Simplified to (re (+ (+ (complex -2 (+ (* (sqrt 3) -9/8) (/ (sqrt 3) -8))) (complex -3 (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)))) (+ (* 4 (complex -1/2 (/ (sqrt 3) 2))) 7))) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (+ (+ (/ (sqrt 3) -2) (/ (sqrt 3) -4)) (* (* (* 1/2 (sqrt 3)) (sqrt 3)) (* 1/2 (sqrt 3)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (+ (+ (/ (sqrt 3) -4) (/ (sqrt 3) -2)) (* (* 1/2 (sqrt 3)) (* (sqrt 3) (* 1/2 (sqrt 3))))) * [exit]simplify: Simplified to (+ (+ (/ (sqrt 3) -4) (/ (sqrt 3) -2)) (* (* 1/2 (sqrt 3)) (* (sqrt 3) (* 1/2 (sqrt 3))))) * [enter]simplify: Simplifying (+ (+ (/ (/ (sqrt 3) -4) 2) (* 1/4 (* 1/2 (sqrt 3)))) (+ (* -5/4 (sqrt 3)) (+ (* -5/4 (sqrt 3)) (* 1/2 (sqrt 3))))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * [exit]simplify: Simplified to (+ (+ (+ (* 1/2 (sqrt 3)) (* -5/4 (sqrt 3))) (* -5/4 (sqrt 3))) (+ (* (* 1/2 (sqrt 3)) 1/4) (/ (/ (sqrt 3) -4) 2))) * [exit]simplify: Simplified to (+ (+ (+ (* 1/2 (sqrt 3)) (* -5/4 (sqrt 3))) (* -5/4 (sqrt 3))) (+ (* (* 1/2 (sqrt 3)) 1/4) (/ (/ (sqrt 3) -4) 2)))