* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 256 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (im (+.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))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (285 enodes) * [exit]simplify: Simplified to (im (+.c (*.c (+.c (complex 5 0) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (complex 7 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex 4 0)))))) * * [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 1 2 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) * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 1 2 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) * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * [exit]simplify: Simplified to (expm1 (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (expm1 (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * [exit]simplify: Simplified to (log1p (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (log1p (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * [exit]simplify: Simplified to (log (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (log (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * [exit]simplify: Simplified to (exp (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (exp (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (cbrt (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * [exit]simplify: Simplified to (* (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (- 2) 0))) (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (- 2) 0)))) * [exit]simplify: Simplified to (* (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (- 2) 0))) (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (- 2) 0)))) * [enter]simplify: Simplifying (cbrt (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * [exit]simplify: Simplified to (cbrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (cbrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * [exit]simplify: Simplified to (pow (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (- 2) 0)) 3) * [exit]simplify: Simplified to (pow (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (- 2) 0)) 3) * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [enter]simplify: Simplifying (sqrt (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (22 enodes) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) * [exit]simplify: Simplified to (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * [exit]simplify: Simplified to (expm1 (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (expm1 (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * [exit]simplify: Simplified to (log1p (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (log1p (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * [exit]simplify: Simplified to (log (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (log (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * [exit]simplify: Simplified to (exp (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (exp (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (cbrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * [exit]simplify: Simplified to (* (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (* (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [enter]simplify: Simplifying (cbrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * [exit]simplify: Simplified to (cbrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (cbrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (17 enodes) * [exit]simplify: Simplified to (pow (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) 3) * [exit]simplify: Simplified to (pow (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) 3) * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [enter]simplify: Simplifying (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (sqrt (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (+.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))))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * * [misc]simplify: iters left: 1 (215 enodes) * [exit]simplify: Simplified to (expm1 (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (expm1 (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (+.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))))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * * [misc]simplify: iters left: 1 (215 enodes) * [exit]simplify: Simplified to (log1p (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (log1p (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+.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))))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * * [misc]simplify: iters left: 1 (215 enodes) * [exit]simplify: Simplified to (log (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (log (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+.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))))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * * [misc]simplify: iters left: 1 (215 enodes) * [exit]simplify: Simplified to (exp (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (exp (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (+.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))))) (cbrt (+.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)))))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (45 enodes) * * [misc]simplify: iters left: 4 (73 enodes) * * [misc]simplify: iters left: 3 (124 enodes) * * [misc]simplify: iters left: 2 (175 enodes) * * [misc]simplify: iters left: 1 (208 enodes) * [exit]simplify: Simplified to (* (cbrt (*.c (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))))) (cbrt (*.c (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))))) * [exit]simplify: Simplified to (* (cbrt (*.c (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))))) (cbrt (*.c (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))))) * [enter]simplify: Simplifying (cbrt (+.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))))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * * [misc]simplify: iters left: 1 (215 enodes) * [exit]simplify: Simplified to (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (+.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 (+.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 (+.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))))) * * [misc]simplify: iters left: 6 (25 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (75 enodes) * * [misc]simplify: iters left: 3 (126 enodes) * * [misc]simplify: iters left: 2 (175 enodes) * * [misc]simplify: iters left: 1 (212 enodes) * [exit]simplify: Simplified to (pow (*.c (+.c (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (+.c (complex (- 2) 0) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) (complex 5 0)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) 3) * [exit]simplify: Simplified to (pow (*.c (+.c (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (+.c (complex (- 2) 0) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) (complex 5 0)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) 3) * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+.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))))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * * [misc]simplify: iters left: 1 (215 enodes) * [exit]simplify: Simplified to (sqrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (sqrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [enter]simplify: Simplifying (sqrt (+.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))))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (44 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * * [misc]simplify: iters left: 1 (215 enodes) * [exit]simplify: Simplified to (sqrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (sqrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (+.c (complex 5 0) (*.c (+.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))))) * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (+.c (*.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)))) * * [misc]simplify: iters left: 6 (19 enodes) * * [misc]simplify: iters left: 5 (34 enodes) * * [misc]simplify: iters left: 4 (49 enodes) * * [misc]simplify: iters left: 3 (54 enodes) * * [misc]simplify: iters left: 2 (59 enodes) * [exit]simplify: Simplified to (*.c (+.c (complex 5 0) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * [exit]simplify: Simplified to (*.c (+.c (complex 5 0) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (expm1 (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (expm1 (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (log1p (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (log1p (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (log (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (log (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (log (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (exp (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (exp (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * [exit]simplify: Simplified to (* (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))))) * [exit]simplify: Simplified to (* (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))))) * [enter]simplify: Simplifying (cbrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (cbrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (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 (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (19 enodes) * [exit]simplify: Simplified to (pow (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) 3) * [exit]simplify: Simplified to (pow (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2)))) 3) * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (sqrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (sqrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [enter]simplify: Simplifying (sqrt (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * [exit]simplify: Simplified to (sqrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * [exit]simplify: Simplified to (sqrt (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))))) * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) * [exit]simplify: Simplified to (*.c (complex (- (/ 1 2)) (/ (sqrt 3) 2)) (complex (- (/ 1 2)) (/ (sqrt 3) 2))) * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (im (+.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))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (285 enodes) * [exit]simplify: Simplified to (im (+.c (*.c (+.c (complex 5 0) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (complex 7 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex 4 0)))))) * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (im (+.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))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (285 enodes) * [exit]simplify: Simplified to (im (+.c (*.c (+.c (complex 5 0) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (complex 7 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex 4 0)))))) * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (im (+.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))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (285 enodes) * [exit]simplify: Simplified to (im (+.c (*.c (+.c (complex 5 0) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (complex 7 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex 4 0)))))) * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # * [enter]simplify: Simplifying (im (+.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))) * * [misc]simplify: iters left: 6 (31 enodes) * * [misc]simplify: iters left: 5 (58 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (285 enodes) * [exit]simplify: Simplified to (im (+.c (*.c (+.c (complex 5 0) (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (+.c (complex 7 0) (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex 4 0)))))) * * * [misc]progress: adding candidates to table