1538730764.846 * [misc]progress:  [Phase 1 of 3] Setting up.
1538730764.846 * * * [misc]progress:  [1/2] Preparing points
1538730764.846 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538730764.921 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538730764.922 * * * * [exit]points:  Sampled 256 points with exact outputs
1538730764.922 * * * [misc]progress:  [2/2] Setting up program.
1538730764.929 * [misc]progress:  [Phase 2 of 3] Improving.
1538730764.929 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1538730764.945 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730764.948 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730764.952 * * [misc]simplify:  iters left: 3 (12 enodes)
1538730764.956 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730764.972 * * [misc]progress:  iteration 1 / 4
1538730764.972 * * * [misc]progress:  picking best candidate
1538730764.979 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1538730764.979 * * * [misc]progress:  localizing error
1538730765.006 * * * [misc]progress:  generating rewritten candidates
1538730765.006 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1538730765.064 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1538730765.067 * * * [misc]progress:  generating series expansions
1538730765.067 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1538730765.073 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1538730765.073 * [misc]approximate:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0
1538730765.073 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1538730765.073 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1538730765.073 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1538730765.073 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1538730765.073 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1538730765.073 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1538730765.074 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1538730765.074 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1538730765.074 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1538730765.074 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1538730765.074 * [misc]backup-simplify:  Simplify (- (atan N)) into (- (atan N))
1538730765.074 * [misc]backup-simplify:  Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N))
1538730765.074 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1538730765.074 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.075 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.075 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.075 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.075 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.075 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.075 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.075 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.075 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.075 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.076 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.076 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.076 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.076 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.076 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.076 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.076 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.076 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.076 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1538730765.077 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1538730765.077 * [misc]approximate:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0
1538730765.077 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1538730765.077 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1538730765.077 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1538730765.077 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1538730765.077 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1538730765.077 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1538730765.077 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1538730765.077 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1538730765.077 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1538730765.077 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1538730765.077 * [misc]backup-simplify:  Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
1538730765.078 * [misc]backup-simplify:  Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1538730765.078 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1538730765.078 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.078 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.078 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.078 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.078 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.078 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.079 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.079 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.079 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.079 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.079 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.079 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.079 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.079 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.080 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.080 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.080 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.080 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.080 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N))
1538730765.080 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1538730765.080 * [misc]approximate:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
1538730765.080 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1538730765.080 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1538730765.081 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1538730765.081 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1538730765.081 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1538730765.081 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1538730765.081 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1538730765.081 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1538730765.081 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1538730765.081 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1538730765.081 * [misc]backup-simplify:  Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
1538730765.081 * [misc]backup-simplify:  Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1538730765.081 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1538730765.082 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.082 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.082 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.082 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.082 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.082 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.082 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.082 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.082 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.083 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.083 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.083 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.083 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.083 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730765.083 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730765.084 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.084 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N))
1538730765.084 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1538730765.084 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1538730765.084 * [misc]approximate:  Taking taylor expansion of (atan (+ N 1)) in (N) around 0
1538730765.084 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1538730765.084 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1538730765.084 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1538730765.084 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1538730765.085 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1538730765.085 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.085 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.085 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.085 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.085 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.085 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.085 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1538730765.085 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1538730765.085 * [misc]approximate:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0
1538730765.085 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1538730765.085 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1538730765.085 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1538730765.085 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1538730765.085 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1538730765.086 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.086 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.086 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.086 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.086 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.086 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.086 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1))
1538730765.086 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N)))
1538730765.086 * [misc]approximate:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0
1538730765.086 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1538730765.086 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1538730765.086 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1538730765.086 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1538730765.086 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1538730765.086 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.087 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.087 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.087 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.087 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.087 * [misc]backup-simplify:  Simplify 0 into 0
1538730765.087 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1))
1538730765.087 * * * [misc]progress:  simplifying candidates
1538730765.087 * * * * [misc]progress:  [ 1 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))))>
1538730765.087 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1538730765.089 * * [misc]simplify:  iters left: 6 (12 enodes)
1538730765.095 * * [misc]simplify:  iters left: 5 (24 enodes)
1538730765.099 * * [misc]simplify:  iters left: 4 (31 enodes)
1538730765.104 * * [misc]simplify:  iters left: 3 (37 enodes)
1538730765.109 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.109 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))))
1538730765.109 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1538730765.110 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730765.112 * * [misc]simplify:  iters left: 5 (12 enodes)
1538730765.114 * * [misc]simplify:  iters left: 4 (19 enodes)
1538730765.119 * * [misc]simplify:  iters left: 3 (38 enodes)
1538730765.127 * * [misc]simplify:  iters left: 2 (46 enodes)
1538730765.134 * [exit]simplify:  Simplified to 0
1538730765.134 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1538730765.134 * * * * [misc]progress:  [ 2 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
1538730765.135 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1538730765.136 * * [misc]simplify:  iters left: 6 (11 enodes)
1538730765.141 * * [misc]simplify:  iters left: 5 (19 enodes)
1538730765.147 * * [misc]simplify:  iters left: 4 (23 enodes)
1538730765.154 * * [misc]simplify:  iters left: 3 (28 enodes)
1538730765.162 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.162 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))
1538730765.163 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1538730765.164 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730765.166 * * [misc]simplify:  iters left: 4 (8 enodes)
1538730765.169 * * [misc]simplify:  iters left: 3 (14 enodes)
1538730765.174 * * [misc]simplify:  iters left: 2 (20 enodes)
1538730765.179 * * [misc]simplify:  iters left: 1 (22 enodes)
1538730765.183 * [exit]simplify:  Simplified to 0
1538730765.183 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1538730765.183 * * * * [misc]progress:  [ 3 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1538730765.183 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1)))
1538730765.187 * * [misc]simplify:  iters left: 6 (10 enodes)
1538730765.193 * * [misc]simplify:  iters left: 5 (21 enodes)
1538730765.201 * * [misc]simplify:  iters left: 4 (28 enodes)
1538730765.213 * * [misc]simplify:  iters left: 3 (39 enodes)
1538730765.224 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.224 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1538730765.224 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1538730765.225 * * [misc]simplify:  iters left: 4 (6 enodes)
1538730765.228 * * [misc]simplify:  iters left: 3 (11 enodes)
1538730765.233 * * [misc]simplify:  iters left: 2 (21 enodes)
1538730765.237 * * [misc]simplify:  iters left: 1 (30 enodes)
1538730765.241 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1538730765.241 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N))))
1538730765.241 * * * * [misc]progress:  [ 4 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))))>
1538730765.241 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1538730765.241 * * [misc]simplify:  iters left: 6 (11 enodes)
1538730765.244 * * [misc]simplify:  iters left: 5 (23 enodes)
1538730765.248 * * [misc]simplify:  iters left: 4 (29 enodes)
1538730765.253 * * [misc]simplify:  iters left: 3 (34 enodes)
1538730765.258 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.258 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))))
1538730765.258 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1538730765.259 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730765.261 * * [misc]simplify:  iters left: 5 (12 enodes)
1538730765.266 * * [misc]simplify:  iters left: 4 (19 enodes)
1538730765.275 * * [misc]simplify:  iters left: 3 (38 enodes)
1538730765.285 * * [misc]simplify:  iters left: 2 (46 enodes)
1538730765.292 * [exit]simplify:  Simplified to 0
1538730765.292 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1538730765.292 * * * * [misc]progress:  [ 5 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
1538730765.292 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1538730765.293 * * [misc]simplify:  iters left: 6 (10 enodes)
1538730765.301 * * [misc]simplify:  iters left: 5 (18 enodes)
1538730765.306 * * [misc]simplify:  iters left: 4 (21 enodes)
1538730765.313 * * [misc]simplify:  iters left: 3 (27 enodes)
1538730765.321 * * [misc]simplify:  iters left: 2 (30 enodes)
1538730765.331 * * [misc]simplify:  iters left: 1 (45 enodes)
1538730765.352 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.353 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))
1538730765.353 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1538730765.354 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730765.356 * * [misc]simplify:  iters left: 4 (8 enodes)
1538730765.359 * * [misc]simplify:  iters left: 3 (14 enodes)
1538730765.365 * * [misc]simplify:  iters left: 2 (20 enodes)
1538730765.370 * * [misc]simplify:  iters left: 1 (22 enodes)
1538730765.374 * [exit]simplify:  Simplified to 0
1538730765.374 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1538730765.374 * * * * [misc]progress:  [ 6 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1538730765.374 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1)))
1538730765.375 * * [misc]simplify:  iters left: 6 (9 enodes)
1538730765.380 * * [misc]simplify:  iters left: 5 (20 enodes)
1538730765.388 * * [misc]simplify:  iters left: 4 (26 enodes)
1538730765.398 * * [misc]simplify:  iters left: 3 (35 enodes)
1538730765.406 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.407 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1538730765.407 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1538730765.407 * * [misc]simplify:  iters left: 4 (6 enodes)
1538730765.410 * * [misc]simplify:  iters left: 3 (11 enodes)
1538730765.417 * * [misc]simplify:  iters left: 2 (21 enodes)
1538730765.425 * * [misc]simplify:  iters left: 1 (30 enodes)
1538730765.432 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1538730765.432 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N))))
1538730765.432 * * * * [misc]progress:  [ 7 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))))>
1538730765.432 * [enter]simplify:  Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1538730765.433 * * [misc]simplify:  iters left: 6 (10 enodes)
1538730765.438 * * [misc]simplify:  iters left: 5 (22 enodes)
1538730765.449 * * [misc]simplify:  iters left: 4 (29 enodes)
1538730765.456 * * [misc]simplify:  iters left: 3 (38 enodes)
1538730765.460 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1538730765.460 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))))
1538730765.461 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1538730765.461 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730765.463 * * [misc]simplify:  iters left: 5 (12 enodes)
1538730765.465 * * [misc]simplify:  iters left: 4 (19 enodes)
1538730765.470 * * [misc]simplify:  iters left: 3 (38 enodes)
1538730765.477 * * [misc]simplify:  iters left: 2 (46 enodes)
1538730765.481 * [exit]simplify:  Simplified to 0
1538730765.481 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1538730765.481 * * * * [misc]progress:  [ 8 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
1538730765.482 * [enter]simplify:  Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1538730765.483 * * [misc]simplify:  iters left: 6 (9 enodes)
1538730765.487 * * [misc]simplify:  iters left: 5 (17 enodes)
1538730765.493 * * [misc]simplify:  iters left: 4 (21 enodes)
1538730765.501 * * [misc]simplify:  iters left: 3 (28 enodes)
1538730765.508 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1538730765.508 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))
1538730765.508 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1538730765.509 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730765.512 * * [misc]simplify:  iters left: 4 (8 enodes)
1538730765.515 * * [misc]simplify:  iters left: 3 (14 enodes)
1538730765.521 * * [misc]simplify:  iters left: 2 (20 enodes)
1538730765.526 * * [misc]simplify:  iters left: 1 (22 enodes)
1538730765.529 * [exit]simplify:  Simplified to 0
1538730765.530 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1538730765.530 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1538730765.530 * [enter]simplify:  Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1)))
1538730765.531 * * [misc]simplify:  iters left: 6 (8 enodes)
1538730765.536 * * [misc]simplify:  iters left: 5 (19 enodes)
1538730765.543 * * [misc]simplify:  iters left: 4 (26 enodes)
1538730765.555 * * [misc]simplify:  iters left: 3 (38 enodes)
1538730765.567 * * [misc]simplify:  iters left: 2 (41 enodes)
1538730765.575 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1538730765.575 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1538730765.575 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1538730765.575 * * [misc]simplify:  iters left: 4 (6 enodes)
1538730765.577 * * [misc]simplify:  iters left: 3 (11 enodes)
1538730765.581 * * [misc]simplify:  iters left: 2 (21 enodes)
1538730765.584 * * [misc]simplify:  iters left: 1 (30 enodes)
1538730765.588 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1538730765.588 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1538730765.588 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (- (atan (+ N 1)) (atan N)))))>
1538730765.588 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (- (atan (+ N 1)) (atan N)))))>
1538730765.588 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (N) (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (atan N))))>
1538730765.588 * [enter]simplify:  Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1))))
1538730765.588 * * [misc]simplify:  iters left: 6 (6 enodes)
1538730765.590 * * [misc]simplify:  iters left: 5 (9 enodes)
1538730765.591 * [exit]simplify:  Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N))))
1538730765.591 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N))))
1538730765.591 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (N) (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (atan N))))>
1538730765.591 * [enter]simplify:  Simplifying (sqrt (atan (+ N 1)))
1538730765.591 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730765.592 * * [misc]simplify:  iters left: 3 (8 enodes)
1538730765.593 * [exit]simplify:  Simplified to (sqrt (atan (+ 1 N)))
1538730765.594 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N))))
1538730765.594 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (N) (fma 1 (atan (+ N 1)) (- (atan N))))>
1538730765.594 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (N) (atan2 (- (+ N 1) N) (+ 1 (* (+ N 1) N))))>
1538730765.594 * [enter]simplify:  Simplifying (- (+ N 1) N)
1538730765.594 * * [misc]simplify:  iters left: 4 (4 enodes)
1538730765.595 * * [misc]simplify:  iters left: 3 (11 enodes)
1538730765.597 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730765.602 * * [misc]simplify:  iters left: 1 (25 enodes)
1538730765.604 * [exit]simplify:  Simplified to 1
1538730765.604 * [misc]simplify:  Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))
1538730765.604 * [enter]simplify:  Simplifying (+ 1 (* (+ N 1) N))
1538730765.604 * * [misc]simplify:  iters left: 6 (5 enodes)
1538730765.606 * * [misc]simplify:  iters left: 5 (10 enodes)
1538730765.608 * * [misc]simplify:  iters left: 4 (19 enodes)
1538730765.614 * * [misc]simplify:  iters left: 3 (33 enodes)
1538730765.618 * * [misc]simplify:  iters left: 2 (39 enodes)
1538730765.622 * [exit]simplify:  Simplified to (fma N (+ N 1) 1)
1538730765.622 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730765.622 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (atan (+ N 1))) (exp (atan N)))))>
1538730765.622 * [enter]simplify:  Simplifying (/ (exp (atan (+ N 1))) (exp (atan N)))
1538730765.623 * * [misc]simplify:  iters left: 6 (8 enodes)
1538730765.625 * * [misc]simplify:  iters left: 5 (13 enodes)
1538730765.626 * * [misc]simplify:  iters left: 4 (15 enodes)
1538730765.629 * * [misc]simplify:  iters left: 3 (18 enodes)
1538730765.631 * * [misc]simplify:  iters left: 2 (20 enodes)
1538730765.634 * * [misc]simplify:  iters left: 1 (24 enodes)
1538730765.641 * [exit]simplify:  Simplified to (exp (- (atan (+ 1 N)) (atan N)))
1538730765.641 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N)))))
1538730765.641 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (N) (pow (- (atan (+ N 1)) (atan N)) 1))>
1538730765.642 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (N) (exp (log (- (atan (+ N 1)) (atan N)))))>
1538730765.642 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (N) (log (exp (- (atan (+ N 1)) (atan N)))))>
1538730765.642 * * * * [misc]progress:  [ 20 / 44 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (atan (+ N 1)) (atan N))) (cbrt (- (atan (+ N 1)) (atan N)))) (cbrt (- (atan (+ N 1)) (atan N)))))>
1538730765.642 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))>
1538730765.642 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (atan (+ N 1)) (atan N))) (sqrt (- (atan (+ N 1)) (atan N)))))>
1538730765.642 * * * * [misc]progress:  [ 23 / 44 ] 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))))))>
1538730765.642 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1538730765.642 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1538730765.642 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (N) (/ (- (* (atan (+ N 1)) (atan (+ N 1))) (* (atan N) (atan N))) (+ (atan (+ N 1)) (atan N))))>
1538730765.642 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))>
1538730765.642 * [enter]simplify:  Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N)))
1538730765.642 * * [misc]simplify:  iters left: 6 (8 enodes)
1538730765.644 * * [misc]simplify:  iters left: 5 (12 enodes)
1538730765.646 * [exit]simplify:  Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N))))
1538730765.646 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))
1538730765.646 * [enter]simplify:  Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N)))
1538730765.647 * * [misc]simplify:  iters left: 6 (8 enodes)
1538730765.648 * * [misc]simplify:  iters left: 5 (13 enodes)
1538730765.650 * * [misc]simplify:  iters left: 4 (14 enodes)
1538730765.652 * [exit]simplify:  Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1538730765.652 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))
1538730765.652 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1538730765.652 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1538730765.653 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730765.654 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730765.656 * * [misc]simplify:  iters left: 3 (12 enodes)
1538730765.660 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.660 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))
1538730765.660 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1538730765.660 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (N) (- (log1p (expm1 (atan (+ N 1)))) (atan N)))>
1538730765.660 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (N) (- (expm1 (log1p (atan (+ N 1)))) (atan N)))>
1538730765.660 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (N) (- (pow (atan (+ N 1)) 1) (atan N)))>
1538730765.660 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (N) (- (exp (log (atan (+ N 1)))) (atan N)))>
1538730765.660 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (N) (- (log (exp (atan (+ N 1)))) (atan N)))>
1538730765.660 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1)))) (atan N)))>
1538730765.660 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (atan (+ N 1)) (atan (+ N 1))) (atan (+ N 1)))) (atan N)))>
1538730765.660 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1)))) (atan N)))>
1538730765.661 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (N) (- (* 1 (atan (+ N 1))) (atan N)))>
1538730765.661 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1538730765.661 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1538730765.661 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730765.664 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730765.667 * * [misc]simplify:  iters left: 3 (12 enodes)
1538730765.671 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.671 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1538730765.671 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1538730765.672 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1538730765.672 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730765.675 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730765.678 * * [misc]simplify:  iters left: 3 (12 enodes)
1538730765.682 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.682 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1538730765.682 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1538730765.682 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1538730765.683 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730765.686 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730765.689 * * [misc]simplify:  iters left: 3 (12 enodes)
1538730765.693 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1538730765.693 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1538730765.693 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1538730765.694 * [enter]simplify:  Simplifying (atan (+ N 1))
1538730765.694 * * [misc]simplify:  iters left: 3 (4 enodes)
1538730765.696 * * [misc]simplify:  iters left: 2 (7 enodes)
1538730765.698 * [exit]simplify:  Simplified to (atan (+ 1 N))
1538730765.698 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1538730765.698 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1538730765.698 * [enter]simplify:  Simplifying (atan (+ N 1))
1538730765.699 * * [misc]simplify:  iters left: 3 (4 enodes)
1538730765.700 * * [misc]simplify:  iters left: 2 (7 enodes)
1538730765.702 * [exit]simplify:  Simplified to (atan (+ 1 N))
1538730765.702 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1538730765.702 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1538730765.702 * [enter]simplify:  Simplifying (atan (+ N 1))
1538730765.703 * * [misc]simplify:  iters left: 3 (4 enodes)
1538730765.704 * * [misc]simplify:  iters left: 2 (7 enodes)
1538730765.706 * [exit]simplify:  Simplified to (atan (+ 1 N))
1538730765.706 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1538730765.706 * * * [misc]progress:  adding candidates to table
1538730766.368 * * [misc]progress:  iteration 2 / 4
1538730766.368 * * * [misc]progress:  picking best candidate
1538730766.384 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730766.384 * * * [misc]progress:  localizing error
1538730766.401 * * * [misc]progress:  generating rewritten candidates
1538730766.401 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1538730766.403 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1538730766.405 * * * [misc]progress:  generating series expansions
1538730766.405 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1538730766.405 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730766.405 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1538730766.405 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1538730766.405 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730766.405 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1538730766.405 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730766.406 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730766.406 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.406 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.406 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.406 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.406 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.406 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.406 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730766.406 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730766.406 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1538730766.406 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730766.406 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730766.406 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730766.407 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730766.407 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730766.407 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.407 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.407 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.407 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.407 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.407 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.407 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730766.408 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730766.408 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1538730766.408 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730766.408 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730766.408 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730766.408 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730766.408 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730766.408 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.408 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.408 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.408 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.408 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.409 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.409 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730766.409 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1538730766.409 * [misc]backup-simplify:  Simplify (fma N (+ N 1) 1) into (fma N (+ N 1) 1)
1538730766.409 * [misc]approximate:  Taking taylor expansion of (fma N (+ N 1) 1) in (N) around 0
1538730766.409 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730766.409 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730766.409 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730766.409 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.409 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.409 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.409 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730766.409 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.409 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.409 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.409 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.409 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.409 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.410 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.410 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730766.410 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730766.410 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730766.410 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.410 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.410 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.410 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730766.410 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.410 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.410 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.410 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.410 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.410 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.410 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.410 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730766.411 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538730766.411 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730766.411 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.411 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.411 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538730766.411 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.412 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.412 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730766.412 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538730766.412 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.412 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.413 * [misc]backup-simplify:  Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1))
1538730766.413 * [misc]backup-simplify:  Simplify (fma (/ 1 N) (+ (/ 1 N) 1) 1) into (fma (/ 1 N) (+ (/ 1 N) 1) 1)
1538730766.413 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in (N) around 0
1538730766.413 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730766.413 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730766.413 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730766.413 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730766.413 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.413 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.413 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.413 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730766.413 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730766.413 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730766.413 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.413 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.413 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.414 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730766.414 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.414 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.414 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.414 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.414 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730766.414 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730766.414 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730766.414 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730766.414 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.414 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.414 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.414 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730766.414 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730766.414 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730766.414 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.414 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.414 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730766.415 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.415 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.415 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.415 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.415 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.415 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538730766.415 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.415 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.416 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730766.416 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730766.416 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730766.416 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 0 1)) into 1
1538730766.416 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.416 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.417 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730766.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730766.417 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730766.418 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0
1538730766.418 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730766.418 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.418 * [misc]backup-simplify:  Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1))
1538730766.419 * [misc]backup-simplify:  Simplify (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1) into (fma (/ -1 N) (- 1 (/ 1 N)) 1)
1538730766.419 * [misc]approximate:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in (N) around 0
1538730766.419 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730766.419 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730766.419 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730766.419 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730766.419 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730766.419 * [misc]backup-simplify:  Simplify -1 into -1
1538730766.419 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.419 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.419 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.419 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730766.419 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730766.419 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.419 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.419 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730766.419 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.419 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.419 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.419 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730766.420 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.420 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.420 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730766.420 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730766.420 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730766.420 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730766.420 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730766.420 * [misc]backup-simplify:  Simplify -1 into -1
1538730766.420 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.420 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.420 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.420 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730766.420 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730766.420 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.420 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.420 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730766.420 * [misc]taylor:  Taking taylor expansion of N in N
1538730766.420 * [misc]backup-simplify:  Simplify 0 into 0
1538730766.420 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.420 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730766.420 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730766.420 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.421 * [misc]backup-simplify:  Simplify (- 1) into -1
1538730766.421 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538730766.421 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538730766.421 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.421 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.422 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730766.422 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730766.422 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730766.422 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538730766.422 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1538730766.423 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538730766.423 * [misc]backup-simplify:  Simplify -1 into -1
1538730766.423 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730766.423 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730766.423 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730766.424 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730766.424 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0
1538730766.424 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730766.424 * [misc]backup-simplify:  Simplify 1 into 1
1538730766.425 * [misc]backup-simplify:  Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1))
1538730766.425 * * * [misc]progress:  simplifying candidates
1538730766.425 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (atan2 1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (atan2 1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1))>
1538730766.425 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (fma N (+ N 1) 1))))>
1538730766.425 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log1p (expm1 (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (expm1 (log1p (fma N (+ N 1) 1)))))>
1538730766.425 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (* N (+ N 1)) 1)))>
1538730766.425 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1)))>
1538730766.425 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (exp (log (fma N (+ N 1) 1)))))>
1538730766.426 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log (exp (fma N (+ N 1) 1)))))>
1538730766.426 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))) (cbrt (fma N (+ N 1) 1)))))>
1538730766.426 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (cbrt (* (* (fma N (+ N 1) 1) (fma N (+ N 1) 1)) (fma N (+ N 1) 1)))))>
1538730766.426 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))>
1538730766.426 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (fma N (+ N 1) 1))))>
1538730766.426 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730766.426 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730766.427 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730766.429 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730766.434 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730766.446 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730766.457 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730766.458 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730766.458 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730766.458 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730766.458 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730766.461 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730766.465 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730766.481 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730766.493 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730766.494 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730766.494 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730766.495 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730766.495 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730766.497 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730766.502 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730766.515 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730766.526 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730766.526 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730766.526 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730766.526 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730766.527 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730766.530 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730766.535 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730766.542 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730766.550 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730766.566 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730766.566 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730766.566 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730766.567 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730766.567 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730766.570 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730766.575 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730766.582 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730766.590 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730766.608 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730766.608 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730766.608 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730766.608 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730766.609 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730766.612 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730766.620 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730766.625 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730766.629 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730766.638 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730766.638 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730766.638 * * * [misc]progress:  adding candidates to table
1538730766.977 * * [misc]progress:  iteration 3 / 4
1538730766.977 * * * [misc]progress:  picking best candidate
1538730767.026 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (fma N (+ 1 N) 1)))>
1538730767.026 * * * [misc]progress:  localizing error
1538730767.037 * * * [misc]progress:  generating rewritten candidates
1538730767.037 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1538730767.038 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1538730767.039 * * * [misc]progress:  generating series expansions
1538730767.039 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1538730767.039 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ 1 N) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.039 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1538730767.039 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1538730767.039 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.039 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1538730767.039 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.040 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.040 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.040 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1538730767.040 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.040 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.040 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.040 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.040 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.040 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.041 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ 1 (/ 1 (- N))) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.041 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1538730767.041 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.041 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.041 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.041 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.041 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.041 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.041 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.041 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.041 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.041 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.041 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.041 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.041 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1538730767.041 * [misc]backup-simplify:  Simplify (fma N (+ 1 N) 1) into (fma N (+ N 1) 1)
1538730767.041 * [misc]approximate:  Taking taylor expansion of (fma N (+ N 1) 1) in (N) around 0
1538730767.041 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.041 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.041 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.042 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.042 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.042 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.042 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.042 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.042 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.042 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.042 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.042 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.042 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.042 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.042 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538730767.042 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.042 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.043 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.043 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538730767.043 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.043 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.043 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.043 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538730767.043 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.043 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.043 * [misc]backup-simplify:  Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1))
1538730767.044 * [misc]backup-simplify:  Simplify (fma (/ 1 N) (+ 1 (/ 1 N)) 1) into (fma (/ 1 N) (+ (/ 1 N) 1) 1)
1538730767.044 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in (N) around 0
1538730767.044 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.044 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.044 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.044 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.044 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.044 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.044 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.044 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.044 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.044 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.044 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.044 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.044 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.044 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.044 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.044 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.044 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.044 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.044 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.044 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.044 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.044 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.044 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.044 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.045 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.045 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.045 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.045 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.045 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.045 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.045 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538730767.045 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.045 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.045 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.045 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.045 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.045 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 0 1)) into 1
1538730767.046 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.046 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.046 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.046 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.046 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.046 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0
1538730767.046 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.046 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.047 * [misc]backup-simplify:  Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1))
1538730767.047 * [misc]backup-simplify:  Simplify (fma (/ 1 (- N)) (+ 1 (/ 1 (- N))) 1) into (fma (/ -1 N) (- 1 (/ 1 N)) 1)
1538730767.047 * [misc]approximate:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in (N) around 0
1538730767.047 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.047 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.047 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.047 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.047 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.047 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.047 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.047 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.047 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.047 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.047 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.047 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.047 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.047 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.047 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.047 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.047 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.047 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.047 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.047 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.047 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.047 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.047 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.047 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.047 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.047 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.048 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.048 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.048 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.048 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.048 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.048 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.048 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.048 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.048 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.048 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.048 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.048 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.048 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.048 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.048 * [misc]backup-simplify:  Simplify (- 1) into -1
1538730767.048 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538730767.048 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538730767.048 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.048 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.049 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.049 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.049 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.049 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538730767.052 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1538730767.052 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538730767.052 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.052 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.052 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.052 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.052 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.053 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0
1538730767.053 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.053 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.053 * [misc]backup-simplify:  Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1))
1538730767.053 * * * [misc]progress:  simplifying candidates
1538730767.053 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (atan2 1 (fma N (+ 1 N) 1)))))>
1538730767.053 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (atan2 1 (fma N (+ 1 N) 1)))))>
1538730767.053 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (fma N (+ 1 N) 1)) 1))>
1538730767.053 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (fma N (+ 1 N) 1)))))>
1538730767.053 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (fma N (+ 1 N) 1)))))>
1538730767.053 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (atan2 1 (fma N (+ 1 N) 1))) (cbrt (atan2 1 (fma N (+ 1 N) 1)))) (cbrt (atan2 1 (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (atan2 1 (fma N (+ 1 N) 1)) (atan2 1 (fma N (+ 1 N) 1))) (atan2 1 (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ 1 N) 1))) (sqrt (atan2 1 (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (fma N (+ 1 N) 1))))>
1538730767.054 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log1p (expm1 (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (expm1 (log1p (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (* N (+ 1 N)) 1)))>
1538730767.054 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) 1)))>
1538730767.054 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (exp (log (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log (exp (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (cbrt (fma N (+ 1 N) 1)) (cbrt (fma N (+ 1 N) 1))) (cbrt (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (cbrt (* (* (fma N (+ 1 N) 1) (fma N (+ 1 N) 1)) (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ 1 N) 1)) (sqrt (fma N (+ 1 N) 1)))))>
1538730767.054 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (fma N (+ 1 N) 1))))>
1538730767.054 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730767.054 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730767.054 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730767.056 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730767.058 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730767.064 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.070 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730767.070 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730767.070 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730767.070 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730767.070 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730767.072 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730767.074 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730767.080 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.086 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730767.086 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730767.086 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730767.086 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730767.087 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730767.088 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730767.090 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730767.097 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.102 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730767.102 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730767.102 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730767.103 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730767.103 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730767.105 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730767.108 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730767.111 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730767.115 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.126 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730767.126 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730767.126 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730767.126 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730767.127 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730767.128 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730767.131 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730767.134 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730767.138 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.147 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730767.147 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730767.147 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730767.147 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730767.147 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730767.149 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730767.151 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730767.155 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730767.162 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.180 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730767.180 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730767.180 * * * [misc]progress:  adding candidates to table
1538730767.522 * * [misc]progress:  iteration 4 / 4
1538730767.522 * * * [misc]progress:  picking best candidate
1538730767.544 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))>
1538730767.544 * * * [misc]progress:  localizing error
1538730767.554 * * * [misc]progress:  generating rewritten candidates
1538730767.554 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1538730767.559 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1)
1538730767.563 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1538730767.564 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1538730767.600 * * * [misc]progress:  generating series expansions
1538730767.600 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1538730767.600 * [misc]backup-simplify:  Simplify (sqrt (fma N (+ N 1) 1)) into (sqrt (fma N (+ N 1) 1))
1538730767.600 * [misc]approximate:  Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in (N) around 0
1538730767.600 * [misc]taylor:  Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N
1538730767.600 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.600 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.600 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.600 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.600 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.600 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.600 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.600 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.600 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.600 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.600 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.600 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.600 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.600 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.600 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.601 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538730767.601 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.601 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.601 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.601 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538730767.601 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.601 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.601 * [misc]taylor:  Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N
1538730767.601 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.601 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.601 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.601 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.601 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.601 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.601 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.601 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.601 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.601 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.601 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.601 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.601 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.601 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.602 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.602 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538730767.602 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.602 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.602 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.602 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538730767.602 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.602 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.602 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.602 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538730767.603 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.603 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538730767.603 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.604 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8
1538730767.604 * [misc]backup-simplify:  Simplify 3/8 into 3/8
1538730767.604 * [misc]backup-simplify:  Simplify (+ (* 3/8 (pow N 2)) (+ (* 1/2 N) 1)) into (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1))
1538730767.604 * [misc]backup-simplify:  Simplify (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.604 * [misc]approximate:  Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1538730767.604 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.604 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.604 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.604 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.604 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.604 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.604 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.604 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.604 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.604 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.604 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.604 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.604 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.604 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.604 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.604 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.604 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.604 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.604 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.604 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.605 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538730767.605 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.605 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.605 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.605 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.605 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.605 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 0 1)) into 1
1538730767.605 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.606 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.606 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.606 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.606 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.606 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.606 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.606 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.606 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.606 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.606 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.606 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.606 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.606 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.606 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.606 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.606 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.606 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.606 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.606 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.606 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.606 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.606 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538730767.606 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.606 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.607 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.607 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.607 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.607 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 0 1)) into 1
1538730767.607 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.607 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.607 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.607 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538730767.608 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.608 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.608 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.608 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0
1538730767.608 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.609 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8
1538730767.609 * [misc]backup-simplify:  Simplify 3/8 into 3/8
1538730767.609 * [misc]backup-simplify:  Simplify (+ (* 3/8 (/ 1 N)) (+ 1/2 (* 1 (/ 1 (/ 1 N))))) into (+ (* 3/8 (/ 1 N)) (+ N 1/2))
1538730767.609 * [misc]backup-simplify:  Simplify (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.609 * [misc]approximate:  Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1538730767.609 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.609 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.609 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.609 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.609 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.609 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.609 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.609 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.609 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.609 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.609 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.609 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.609 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.609 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.609 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.609 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.609 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.609 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.610 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.610 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.610 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.610 * [misc]backup-simplify:  Simplify (- 1) into -1
1538730767.610 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538730767.610 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538730767.610 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.610 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.610 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.610 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.610 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.611 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538730767.611 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1538730767.611 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538730767.611 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538730767.611 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.611 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.611 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.611 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.611 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.611 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.611 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.611 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.611 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.611 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.611 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.611 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.611 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.611 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.611 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.611 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.611 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.611 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.611 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.612 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.612 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.612 * [misc]backup-simplify:  Simplify (- 1) into -1
1538730767.612 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538730767.612 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538730767.612 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.612 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.612 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.612 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.613 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.613 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538730767.613 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1538730767.613 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538730767.613 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538730767.613 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.613 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538730767.614 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.614 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.614 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.614 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.614 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0
1538730767.614 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.615 * [misc]backup-simplify:  Simplify (/ (- 1 (pow -1/2 2) (+)) (* 2 1)) into 3/8
1538730767.615 * [misc]backup-simplify:  Simplify 3/8 into 3/8
1538730767.615 * [misc]backup-simplify:  Simplify (+ (* 3/8 (/ 1 (- N))) (+ -1/2 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 3/8 (/ 1 N)) (+ N 1/2)))
1538730767.615 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1)
1538730767.619 * [misc]backup-simplify:  Simplify (sqrt (fma N (+ N 1) 1)) into (sqrt (fma N (+ N 1) 1))
1538730767.619 * [misc]approximate:  Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in (N) around 0
1538730767.619 * [misc]taylor:  Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N
1538730767.619 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.619 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.619 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.619 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.619 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.619 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.619 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.619 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.619 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.619 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.619 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.619 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.619 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.619 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.619 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.620 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538730767.620 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.620 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.620 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.620 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538730767.620 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.620 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.620 * [misc]taylor:  Taking taylor expansion of (sqrt (fma N (+ N 1) 1)) in N
1538730767.620 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.620 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.620 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.620 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.620 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.620 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.620 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.620 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.620 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.620 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.620 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.621 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.621 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.621 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.621 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.621 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538730767.621 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.621 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.621 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.621 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538730767.621 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.621 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.621 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.622 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538730767.622 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.622 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538730767.622 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.623 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8
1538730767.623 * [misc]backup-simplify:  Simplify 3/8 into 3/8
1538730767.623 * [misc]backup-simplify:  Simplify (+ (* 3/8 (pow N 2)) (+ (* 1/2 N) 1)) into (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1))
1538730767.623 * [misc]backup-simplify:  Simplify (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.623 * [misc]approximate:  Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1538730767.623 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.623 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.623 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.623 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.623 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.623 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.623 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.623 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.623 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.623 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.623 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.623 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.623 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.623 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.623 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.623 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.623 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.624 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.624 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.624 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.624 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538730767.624 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.624 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.624 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.624 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.624 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.624 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 0 1)) into 1
1538730767.625 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.625 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.625 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.625 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.625 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.625 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.625 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.625 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.625 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.625 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.625 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.625 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.625 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.625 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.625 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.625 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.625 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.625 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.625 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.625 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.625 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.625 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.625 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538730767.626 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.626 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.626 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.626 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.626 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.626 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 0 1)) into 1
1538730767.626 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.627 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1538730767.627 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.627 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538730767.627 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.627 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.627 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.627 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0
1538730767.627 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.628 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 1/2 2) (+)) (* 2 1)) into 3/8
1538730767.628 * [misc]backup-simplify:  Simplify 3/8 into 3/8
1538730767.628 * [misc]backup-simplify:  Simplify (+ (* 3/8 (/ 1 N)) (+ 1/2 (* 1 (/ 1 (/ 1 N))))) into (+ (* 3/8 (/ 1 N)) (+ N 1/2))
1538730767.628 * [misc]backup-simplify:  Simplify (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.628 * [misc]approximate:  Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1538730767.628 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.628 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.629 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.629 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.629 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.629 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.629 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.629 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.629 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.629 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.629 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.629 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.629 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.629 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.629 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.629 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.629 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.629 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.629 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.629 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.629 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.629 * [misc]backup-simplify:  Simplify (- 1) into -1
1538730767.629 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538730767.629 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538730767.629 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.629 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.630 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.630 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.630 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.630 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538730767.630 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1538730767.630 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538730767.630 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538730767.630 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.630 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.630 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.630 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.631 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.631 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.631 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.631 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.631 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.631 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.631 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.631 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.631 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.631 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.631 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.631 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.631 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.631 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.631 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.631 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.631 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.631 * [misc]backup-simplify:  Simplify (- 1) into -1
1538730767.631 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538730767.631 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538730767.631 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.631 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538730767.632 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.632 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.632 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.632 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538730767.632 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1538730767.632 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538730767.632 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538730767.632 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.632 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538730767.633 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.633 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.633 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.633 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.633 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0
1538730767.633 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.634 * [misc]backup-simplify:  Simplify (/ (- 1 (pow -1/2 2) (+)) (* 2 1)) into 3/8
1538730767.634 * [misc]backup-simplify:  Simplify 3/8 into 3/8
1538730767.634 * [misc]backup-simplify:  Simplify (+ (* 3/8 (/ 1 (- N))) (+ -1/2 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 3/8 (/ 1 N)) (+ N 1/2)))
1538730767.634 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1538730767.634 * [misc]backup-simplify:  Simplify (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) into (atan2 1 (fma N (+ N 1) 1))
1538730767.634 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1538730767.634 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.635 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.635 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.635 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.635 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.635 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.635 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.635 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (* (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.635 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1538730767.635 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.635 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.636 * [misc]backup-simplify:  Simplify (atan2 1 (* (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.636 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1538730767.636 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.636 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.636 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1538730767.636 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.636 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.636 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.637 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1538730767.637 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1538730767.637 * [misc]backup-simplify:  Simplify (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) into (fma N (+ N 1) 1)
1538730767.637 * [misc]approximate:  Taking taylor expansion of (fma N (+ N 1) 1) in (N) around 0
1538730767.637 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.637 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.637 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.637 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.637 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.637 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.637 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.637 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.637 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.637 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.637 * [misc]taylor:  Taking taylor expansion of (fma N (+ N 1) 1) in N
1538730767.637 * [misc]taylor:  Rewrote expression to (+ (* N (+ N 1)) 1)
1538730767.637 * [misc]taylor:  Taking taylor expansion of (* N (+ N 1)) in N
1538730767.637 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.637 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.637 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538730767.637 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.637 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.637 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.637 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.637 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.638 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.638 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538730767.638 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.638 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.638 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.638 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538730767.638 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.638 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.638 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.638 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538730767.639 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.639 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.639 * [misc]backup-simplify:  Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1))
1538730767.639 * [misc]backup-simplify:  Simplify (* (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1)) (sqrt (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (fma (/ 1 N) (+ (/ 1 N) 1) 1)
1538730767.639 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in (N) around 0
1538730767.639 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.639 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.639 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.639 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.639 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.639 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.639 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.639 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.639 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.639 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.639 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.639 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.639 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.639 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.639 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.639 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.639 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1) 1) in N
1538730767.639 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1)) 1)
1538730767.639 * [misc]taylor:  Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1)) in N
1538730767.639 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.640 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.640 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.640 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.640 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.640 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538730767.640 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.640 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.640 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.640 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.640 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.640 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.640 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.640 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.640 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.640 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.640 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538730767.640 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.640 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.641 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.641 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.641 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 0 1)) into 1
1538730767.641 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.641 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.641 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.641 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.641 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.641 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 1) (* 0 1))) into 0
1538730767.642 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.642 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.642 * [misc]backup-simplify:  Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1))
1538730767.642 * [misc]backup-simplify:  Simplify (* (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) (sqrt (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (fma (/ -1 N) (- 1 (/ 1 N)) 1)
1538730767.642 * [misc]approximate:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in (N) around 0
1538730767.642 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.642 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.642 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.642 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.642 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.642 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.642 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.642 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.642 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.642 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.642 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.642 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.643 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.643 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.643 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.643 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.643 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.643 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.643 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.643 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.643 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 N) (- 1 (/ 1 N)) 1) in N
1538730767.643 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 N) (- 1 (/ 1 N))) 1)
1538730767.643 * [misc]taylor:  Taking taylor expansion of (* (/ -1 N) (- 1 (/ 1 N))) in N
1538730767.643 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538730767.643 * [misc]taylor:  Taking taylor expansion of -1 in N
1538730767.643 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.643 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.643 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.643 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.643 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538730767.643 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538730767.643 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.643 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.643 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538730767.643 * [misc]taylor:  Taking taylor expansion of N in N
1538730767.643 * [misc]backup-simplify:  Simplify 0 into 0
1538730767.643 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.643 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538730767.643 * [misc]taylor:  Taking taylor expansion of 1 in N
1538730767.643 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.643 * [misc]backup-simplify:  Simplify (- 1) into -1
1538730767.643 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538730767.644 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538730767.644 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.644 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.644 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538730767.644 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.644 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538730767.644 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538730767.644 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 -1)) into -1
1538730767.644 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538730767.644 * [misc]backup-simplify:  Simplify -1 into -1
1538730767.645 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.645 * [misc]backup-simplify:  Simplify (- 0) into 0
1538730767.645 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538730767.645 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538730767.645 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0
1538730767.645 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538730767.645 * [misc]backup-simplify:  Simplify 1 into 1
1538730767.646 * [misc]backup-simplify:  Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1))
1538730767.646 * * * [misc]progress:  simplifying candidates
1538730767.646 * * * * [misc]progress:  [ 1 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (log1p (expm1 (sqrt (fma N (+ N 1) 1)))))))>
1538730767.646 * * * * [misc]progress:  [ 2 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (expm1 (log1p (sqrt (fma N (+ N 1) 1)))))))>
1538730767.646 * * * * [misc]progress:  [ 3 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (pow (fma N (+ N 1) 1) 1/2))))>
1538730767.646 * * * * [misc]progress:  [ 4 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (pow (sqrt (fma N (+ N 1) 1)) 1))))>
1538730767.646 * * * * [misc]progress:  [ 5 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (exp (log (sqrt (fma N (+ N 1) 1)))))))>
1538730767.646 * * * * [misc]progress:  [ 6 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (log (exp (sqrt (fma N (+ N 1) 1)))))))>
1538730767.646 * * * * [misc]progress:  [ 7 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1)))) (cbrt (sqrt (fma N (+ N 1) 1)))))))>
1538730767.646 * * * * [misc]progress:  [ 8 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (cbrt (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.646 * * * * [misc]progress:  [ 9 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) (sqrt (cbrt (fma N (+ N 1) 1)))))))>
1538730767.646 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))
1538730767.647 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730767.648 * * [misc]simplify:  iters left: 5 (13 enodes)
1538730767.651 * * [misc]simplify:  iters left: 4 (22 enodes)
1538730767.658 * * [misc]simplify:  iters left: 3 (37 enodes)
1538730767.663 * * [misc]simplify:  iters left: 2 (45 enodes)
1538730767.668 * * [misc]simplify:  iters left: 1 (46 enodes)
1538730767.672 * [exit]simplify:  Simplified to (fabs (cbrt (fma (+ 1 N) N 1)))
1538730767.672 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (fabs (cbrt (fma (+ 1 N) N 1))) (sqrt (cbrt (fma N (+ N 1) 1)))))))
1538730767.672 * * * * [misc]progress:  [ 10 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))))))>
1538730767.672 * [enter]simplify:  Simplifying (sqrt (sqrt (fma N (+ N 1) 1)))
1538730767.672 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730767.674 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730767.676 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730767.683 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730767.687 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730767.692 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (fma N N 1) N)))
1538730767.692 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (sqrt (sqrt (+ (fma N N 1) N))) (sqrt (sqrt (fma N (+ N 1) 1)))))))
1538730767.692 * * * * [misc]progress:  [ 11 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (sqrt 1) (sqrt (fma N (+ N 1) 1))))))>
1538730767.693 * [enter]simplify:  Simplifying (sqrt 1)
1538730767.693 * * [misc]simplify:  iters left: 1 (2 enodes)
1538730767.694 * [exit]simplify:  Simplified to 1
1538730767.694 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* 1 (sqrt (fma N (+ N 1) 1))))))
1538730767.694 * * * * [misc]progress:  [ 12 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))))))>
1538730767.694 * * * * [misc]progress:  [ 13 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (fabs (sqrt (fma N (+ N 1) 1))))))>
1538730767.694 * [enter]simplify:  Simplifying (sqrt (fma N (+ N 1) 1))
1538730767.694 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730767.696 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730767.698 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730767.706 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.712 * [exit]simplify:  Simplified to (sqrt (+ N (fma N N 1)))
1538730767.712 * [misc]simplify:  Simplified (2 2 2 1) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (fabs (sqrt (+ N (fma N N 1)))))))
1538730767.712 * * * * [misc]progress:  [ 14 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (* 1 (sqrt (fma N (+ N 1) 1))))))>
1538730767.712 * * * * [misc]progress:  [ 15 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (log1p (expm1 (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.712 * * * * [misc]progress:  [ 16 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (expm1 (log1p (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.712 * * * * [misc]progress:  [ 17 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (pow (fma N (+ N 1) 1) 1/2) (sqrt (fma N (+ N 1) 1)))))>
1538730767.712 * * * * [misc]progress:  [ 18 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (pow (sqrt (fma N (+ N 1) 1)) 1) (sqrt (fma N (+ N 1) 1)))))>
1538730767.712 * * * * [misc]progress:  [ 19 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (exp (log (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.712 * * * * [misc]progress:  [ 20 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (log (exp (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.713 * * * * [misc]progress:  [ 21 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1)))) (cbrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.713 * * * * [misc]progress:  [ 22 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (cbrt (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.713 * * * * [misc]progress:  [ 23 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) (sqrt (cbrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.713 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))
1538730767.713 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730767.715 * * [misc]simplify:  iters left: 5 (13 enodes)
1538730767.717 * * [misc]simplify:  iters left: 4 (22 enodes)
1538730767.725 * * [misc]simplify:  iters left: 3 (37 enodes)
1538730767.730 * * [misc]simplify:  iters left: 2 (45 enodes)
1538730767.735 * * [misc]simplify:  iters left: 1 (46 enodes)
1538730767.739 * [exit]simplify:  Simplified to (fabs (cbrt (fma (+ 1 N) N 1)))
1538730767.739 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (* (fabs (cbrt (fma (+ 1 N) N 1))) (sqrt (cbrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))
1538730767.739 * * * * [misc]progress:  [ 24 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.740 * [enter]simplify:  Simplifying (sqrt (sqrt (fma N (+ N 1) 1)))
1538730767.740 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730767.741 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730767.744 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730767.750 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730767.755 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730767.760 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (fma N N 1) N)))
1538730767.760 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (* (sqrt (sqrt (+ (fma N N 1) N))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))
1538730767.760 * * * * [misc]progress:  [ 25 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt 1) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.760 * [enter]simplify:  Simplifying (sqrt 1)
1538730767.761 * * [misc]simplify:  iters left: 1 (2 enodes)
1538730767.762 * [exit]simplify:  Simplified to 1
1538730767.762 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (* 1 (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))
1538730767.762 * * * * [misc]progress:  [ 26 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.762 * * * * [misc]progress:  [ 27 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (fabs (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.762 * [enter]simplify:  Simplifying (sqrt (fma N (+ N 1) 1))
1538730767.762 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730767.763 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730767.766 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730767.772 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.779 * [exit]simplify:  Simplified to (sqrt (+ N (fma N N 1)))
1538730767.779 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (atan2 1 (* (fabs (sqrt (+ N (fma N N 1)))) (sqrt (fma N (+ N 1) 1)))))
1538730767.780 * * * * [misc]progress:  [ 28 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* 1 (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))>
1538730767.780 * * * * [misc]progress:  [ 29 / 81 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 30 / 81 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 31 / 81 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) 1))>
1538730767.780 * * * * [misc]progress:  [ 32 / 81 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 33 / 81 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 34 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))) (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 35 / 81 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 36 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (sqrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 37 / 81 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))))>
1538730767.780 * * * * [misc]progress:  [ 38 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log1p (expm1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 39 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (expm1 (log1p (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730767.780 * * * * [misc]progress:  [ 40 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) (+ 1/2 1/2))))>
1538730767.780 * [enter]simplify:  Simplifying (fma N (+ N 1) 1)
1538730767.780 * * [misc]simplify:  iters left: 3 (4 enodes)
1538730767.781 * * [misc]simplify:  iters left: 2 (9 enodes)
1538730767.783 * * [misc]simplify:  iters left: 1 (18 enodes)
1538730767.790 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730767.790 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (pow (fma N (+ 1 N) 1) (+ 1/2 1/2))))
1538730767.790 * [enter]simplify:  Simplifying (+ 1/2 1/2)
1538730767.790 * * [misc]simplify:  iters left: 2 (2 enodes)
1538730767.791 * * [misc]simplify:  iters left: 1 (3 enodes)
1538730767.792 * [exit]simplify:  Simplified to 1
1538730767.792 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (pow (fma N (+ N 1) 1) 1)))
1538730767.792 * * * * [misc]progress:  [ 41 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (sqrt (fma N (+ N 1) 1)) (+ 1 1))))>
1538730767.792 * [enter]simplify:  Simplifying (sqrt (fma N (+ N 1) 1))
1538730767.792 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730767.793 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730767.795 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730767.802 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730767.807 * [exit]simplify:  Simplified to (sqrt (+ N (fma N N 1)))
1538730767.807 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (pow (sqrt (+ N (fma N N 1))) (+ 1 1))))
1538730767.808 * [enter]simplify:  Simplifying (+ 1 1)
1538730767.808 * * [misc]simplify:  iters left: 2 (2 enodes)
1538730767.809 * * [misc]simplify:  iters left: 1 (5 enodes)
1538730767.809 * [exit]simplify:  Simplified to 2
1538730767.809 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (pow (sqrt (fma N (+ N 1) 1)) 2)))
1538730767.809 * * * * [misc]progress:  [ 42 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (* (fma N (+ N 1) 1) (fma N (+ N 1) 1)) 1/2)))>
1538730767.809 * [enter]simplify:  Simplifying (* (fma N (+ N 1) 1) (fma N (+ N 1) 1))
1538730767.810 * * [misc]simplify:  iters left: 5 (5 enodes)
1538730767.811 * * [misc]simplify:  iters left: 4 (10 enodes)
1538730767.814 * * [misc]simplify:  iters left: 3 (25 enodes)
1538730767.825 * * [misc]simplify:  iters left: 2 (65 enodes)
1538730767.869 * * [misc]simplify:  iters left: 1 (222 enodes)
1538730768.329 * [exit]simplify:  Simplified to (* (+ N (fma N N 1)) (+ N (fma N N 1)))
1538730768.329 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (pow (* (+ N (fma N N 1)) (+ N (fma N N 1))) 1/2)))
1538730768.329 * * * * [misc]progress:  [ 43 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) 1)))>
1538730768.329 * [enter]simplify:  Simplifying (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))
1538730768.330 * * [misc]simplify:  iters left: 6 (6 enodes)
1538730768.331 * * [misc]simplify:  iters left: 5 (11 enodes)
1538730768.335 * * [misc]simplify:  iters left: 4 (21 enodes)
1538730768.344 * * [misc]simplify:  iters left: 3 (36 enodes)
1538730768.348 * * [misc]simplify:  iters left: 2 (43 enodes)
1538730768.353 * [exit]simplify:  Simplified to (+ N (fma N N 1))
1538730768.353 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (pow (+ N (fma N N 1)) 1)))
1538730768.353 * * * * [misc]progress:  [ 44 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (sqrt (fma N (+ N 1) 1)) 2)))>
1538730768.353 * * * * [misc]progress:  [ 45 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (sqrt (fma N (+ N 1) 1)) (+ 1 1))))>
1538730768.353 * [enter]simplify:  Simplifying (sqrt (fma N (+ N 1) 1))
1538730768.354 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730768.355 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730768.357 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730768.363 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730768.368 * [exit]simplify:  Simplified to (sqrt (+ N (fma N N 1)))
1538730768.368 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (pow (sqrt (+ N (fma N N 1))) (+ 1 1))))
1538730768.368 * * * * [misc]progress:  [ 46 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) 1)))>
1538730768.368 * * * * [misc]progress:  [ 47 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (exp (+ (log (sqrt (fma N (+ N 1) 1))) (log (sqrt (fma N (+ N 1) 1)))))))>
1538730768.369 * [enter]simplify:  Simplifying (+ (log (sqrt (fma N (+ N 1) 1))) (log (sqrt (fma N (+ N 1) 1))))
1538730768.369 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730768.371 * * [misc]simplify:  iters left: 5 (12 enodes)
1538730768.374 * * [misc]simplify:  iters left: 4 (21 enodes)
1538730768.380 * * [misc]simplify:  iters left: 3 (36 enodes)
1538730768.385 * * [misc]simplify:  iters left: 2 (45 enodes)
1538730768.390 * * [misc]simplify:  iters left: 1 (46 enodes)
1538730768.394 * [exit]simplify:  Simplified to (+ (log (sqrt (fma (+ 1 N) N 1))) (log (sqrt (fma (+ 1 N) N 1))))
1538730768.394 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (exp (+ (log (sqrt (fma (+ 1 N) N 1))) (log (sqrt (fma (+ 1 N) N 1)))))))
1538730768.394 * * * * [misc]progress:  [ 48 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (exp (log (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730768.394 * * * * [misc]progress:  [ 49 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log (exp (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730768.396 * * * * [misc]progress:  [ 50 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (cbrt (* (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))) (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1)))))))>
1538730768.396 * [enter]simplify:  Simplifying (* (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))) (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))
1538730768.397 * * [misc]simplify:  iters left: 6 (8 enodes)
1538730768.402 * * [misc]simplify:  iters left: 5 (19 enodes)
1538730768.412 * * [misc]simplify:  iters left: 4 (49 enodes)
1538730768.438 * * [misc]simplify:  iters left: 3 (122 enodes)
1538730768.525 * * [misc]simplify:  iters left: 2 (482 enodes)
1538730769.461 * [exit]simplify:  Simplified to (pow (fma (+ 1 N) N 1) 3)
1538730769.461 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (cbrt (pow (fma (+ 1 N) N 1) 3))))
1538730769.462 * * * * [misc]progress:  [ 51 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (cbrt (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) (cbrt (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (cbrt (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730769.462 * * * * [misc]progress:  [ 52 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (cbrt (* (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))) (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730769.462 * * * * [misc]progress:  [ 53 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (sqrt (* (fma N (+ N 1) 1) (fma N (+ N 1) 1)))))>
1538730769.462 * [enter]simplify:  Simplifying (* (fma N (+ N 1) 1) (fma N (+ N 1) 1))
1538730769.462 * * [misc]simplify:  iters left: 5 (5 enodes)
1538730769.463 * * [misc]simplify:  iters left: 4 (10 enodes)
1538730769.466 * * [misc]simplify:  iters left: 3 (25 enodes)
1538730769.490 * * [misc]simplify:  iters left: 2 (65 enodes)
1538730769.551 * * [misc]simplify:  iters left: 1 (222 enodes)
1538730770.070 * [exit]simplify:  Simplified to (* (+ N (fma N N 1)) (+ N (fma N N 1)))
1538730770.070 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (sqrt (* (+ N (fma N N 1)) (+ N (fma N N 1))))))
1538730770.070 * * * * [misc]progress:  [ 54 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) (sqrt (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))>
1538730770.070 * * * * [misc]progress:  [ 55 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730770.070 * [enter]simplify:  Simplifying (+ N 1)
1538730770.071 * * [misc]simplify:  iters left: 2 (3 enodes)
1538730770.072 * * [misc]simplify:  iters left: 1 (6 enodes)
1538730770.074 * [exit]simplify:  Simplified to (+ 1 N)
1538730770.074 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730770.074 * * * * [misc]progress:  [ 56 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))))>
1538730770.074 * * * * [misc]progress:  [ 57 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1))))) (cbrt (sqrt (fma N (+ N 1) 1))))))>
1538730770.074 * [enter]simplify:  Simplifying (cbrt (sqrt (fma N (+ N 1) 1)))
1538730770.075 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730770.077 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730770.082 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730770.095 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730770.105 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730770.115 * [exit]simplify:  Simplified to (cbrt (sqrt (+ (fma N N 1) N)))
1538730770.115 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1))))) (cbrt (sqrt (+ (fma N N 1) N))))))
1538730770.115 * * * * [misc]progress:  [ 58 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))) (sqrt (cbrt (fma N (+ N 1) 1))))))>
1538730770.115 * [enter]simplify:  Simplifying (sqrt (cbrt (fma N (+ N 1) 1)))
1538730770.116 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730770.119 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730770.124 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730770.137 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730770.147 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730770.159 * [exit]simplify:  Simplified to (sqrt (cbrt (+ (fma N N 1) N)))
1538730770.159 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))) (sqrt (cbrt (+ (fma N N 1) N))))))
1538730770.159 * * * * [misc]progress:  [ 59 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (fma N (+ N 1) 1))))))>
1538730770.159 * [enter]simplify:  Simplifying (sqrt (sqrt (fma N (+ N 1) 1)))
1538730770.160 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730770.162 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730770.167 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730770.179 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730770.189 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730770.199 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (fma N N 1) N)))
1538730770.199 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (+ (fma N N 1) N))))))
1538730770.199 * * * * [misc]progress:  [ 60 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt 1)) (sqrt (fma N (+ N 1) 1)))))>
1538730770.199 * [enter]simplify:  Simplifying (sqrt (fma N (+ N 1) 1))
1538730770.200 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730770.202 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730770.205 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730770.211 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730770.216 * [exit]simplify:  Simplified to (sqrt (+ N (fma N N 1)))
1538730770.216 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt 1)) (sqrt (+ N (fma N N 1))))))
1538730770.216 * * * * [misc]progress:  [ 61 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (fma N (+ N 1) 1))))))>
1538730770.217 * [enter]simplify:  Simplifying (sqrt (sqrt (fma N (+ N 1) 1)))
1538730770.217 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730770.218 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730770.221 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730770.227 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730770.231 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730770.236 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (fma N N 1) N)))
1538730770.236 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (+ (fma N N 1) N))))))
1538730770.236 * * * * [misc]progress:  [ 62 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) 1) (sqrt (fma N (+ N 1) 1)))))>
1538730770.236 * [enter]simplify:  Simplifying (sqrt (fma N (+ N 1) 1))
1538730770.237 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730770.238 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730770.240 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730770.248 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730770.253 * [exit]simplify:  Simplified to (sqrt (+ N (fma N N 1)))
1538730770.253 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) 1) (sqrt (+ N (fma N N 1))))))
1538730770.253 * * * * [misc]progress:  [ 63 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1)))) (* (cbrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))>
1538730770.253 * [enter]simplify:  Simplifying (* (cbrt (sqrt (fma N (+ N 1) 1))) (cbrt (sqrt (fma N (+ N 1) 1))))
1538730770.254 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730770.255 * * [misc]simplify:  iters left: 5 (12 enodes)
1538730770.258 * * [misc]simplify:  iters left: 4 (21 enodes)
1538730770.264 * * [misc]simplify:  iters left: 3 (36 enodes)
1538730770.271 * * [misc]simplify:  iters left: 2 (45 enodes)
1538730770.281 * * [misc]simplify:  iters left: 1 (46 enodes)
1538730770.290 * [exit]simplify:  Simplified to (* (cbrt (sqrt (fma (+ 1 N) N 1))) (cbrt (sqrt (fma (+ 1 N) N 1))))
1538730770.290 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* (* (cbrt (sqrt (fma (+ 1 N) N 1))) (cbrt (sqrt (fma (+ 1 N) N 1)))) (* (cbrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))
1538730770.290 * * * * [misc]progress:  [ 64 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1)))) (* (sqrt (cbrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))>
1538730770.290 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fma N (+ N 1) 1)) (cbrt (fma N (+ N 1) 1))))
1538730770.291 * * [misc]simplify:  iters left: 6 (7 enodes)
1538730770.295 * * [misc]simplify:  iters left: 5 (13 enodes)
1538730770.300 * * [misc]simplify:  iters left: 4 (22 enodes)
1538730770.313 * * [misc]simplify:  iters left: 3 (37 enodes)
1538730770.324 * * [misc]simplify:  iters left: 2 (45 enodes)
1538730770.333 * * [misc]simplify:  iters left: 1 (46 enodes)
1538730770.342 * [exit]simplify:  Simplified to (fabs (cbrt (fma (+ 1 N) N 1)))
1538730770.342 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* (fabs (cbrt (fma (+ 1 N) N 1))) (* (sqrt (cbrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))
1538730770.343 * * * * [misc]progress:  [ 65 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (sqrt (fma N (+ N 1) 1))) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))>
1538730770.343 * [enter]simplify:  Simplifying (sqrt (sqrt (fma N (+ N 1) 1)))
1538730770.344 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730770.347 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730770.351 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730770.365 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730770.370 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730770.374 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (fma N N 1) N)))
1538730770.375 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (sqrt (+ (fma N N 1) N))) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))
1538730770.375 * * * * [misc]progress:  [ 66 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt 1) (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))))>
1538730770.375 * [enter]simplify:  Simplifying (sqrt 1)
1538730770.375 * * [misc]simplify:  iters left: 1 (2 enodes)
1538730770.376 * [exit]simplify:  Simplified to 1
1538730770.376 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))))
1538730770.376 * * * * [misc]progress:  [ 67 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (sqrt (fma N (+ N 1) 1))) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))>
1538730770.376 * [enter]simplify:  Simplifying (sqrt (sqrt (fma N (+ N 1) 1)))
1538730770.377 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730770.378 * * [misc]simplify:  iters left: 4 (11 enodes)
1538730770.380 * * [misc]simplify:  iters left: 3 (20 enodes)
1538730770.386 * * [misc]simplify:  iters left: 2 (35 enodes)
1538730770.391 * * [misc]simplify:  iters left: 1 (41 enodes)
1538730770.397 * [exit]simplify:  Simplified to (sqrt (sqrt (+ (fma N N 1) N)))
1538730770.397 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* (sqrt (sqrt (+ (fma N N 1) N))) (* (sqrt (sqrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))
1538730770.397 * * * * [misc]progress:  [ 68 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))))>
1538730770.397 * * * * [misc]progress:  [ 69 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))>
1538730770.398 * * * * [misc]progress:  [ 70 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1)))))>
1538730770.398 * [enter]simplify:  Simplifying (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1))
1538730770.399 * * [misc]simplify:  iters left: 6 (10 enodes)
1538730770.404 * * [misc]simplify:  iters left: 5 (21 enodes)
1538730770.412 * * [misc]simplify:  iters left: 4 (35 enodes)
1538730770.428 * * [misc]simplify:  iters left: 3 (56 enodes)
1538730770.445 * * [misc]simplify:  iters left: 2 (76 enodes)
1538730770.474 * * [misc]simplify:  iters left: 1 (91 enodes)
1538730770.490 * [exit]simplify:  Simplified to (fma N (fma N 3/8 1/2) 1)
1538730770.491 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (fma N (fma N 3/8 1/2) 1))))
1538730770.491 * * * * [misc]progress:  [ 71 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (+ (* 3/8 (/ 1 N)) (+ N 1/2)))))>
1538730770.491 * [enter]simplify:  Simplifying (+ (* 3/8 (/ 1 N)) (+ N 1/2))
1538730770.491 * * [misc]simplify:  iters left: 6 (8 enodes)
1538730770.497 * * [misc]simplify:  iters left: 5 (18 enodes)
1538730770.506 * * [misc]simplify:  iters left: 4 (29 enodes)
1538730770.517 * * [misc]simplify:  iters left: 3 (40 enodes)
1538730770.530 * * [misc]simplify:  iters left: 2 (48 enodes)
1538730770.540 * * [misc]simplify:  iters left: 1 (52 enodes)
1538730770.553 * [exit]simplify:  Simplified to (+ (+ 1/2 N) (/ 3/8 N))
1538730770.553 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (+ (+ 1/2 N) (/ 3/8 N)))))
1538730770.553 * * * * [misc]progress:  [ 72 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (- (+ (* 3/8 (/ 1 N)) (+ N 1/2))))))>
1538730770.553 * [enter]simplify:  Simplifying (- (+ (* 3/8 (/ 1 N)) (+ N 1/2)))
1538730770.554 * * [misc]simplify:  iters left: 6 (9 enodes)
1538730770.558 * * [misc]simplify:  iters left: 5 (22 enodes)
1538730770.566 * * [misc]simplify:  iters left: 4 (49 enodes)
1538730770.581 * * [misc]simplify:  iters left: 3 (97 enodes)
1538730770.614 * * [misc]simplify:  iters left: 2 (137 enodes)
1538730770.665 * * [misc]simplify:  iters left: 1 (178 enodes)
1538730770.788 * [exit]simplify:  Simplified to (+ (/ -3/8 N) (- -1/2 N))
1538730770.788 * [misc]simplify:  Simplified (2 2 2) to (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (+ (/ -3/8 N) (- -1/2 N)))))
1538730770.788 * * * * [misc]progress:  [ 73 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1)) (sqrt (fma N (+ N 1) 1)))))>
1538730770.788 * [enter]simplify:  Simplifying (+ (* 1/2 N) (+ (* 3/8 (pow N 2)) 1))
1538730770.789 * * [misc]simplify:  iters left: 6 (10 enodes)
1538730770.794 * * [misc]simplify:  iters left: 5 (21 enodes)
1538730770.803 * * [misc]simplify:  iters left: 4 (35 enodes)
1538730770.818 * * [misc]simplify:  iters left: 3 (56 enodes)
1538730770.836 * * [misc]simplify:  iters left: 2 (76 enodes)
1538730770.864 * * [misc]simplify:  iters left: 1 (91 enodes)
1538730770.880 * [exit]simplify:  Simplified to (fma N (fma N 3/8 1/2) 1)
1538730770.880 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* (fma N (fma N 3/8 1/2) 1) (sqrt (fma N (+ N 1) 1)))))
1538730770.880 * * * * [misc]progress:  [ 74 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (+ (* 3/8 (/ 1 N)) (+ N 1/2)) (sqrt (fma N (+ N 1) 1)))))>
1538730770.880 * [enter]simplify:  Simplifying (+ (* 3/8 (/ 1 N)) (+ N 1/2))
1538730770.881 * * [misc]simplify:  iters left: 6 (8 enodes)
1538730770.887 * * [misc]simplify:  iters left: 5 (18 enodes)
1538730770.895 * * [misc]simplify:  iters left: 4 (29 enodes)
1538730770.906 * * [misc]simplify:  iters left: 3 (40 enodes)
1538730770.918 * * [misc]simplify:  iters left: 2 (48 enodes)
1538730770.928 * * [misc]simplify:  iters left: 1 (52 enodes)
1538730770.934 * [exit]simplify:  Simplified to (+ (+ 1/2 N) (/ 3/8 N))
1538730770.934 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* (+ (+ 1/2 N) (/ 3/8 N)) (sqrt (fma N (+ N 1) 1)))))
1538730770.934 * * * * [misc]progress:  [ 75 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (- (+ (* 3/8 (/ 1 N)) (+ N 1/2))) (sqrt (fma N (+ N 1) 1)))))>
1538730770.934 * [enter]simplify:  Simplifying (- (+ (* 3/8 (/ 1 N)) (+ N 1/2)))
1538730770.934 * * [misc]simplify:  iters left: 6 (9 enodes)
1538730770.938 * * [misc]simplify:  iters left: 5 (22 enodes)
1538730770.946 * * [misc]simplify:  iters left: 4 (49 enodes)
1538730770.966 * * [misc]simplify:  iters left: 3 (97 enodes)
1538730771.001 * * [misc]simplify:  iters left: 2 (137 enodes)
1538730771.034 * * [misc]simplify:  iters left: 1 (178 enodes)
1538730771.100 * [exit]simplify:  Simplified to (+ (/ -3/8 N) (- -1/2 N))
1538730771.100 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (atan2 1 (* (+ (/ -3/8 N) (- -1/2 N)) (sqrt (fma N (+ N 1) 1)))))
1538730771.100 * * * * [misc]progress:  [ 76 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730771.100 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730771.101 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730771.102 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730771.104 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730771.110 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730771.116 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730771.116 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730771.116 * * * * [misc]progress:  [ 77 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730771.116 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730771.116 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730771.117 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730771.120 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730771.126 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730771.134 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730771.134 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730771.134 * * * * [misc]progress:  [ 78 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1538730771.134 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1538730771.134 * * [misc]simplify:  iters left: 4 (5 enodes)
1538730771.135 * * [misc]simplify:  iters left: 3 (10 enodes)
1538730771.138 * * [misc]simplify:  iters left: 2 (19 enodes)
1538730771.144 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730771.149 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1538730771.149 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1538730771.149 * * * * [misc]progress:  [ 79 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730771.149 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730771.150 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730771.151 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730771.154 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730771.157 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730771.161 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730771.170 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730771.170 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730771.170 * * * * [misc]progress:  [ 80 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730771.170 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730771.170 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730771.172 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730771.174 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730771.178 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730771.182 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730771.190 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730771.191 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730771.191 * * * * [misc]progress:  [ 81 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1538730771.191 * [enter]simplify:  Simplifying (+ N (+ (pow N 2) 1))
1538730771.191 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730771.193 * * [misc]simplify:  iters left: 4 (13 enodes)
1538730771.195 * * [misc]simplify:  iters left: 3 (21 enodes)
1538730771.200 * * [misc]simplify:  iters left: 2 (26 enodes)
1538730771.206 * * [misc]simplify:  iters left: 1 (34 enodes)
1538730771.224 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1538730771.224 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1538730771.224 * * * [misc]progress:  adding candidates to table
1538730772.550 * [misc]progress:  [Phase 3 of 3] Extracting.
1538730772.551 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (N) (cbrt (* (* (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))> #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))> #<alt (λ (N) (atan2 1 (* (fabs (cbrt (fma (+ 1 N) N 1))) (* (sqrt (cbrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))> #<alt (λ (N) (atan2 1 (pow (+ N (fma N N 1)) 1)))> #<alt (λ (N) (* (* (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))) (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))> #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (fma N (+ N 1) 1))))))> #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ 1 N) 1))) (sqrt (atan2 1 (fma N (+ 1 N) 1)))))>)
1538730772.552 * * * [misc]regime-changes:  Trying 1 branch expressions: (N)
1538730772.552 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (cbrt (* (* (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))> #<alt (λ (N) (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))> #<alt (λ (N) (atan2 1 (* (fabs (cbrt (fma (+ 1 N) N 1))) (* (sqrt (cbrt (fma N (+ N 1) 1))) (sqrt (fma N (+ N 1) 1))))))> #<alt (λ (N) (atan2 1 (pow (+ N (fma N N 1)) 1)))> #<alt (λ (N) (* (* (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1))))) (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))) (cbrt (atan2 1 (* (sqrt (fma N (+ N 1) 1)) (sqrt (fma N (+ N 1) 1)))))))> #<alt (λ (N) (atan2 1 (* (* (sqrt (fma N (+ N 1) 1)) (sqrt (sqrt (fma N (+ N 1) 1)))) (sqrt (sqrt (fma N (+ N 1) 1))))))> #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ 1 N) 1))) (sqrt (atan2 1 (fma N (+ 1 N) 1)))))>)
1538730772.603 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1538730772.603 * [enter]simplify:  Simplifying (atan2 1 (pow (+ N (fma N N 1)) 1))
1538730772.604 * * [misc]simplify:  iters left: 5 (6 enodes)
1538730772.604 * * [misc]simplify:  iters left: 4 (9 enodes)
1538730772.605 * [exit]simplify:  Simplified to (atan2 1 (+ N (fma N N 1)))
1538730772.605 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538730774.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538730774.668 * * * * [exit]points:  Sampled 8000 points with exact outputs