1547800611.215 * [misc]progress:  [Phase 1 of 3] Setting up.
1547800611.215 * * * [misc]progress:  [1/2] Preparing points
1547800611.215 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547800611.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800611.275 * * * * [exit]points:  Sampled 256 points with exact outputs
1547800611.275 * * * [misc]progress:  [2/2] Setting up program.
1547800611.279 * [misc]progress:  [Phase 2 of 3] Improving.
1547800611.279 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.279 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1547800611.279 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.281 * * [misc]simplify:  iters left: 4 (11 enodes)
1547800611.284 * * [misc]simplify:  iters left: 3 (12 enodes)
1547800611.287 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1547800611.287 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1547800611.292 * * [misc]progress:  iteration 1 / 4
1547800611.292 * * * [misc]progress:  picking best candidate
1547800611.296 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.296 * * * [misc]progress:  localizing error
1547800611.318 * * * [misc]progress:  generating rewritten candidates
1547800611.318 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1547800611.325 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1547800611.326 * * * [misc]progress:  generating series expansions
1547800611.326 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1547800611.326 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1547800611.326 * [misc]approximate:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0
1547800611.326 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1547800611.326 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1547800611.344 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1547800611.344 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1547800611.344 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1547800611.344 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1547800611.344 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1547800611.344 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1547800611.344 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1547800611.344 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1547800611.344 * [misc]backup-simplify:  Simplify (- (atan N)) into (- (atan N))
1547800611.344 * [misc]backup-simplify:  Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N))
1547800611.344 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1547800611.345 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.345 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.345 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.345 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.345 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.345 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.346 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.346 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.346 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.346 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.346 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.346 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.346 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.346 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.346 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.347 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.347 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.347 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.347 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1547800611.347 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1547800611.347 * [misc]approximate:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0
1547800611.347 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1547800611.347 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1547800611.347 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1547800611.347 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1547800611.347 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1547800611.348 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1547800611.348 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1547800611.348 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1547800611.348 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1547800611.348 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1547800611.348 * [misc]backup-simplify:  Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
1547800611.348 * [misc]backup-simplify:  Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1547800611.348 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1547800611.348 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.349 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.349 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.349 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.349 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.349 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.349 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.349 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.349 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.350 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.350 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.350 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.350 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.350 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.350 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.350 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.350 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.350 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.351 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N))
1547800611.351 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1547800611.351 * [misc]approximate:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
1547800611.351 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1547800611.351 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1547800611.351 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1547800611.351 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1547800611.351 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1547800611.351 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1547800611.351 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1547800611.351 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1547800611.351 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1547800611.351 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1547800611.351 * [misc]backup-simplify:  Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
1547800611.352 * [misc]backup-simplify:  Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1547800611.352 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1547800611.352 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.352 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.352 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.353 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.354 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.354 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.354 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N))
1547800611.354 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1547800611.354 * [misc]approximate:  Taking taylor expansion of (atan (+ N 1)) in (N) around 0
1547800611.354 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1547800611.354 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1547800611.354 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.354 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.354 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.354 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.354 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.354 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1547800611.354 * [misc]approximate:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0
1547800611.354 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1547800611.354 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1547800611.354 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1547800611.355 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1))
1547800611.355 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N)))
1547800611.355 * [misc]approximate:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0
1547800611.355 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1547800611.355 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1547800611.355 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1547800611.355 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1547800611.355 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.355 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1))
1547800611.355 * * * [misc]progress:  simplifying candidates
1547800611.355 * * * * [misc]progress:  [ 1 / 28 ] simplifiying candidate #<alt (λ (N) (atan2 (- (+ N 1) N) (+ 1 (* (+ N 1) N))))>
1547800611.356 * [enter]simplify:  Simplifying (- (+ N 1) N)
1547800611.356 * * [misc]simplify:  iters left: 4 (4 enodes)
1547800611.356 * * [misc]simplify:  iters left: 3 (11 enodes)
1547800611.358 * * [misc]simplify:  iters left: 2 (19 enodes)
1547800611.361 * * [misc]simplify:  iters left: 1 (25 enodes)
1547800611.363 * [exit]simplify:  Simplified to 1
1547800611.363 * [misc]simplify:  Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))
1547800611.363 * [enter]simplify:  Simplifying (+ 1 (* (+ N 1) N))
1547800611.363 * * [misc]simplify:  iters left: 6 (5 enodes)
1547800611.364 * * [misc]simplify:  iters left: 5 (10 enodes)
1547800611.365 * * [misc]simplify:  iters left: 4 (17 enodes)
1547800611.368 * * [misc]simplify:  iters left: 3 (27 enodes)
1547800611.371 * * [misc]simplify:  iters left: 2 (42 enodes)
1547800611.377 * * [misc]simplify:  iters left: 1 (43 enodes)
1547800611.380 * [exit]simplify:  Simplified to (+ (+ N 1) (* N N))
1547800611.380 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N))))
1547800611.380 * * * * [misc]progress:  [ 2 / 28 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (atan (+ N 1))) (exp (atan N)))))>
1547800611.380 * [enter]simplify:  Simplifying (/ (exp (atan (+ N 1))) (exp (atan N)))
1547800611.380 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800611.382 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800611.383 * * [misc]simplify:  iters left: 4 (15 enodes)
1547800611.385 * * [misc]simplify:  iters left: 3 (18 enodes)
1547800611.387 * * [misc]simplify:  iters left: 2 (20 enodes)
1547800611.389 * * [misc]simplify:  iters left: 1 (24 enodes)
1547800611.393 * [exit]simplify:  Simplified to (exp (- (atan (+ 1 N)) (atan N)))
1547800611.394 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N)))))
1547800611.394 * * * * [misc]progress:  [ 3 / 28 ] simplifiying candidate #<alt (λ (N) (pow (- (atan (+ N 1)) (atan N)) 1))>
1547800611.394 * * * * [misc]progress:  [ 4 / 28 ] simplifiying candidate #<alt (λ (N) (exp (log (- (atan (+ N 1)) (atan N)))))>
1547800611.394 * * * * [misc]progress:  [ 5 / 28 ] simplifiying candidate #<alt (λ (N) (log (exp (- (atan (+ N 1)) (atan N)))))>
1547800611.394 * * * * [misc]progress:  [ 6 / 28 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (atan (+ N 1)) (atan N))) (cbrt (- (atan (+ N 1)) (atan N)))) (cbrt (- (atan (+ N 1)) (atan N)))))>
1547800611.394 * * * * [misc]progress:  [ 7 / 28 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))>
1547800611.394 * * * * [misc]progress:  [ 8 / 28 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (atan (+ N 1)) (atan N))) (sqrt (- (atan (+ N 1)) (atan N)))))>
1547800611.394 * * * * [misc]progress:  [ 9 / 28 ] 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))))))>
1547800611.394 * * * * [misc]progress:  [ 10 / 28 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1547800611.394 * * * * [misc]progress:  [ 11 / 28 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1547800611.394 * * * * [misc]progress:  [ 12 / 28 ] simplifiying candidate #<alt (λ (N) (/ (- (* (atan (+ N 1)) (atan (+ N 1))) (* (atan N) (atan N))) (+ (atan (+ N 1)) (atan N))))>
1547800611.394 * * * * [misc]progress:  [ 13 / 28 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))>
1547800611.394 * [enter]simplify:  Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N)))
1547800611.395 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800611.397 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800611.400 * [exit]simplify:  Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N))))
1547800611.400 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))
1547800611.400 * [enter]simplify:  Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N)))
1547800611.400 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800611.402 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800611.405 * * [misc]simplify:  iters left: 4 (14 enodes)
1547800611.409 * [exit]simplify:  Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1547800611.409 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))
1547800611.409 * * * * [misc]progress:  [ 14 / 28 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1547800611.409 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1547800611.409 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.411 * * [misc]simplify:  iters left: 4 (11 enodes)
1547800611.414 * * [misc]simplify:  iters left: 3 (12 enodes)
1547800611.417 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1547800611.417 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))
1547800611.417 * * * * [misc]progress:  [ 15 / 28 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1547800611.417 * * * * [misc]progress:  [ 16 / 28 ] simplifiying candidate #<alt (λ (N) (- (pow (atan (+ N 1)) 1) (atan N)))>
1547800611.417 * * * * [misc]progress:  [ 17 / 28 ] simplifiying candidate #<alt (λ (N) (- (exp (log (atan (+ N 1)))) (atan N)))>
1547800611.417 * * * * [misc]progress:  [ 18 / 28 ] simplifiying candidate #<alt (λ (N) (- (log (exp (atan (+ N 1)))) (atan N)))>
1547800611.417 * * * * [misc]progress:  [ 19 / 28 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1)))) (atan N)))>
1547800611.417 * * * * [misc]progress:  [ 20 / 28 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (atan (+ N 1)) (atan (+ N 1))) (atan (+ N 1)))) (atan N)))>
1547800611.417 * * * * [misc]progress:  [ 21 / 28 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1)))) (atan N)))>
1547800611.417 * * * * [misc]progress:  [ 22 / 28 ] simplifiying candidate #<alt (λ (N) (- (* 1 (atan (+ N 1))) (atan N)))>
1547800611.417 * * * * [misc]progress:  [ 23 / 28 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.417 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1547800611.418 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.419 * * [misc]simplify:  iters left: 4 (11 enodes)
1547800611.422 * * [misc]simplify:  iters left: 3 (12 enodes)
1547800611.425 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1547800611.425 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1547800611.425 * * * * [misc]progress:  [ 24 / 28 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.425 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1547800611.426 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.427 * * [misc]simplify:  iters left: 4 (11 enodes)
1547800611.430 * * [misc]simplify:  iters left: 3 (12 enodes)
1547800611.433 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1547800611.433 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1547800611.433 * * * * [misc]progress:  [ 25 / 28 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.433 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1547800611.433 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.435 * * [misc]simplify:  iters left: 4 (11 enodes)
1547800611.438 * * [misc]simplify:  iters left: 3 (12 enodes)
1547800611.441 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1547800611.441 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1547800611.441 * * * * [misc]progress:  [ 26 / 28 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.441 * [enter]simplify:  Simplifying (atan (+ N 1))
1547800611.441 * * [misc]simplify:  iters left: 3 (4 enodes)
1547800611.442 * * [misc]simplify:  iters left: 2 (7 enodes)
1547800611.444 * [exit]simplify:  Simplified to (atan (+ 1 N))
1547800611.444 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1547800611.444 * * * * [misc]progress:  [ 27 / 28 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.444 * [enter]simplify:  Simplifying (atan (+ N 1))
1547800611.444 * * [misc]simplify:  iters left: 3 (4 enodes)
1547800611.446 * * [misc]simplify:  iters left: 2 (7 enodes)
1547800611.447 * [exit]simplify:  Simplified to (atan (+ 1 N))
1547800611.447 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1547800611.447 * * * * [misc]progress:  [ 28 / 28 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1547800611.448 * [enter]simplify:  Simplifying (atan (+ N 1))
1547800611.448 * * [misc]simplify:  iters left: 3 (4 enodes)
1547800611.449 * * [misc]simplify:  iters left: 2 (7 enodes)
1547800611.451 * [exit]simplify:  Simplified to (atan (+ 1 N))
1547800611.451 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1547800611.451 * * * [misc]progress:  adding candidates to table
1547800611.680 * * [misc]progress:  iteration 2 / 4
1547800611.680 * * * [misc]progress:  picking best candidate
1547800611.685 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))>
1547800611.685 * * * [misc]progress:  localizing error
1547800611.693 * * * [misc]progress:  generating rewritten candidates
1547800611.693 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1547800611.693 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1547800611.694 * * * [misc]progress:  generating series expansions
1547800611.694 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1547800611.694 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ N 1) N))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.694 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1547800611.694 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800611.694 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.695 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800611.695 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.695 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.695 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.695 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.695 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.695 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.695 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.695 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.695 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.695 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800611.695 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1547800611.695 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800611.695 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800611.695 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800611.695 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800611.696 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800611.696 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.696 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.696 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.696 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.696 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.696 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.696 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.696 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800611.696 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1547800611.696 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800611.696 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800611.696 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800611.696 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800611.696 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.697 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1547800611.697 * [misc]backup-simplify:  Simplify (+ 1 (* (+ N 1) N)) into (+ N (+ (pow N 2) 1))
1547800611.697 * [misc]approximate:  Taking taylor expansion of (+ N (+ (pow N 2) 1)) in (N) around 0
1547800611.697 * [misc]taylor:  Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N
1547800611.697 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.697 * [misc]taylor:  Taking taylor expansion of (+ (pow N 2) 1) in N
1547800611.697 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1547800611.697 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.697 * [misc]taylor:  Taking taylor expansion of 1 in N
1547800611.697 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.697 * [misc]taylor:  Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N
1547800611.697 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.697 * [misc]taylor:  Taking taylor expansion of (+ (pow N 2) 1) in N
1547800611.697 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1547800611.697 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.697 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.697 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.697 * [misc]taylor:  Taking taylor expansion of 1 in N
1547800611.697 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.698 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1547800611.698 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1547800611.698 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.698 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.698 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547800611.698 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.698 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547800611.698 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547800611.698 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1547800611.698 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.698 * [misc]backup-simplify:  Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1))
1547800611.698 * [misc]backup-simplify:  Simplify (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))) into (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))
1547800611.698 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in (N) around 0
1547800611.699 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.699 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.699 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.699 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547800611.699 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.699 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.699 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.699 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.699 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.699 * [misc]taylor:  Taking taylor expansion of 1 in N
1547800611.699 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.699 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.699 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.699 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.699 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547800611.699 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.699 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1547800611.699 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.699 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.699 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.700 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.700 * [misc]taylor:  Taking taylor expansion of 1 in N
1547800611.700 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.700 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547800611.700 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.700 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547800611.700 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1547800611.700 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547800611.700 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1547800611.700 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.700 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547800611.701 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547800611.701 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1547800611.701 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1547800611.701 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1547800611.701 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.701 * [misc]backup-simplify:  Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1))
1547800611.701 * [misc]backup-simplify:  Simplify (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))) into (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))
1547800611.701 * [misc]approximate:  Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in (N) around 0
1547800611.701 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N
1547800611.701 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
1547800611.701 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1547800611.701 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1547800611.701 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.701 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.701 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.702 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547800611.702 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.702 * [misc]taylor:  Taking taylor expansion of 1 in N
1547800611.702 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.702 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1547800611.702 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.702 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.702 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.702 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.702 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N
1547800611.702 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
1547800611.702 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1547800611.702 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1547800611.702 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.702 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.702 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.702 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1547800611.702 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.702 * [misc]taylor:  Taking taylor expansion of 1 in N
1547800611.702 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.702 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1547800611.702 * [misc]taylor:  Taking taylor expansion of N in N
1547800611.702 * [misc]backup-simplify:  Simplify 0 into 0
1547800611.702 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.702 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1547800611.703 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547800611.703 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547800611.703 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.703 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1547800611.703 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1547800611.703 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1547800611.703 * [misc]backup-simplify:  Simplify (- 1) into -1
1547800611.703 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1547800611.703 * [misc]backup-simplify:  Simplify -1 into -1
1547800611.703 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1547800611.704 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1547800611.704 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1547800611.704 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1547800611.704 * [misc]backup-simplify:  Simplify (- 0) into 0
1547800611.704 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1547800611.704 * [misc]backup-simplify:  Simplify 1 into 1
1547800611.704 * [misc]backup-simplify:  Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1))
1547800611.704 * * * [misc]progress:  simplifying candidates
1547800611.704 * * * * [misc]progress:  [ 1 / 23 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1))>
1547800611.704 * * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800611.704 * * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800611.704 * * * * [misc]progress:  [ 4 / 23 ] 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))))))>
1547800611.704 * * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N)))) (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800611.704 * * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800611.705 * * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (+ 1 (* (+ N 1) N)))))>
1547800611.705 * * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (+ 1 (* (+ N 1) N)) 1)))>
1547800611.705 * * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (exp (log (+ 1 (* (+ N 1) N))))))>
1547800611.705 * * * * [misc]progress:  [ 10 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log (exp (+ 1 (* (+ N 1) N))))))>
1547800611.705 * * * * [misc]progress:  [ 11 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (cbrt (+ 1 (* (+ N 1) N))) (cbrt (+ 1 (* (+ N 1) N)))) (cbrt (+ 1 (* (+ N 1) N))))))>
1547800611.705 * * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (cbrt (* (* (+ 1 (* (+ N 1) N)) (+ 1 (* (+ N 1) N))) (+ 1 (* (+ N 1) N))))))>
1547800611.705 * * * * [misc]progress:  [ 13 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (+ 1 (* (+ N 1) N))) (sqrt (+ 1 (* (+ N 1) N))))))>
1547800611.705 * * * * [misc]progress:  [ 14 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (/ (+ (pow 1 3) (pow (* (+ N 1) N) 3)) (+ (* 1 1) (- (* (* (+ N 1) N) (* (+ N 1) N)) (* 1 (* (+ N 1) N)))))))>
1547800611.705 * * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (+ 1 (* (+ N 1) N)))))>
1547800611.705 * * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (/ (- (* 1 1) (* (* (+ N 1) N) (* (+ N 1) N))) (- 1 (* (+ N 1) N)))))>
1547800611.705 * * * * [misc]progress:  [ 17 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (* (+ N 1) N) 1)))>
1547800611.705 * * * * [misc]progress:  [ 18 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800611.705 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.705 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800611.706 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800611.709 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800611.714 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800611.720 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800611.728 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800611.728 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800611.728 * * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800611.728 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.728 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800611.730 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800611.737 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800611.742 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800611.748 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800611.756 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800611.756 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800611.756 * * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800611.756 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800611.756 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800611.758 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800611.762 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800611.768 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800611.773 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800611.782 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800611.782 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800611.782 * * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800611.782 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1547800611.782 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.784 * * [misc]simplify:  iters left: 4 (13 enodes)
1547800611.788 * * [misc]simplify:  iters left: 3 (20 enodes)
1547800611.793 * * [misc]simplify:  iters left: 2 (22 enodes)
1547800611.798 * * [misc]simplify:  iters left: 1 (28 enodes)
1547800611.805 * [exit]simplify:  Simplified to (+ (+ 1 N) (* N N))
1547800611.805 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N))))
1547800611.805 * * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800611.806 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1547800611.806 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.808 * * [misc]simplify:  iters left: 4 (13 enodes)
1547800611.811 * * [misc]simplify:  iters left: 3 (20 enodes)
1547800611.816 * * [misc]simplify:  iters left: 2 (22 enodes)
1547800611.821 * * [misc]simplify:  iters left: 1 (28 enodes)
1547800611.828 * [exit]simplify:  Simplified to (+ (+ 1 N) (* N N))
1547800611.828 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N))))
1547800611.828 * * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800611.829 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1547800611.829 * * [misc]simplify:  iters left: 5 (6 enodes)
1547800611.831 * * [misc]simplify:  iters left: 4 (13 enodes)
1547800611.834 * * [misc]simplify:  iters left: 3 (20 enodes)
1547800611.839 * * [misc]simplify:  iters left: 2 (22 enodes)
1547800611.844 * * [misc]simplify:  iters left: 1 (28 enodes)
1547800611.849 * [exit]simplify:  Simplified to (+ (+ 1 N) (* N N))
1547800611.849 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N))))
1547800611.850 * * * [misc]progress:  adding candidates to table
1547800611.983 * * [misc]progress:  iteration 3 / 4
1547800611.983 * * * [misc]progress:  picking best candidate
1547800611.990 * * * * [misc]pick:  Picked  #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800611.990 * * * [misc]progress:  localizing error
1547800611.997 * * * [misc]progress:  generating rewritten candidates
1547800611.997 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1547800611.998 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1547800611.999 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1547800612.008 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1547800612.009 * * * [misc]progress:  generating series expansions
1547800612.009 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1547800612.010 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.010 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0
1547800612.010 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800612.010 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.010 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.010 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.011 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.011 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800612.011 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.011 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.011 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.011 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.011 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.012 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.013 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.013 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.013 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.013 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.014 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.014 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.015 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.015 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.016 * [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
1547800612.016 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.016 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.016 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))))
1547800612.016 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0
1547800612.016 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800612.017 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.017 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.017 * [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))))
1547800612.017 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.017 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800612.017 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.017 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.018 * [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))))
1547800612.018 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.018 * [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))))
1547800612.018 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.020 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.020 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.020 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.020 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.021 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.021 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.022 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.022 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.023 * [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
1547800612.023 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.023 * [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))))
1547800612.024 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))))
1547800612.024 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0
1547800612.024 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800612.024 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.024 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.024 * [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))))
1547800612.025 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.025 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800612.025 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.025 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.025 * [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))))
1547800612.025 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.026 * [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))))
1547800612.026 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.027 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.027 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.028 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.028 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.029 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.029 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.030 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.030 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.031 * [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
1547800612.031 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.032 * [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))))
1547800612.032 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1547800612.032 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.032 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0
1547800612.032 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800612.032 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.032 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.032 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.032 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.032 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800612.032 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.033 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.033 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.033 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.033 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.033 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.034 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.034 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.035 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.035 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.036 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.036 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.037 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800612.037 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.038 * [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
1547800612.038 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.038 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.038 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))))
1547800612.038 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0
1547800612.038 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800612.038 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.039 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.039 * [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))))
1547800612.039 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.039 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800612.039 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.039 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.040 * [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))))
1547800612.040 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.040 * [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))))
1547800612.040 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.041 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.041 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.042 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.042 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.043 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.043 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.044 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800612.044 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.045 * [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
1547800612.045 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.045 * [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))))
1547800612.045 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))))
1547800612.045 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0
1547800612.045 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800612.045 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.046 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.046 * [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))))
1547800612.046 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.046 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800612.046 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.046 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.047 * [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))))
1547800612.047 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.047 * [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))))
1547800612.047 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.048 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.048 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.049 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.049 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.050 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.050 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.050 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800612.050 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.052 * [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
1547800612.052 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.052 * [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))))
1547800612.052 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1547800612.052 * [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)))
1547800612.052 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1547800612.052 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.053 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.053 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.053 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.053 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.053 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.053 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.054 * [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)))
1547800612.054 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1547800612.054 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.054 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.054 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.054 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.055 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.055 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.055 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.056 * [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)))
1547800612.056 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1547800612.056 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.056 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.056 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.056 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.056 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.056 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.056 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.057 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.057 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.057 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.057 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.057 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.057 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1547800612.057 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ N 1) N))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.057 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1547800612.057 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.057 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.057 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800612.058 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.058 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.058 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.058 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.058 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.058 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.058 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.058 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.058 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.058 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.058 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1547800612.058 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.059 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.059 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800612.059 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.059 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800612.059 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.059 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.059 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.059 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.059 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.059 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.060 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.060 * [misc]backup-simplify:  Simplify (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.060 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1547800612.060 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.060 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.060 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800612.060 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.061 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800612.061 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.061 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.061 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.061 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.061 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.061 * [misc]backup-simplify:  Simplify 0 into 0
1547800612.061 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800612.061 * * * [misc]progress:  simplifying candidates
1547800612.061 * * * * [misc]progress:  [ 1 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1/2)))>
1547800612.061 * * * * [misc]progress:  [ 2 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1)))>
1547800612.061 * * * * [misc]progress:  [ 3 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (exp (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800612.061 * * * * [misc]progress:  [ 4 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (log (exp (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800612.062 * * * * [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))))))))>
1547800612.062 * * * * [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))))))))>
1547800612.062 * * * * [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))))))))>
1547800612.062 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800612.062 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800612.065 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800612.069 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800612.075 * * [misc]simplify:  iters left: 3 (32 enodes)
1547800612.083 * * [misc]simplify:  iters left: 2 (48 enodes)
1547800612.091 * * [misc]simplify:  iters left: 1 (49 enodes)
1547800612.094 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.094 * [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))))))))
1547800612.094 * * * * [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))))))))>
1547800612.094 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.094 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.095 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.097 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.100 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.103 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.113 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.119 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.119 * [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))))))))
1547800612.119 * * * * [misc]progress:  [ 9 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1547800612.120 * [enter]simplify:  Simplifying (sqrt 1)
1547800612.120 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800612.121 * [exit]simplify:  Simplified to 1
1547800612.121 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1547800612.121 * * * * [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))))))))>
1547800612.121 * * * * [misc]progress:  [ 11 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (fabs (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1547800612.121 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.122 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.124 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.127 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.133 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.140 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.153 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.156 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.156 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N)))))))
1547800612.156 * * * * [misc]progress:  [ 12 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1547800612.156 * * * * [misc]progress:  [ 13 / 73 ] simplifiying candidate #<alt (λ (N) (* (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1/2) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.156 * * * * [misc]progress:  [ 14 / 73 ] simplifiying candidate #<alt (λ (N) (* (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.156 * * * * [misc]progress:  [ 15 / 73 ] simplifiying candidate #<alt (λ (N) (* (exp (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.156 * * * * [misc]progress:  [ 16 / 73 ] simplifiying candidate #<alt (λ (N) (* (log (exp (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.156 * * * * [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))))))>
1547800612.156 * * * * [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))))))>
1547800612.156 * * * * [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))))))>
1547800612.156 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800612.156 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800612.158 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800612.160 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800612.163 * * [misc]simplify:  iters left: 3 (32 enodes)
1547800612.167 * * [misc]simplify:  iters left: 2 (48 enodes)
1547800612.174 * * [misc]simplify:  iters left: 1 (49 enodes)
1547800612.177 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.177 * [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))))))
1547800612.177 * * * * [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))))))>
1547800612.178 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.178 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.179 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.181 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.184 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.187 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.203 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.210 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.210 * [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))))))
1547800612.210 * * * * [misc]progress:  [ 21 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.210 * [enter]simplify:  Simplifying (sqrt 1)
1547800612.210 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800612.211 * [exit]simplify:  Simplified to 1
1547800612.211 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800612.211 * * * * [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))))))>
1547800612.211 * * * * [misc]progress:  [ 23 / 73 ] simplifiying candidate #<alt (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.212 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.212 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.214 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.216 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.219 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.222 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.229 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.232 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.232 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800612.233 * * * * [misc]progress:  [ 24 / 73 ] simplifiying candidate #<alt (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.233 * * * * [misc]progress:  [ 25 / 73 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (+ 1 (* (+ N 1) N))) (+ 1/2 1/2)))>
1547800612.233 * [enter]simplify:  Simplifying (atan2 1 (+ 1 (* (+ N 1) N)))
1547800612.233 * * [misc]simplify:  iters left: 6 (6 enodes)
1547800612.234 * * [misc]simplify:  iters left: 5 (11 enodes)
1547800612.235 * * [misc]simplify:  iters left: 4 (18 enodes)
1547800612.238 * * [misc]simplify:  iters left: 3 (28 enodes)
1547800612.241 * * [misc]simplify:  iters left: 2 (44 enodes)
1547800612.253 * * [misc]simplify:  iters left: 1 (45 enodes)
1547800612.259 * [exit]simplify:  Simplified to (atan2 1 (+ (+ N 1) (* N N)))
1547800612.259 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (+ N 1) (* N N))) (+ 1/2 1/2)))
1547800612.259 * [enter]simplify:  Simplifying (+ 1/2 1/2)
1547800612.259 * * [misc]simplify:  iters left: 2 (2 enodes)
1547800612.260 * * [misc]simplify:  iters left: 1 (3 enodes)
1547800612.261 * [exit]simplify:  Simplified to 1
1547800612.261 * [misc]simplify:  Simplified (2 2) to (λ (N) (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1))
1547800612.261 * * * * [misc]progress:  [ 26 / 73 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (+ 1 1)))>
1547800612.261 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.262 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.264 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.267 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.273 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.279 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.294 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.300 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.300 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ 1 1)))
1547800612.300 * [enter]simplify:  Simplifying (+ 1 1)
1547800612.300 * * [misc]simplify:  iters left: 2 (2 enodes)
1547800612.302 * * [misc]simplify:  iters left: 1 (5 enodes)
1547800612.303 * [exit]simplify:  Simplified to 2
1547800612.303 * [misc]simplify:  Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 2))
1547800612.303 * * * * [misc]progress:  [ 27 / 73 ] simplifiying candidate #<alt (λ (N) (pow (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N)))) 1/2))>
1547800612.303 * [enter]simplify:  Simplifying (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.303 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.306 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.310 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.316 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.323 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.333 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.336 * [exit]simplify:  Simplified to (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N))))
1547800612.336 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N)))) 1/2))
1547800612.336 * * * * [misc]progress:  [ 28 / 73 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) 1))>
1547800612.336 * [enter]simplify:  Simplifying (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.336 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.338 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.340 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800612.343 * * [misc]simplify:  iters left: 3 (31 enodes)
1547800612.346 * * [misc]simplify:  iters left: 2 (46 enodes)
1547800612.353 * * [misc]simplify:  iters left: 1 (48 enodes)
1547800612.357 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800612.357 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (* N N) (+ N 1))) 1))
1547800612.357 * * * * [misc]progress:  [ 29 / 73 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 2))>
1547800612.357 * * * * [misc]progress:  [ 30 / 73 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (+ 1 1)))>
1547800612.357 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.357 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.358 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.360 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.366 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.373 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.387 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.394 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.394 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ 1 1)))
1547800612.394 * * * * [misc]progress:  [ 31 / 73 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) 1))>
1547800612.394 * * * * [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))))))))>
1547800612.394 * [enter]simplify:  Simplifying (+ (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800612.395 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800612.396 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800612.398 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800612.402 * * [misc]simplify:  iters left: 3 (31 enodes)
1547800612.406 * * [misc]simplify:  iters left: 2 (46 enodes)
1547800612.413 * * [misc]simplify:  iters left: 1 (48 enodes)
1547800612.417 * [exit]simplify:  Simplified to (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1547800612.417 * [misc]simplify:  Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))))))
1547800612.417 * * * * [misc]progress:  [ 33 / 73 ] simplifiying candidate #<alt (λ (N) (exp (log (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800612.417 * * * * [misc]progress:  [ 34 / 73 ] simplifiying candidate #<alt (λ (N) (log (exp (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800612.417 * * * * [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))))))))>
1547800612.417 * [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))))))
1547800612.417 * * [misc]simplify:  iters left: 6 (10 enodes)
1547800612.419 * * [misc]simplify:  iters left: 5 (20 enodes)
1547800612.422 * * [misc]simplify:  iters left: 4 (36 enodes)
1547800612.427 * * [misc]simplify:  iters left: 3 (51 enodes)
1547800612.434 * * [misc]simplify:  iters left: 2 (70 enodes)
1547800612.444 * * [misc]simplify:  iters left: 1 (74 enodes)
1547800612.450 * [exit]simplify:  Simplified to (pow (atan2 1 (+ (+ N 1) (* N N))) 3)
1547800612.450 * [misc]simplify:  Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (+ (+ N 1) (* N N))) 3)))
1547800612.450 * * * * [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))))))))>
1547800612.450 * * * * [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))))))))>
1547800612.450 * * * * [misc]progress:  [ 38 / 73 ] simplifiying candidate #<alt (λ (N) (sqrt (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.450 * [enter]simplify:  Simplifying (* (atan2 1 (+ 1 (* (+ N 1) N))) (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.450 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.451 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.453 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.456 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.459 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.466 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.472 * [exit]simplify:  Simplified to (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N))))
1547800612.472 * [misc]simplify:  Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ (+ N 1) (* N N))) (atan2 1 (+ (+ N 1) (* N N))))))
1547800612.472 * * * * [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))))))))>
1547800612.472 * * * * [misc]progress:  [ 40 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))>
1547800612.472 * [enter]simplify:  Simplifying (+ 1 (* (+ N 1) N))
1547800612.472 * * [misc]simplify:  iters left: 6 (5 enodes)
1547800612.474 * * [misc]simplify:  iters left: 5 (10 enodes)
1547800612.477 * * [misc]simplify:  iters left: 4 (17 enodes)
1547800612.484 * * [misc]simplify:  iters left: 3 (27 enodes)
1547800612.490 * * [misc]simplify:  iters left: 2 (42 enodes)
1547800612.504 * * [misc]simplify:  iters left: 1 (43 enodes)
1547800612.510 * [exit]simplify:  Simplified to (+ (+ N 1) (* N N))
1547800612.510 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N))))
1547800612.510 * * * * [misc]progress:  [ 41 / 73 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1547800612.510 * * * * [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)))))))>
1547800612.510 * [enter]simplify:  Simplifying (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.510 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.513 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.516 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.522 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.529 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.544 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.551 * [exit]simplify:  Simplified to (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.551 * [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)))))))
1547800612.551 * * * * [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)))))))>
1547800612.551 * [enter]simplify:  Simplifying (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.551 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.554 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.557 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.563 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.571 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.585 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.592 * [exit]simplify:  Simplified to (sqrt (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.592 * [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)))))))
1547800612.592 * * * * [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)))))))>
1547800612.593 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.593 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.595 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.599 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.606 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.613 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.629 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.636 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.636 * [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)))))))
1547800612.636 * * * * [misc]progress:  [ 45 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.636 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.636 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.639 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.642 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.648 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.655 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.670 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.676 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.676 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt 1)) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1547800612.676 * * * * [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)))))))>
1547800612.676 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.676 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.679 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.682 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.688 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.695 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.711 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.717 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.717 * [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)))))))
1547800612.718 * * * * [misc]progress:  [ 47 / 73 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.718 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800612.718 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800612.720 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800612.723 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800612.729 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800612.736 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.750 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.757 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.757 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1547800612.757 * * * * [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)))))))>
1547800612.757 * [enter]simplify:  Simplifying (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800612.757 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800612.761 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800612.765 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800612.771 * * [misc]simplify:  iters left: 3 (31 enodes)
1547800612.778 * * [misc]simplify:  iters left: 2 (46 enodes)
1547800612.793 * * [misc]simplify:  iters left: 1 (48 enodes)
1547800612.801 * [exit]simplify:  Simplified to (* (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1547800612.801 * [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)))))))
1547800612.801 * * * * [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)))))))>
1547800612.801 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800612.802 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800612.804 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800612.808 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800612.815 * * [misc]simplify:  iters left: 3 (32 enodes)
1547800612.823 * * [misc]simplify:  iters left: 2 (48 enodes)
1547800612.838 * * [misc]simplify:  iters left: 1 (49 enodes)
1547800612.845 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.845 * [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)))))))
1547800612.845 * * * * [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)))))))>
1547800612.845 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.845 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.848 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.851 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.857 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.865 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.880 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.886 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.886 * [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)))))))
1547800612.886 * * * * [misc]progress:  [ 51 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt 1) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1547800612.886 * [enter]simplify:  Simplifying (sqrt 1)
1547800612.886 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800612.888 * [exit]simplify:  Simplified to 1
1547800612.888 * [misc]simplify:  Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1547800612.888 * * * * [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)))))))>
1547800612.888 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800612.888 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.891 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800612.894 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800612.902 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800612.909 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800612.924 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800612.930 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800612.930 * [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)))))))
1547800612.931 * * * * [misc]progress:  [ 53 / 73 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1547800612.931 * * * * [misc]progress:  [ 54 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.931 * * * * [misc]progress:  [ 55 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1))))>
1547800612.931 * * * * [misc]progress:  [ 56 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (exp (log (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800612.931 * * * * [misc]progress:  [ 57 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (log (exp (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800612.931 * * * * [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))))))))>
1547800612.931 * * * * [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))))))))>
1547800612.931 * * * * [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))))))))>
1547800612.931 * * * * [misc]progress:  [ 61 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (* 1 (atan2 1 (+ 1 (* (+ N 1) N)))))))>
1547800612.931 * * * * [misc]progress:  [ 62 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1547800612.931 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.932 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.934 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800612.938 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800612.941 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800612.944 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800612.949 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.949 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1547800612.949 * * * * [misc]progress:  [ 63 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1547800612.949 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.949 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.950 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800612.953 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800612.955 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800612.958 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800612.962 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.962 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1547800612.962 * * * * [misc]progress:  [ 64 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1547800612.962 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.962 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.964 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800612.966 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800612.970 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800612.976 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800612.984 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800612.984 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (+ N 1) (* N N))))))
1547800612.984 * * * * [misc]progress:  [ 65 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800612.984 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800612.984 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800612.987 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800612.990 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800612.996 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800613.002 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800613.010 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800613.010 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800613.010 * * * * [misc]progress:  [ 66 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800613.010 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.010 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800613.012 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800613.015 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800613.017 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800613.020 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800613.024 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800613.024 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800613.024 * * * * [misc]progress:  [ 67 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>
1547800613.024 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.024 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800613.026 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800613.028 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800613.030 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800613.033 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800613.037 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800613.037 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800613.037 * * * * [misc]progress:  [ 68 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800613.037 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.037 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800613.038 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800613.040 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800613.042 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800613.045 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800613.049 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800613.049 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800613.049 * * * * [misc]progress:  [ 69 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800613.049 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.049 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800613.050 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800613.052 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800613.055 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800613.057 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800613.061 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800613.061 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800613.061 * * * * [misc]progress:  [ 70 / 73 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800613.061 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.061 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800613.063 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800613.064 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800613.067 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800613.069 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800613.075 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800613.075 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800613.076 * * * * [misc]progress:  [ 71 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1547800613.076 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.076 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800613.078 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800613.082 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800613.087 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800613.092 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800613.098 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800613.098 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1547800613.098 * * * * [misc]progress:  [ 72 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1547800613.098 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.098 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800613.100 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800613.101 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800613.104 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800613.106 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800613.110 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800613.110 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1547800613.110 * * * * [misc]progress:  [ 73 / 73 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))>
1547800613.110 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.110 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800613.111 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800613.113 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800613.116 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800613.118 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800613.122 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800613.122 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1547800613.122 * * * [misc]progress:  adding candidates to table
1547800613.823 * * [misc]progress:  iteration 4 / 4
1547800613.823 * * * [misc]progress:  picking best candidate
1547800613.845 * * * * [misc]pick:  Picked  #<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))))))))>
1547800613.845 * * * [misc]progress:  localizing error
1547800613.865 * * * [misc]progress:  generating rewritten candidates
1547800613.865 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 1)
1547800613.866 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 1)
1547800613.867 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1547800613.868 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1547800613.899 * * * [misc]progress:  generating series expansions
1547800613.899 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 1)
1547800613.899 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.899 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0
1547800613.899 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800613.899 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.899 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.900 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.900 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.900 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800613.900 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.900 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.900 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.900 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.901 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.901 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.902 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.902 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.903 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.903 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.904 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.904 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.904 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.904 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.905 * [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
1547800613.905 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.906 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.906 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))))
1547800613.906 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0
1547800613.906 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800613.906 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.906 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.906 * [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))))
1547800613.907 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.907 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800613.907 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.907 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.907 * [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))))
1547800613.907 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.908 * [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))))
1547800613.908 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.909 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.909 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.910 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.910 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.911 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.911 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.911 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.912 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.913 * [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
1547800613.913 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.913 * [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))))
1547800613.913 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))))
1547800613.913 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0
1547800613.913 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800613.913 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.914 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.914 * [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))))
1547800613.914 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.914 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800613.914 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.914 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.915 * [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))))
1547800613.915 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.915 * [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))))
1547800613.915 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.916 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.916 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.917 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.917 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.918 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.918 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.919 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.919 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.920 * [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
1547800613.920 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.920 * [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))))
1547800613.920 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 1)
1547800613.920 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.921 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0
1547800613.921 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800613.921 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.921 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.921 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.921 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.921 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800613.921 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.921 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.922 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.922 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.922 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.922 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.923 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.923 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.924 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.924 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.925 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.925 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.925 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.925 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.926 * [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
1547800613.926 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.927 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.927 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))))
1547800613.927 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0
1547800613.927 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800613.927 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.927 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.927 * [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))))
1547800613.928 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.928 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800613.928 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.928 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.928 * [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))))
1547800613.928 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.929 * [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))))
1547800613.929 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.930 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.930 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.930 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.930 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.931 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.932 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.932 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.932 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.933 * [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
1547800613.933 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.934 * [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))))
1547800613.934 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))))
1547800613.934 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0
1547800613.934 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800613.934 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.934 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.934 * [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))))
1547800613.935 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.935 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800613.935 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.935 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.935 * [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))))
1547800613.935 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.936 * [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))))
1547800613.936 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.937 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.937 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.938 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.938 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.939 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.939 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.939 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.940 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.941 * [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
1547800613.941 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.941 * [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))))
1547800613.941 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1547800613.941 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.941 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in (N) around 0
1547800613.941 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800613.941 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.941 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.942 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.942 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.942 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) in N
1547800613.942 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.942 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.942 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.942 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.943 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.943 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.944 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.944 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.944 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.944 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.945 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.945 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.946 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))))) into 0
1547800613.946 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.947 * [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
1547800613.947 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.947 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) into (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800613.947 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) into (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))))
1547800613.947 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in (N) around 0
1547800613.947 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800613.947 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.947 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.948 * [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))))
1547800613.948 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.948 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))) in N
1547800613.948 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.948 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.948 * [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))))
1547800613.948 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.949 * [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))))
1547800613.949 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.950 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.950 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.950 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.950 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.951 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.951 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.952 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))))) into 0
1547800613.952 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.953 * [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
1547800613.953 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.953 * [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))))
1547800613.953 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) into (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))))
1547800613.954 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in (N) around 0
1547800613.954 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800613.954 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.954 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.954 * [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))))
1547800613.954 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.954 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))) in N
1547800613.954 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.954 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.955 * [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))))
1547800613.955 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.955 * [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))))
1547800613.955 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.956 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.956 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.957 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.957 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.958 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.958 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.959 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))))) into 0
1547800613.959 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.960 * [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
1547800613.960 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.960 * [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))))
1547800613.960 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1547800613.961 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.961 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0
1547800613.961 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.961 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.961 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N
1547800613.961 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.961 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.961 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.961 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.961 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.961 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.962 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.962 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.962 * [misc]backup-simplify:  Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.962 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))))))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.962 * [misc]approximate:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0
1547800613.962 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.963 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.963 * [misc]taylor:  Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N
1547800613.963 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.963 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)))
1547800613.963 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.963 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.963 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.963 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.963 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.963 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.963 * [misc]backup-simplify:  Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.964 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.964 * [misc]approximate:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0
1547800613.964 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.964 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.964 * [misc]taylor:  Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N
1547800613.965 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.965 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)))
1547800613.965 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.965 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.965 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.965 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.965 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.965 * [misc]backup-simplify:  Simplify 0 into 0
1547800613.965 * [misc]backup-simplify:  Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1)))
1547800613.965 * * * [misc]progress:  simplifying candidates
1547800613.965 * * * * [misc]progress:  [ 1 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1/2)))))>
1547800613.966 * * * * [misc]progress:  [ 2 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1)))))>
1547800613.966 * * * * [misc]progress:  [ 3 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (exp (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800613.966 * * * * [misc]progress:  [ 4 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (log (exp (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800613.966 * * * * [misc]progress:  [ 5 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800613.966 * * * * [misc]progress:  [ 6 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (cbrt (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800613.966 * * * * [misc]progress:  [ 7 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800613.966 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800613.966 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800613.969 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800613.972 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800613.979 * * [misc]simplify:  iters left: 3 (32 enodes)
1547800613.987 * * [misc]simplify:  iters left: 2 (48 enodes)
1547800614.002 * * [misc]simplify:  iters left: 1 (49 enodes)
1547800614.009 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800614.009 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))
1547800614.009 * * * * [misc]progress:  [ 8 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.010 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800614.010 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800614.012 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800614.016 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800614.022 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800614.031 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800614.046 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800614.052 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800614.053 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))
1547800614.053 * * * * [misc]progress:  [ 9 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* (sqrt 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800614.053 * [enter]simplify:  Simplifying (sqrt 1)
1547800614.053 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800614.055 * [exit]simplify:  Simplified to 1
1547800614.055 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))
1547800614.055 * * * * [misc]progress:  [ 10 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.055 * * * * [misc]progress:  [ 11 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800614.055 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800614.055 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800614.057 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800614.061 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800614.067 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800614.074 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800614.089 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800614.095 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800614.096 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N)))))))))
1547800614.096 * * * * [misc]progress:  [ 12 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800614.096 * * * * [misc]progress:  [ 13 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1/2)) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.096 * * * * [misc]progress:  [ 14 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1)) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.096 * * * * [misc]progress:  [ 15 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (exp (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.096 * * * * [misc]progress:  [ 16 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (log (exp (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.096 * * * * [misc]progress:  [ 17 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (* (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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.096 * * * * [misc]progress:  [ 18 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (cbrt (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.096 * * * * [misc]progress:  [ 19 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.097 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800614.097 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800614.100 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800614.103 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800614.111 * * [misc]simplify:  iters left: 3 (32 enodes)
1547800614.118 * * [misc]simplify:  iters left: 2 (48 enodes)
1547800614.134 * * [misc]simplify:  iters left: 1 (49 enodes)
1547800614.141 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800614.141 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.141 * * * * [misc]progress:  [ 20 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.142 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800614.142 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800614.144 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800614.148 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800614.155 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800614.162 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800614.180 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800614.186 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800614.186 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.187 * * * * [misc]progress:  [ 21 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (sqrt 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.187 * [enter]simplify:  Simplifying (sqrt 1)
1547800614.187 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800614.188 * [exit]simplify:  Simplified to 1
1547800614.188 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.188 * * * * [misc]progress:  [ 22 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.188 * * * * [misc]progress:  [ 23 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (fabs (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.189 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800614.189 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800614.191 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800614.194 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800614.200 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800614.207 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800614.222 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800614.228 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800614.228 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.228 * * * * [misc]progress:  [ 24 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.228 * * * * [misc]progress:  [ 25 / 72 ] simplifiying candidate #<alt (λ (N) (* (pow (atan2 1 (+ 1 (* (+ N 1) N))) 1/2) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.229 * * * * [misc]progress:  [ 26 / 72 ] simplifiying candidate #<alt (λ (N) (* (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 1) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.229 * * * * [misc]progress:  [ 27 / 72 ] simplifiying candidate #<alt (λ (N) (* (exp (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.229 * * * * [misc]progress:  [ 28 / 72 ] simplifiying candidate #<alt (λ (N) (* (log (exp (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.229 * * * * [misc]progress:  [ 29 / 72 ] 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.229 * * * * [misc]progress:  [ 30 / 72 ] 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.229 * * * * [misc]progress:  [ 31 / 72 ] 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.229 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800614.229 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800614.233 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800614.236 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800614.243 * * [misc]simplify:  iters left: 3 (32 enodes)
1547800614.251 * * [misc]simplify:  iters left: 2 (48 enodes)
1547800614.266 * * [misc]simplify:  iters left: 1 (49 enodes)
1547800614.273 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800614.273 * [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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.273 * * * * [misc]progress:  [ 32 / 72 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.273 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800614.273 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800614.276 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800614.279 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800614.286 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800614.293 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800614.308 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800614.316 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800614.316 * [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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.316 * * * * [misc]progress:  [ 33 / 72 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt 1) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.316 * [enter]simplify:  Simplifying (sqrt 1)
1547800614.316 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800614.318 * [exit]simplify:  Simplified to 1
1547800614.318 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.318 * * * * [misc]progress:  [ 34 / 72 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.318 * * * * [misc]progress:  [ 35 / 72 ] simplifiying candidate #<alt (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.318 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800614.318 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800614.320 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800614.323 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800614.329 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800614.336 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800614.351 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800614.357 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800614.357 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.357 * * * * [misc]progress:  [ 36 / 72 ] simplifiying candidate #<alt (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800614.357 * * * * [misc]progress:  [ 37 / 72 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (+ 1 (+ 1/2 1/2))))>
1547800614.357 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))
1547800614.357 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800614.359 * * [misc]simplify:  iters left: 5 (12 enodes)
1547800614.362 * * [misc]simplify:  iters left: 4 (19 enodes)
1547800614.368 * * [misc]simplify:  iters left: 3 (29 enodes)
1547800614.375 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800614.390 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800614.396 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800614.396 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (+ 1 (+ 1/2 1/2))))
1547800614.396 * [enter]simplify:  Simplifying (+ 1 (+ 1/2 1/2))
1547800614.396 * * [misc]simplify:  iters left: 4 (4 enodes)
1547800614.400 * * [misc]simplify:  iters left: 3 (11 enodes)
1547800614.401 * [exit]simplify:  Simplified to 2
1547800614.401 * [misc]simplify:  Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) 2))
1547800614.401 * * * * [misc]progress:  [ 38 / 72 ] simplifiying candidate #<alt (λ (N) (pow (* (atan2 1 (+ 1 (* (+ N 1) N))) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) 1/2))>
1547800614.401 * [enter]simplify:  Simplifying (* (atan2 1 (+ 1 (* (+ N 1) N))) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800614.402 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800614.405 * * [misc]simplify:  iters left: 5 (17 enodes)
1547800614.409 * * [misc]simplify:  iters left: 4 (29 enodes)
1547800614.418 * * [misc]simplify:  iters left: 3 (41 enodes)
1547800614.427 * * [misc]simplify:  iters left: 2 (59 enodes)
1547800614.444 * * [misc]simplify:  iters left: 1 (60 enodes)
1547800614.454 * [exit]simplify:  Simplified to (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1))))
1547800614.454 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1)))) 1/2))
1547800614.454 * * * * [misc]progress:  [ 39 / 72 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) 1))>
1547800614.454 * [enter]simplify:  Simplifying (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1547800614.454 * * [misc]simplify:  iters left: 6 (10 enodes)
1547800614.458 * * [misc]simplify:  iters left: 5 (18 enodes)
1547800614.463 * * [misc]simplify:  iters left: 4 (30 enodes)
1547800614.471 * * [misc]simplify:  iters left: 3 (43 enodes)
1547800614.481 * * [misc]simplify:  iters left: 2 (61 enodes)
1547800614.499 * * [misc]simplify:  iters left: 1 (62 enodes)
1547800614.508 * [exit]simplify:  Simplified to (atan2 1 (+ (+ N 1) (* N N)))
1547800614.508 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (+ N 1) (* N N))) 1))
1547800614.508 * * * * [misc]progress:  [ 40 / 72 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) 1))>
1547800614.508 * [enter]simplify:  Simplifying (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))
1547800614.508 * * [misc]simplify:  iters left: 6 (10 enodes)
1547800614.512 * * [misc]simplify:  iters left: 5 (18 enodes)
1547800614.517 * * [misc]simplify:  iters left: 4 (30 enodes)
1547800614.527 * * [misc]simplify:  iters left: 3 (43 enodes)
1547800614.537 * * [misc]simplify:  iters left: 2 (61 enodes)
1547800614.554 * * [misc]simplify:  iters left: 1 (62 enodes)
1547800614.561 * [exit]simplify:  Simplified to (atan2 1 (+ (+ N 1) (* N N)))
1547800614.561 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (+ (+ N 1) (* N N))) 1))
1547800614.561 * * * * [misc]progress:  [ 41 / 72 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) 1))>
1547800614.562 * * * * [misc]progress:  [ 42 / 72 ] simplifiying candidate #<alt (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (+ (log (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (log (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.562 * [enter]simplify:  Simplifying (+ (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (+ (log (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (log (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.562 * * [misc]simplify:  iters left: 6 (12 enodes)
1547800614.565 * * [misc]simplify:  iters left: 5 (20 enodes)
1547800614.570 * * [misc]simplify:  iters left: 4 (29 enodes)
1547800614.578 * * [misc]simplify:  iters left: 3 (39 enodes)
1547800614.588 * * [misc]simplify:  iters left: 2 (55 enodes)
1547800614.607 * * [misc]simplify:  iters left: 1 (56 enodes)
1547800614.616 * [exit]simplify:  Simplified to (+ (log (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (+ (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))))))
1547800614.616 * [misc]simplify:  Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (+ (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N)))))) (log (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))))))))
1547800614.616 * * * * [misc]progress:  [ 43 / 72 ] simplifiying candidate #<alt (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (log (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.616 * [enter]simplify:  Simplifying (+ (log (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (log (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.616 * * [misc]simplify:  iters left: 6 (12 enodes)
1547800614.620 * * [misc]simplify:  iters left: 5 (20 enodes)
1547800614.625 * * [misc]simplify:  iters left: 4 (34 enodes)
1547800614.634 * * [misc]simplify:  iters left: 3 (46 enodes)
1547800614.644 * * [misc]simplify:  iters left: 2 (61 enodes)
1547800614.661 * * [misc]simplify:  iters left: 1 (63 enodes)
1547800614.670 * [exit]simplify:  Simplified to (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1547800614.670 * [misc]simplify:  Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (log (sqrt (atan2 1 (+ (* N N) (+ N 1))))))))
1547800614.670 * * * * [misc]progress:  [ 44 / 72 ] simplifiying candidate #<alt (λ (N) (exp (log (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.671 * * * * [misc]progress:  [ 45 / 72 ] simplifiying candidate #<alt (λ (N) (log (exp (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.671 * * * * [misc]progress:  [ 46 / 72 ] 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.671 * [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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.671 * * [misc]simplify:  iters left: 6 (14 enodes)
1547800614.676 * * [misc]simplify:  iters left: 5 (33 enodes)
1547800614.688 * * [misc]simplify:  iters left: 4 (82 enodes)
1547800614.721 * * [misc]simplify:  iters left: 3 (140 enodes)
1547800614.755 * * [misc]simplify:  iters left: 2 (194 enodes)
1547800614.803 * * [misc]simplify:  iters left: 1 (200 enodes)
1547800614.832 * [exit]simplify:  Simplified to (pow (atan2 1 (+ (* N N) (+ N 1))) 3)
1547800614.832 * [misc]simplify:  Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (+ (* N N) (+ N 1))) 3)))
1547800614.832 * * * * [misc]progress:  [ 47 / 72 ] 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800614.833 * [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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800614.833 * * [misc]simplify:  iters left: 6 (14 enodes)
1547800614.838 * * [misc]simplify:  iters left: 5 (32 enodes)
1547800614.848 * * [misc]simplify:  iters left: 4 (75 enodes)
1547800614.876 * * [misc]simplify:  iters left: 3 (140 enodes)
1547800614.926 * * [misc]simplify:  iters left: 2 (177 enodes)
1547800614.972 * * [misc]simplify:  iters left: 1 (183 enodes)
1547800615.001 * [exit]simplify:  Simplified to (pow (atan2 1 (+ (+ N 1) (* N N))) 3)
1547800615.001 * [misc]simplify:  Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (+ (+ N 1) (* N N))) 3)))
1547800615.001 * * * * [misc]progress:  [ 48 / 72 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))) (cbrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))) (cbrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800615.001 * * * * [misc]progress:  [ 49 / 72 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800615.001 * * * * [misc]progress:  [ 50 / 72 ] simplifiying candidate #<alt (λ (N) (sqrt (* (atan2 1 (+ 1 (* (+ N 1) N))) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800615.001 * [enter]simplify:  Simplifying (* (atan2 1 (+ 1 (* (+ N 1) N))) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800615.002 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800615.004 * * [misc]simplify:  iters left: 5 (17 enodes)
1547800615.006 * * [misc]simplify:  iters left: 4 (29 enodes)
1547800615.010 * * [misc]simplify:  iters left: 3 (41 enodes)
1547800615.015 * * [misc]simplify:  iters left: 2 (59 enodes)
1547800615.023 * * [misc]simplify:  iters left: 1 (60 enodes)
1547800615.028 * [exit]simplify:  Simplified to (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1))))
1547800615.028 * [misc]simplify:  Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ (* N N) (+ N 1))) (atan2 1 (+ (* N N) (+ N 1))))))
1547800615.028 * * * * [misc]progress:  [ 51 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))) (sqrt (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))))>
1547800615.028 * * * * [misc]progress:  [ 52 / 72 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800615.028 * * * * [misc]progress:  [ 53 / 72 ] 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)))))))>
1547800615.028 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800615.028 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.029 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800615.031 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800615.034 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800615.040 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800615.054 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800615.063 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800615.063 * [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)))))))
1547800615.063 * * * * [misc]progress:  [ 54 / 72 ] 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800615.064 * [enter]simplify:  Simplifying (* (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (cbrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800615.064 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800615.067 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800615.070 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800615.077 * * [misc]simplify:  iters left: 3 (31 enodes)
1547800615.084 * * [misc]simplify:  iters left: 2 (46 enodes)
1547800615.097 * * [misc]simplify:  iters left: 1 (48 enodes)
1547800615.104 * [exit]simplify:  Simplified to (* (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (cbrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))))
1547800615.104 * [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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))
1547800615.104 * * * * [misc]progress:  [ 55 / 72 ] 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 (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800615.104 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (+ 1 (* (+ N 1) N)))) (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))))
1547800615.104 * * [misc]simplify:  iters left: 6 (9 enodes)
1547800615.106 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.110 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.116 * * [misc]simplify:  iters left: 3 (32 enodes)
1547800615.123 * * [misc]simplify:  iters left: 2 (48 enodes)
1547800615.136 * * [misc]simplify:  iters left: 1 (49 enodes)
1547800615.139 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800615.139 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (cbrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))
1547800615.140 * * * * [misc]progress:  [ 56 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800615.140 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800615.140 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.141 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800615.143 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800615.146 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800615.150 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800615.157 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800615.160 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800615.160 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))
1547800615.161 * * * * [misc]progress:  [ 57 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt 1) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800615.161 * [enter]simplify:  Simplifying (sqrt 1)
1547800615.161 * * [misc]simplify:  iters left: 1 (2 enodes)
1547800615.162 * [exit]simplify:  Simplified to 1
1547800615.162 * [misc]simplify:  Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))
1547800615.162 * * * * [misc]progress:  [ 58 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800615.162 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))
1547800615.162 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.163 * * [misc]simplify:  iters left: 5 (13 enodes)
1547800615.167 * * [misc]simplify:  iters left: 4 (20 enodes)
1547800615.175 * * [misc]simplify:  iters left: 3 (30 enodes)
1547800615.182 * * [misc]simplify:  iters left: 2 (45 enodes)
1547800615.198 * * [misc]simplify:  iters left: 1 (46 enodes)
1547800615.204 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1)))))
1547800615.204 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (+ (* N N) (+ N 1))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))
1547800615.204 * * * * [misc]progress:  [ 59 / 72 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))))))))>
1547800615.204 * * * * [misc]progress:  [ 60 / 72 ] 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))))))>
1547800615.204 * * * * [misc]progress:  [ 61 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))))>
1547800615.205 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.205 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.207 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.210 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.215 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.220 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.228 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.228 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))))))
1547800615.228 * * * * [misc]progress:  [ 62 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))))>
1547800615.229 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.229 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.231 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.235 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.238 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.240 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.244 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.244 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))))))
1547800615.244 * * * * [misc]progress:  [ 63 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))))))>
1547800615.245 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.245 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.246 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.248 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.251 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.253 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.257 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.257 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))))))
1547800615.257 * * * * [misc]progress:  [ 64 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800615.257 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.257 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.259 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.261 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.263 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.266 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.270 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.270 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800615.270 * * * * [misc]progress:  [ 65 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800615.270 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.270 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.272 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.274 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.277 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.279 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.283 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.283 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800615.283 * * * * [misc]progress:  [ 66 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800615.283 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.284 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.285 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.287 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.292 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.297 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.305 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.305 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (* (sqrt (sqrt (atan2 1 (+ (+ N 1) (* N N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800615.305 * * * * [misc]progress:  [ 67 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800615.306 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.306 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.308 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.312 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.318 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.324 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.332 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.332 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800615.332 * * * * [misc]progress:  [ 68 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800615.332 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.332 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.335 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.339 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.344 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.349 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.357 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.357 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800615.357 * * * * [misc]progress:  [ 69 / 72 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ N (+ (pow N 2) 1)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))>
1547800615.358 * [enter]simplify:  Simplifying (sqrt (atan2 1 (+ N (+ (pow N 2) 1))))
1547800615.358 * * [misc]simplify:  iters left: 6 (8 enodes)
1547800615.360 * * [misc]simplify:  iters left: 5 (15 enodes)
1547800615.364 * * [misc]simplify:  iters left: 4 (22 enodes)
1547800615.370 * * [misc]simplify:  iters left: 3 (24 enodes)
1547800615.376 * * [misc]simplify:  iters left: 2 (30 enodes)
1547800615.384 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ (+ N 1) (* N N))))
1547800615.384 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ (+ N 1) (* N N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))))
1547800615.384 * * * * [misc]progress:  [ 70 / 72 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800615.384 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800615.384 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800615.387 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800615.390 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800615.395 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800615.402 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800615.409 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800615.410 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800615.410 * * * * [misc]progress:  [ 71 / 72 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800615.410 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800615.410 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800615.412 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800615.416 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800615.421 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800615.426 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800615.434 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800615.434 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800615.434 * * * * [misc]progress:  [ 72 / 72 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1547800615.434 * [enter]simplify:  Simplifying (atan2 1 (+ N (+ (pow N 2) 1)))
1547800615.435 * * [misc]simplify:  iters left: 6 (7 enodes)
1547800615.437 * * [misc]simplify:  iters left: 5 (14 enodes)
1547800615.440 * * [misc]simplify:  iters left: 4 (21 enodes)
1547800615.442 * * [misc]simplify:  iters left: 3 (23 enodes)
1547800615.445 * * [misc]simplify:  iters left: 2 (29 enodes)
1547800615.449 * [exit]simplify:  Simplified to (atan2 1 (+ (* N N) (+ N 1)))
1547800615.449 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1))))
1547800615.449 * * * [misc]progress:  adding candidates to table
1547800616.236 * [misc]progress:  [Phase 3 of 3] Extracting.
1547800616.236 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (N) (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))))))) (sqrt (cbrt (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) (* (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) (* (* (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)))))))> #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (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) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>)
1547800616.238 * * * [misc]regime-changes:  Trying 1 branch expressions: (N)
1547800616.238 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (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))))))) (sqrt (cbrt (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) (* (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) (* (* (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)))))))> #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))) (sqrt (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) (* (sqrt (atan2 1 (+ 1 (* (+ N 1) N)))) (sqrt (atan2 1 (+ 1 (* (+ N 1) N))))))>)
1547800616.290 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1547800616.290 * [enter]simplify:  Simplifying (atan2 1 (+ 1 (* (+ N 1) N)))
1547800616.290 * * [misc]simplify:  iters left: 6 (6 enodes)
1547800616.291 * * [misc]simplify:  iters left: 5 (11 enodes)
1547800616.291 * [exit]simplify:  Simplified to (atan2 1 (+ (* (+ N 1) N) 1))
1547800616.291 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547800618.256 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547800618.258 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547800618.883 * [misc]regime-testing:  Baseline error score: 0.33316048307055673
1547800618.884 * [misc]regime-testing:  Oracle error score: 0.2892854830705568
1547800618.886 * [misc]regime-testing:  End program error score: 0.33316048307055673
1547800618.938 * [misc]regime-testing:  Target error score: 0.33416048307055674