1536824306.404 * [misc]progress: [Phase 1 of 3] Setting up. 1536824306.404 * * * [misc]progress: [1/2] Preparing points 1536824306.404 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536824306.405 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536824306.406 * * * * [misc]points: Setting MPFR precision to 64 1536824306.407 * * * * [misc]points: Setting MPFR precision to 320 1536824306.407 * * * * [misc]points: Setting MPFR precision to 576 1536824306.408 * * * * [misc]points: Setting MPFR precision to 832 1536824306.409 * * * * [misc]points: Setting MPFR precision to 1088 1536824306.410 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536824306.411 * * * * [misc]points: Setting MPFR precision to 832 1536824306.412 * * * * [misc]points: Setting MPFR precision to 1088 1536824306.414 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536824306.415 * * * * [misc]points: Setting MPFR precision to 832 1536824306.418 * * * * [misc]points: Setting MPFR precision to 1088 1536824306.422 * * * * [misc]points: Setting MPFR precision to 1344 1536824306.426 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536824306.427 * * * * [misc]points: Setting MPFR precision to 1088 1536824306.433 * * * * [misc]points: Setting MPFR precision to 1344 1536824306.439 * * * * [misc]points: Computing exacts for 256 points 1536824306.441 * * * * [misc]points: Setting MPFR precision to 1088 1536824306.472 * * * * [misc]points: Setting MPFR precision to 1344 1536824306.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824306.498 * * * * [exit]points: Sampled 256 points with exact outputs 1536824306.499 * * * [misc]progress: [2/2] Setting up program. 1536824306.502 * [misc]progress: [Phase 2 of 3] Improving. 1536824306.503 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1536824306.503 * * [misc]simplify: iters left: 5 (6 enodes) 1536824306.505 * * [misc]simplify: iters left: 4 (11 enodes) 1536824306.506 * * [misc]simplify: iters left: 3 (12 enodes) 1536824306.508 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1536824306.517 * * [misc]progress: iteration 1 / 4 1536824306.517 * * * [misc]progress: picking best candidate 1536824306.524 * * * * [misc]pick: Picked # 1536824306.524 * * * [misc]progress: localizing error 1536824306.553 * * * [misc]progress: generating rewritten candidates 1536824306.553 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1536824306.590 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1536824306.591 * * * [misc]progress: generating series expansions 1536824306.591 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1536824306.592 * [misc]backup-simplify: Simplify (- (atan (+ 1 N)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1536824306.592 * [misc]approximate: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1536824306.592 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1536824306.592 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1536824306.593 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1536824306.593 * [misc]taylor: Taking taylor expansion of (atan N) in N 1536824306.593 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1536824306.593 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1536824306.593 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1536824306.593 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1536824306.593 * [misc]taylor: Taking taylor expansion of (atan N) in N 1536824306.593 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1536824306.593 * [misc]backup-simplify: Simplify (- (atan N)) into (- (atan N)) 1536824306.593 * [misc]backup-simplify: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1536824306.593 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1536824306.593 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify 0 into 0 1536824306.594 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify 0 into 0 1536824306.594 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify 0 into 0 1536824306.594 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.594 * [misc]backup-simplify: Simplify 0 into 0 1536824306.594 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.595 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.595 * [misc]backup-simplify: Simplify 0 into 0 1536824306.595 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.595 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.595 * [misc]backup-simplify: Simplify 0 into 0 1536824306.595 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1536824306.595 * [misc]backup-simplify: Simplify (- (atan (+ 1 (/ 1 N))) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1536824306.595 * [misc]approximate: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1536824306.595 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1536824306.595 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1536824306.595 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1536824306.595 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1536824306.595 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1536824306.595 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1536824306.595 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1536824306.595 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1536824306.595 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1536824306.595 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1536824306.595 * [misc]backup-simplify: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1536824306.596 * [misc]backup-simplify: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1536824306.596 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1536824306.596 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.596 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.596 * [misc]backup-simplify: Simplify 0 into 0 1536824306.596 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.596 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.596 * [misc]backup-simplify: Simplify 0 into 0 1536824306.596 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.596 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.596 * [misc]backup-simplify: Simplify 0 into 0 1536824306.596 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.597 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.597 * [misc]backup-simplify: Simplify 0 into 0 1536824306.597 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.597 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.597 * [misc]backup-simplify: Simplify 0 into 0 1536824306.597 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.597 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.597 * [misc]backup-simplify: Simplify 0 into 0 1536824306.597 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1536824306.597 * [misc]backup-simplify: Simplify (- (atan (+ 1 (/ 1 (- N)))) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1536824306.597 * [misc]approximate: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1536824306.597 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1536824306.597 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1536824306.597 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1536824306.597 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1536824306.597 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1536824306.597 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1536824306.597 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1536824306.598 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1536824306.598 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1536824306.598 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1536824306.598 * [misc]backup-simplify: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1536824306.598 * [misc]backup-simplify: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1536824306.598 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1536824306.598 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.598 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.598 * [misc]backup-simplify: Simplify 0 into 0 1536824306.598 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.598 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.598 * [misc]backup-simplify: Simplify 0 into 0 1536824306.598 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify 0 into 0 1536824306.599 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify 0 into 0 1536824306.599 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify 0 into 0 1536824306.599 * [misc]backup-simplify: Simplify (- 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824306.599 * [misc]backup-simplify: Simplify 0 into 0 1536824306.599 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1536824306.599 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1536824306.605 * [misc]backup-simplify: Simplify (atan (+ 1 N)) into (atan (+ N 1)) 1536824306.605 * [misc]approximate: Taking taylor expansion of (atan (+ N 1)) in (N) around 0 1536824306.605 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1536824306.605 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1536824306.605 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1536824306.605 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1536824306.605 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1536824306.605 * [misc]backup-simplify: Simplify 0 into 0 1536824306.605 * [misc]backup-simplify: Simplify 0 into 0 1536824306.605 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1536824306.606 * [misc]backup-simplify: Simplify (atan (+ 1 (/ 1 N))) into (atan (+ (/ 1 N) 1)) 1536824306.606 * [misc]approximate: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0 1536824306.606 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1536824306.606 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1536824306.606 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1536824306.606 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1536824306.606 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify 0 into 0 1536824306.606 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1)) 1536824306.606 * [misc]backup-simplify: Simplify (atan (+ 1 (/ 1 (- N)))) into (atan (- 1 (/ 1 N))) 1536824306.606 * [misc]approximate: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0 1536824306.606 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1536824306.606 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1536824306.606 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1536824306.606 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1536824306.606 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1536824306.607 * [misc]backup-simplify: Simplify 0 into 0 1536824306.607 * [misc]backup-simplify: Simplify 0 into 0 1536824306.607 * [misc]backup-simplify: Simplify 0 into 0 1536824306.607 * [misc]backup-simplify: Simplify 0 into 0 1536824306.607 * [misc]backup-simplify: Simplify 0 into 0 1536824306.607 * [misc]backup-simplify: Simplify 0 into 0 1536824306.607 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1)) 1536824306.607 * * * [misc]progress: simplifying candidates 1536824306.607 * * * * [misc]progress: [ 1 / 28 ] simplifiying candidate # 1536824306.607 * [enter]simplify: Simplifying (- (+ 1 N) N) 1536824306.607 * * [misc]simplify: iters left: 4 (4 enodes) 1536824306.609 * * [misc]simplify: iters left: 3 (11 enodes) 1536824306.612 * * [misc]simplify: iters left: 2 (18 enodes) 1536824306.614 * * [misc]simplify: iters left: 1 (19 enodes) 1536824306.615 * [exit]simplify: Simplified to 1 1536824306.615 * [misc]simplify: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824306.615 * [enter]simplify: Simplifying (+ 1 (* (+ 1 N) N)) 1536824306.615 * * [misc]simplify: iters left: 6 (5 enodes) 1536824306.617 * * [misc]simplify: iters left: 5 (10 enodes) 1536824306.619 * * [misc]simplify: iters left: 4 (17 enodes) 1536824306.623 * * [misc]simplify: iters left: 3 (27 enodes) 1536824306.628 * * [misc]simplify: iters left: 2 (42 enodes) 1536824306.641 * * [misc]simplify: iters left: 1 (43 enodes) 1536824306.648 * [exit]simplify: Simplified to (+ (+ N 1) (* N N)) 1536824306.648 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N)))) 1536824306.648 * * * * [misc]progress: [ 2 / 28 ] simplifiying candidate # 1536824306.649 * [enter]simplify: Simplifying (/ (exp (atan (+ 1 N))) (exp (atan N))) 1536824306.650 * * [misc]simplify: iters left: 6 (8 enodes) 1536824306.653 * * [misc]simplify: iters left: 5 (13 enodes) 1536824306.656 * * [misc]simplify: iters left: 4 (15 enodes) 1536824306.658 * * [misc]simplify: iters left: 3 (18 enodes) 1536824306.661 * * [misc]simplify: iters left: 2 (20 enodes) 1536824306.664 * * [misc]simplify: iters left: 1 (24 enodes) 1536824306.669 * [exit]simplify: Simplified to (exp (- (atan (+ N 1)) (atan N))) 1536824306.669 * [misc]simplify: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ N 1)) (atan N))))) 1536824306.669 * * * * [misc]progress: [ 3 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 4 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 5 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 6 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 7 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 8 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 9 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 10 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 11 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 12 / 28 ] simplifiying candidate # 1536824306.669 * * * * [misc]progress: [ 13 / 28 ] simplifiying candidate # 1536824306.670 * [enter]simplify: Simplifying (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1536824306.670 * * [misc]simplify: iters left: 6 (8 enodes) 1536824306.672 * * [misc]simplify: iters left: 5 (12 enodes) 1536824306.674 * [exit]simplify: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ N 1)))) 1536824306.674 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ N 1)))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1536824306.674 * [enter]simplify: Simplifying (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1536824306.674 * * [misc]simplify: iters left: 6 (8 enodes) 1536824306.676 * * [misc]simplify: iters left: 5 (13 enodes) 1536824306.678 * * [misc]simplify: iters left: 4 (14 enodes) 1536824306.681 * [exit]simplify: Simplified to (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1536824306.681 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1536824306.681 * * * * [misc]progress: [ 14 / 28 ] simplifiying candidate # 1536824306.681 * [enter]simplify: Simplifying (- (atan (+ 1 N)) (atan N)) 1536824306.681 * * [misc]simplify: iters left: 5 (6 enodes) 1536824306.682 * * [misc]simplify: iters left: 4 (11 enodes) 1536824306.685 * * [misc]simplify: iters left: 3 (12 enodes) 1536824306.688 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1536824306.688 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ N 1)) (atan N)))) 1536824306.688 * * * * [misc]progress: [ 15 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 16 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 17 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 18 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 19 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 20 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 21 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 22 / 28 ] simplifiying candidate # 1536824306.688 * * * * [misc]progress: [ 23 / 28 ] simplifiying candidate # 1536824306.689 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1536824306.689 * * [misc]simplify: iters left: 5 (6 enodes) 1536824306.690 * * [misc]simplify: iters left: 4 (11 enodes) 1536824306.694 * * [misc]simplify: iters left: 3 (12 enodes) 1536824306.696 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1536824306.696 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1536824306.696 * * * * [misc]progress: [ 24 / 28 ] simplifiying candidate # 1536824306.696 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1536824306.696 * * [misc]simplify: iters left: 5 (6 enodes) 1536824306.698 * * [misc]simplify: iters left: 4 (11 enodes) 1536824306.699 * * [misc]simplify: iters left: 3 (12 enodes) 1536824306.701 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1536824306.701 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1536824306.701 * * * * [misc]progress: [ 25 / 28 ] simplifiying candidate # 1536824306.701 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1536824306.702 * * [misc]simplify: iters left: 5 (6 enodes) 1536824306.703 * * [misc]simplify: iters left: 4 (11 enodes) 1536824306.705 * * [misc]simplify: iters left: 3 (12 enodes) 1536824306.707 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1536824306.707 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1536824306.707 * * * * [misc]progress: [ 26 / 28 ] simplifiying candidate # 1536824306.707 * [enter]simplify: Simplifying (atan (+ N 1)) 1536824306.707 * * [misc]simplify: iters left: 3 (4 enodes) 1536824306.708 * * [misc]simplify: iters left: 2 (7 enodes) 1536824306.709 * [exit]simplify: Simplified to (atan (+ 1 N)) 1536824306.709 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1536824306.709 * * * * [misc]progress: [ 27 / 28 ] simplifiying candidate # 1536824306.709 * [enter]simplify: Simplifying (atan (+ N 1)) 1536824306.709 * * [misc]simplify: iters left: 3 (4 enodes) 1536824306.711 * * [misc]simplify: iters left: 2 (7 enodes) 1536824306.712 * [exit]simplify: Simplified to (atan (+ 1 N)) 1536824306.712 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1536824306.712 * * * * [misc]progress: [ 28 / 28 ] simplifiying candidate # 1536824306.712 * [enter]simplify: Simplifying (atan (+ N 1)) 1536824306.712 * * [misc]simplify: iters left: 3 (4 enodes) 1536824306.713 * * [misc]simplify: iters left: 2 (7 enodes) 1536824306.714 * [exit]simplify: Simplified to (atan (+ 1 N)) 1536824306.714 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1536824306.714 * * * [misc]progress: adding candidates to table 1536824307.077 * * [misc]progress: iteration 2 / 4 1536824307.077 * * * [misc]progress: picking best candidate 1536824307.081 * * * * [misc]pick: Picked # 1536824307.081 * * * [misc]progress: localizing error 1536824307.118 * * * [misc]progress: generating rewritten candidates 1536824307.118 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1536824307.119 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1536824307.144 * * * [misc]progress: generating series expansions 1536824307.144 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1536824307.144 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 N) N))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.144 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1536824307.144 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824307.145 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.145 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824307.145 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.145 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.145 * [misc]backup-simplify: Simplify 0 into 0 1536824307.145 * [misc]backup-simplify: Simplify 0 into 0 1536824307.145 * [misc]backup-simplify: Simplify 0 into 0 1536824307.145 * [misc]backup-simplify: Simplify 0 into 0 1536824307.145 * [misc]backup-simplify: Simplify 0 into 0 1536824307.145 * [misc]backup-simplify: Simplify 0 into 0 1536824307.146 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.146 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824307.146 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1536824307.146 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824307.146 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824307.146 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824307.146 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824307.147 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824307.147 * [misc]backup-simplify: Simplify 0 into 0 1536824307.147 * [misc]backup-simplify: Simplify 0 into 0 1536824307.147 * [misc]backup-simplify: Simplify 0 into 0 1536824307.147 * [misc]backup-simplify: Simplify 0 into 0 1536824307.147 * [misc]backup-simplify: Simplify 0 into 0 1536824307.147 * [misc]backup-simplify: Simplify 0 into 0 1536824307.147 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.147 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824307.148 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1536824307.148 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824307.148 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824307.148 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824307.148 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824307.148 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824307.148 * [misc]backup-simplify: Simplify 0 into 0 1536824307.148 * [misc]backup-simplify: Simplify 0 into 0 1536824307.148 * [misc]backup-simplify: Simplify 0 into 0 1536824307.149 * [misc]backup-simplify: Simplify 0 into 0 1536824307.149 * [misc]backup-simplify: Simplify 0 into 0 1536824307.149 * [misc]backup-simplify: Simplify 0 into 0 1536824307.149 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.149 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1536824307.149 * [misc]backup-simplify: Simplify (* (+ 1 N) N) into (* (+ N 1) N) 1536824307.149 * [misc]approximate: Taking taylor expansion of (* (+ N 1) N) in (N) around 0 1536824307.149 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1536824307.149 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1536824307.149 * [misc]taylor: Taking taylor expansion of N in N 1536824307.149 * [misc]backup-simplify: Simplify 0 into 0 1536824307.150 * [misc]backup-simplify: Simplify 1 into 1 1536824307.150 * [misc]taylor: Taking taylor expansion of 1 in N 1536824307.150 * [misc]backup-simplify: Simplify 1 into 1 1536824307.150 * [misc]taylor: Taking taylor expansion of N in N 1536824307.150 * [misc]backup-simplify: Simplify 0 into 0 1536824307.150 * [misc]backup-simplify: Simplify 1 into 1 1536824307.150 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1536824307.150 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1536824307.150 * [misc]taylor: Taking taylor expansion of N in N 1536824307.150 * [misc]backup-simplify: Simplify 0 into 0 1536824307.150 * [misc]backup-simplify: Simplify 1 into 1 1536824307.150 * [misc]taylor: Taking taylor expansion of 1 in N 1536824307.150 * [misc]backup-simplify: Simplify 1 into 1 1536824307.150 * [misc]taylor: Taking taylor expansion of N in N 1536824307.150 * [misc]backup-simplify: Simplify 0 into 0 1536824307.150 * [misc]backup-simplify: Simplify 1 into 1 1536824307.150 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536824307.151 * [misc]backup-simplify: Simplify (* 1 0) into 0 1536824307.151 * [misc]backup-simplify: Simplify 0 into 0 1536824307.151 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536824307.151 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 0)) into 1 1536824307.151 * [misc]backup-simplify: Simplify 1 into 1 1536824307.151 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.151 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1 1536824307.151 * [misc]backup-simplify: Simplify 1 into 1 1536824307.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1536824307.152 * [misc]backup-simplify: Simplify 0 into 0 1536824307.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536824307.153 * [misc]backup-simplify: Simplify 0 into 0 1536824307.153 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536824307.153 * [misc]backup-simplify: Simplify 0 into 0 1536824307.153 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.154 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536824307.154 * [misc]backup-simplify: Simplify 0 into 0 1536824307.154 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.155 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536824307.155 * [misc]backup-simplify: Simplify 0 into 0 1536824307.155 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1536824307.156 * [misc]backup-simplify: Simplify 0 into 0 1536824307.156 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1536824307.156 * [misc]backup-simplify: Simplify (* (+ 1 (/ 1 N)) (/ 1 N)) into (/ (+ (/ 1 N) 1) N) 1536824307.156 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in (N) around 0 1536824307.156 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1536824307.156 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1536824307.156 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536824307.156 * [misc]taylor: Taking taylor expansion of N in N 1536824307.156 * [misc]backup-simplify: Simplify 0 into 0 1536824307.156 * [misc]backup-simplify: Simplify 1 into 1 1536824307.156 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824307.156 * [misc]taylor: Taking taylor expansion of 1 in N 1536824307.156 * [misc]backup-simplify: Simplify 1 into 1 1536824307.156 * [misc]taylor: Taking taylor expansion of N in N 1536824307.156 * [misc]backup-simplify: Simplify 0 into 0 1536824307.157 * [misc]backup-simplify: Simplify 1 into 1 1536824307.157 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536824307.157 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824307.157 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1536824307.157 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1536824307.157 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536824307.157 * [misc]taylor: Taking taylor expansion of N in N 1536824307.157 * [misc]backup-simplify: Simplify 0 into 0 1536824307.157 * [misc]backup-simplify: Simplify 1 into 1 1536824307.157 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824307.157 * [misc]taylor: Taking taylor expansion of 1 in N 1536824307.157 * [misc]backup-simplify: Simplify 1 into 1 1536824307.157 * [misc]taylor: Taking taylor expansion of N in N 1536824307.157 * [misc]backup-simplify: Simplify 0 into 0 1536824307.157 * [misc]backup-simplify: Simplify 1 into 1 1536824307.157 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536824307.158 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824307.158 * [misc]backup-simplify: Simplify 1 into 1 1536824307.158 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536824307.158 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536824307.158 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1536824307.158 * [misc]backup-simplify: Simplify 1 into 1 1536824307.159 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.159 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.159 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1536824307.159 * [misc]backup-simplify: Simplify 0 into 0 1536824307.160 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.160 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.161 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.161 * [misc]backup-simplify: Simplify 0 into 0 1536824307.161 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.161 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.162 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.162 * [misc]backup-simplify: Simplify 0 into 0 1536824307.162 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.162 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.163 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.163 * [misc]backup-simplify: Simplify 0 into 0 1536824307.164 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.164 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.164 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.164 * [misc]backup-simplify: Simplify 0 into 0 1536824307.165 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.165 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.166 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.166 * [misc]backup-simplify: Simplify 0 into 0 1536824307.167 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1536824307.167 * [misc]backup-simplify: Simplify (* (+ 1 (/ 1 (- N))) (/ 1 (- N))) into (* -1 (/ (- 1 (/ 1 N)) N)) 1536824307.167 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in (N) around 0 1536824307.167 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1536824307.167 * [misc]taylor: Taking taylor expansion of -1 in N 1536824307.167 * [misc]backup-simplify: Simplify -1 into -1 1536824307.167 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1536824307.167 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1536824307.167 * [misc]taylor: Taking taylor expansion of 1 in N 1536824307.167 * [misc]backup-simplify: Simplify 1 into 1 1536824307.167 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536824307.167 * [misc]taylor: Taking taylor expansion of N in N 1536824307.167 * [misc]backup-simplify: Simplify 0 into 0 1536824307.167 * [misc]backup-simplify: Simplify 1 into 1 1536824307.167 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824307.167 * [misc]taylor: Taking taylor expansion of N in N 1536824307.167 * [misc]backup-simplify: Simplify 0 into 0 1536824307.167 * [misc]backup-simplify: Simplify 1 into 1 1536824307.168 * [misc]backup-simplify: Simplify (- 1) into -1 1536824307.168 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536824307.168 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824307.168 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1536824307.168 * [misc]taylor: Taking taylor expansion of -1 in N 1536824307.168 * [misc]backup-simplify: Simplify -1 into -1 1536824307.168 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1536824307.168 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1536824307.168 * [misc]taylor: Taking taylor expansion of 1 in N 1536824307.168 * [misc]backup-simplify: Simplify 1 into 1 1536824307.168 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536824307.168 * [misc]taylor: Taking taylor expansion of N in N 1536824307.168 * [misc]backup-simplify: Simplify 0 into 0 1536824307.168 * [misc]backup-simplify: Simplify 1 into 1 1536824307.168 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824307.168 * [misc]taylor: Taking taylor expansion of N in N 1536824307.169 * [misc]backup-simplify: Simplify 0 into 0 1536824307.169 * [misc]backup-simplify: Simplify 1 into 1 1536824307.169 * [misc]backup-simplify: Simplify (- 1) into -1 1536824307.169 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536824307.169 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824307.169 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1536824307.169 * [misc]backup-simplify: Simplify 1 into 1 1536824307.170 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536824307.170 * [misc]backup-simplify: Simplify (- 0) into 0 1536824307.170 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536824307.170 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1 1536824307.170 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1536824307.170 * [misc]backup-simplify: Simplify -1 into -1 1536824307.171 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.171 * [misc]backup-simplify: Simplify (- 0) into 0 1536824307.171 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.171 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1536824307.171 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1536824307.172 * [misc]backup-simplify: Simplify 0 into 0 1536824307.172 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.172 * [misc]backup-simplify: Simplify (- 0) into 0 1536824307.172 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.172 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.172 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1536824307.173 * [misc]backup-simplify: Simplify 0 into 0 1536824307.173 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.173 * [misc]backup-simplify: Simplify (- 0) into 0 1536824307.173 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.173 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.174 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1536824307.174 * [misc]backup-simplify: Simplify 0 into 0 1536824307.174 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.174 * [misc]backup-simplify: Simplify (- 0) into 0 1536824307.174 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.174 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.175 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1536824307.175 * [misc]backup-simplify: Simplify 0 into 0 1536824307.175 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.175 * [misc]backup-simplify: Simplify (- 0) into 0 1536824307.175 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.176 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.176 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1536824307.176 * [misc]backup-simplify: Simplify 0 into 0 1536824307.176 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.176 * [misc]backup-simplify: Simplify (- 0) into 0 1536824307.176 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824307.177 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536824307.177 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1536824307.177 * [misc]backup-simplify: Simplify 0 into 0 1536824307.177 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1536824307.178 * * * [misc]progress: simplifying candidates 1536824307.178 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1536824307.178 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1536824307.178 * [enter]simplify: Simplifying (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1536824307.179 * * [misc]simplify: iters left: 5 (5 enodes) 1536824307.180 * * [misc]simplify: iters left: 4 (8 enodes) 1536824307.181 * [exit]simplify: Simplified to (* (cbrt (+ N 1)) (cbrt (+ N 1))) 1536824307.181 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N 1)) (cbrt (+ N 1))) (* (cbrt (+ 1 N)) N))))) 1536824307.181 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1536824307.181 * [enter]simplify: Simplifying (sqrt (+ 1 N)) 1536824307.181 * * [misc]simplify: iters left: 3 (4 enodes) 1536824307.182 * * [misc]simplify: iters left: 2 (7 enodes) 1536824307.183 * [exit]simplify: Simplified to (sqrt (+ N 1)) 1536824307.183 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (sqrt (+ N 1)) (* (sqrt (+ 1 N)) N))))) 1536824307.183 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1536824307.183 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1536824307.183 * [enter]simplify: Simplifying (* (+ (pow 1 3) (pow N 3)) N) 1536824307.184 * * [misc]simplify: iters left: 5 (7 enodes) 1536824307.186 * * [misc]simplify: iters left: 4 (16 enodes) 1536824307.189 * * [misc]simplify: iters left: 3 (24 enodes) 1536824307.195 * * [misc]simplify: iters left: 2 (31 enodes) 1536824307.199 * [exit]simplify: Simplified to (+ (pow N 4) N) 1536824307.199 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (+ (pow N 4) N) (+ (* 1 1) (- (* N N) (* 1 N))))))) 1536824307.199 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1536824307.199 * [enter]simplify: Simplifying (* (- (* 1 1) (* N N)) N) 1536824307.200 * * [misc]simplify: iters left: 6 (6 enodes) 1536824307.203 * * [misc]simplify: iters left: 5 (11 enodes) 1536824307.207 * * [misc]simplify: iters left: 4 (21 enodes) 1536824307.217 * * [misc]simplify: iters left: 3 (28 enodes) 1536824307.224 * * [misc]simplify: iters left: 2 (31 enodes) 1536824307.232 * [exit]simplify: Simplified to (- N (pow N 3)) 1536824307.232 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (- N (pow N 3)) (- 1 N))))) 1536824307.232 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1536824307.232 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1536824307.232 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.233 * * [misc]simplify: iters left: 6 (7 enodes) 1536824307.236 * * [misc]simplify: iters left: 5 (14 enodes) 1536824307.241 * * [misc]simplify: iters left: 4 (21 enodes) 1536824307.247 * * [misc]simplify: iters left: 3 (23 enodes) 1536824307.616 * * [misc]simplify: iters left: 2 (29 enodes) 1536824307.621 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824307.621 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824307.621 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1536824307.621 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.621 * * [misc]simplify: iters left: 6 (7 enodes) 1536824307.623 * * [misc]simplify: iters left: 5 (14 enodes) 1536824307.629 * * [misc]simplify: iters left: 4 (21 enodes) 1536824307.632 * * [misc]simplify: iters left: 3 (23 enodes) 1536824307.636 * * [misc]simplify: iters left: 2 (29 enodes) 1536824307.641 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824307.641 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824307.641 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1536824307.641 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824307.641 * * [misc]simplify: iters left: 6 (7 enodes) 1536824307.643 * * [misc]simplify: iters left: 5 (14 enodes) 1536824307.646 * * [misc]simplify: iters left: 4 (21 enodes) 1536824307.649 * * [misc]simplify: iters left: 3 (23 enodes) 1536824307.652 * * [misc]simplify: iters left: 2 (29 enodes) 1536824307.658 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824307.658 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824307.658 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1536824307.658 * [enter]simplify: Simplifying (+ N (pow N 2)) 1536824307.658 * * [misc]simplify: iters left: 3 (4 enodes) 1536824307.659 * * [misc]simplify: iters left: 2 (6 enodes) 1536824307.661 * * [misc]simplify: iters left: 1 (9 enodes) 1536824307.665 * [exit]simplify: Simplified to (+ N (* N N)) 1536824307.665 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1536824307.665 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1536824307.665 * [enter]simplify: Simplifying (+ N (pow N 2)) 1536824307.665 * * [misc]simplify: iters left: 3 (4 enodes) 1536824307.667 * * [misc]simplify: iters left: 2 (6 enodes) 1536824307.669 * * [misc]simplify: iters left: 1 (9 enodes) 1536824307.673 * [exit]simplify: Simplified to (+ N (* N N)) 1536824307.673 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1536824307.673 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1536824307.674 * [enter]simplify: Simplifying (+ N (pow N 2)) 1536824307.674 * * [misc]simplify: iters left: 3 (4 enodes) 1536824307.676 * * [misc]simplify: iters left: 2 (6 enodes) 1536824307.678 * * [misc]simplify: iters left: 1 (9 enodes) 1536824307.681 * [exit]simplify: Simplified to (+ N (* N N)) 1536824307.681 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1536824307.681 * * * [misc]progress: adding candidates to table 1536824308.073 * * [misc]progress: iteration 3 / 4 1536824308.073 * * * [misc]progress: picking best candidate 1536824308.096 * * * * [misc]pick: Picked # 1536824308.096 * * * [misc]progress: localizing error 1536824308.103 * * * [misc]progress: generating rewritten candidates 1536824308.103 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1536824308.106 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1536824308.109 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1536824308.140 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1536824308.141 * * * [misc]progress: generating series expansions 1536824308.141 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1536824308.141 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.141 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0 1536824308.141 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824308.141 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.141 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.141 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.142 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.142 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824308.142 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.142 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.142 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.142 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.142 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.142 * [misc]backup-simplify: Simplify 0 into 0 1536824308.143 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.143 * [misc]backup-simplify: Simplify 0 into 0 1536824308.143 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.143 * [misc]backup-simplify: Simplify 0 into 0 1536824308.144 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.144 * [misc]backup-simplify: Simplify 0 into 0 1536824308.144 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.144 * [misc]backup-simplify: Simplify 0 into 0 1536824308.145 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.145 * [misc]backup-simplify: Simplify 0 into 0 1536824308.145 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.145 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.145 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0 1536824308.145 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824308.145 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.145 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.146 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.146 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.146 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824308.146 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.146 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.146 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.146 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.146 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.146 * [misc]backup-simplify: Simplify 0 into 0 1536824308.147 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.147 * [misc]backup-simplify: Simplify 0 into 0 1536824308.147 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.147 * [misc]backup-simplify: Simplify 0 into 0 1536824308.148 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.148 * [misc]backup-simplify: Simplify 0 into 0 1536824308.148 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.148 * [misc]backup-simplify: Simplify 0 into 0 1536824308.149 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.149 * [misc]backup-simplify: Simplify 0 into 0 1536824308.152 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.153 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.153 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0 1536824308.153 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824308.153 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.153 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.153 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.153 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.153 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824308.153 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.153 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.153 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.153 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.154 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.154 * [misc]backup-simplify: Simplify 0 into 0 1536824308.154 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.154 * [misc]backup-simplify: Simplify 0 into 0 1536824308.155 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.155 * [misc]backup-simplify: Simplify 0 into 0 1536824308.155 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.155 * [misc]backup-simplify: Simplify 0 into 0 1536824308.156 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.156 * [misc]backup-simplify: Simplify 0 into 0 1536824308.157 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.157 * [misc]backup-simplify: Simplify 0 into 0 1536824308.157 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N)))))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.157 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1536824308.157 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.157 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0 1536824308.157 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824308.157 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.157 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.158 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.158 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.158 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824308.158 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.158 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.158 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.158 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.158 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.158 * [misc]backup-simplify: Simplify 0 into 0 1536824308.159 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.159 * [misc]backup-simplify: Simplify 0 into 0 1536824308.159 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.159 * [misc]backup-simplify: Simplify 0 into 0 1536824308.160 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.160 * [misc]backup-simplify: Simplify 0 into 0 1536824308.160 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.160 * [misc]backup-simplify: Simplify 0 into 0 1536824308.161 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824308.161 * [misc]backup-simplify: Simplify 0 into 0 1536824308.161 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.161 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.161 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0 1536824308.161 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824308.161 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.161 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.162 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.162 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.162 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824308.162 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.162 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.162 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.162 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.162 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824308.162 * [misc]backup-simplify: Simplify 0 into 0 1536824308.163 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.163 * [misc]backup-simplify: Simplify 0 into 0 1536824308.163 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.163 * [misc]backup-simplify: Simplify 0 into 0 1536824308.164 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.164 * [misc]backup-simplify: Simplify 0 into 0 1536824308.164 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.164 * [misc]backup-simplify: Simplify 0 into 0 1536824308.165 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824308.165 * [misc]backup-simplify: Simplify 0 into 0 1536824308.165 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.166 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.166 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0 1536824308.166 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824308.166 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.166 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.166 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.166 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.166 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824308.166 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.166 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.166 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.166 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.167 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824308.167 * [misc]backup-simplify: Simplify 0 into 0 1536824308.167 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.167 * [misc]backup-simplify: Simplify 0 into 0 1536824308.168 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.168 * [misc]backup-simplify: Simplify 0 into 0 1536824308.168 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.168 * [misc]backup-simplify: Simplify 0 into 0 1536824308.169 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.169 * [misc]backup-simplify: Simplify 0 into 0 1536824308.169 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824308.169 * [misc]backup-simplify: Simplify 0 into 0 1536824308.170 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N)))))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824308.170 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1536824308.170 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.170 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1536824308.170 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.170 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.170 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.170 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.170 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.170 * [misc]backup-simplify: Simplify 0 into 0 1536824308.170 * [misc]backup-simplify: Simplify 0 into 0 1536824308.170 * [misc]backup-simplify: Simplify 0 into 0 1536824308.171 * [misc]backup-simplify: Simplify 0 into 0 1536824308.171 * [misc]backup-simplify: Simplify 0 into 0 1536824308.171 * [misc]backup-simplify: Simplify 0 into 0 1536824308.171 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.171 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N)))))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.171 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1536824308.171 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.171 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.171 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.171 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.171 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.171 * [misc]backup-simplify: Simplify 0 into 0 1536824308.171 * [misc]backup-simplify: Simplify 0 into 0 1536824308.171 * [misc]backup-simplify: Simplify 0 into 0 1536824308.171 * [misc]backup-simplify: Simplify 0 into 0 1536824308.172 * [misc]backup-simplify: Simplify 0 into 0 1536824308.172 * [misc]backup-simplify: Simplify 0 into 0 1536824308.172 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.172 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N))))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.172 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1536824308.172 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.172 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.172 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.172 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.173 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.173 * [misc]backup-simplify: Simplify 0 into 0 1536824308.173 * [misc]backup-simplify: Simplify 0 into 0 1536824308.173 * [misc]backup-simplify: Simplify 0 into 0 1536824308.173 * [misc]backup-simplify: Simplify 0 into 0 1536824308.173 * [misc]backup-simplify: Simplify 0 into 0 1536824308.173 * [misc]backup-simplify: Simplify 0 into 0 1536824308.173 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.173 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1536824308.173 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 N) N))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.173 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1536824308.173 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.173 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.173 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824308.173 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.174 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.174 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.174 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1536824308.174 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.174 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.174 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824308.174 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.174 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.174 * [misc]backup-simplify: Simplify 0 into 0 1536824308.175 * [misc]backup-simplify: Simplify 0 into 0 1536824308.175 * [misc]backup-simplify: Simplify 0 into 0 1536824308.175 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.175 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.175 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1536824308.175 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.175 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.175 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824308.175 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.175 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824308.175 * [misc]backup-simplify: Simplify 0 into 0 1536824308.175 * [misc]backup-simplify: Simplify 0 into 0 1536824308.175 * [misc]backup-simplify: Simplify 0 into 0 1536824308.176 * [misc]backup-simplify: Simplify 0 into 0 1536824308.176 * [misc]backup-simplify: Simplify 0 into 0 1536824308.176 * [misc]backup-simplify: Simplify 0 into 0 1536824308.176 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824308.176 * * * [misc]progress: simplifying candidates 1536824308.176 * * * * [misc]progress: [ 1 / 73 ] simplifiying candidate # 1536824308.176 * * * * [misc]progress: [ 2 / 73 ] simplifiying candidate # 1536824308.176 * * * * [misc]progress: [ 3 / 73 ] simplifiying candidate # 1536824308.176 * * * * [misc]progress: [ 4 / 73 ] simplifiying candidate # 1536824308.176 * * * * [misc]progress: [ 5 / 73 ] simplifiying candidate # 1536824308.176 * * * * [misc]progress: [ 6 / 73 ] simplifiying candidate # 1536824308.176 * * * * [misc]progress: [ 7 / 73 ] simplifiying candidate # 1536824308.176 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.177 * * [misc]simplify: iters left: 6 (9 enodes) 1536824308.179 * * [misc]simplify: iters left: 5 (15 enodes) 1536824308.182 * * [misc]simplify: iters left: 4 (22 enodes) 1536824308.186 * * [misc]simplify: iters left: 3 (32 enodes) 1536824308.196 * * [misc]simplify: iters left: 2 (48 enodes) 1536824308.214 * * [misc]simplify: iters left: 1 (49 enodes) 1536824308.223 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824308.223 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))))) 1536824308.224 * * * * [misc]progress: [ 8 / 73 ] simplifiying candidate # 1536824308.224 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824308.225 * * [misc]simplify: iters left: 6 (8 enodes) 1536824308.228 * * [misc]simplify: iters left: 5 (13 enodes) 1536824308.233 * * [misc]simplify: iters left: 4 (20 enodes) 1536824308.242 * * [misc]simplify: iters left: 3 (30 enodes) 1536824308.252 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.271 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.280 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824308.280 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))))) 1536824308.280 * * * * [misc]progress: [ 9 / 73 ] simplifiying candidate # 1536824308.280 * [enter]simplify: Simplifying (sqrt 1) 1536824308.281 * * [misc]simplify: iters left: 1 (2 enodes) 1536824308.282 * [exit]simplify: Simplified to 1 1536824308.282 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (* 1 (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824308.282 * * * * [misc]progress: [ 10 / 73 ] simplifiying candidate # 1536824308.282 * * * * [misc]progress: [ 11 / 73 ] simplifiying candidate # 1536824308.283 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824308.283 * * [misc]simplify: iters left: 6 (7 enodes) 1536824308.286 * * [misc]simplify: iters left: 5 (12 enodes) 1536824308.291 * * [misc]simplify: iters left: 4 (19 enodes) 1536824308.298 * * [misc]simplify: iters left: 3 (29 enodes) 1536824308.308 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.324 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.332 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824308.332 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N))))))) 1536824308.332 * * * * [misc]progress: [ 12 / 73 ] simplifiying candidate # 1536824308.332 * * * * [misc]progress: [ 13 / 73 ] simplifiying candidate # 1536824308.332 * * * * [misc]progress: [ 14 / 73 ] simplifiying candidate # 1536824308.332 * * * * [misc]progress: [ 15 / 73 ] simplifiying candidate # 1536824308.332 * * * * [misc]progress: [ 16 / 73 ] simplifiying candidate # 1536824308.332 * * * * [misc]progress: [ 17 / 73 ] simplifiying candidate # 1536824308.332 * * * * [misc]progress: [ 18 / 73 ] simplifiying candidate # 1536824308.332 * * * * [misc]progress: [ 19 / 73 ] simplifiying candidate # 1536824308.333 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.334 * * [misc]simplify: iters left: 6 (9 enodes) 1536824308.338 * * [misc]simplify: iters left: 5 (15 enodes) 1536824308.344 * * [misc]simplify: iters left: 4 (22 enodes) 1536824308.353 * * [misc]simplify: iters left: 3 (32 enodes) 1536824308.364 * * [misc]simplify: iters left: 2 (48 enodes) 1536824308.382 * * [misc]simplify: iters left: 1 (49 enodes) 1536824308.392 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824308.392 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.392 * * * * [misc]progress: [ 20 / 73 ] simplifiying candidate # 1536824308.392 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824308.393 * * [misc]simplify: iters left: 6 (8 enodes) 1536824308.397 * * [misc]simplify: iters left: 5 (13 enodes) 1536824308.401 * * [misc]simplify: iters left: 4 (20 enodes) 1536824308.412 * * [misc]simplify: iters left: 3 (30 enodes) 1536824308.422 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.433 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.438 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824308.438 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.438 * * * * [misc]progress: [ 21 / 73 ] simplifiying candidate # 1536824308.438 * [enter]simplify: Simplifying (sqrt 1) 1536824308.438 * * [misc]simplify: iters left: 1 (2 enodes) 1536824308.439 * [exit]simplify: Simplified to 1 1536824308.439 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.439 * * * * [misc]progress: [ 22 / 73 ] simplifiying candidate # 1536824308.439 * * * * [misc]progress: [ 23 / 73 ] simplifiying candidate # 1536824308.440 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824308.440 * * [misc]simplify: iters left: 6 (7 enodes) 1536824308.442 * * [misc]simplify: iters left: 5 (12 enodes) 1536824308.444 * * [misc]simplify: iters left: 4 (19 enodes) 1536824308.448 * * [misc]simplify: iters left: 3 (29 enodes) 1536824308.453 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.468 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.476 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824308.476 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.476 * * * * [misc]progress: [ 24 / 73 ] simplifiying candidate # 1536824308.477 * * * * [misc]progress: [ 25 / 73 ] simplifiying candidate # 1536824308.477 * [enter]simplify: Simplifying (atan2 1 (+ 1 (* (+ 1 N) N))) 1536824308.478 * * [misc]simplify: iters left: 6 (6 enodes) 1536824308.480 * * [misc]simplify: iters left: 5 (11 enodes) 1536824308.484 * * [misc]simplify: iters left: 4 (18 enodes) 1536824308.493 * * [misc]simplify: iters left: 3 (28 enodes) 1536824308.501 * * [misc]simplify: iters left: 2 (44 enodes) 1536824308.517 * * [misc]simplify: iters left: 1 (45 enodes) 1536824308.527 * [exit]simplify: Simplified to (atan2 1 (+ (+ N 1) (* N N))) 1536824308.527 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (+ N 1) (* N N))) (+ 1/2 1/2))) 1536824308.527 * [enter]simplify: Simplifying (+ 1/2 1/2) 1536824308.528 * * [misc]simplify: iters left: 2 (2 enodes) 1536824308.529 * * [misc]simplify: iters left: 1 (3 enodes) 1536824308.530 * [exit]simplify: Simplified to 1 1536824308.530 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (atan2 1 (+ 1 (* (+ 1 N) N))) 1)) 1536824308.530 * * * * [misc]progress: [ 26 / 73 ] simplifiying candidate # 1536824308.530 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824308.531 * * [misc]simplify: iters left: 6 (7 enodes) 1536824308.534 * * [misc]simplify: iters left: 5 (12 enodes) 1536824308.538 * * [misc]simplify: iters left: 4 (19 enodes) 1536824308.546 * * [misc]simplify: iters left: 3 (29 enodes) 1536824308.555 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.572 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.579 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824308.579 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ 1 1))) 1536824308.579 * [enter]simplify: Simplifying (+ 1 1) 1536824308.579 * * [misc]simplify: iters left: 2 (2 enodes) 1536824308.581 * * [misc]simplify: iters left: 1 (5 enodes) 1536824308.582 * [exit]simplify: Simplified to 2 1536824308.582 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 2)) 1536824308.582 * * * * [misc]progress: [ 27 / 73 ] simplifiying candidate # 1536824308.582 * [enter]simplify: Simplifying (* (atan2 1 (+ 1 (* (+ 1 N) N))) (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824308.583 * * [misc]simplify: iters left: 6 (7 enodes) 1536824308.586 * * [misc]simplify: iters left: 5 (12 enodes) 1536824308.591 * * [misc]simplify: iters left: 4 (19 enodes) 1536824308.599 * * [misc]simplify: iters left: 3 (29 enodes) 1536824308.604 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.613 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.617 * [exit]simplify: Simplified to (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N)))) 1536824308.617 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N)))) 1/2)) 1536824308.617 * * * * [misc]progress: [ 28 / 73 ] simplifiying candidate # 1536824308.618 * [enter]simplify: Simplifying (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824308.618 * * [misc]simplify: iters left: 6 (8 enodes) 1536824308.620 * * [misc]simplify: iters left: 5 (13 enodes) 1536824308.622 * * [misc]simplify: iters left: 4 (21 enodes) 1536824308.627 * * [misc]simplify: iters left: 3 (31 enodes) 1536824308.634 * * [misc]simplify: iters left: 2 (46 enodes) 1536824308.643 * * [misc]simplify: iters left: 1 (48 enodes) 1536824308.652 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824308.652 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (* N N) (+ N 1))) 1)) 1536824308.652 * * * * [misc]progress: [ 29 / 73 ] simplifiying candidate # 1536824308.652 * * * * [misc]progress: [ 30 / 73 ] simplifiying candidate # 1536824308.652 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824308.653 * * [misc]simplify: iters left: 6 (7 enodes) 1536824308.656 * * [misc]simplify: iters left: 5 (12 enodes) 1536824308.660 * * [misc]simplify: iters left: 4 (19 enodes) 1536824308.668 * * [misc]simplify: iters left: 3 (29 enodes) 1536824308.678 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.695 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.701 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824308.701 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ 1 1))) 1536824308.701 * * * * [misc]progress: [ 31 / 73 ] simplifiying candidate # 1536824308.701 * * * * [misc]progress: [ 32 / 73 ] simplifiying candidate # 1536824308.702 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (log (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.702 * * [misc]simplify: iters left: 6 (9 enodes) 1536824308.704 * * [misc]simplify: iters left: 5 (14 enodes) 1536824308.707 * * [misc]simplify: iters left: 4 (21 enodes) 1536824308.711 * * [misc]simplify: iters left: 3 (31 enodes) 1536824308.717 * * [misc]simplify: iters left: 2 (46 enodes) 1536824308.726 * * [misc]simplify: iters left: 1 (48 enodes) 1536824308.738 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1)))))) 1536824308.738 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1)))))))) 1536824308.738 * * * * [misc]progress: [ 33 / 73 ] simplifiying candidate # 1536824308.738 * * * * [misc]progress: [ 34 / 73 ] simplifiying candidate # 1536824308.738 * * * * [misc]progress: [ 35 / 73 ] simplifiying candidate # 1536824308.739 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824308.740 * * [misc]simplify: iters left: 6 (10 enodes) 1536824308.745 * * [misc]simplify: iters left: 5 (20 enodes) 1536824308.754 * * [misc]simplify: iters left: 4 (36 enodes) 1536824308.768 * * [misc]simplify: iters left: 3 (51 enodes) 1536824308.784 * * [misc]simplify: iters left: 2 (70 enodes) 1536824308.796 * * [misc]simplify: iters left: 1 (74 enodes) 1536824308.805 * [exit]simplify: Simplified to (pow (atan2 1 (+ (+ N 1) (* N N))) 3) 1536824308.805 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (+ (+ N 1) (* N N))) 3))) 1536824308.805 * * * * [misc]progress: [ 36 / 73 ] simplifiying candidate # 1536824308.805 * * * * [misc]progress: [ 37 / 73 ] simplifiying candidate # 1536824308.805 * * * * [misc]progress: [ 38 / 73 ] simplifiying candidate # 1536824308.805 * [enter]simplify: Simplifying (* (atan2 1 (+ 1 (* (+ 1 N) N))) (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824308.806 * * [misc]simplify: iters left: 6 (7 enodes) 1536824308.807 * * [misc]simplify: iters left: 5 (12 enodes) 1536824308.810 * * [misc]simplify: iters left: 4 (19 enodes) 1536824308.816 * * [misc]simplify: iters left: 3 (29 enodes) 1536824308.826 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.843 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.854 * [exit]simplify: Simplified to (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N)))) 1536824308.854 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N)))))) 1536824308.854 * * * * [misc]progress: [ 39 / 73 ] simplifiying candidate # 1536824308.854 * * * * [misc]progress: [ 40 / 73 ] simplifiying candidate # 1536824308.854 * [enter]simplify: Simplifying (+ 1 (* (+ 1 N) N)) 1536824308.855 * * [misc]simplify: iters left: 6 (5 enodes) 1536824308.857 * * [misc]simplify: iters left: 5 (10 enodes) 1536824308.861 * * [misc]simplify: iters left: 4 (17 enodes) 1536824308.866 * * [misc]simplify: iters left: 3 (27 enodes) 1536824308.871 * * [misc]simplify: iters left: 2 (42 enodes) 1536824308.879 * * [misc]simplify: iters left: 1 (43 enodes) 1536824308.883 * [exit]simplify: Simplified to (+ (+ N 1) (* N N)) 1536824308.883 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N)))) 1536824308.883 * * * * [misc]progress: [ 41 / 73 ] simplifiying candidate # 1536824308.883 * * * * [misc]progress: [ 42 / 73 ] simplifiying candidate # 1536824308.883 * [enter]simplify: Simplifying (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824308.884 * * [misc]simplify: iters left: 6 (8 enodes) 1536824308.885 * * [misc]simplify: iters left: 5 (13 enodes) 1536824308.888 * * [misc]simplify: iters left: 4 (20 enodes) 1536824308.893 * * [misc]simplify: iters left: 3 (30 enodes) 1536824308.904 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.922 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.930 * [exit]simplify: Simplified to (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824308.931 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824308.931 * * * * [misc]progress: [ 43 / 73 ] simplifiying candidate # 1536824308.931 * [enter]simplify: Simplifying (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824308.932 * * [misc]simplify: iters left: 6 (8 enodes) 1536824308.935 * * [misc]simplify: iters left: 5 (13 enodes) 1536824308.940 * * [misc]simplify: iters left: 4 (20 enodes) 1536824308.948 * * [misc]simplify: iters left: 3 (30 enodes) 1536824308.958 * * [misc]simplify: iters left: 2 (45 enodes) 1536824308.979 * * [misc]simplify: iters left: 1 (46 enodes) 1536824308.988 * [exit]simplify: Simplified to (sqrt (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824308.988 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (sqrt (cbrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824308.989 * * * * [misc]progress: [ 44 / 73 ] simplifiying candidate # 1536824308.989 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824308.990 * * [misc]simplify: iters left: 6 (8 enodes) 1536824308.993 * * [misc]simplify: iters left: 5 (13 enodes) 1536824308.998 * * [misc]simplify: iters left: 4 (20 enodes) 1536824309.006 * * [misc]simplify: iters left: 3 (30 enodes) 1536824309.017 * * [misc]simplify: iters left: 2 (45 enodes) 1536824309.035 * * [misc]simplify: iters left: 1 (46 enodes) 1536824309.039 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824309.039 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824309.039 * * * * [misc]progress: [ 45 / 73 ] simplifiying candidate # 1536824309.040 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824309.040 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.042 * * [misc]simplify: iters left: 5 (12 enodes) 1536824309.044 * * [misc]simplify: iters left: 4 (19 enodes) 1536824309.048 * * [misc]simplify: iters left: 3 (29 enodes) 1536824309.053 * * [misc]simplify: iters left: 2 (45 enodes) 1536824309.062 * * [misc]simplify: iters left: 1 (46 enodes) 1536824309.066 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.066 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt 1)) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824309.066 * * * * [misc]progress: [ 46 / 73 ] simplifiying candidate # 1536824309.067 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824309.067 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.071 * * [misc]simplify: iters left: 5 (13 enodes) 1536824309.077 * * [misc]simplify: iters left: 4 (20 enodes) 1536824309.086 * * [misc]simplify: iters left: 3 (30 enodes) 1536824309.095 * * [misc]simplify: iters left: 2 (45 enodes) 1536824309.112 * * [misc]simplify: iters left: 1 (46 enodes) 1536824309.121 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824309.121 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824309.121 * * * * [misc]progress: [ 47 / 73 ] simplifiying candidate # 1536824309.122 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824309.123 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.126 * * [misc]simplify: iters left: 5 (12 enodes) 1536824309.130 * * [misc]simplify: iters left: 4 (19 enodes) 1536824309.138 * * [misc]simplify: iters left: 3 (29 enodes) 1536824309.148 * * [misc]simplify: iters left: 2 (45 enodes) 1536824309.165 * * [misc]simplify: iters left: 1 (46 enodes) 1536824309.173 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.173 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824309.174 * * * * [misc]progress: [ 48 / 73 ] simplifiying candidate # 1536824309.174 * [enter]simplify: Simplifying (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824309.175 * * [misc]simplify: iters left: 6 (9 enodes) 1536824309.179 * * [misc]simplify: iters left: 5 (14 enodes) 1536824309.184 * * [misc]simplify: iters left: 4 (21 enodes) 1536824309.193 * * [misc]simplify: iters left: 3 (31 enodes) 1536824309.203 * * [misc]simplify: iters left: 2 (46 enodes) 1536824309.224 * * [misc]simplify: iters left: 1 (48 enodes) 1536824309.234 * [exit]simplify: Simplified to (* (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))) 1536824309.234 * [misc]simplify: Simplified (2 1) to (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))) (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824309.234 * * * * [misc]progress: [ 49 / 73 ] simplifiying candidate # 1536824309.234 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824309.235 * * [misc]simplify: iters left: 6 (9 enodes) 1536824309.239 * * [misc]simplify: iters left: 5 (15 enodes) 1536824309.244 * * [misc]simplify: iters left: 4 (22 enodes) 1536824309.253 * * [misc]simplify: iters left: 3 (32 enodes) 1536824309.264 * * [misc]simplify: iters left: 2 (48 enodes) 1536824309.275 * * [misc]simplify: iters left: 1 (49 enodes) 1536824309.279 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824309.279 * [misc]simplify: Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824309.279 * * * * [misc]progress: [ 50 / 73 ] simplifiying candidate # 1536824309.280 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824309.280 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.282 * * [misc]simplify: iters left: 5 (13 enodes) 1536824309.284 * * [misc]simplify: iters left: 4 (20 enodes) 1536824309.289 * * [misc]simplify: iters left: 3 (30 enodes) 1536824309.294 * * [misc]simplify: iters left: 2 (45 enodes) 1536824309.311 * * [misc]simplify: iters left: 1 (46 enodes) 1536824309.315 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824309.315 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824309.316 * * * * [misc]progress: [ 51 / 73 ] simplifiying candidate # 1536824309.316 * [enter]simplify: Simplifying (sqrt 1) 1536824309.316 * * [misc]simplify: iters left: 1 (2 enodes) 1536824309.317 * [exit]simplify: Simplified to 1 1536824309.317 * [misc]simplify: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824309.317 * * * * [misc]progress: [ 52 / 73 ] simplifiying candidate # 1536824309.317 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824309.319 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.321 * * [misc]simplify: iters left: 5 (13 enodes) 1536824309.323 * * [misc]simplify: iters left: 4 (20 enodes) 1536824309.328 * * [misc]simplify: iters left: 3 (30 enodes) 1536824309.333 * * [misc]simplify: iters left: 2 (45 enodes) 1536824309.342 * * [misc]simplify: iters left: 1 (46 enodes) 1536824309.346 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824309.346 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824309.346 * * * * [misc]progress: [ 53 / 73 ] simplifiying candidate # 1536824309.346 * * * * [misc]progress: [ 54 / 73 ] simplifiying candidate # 1536824309.346 * * * * [misc]progress: [ 55 / 73 ] simplifiying candidate # 1536824309.346 * * * * [misc]progress: [ 56 / 73 ] simplifiying candidate # 1536824309.346 * * * * [misc]progress: [ 57 / 73 ] simplifiying candidate # 1536824309.346 * * * * [misc]progress: [ 58 / 73 ] simplifiying candidate # 1536824309.346 * * * * [misc]progress: [ 59 / 73 ] simplifiying candidate # 1536824309.346 * * * * [misc]progress: [ 60 / 73 ] simplifiying candidate # 1536824309.347 * * * * [misc]progress: [ 61 / 73 ] simplifiying candidate # 1536824309.347 * * * * [misc]progress: [ 62 / 73 ] simplifiying candidate # 1536824309.347 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824309.347 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.349 * * [misc]simplify: iters left: 5 (15 enodes) 1536824309.352 * * [misc]simplify: iters left: 4 (22 enodes) 1536824309.355 * * [misc]simplify: iters left: 3 (24 enodes) 1536824309.359 * * [misc]simplify: iters left: 2 (30 enodes) 1536824309.364 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.364 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824309.364 * * * * [misc]progress: [ 63 / 73 ] simplifiying candidate # 1536824309.364 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824309.365 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.366 * * [misc]simplify: iters left: 5 (15 enodes) 1536824309.369 * * [misc]simplify: iters left: 4 (22 enodes) 1536824309.373 * * [misc]simplify: iters left: 3 (24 enodes) 1536824309.376 * * [misc]simplify: iters left: 2 (30 enodes) 1536824309.384 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.384 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824309.384 * * * * [misc]progress: [ 64 / 73 ] simplifiying candidate # 1536824309.384 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824309.385 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.388 * * [misc]simplify: iters left: 5 (15 enodes) 1536824309.394 * * [misc]simplify: iters left: 4 (22 enodes) 1536824309.402 * * [misc]simplify: iters left: 3 (24 enodes) 1536824309.409 * * [misc]simplify: iters left: 2 (30 enodes) 1536824309.420 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.420 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824309.420 * * * * [misc]progress: [ 65 / 73 ] simplifiying candidate # 1536824309.420 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824309.421 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.424 * * [misc]simplify: iters left: 5 (15 enodes) 1536824309.430 * * [misc]simplify: iters left: 4 (22 enodes) 1536824309.437 * * [misc]simplify: iters left: 3 (24 enodes) 1536824309.444 * * [misc]simplify: iters left: 2 (30 enodes) 1536824309.454 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.454 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824309.454 * * * * [misc]progress: [ 66 / 73 ] simplifiying candidate # 1536824309.454 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824309.455 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.458 * * [misc]simplify: iters left: 5 (15 enodes) 1536824309.463 * * [misc]simplify: iters left: 4 (22 enodes) 1536824309.467 * * [misc]simplify: iters left: 3 (24 enodes) 1536824309.471 * * [misc]simplify: iters left: 2 (30 enodes) 1536824309.476 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.476 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824309.476 * * * * [misc]progress: [ 67 / 73 ] simplifiying candidate # 1536824309.476 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824309.476 * * [misc]simplify: iters left: 6 (8 enodes) 1536824309.478 * * [misc]simplify: iters left: 5 (15 enodes) 1536824309.481 * * [misc]simplify: iters left: 4 (22 enodes) 1536824309.484 * * [misc]simplify: iters left: 3 (24 enodes) 1536824309.488 * * [misc]simplify: iters left: 2 (30 enodes) 1536824309.493 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824309.493 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824309.493 * * * * [misc]progress: [ 68 / 73 ] simplifiying candidate # 1536824309.493 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824309.494 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.496 * * [misc]simplify: iters left: 5 (14 enodes) 1536824309.498 * * [misc]simplify: iters left: 4 (21 enodes) 1536824309.503 * * [misc]simplify: iters left: 3 (23 enodes) 1536824309.506 * * [misc]simplify: iters left: 2 (29 enodes) 1536824309.511 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824309.511 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824309.511 * * * * [misc]progress: [ 69 / 73 ] simplifiying candidate # 1536824309.511 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824309.512 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.515 * * [misc]simplify: iters left: 5 (14 enodes) 1536824309.520 * * [misc]simplify: iters left: 4 (21 enodes) 1536824309.526 * * [misc]simplify: iters left: 3 (23 enodes) 1536824309.532 * * [misc]simplify: iters left: 2 (29 enodes) 1536824309.542 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824309.542 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824309.542 * * * * [misc]progress: [ 70 / 73 ] simplifiying candidate # 1536824309.542 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824309.543 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.546 * * [misc]simplify: iters left: 5 (14 enodes) 1536824309.551 * * [misc]simplify: iters left: 4 (21 enodes) 1536824309.557 * * [misc]simplify: iters left: 3 (23 enodes) 1536824309.564 * * [misc]simplify: iters left: 2 (29 enodes) 1536824309.574 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824309.574 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824309.574 * * * * [misc]progress: [ 71 / 73 ] simplifiying candidate # 1536824309.574 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824309.575 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.578 * * [misc]simplify: iters left: 5 (14 enodes) 1536824309.583 * * [misc]simplify: iters left: 4 (21 enodes) 1536824309.590 * * [misc]simplify: iters left: 3 (23 enodes) 1536824309.596 * * [misc]simplify: iters left: 2 (29 enodes) 1536824309.605 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824309.605 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1)))))) 1536824309.605 * * * * [misc]progress: [ 72 / 73 ] simplifiying candidate # 1536824309.605 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824309.605 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.607 * * [misc]simplify: iters left: 5 (14 enodes) 1536824309.610 * * [misc]simplify: iters left: 4 (21 enodes) 1536824309.613 * * [misc]simplify: iters left: 3 (23 enodes) 1536824309.616 * * [misc]simplify: iters left: 2 (29 enodes) 1536824309.622 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824309.623 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1)))))) 1536824309.623 * * * * [misc]progress: [ 73 / 73 ] simplifiying candidate # 1536824309.623 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824309.623 * * [misc]simplify: iters left: 6 (7 enodes) 1536824309.625 * * [misc]simplify: iters left: 5 (14 enodes) 1536824309.628 * * [misc]simplify: iters left: 4 (21 enodes) 1536824309.631 * * [misc]simplify: iters left: 3 (23 enodes) 1536824309.634 * * [misc]simplify: iters left: 2 (29 enodes) 1536824309.643 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824309.643 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1)))))) 1536824309.643 * * * [misc]progress: adding candidates to table 1536824310.948 * * [misc]progress: iteration 4 / 4 1536824310.949 * * * [misc]progress: picking best candidate 1536824310.970 * * * * [misc]pick: Picked # 1536824310.970 * * * [misc]progress: localizing error 1536824310.989 * * * [misc]progress: generating rewritten candidates 1536824310.989 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1536824310.995 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1) 1536824311.002 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1536824311.007 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1536824311.123 * * * [misc]progress: generating series expansions 1536824311.123 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1536824311.123 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.123 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0 1536824311.123 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824311.123 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.124 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.124 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.124 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.124 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824311.124 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.124 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.124 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.125 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.125 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.125 * [misc]backup-simplify: Simplify 0 into 0 1536824311.126 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.126 * [misc]backup-simplify: Simplify 0 into 0 1536824311.126 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.127 * [misc]backup-simplify: Simplify 0 into 0 1536824311.127 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.128 * [misc]backup-simplify: Simplify 0 into 0 1536824311.128 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.128 * [misc]backup-simplify: Simplify 0 into 0 1536824311.129 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.129 * [misc]backup-simplify: Simplify 0 into 0 1536824311.129 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.130 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.130 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0 1536824311.130 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824311.130 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.130 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.130 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.130 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.130 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824311.130 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.131 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.131 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.131 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.131 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.132 * [misc]backup-simplify: Simplify 0 into 0 1536824311.132 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.133 * [misc]backup-simplify: Simplify 0 into 0 1536824311.133 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.133 * [misc]backup-simplify: Simplify 0 into 0 1536824311.134 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.134 * [misc]backup-simplify: Simplify 0 into 0 1536824311.135 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.135 * [misc]backup-simplify: Simplify 0 into 0 1536824311.136 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.136 * [misc]backup-simplify: Simplify 0 into 0 1536824311.136 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.137 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.137 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0 1536824311.137 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824311.137 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.137 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.137 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.138 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.138 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824311.138 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.138 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.138 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.138 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.139 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.139 * [misc]backup-simplify: Simplify 0 into 0 1536824311.140 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.140 * [misc]backup-simplify: Simplify 0 into 0 1536824311.140 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.140 * [misc]backup-simplify: Simplify 0 into 0 1536824311.142 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.142 * [misc]backup-simplify: Simplify 0 into 0 1536824311.142 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.143 * [misc]backup-simplify: Simplify 0 into 0 1536824311.144 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.144 * [misc]backup-simplify: Simplify 0 into 0 1536824311.145 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N)))))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.145 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1) 1536824311.145 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.145 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0 1536824311.145 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824311.145 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.145 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.146 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.146 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.146 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824311.146 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.146 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.146 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.147 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.147 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.147 * [misc]backup-simplify: Simplify 0 into 0 1536824311.148 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.148 * [misc]backup-simplify: Simplify 0 into 0 1536824311.148 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.148 * [misc]backup-simplify: Simplify 0 into 0 1536824311.149 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.149 * [misc]backup-simplify: Simplify 0 into 0 1536824311.150 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.150 * [misc]backup-simplify: Simplify 0 into 0 1536824311.151 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.151 * [misc]backup-simplify: Simplify 0 into 0 1536824311.151 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.152 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.152 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0 1536824311.152 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824311.152 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.152 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.152 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.152 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.153 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824311.153 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.153 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.153 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.153 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.154 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.154 * [misc]backup-simplify: Simplify 0 into 0 1536824311.155 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.155 * [misc]backup-simplify: Simplify 0 into 0 1536824311.155 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.155 * [misc]backup-simplify: Simplify 0 into 0 1536824311.156 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.156 * [misc]backup-simplify: Simplify 0 into 0 1536824311.157 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.157 * [misc]backup-simplify: Simplify 0 into 0 1536824311.158 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.158 * [misc]backup-simplify: Simplify 0 into 0 1536824311.159 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.159 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.159 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0 1536824311.159 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824311.159 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.159 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.159 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.160 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.160 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824311.160 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.160 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.160 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.161 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.161 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.161 * [misc]backup-simplify: Simplify 0 into 0 1536824311.162 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.162 * [misc]backup-simplify: Simplify 0 into 0 1536824311.163 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.163 * [misc]backup-simplify: Simplify 0 into 0 1536824311.164 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.164 * [misc]backup-simplify: Simplify 0 into 0 1536824311.164 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.165 * [misc]backup-simplify: Simplify 0 into 0 1536824311.166 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.166 * [misc]backup-simplify: Simplify 0 into 0 1536824311.166 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N)))))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.166 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1536824311.167 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.167 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0 1536824311.167 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824311.167 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.167 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.167 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.167 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.167 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N 1536824311.167 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.168 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.168 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.168 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.168 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.168 * [misc]backup-simplify: Simplify 0 into 0 1536824311.169 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.169 * [misc]backup-simplify: Simplify 0 into 0 1536824311.170 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.170 * [misc]backup-simplify: Simplify 0 into 0 1536824311.171 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.171 * [misc]backup-simplify: Simplify 0 into 0 1536824311.171 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.171 * [misc]backup-simplify: Simplify 0 into 0 1536824311.172 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0 1536824311.172 * [misc]backup-simplify: Simplify 0 into 0 1536824311.173 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.173 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.173 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0 1536824311.173 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824311.173 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.173 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.173 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.174 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.174 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N 1536824311.174 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.174 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.174 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.174 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.175 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) 1536824311.175 * [misc]backup-simplify: Simplify 0 into 0 1536824311.176 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.176 * [misc]backup-simplify: Simplify 0 into 0 1536824311.176 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.176 * [misc]backup-simplify: Simplify 0 into 0 1536824311.177 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.177 * [misc]backup-simplify: Simplify 0 into 0 1536824311.178 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.178 * [misc]backup-simplify: Simplify 0 into 0 1536824311.179 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0 1536824311.179 * [misc]backup-simplify: Simplify 0 into 0 1536824311.179 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.180 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.180 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0 1536824311.180 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824311.180 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.180 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.180 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.180 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.180 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N 1536824311.180 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.181 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.181 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.181 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.181 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) 1536824311.181 * [misc]backup-simplify: Simplify 0 into 0 1536824311.182 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.182 * [misc]backup-simplify: Simplify 0 into 0 1536824311.183 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.183 * [misc]backup-simplify: Simplify 0 into 0 1536824311.184 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.184 * [misc]backup-simplify: Simplify 0 into 0 1536824311.184 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.184 * [misc]backup-simplify: Simplify 0 into 0 1536824311.185 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0 1536824311.186 * [misc]backup-simplify: Simplify 0 into 0 1536824311.186 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N)))))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824311.186 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1536824311.187 * [misc]backup-simplify: Simplify (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.187 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1536824311.187 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.187 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.187 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1536824311.187 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.188 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.188 * [misc]backup-simplify: Simplify 0 into 0 1536824311.188 * [misc]backup-simplify: Simplify 0 into 0 1536824311.188 * [misc]backup-simplify: Simplify 0 into 0 1536824311.188 * [misc]backup-simplify: Simplify 0 into 0 1536824311.188 * [misc]backup-simplify: Simplify 0 into 0 1536824311.188 * [misc]backup-simplify: Simplify 0 into 0 1536824311.188 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.189 * [misc]backup-simplify: Simplify (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))))))) (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N)))))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.189 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1536824311.189 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.189 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.189 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1536824311.189 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.190 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1536824311.190 * [misc]backup-simplify: Simplify 0 into 0 1536824311.190 * [misc]backup-simplify: Simplify 0 into 0 1536824311.190 * [misc]backup-simplify: Simplify 0 into 0 1536824311.190 * [misc]backup-simplify: Simplify 0 into 0 1536824311.190 * [misc]backup-simplify: Simplify 0 into 0 1536824311.190 * [misc]backup-simplify: Simplify 0 into 0 1536824311.190 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.191 * [misc]backup-simplify: Simplify (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))))))) (sqrt (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N))))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.191 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1536824311.191 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.192 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.192 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1536824311.192 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.192 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1536824311.192 * [misc]backup-simplify: Simplify 0 into 0 1536824311.192 * [misc]backup-simplify: Simplify 0 into 0 1536824311.192 * [misc]backup-simplify: Simplify 0 into 0 1536824311.192 * [misc]backup-simplify: Simplify 0 into 0 1536824311.192 * [misc]backup-simplify: Simplify 0 into 0 1536824311.192 * [misc]backup-simplify: Simplify 0 into 0 1536824311.193 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1536824311.193 * * * [misc]progress: simplifying candidates 1536824311.193 * * * * [misc]progress: [ 1 / 73 ] simplifiying candidate # 1536824311.193 * * * * [misc]progress: [ 2 / 73 ] simplifiying candidate # 1536824311.193 * * * * [misc]progress: [ 3 / 73 ] simplifiying candidate # 1536824311.193 * * * * [misc]progress: [ 4 / 73 ] simplifiying candidate # 1536824311.193 * * * * [misc]progress: [ 5 / 73 ] simplifiying candidate # 1536824311.193 * * * * [misc]progress: [ 6 / 73 ] simplifiying candidate # 1536824311.193 * * * * [misc]progress: [ 7 / 73 ] simplifiying candidate # 1536824311.194 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.195 * * [misc]simplify: iters left: 6 (9 enodes) 1536824311.202 * * [misc]simplify: iters left: 5 (15 enodes) 1536824311.206 * * [misc]simplify: iters left: 4 (22 enodes) 1536824311.215 * * [misc]simplify: iters left: 3 (32 enodes) 1536824311.224 * * [misc]simplify: iters left: 2 (48 enodes) 1536824311.240 * * [misc]simplify: iters left: 1 (49 enodes) 1536824311.251 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824311.251 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))))) 1536824311.251 * * * * [misc]progress: [ 8 / 73 ] simplifiying candidate # 1536824311.251 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824311.252 * * [misc]simplify: iters left: 6 (8 enodes) 1536824311.255 * * [misc]simplify: iters left: 5 (13 enodes) 1536824311.259 * * [misc]simplify: iters left: 4 (20 enodes) 1536824311.268 * * [misc]simplify: iters left: 3 (30 enodes) 1536824311.278 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.294 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.302 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824311.302 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))))) 1536824311.302 * * * * [misc]progress: [ 9 / 73 ] simplifiying candidate # 1536824311.303 * [enter]simplify: Simplifying (sqrt 1) 1536824311.303 * * [misc]simplify: iters left: 1 (2 enodes) 1536824311.305 * [exit]simplify: Simplified to 1 1536824311.305 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (* 1 (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824311.305 * * * * [misc]progress: [ 10 / 73 ] simplifiying candidate # 1536824311.305 * * * * [misc]progress: [ 11 / 73 ] simplifiying candidate # 1536824311.305 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824311.306 * * [misc]simplify: iters left: 6 (7 enodes) 1536824311.309 * * [misc]simplify: iters left: 5 (12 enodes) 1536824311.313 * * [misc]simplify: iters left: 4 (19 enodes) 1536824311.322 * * [misc]simplify: iters left: 3 (29 enodes) 1536824311.332 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.352 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.356 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824311.356 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N))))))) 1536824311.356 * * * * [misc]progress: [ 12 / 73 ] simplifiying candidate # 1536824311.356 * * * * [misc]progress: [ 13 / 73 ] simplifiying candidate # 1536824311.356 * * * * [misc]progress: [ 14 / 73 ] simplifiying candidate # 1536824311.356 * * * * [misc]progress: [ 15 / 73 ] simplifiying candidate # 1536824311.356 * * * * [misc]progress: [ 16 / 73 ] simplifiying candidate # 1536824311.356 * * * * [misc]progress: [ 17 / 73 ] simplifiying candidate # 1536824311.356 * * * * [misc]progress: [ 18 / 73 ] simplifiying candidate # 1536824311.356 * * * * [misc]progress: [ 19 / 73 ] simplifiying candidate # 1536824311.356 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.357 * * [misc]simplify: iters left: 6 (9 enodes) 1536824311.359 * * [misc]simplify: iters left: 5 (15 enodes) 1536824311.362 * * [misc]simplify: iters left: 4 (22 enodes) 1536824311.367 * * [misc]simplify: iters left: 3 (32 enodes) 1536824311.372 * * [misc]simplify: iters left: 2 (48 enodes) 1536824311.381 * * [misc]simplify: iters left: 1 (49 enodes) 1536824311.386 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824311.386 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.386 * * * * [misc]progress: [ 20 / 73 ] simplifiying candidate # 1536824311.386 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824311.387 * * [misc]simplify: iters left: 6 (8 enodes) 1536824311.389 * * [misc]simplify: iters left: 5 (13 enodes) 1536824311.391 * * [misc]simplify: iters left: 4 (20 enodes) 1536824311.400 * * [misc]simplify: iters left: 3 (30 enodes) 1536824311.410 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.428 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.437 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824311.437 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.437 * * * * [misc]progress: [ 21 / 73 ] simplifiying candidate # 1536824311.437 * [enter]simplify: Simplifying (sqrt 1) 1536824311.439 * * [misc]simplify: iters left: 1 (2 enodes) 1536824311.441 * [exit]simplify: Simplified to 1 1536824311.441 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (* 1 (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.441 * * * * [misc]progress: [ 22 / 73 ] simplifiying candidate # 1536824311.441 * * * * [misc]progress: [ 23 / 73 ] simplifiying candidate # 1536824311.442 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824311.442 * * [misc]simplify: iters left: 6 (7 enodes) 1536824311.445 * * [misc]simplify: iters left: 5 (12 enodes) 1536824311.450 * * [misc]simplify: iters left: 4 (19 enodes) 1536824311.459 * * [misc]simplify: iters left: 3 (29 enodes) 1536824311.469 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.487 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.495 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824311.495 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N))))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.495 * * * * [misc]progress: [ 24 / 73 ] simplifiying candidate # 1536824311.495 * * * * [misc]progress: [ 25 / 73 ] simplifiying candidate # 1536824311.495 * * * * [misc]progress: [ 26 / 73 ] simplifiying candidate # 1536824311.495 * * * * [misc]progress: [ 27 / 73 ] simplifiying candidate # 1536824311.495 * * * * [misc]progress: [ 28 / 73 ] simplifiying candidate # 1536824311.495 * * * * [misc]progress: [ 29 / 73 ] simplifiying candidate # 1536824311.495 * * * * [misc]progress: [ 30 / 73 ] simplifiying candidate # 1536824311.495 * * * * [misc]progress: [ 31 / 73 ] simplifiying candidate # 1536824311.496 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.497 * * [misc]simplify: iters left: 6 (9 enodes) 1536824311.501 * * [misc]simplify: iters left: 5 (15 enodes) 1536824311.506 * * [misc]simplify: iters left: 4 (22 enodes) 1536824311.515 * * [misc]simplify: iters left: 3 (32 enodes) 1536824311.526 * * [misc]simplify: iters left: 2 (48 enodes) 1536824311.543 * * [misc]simplify: iters left: 1 (49 enodes) 1536824311.553 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824311.553 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.553 * * * * [misc]progress: [ 32 / 73 ] simplifiying candidate # 1536824311.553 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824311.554 * * [misc]simplify: iters left: 6 (8 enodes) 1536824311.557 * * [misc]simplify: iters left: 5 (13 enodes) 1536824311.562 * * [misc]simplify: iters left: 4 (20 enodes) 1536824311.570 * * [misc]simplify: iters left: 3 (30 enodes) 1536824311.583 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.598 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.602 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824311.602 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.602 * * * * [misc]progress: [ 33 / 73 ] simplifiying candidate # 1536824311.603 * [enter]simplify: Simplifying (sqrt 1) 1536824311.603 * * [misc]simplify: iters left: 1 (2 enodes) 1536824311.604 * [exit]simplify: Simplified to 1 1536824311.604 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* 1 (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.604 * * * * [misc]progress: [ 34 / 73 ] simplifiying candidate # 1536824311.604 * * * * [misc]progress: [ 35 / 73 ] simplifiying candidate # 1536824311.604 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824311.605 * * [misc]simplify: iters left: 6 (7 enodes) 1536824311.606 * * [misc]simplify: iters left: 5 (12 enodes) 1536824311.609 * * [misc]simplify: iters left: 4 (19 enodes) 1536824311.613 * * [misc]simplify: iters left: 3 (29 enodes) 1536824311.618 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.627 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.631 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824311.631 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.631 * * * * [misc]progress: [ 36 / 73 ] simplifiying candidate # 1536824311.631 * * * * [misc]progress: [ 37 / 73 ] simplifiying candidate # 1536824311.631 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824311.632 * * [misc]simplify: iters left: 6 (7 enodes) 1536824311.633 * * [misc]simplify: iters left: 5 (12 enodes) 1536824311.635 * * [misc]simplify: iters left: 4 (19 enodes) 1536824311.640 * * [misc]simplify: iters left: 3 (29 enodes) 1536824311.646 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.663 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.671 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824311.671 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ (+ 1/2 1/2) 1))) 1536824311.671 * [enter]simplify: Simplifying (+ (+ 1/2 1/2) 1) 1536824311.674 * * [misc]simplify: iters left: 4 (4 enodes) 1536824311.679 * * [misc]simplify: iters left: 3 (11 enodes) 1536824311.681 * [exit]simplify: Simplified to 2 1536824311.681 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 2)) 1536824311.681 * * * * [misc]progress: [ 38 / 73 ] simplifiying candidate # 1536824311.681 * [enter]simplify: Simplifying (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824311.682 * * [misc]simplify: iters left: 6 (9 enodes) 1536824311.687 * * [misc]simplify: iters left: 5 (17 enodes) 1536824311.693 * * [misc]simplify: iters left: 4 (29 enodes) 1536824311.700 * * [misc]simplify: iters left: 3 (42 enodes) 1536824311.707 * * [misc]simplify: iters left: 2 (57 enodes) 1536824311.717 * * [misc]simplify: iters left: 1 (58 enodes) 1536824311.722 * [exit]simplify: Simplified to (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1)))) 1536824311.722 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1)))) 1/2)) 1536824311.722 * * * * [misc]progress: [ 39 / 73 ] simplifiying candidate # 1536824311.723 * [enter]simplify: Simplifying (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824311.723 * * [misc]simplify: iters left: 6 (10 enodes) 1536824311.726 * * [misc]simplify: iters left: 5 (18 enodes) 1536824311.729 * * [misc]simplify: iters left: 4 (30 enodes) 1536824311.736 * * [misc]simplify: iters left: 3 (44 enodes) 1536824311.742 * * [misc]simplify: iters left: 2 (59 enodes) 1536824311.758 * * [misc]simplify: iters left: 1 (61 enodes) 1536824311.771 * [exit]simplify: Simplified to (atan2 1 (+ (+ N 1) (* N N))) 1536824311.771 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (+ N 1) (* N N))) 1)) 1536824311.771 * * * * [misc]progress: [ 40 / 73 ] simplifiying candidate # 1536824311.771 * [enter]simplify: Simplifying (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824311.772 * * [misc]simplify: iters left: 6 (10 enodes) 1536824311.777 * * [misc]simplify: iters left: 5 (18 enodes) 1536824311.783 * * [misc]simplify: iters left: 4 (30 enodes) 1536824311.795 * * [misc]simplify: iters left: 3 (44 enodes) 1536824311.808 * * [misc]simplify: iters left: 2 (59 enodes) 1536824311.828 * * [misc]simplify: iters left: 1 (61 enodes) 1536824311.833 * [exit]simplify: Simplified to (atan2 1 (+ (+ N 1) (* N N))) 1536824311.834 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (+ N 1) (* N N))) 1)) 1536824311.834 * * * * [misc]progress: [ 41 / 73 ] simplifiying candidate # 1536824311.834 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824311.834 * * [misc]simplify: iters left: 6 (7 enodes) 1536824311.836 * * [misc]simplify: iters left: 5 (12 enodes) 1536824311.838 * * [misc]simplify: iters left: 4 (19 enodes) 1536824311.843 * * [misc]simplify: iters left: 3 (29 enodes) 1536824311.848 * * [misc]simplify: iters left: 2 (45 enodes) 1536824311.857 * * [misc]simplify: iters left: 1 (46 enodes) 1536824311.862 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824311.862 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ (+ 1/2 1/2) 1))) 1536824311.862 * * * * [misc]progress: [ 42 / 73 ] simplifiying candidate # 1536824311.862 * * * * [misc]progress: [ 43 / 73 ] simplifiying candidate # 1536824311.862 * [enter]simplify: Simplifying (+ (+ (log (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (log (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (log (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.864 * * [misc]simplify: iters left: 6 (12 enodes) 1536824311.869 * * [misc]simplify: iters left: 5 (20 enodes) 1536824311.877 * * [misc]simplify: iters left: 4 (29 enodes) 1536824311.883 * * [misc]simplify: iters left: 3 (40 enodes) 1536824311.889 * * [misc]simplify: iters left: 2 (56 enodes) 1536824311.899 * * [misc]simplify: iters left: 1 (57 enodes) 1536824311.909 * [exit]simplify: Simplified to (+ (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (+ (log (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))))) 1536824311.910 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (+ (log (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))))))) 1536824311.911 * * * * [misc]progress: [ 44 / 73 ] simplifiying candidate # 1536824311.911 * [enter]simplify: Simplifying (+ (log (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (log (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.913 * * [misc]simplify: iters left: 6 (12 enodes) 1536824311.918 * * [misc]simplify: iters left: 5 (20 enodes) 1536824311.926 * * [misc]simplify: iters left: 4 (34 enodes) 1536824311.937 * * [misc]simplify: iters left: 3 (44 enodes) 1536824311.943 * * [misc]simplify: iters left: 2 (59 enodes) 1536824311.953 * * [misc]simplify: iters left: 1 (60 enodes) 1536824311.959 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1)))))) 1536824311.959 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1)))))))) 1536824311.959 * * * * [misc]progress: [ 45 / 73 ] simplifiying candidate # 1536824311.959 * * * * [misc]progress: [ 46 / 73 ] simplifiying candidate # 1536824311.959 * * * * [misc]progress: [ 47 / 73 ] simplifiying candidate # 1536824311.959 * [enter]simplify: Simplifying (* (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824311.962 * * [misc]simplify: iters left: 6 (14 enodes) 1536824311.966 * * [misc]simplify: iters left: 5 (33 enodes) 1536824311.983 * * [misc]simplify: iters left: 4 (77 enodes) 1536824312.024 * * [misc]simplify: iters left: 3 (138 enodes) 1536824312.072 * * [misc]simplify: iters left: 2 (172 enodes) 1536824312.106 * * [misc]simplify: iters left: 1 (176 enodes) 1536824312.128 * [exit]simplify: Simplified to (pow (atan2 1 (+ (* N N) (+ N 1))) 3) 1536824312.128 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (+ (* N N) (+ N 1))) 3))) 1536824312.128 * * * * [misc]progress: [ 48 / 73 ] simplifiying candidate # 1536824312.128 * [enter]simplify: Simplifying (* (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824312.129 * * [misc]simplify: iters left: 6 (14 enodes) 1536824312.134 * * [misc]simplify: iters left: 5 (33 enodes) 1536824312.145 * * [misc]simplify: iters left: 4 (72 enodes) 1536824312.167 * * [misc]simplify: iters left: 3 (131 enodes) 1536824312.218 * * [misc]simplify: iters left: 2 (167 enodes) 1536824312.275 * * [misc]simplify: iters left: 1 (173 enodes) 1536824312.310 * [exit]simplify: Simplified to (pow (atan2 1 (+ (* N N) (+ N 1))) 3) 1536824312.310 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (+ (* N N) (+ N 1))) 3))) 1536824312.310 * * * * [misc]progress: [ 49 / 73 ] simplifiying candidate # 1536824312.311 * * * * [misc]progress: [ 50 / 73 ] simplifiying candidate # 1536824312.311 * * * * [misc]progress: [ 51 / 73 ] simplifiying candidate # 1536824312.311 * [enter]simplify: Simplifying (* (* (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824312.312 * * [misc]simplify: iters left: 6 (9 enodes) 1536824312.317 * * [misc]simplify: iters left: 5 (17 enodes) 1536824312.323 * * [misc]simplify: iters left: 4 (29 enodes) 1536824312.335 * * [misc]simplify: iters left: 3 (42 enodes) 1536824312.348 * * [misc]simplify: iters left: 2 (57 enodes) 1536824312.368 * * [misc]simplify: iters left: 1 (58 enodes) 1536824312.378 * [exit]simplify: Simplified to (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1)))) 1536824312.379 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1)))))) 1536824312.379 * * * * [misc]progress: [ 52 / 73 ] simplifiying candidate # 1536824312.379 * * * * [misc]progress: [ 53 / 73 ] simplifiying candidate # 1536824312.379 * * * * [misc]progress: [ 54 / 73 ] simplifiying candidate # 1536824312.379 * [enter]simplify: Simplifying (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824312.380 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.383 * * [misc]simplify: iters left: 5 (13 enodes) 1536824312.388 * * [misc]simplify: iters left: 4 (20 enodes) 1536824312.397 * * [misc]simplify: iters left: 3 (30 enodes) 1536824312.407 * * [misc]simplify: iters left: 2 (45 enodes) 1536824312.427 * * [misc]simplify: iters left: 1 (46 enodes) 1536824312.436 * [exit]simplify: Simplified to (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824312.436 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824312.436 * * * * [misc]progress: [ 55 / 73 ] simplifiying candidate # 1536824312.437 * [enter]simplify: Simplifying (sqrt (cbrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824312.438 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.441 * * [misc]simplify: iters left: 5 (13 enodes) 1536824312.446 * * [misc]simplify: iters left: 4 (20 enodes) 1536824312.454 * * [misc]simplify: iters left: 3 (30 enodes) 1536824312.460 * * [misc]simplify: iters left: 2 (45 enodes) 1536824312.469 * * [misc]simplify: iters left: 1 (46 enodes) 1536824312.474 * [exit]simplify: Simplified to (sqrt (cbrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824312.474 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ 1 N) N)))) (cbrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) (sqrt (cbrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824312.474 * * * * [misc]progress: [ 56 / 73 ] simplifiying candidate # 1536824312.474 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824312.474 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.476 * * [misc]simplify: iters left: 5 (13 enodes) 1536824312.479 * * [misc]simplify: iters left: 4 (20 enodes) 1536824312.483 * * [misc]simplify: iters left: 3 (30 enodes) 1536824312.488 * * [misc]simplify: iters left: 2 (45 enodes) 1536824312.497 * * [misc]simplify: iters left: 1 (46 enodes) 1536824312.502 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824312.502 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824312.502 * * * * [misc]progress: [ 57 / 73 ] simplifiying candidate # 1536824312.502 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824312.502 * * [misc]simplify: iters left: 6 (7 enodes) 1536824312.504 * * [misc]simplify: iters left: 5 (12 enodes) 1536824312.506 * * [misc]simplify: iters left: 4 (19 enodes) 1536824312.516 * * [misc]simplify: iters left: 3 (29 enodes) 1536824312.521 * * [misc]simplify: iters left: 2 (45 enodes) 1536824312.530 * * [misc]simplify: iters left: 1 (46 enodes) 1536824312.534 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.534 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt 1)) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824312.534 * * * * [misc]progress: [ 58 / 73 ] simplifiying candidate # 1536824312.534 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824312.534 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.536 * * [misc]simplify: iters left: 5 (13 enodes) 1536824312.539 * * [misc]simplify: iters left: 4 (20 enodes) 1536824312.543 * * [misc]simplify: iters left: 3 (30 enodes) 1536824312.548 * * [misc]simplify: iters left: 2 (45 enodes) 1536824312.557 * * [misc]simplify: iters left: 1 (46 enodes) 1536824312.561 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824312.561 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))) 1536824312.561 * * * * [misc]progress: [ 59 / 73 ] simplifiying candidate # 1536824312.561 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))) 1536824312.562 * * [misc]simplify: iters left: 6 (7 enodes) 1536824312.563 * * [misc]simplify: iters left: 5 (12 enodes) 1536824312.566 * * [misc]simplify: iters left: 4 (19 enodes) 1536824312.570 * * [misc]simplify: iters left: 3 (29 enodes) 1536824312.576 * * [misc]simplify: iters left: 2 (45 enodes) 1536824312.593 * * [misc]simplify: iters left: 1 (46 enodes) 1536824312.603 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.603 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824312.603 * * * * [misc]progress: [ 60 / 73 ] simplifiying candidate # 1536824312.603 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) 1536824312.604 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.608 * * [misc]simplify: iters left: 5 (13 enodes) 1536824312.612 * * [misc]simplify: iters left: 4 (20 enodes) 1536824312.621 * * [misc]simplify: iters left: 3 (30 enodes) 1536824312.631 * * [misc]simplify: iters left: 2 (45 enodes) 1536824312.648 * * [misc]simplify: iters left: 1 (46 enodes) 1536824312.657 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) 1536824312.657 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))))) 1536824312.657 * * * * [misc]progress: [ 61 / 73 ] simplifiying candidate # 1536824312.657 * * * * [misc]progress: [ 62 / 73 ] simplifiying candidate # 1536824312.658 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.658 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.662 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.667 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.674 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.681 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.691 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.692 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824312.692 * * * * [misc]progress: [ 63 / 73 ] simplifiying candidate # 1536824312.692 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.693 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.696 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.701 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.708 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.715 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.725 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.725 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824312.725 * * * * [misc]progress: [ 64 / 73 ] simplifiying candidate # 1536824312.726 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.726 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.731 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.738 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.745 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.753 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.763 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.763 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) 1536824312.763 * * * * [misc]progress: [ 65 / 73 ] simplifiying candidate # 1536824312.764 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.765 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.768 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.773 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.780 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.787 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.798 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.798 * [misc]simplify: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824312.798 * * * * [misc]progress: [ 66 / 73 ] simplifiying candidate # 1536824312.798 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.799 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.802 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.808 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.814 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.821 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.831 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.831 * [misc]simplify: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824312.831 * * * * [misc]progress: [ 67 / 73 ] simplifiying candidate # 1536824312.832 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.832 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.836 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.842 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.848 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.856 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.866 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.866 * [misc]simplify: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N))))) (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824312.866 * * * * [misc]progress: [ 68 / 73 ] simplifiying candidate # 1536824312.866 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.867 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.871 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.875 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.878 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.882 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.887 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.887 * [misc]simplify: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824312.888 * * * * [misc]progress: [ 69 / 73 ] simplifiying candidate # 1536824312.888 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.888 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.890 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.893 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.896 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.900 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.906 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.906 * [misc]simplify: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824312.906 * * * * [misc]progress: [ 70 / 73 ] simplifiying candidate # 1536824312.906 * [enter]simplify: Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) 1536824312.906 * * [misc]simplify: iters left: 6 (8 enodes) 1536824312.908 * * [misc]simplify: iters left: 5 (15 enodes) 1536824312.911 * * [misc]simplify: iters left: 4 (22 enodes) 1536824312.917 * * [misc]simplify: iters left: 3 (24 enodes) 1536824312.924 * * [misc]simplify: iters left: 2 (30 enodes) 1536824312.935 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N)))) 1536824312.935 * [misc]simplify: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) (sqrt (atan2 1 (+ 1 (* (+ 1 N) N)))))) 1536824312.935 * * * * [misc]progress: [ 71 / 73 ] simplifiying candidate # 1536824312.935 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824312.936 * * [misc]simplify: iters left: 6 (7 enodes) 1536824312.939 * * [misc]simplify: iters left: 5 (14 enodes) 1536824312.944 * * [misc]simplify: iters left: 4 (21 enodes) 1536824312.950 * * [misc]simplify: iters left: 3 (23 enodes) 1536824312.957 * * [misc]simplify: iters left: 2 (29 enodes) 1536824312.965 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824312.965 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824312.965 * * * * [misc]progress: [ 72 / 73 ] simplifiying candidate # 1536824312.965 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824312.966 * * [misc]simplify: iters left: 6 (7 enodes) 1536824312.968 * * [misc]simplify: iters left: 5 (14 enodes) 1536824312.970 * * [misc]simplify: iters left: 4 (21 enodes) 1536824312.976 * * [misc]simplify: iters left: 3 (23 enodes) 1536824312.979 * * [misc]simplify: iters left: 2 (29 enodes) 1536824312.984 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824312.984 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824312.984 * * * * [misc]progress: [ 73 / 73 ] simplifiying candidate # 1536824312.984 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1536824312.985 * * [misc]simplify: iters left: 6 (7 enodes) 1536824312.987 * * [misc]simplify: iters left: 5 (14 enodes) 1536824312.989 * * [misc]simplify: iters left: 4 (21 enodes) 1536824312.993 * * [misc]simplify: iters left: 3 (23 enodes) 1536824313.000 * * [misc]simplify: iters left: 2 (29 enodes) 1536824313.010 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1536824313.010 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1536824313.010 * * * [misc]progress: adding candidates to table 1536824314.429 * [misc]progress: [Phase 3 of 3] Extracting. 1536824314.429 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1536824314.430 * * * [misc]regime-changes: Trying 1 branch expressions: (N) 1536824314.430 * * * * [misc]regimes: Trying to branch on N from (# # # # # #) 1536824314.489 * * * [misc]regime: Found split indices: #