1548146082.830 * [misc]progress:  [Phase 1 of 3] Setting up.
1548146082.830 * * * [misc]progress:  [1/2] Preparing points
1548146082.872 * * * [misc]progress:  [2/2] Setting up program.
1548146082.876 * [misc]progress:  [Phase 2 of 3] Improving.
1548146082.876 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1548146082.877 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1548146082.877 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146082.879 * * [misc]simplify:  iters left: 4 (11 enodes)
1548146082.882 * * [misc]simplify:  iters left: 3 (12 enodes)
1548146082.884 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1548146082.885 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1548146082.889 * * [misc]progress:  iteration 1 / 4
1548146082.889 * * * [misc]progress:  picking best candidate
1548146082.893 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1548146082.893 * * * [misc]progress:  localizing error
1548146082.915 * * * [misc]progress:  generating rewritten candidates
1548146082.915 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1548146082.922 * * * [misc]progress:  generating series expansions
1548146082.922 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1548146082.923 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1548146082.923 * [misc]approximate:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0
1548146082.923 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1548146082.923 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1548146082.941 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1548146082.941 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1548146082.941 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1548146082.941 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1548146082.941 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1548146082.941 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1548146082.941 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1548146082.941 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1548146082.941 * [misc]backup-simplify:  Simplify (- (atan N)) into (- (atan N))
1548146082.942 * [misc]backup-simplify:  Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N))
1548146082.942 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1548146082.942 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.942 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.942 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.943 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.943 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.943 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.943 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.943 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.943 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.943 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.943 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.943 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.944 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.944 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.944 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.944 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.944 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.944 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.944 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1548146082.945 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1548146082.945 * [misc]approximate:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0
1548146082.945 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1548146082.945 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1548146082.945 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1548146082.945 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1548146082.945 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1548146082.945 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1548146082.945 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1548146082.945 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1548146082.945 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1548146082.945 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1548146082.945 * [misc]backup-simplify:  Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
1548146082.945 * [misc]backup-simplify:  Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1548146082.946 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1548146082.946 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.946 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.946 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.946 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.946 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.946 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.946 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.947 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.947 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.947 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.947 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.947 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.947 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.947 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.947 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.948 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.948 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.948 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.948 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N))
1548146082.948 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1548146082.948 * [misc]approximate:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
1548146082.948 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1548146082.948 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1548146082.948 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1548146082.948 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1548146082.948 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1548146082.949 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1548146082.949 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1548146082.949 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1548146082.949 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1548146082.950 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1548146082.950 * [misc]backup-simplify:  Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
1548146082.950 * [misc]backup-simplify:  Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1548146082.950 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1548146082.950 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.951 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.951 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.951 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.951 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.951 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.951 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.951 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.951 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.951 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.952 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.952 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.952 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.952 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.952 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.952 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146082.952 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146082.952 * [misc]backup-simplify:  Simplify 0 into 0
1548146082.953 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N))
1548146082.953 * * * [misc]progress:  simplifying candidates
1548146082.953 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (N) (atan2 (- (+ N 1) N) (+ 1 (* (+ N 1) N))))>
1548146082.953 * [enter]simplify:  Simplifying (- (+ N 1) N)
1548146082.953 * * [misc]simplify:  iters left: 4 (4 enodes)
1548146082.954 * * [misc]simplify:  iters left: 3 (11 enodes)
1548146082.958 * * [misc]simplify:  iters left: 2 (19 enodes)
1548146082.964 * * [misc]simplify:  iters left: 1 (25 enodes)
1548146082.967 * [exit]simplify:  Simplified to 1
1548146082.967 * [misc]simplify:  Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))
1548146082.967 * [enter]simplify:  Simplifying (+ 1 (* (+ N 1) N))
1548146082.967 * * [misc]simplify:  iters left: 6 (5 enodes)
1548146082.969 * * [misc]simplify:  iters left: 5 (10 enodes)
1548146082.971 * * [misc]simplify:  iters left: 4 (17 enodes)
1548146082.976 * * [misc]simplify:  iters left: 3 (27 enodes)
1548146082.981 * * [misc]simplify:  iters left: 2 (42 enodes)
1548146082.994 * * [misc]simplify:  iters left: 1 (43 enodes)
1548146083.000 * [exit]simplify:  Simplified to (+ (+ N 1) (* N N))
1548146083.000 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N))))
1548146083.000 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (atan (+ N 1))) (exp (atan N)))))>
1548146083.000 * [enter]simplify:  Simplifying (/ (exp (atan (+ N 1))) (exp (atan N)))
1548146083.000 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146083.002 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146083.005 * * [misc]simplify:  iters left: 4 (15 enodes)
1548146083.009 * * [misc]simplify:  iters left: 3 (18 enodes)
1548146083.014 * * [misc]simplify:  iters left: 2 (20 enodes)
1548146083.018 * * [misc]simplify:  iters left: 1 (24 enodes)
1548146083.025 * [exit]simplify:  Simplified to (exp (- (atan (+ 1 N)) (atan N)))
1548146083.025 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N)))))
1548146083.025 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (N) (pow (- (atan (+ N 1)) (atan N)) 1))>
1548146083.025 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (N) (exp (log (- (atan (+ N 1)) (atan N)))))>
1548146083.025 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (N) (log (exp (- (atan (+ N 1)) (atan N)))))>
1548146083.025 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (atan (+ N 1)) (atan N))) (cbrt (- (atan (+ N 1)) (atan N)))) (cbrt (- (atan (+ N 1)) (atan N)))))>
1548146083.025 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))>
1548146083.025 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (atan (+ N 1)) (atan N))) (sqrt (- (atan (+ N 1)) (atan N)))))>
1548146083.025 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (N) (/ (- (pow (atan (+ N 1)) 3) (pow (atan N) 3)) (+ (* (atan (+ N 1)) (atan (+ N 1))) (+ (* (atan N) (atan N)) (* (atan (+ N 1)) (atan N))))))>
1548146083.025 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1548146083.025 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1548146083.025 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (N) (/ (- (* (atan (+ N 1)) (atan (+ N 1))) (* (atan N) (atan N))) (+ (atan (+ N 1)) (atan N))))>
1548146083.025 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))>
1548146083.026 * [enter]simplify:  Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N)))
1548146083.026 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146083.028 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146083.031 * [exit]simplify:  Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N))))
1548146083.031 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))
1548146083.031 * [enter]simplify:  Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N)))
1548146083.031 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146083.034 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146083.037 * * [misc]simplify:  iters left: 4 (14 enodes)
1548146083.040 * [exit]simplify:  Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1548146083.041 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))
1548146083.041 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1548146083.041 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1548146083.041 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146083.043 * * [misc]simplify:  iters left: 4 (11 enodes)
1548146083.045 * * [misc]simplify:  iters left: 3 (12 enodes)
1548146083.048 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1548146083.048 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))
1548146083.048 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1548146083.049 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1548146083.049 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1548146083.049 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146083.051 * * [misc]simplify:  iters left: 4 (11 enodes)
1548146083.053 * * [misc]simplify:  iters left: 3 (12 enodes)
1548146083.056 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1548146083.056 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1548146083.056 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1548146083.056 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1548146083.056 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146083.058 * * [misc]simplify:  iters left: 4 (11 enodes)
1548146083.061 * * [misc]simplify:  iters left: 3 (12 enodes)
1548146083.064 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1548146083.064 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1548146083.064 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1548146083.064 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1548146083.064 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146083.066 * * [misc]simplify:  iters left: 4 (11 enodes)
1548146083.068 * * [misc]simplify:  iters left: 3 (12 enodes)
1548146083.071 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1548146083.071 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1548146083.071 * * * [misc]progress:  adding candidates to table
1548146083.204 * * [misc]progress:  iteration 2 / 4
1548146083.205 * * * [misc]progress:  picking best candidate
1548146083.214 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))>
1548146083.214 * * * [misc]progress:  localizing error
1548146083.222 * * * [misc]progress:  generating rewritten candidates
1548146083.222 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1548146083.222 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2 2)
1548146083.225 * * * [misc]progress:  generating series expansions
1548146083.225 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1548146083.225 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ N 1) N))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.225 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1548146083.225 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146083.225 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.225 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146083.225 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.225 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.225 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.225 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.225 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.225 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.225 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.225 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.225 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.226 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.226 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1548146083.226 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146083.226 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.226 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146083.226 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.226 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.226 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.226 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.226 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.226 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.226 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.226 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.226 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.226 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.226 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1548146083.226 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146083.227 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.227 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146083.227 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.227 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.227 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2 2)
1548146083.227 * [misc]backup-simplify:  Simplify (* (+ N 1) N) into (* (+ N 1) N)
1548146083.227 * [misc]approximate:  Taking taylor expansion of (* (+ N 1) N) in (N) around 0
1548146083.227 * [misc]taylor:  Taking taylor expansion of (* (+ N 1) N) in N
1548146083.227 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1548146083.227 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.227 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.227 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.227 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.227 * [misc]taylor:  Taking taylor expansion of (* (+ N 1) N) in N
1548146083.227 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1548146083.227 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.227 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.227 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.227 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.227 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.227 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.228 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.228 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.228 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1548146083.228 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.228 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.228 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1548146083.228 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.228 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.228 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1
1548146083.229 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.229 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.229 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1548146083.229 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.229 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.229 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1548146083.229 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.229 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.230 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1548146083.230 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.230 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.230 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1548146083.230 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.230 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.230 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1548146083.230 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.231 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.231 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
1548146083.231 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.231 * [misc]backup-simplify:  Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2))
1548146083.231 * [misc]backup-simplify:  Simplify (* (+ (/ 1 N) 1) (/ 1 N)) into (/ (+ (/ 1 N) 1) N)
1548146083.231 * [misc]approximate:  Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in (N) around 0
1548146083.231 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N
1548146083.231 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1548146083.231 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.231 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.231 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.231 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.231 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.231 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.231 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.231 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.231 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.231 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.232 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.232 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.232 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N
1548146083.232 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1548146083.232 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.232 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.232 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.232 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.232 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.232 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.232 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.232 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.232 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.232 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.232 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.232 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.232 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.232 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548146083.233 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.233 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1548146083.233 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.233 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.233 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.234 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1548146083.234 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.234 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.234 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.235 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.235 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.235 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.235 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.236 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.236 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.236 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.236 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.237 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.237 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.238 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.238 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.238 * [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
1548146083.238 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.239 * [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
1548146083.239 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.240 * [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
1548146083.240 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.240 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2))
1548146083.240 * [misc]backup-simplify:  Simplify (* (+ (/ 1 (- N)) 1) (/ 1 (- N))) into (* -1 (/ (- 1 (/ 1 N)) N))
1548146083.240 * [misc]approximate:  Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in (N) around 0
1548146083.240 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N
1548146083.240 * [misc]taylor:  Taking taylor expansion of -1 in N
1548146083.241 * [misc]backup-simplify:  Simplify -1 into -1
1548146083.241 * [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N
1548146083.241 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1548146083.241 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.241 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.241 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.241 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.241 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.241 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.241 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.241 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.241 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.241 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.241 * [misc]backup-simplify:  Simplify (- 1) into -1
1548146083.241 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1548146083.241 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1548146083.242 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N
1548146083.242 * [misc]taylor:  Taking taylor expansion of -1 in N
1548146083.242 * [misc]backup-simplify:  Simplify -1 into -1
1548146083.242 * [misc]taylor:  Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N
1548146083.242 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1548146083.242 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.242 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.242 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.242 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.242 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.242 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.242 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.242 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.242 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.242 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.242 * [misc]backup-simplify:  Simplify (- 1) into -1
1548146083.242 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1548146083.243 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1548146083.243 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1548146083.243 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.243 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548146083.243 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.243 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.244 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1
1548146083.244 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1548146083.244 * [misc]backup-simplify:  Simplify -1 into -1
1548146083.244 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.244 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.245 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.245 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1548146083.245 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0
1548146083.245 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.246 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.246 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.246 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.246 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.247 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0
1548146083.247 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.247 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.247 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.247 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.248 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.248 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1548146083.248 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.252 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.253 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.253 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.254 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.254 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
1548146083.254 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.255 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.255 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.255 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.256 * [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
1548146083.256 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0
1548146083.256 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.257 * [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
1548146083.257 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.257 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.258 * [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
1548146083.258 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0
1548146083.258 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.259 * [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2))
1548146083.259 * * * [misc]progress:  simplifying candidates
1548146083.259 * * * * [misc]progress:  [ 1 / 26 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1))>
1548146083.259 * * * * [misc]progress:  [ 2 / 26 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 3 / 26 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 4 / 26 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 5 / 26 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N)))) (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 6 / 26 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 7 / 26 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (+ 1 (* (+ N 1) N)))))>
1548146083.259 * * * * [misc]progress:  [ 8 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (pow (* (+ N 1) N) 1))))>
1548146083.259 * * * * [misc]progress:  [ 9 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (exp (log (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 10 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (log (exp (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 11 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* (* (cbrt (* (+ N 1) N)) (cbrt (* (+ N 1) N))) (cbrt (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 12 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (cbrt (* (* (* (+ N 1) N) (* (+ N 1) N)) (* (+ N 1) N))))))>
1548146083.259 * * * * [misc]progress:  [ 13 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* (sqrt (* (+ N 1) N)) (sqrt (* (+ N 1) N))))))>
1548146083.260 * * * * [misc]progress:  [ 14 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* 1 (* (+ N 1) N)))))>
1548146083.260 * * * * [misc]progress:  [ 15 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N 1)) (cbrt (+ N 1))) (* (cbrt (+ N 1)) N)))))>
1548146083.260 * [enter]simplify:  Simplifying (* (cbrt (+ N 1)) (cbrt (+ N 1)))
1548146083.260 * * [misc]simplify:  iters left: 5 (5 enodes)
1548146083.262 * * [misc]simplify:  iters left: 4 (8 enodes)
1548146083.265 * [exit]simplify:  Simplified to (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))
1548146083.265 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt (+ N 1)) N)))))
1548146083.265 * * * * [misc]progress:  [ 16 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* (sqrt (+ N 1)) (* (sqrt (+ N 1)) N)))))>
1548146083.265 * [enter]simplify:  Simplifying (sqrt (+ N 1))
1548146083.265 * * [misc]simplify:  iters left: 3 (4 enodes)
1548146083.266 * * [misc]simplify:  iters left: 2 (7 enodes)
1548146083.268 * [exit]simplify:  Simplified to (sqrt (+ 1 N))
1548146083.268 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (sqrt (+ 1 N)) (* (sqrt (+ N 1)) N)))))
1548146083.268 * * * * [misc]progress:  [ 17 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* 1 (* (+ N 1) N)))))>
1548146083.268 * * * * [misc]progress:  [ 18 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (/ (* (+ (pow N 3) (pow 1 3)) N) (+ (* N N) (- (* 1 1) (* N 1)))))))>
1548146083.268 * [enter]simplify:  Simplifying (* (+ (pow N 3) (pow 1 3)) N)
1548146083.269 * * [misc]simplify:  iters left: 5 (7 enodes)
1548146083.272 * * [misc]simplify:  iters left: 4 (16 enodes)
1548146083.275 * * [misc]simplify:  iters left: 3 (26 enodes)
1548146083.286 * * [misc]simplify:  iters left: 2 (32 enodes)
1548146083.290 * [exit]simplify:  Simplified to (+ N (pow N 4))
1548146083.290 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (+ N (pow N 4)) (+ (* N N) (- (* 1 1) (* N 1)))))))
1548146083.290 * * * * [misc]progress:  [ 19 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (/ (* (- (* N N) (* 1 1)) N) (- N 1)))))>
1548146083.291 * [enter]simplify:  Simplifying (* (- (* N N) (* 1 1)) N)
1548146083.291 * * [misc]simplify:  iters left: 6 (6 enodes)
1548146083.292 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146083.293 * * [misc]simplify:  iters left: 4 (15 enodes)
1548146083.295 * * [misc]simplify:  iters left: 3 (22 enodes)
1548146083.298 * * [misc]simplify:  iters left: 2 (56 enodes)
1548146083.315 * * [misc]simplify:  iters left: 1 (136 enodes)
1548146083.362 * [exit]simplify:  Simplified to (- (pow N 3) N)
1548146083.362 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (- (pow N 3) N) (- N 1)))))
1548146083.362 * * * * [misc]progress:  [ 20 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* N (+ N 1)))))>
1548146083.362 * * * * [misc]progress:  [ 21 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.362 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.362 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146083.363 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146083.365 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146083.370 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146083.376 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146083.383 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146083.383 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146083.383 * * * * [misc]progress:  [ 22 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.383 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.383 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146083.386 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146083.389 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146083.395 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146083.400 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146083.409 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146083.409 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146083.409 * * * * [misc]progress:  [ 23 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.409 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.409 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146083.411 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146083.415 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146083.420 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146083.426 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146083.434 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146083.434 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146083.434 * * * * [misc]progress:  [ 24 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (+ N (pow N 2)))))>
1548146083.434 * [enter]simplify:  Simplifying (+ N (pow N 2))
1548146083.434 * * [misc]simplify:  iters left: 3 (4 enodes)
1548146083.436 * * [misc]simplify:  iters left: 2 (6 enodes)
1548146083.437 * * [misc]simplify:  iters left: 1 (9 enodes)
1548146083.440 * [exit]simplify:  Simplified to (+ N (* N N))
1548146083.440 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N)))))
1548146083.440 * * * * [misc]progress:  [ 25 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (+ N (pow N 2)))))>
1548146083.440 * [enter]simplify:  Simplifying (+ N (pow N 2))
1548146083.440 * * [misc]simplify:  iters left: 3 (4 enodes)
1548146083.441 * * [misc]simplify:  iters left: 2 (6 enodes)
1548146083.443 * * [misc]simplify:  iters left: 1 (9 enodes)
1548146083.446 * [exit]simplify:  Simplified to (+ N (* N N))
1548146083.446 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N)))))
1548146083.446 * * * * [misc]progress:  [ 26 / 26 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (+ N (pow N 2)))))>
1548146083.446 * [enter]simplify:  Simplifying (+ N (pow N 2))
1548146083.446 * * [misc]simplify:  iters left: 3 (4 enodes)
1548146083.447 * * [misc]simplify:  iters left: 2 (6 enodes)
1548146083.449 * * [misc]simplify:  iters left: 1 (9 enodes)
1548146083.451 * [exit]simplify:  Simplified to (+ N (* N N))
1548146083.451 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N)))))
1548146083.452 * * * [misc]progress:  adding candidates to table
1548146083.628 * * [misc]progress:  iteration 3 / 4
1548146083.628 * * * [misc]progress:  picking best candidate
1548146083.641 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.641 * * * [misc]progress:  localizing error
1548146083.665 * * * [misc]progress:  generating rewritten candidates
1548146083.665 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1548146083.665 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1548146083.671 * * * [misc]progress:  generating series expansions
1548146083.671 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1548146083.671 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.671 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1548146083.671 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146083.671 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.671 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146083.671 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.671 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.672 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.672 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.672 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.672 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.672 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.672 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.672 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.672 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 N) (+ (pow (/ 1 N) 2) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.672 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1548146083.672 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146083.672 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.672 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146083.673 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.673 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146083.673 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.673 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.673 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.673 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.673 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.673 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.673 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.674 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (- N)) (+ (pow (/ 1 (- N)) 2) 1))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.674 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1548146083.674 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146083.674 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.674 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146083.674 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.674 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146083.674 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.674 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.674 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.674 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.675 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.675 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.675 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.675 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1548146083.675 * [misc]backup-simplify:  Simplify (+ N (+ (pow N 2) 1)) into (+ N (+ (pow N 2) 1))
1548146083.675 * [misc]approximate:  Taking taylor expansion of (+ N (+ (pow N 2) 1)) in (N) around 0
1548146083.675 * [misc]taylor:  Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N
1548146083.675 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.675 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.675 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.675 * [misc]taylor:  Taking taylor expansion of (+ (pow N 2) 1) in N
1548146083.675 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1548146083.675 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.675 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.675 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.675 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.675 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.675 * [misc]taylor:  Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N
1548146083.675 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.675 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.675 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.675 * [misc]taylor:  Taking taylor expansion of (+ (pow N 2) 1) in N
1548146083.676 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1548146083.676 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.676 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.676 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.676 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.676 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.676 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.676 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.676 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.676 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.677 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.677 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.677 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548146083.677 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.677 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.677 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.677 * [misc]backup-simplify:  Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1))
1548146083.677 * [misc]backup-simplify:  Simplify (+ (/ 1 N) (+ (pow (/ 1 N) 2) 1)) into (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))
1548146083.677 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in (N) around 0
1548146083.678 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.678 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.678 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.678 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548146083.678 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.678 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.678 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.678 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.678 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.678 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.678 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.678 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1548146083.678 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.678 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.679 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.679 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548146083.679 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.679 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1548146083.679 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.679 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.679 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.679 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.679 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.679 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.679 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.679 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.679 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.680 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548146083.680 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548146083.680 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.680 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.680 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.680 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548146083.681 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.681 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548146083.681 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.681 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.681 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.682 * [misc]backup-simplify:  Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1))
1548146083.682 * [misc]backup-simplify:  Simplify (+ (/ 1 (- N)) (+ (pow (/ 1 (- N)) 2) 1)) into (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))
1548146083.682 * [misc]approximate:  Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in (N) around 0
1548146083.682 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N
1548146083.682 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
1548146083.682 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1548146083.682 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1548146083.682 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.682 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.682 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.682 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548146083.682 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.683 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.683 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.683 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.683 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.683 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.683 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.683 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.683 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N
1548146083.683 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
1548146083.683 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1548146083.683 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1548146083.683 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.683 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.683 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.684 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1548146083.684 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.684 * [misc]taylor:  Taking taylor expansion of 1 in N
1548146083.684 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.684 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1548146083.684 * [misc]taylor:  Taking taylor expansion of N in N
1548146083.684 * [misc]backup-simplify:  Simplify 0 into 0
1548146083.684 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.684 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1548146083.684 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.685 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.685 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.685 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1548146083.685 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548146083.685 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1548146083.685 * [misc]backup-simplify:  Simplify (- 1) into -1
1548146083.686 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1548146083.686 * [misc]backup-simplify:  Simplify -1 into -1
1548146083.686 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1548146083.686 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1548146083.686 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1548146083.687 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1548146083.687 * [misc]backup-simplify:  Simplify (- 0) into 0
1548146083.687 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1548146083.687 * [misc]backup-simplify:  Simplify 1 into 1
1548146083.687 * [misc]backup-simplify:  Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1))
1548146083.687 * * * [misc]progress:  simplifying candidates
1548146083.687 * * * * [misc]progress:  [ 1 / 24 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (+ N (+ (pow N 2) 1))) 1))>
1548146083.687 * * * * [misc]progress:  [ 2 / 24 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146083.687 * * * * [misc]progress:  [ 3 / 24 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146083.687 * * * * [misc]progress:  [ 4 / 24 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (atan2 1 (+ N (+ (pow N 2) 1)))) (cbrt (atan2 1 (+ N (+ (pow N 2) 1))))) (cbrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 5 / 24 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (atan2 1 (+ N (+ (pow N 2) 1))) (atan2 1 (+ N (+ (pow N 2) 1)))) (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 6 / 24 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 7 / 24 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (+ N (+ (pow N 2) 1)))))>
1548146083.688 * * * * [misc]progress:  [ 8 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (+ N (+ (pow N 2) 1)) 1)))>
1548146083.688 * * * * [misc]progress:  [ 9 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (exp (log (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 10 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log (exp (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 11 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (cbrt (+ N (+ (pow N 2) 1))) (cbrt (+ N (+ (pow N 2) 1)))) (cbrt (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 12 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (cbrt (* (* (+ N (+ (pow N 2) 1)) (+ N (+ (pow N 2) 1))) (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 13 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (+ N (+ (pow N 2) 1))) (sqrt (+ N (+ (pow N 2) 1))))))>
1548146083.688 * * * * [misc]progress:  [ 14 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (/ (+ (pow N 3) (pow (+ (pow N 2) 1) 3)) (+ (* N N) (- (* (+ (pow N 2) 1) (+ (pow N 2) 1)) (* N (+ (pow N 2) 1)))))))>
1548146083.688 * * * * [misc]progress:  [ 15 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (+ N (+ (pow N 2) 1)))))>
1548146083.688 * * * * [misc]progress:  [ 16 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (/ (- (* N N) (* (+ (pow N 2) 1) (+ (pow N 2) 1))) (- N (+ (pow N 2) 1)))))>
1548146083.688 * * * * [misc]progress:  [ 17 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (+ N (pow N 2)) 1)))>
1548146083.688 * * * * [misc]progress:  [ 18 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (+ (pow N 2) 1) N)))>
1548146083.688 * * * * [misc]progress:  [ 19 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.689 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.689 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146083.691 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146083.694 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146083.700 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146083.705 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146083.712 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146083.713 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146083.713 * * * * [misc]progress:  [ 20 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.713 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.713 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146083.715 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146083.719 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146083.724 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146083.733 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146083.740 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146083.740 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146083.741 * * * * [misc]progress:  [ 21 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.741 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146083.741 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146083.743 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146083.747 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146083.752 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146083.757 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146083.765 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146083.765 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146083.765 * * * * [misc]progress:  [ 22 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.765 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1548146083.765 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146083.767 * * [misc]simplify:  iters left: 4 (13 enodes)
1548146083.770 * * [misc]simplify:  iters left: 3 (20 enodes)
1548146083.776 * * [misc]simplify:  iters left: 2 (22 enodes)
1548146083.781 * * [misc]simplify:  iters left: 1 (28 enodes)
1548146083.787 * [exit]simplify:  Simplified to (+ (+ 1 N) (* N N))
1548146083.787 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N))))
1548146083.787 * * * * [misc]progress:  [ 23 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.787 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1548146083.787 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146083.789 * * [misc]simplify:  iters left: 4 (13 enodes)
1548146083.792 * * [misc]simplify:  iters left: 3 (20 enodes)
1548146083.796 * * [misc]simplify:  iters left: 2 (22 enodes)
1548146083.801 * * [misc]simplify:  iters left: 1 (28 enodes)
1548146083.807 * [exit]simplify:  Simplified to (+ (+ 1 N) (* N N))
1548146083.807 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N))))
1548146083.807 * * * * [misc]progress:  [ 24 / 24 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146083.807 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1548146083.807 * * [misc]simplify:  iters left: 5 (6 enodes)
1548146083.809 * * [misc]simplify:  iters left: 4 (13 enodes)
1548146083.812 * * [misc]simplify:  iters left: 3 (20 enodes)
1548146083.816 * * [misc]simplify:  iters left: 2 (22 enodes)
1548146083.821 * * [misc]simplify:  iters left: 1 (28 enodes)
1548146083.828 * [exit]simplify:  Simplified to (+ (+ 1 N) (* N N))
1548146083.828 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N))))
1548146083.828 * * * [misc]progress:  adding candidates to table
1548146084.009 * * [misc]progress:  iteration 4 / 4
1548146084.009 * * * [misc]progress:  picking best candidate
1548146084.014 * * * * [misc]pick:  Picked  #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.014 * * * [misc]progress:  localizing error
1548146084.023 * * * [misc]progress:  generating rewritten candidates
1548146084.023 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1548146084.024 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1548146084.024 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1548146084.029 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1548146084.030 * * * [misc]progress:  generating series expansions
1548146084.030 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1548146084.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.030 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0
1548146084.030 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1548146084.030 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.030 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.030 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.030 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1548146084.030 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.030 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.030 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.031 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.031 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.031 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.031 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.031 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.032 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.032 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.032 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.032 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.033 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.033 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.033 * [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
1548146084.033 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.033 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.034 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))))
1548146084.034 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0
1548146084.034 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1548146084.034 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.034 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.034 * [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))))
1548146084.034 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.034 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1548146084.034 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.034 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.034 * [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))))
1548146084.034 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.035 * [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))))
1548146084.035 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.035 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.035 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.036 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.036 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.036 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.036 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.037 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.037 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.037 * [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
1548146084.037 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.037 * [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))))
1548146084.038 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))))
1548146084.038 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0
1548146084.038 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1548146084.038 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.038 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.038 * [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))))
1548146084.038 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.038 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1548146084.038 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.038 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.038 * [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))))
1548146084.038 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.039 * [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))))
1548146084.039 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.039 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.039 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.040 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.040 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.040 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.040 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.041 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.041 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.042 * [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
1548146084.042 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.042 * [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))))
1548146084.042 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1548146084.042 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.042 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0
1548146084.042 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1548146084.042 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.043 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.043 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.043 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.043 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1548146084.043 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.043 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.043 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.043 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.044 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.044 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.045 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.045 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.045 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.045 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.046 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.047 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.047 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1548146084.047 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.048 * [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
1548146084.048 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.049 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.049 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))))
1548146084.049 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0
1548146084.049 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1548146084.049 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.049 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.050 * [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))))
1548146084.050 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.050 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1548146084.050 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.050 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.050 * [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))))
1548146084.051 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.051 * [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))))
1548146084.051 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.052 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.053 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.053 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.053 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.054 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.054 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.054 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1548146084.054 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.056 * [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
1548146084.056 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.056 * [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))))
1548146084.057 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))))
1548146084.057 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0
1548146084.057 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1548146084.057 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.057 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.057 * [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))))
1548146084.058 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.058 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1548146084.058 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.058 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.058 * [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))))
1548146084.058 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.059 * [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))))
1548146084.059 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.060 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.060 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.061 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.061 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.062 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.062 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.062 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1548146084.062 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.063 * [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
1548146084.063 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.063 * [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))))
1548146084.063 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1548146084.063 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.063 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1548146084.063 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.063 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.063 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.063 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.064 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.064 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.064 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.064 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.064 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.064 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.064 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.064 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.064 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.064 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1548146084.064 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.064 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.064 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.064 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.065 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.065 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.065 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.065 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.065 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.065 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.065 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.065 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.065 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.065 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1548146084.065 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.065 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.065 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.066 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.066 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.066 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.066 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.066 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.066 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.066 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.066 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.066 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.066 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1548146084.066 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ N 1) N))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.066 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1548146084.066 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.066 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.066 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1548146084.066 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.067 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.067 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.067 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1548146084.067 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.067 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.067 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1548146084.067 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.067 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.067 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.068 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.068 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.068 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1548146084.068 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.068 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.068 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1548146084.068 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.068 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1548146084.068 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.068 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.068 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.068 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.068 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.068 * [misc]backup-simplify:  Simplify 0 into 0
1548146084.068 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.068 * * * [misc]progress:  simplifying candidates
1548146084.069 * * * * [misc]progress:  [ 1 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1/2)))>
1548146084.069 * * * * [misc]progress:  [ 2 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1)))>
1548146084.069 * * * * [misc]progress:  [ 3 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (exp (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.069 * * * * [misc]progress:  [ 4 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (log (exp (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.069 * * * * [misc]progress:  [ 5 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.069 * * * * [misc]progress:  [ 6 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.069 * * * * [misc]progress:  [ 7 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.069 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.069 * * [misc]simplify:  iters left: 6 (9 enodes)
1548146084.070 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.072 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.076 * * [misc]simplify:  iters left: 3 (32 enodes)
1548146084.079 * * [misc]simplify:  iters left: 2 (48 enodes)
1548146084.087 * * [misc]simplify:  iters left: 1 (49 enodes)
1548146084.093 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.093 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1548146084.093 * * * * [misc]progress:  [ 8 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.094 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.094 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.099 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.102 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.108 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.115 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.129 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.132 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.132 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1548146084.132 * * * * [misc]progress:  [ 9 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.132 * [enter]simplify:  Simplifying (sqrt 1)
1548146084.132 * * [misc]simplify:  iters left: 1 (2 enodes)
1548146084.133 * [exit]simplify:  Simplified to 1
1548146084.133 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1548146084.133 * * * * [misc]progress:  [ 10 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.133 * * * * [misc]progress:  [ 11 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (fabs (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.133 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.133 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.134 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.136 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.139 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.142 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.149 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.152 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.152 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N)))))))
1548146084.152 * * * * [misc]progress:  [ 12 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.152 * * * * [misc]progress:  [ 13 / 73 ] simplifiying candidate #<alt (λ (N) (* (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1/2) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.152 * * * * [misc]progress:  [ 14 / 73 ] simplifiying candidate #<alt (λ (N) (* (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.152 * * * * [misc]progress:  [ 15 / 73 ] simplifiying candidate #<alt (λ (N) (* (exp (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.152 * * * * [misc]progress:  [ 16 / 73 ] simplifiying candidate #<alt (λ (N) (* (log (exp (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.152 * * * * [misc]progress:  [ 17 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.152 * * * * [misc]progress:  [ 18 / 73 ] simplifiying candidate #<alt (λ (N) (* (cbrt (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.152 * * * * [misc]progress:  [ 19 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.152 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.152 * * [misc]simplify:  iters left: 6 (9 enodes)
1548146084.154 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.156 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.162 * * [misc]simplify:  iters left: 3 (32 enodes)
1548146084.170 * * [misc]simplify:  iters left: 2 (48 enodes)
1548146084.179 * * [misc]simplify:  iters left: 1 (49 enodes)
1548146084.183 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.183 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.183 * * * * [misc]progress:  [ 20 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.183 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.183 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.184 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.186 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.189 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.193 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.201 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.206 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.206 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.206 * * * * [misc]progress:  [ 21 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.206 * [enter]simplify:  Simplifying (sqrt 1)
1548146084.206 * * [misc]simplify:  iters left: 1 (2 enodes)
1548146084.207 * [exit]simplify:  Simplified to 1
1548146084.207 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.207 * * * * [misc]progress:  [ 22 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.207 * * * * [misc]progress:  [ 23 / 73 ] simplifiying candidate #<alt (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.208 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.208 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.209 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.210 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.213 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.216 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.223 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.227 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.227 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.227 * * * * [misc]progress:  [ 24 / 73 ] simplifiying candidate #<alt (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.227 * * * * [misc]progress:  [ 25 / 73 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (+ 1 (* (+ N 1) N))) (+ 1/2 1/2)))>
1548146084.227 * [enter]simplify:  Simplifying (atan2 1 (+ 1 (* (+ N 1) N)))
1548146084.227 * * [misc]simplify:  iters left: 6 (6 enodes)
1548146084.228 * * [misc]simplify:  iters left: 5 (11 enodes)
1548146084.229 * * [misc]simplify:  iters left: 4 (18 enodes)
1548146084.232 * * [misc]simplify:  iters left: 3 (28 enodes)
1548146084.235 * * [misc]simplify:  iters left: 2 (44 enodes)
1548146084.244 * * [misc]simplify:  iters left: 1 (45 enodes)
1548146084.250 * [exit]simplify:  Simplified to (atan2 1 (+ (+ N 1) (* N N)))
1548146084.250 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (+ N 1) (* N N))) (+ 1/2 1/2)))
1548146084.250 * [enter]simplify:  Simplifying (+ 1/2 1/2)
1548146084.250 * * [misc]simplify:  iters left: 2 (2 enodes)
1548146084.251 * * [misc]simplify:  iters left: 1 (3 enodes)
1548146084.252 * [exit]simplify:  Simplified to 1
1548146084.252 * [misc]simplify:  Simplified (2 2) to (λ (N) (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1))
1548146084.252 * * * * [misc]progress:  [ 26 / 73 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (+ 1 1)))>
1548146084.252 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.253 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.255 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.258 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.264 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.270 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.285 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.288 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.288 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ 1 1)))
1548146084.288 * [enter]simplify:  Simplifying (+ 1 1)
1548146084.288 * * [misc]simplify:  iters left: 2 (2 enodes)
1548146084.289 * * [misc]simplify:  iters left: 1 (5 enodes)
1548146084.289 * [exit]simplify:  Simplified to 2
1548146084.290 * [misc]simplify:  Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 2))
1548146084.290 * * * * [misc]progress:  [ 27 / 73 ] simplifiying candidate #<alt (λ (N) (pow (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N)))) 1/2))>
1548146084.290 * [enter]simplify:  Simplifying (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.290 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.291 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.292 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.295 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.299 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.306 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.309 * [exit]simplify:  Simplified to (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N))))
1548146084.309 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N)))) 1/2))
1548146084.309 * * * * [misc]progress:  [ 28 / 73 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) 1))>
1548146084.309 * [enter]simplify:  Simplifying (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.309 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.311 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.312 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146084.318 * * [misc]simplify:  iters left: 3 (31 enodes)
1548146084.323 * * [misc]simplify:  iters left: 2 (46 enodes)
1548146084.330 * * [misc]simplify:  iters left: 1 (48 enodes)
1548146084.333 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146084.333 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (* N N) (+ N 1))) 1))
1548146084.333 * * * * [misc]progress:  [ 29 / 73 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 2))>
1548146084.334 * * * * [misc]progress:  [ 30 / 73 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (+ 1 1)))>
1548146084.334 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.334 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.335 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.336 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.339 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.342 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.351 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.357 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.358 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ 1 1)))
1548146084.358 * * * * [misc]progress:  [ 31 / 73 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) 1))>
1548146084.358 * * * * [misc]progress:  [ 32 / 73 ] simplifiying candidate #<alt (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.358 * [enter]simplify:  Simplifying (+ (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.358 * * [misc]simplify:  iters left: 6 (9 enodes)
1548146084.362 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146084.366 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146084.372 * * [misc]simplify:  iters left: 3 (31 enodes)
1548146084.379 * * [misc]simplify:  iters left: 2 (46 enodes)
1548146084.389 * * [misc]simplify:  iters left: 1 (48 enodes)
1548146084.393 * [exit]simplify:  Simplified to (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1548146084.393 * [misc]simplify:  Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))))))
1548146084.393 * * * * [misc]progress:  [ 33 / 73 ] simplifiying candidate #<alt (λ (N) (exp (log (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.393 * * * * [misc]progress:  [ 34 / 73 ] simplifiying candidate #<alt (λ (N) (log (exp (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.393 * * * * [misc]progress:  [ 35 / 73 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.393 * [enter]simplify:  Simplifying (* (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.393 * * [misc]simplify:  iters left: 6 (10 enodes)
1548146084.395 * * [misc]simplify:  iters left: 5 (20 enodes)
1548146084.398 * * [misc]simplify:  iters left: 4 (36 enodes)
1548146084.403 * * [misc]simplify:  iters left: 3 (51 enodes)
1548146084.411 * * [misc]simplify:  iters left: 2 (70 enodes)
1548146084.430 * * [misc]simplify:  iters left: 1 (74 enodes)
1548146084.437 * [exit]simplify:  Simplified to (pow (atan2 1 (+ (+ N 1) (* N N))) 3)
1548146084.437 * [misc]simplify:  Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (+ (+ N 1) (* N N))) 3)))
1548146084.438 * * * * [misc]progress:  [ 36 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (cbrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (cbrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.438 * * * * [misc]progress:  [ 37 / 73 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.438 * * * * [misc]progress:  [ 38 / 73 ] simplifiying candidate #<alt (λ (N) (sqrt (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.438 * [enter]simplify:  Simplifying (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.438 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.439 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.441 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.444 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.448 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.457 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.461 * [exit]simplify:  Simplified to (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N))))
1548146084.461 * [misc]simplify:  Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N))))))
1548146084.461 * * * * [misc]progress:  [ 39 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.461 * * * * [misc]progress:  [ 40 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))>
1548146084.462 * [enter]simplify:  Simplifying (+ 1 (* (+ N 1) N))
1548146084.462 * * [misc]simplify:  iters left: 6 (5 enodes)
1548146084.464 * * [misc]simplify:  iters left: 5 (10 enodes)
1548146084.467 * * [misc]simplify:  iters left: 4 (17 enodes)
1548146084.473 * * [misc]simplify:  iters left: 3 (27 enodes)
1548146084.479 * * [misc]simplify:  iters left: 2 (42 enodes)
1548146084.493 * * [misc]simplify:  iters left: 1 (43 enodes)
1548146084.498 * [exit]simplify:  Simplified to (+ (+ N 1) (* N N))
1548146084.498 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N))))
1548146084.498 * * * * [misc]progress:  [ 41 / 73 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.498 * * * * [misc]progress:  [ 42 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.498 * [enter]simplify:  Simplifying (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.499 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.501 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.504 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.510 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.517 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.532 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.538 * [exit]simplify:  Simplified to (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.538 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))))
1548146084.538 * * * * [misc]progress:  [ 43 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.539 * [enter]simplify:  Simplifying (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.539 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.541 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.545 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.551 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.558 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.568 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.572 * [exit]simplify:  Simplified to (sqrt (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.572 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (cbrt (atan2 1 (+ (* N N) (+ N 1)))))))
1548146084.572 * * * * [misc]progress:  [ 44 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.572 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.572 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.573 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.575 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.580 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.587 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.601 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.607 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.607 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))))
1548146084.607 * * * * [misc]progress:  [ 45 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.607 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.608 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.610 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.613 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.618 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.625 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.639 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.645 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.645 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt 1)) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1548146084.645 * * * * [misc]progress:  [ 46 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.645 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.645 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.648 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.651 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.657 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.664 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.680 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.686 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.686 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))))
1548146084.686 * * * * [misc]progress:  [ 47 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.687 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1548146084.687 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.689 * * [misc]simplify:  iters left: 5 (12 enodes)
1548146084.692 * * [misc]simplify:  iters left: 4 (19 enodes)
1548146084.695 * * [misc]simplify:  iters left: 3 (29 enodes)
1548146084.699 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.708 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.711 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.711 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1548146084.711 * * * * [misc]progress:  [ 48 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.711 * [enter]simplify:  Simplifying (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.711 * * [misc]simplify:  iters left: 6 (9 enodes)
1548146084.712 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146084.714 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146084.717 * * [misc]simplify:  iters left: 3 (31 enodes)
1548146084.721 * * [misc]simplify:  iters left: 2 (46 enodes)
1548146084.728 * * [misc]simplify:  iters left: 1 (48 enodes)
1548146084.732 * [exit]simplify:  Simplified to (* (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1548146084.732 * [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 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1548146084.732 * * * * [misc]progress:  [ 49 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.732 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.732 * * [misc]simplify:  iters left: 6 (9 enodes)
1548146084.735 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.739 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.745 * * [misc]simplify:  iters left: 3 (32 enodes)
1548146084.753 * * [misc]simplify:  iters left: 2 (48 enodes)
1548146084.767 * * [misc]simplify:  iters left: 1 (49 enodes)
1548146084.775 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.775 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1548146084.775 * * * * [misc]progress:  [ 50 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.775 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.775 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.777 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.781 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.787 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.794 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.809 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.815 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.816 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1548146084.816 * * * * [misc]progress:  [ 51 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt 1) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.816 * [enter]simplify:  Simplifying (sqrt 1)
1548146084.816 * * [misc]simplify:  iters left: 1 (2 enodes)
1548146084.817 * [exit]simplify:  Simplified to 1
1548146084.817 * [misc]simplify:  Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1548146084.817 * * * * [misc]progress:  [ 52 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.818 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1548146084.818 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.820 * * [misc]simplify:  iters left: 5 (13 enodes)
1548146084.823 * * [misc]simplify:  iters left: 4 (20 enodes)
1548146084.829 * * [misc]simplify:  iters left: 3 (30 enodes)
1548146084.836 * * [misc]simplify:  iters left: 2 (45 enodes)
1548146084.851 * * [misc]simplify:  iters left: 1 (46 enodes)
1548146084.857 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1548146084.857 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1548146084.857 * * * * [misc]progress:  [ 53 / 73 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.857 * * * * [misc]progress:  [ 54 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.857 * * * * [misc]progress:  [ 55 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1))))>
1548146084.857 * * * * [misc]progress:  [ 56 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (exp (log (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.858 * * * * [misc]progress:  [ 57 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (log (exp (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.858 * * * * [misc]progress:  [ 58 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.858 * * * * [misc]progress:  [ 59 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (cbrt (* (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N)))) (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.858 * * * * [misc]progress:  [ 60 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1548146084.858 * * * * [misc]progress:  [ 61 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* 1 (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1548146084.858 * * * * [misc]progress:  [ 62 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146084.858 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.858 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.860 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.864 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.870 * * [misc]simplify:  iters left: 3 (24 enodes)
1548146084.875 * * [misc]simplify:  iters left: 2 (30 enodes)
1548146084.882 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.882 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1548146084.882 * * * * [misc]progress:  [ 63 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146084.882 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.882 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.884 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.887 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.892 * * [misc]simplify:  iters left: 3 (24 enodes)
1548146084.899 * * [misc]simplify:  iters left: 2 (30 enodes)
1548146084.907 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.907 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1548146084.907 * * * * [misc]progress:  [ 64 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146084.907 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.907 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.910 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.913 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.919 * * [misc]simplify:  iters left: 3 (24 enodes)
1548146084.925 * * [misc]simplify:  iters left: 2 (30 enodes)
1548146084.931 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.931 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1548146084.931 * * * * [misc]progress:  [ 65 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.931 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.931 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.933 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.935 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.937 * * [misc]simplify:  iters left: 3 (24 enodes)
1548146084.941 * * [misc]simplify:  iters left: 2 (30 enodes)
1548146084.945 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.945 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.945 * * * * [misc]progress:  [ 66 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.945 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.945 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.947 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.949 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.951 * * [misc]simplify:  iters left: 3 (24 enodes)
1548146084.954 * * [misc]simplify:  iters left: 2 (30 enodes)
1548146084.959 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.959 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.959 * * * * [misc]progress:  [ 67 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1548146084.959 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1548146084.959 * * [misc]simplify:  iters left: 6 (8 enodes)
1548146084.960 * * [misc]simplify:  iters left: 5 (15 enodes)
1548146084.964 * * [misc]simplify:  iters left: 4 (22 enodes)
1548146084.969 * * [misc]simplify:  iters left: 3 (24 enodes)
1548146084.975 * * [misc]simplify:  iters left: 2 (30 enodes)
1548146084.983 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1548146084.983 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1548146084.983 * * * * [misc]progress:  [ 68 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146084.983 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.983 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.985 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146084.987 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146084.989 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146084.992 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146084.996 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146084.996 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146084.996 * * * * [misc]progress:  [ 69 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146084.996 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146084.996 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146084.997 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146084.999 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146085.001 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146085.004 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146085.009 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146085.009 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146085.009 * * * * [misc]progress:  [ 70 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1548146085.009 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146085.009 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146085.010 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146085.012 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146085.017 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146085.022 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146085.030 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146085.030 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1548146085.030 * * * * [misc]progress:  [ 71 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146085.030 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146085.030 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146085.032 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146085.037 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146085.041 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146085.044 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146085.047 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146085.048 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1548146085.048 * * * * [misc]progress:  [ 72 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146085.048 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146085.048 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146085.049 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146085.051 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146085.053 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146085.056 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146085.060 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146085.060 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1548146085.060 * * * * [misc]progress:  [ 73 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1548146085.061 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146085.061 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146085.062 * * [misc]simplify:  iters left: 5 (14 enodes)
1548146085.063 * * [misc]simplify:  iters left: 4 (21 enodes)
1548146085.066 * * [misc]simplify:  iters left: 3 (23 enodes)
1548146085.069 * * [misc]simplify:  iters left: 2 (29 enodes)
1548146085.073 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1548146085.073 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1548146085.073 * * * [misc]progress:  adding candidates to table
1548146085.691 * [misc]progress:  [Phase 3 of 3] Extracting.
1548146085.691 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))> #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))))> #<alt (λ (N) (atan2 1 (+ 1 (/ (- (pow N 3) N) (- N 1)))))> #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))> #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))> #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>)
1548146085.692 * * * [misc]regime-changes:  Trying 1 branch expressions: (N)
1548146085.692 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))> #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))))> #<alt (λ (N) (atan2 1 (+ 1 (/ (- (pow N 3) N) (- N 1)))))> #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))> #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))> #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>)
1548146085.752 * * * [misc]regime:  Found split indices: #<option (#s(si 4 255))>
1548146085.752 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1548146085.752 * * [misc]simplify:  iters left: 6 (7 enodes)
1548146085.753 * * [misc]simplify:  iters left: 5 (11 enodes)
1548146085.754 * [exit]simplify:  Simplified to (atan2 1 (+ N (+ (pow N 2) 1)))
1548146087.977 * [misc]regime-testing:  Baseline error score: 0.3657572241501984
1548146087.979 * [misc]regime-testing:  Oracle error score: 0.32223054268983553
1548146087.982 * [misc]regime-testing:  End program error score: 0.3657572241501984
1548146088.057 * [misc]regime-testing:  Target error score: 0.36398576209226086