1540328353.969 * [misc]progress:  [Phase 1 of 3] Setting up.
1540328353.969 * * * [misc]progress:  [1/2] Preparing points
1540328353.969 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540328354.019 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540328354.019 * * * * [exit]points:  Sampled 256 points with exact outputs
1540328354.019 * * * [misc]progress:  [2/2] Setting up program.
1540328354.023 * [misc]progress:  [Phase 2 of 3] Improving.
1540328354.023 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1540328354.024 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.025 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328354.027 * * [misc]simplify:  iters left: 3 (12 enodes)
1540328354.029 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.037 * * [misc]progress:  iteration 1 / 4
1540328354.037 * * * [misc]progress:  picking best candidate
1540328354.040 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1540328354.040 * * * [misc]progress:  localizing error
1540328354.054 * * * [misc]progress:  generating rewritten candidates
1540328354.054 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1540328354.095 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1540328354.096 * * * [misc]progress:  generating series expansions
1540328354.096 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1540328354.097 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1540328354.097 * [misc]approximate:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0
1540328354.097 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1540328354.097 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1540328354.097 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1540328354.097 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1540328354.097 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1540328354.097 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1540328354.097 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1540328354.097 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1540328354.097 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1540328354.097 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1540328354.097 * [misc]backup-simplify:  Simplify (- (atan N)) into (- (atan N))
1540328354.097 * [misc]backup-simplify:  Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N))
1540328354.097 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1540328354.097 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.098 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.098 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.098 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.098 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.098 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.099 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.099 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.099 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.099 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.099 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1540328354.099 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1540328354.099 * [misc]approximate:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0
1540328354.099 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1540328354.099 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1540328354.099 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1540328354.099 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1540328354.099 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1540328354.099 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1540328354.099 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1540328354.099 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1540328354.099 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1540328354.099 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1540328354.099 * [misc]backup-simplify:  Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
1540328354.099 * [misc]backup-simplify:  Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1540328354.100 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1540328354.100 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.100 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.100 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.100 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.100 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.100 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.101 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.101 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.101 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.101 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.101 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.101 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N))
1540328354.102 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1540328354.102 * [misc]approximate:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
1540328354.102 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1540328354.102 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1540328354.102 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1540328354.102 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1540328354.102 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1540328354.102 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1540328354.102 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1540328354.102 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1540328354.102 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1540328354.102 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1540328354.102 * [misc]backup-simplify:  Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
1540328354.102 * [misc]backup-simplify:  Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1540328354.102 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1540328354.102 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.102 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.102 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.103 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.103 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.103 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.103 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.103 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.103 * [misc]backup-simplify:  Simplify (- 0) into 0
1540328354.104 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540328354.104 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.104 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N))
1540328354.104 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1540328354.104 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1540328354.104 * [misc]approximate:  Taking taylor expansion of (atan (+ N 1)) in (N) around 0
1540328354.104 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1540328354.104 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1540328354.104 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1540328354.104 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1540328354.104 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1540328354.104 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.104 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.104 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.104 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.104 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.104 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.104 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1540328354.105 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1540328354.105 * [misc]approximate:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0
1540328354.105 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1540328354.105 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1540328354.105 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1540328354.105 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1540328354.105 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1))
1540328354.105 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N)))
1540328354.105 * [misc]approximate:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0
1540328354.105 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1540328354.105 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1540328354.105 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1540328354.105 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1540328354.105 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.105 * [misc]backup-simplify:  Simplify 0 into 0
1540328354.106 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1))
1540328354.106 * * * [misc]progress:  simplifying candidates
1540328354.106 * * * * [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)))))))>
1540328354.106 * [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))))))
1540328354.107 * * [misc]simplify:  iters left: 6 (12 enodes)
1540328354.110 * * [misc]simplify:  iters left: 5 (24 enodes)
1540328354.114 * * [misc]simplify:  iters left: 4 (31 enodes)
1540328354.119 * * [misc]simplify:  iters left: 3 (37 enodes)
1540328354.124 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.124 * [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)))))))
1540328354.124 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1540328354.125 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328354.126 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328354.129 * * [misc]simplify:  iters left: 4 (19 enodes)
1540328354.134 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328354.140 * * [misc]simplify:  iters left: 2 (46 enodes)
1540328354.144 * [exit]simplify:  Simplified to 0
1540328354.144 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1540328354.144 * * * * [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))))))>
1540328354.144 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1540328354.145 * * [misc]simplify:  iters left: 6 (11 enodes)
1540328354.147 * * [misc]simplify:  iters left: 5 (19 enodes)
1540328354.150 * * [misc]simplify:  iters left: 4 (23 enodes)
1540328354.157 * * [misc]simplify:  iters left: 3 (28 enodes)
1540328354.165 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.165 * [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))))))
1540328354.165 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1540328354.165 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.166 * * [misc]simplify:  iters left: 4 (8 enodes)
1540328354.170 * * [misc]simplify:  iters left: 3 (14 enodes)
1540328354.173 * * [misc]simplify:  iters left: 2 (20 enodes)
1540328354.176 * * [misc]simplify:  iters left: 1 (22 enodes)
1540328354.177 * [exit]simplify:  Simplified to 0
1540328354.177 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1540328354.177 * * * * [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))))>
1540328354.177 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1)))
1540328354.178 * * [misc]simplify:  iters left: 6 (10 enodes)
1540328354.181 * * [misc]simplify:  iters left: 5 (21 enodes)
1540328354.185 * * [misc]simplify:  iters left: 4 (28 enodes)
1540328354.192 * * [misc]simplify:  iters left: 3 (39 enodes)
1540328354.198 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.198 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1540328354.198 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1540328354.199 * * [misc]simplify:  iters left: 4 (6 enodes)
1540328354.201 * * [misc]simplify:  iters left: 3 (11 enodes)
1540328354.208 * * [misc]simplify:  iters left: 2 (21 enodes)
1540328354.215 * * [misc]simplify:  iters left: 1 (30 enodes)
1540328354.222 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1540328354.222 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N))))
1540328354.222 * * * * [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)))))))>
1540328354.223 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1540328354.224 * * [misc]simplify:  iters left: 6 (11 enodes)
1540328354.229 * * [misc]simplify:  iters left: 5 (23 enodes)
1540328354.237 * * [misc]simplify:  iters left: 4 (29 enodes)
1540328354.246 * * [misc]simplify:  iters left: 3 (34 enodes)
1540328354.253 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.253 * [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)))))))
1540328354.254 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1540328354.254 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328354.257 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328354.262 * * [misc]simplify:  iters left: 4 (19 enodes)
1540328354.273 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328354.288 * * [misc]simplify:  iters left: 2 (46 enodes)
1540328354.295 * [exit]simplify:  Simplified to 0
1540328354.296 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1540328354.296 * * * * [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))))))>
1540328354.296 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1540328354.297 * * [misc]simplify:  iters left: 6 (10 enodes)
1540328354.301 * * [misc]simplify:  iters left: 5 (18 enodes)
1540328354.308 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328354.315 * * [misc]simplify:  iters left: 3 (27 enodes)
1540328354.324 * * [misc]simplify:  iters left: 2 (30 enodes)
1540328354.334 * * [misc]simplify:  iters left: 1 (45 enodes)
1540328354.355 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.355 * [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))))))
1540328354.355 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1540328354.356 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.358 * * [misc]simplify:  iters left: 4 (8 enodes)
1540328354.362 * * [misc]simplify:  iters left: 3 (14 enodes)
1540328354.367 * * [misc]simplify:  iters left: 2 (20 enodes)
1540328354.372 * * [misc]simplify:  iters left: 1 (22 enodes)
1540328354.376 * [exit]simplify:  Simplified to 0
1540328354.376 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0))
1540328354.376 * * * * [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))))>
1540328354.376 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1)))
1540328354.378 * * [misc]simplify:  iters left: 6 (9 enodes)
1540328354.383 * * [misc]simplify:  iters left: 5 (20 enodes)
1540328354.387 * * [misc]simplify:  iters left: 4 (26 enodes)
1540328354.392 * * [misc]simplify:  iters left: 3 (35 enodes)
1540328354.396 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.396 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1540328354.396 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1540328354.397 * * [misc]simplify:  iters left: 4 (6 enodes)
1540328354.398 * * [misc]simplify:  iters left: 3 (11 enodes)
1540328354.402 * * [misc]simplify:  iters left: 2 (21 enodes)
1540328354.407 * * [misc]simplify:  iters left: 1 (30 enodes)
1540328354.410 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1540328354.410 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N))))
1540328354.410 * * * * [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)))))))>
1540328354.410 * [enter]simplify:  Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1540328354.411 * * [misc]simplify:  iters left: 6 (10 enodes)
1540328354.414 * * [misc]simplify:  iters left: 5 (22 enodes)
1540328354.418 * * [misc]simplify:  iters left: 4 (29 enodes)
1540328354.423 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328354.428 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1540328354.428 * [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)))))))
1540328354.428 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1540328354.429 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328354.430 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328354.433 * * [misc]simplify:  iters left: 4 (19 enodes)
1540328354.438 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328354.444 * * [misc]simplify:  iters left: 2 (46 enodes)
1540328354.449 * [exit]simplify:  Simplified to 0
1540328354.450 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1540328354.450 * * * * [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))))))>
1540328354.450 * [enter]simplify:  Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1540328354.450 * * [misc]simplify:  iters left: 6 (9 enodes)
1540328354.452 * * [misc]simplify:  iters left: 5 (17 enodes)
1540328354.455 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328354.459 * * [misc]simplify:  iters left: 3 (28 enodes)
1540328354.463 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1540328354.463 * [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))))))
1540328354.463 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1540328354.464 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.465 * * [misc]simplify:  iters left: 4 (8 enodes)
1540328354.466 * * [misc]simplify:  iters left: 3 (14 enodes)
1540328354.470 * * [misc]simplify:  iters left: 2 (20 enodes)
1540328354.472 * * [misc]simplify:  iters left: 1 (22 enodes)
1540328354.474 * [exit]simplify:  Simplified to 0
1540328354.474 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1540328354.474 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1540328354.474 * [enter]simplify:  Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1)))
1540328354.475 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328354.479 * * [misc]simplify:  iters left: 5 (19 enodes)
1540328354.490 * * [misc]simplify:  iters left: 4 (26 enodes)
1540328354.502 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328354.511 * * [misc]simplify:  iters left: 2 (41 enodes)
1540328354.522 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1540328354.522 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1540328354.522 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1540328354.523 * * [misc]simplify:  iters left: 4 (6 enodes)
1540328354.526 * * [misc]simplify:  iters left: 3 (11 enodes)
1540328354.532 * * [misc]simplify:  iters left: 2 (21 enodes)
1540328354.536 * * [misc]simplify:  iters left: 1 (30 enodes)
1540328354.540 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1540328354.540 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1540328354.540 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (- (atan (+ N 1)) (atan N)))))>
1540328354.540 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (- (atan (+ N 1)) (atan N)))))>
1540328354.540 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (N) (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (atan N))))>
1540328354.540 * [enter]simplify:  Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1))))
1540328354.540 * * [misc]simplify:  iters left: 6 (6 enodes)
1540328354.541 * * [misc]simplify:  iters left: 5 (9 enodes)
1540328354.543 * [exit]simplify:  Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N))))
1540328354.543 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N))))
1540328354.543 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (N) (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (atan N))))>
1540328354.543 * [enter]simplify:  Simplifying (sqrt (atan (+ N 1)))
1540328354.543 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328354.544 * * [misc]simplify:  iters left: 3 (8 enodes)
1540328354.546 * [exit]simplify:  Simplified to (sqrt (atan (+ 1 N)))
1540328354.546 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N))))
1540328354.546 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (N) (fma 1 (atan (+ N 1)) (- (atan N))))>
1540328354.546 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (N) (atan2 (- (+ N 1) N) (+ 1 (* (+ N 1) N))))>
1540328354.546 * [enter]simplify:  Simplifying (- (+ N 1) N)
1540328354.546 * * [misc]simplify:  iters left: 4 (4 enodes)
1540328354.547 * * [misc]simplify:  iters left: 3 (11 enodes)
1540328354.549 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328354.554 * * [misc]simplify:  iters left: 1 (25 enodes)
1540328354.556 * [exit]simplify:  Simplified to 1
1540328354.556 * [misc]simplify:  Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N))))
1540328354.556 * [enter]simplify:  Simplifying (+ 1 (* (+ N 1) N))
1540328354.556 * * [misc]simplify:  iters left: 6 (5 enodes)
1540328354.557 * * [misc]simplify:  iters left: 5 (10 enodes)
1540328354.559 * * [misc]simplify:  iters left: 4 (19 enodes)
1540328354.565 * * [misc]simplify:  iters left: 3 (33 enodes)
1540328354.569 * * [misc]simplify:  iters left: 2 (39 enodes)
1540328354.573 * [exit]simplify:  Simplified to (fma N (+ N 1) 1)
1540328354.573 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1540328354.573 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (atan (+ N 1))) (exp (atan N)))))>
1540328354.574 * [enter]simplify:  Simplifying (/ (exp (atan (+ N 1))) (exp (atan N)))
1540328354.574 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328354.576 * * [misc]simplify:  iters left: 5 (13 enodes)
1540328354.580 * * [misc]simplify:  iters left: 4 (15 enodes)
1540328354.587 * * [misc]simplify:  iters left: 3 (18 enodes)
1540328354.593 * * [misc]simplify:  iters left: 2 (20 enodes)
1540328354.598 * * [misc]simplify:  iters left: 1 (24 enodes)
1540328354.604 * [exit]simplify:  Simplified to (exp (- (atan (+ 1 N)) (atan N)))
1540328354.604 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N)))))
1540328354.604 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (N) (pow (- (atan (+ N 1)) (atan N)) 1))>
1540328354.604 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (N) (exp (log (- (atan (+ N 1)) (atan N)))))>
1540328354.604 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (N) (log (exp (- (atan (+ N 1)) (atan N)))))>
1540328354.604 * * * * [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)))))>
1540328354.604 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))>
1540328354.604 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (atan (+ N 1)) (atan N))) (sqrt (- (atan (+ N 1)) (atan N)))))>
1540328354.604 * * * * [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))))))>
1540328354.604 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1540328354.604 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1540328354.604 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (N) (/ (- (* (atan (+ N 1)) (atan (+ N 1))) (* (atan N) (atan N))) (+ (atan (+ N 1)) (atan N))))>
1540328354.604 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))>
1540328354.604 * [enter]simplify:  Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N)))
1540328354.605 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328354.606 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328354.609 * [exit]simplify:  Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N))))
1540328354.609 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))
1540328354.609 * [enter]simplify:  Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N)))
1540328354.609 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328354.611 * * [misc]simplify:  iters left: 5 (13 enodes)
1540328354.613 * * [misc]simplify:  iters left: 4 (14 enodes)
1540328354.615 * [exit]simplify:  Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1540328354.615 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))
1540328354.615 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
1540328354.616 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1540328354.616 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.617 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328354.619 * * [misc]simplify:  iters left: 3 (12 enodes)
1540328354.621 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.621 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))
1540328354.621 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
1540328354.621 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (N) (- (log1p (expm1 (atan (+ N 1)))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (N) (- (expm1 (log1p (atan (+ N 1)))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (N) (- (pow (atan (+ N 1)) 1) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (N) (- (exp (log (atan (+ N 1)))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (N) (- (log (exp (atan (+ N 1)))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1)))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (atan (+ N 1)) (atan (+ N 1))) (atan (+ N 1)))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1)))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (N) (- (* 1 (atan (+ N 1))) (atan N)))>
1540328354.621 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1540328354.622 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1540328354.622 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.623 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328354.625 * * [misc]simplify:  iters left: 3 (12 enodes)
1540328354.627 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.627 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1540328354.627 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1540328354.627 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1540328354.628 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.630 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328354.635 * * [misc]simplify:  iters left: 3 (12 enodes)
1540328354.640 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.640 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1540328354.640 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1540328354.640 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1540328354.641 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328354.643 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328354.647 * * [misc]simplify:  iters left: 3 (12 enodes)
1540328354.651 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1540328354.651 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1540328354.651 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1540328354.651 * [enter]simplify:  Simplifying (atan (+ N 1))
1540328354.651 * * [misc]simplify:  iters left: 3 (4 enodes)
1540328354.653 * * [misc]simplify:  iters left: 2 (7 enodes)
1540328354.655 * [exit]simplify:  Simplified to (atan (+ 1 N))
1540328354.655 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1540328354.655 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1540328354.655 * [enter]simplify:  Simplifying (atan (+ N 1))
1540328354.655 * * [misc]simplify:  iters left: 3 (4 enodes)
1540328354.657 * * [misc]simplify:  iters left: 2 (7 enodes)
1540328354.659 * [exit]simplify:  Simplified to (atan (+ 1 N))
1540328354.659 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1540328354.659 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1540328354.659 * [enter]simplify:  Simplifying (atan (+ N 1))
1540328354.660 * * [misc]simplify:  iters left: 3 (4 enodes)
1540328354.661 * * [misc]simplify:  iters left: 2 (7 enodes)
1540328354.663 * [exit]simplify:  Simplified to (atan (+ 1 N))
1540328354.663 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1540328354.664 * * * [misc]progress:  adding candidates to table
1540328355.337 * * [misc]progress:  iteration 2 / 4
1540328355.337 * * * [misc]progress:  picking best candidate
1540328355.341 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328355.341 * * * [misc]progress:  localizing error
1540328355.350 * * * [misc]progress:  generating rewritten candidates
1540328355.350 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540328355.351 * * * [misc]progress:  generating series expansions
1540328355.351 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.352 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1540328355.352 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.352 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.352 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.352 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.352 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.352 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.352 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.352 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.352 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1540328355.352 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.352 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.352 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.353 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.353 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.353 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.353 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.353 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.353 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.353 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.353 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.353 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1540328355.353 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.353 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.353 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.353 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.354 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.354 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.354 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.354 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.354 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.354 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.354 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.354 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.354 * * * [misc]progress:  simplifying candidates
1540328355.354 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.354 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.354 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1))>
1540328355.354 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.354 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.354 * * * * [misc]progress:  [ 6 / 12 ] 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)))))>
1540328355.354 * * * * [misc]progress:  [ 7 / 12 ] 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)))))>
1540328355.354 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.354 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (fma N (+ N 1) 1))))>
1540328355.354 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328355.354 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328355.355 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328355.356 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328355.358 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328355.364 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328355.370 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328355.370 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1540328355.370 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328355.370 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328355.370 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328355.372 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328355.374 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328355.382 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328355.388 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328355.388 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1540328355.388 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328355.388 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328355.389 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328355.390 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328355.392 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328355.398 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328355.404 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328355.404 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1540328355.404 * * * [misc]progress:  adding candidates to table
1540328355.574 * * [misc]progress:  iteration 3 / 4
1540328355.574 * * * [misc]progress:  picking best candidate
1540328355.602 * * * * [misc]pick:  Picked  #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.602 * * * [misc]progress:  localizing error
1540328355.614 * * * [misc]progress:  generating rewritten candidates
1540328355.614 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1540328355.622 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1540328355.630 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1540328355.693 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1540328355.695 * * * [misc]progress:  generating series expansions
1540328355.695 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1540328355.695 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.695 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1540328355.695 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328355.695 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.695 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.696 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.696 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.696 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328355.696 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.696 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.696 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.696 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.696 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.696 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.698 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.698 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.698 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.698 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.699 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.699 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.700 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.700 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.701 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.701 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.701 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.701 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.701 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1540328355.701 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328355.701 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.701 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.701 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.702 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.702 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328355.702 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.702 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.702 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.702 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.703 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.703 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.704 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.704 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.704 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.704 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.705 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.705 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.706 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.706 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.707 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.707 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.707 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.708 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.708 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1540328355.708 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328355.708 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.708 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.708 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.708 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.708 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328355.708 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.708 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.709 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.709 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.709 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.709 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.710 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.710 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.711 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.711 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.712 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.712 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.712 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.712 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.714 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.714 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.714 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.714 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1540328355.714 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.714 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1540328355.714 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328355.714 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.714 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.715 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.715 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.715 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328355.715 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.715 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.715 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.715 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.715 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.715 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.717 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.717 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.717 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.717 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.718 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.718 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.719 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.719 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.720 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328355.720 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.720 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.720 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.720 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1540328355.720 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328355.720 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.720 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.721 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.721 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.721 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328355.721 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.721 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.721 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.721 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.722 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328355.722 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.723 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.723 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.723 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.723 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.724 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.724 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.724 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.724 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.725 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328355.725 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.725 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.726 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.726 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1540328355.726 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328355.726 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.726 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.726 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.726 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.726 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328355.726 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.726 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.726 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.726 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.726 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328355.727 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.727 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.727 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.728 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.728 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.728 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.728 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.729 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.729 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.729 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328355.730 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.730 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.730 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1540328355.733 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) into (atan2 1 (fma N (+ N 1) 1))
1540328355.733 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1540328355.733 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.734 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.734 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.734 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1540328355.734 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.734 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.734 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.735 * [misc]backup-simplify:  Simplify (* (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.735 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1540328355.735 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.735 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.735 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.735 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.735 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.735 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.736 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.736 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1540328355.736 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.736 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.736 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.736 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.736 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.736 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.736 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.736 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.736 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1540328355.736 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.736 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328355.736 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.737 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.737 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.737 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1540328355.737 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.737 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.737 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328355.737 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.737 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.737 * [misc]backup-simplify:  Simplify 0 into 0
1540328355.738 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328355.738 * * * [misc]progress:  simplifying candidates
1540328355.738 * * * * [misc]progress:  [ 1 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.738 * * * * [misc]progress:  [ 2 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.738 * * * * [misc]progress:  [ 3 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (pow (atan2 1 (fma N (+ N 1) 1)) 1/2)))>
1540328355.738 * * * * [misc]progress:  [ 4 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1)))>
1540328355.738 * * * * [misc]progress:  [ 5 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.738 * * * * [misc]progress:  [ 6 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.738 * * * * [misc]progress:  [ 7 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.738 * * * * [misc]progress:  [ 8 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.738 * * * * [misc]progress:  [ 9 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.738 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1540328355.739 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328355.740 * * [misc]simplify:  iters left: 5 (14 enodes)
1540328355.743 * * [misc]simplify:  iters left: 4 (23 enodes)
1540328355.750 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328355.755 * * [misc]simplify:  iters left: 2 (48 enodes)
1540328355.760 * * [misc]simplify:  iters left: 1 (49 enodes)
1540328355.768 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1540328355.768 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))))
1540328355.768 * * * * [misc]progress:  [ 10 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.768 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328355.769 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328355.770 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328355.773 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328355.779 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328355.784 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328355.789 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328355.793 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328355.793 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))
1540328355.793 * * * * [misc]progress:  [ 11 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328355.793 * [enter]simplify:  Simplifying (sqrt 1)
1540328355.793 * * [misc]simplify:  iters left: 1 (2 enodes)
1540328355.794 * [exit]simplify:  Simplified to 1
1540328355.794 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328355.794 * * * * [misc]progress:  [ 12 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.794 * * * * [misc]progress:  [ 13 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (fabs (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328355.794 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.795 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328355.796 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328355.801 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328355.814 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328355.825 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328355.835 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328355.835 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))))
1540328355.835 * * * * [misc]progress:  [ 14 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328355.836 * * * * [misc]progress:  [ 15 / 81 ] simplifiying candidate #<alt (λ (N) (* (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 16 / 81 ] simplifiying candidate #<alt (λ (N) (* (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 17 / 81 ] simplifiying candidate #<alt (λ (N) (* (pow (atan2 1 (fma N (+ N 1) 1)) 1/2) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 18 / 81 ] simplifiying candidate #<alt (λ (N) (* (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 19 / 81 ] simplifiying candidate #<alt (λ (N) (* (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 20 / 81 ] simplifiying candidate #<alt (λ (N) (* (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 21 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 22 / 81 ] simplifiying candidate #<alt (λ (N) (* (cbrt (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * * * * [misc]progress:  [ 23 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.836 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1540328355.838 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328355.841 * * [misc]simplify:  iters left: 5 (14 enodes)
1540328355.846 * * [misc]simplify:  iters left: 4 (23 enodes)
1540328355.853 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328355.859 * * [misc]simplify:  iters left: 2 (48 enodes)
1540328355.869 * * [misc]simplify:  iters left: 1 (49 enodes)
1540328355.879 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1540328355.879 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328355.879 * * * * [misc]progress:  [ 24 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.880 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328355.881 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328355.884 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328355.889 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328355.903 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328355.914 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328355.923 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328355.932 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328355.932 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328355.932 * * * * [misc]progress:  [ 25 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.932 * [enter]simplify:  Simplifying (sqrt 1)
1540328355.933 * * [misc]simplify:  iters left: 1 (2 enodes)
1540328355.934 * [exit]simplify:  Simplified to 1
1540328355.934 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328355.934 * * * * [misc]progress:  [ 26 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.934 * * * * [misc]progress:  [ 27 / 81 ] simplifiying candidate #<alt (λ (N) (* (fabs (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.935 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.935 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328355.938 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328355.941 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328355.949 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328355.953 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328355.958 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328355.958 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328355.958 * * * * [misc]progress:  [ 28 / 81 ] simplifiying candidate #<alt (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328355.958 * * * * [misc]progress:  [ 29 / 81 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.958 * * * * [misc]progress:  [ 30 / 81 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328355.958 * * * * [misc]progress:  [ 31 / 81 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) (+ 1/2 1/2)))>
1540328355.958 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328355.958 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328355.960 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328355.962 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328355.968 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328355.979 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328355.979 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) (+ 1/2 1/2)))
1540328355.980 * [enter]simplify:  Simplifying (+ 1/2 1/2)
1540328355.980 * * [misc]simplify:  iters left: 2 (2 enodes)
1540328355.981 * * [misc]simplify:  iters left: 1 (3 enodes)
1540328355.982 * [exit]simplify:  Simplified to 1
1540328355.982 * [misc]simplify:  Simplified (2 2) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1))
1540328355.982 * * * * [misc]progress:  [ 32 / 81 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) (+ 1 1)))>
1540328355.983 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328355.983 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328355.986 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328355.991 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.003 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.012 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.022 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.022 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1)))
1540328356.022 * [enter]simplify:  Simplifying (+ 1 1)
1540328356.022 * * [misc]simplify:  iters left: 2 (2 enodes)
1540328356.024 * * [misc]simplify:  iters left: 1 (5 enodes)
1540328356.025 * [exit]simplify:  Simplified to 2
1540328356.025 * [misc]simplify:  Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2))
1540328356.025 * * * * [misc]progress:  [ 33 / 81 ] simplifiying candidate #<alt (λ (N) (pow (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1/2))>
1540328356.025 * [enter]simplify:  Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))
1540328356.026 * * [misc]simplify:  iters left: 6 (6 enodes)
1540328356.029 * * [misc]simplify:  iters left: 5 (11 enodes)
1540328356.033 * * [misc]simplify:  iters left: 4 (20 enodes)
1540328356.046 * * [misc]simplify:  iters left: 3 (35 enodes)
1540328356.055 * * [misc]simplify:  iters left: 2 (41 enodes)
1540328356.064 * [exit]simplify:  Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N))))
1540328356.064 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2))
1540328356.064 * * * * [misc]progress:  [ 34 / 81 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1))>
1540328356.064 * [enter]simplify:  Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.067 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328356.070 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328356.074 * * [misc]simplify:  iters left: 4 (22 enodes)
1540328356.085 * * [misc]simplify:  iters left: 3 (37 enodes)
1540328356.095 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.104 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.111 * [exit]simplify:  Simplified to (atan2 1 (fma (+ N 1) N 1))
1540328356.111 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (atan2 1 (fma (+ N 1) N 1)) 1))
1540328356.111 * * * * [misc]progress:  [ 35 / 81 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2))>
1540328356.111 * * * * [misc]progress:  [ 36 / 81 ] simplifiying candidate #<alt (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) (+ 1 1)))>
1540328356.111 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.112 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.114 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.118 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.129 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.139 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.149 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.149 * [misc]simplify:  Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1)))
1540328356.149 * * * * [misc]progress:  [ 37 / 81 ] simplifiying candidate #<alt (λ (N) (pow (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1))>
1540328356.149 * * * * [misc]progress:  [ 38 / 81 ] simplifiying candidate #<alt (λ (N) (exp (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.149 * [enter]simplify:  Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328356.150 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328356.153 * * [misc]simplify:  iters left: 5 (13 enodes)
1540328356.158 * * [misc]simplify:  iters left: 4 (22 enodes)
1540328356.171 * * [misc]simplify:  iters left: 3 (37 enodes)
1540328356.176 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.180 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.186 * [exit]simplify:  Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N))))))
1540328356.186 * [misc]simplify:  Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N))))))))
1540328356.186 * * * * [misc]progress:  [ 39 / 81 ] simplifiying candidate #<alt (λ (N) (exp (log (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.186 * * * * [misc]progress:  [ 40 / 81 ] simplifiying candidate #<alt (λ (N) (log (exp (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.186 * * * * [misc]progress:  [ 41 / 81 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.187 * [enter]simplify:  Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328356.187 * * [misc]simplify:  iters left: 6 (9 enodes)
1540328356.190 * * [misc]simplify:  iters left: 5 (19 enodes)
1540328356.194 * * [misc]simplify:  iters left: 4 (37 enodes)
1540328356.207 * * [misc]simplify:  iters left: 3 (57 enodes)
1540328356.223 * * [misc]simplify:  iters left: 2 (69 enodes)
1540328356.238 * * [misc]simplify:  iters left: 1 (73 enodes)
1540328356.253 * [exit]simplify:  Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3)
1540328356.253 * [misc]simplify:  Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3)))
1540328356.253 * * * * [misc]progress:  [ 42 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) (cbrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.253 * * * * [misc]progress:  [ 43 / 81 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.253 * * * * [misc]progress:  [ 44 / 81 ] simplifiying candidate #<alt (λ (N) (sqrt (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.253 * [enter]simplify:  Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))
1540328356.254 * * [misc]simplify:  iters left: 6 (6 enodes)
1540328356.257 * * [misc]simplify:  iters left: 5 (11 enodes)
1540328356.261 * * [misc]simplify:  iters left: 4 (20 enodes)
1540328356.272 * * [misc]simplify:  iters left: 3 (35 enodes)
1540328356.281 * * [misc]simplify:  iters left: 2 (41 enodes)
1540328356.289 * [exit]simplify:  Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N))))
1540328356.289 * [misc]simplify:  Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N))))))
1540328356.290 * * * * [misc]progress:  [ 45 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.290 * * * * [misc]progress:  [ 46 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328356.290 * [enter]simplify:  Simplifying (fma N (+ N 1) 1)
1540328356.290 * * [misc]simplify:  iters left: 3 (4 enodes)
1540328356.292 * * [misc]simplify:  iters left: 2 (9 enodes)
1540328356.297 * * [misc]simplify:  iters left: 1 (18 enodes)
1540328356.312 * [exit]simplify:  Simplified to (fma N (+ 1 N) 1)
1540328356.312 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1)))
1540328356.312 * * * * [misc]progress:  [ 47 / 81 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.312 * * * * [misc]progress:  [ 48 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.312 * [enter]simplify:  Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.313 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328356.316 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328356.321 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328356.333 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328356.344 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.353 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.362 * [exit]simplify:  Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.362 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.362 * * * * [misc]progress:  [ 49 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.363 * [enter]simplify:  Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.364 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328356.367 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328356.371 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328356.385 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328356.395 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.399 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.403 * [exit]simplify:  Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.404 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.404 * * * * [misc]progress:  [ 50 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.404 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.404 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328356.406 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328356.408 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328356.415 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328356.421 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.425 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.429 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.429 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.429 * * * * [misc]progress:  [ 51 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt 1)) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.429 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.430 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.431 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.433 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.440 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.444 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.449 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.449 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1540328356.449 * * * * [misc]progress:  [ 52 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.449 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.450 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328356.451 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328356.456 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328356.469 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328356.480 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.489 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.498 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.498 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.498 * * * * [misc]progress:  [ 53 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.498 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.499 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.501 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.506 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.519 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.530 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.540 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.540 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1540328356.540 * * * * [misc]progress:  [ 54 / 81 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.540 * [enter]simplify:  Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328356.541 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328356.544 * * [misc]simplify:  iters left: 5 (13 enodes)
1540328356.549 * * [misc]simplify:  iters left: 4 (22 enodes)
1540328356.560 * * [misc]simplify:  iters left: 3 (37 enodes)
1540328356.570 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.578 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.586 * [exit]simplify:  Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
1540328356.586 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.586 * * * * [misc]progress:  [ 55 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.586 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1540328356.587 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328356.590 * * [misc]simplify:  iters left: 5 (14 enodes)
1540328356.595 * * [misc]simplify:  iters left: 4 (23 enodes)
1540328356.606 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328356.612 * * [misc]simplify:  iters left: 2 (48 enodes)
1540328356.617 * * [misc]simplify:  iters left: 1 (49 enodes)
1540328356.622 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1540328356.622 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.622 * * * * [misc]progress:  [ 56 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.622 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.623 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328356.624 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328356.627 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328356.635 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328356.640 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.645 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.650 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.650 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.650 * * * * [misc]progress:  [ 57 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt 1) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.650 * [enter]simplify:  Simplifying (sqrt 1)
1540328356.650 * * [misc]simplify:  iters left: 1 (2 enodes)
1540328356.652 * [exit]simplify:  Simplified to 1
1540328356.652 * [misc]simplify:  Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.652 * * * * [misc]progress:  [ 58 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.652 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.653 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328356.654 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328356.657 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328356.666 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328356.677 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328356.686 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328356.691 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328356.691 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328356.691 * * * * [misc]progress:  [ 59 / 81 ] simplifiying candidate #<alt (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.691 * * * * [misc]progress:  [ 60 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.691 * * * * [misc]progress:  [ 61 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (log1p (expm1 (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.691 * * * * [misc]progress:  [ 62 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (expm1 (log1p (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.691 * * * * [misc]progress:  [ 63 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1))))>
1540328356.691 * * * * [misc]progress:  [ 64 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (exp (log (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.691 * * * * [misc]progress:  [ 65 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (log (exp (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.691 * * * * [misc]progress:  [ 66 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.691 * * * * [misc]progress:  [ 67 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.691 * * * * [misc]progress:  [ 68 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328356.691 * * * * [misc]progress:  [ 69 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* 1 (atan2 1 (fma N (+ N 1) 1))))))>
1540328356.691 * * * * [misc]progress:  [ 70 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.691 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.692 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.693 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.695 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.701 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.706 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.710 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.710 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1540328356.710 * * * * [misc]progress:  [ 71 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.711 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.711 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.712 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.715 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.729 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.739 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.748 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.748 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1540328356.749 * * * * [misc]progress:  [ 72 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.749 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.750 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.753 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.758 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.770 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.779 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.788 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.788 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1540328356.788 * * * * [misc]progress:  [ 73 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.789 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.789 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.792 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.796 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.809 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.818 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.828 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.828 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328356.828 * * * * [misc]progress:  [ 74 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.828 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.829 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.832 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.836 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.849 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.859 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.869 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.869 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328356.869 * * * * [misc]progress:  [ 75 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328356.870 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328356.871 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328356.873 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328356.878 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328356.889 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328356.897 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328356.907 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328356.907 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328356.907 * * * * [misc]progress:  [ 76 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328356.908 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328356.908 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328356.910 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328356.915 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328356.928 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328356.939 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328356.939 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1540328356.939 * * * * [misc]progress:  [ 77 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328356.939 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328356.939 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328356.942 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328356.946 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328356.958 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328356.971 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328356.971 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1540328356.971 * * * * [misc]progress:  [ 78 / 81 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1540328356.971 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328356.972 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328356.975 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328356.979 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328356.993 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328357.004 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328357.004 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1540328357.004 * * * * [misc]progress:  [ 79 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328357.004 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328357.005 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328357.007 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328357.012 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328357.022 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328357.027 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328357.027 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328357.027 * * * * [misc]progress:  [ 80 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328357.028 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328357.028 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328357.029 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328357.031 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328357.037 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328357.042 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328357.042 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328357.042 * * * * [misc]progress:  [ 81 / 81 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1540328357.043 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328357.043 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328357.044 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328357.046 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328357.052 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328357.057 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328357.058 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1540328357.058 * * * [misc]progress:  adding candidates to table
1540328358.355 * * [misc]progress:  iteration 4 / 4
1540328358.356 * * * [misc]progress:  picking best candidate
1540328358.384 * * * * [misc]pick:  Picked  #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.384 * * * [misc]progress:  localizing error
1540328358.395 * * * [misc]progress:  generating rewritten candidates
1540328358.395 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1)
1540328358.401 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1)
1540328358.406 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1)
1540328358.410 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 1)
1540328358.411 * * * [misc]progress:  generating series expansions
1540328358.411 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1)
1540328358.411 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.411 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1540328358.411 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328358.411 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.411 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.411 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.411 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.411 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328358.411 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.411 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.412 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.412 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.412 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.412 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.412 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.412 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.413 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.413 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.413 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.413 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.414 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.414 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.414 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.414 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.414 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.414 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.414 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1540328358.414 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328358.414 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.415 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.415 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.415 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.415 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328358.415 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.415 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.415 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.415 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.415 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.415 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.416 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.416 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.417 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.417 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.418 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.418 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.418 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.418 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.420 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.420 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.420 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.420 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.420 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1540328358.420 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328358.420 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.420 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.421 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.421 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.421 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328358.421 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.421 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.421 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.421 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.422 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.422 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.423 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.423 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.423 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.423 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.424 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.424 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.425 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.425 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.426 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.426 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.426 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.426 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1)
1540328358.427 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.427 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1540328358.427 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328358.427 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.427 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.427 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.427 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.427 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328358.427 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.428 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.428 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.428 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.428 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.428 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.429 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.429 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.429 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.429 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.430 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.430 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.431 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.431 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.432 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.432 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.432 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.432 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.432 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1540328358.432 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328358.432 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.433 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.433 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.433 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.433 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328358.433 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.433 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.433 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.434 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.434 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.434 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.435 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.435 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.435 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.435 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.436 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.436 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.437 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.437 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.438 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.438 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.438 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.438 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.439 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1540328358.439 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328358.439 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.439 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.439 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.439 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.439 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328358.439 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.439 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.440 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.440 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.440 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.440 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.441 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.441 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.442 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.442 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.443 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.443 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.443 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.443 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.444 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.444 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.444 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.445 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1)
1540328358.445 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.445 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1540328358.445 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328358.445 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.445 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.445 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.445 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.445 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1540328358.445 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.446 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.446 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.446 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.446 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.446 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.447 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.447 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.447 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.447 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.448 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.448 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.449 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.449 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.450 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1540328358.450 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.450 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.450 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.450 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1540328358.450 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328358.450 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.451 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.451 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.451 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.451 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1540328358.451 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.451 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.451 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.452 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.452 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))
1540328358.452 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.453 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.453 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.453 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.453 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.454 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.454 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.455 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.455 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.456 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1540328358.456 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.456 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.457 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.457 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1540328358.457 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328358.457 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.457 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.457 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.457 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.457 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1540328358.457 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.457 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.458 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.458 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.458 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)))
1540328358.458 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.459 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.459 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.459 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.460 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.460 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.461 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.461 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.461 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.462 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1540328358.462 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.462 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.462 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 1)
1540328358.463 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.463 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1540328358.463 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.463 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.463 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1540328358.463 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.463 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.463 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.463 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.463 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.463 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.464 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.464 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.464 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.464 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.464 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1540328358.464 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.464 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.464 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1540328358.464 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.464 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1540328358.464 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.465 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.465 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.465 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.465 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.465 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.465 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.465 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.465 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1540328358.465 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.465 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.465 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1540328358.465 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.466 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1540328358.466 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.466 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.466 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.466 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.466 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.466 * [misc]backup-simplify:  Simplify 0 into 0
1540328358.466 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1540328358.466 * * * [misc]progress:  simplifying candidates
1540328358.466 * * * * [misc]progress:  [ 1 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.466 * * * * [misc]progress:  [ 2 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.466 * * * * [misc]progress:  [ 3 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1/2))))>
1540328358.466 * * * * [misc]progress:  [ 4 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1))))>
1540328358.466 * * * * [misc]progress:  [ 5 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.467 * * * * [misc]progress:  [ 6 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.467 * * * * [misc]progress:  [ 7 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.467 * * * * [misc]progress:  [ 8 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (cbrt (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.467 * * * * [misc]progress:  [ 9 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.467 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1540328358.468 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328358.472 * * [misc]simplify:  iters left: 5 (14 enodes)
1540328358.476 * * [misc]simplify:  iters left: 4 (23 enodes)
1540328358.483 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328358.488 * * [misc]simplify:  iters left: 2 (48 enodes)
1540328358.493 * * [misc]simplify:  iters left: 1 (49 enodes)
1540328358.497 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1540328358.497 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))))
1540328358.497 * * * * [misc]progress:  [ 10 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.497 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328358.498 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328358.499 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328358.502 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328358.510 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328358.516 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328358.521 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328358.530 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328358.530 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))))
1540328358.530 * * * * [misc]progress:  [ 11 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328358.530 * [enter]simplify:  Simplifying (sqrt 1)
1540328358.531 * * [misc]simplify:  iters left: 1 (2 enodes)
1540328358.532 * [exit]simplify:  Simplified to 1
1540328358.533 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))
1540328358.533 * * * * [misc]progress:  [ 12 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.533 * * * * [misc]progress:  [ 13 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (fabs (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328358.533 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.534 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.536 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.541 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.554 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.563 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.568 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.568 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))))
1540328358.568 * * * * [misc]progress:  [ 14 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1540328358.568 * * * * [misc]progress:  [ 15 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 16 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 17 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1/2))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 18 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 19 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 20 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 21 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 22 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (cbrt (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.568 * * * * [misc]progress:  [ 23 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.569 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1540328358.569 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328358.571 * * [misc]simplify:  iters left: 5 (14 enodes)
1540328358.574 * * [misc]simplify:  iters left: 4 (23 enodes)
1540328358.580 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328358.585 * * [misc]simplify:  iters left: 2 (48 enodes)
1540328358.590 * * [misc]simplify:  iters left: 1 (49 enodes)
1540328358.598 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1540328358.598 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.598 * * * * [misc]progress:  [ 24 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.599 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328358.599 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328358.602 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328358.609 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328358.621 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328358.631 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328358.640 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328358.648 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328358.648 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.648 * * * * [misc]progress:  [ 25 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.649 * [enter]simplify:  Simplifying (sqrt 1)
1540328358.649 * * [misc]simplify:  iters left: 1 (2 enodes)
1540328358.651 * [exit]simplify:  Simplified to 1
1540328358.651 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.651 * * * * [misc]progress:  [ 26 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.651 * * * * [misc]progress:  [ 27 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (fabs (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.651 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.652 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.654 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.659 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.673 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.682 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.692 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.692 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.692 * * * * [misc]progress:  [ 28 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 29 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 30 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 31 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (pow (atan2 1 (fma N (+ N 1) 1)) 1/2) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 32 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 33 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 34 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 35 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (* (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 36 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.692 * * * * [misc]progress:  [ 37 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (* (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.693 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1540328358.694 * * [misc]simplify:  iters left: 6 (8 enodes)
1540328358.697 * * [misc]simplify:  iters left: 5 (14 enodes)
1540328358.702 * * [misc]simplify:  iters left: 4 (23 enodes)
1540328358.716 * * [misc]simplify:  iters left: 3 (38 enodes)
1540328358.725 * * [misc]simplify:  iters left: 2 (48 enodes)
1540328358.730 * * [misc]simplify:  iters left: 1 (49 enodes)
1540328358.734 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1540328358.734 * [misc]simplify:  Simplified (2 1 1 1) to (λ (N) (* (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.734 * * * * [misc]progress:  [ 38 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.735 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328358.736 * * [misc]simplify:  iters left: 6 (7 enodes)
1540328358.738 * * [misc]simplify:  iters left: 5 (12 enodes)
1540328358.740 * * [misc]simplify:  iters left: 4 (21 enodes)
1540328358.747 * * [misc]simplify:  iters left: 3 (36 enodes)
1540328358.752 * * [misc]simplify:  iters left: 2 (45 enodes)
1540328358.756 * * [misc]simplify:  iters left: 1 (46 enodes)
1540328358.761 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1540328358.761 * [misc]simplify:  Simplified (2 1 1 1) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.761 * * * * [misc]progress:  [ 39 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.761 * [enter]simplify:  Simplifying (sqrt 1)
1540328358.762 * * [misc]simplify:  iters left: 1 (2 enodes)
1540328358.763 * [exit]simplify:  Simplified to 1
1540328358.763 * [misc]simplify:  Simplified (2 1 1 1) to (λ (N) (* (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.763 * * * * [misc]progress:  [ 40 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.764 * * * * [misc]progress:  [ 41 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (fabs (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.764 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.764 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.767 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.771 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.784 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.794 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.803 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.803 * [misc]simplify:  Simplified (2 1 1 1) to (λ (N) (* (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.803 * * * * [misc]progress:  [ 42 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.803 * * * * [misc]progress:  [ 43 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (log1p (expm1 (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.803 * * * * [misc]progress:  [ 44 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (expm1 (log1p (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.803 * * * * [misc]progress:  [ 45 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1)))))>
1540328358.803 * * * * [misc]progress:  [ 46 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (exp (log (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.803 * * * * [misc]progress:  [ 47 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (log (exp (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.803 * * * * [misc]progress:  [ 48 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (* (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.803 * * * * [misc]progress:  [ 49 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.803 * * * * [misc]progress:  [ 50 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))))))>
1540328358.804 * * * * [misc]progress:  [ 51 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (* 1 (atan2 1 (fma N (+ N 1) 1)))))))>
1540328358.804 * * * * [misc]progress:  [ 52 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.804 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.804 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.807 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.811 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.821 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.825 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.830 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.830 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))
1540328358.830 * * * * [misc]progress:  [ 53 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.830 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.831 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.834 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.836 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.843 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.848 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.853 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.853 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))
1540328358.853 * * * * [misc]progress:  [ 54 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.854 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.854 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.857 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.861 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.872 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.881 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.890 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.890 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))
1540328358.890 * * * * [misc]progress:  [ 55 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.890 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.891 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.893 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.897 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.908 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.917 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.926 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.926 * [misc]simplify:  Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.926 * * * * [misc]progress:  [ 56 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.926 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.927 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.929 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.934 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.947 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.956 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.965 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.965 * [misc]simplify:  Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.965 * * * * [misc]progress:  [ 57 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.965 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.966 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.968 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.972 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.978 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328358.982 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328358.987 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328358.987 * [misc]simplify:  Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328358.987 * * * * [misc]progress:  [ 58 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328358.987 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328358.988 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328358.989 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328358.991 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328358.998 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328359.002 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328359.011 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328359.011 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328359.011 * * * * [misc]progress:  [ 59 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328359.011 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328359.012 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328359.014 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328359.019 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328359.032 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328359.042 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328359.053 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328359.053 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328359.053 * * * * [misc]progress:  [ 60 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328359.054 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1540328359.054 * * [misc]simplify:  iters left: 5 (6 enodes)
1540328359.057 * * [misc]simplify:  iters left: 4 (11 enodes)
1540328359.062 * * [misc]simplify:  iters left: 3 (20 enodes)
1540328359.074 * * [misc]simplify:  iters left: 2 (35 enodes)
1540328359.083 * * [misc]simplify:  iters left: 1 (41 enodes)
1540328359.093 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1540328359.093 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328359.093 * * * * [misc]progress:  [ 61 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328359.094 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328359.095 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328359.096 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328359.098 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328359.104 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328359.110 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328359.110 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328359.110 * * * * [misc]progress:  [ 62 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328359.110 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328359.110 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328359.111 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328359.113 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328359.119 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328359.126 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328359.126 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328359.127 * * * * [misc]progress:  [ 63 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1540328359.127 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328359.127 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328359.129 * * [misc]simplify:  iters left: 3 (10 enodes)
1540328359.134 * * [misc]simplify:  iters left: 2 (19 enodes)
1540328359.145 * * [misc]simplify:  iters left: 1 (34 enodes)
1540328359.150 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328359.150 * [misc]simplify:  Simplified (2 2 1 1) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1540328359.150 * * * [misc]progress:  adding candidates to table
1540328360.370 * [misc]progress:  [Phase 3 of 3] Extracting.
1540328360.370 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))))> #<alt (λ (N) (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))> #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))> #<alt (λ (N) (* (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>)
1540328360.373 * * * [misc]regime-changes:  Trying 1 branch expressions: (N)
1540328360.373 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))))> #<alt (λ (N) (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))> #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))> #<alt (λ (N) (* (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))>)
1540328360.462 * * * [misc]regime:  Found split indices: #<option (#s(si 4 256))>
1540328360.463 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1540328360.464 * * [misc]simplify:  iters left: 4 (5 enodes)
1540328360.464 * * [misc]simplify:  iters left: 3 (8 enodes)
1540328360.465 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1540328360.465 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540328362.834 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540328362.835 * * * * [exit]points:  Sampled 8000 points with exact outputs