1545301381.495 * [misc]progress:  [Phase 1 of 3] Setting up.
1545301381.495 * * * [misc]progress:  [1/2] Preparing points
1545301381.495 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545301381.535 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545301381.535 * * * * [exit]points:  Sampled 256 points with exact outputs
1545301381.535 * * * [misc]progress:  [2/2] Setting up program.
1545301381.538 * [misc]progress:  [Phase 2 of 3] Improving.
1545301381.538 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1545301381.538 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301381.539 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301381.541 * * [misc]simplify:  iters left: 3 (12 enodes)
1545301381.544 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1545301381.555 * * [misc]progress:  iteration 1 / 4
1545301381.555 * * * [misc]progress:  picking best candidate
1545301381.560 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (atan (+ 1 N)) (atan N)))>
1545301381.560 * * * [misc]progress:  localizing error
1545301381.597 * * * [misc]progress:  generating rewritten candidates
1545301381.597 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545301381.610 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1545301381.611 * * * [misc]progress:  generating series expansions
1545301381.611 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545301381.611 * [misc]backup-simplify:  Simplify (- (atan (+ 1 N)) (atan N)) into (- (atan (+ N 1)) (atan N))
1545301381.611 * [misc]approximate:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0
1545301381.611 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1545301381.611 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1545301381.611 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1545301381.611 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1545301381.611 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1545301381.611 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1545301381.611 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1545301381.611 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1545301381.611 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1545301381.611 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1545301381.611 * [misc]backup-simplify:  Simplify (- (atan N)) into (- (atan N))
1545301381.612 * [misc]backup-simplify:  Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N))
1545301381.612 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1545301381.612 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.612 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.612 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.612 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.613 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.613 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.613 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.613 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.613 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.614 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.614 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.614 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.614 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.614 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.614 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.614 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.614 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.614 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.615 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1545301381.615 * [misc]backup-simplify:  Simplify (- (atan (+ 1 (/ 1 N))) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1545301381.615 * [misc]approximate:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0
1545301381.615 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1545301381.615 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1545301381.615 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1545301381.615 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1545301381.615 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1545301381.615 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1545301381.615 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1545301381.615 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1545301381.615 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1545301381.615 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1545301381.616 * [misc]backup-simplify:  Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
1545301381.616 * [misc]backup-simplify:  Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1545301381.616 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1545301381.616 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.616 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.616 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.616 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.617 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.617 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.617 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.617 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.617 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.617 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.617 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.617 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.617 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.618 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.618 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.618 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.618 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.618 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.618 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N))
1545301381.618 * [misc]backup-simplify:  Simplify (- (atan (+ 1 (/ 1 (- N)))) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1545301381.618 * [misc]approximate:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
1545301381.618 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1545301381.619 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1545301381.619 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1545301381.619 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1545301381.619 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1545301381.619 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1545301381.619 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1545301381.619 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1545301381.619 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1545301381.619 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1545301381.619 * [misc]backup-simplify:  Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
1545301381.619 * [misc]backup-simplify:  Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1545301381.619 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1545301381.620 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.620 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.620 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.620 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.620 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.620 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.620 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.621 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.621 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.621 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.621 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.621 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.621 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.621 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.621 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.621 * [misc]backup-simplify:  Simplify (- 0) into 0
1545301381.622 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545301381.622 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.622 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N))
1545301381.622 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1545301381.622 * [misc]backup-simplify:  Simplify (atan (+ 1 N)) into (atan (+ N 1))
1545301381.622 * [misc]approximate:  Taking taylor expansion of (atan (+ N 1)) in (N) around 0
1545301381.622 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1545301381.622 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1545301381.622 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1545301381.622 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1545301381.623 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1545301381.623 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.623 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.623 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.623 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.623 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.623 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.623 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1545301381.623 * [misc]backup-simplify:  Simplify (atan (+ 1 (/ 1 N))) into (atan (+ (/ 1 N) 1))
1545301381.623 * [misc]approximate:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0
1545301381.623 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1545301381.623 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1545301381.623 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1545301381.623 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1545301381.624 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1545301381.624 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.624 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.624 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.624 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.624 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.624 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.624 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1))
1545301381.624 * [misc]backup-simplify:  Simplify (atan (+ 1 (/ 1 (- N)))) into (atan (- 1 (/ 1 N)))
1545301381.624 * [misc]approximate:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0
1545301381.624 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1545301381.624 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1545301381.624 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1545301381.624 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1545301381.624 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1545301381.625 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.625 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.625 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.625 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.625 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.625 * [misc]backup-simplify:  Simplify 0 into 0
1545301381.625 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1))
1545301381.625 * * * [misc]progress:  simplifying candidates
1545301381.625 * * * * [misc]progress:  [ 1 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (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)))))))>
1545301381.625 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1545301381.625 * * [misc]simplify:  iters left: 6 (12 enodes)
1545301381.629 * * [misc]simplify:  iters left: 5 (24 enodes)
1545301381.636 * * [misc]simplify:  iters left: 4 (31 enodes)
1545301381.645 * * [misc]simplify:  iters left: 3 (37 enodes)
1545301381.653 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.653 * [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)))))))
1545301381.654 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1545301381.654 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301381.656 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301381.660 * * [misc]simplify:  iters left: 4 (19 enodes)
1545301381.667 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301381.677 * * [misc]simplify:  iters left: 2 (46 enodes)
1545301381.684 * [exit]simplify:  Simplified to 0
1545301381.684 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1545301381.684 * * * * [misc]progress:  [ 2 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
1545301381.685 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1545301381.685 * * [misc]simplify:  iters left: 6 (11 enodes)
1545301381.688 * * [misc]simplify:  iters left: 5 (19 enodes)
1545301381.694 * * [misc]simplify:  iters left: 4 (23 enodes)
1545301381.700 * * [misc]simplify:  iters left: 3 (28 enodes)
1545301381.706 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.707 * [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))))))
1545301381.707 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1545301381.707 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301381.709 * * [misc]simplify:  iters left: 4 (8 enodes)
1545301381.711 * * [misc]simplify:  iters left: 3 (14 enodes)
1545301381.716 * * [misc]simplify:  iters left: 2 (20 enodes)
1545301381.720 * * [misc]simplify:  iters left: 1 (22 enodes)
1545301381.724 * [exit]simplify:  Simplified to 0
1545301381.724 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1545301381.724 * * * * [misc]progress:  [ 3 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1545301381.724 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (atan N) 1)))
1545301381.724 * * [misc]simplify:  iters left: 6 (10 enodes)
1545301381.728 * * [misc]simplify:  iters left: 5 (21 enodes)
1545301381.731 * * [misc]simplify:  iters left: 4 (28 enodes)
1545301381.739 * * [misc]simplify:  iters left: 3 (39 enodes)
1545301381.743 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.743 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1545301381.743 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1545301381.743 * * [misc]simplify:  iters left: 4 (6 enodes)
1545301381.744 * * [misc]simplify:  iters left: 3 (11 enodes)
1545301381.747 * * [misc]simplify:  iters left: 2 (21 enodes)
1545301381.749 * * [misc]simplify:  iters left: 1 (30 enodes)
1545301381.753 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1545301381.753 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1545301381.753 * * * * [misc]progress:  [ 4 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (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)))))))>
1545301381.754 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1545301381.754 * * [misc]simplify:  iters left: 6 (11 enodes)
1545301381.757 * * [misc]simplify:  iters left: 5 (23 enodes)
1545301381.764 * * [misc]simplify:  iters left: 4 (29 enodes)
1545301381.772 * * [misc]simplify:  iters left: 3 (34 enodes)
1545301381.780 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.780 * [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)))))))
1545301381.780 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1545301381.780 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301381.782 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301381.786 * * [misc]simplify:  iters left: 4 (19 enodes)
1545301381.793 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301381.803 * * [misc]simplify:  iters left: 2 (46 enodes)
1545301381.810 * [exit]simplify:  Simplified to 0
1545301381.810 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1545301381.810 * * * * [misc]progress:  [ 5 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
1545301381.811 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1545301381.811 * * [misc]simplify:  iters left: 6 (10 enodes)
1545301381.814 * * [misc]simplify:  iters left: 5 (18 enodes)
1545301381.819 * * [misc]simplify:  iters left: 4 (21 enodes)
1545301381.824 * * [misc]simplify:  iters left: 3 (27 enodes)
1545301381.831 * * [misc]simplify:  iters left: 2 (30 enodes)
1545301381.838 * * [misc]simplify:  iters left: 1 (45 enodes)
1545301381.853 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.853 * [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))))))
1545301381.854 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1545301381.854 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301381.855 * * [misc]simplify:  iters left: 4 (8 enodes)
1545301381.858 * * [misc]simplify:  iters left: 3 (14 enodes)
1545301381.862 * * [misc]simplify:  iters left: 2 (20 enodes)
1545301381.866 * * [misc]simplify:  iters left: 1 (22 enodes)
1545301381.870 * [exit]simplify:  Simplified to 0
1545301381.870 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1545301381.870 * * * * [misc]progress:  [ 6 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1545301381.870 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (atan N) 1)))
1545301381.871 * * [misc]simplify:  iters left: 6 (9 enodes)
1545301381.874 * * [misc]simplify:  iters left: 5 (20 enodes)
1545301381.882 * * [misc]simplify:  iters left: 4 (26 enodes)
1545301381.890 * * [misc]simplify:  iters left: 3 (35 enodes)
1545301381.897 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.897 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1545301381.897 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1545301381.897 * * [misc]simplify:  iters left: 4 (6 enodes)
1545301381.899 * * [misc]simplify:  iters left: 3 (11 enodes)
1545301381.904 * * [misc]simplify:  iters left: 2 (21 enodes)
1545301381.910 * * [misc]simplify:  iters left: 1 (30 enodes)
1545301381.916 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1545301381.916 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1545301381.916 * * * * [misc]progress:  [ 7 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ 1 N)) (- (* (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)))))))>
1545301381.917 * [enter]simplify:  Simplifying (fma 1 (atan (+ 1 N)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1545301381.917 * * [misc]simplify:  iters left: 6 (10 enodes)
1545301381.920 * * [misc]simplify:  iters left: 5 (22 enodes)
1545301381.927 * * [misc]simplify:  iters left: 4 (29 enodes)
1545301381.936 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301381.944 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.945 * [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)))))))
1545301381.945 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1545301381.945 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301381.947 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301381.951 * * [misc]simplify:  iters left: 4 (19 enodes)
1545301381.958 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301381.968 * * [misc]simplify:  iters left: 2 (46 enodes)
1545301381.975 * [exit]simplify:  Simplified to 0
1545301381.975 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1545301381.975 * * * * [misc]progress:  [ 8 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ 1 N)) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
1545301381.975 * [enter]simplify:  Simplifying (fma 1 (atan (+ 1 N)) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1545301381.976 * * [misc]simplify:  iters left: 6 (9 enodes)
1545301381.979 * * [misc]simplify:  iters left: 5 (17 enodes)
1545301381.983 * * [misc]simplify:  iters left: 4 (21 enodes)
1545301381.990 * * [misc]simplify:  iters left: 3 (28 enodes)
1545301381.996 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301381.996 * [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))))))
1545301381.997 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1545301381.997 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301381.999 * * [misc]simplify:  iters left: 4 (8 enodes)
1545301382.001 * * [misc]simplify:  iters left: 3 (14 enodes)
1545301382.005 * * [misc]simplify:  iters left: 2 (20 enodes)
1545301382.010 * * [misc]simplify:  iters left: 1 (22 enodes)
1545301382.013 * [exit]simplify:  Simplified to 0
1545301382.013 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1545301382.013 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ 1 N)) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1545301382.014 * [enter]simplify:  Simplifying (fma 1 (atan (+ 1 N)) (- (* (atan N) 1)))
1545301382.014 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301382.016 * * [misc]simplify:  iters left: 5 (19 enodes)
1545301382.019 * * [misc]simplify:  iters left: 4 (26 enodes)
1545301382.025 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301382.029 * * [misc]simplify:  iters left: 2 (41 enodes)
1545301382.033 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301382.033 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1545301382.033 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1545301382.033 * * [misc]simplify:  iters left: 4 (6 enodes)
1545301382.034 * * [misc]simplify:  iters left: 3 (11 enodes)
1545301382.037 * * [misc]simplify:  iters left: 2 (21 enodes)
1545301382.040 * * [misc]simplify:  iters left: 1 (30 enodes)
1545301382.042 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1545301382.042 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1545301382.042 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (- (atan (+ 1 N)) (atan N)))))>
1545301382.042 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (- (atan (+ 1 N)) (atan N)))))>
1545301382.042 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (atan N))))>
1545301382.043 * [enter]simplify:  Simplifying (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N))))
1545301382.043 * * [misc]simplify:  iters left: 6 (6 enodes)
1545301382.044 * * [misc]simplify:  iters left: 5 (9 enodes)
1545301382.047 * [exit]simplify:  Simplified to (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1))))
1545301382.047 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ 1 N))) (- (atan N))))
1545301382.047 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (atan N))))>
1545301382.047 * [enter]simplify:  Simplifying (sqrt (atan (+ 1 N)))
1545301382.047 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301382.049 * * [misc]simplify:  iters left: 3 (8 enodes)
1545301382.050 * [exit]simplify:  Simplified to (sqrt (atan (+ N 1)))
1545301382.051 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ 1 N))) (- (atan N))))
1545301382.051 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (N) (fma 1 (atan (+ 1 N)) (- (atan N))))>
1545301382.051 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (N) (atan2 (- (+ 1 N) N) (+ 1 (* (+ 1 N) N))))>
1545301382.051 * [enter]simplify:  Simplifying (- (+ 1 N) N)
1545301382.051 * * [misc]simplify:  iters left: 4 (4 enodes)
1545301382.052 * * [misc]simplify:  iters left: 3 (11 enodes)
1545301382.057 * * [misc]simplify:  iters left: 2 (18 enodes)
1545301382.060 * * [misc]simplify:  iters left: 1 (19 enodes)
1545301382.062 * [exit]simplify:  Simplified to 1
1545301382.062 * [misc]simplify:  Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ 1 N) N))))
1545301382.063 * [enter]simplify:  Simplifying (+ 1 (* (+ 1 N) N))
1545301382.063 * * [misc]simplify:  iters left: 6 (5 enodes)
1545301382.064 * * [misc]simplify:  iters left: 5 (10 enodes)
1545301382.067 * * [misc]simplify:  iters left: 4 (19 enodes)
1545301382.077 * * [misc]simplify:  iters left: 3 (33 enodes)
1545301382.081 * * [misc]simplify:  iters left: 2 (39 enodes)
1545301382.085 * [exit]simplify:  Simplified to (fma N (+ N 1) 1)
1545301382.085 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1545301382.085 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (atan (+ 1 N))) (exp (atan N)))))>
1545301382.085 * [enter]simplify:  Simplifying (/ (exp (atan (+ 1 N))) (exp (atan N)))
1545301382.085 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301382.086 * * [misc]simplify:  iters left: 5 (13 enodes)
1545301382.088 * * [misc]simplify:  iters left: 4 (15 enodes)
1545301382.090 * * [misc]simplify:  iters left: 3 (18 enodes)
1545301382.092 * * [misc]simplify:  iters left: 2 (20 enodes)
1545301382.094 * * [misc]simplify:  iters left: 1 (24 enodes)
1545301382.098 * [exit]simplify:  Simplified to (exp (- (atan (+ N 1)) (atan N)))
1545301382.098 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (exp (- (atan (+ N 1)) (atan N)))))
1545301382.098 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (N) (pow (- (atan (+ 1 N)) (atan N)) 1))>
1545301382.098 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (N) (exp (log (- (atan (+ 1 N)) (atan N)))))>
1545301382.098 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (N) (log (exp (- (atan (+ 1 N)) (atan N)))))>
1545301382.098 * * * * [misc]progress:  [ 20 / 44 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (atan (+ 1 N)) (atan N))) (cbrt (- (atan (+ 1 N)) (atan N)))) (cbrt (- (atan (+ 1 N)) (atan N)))))>
1545301382.098 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (atan (+ 1 N)) (atan N)) (- (atan (+ 1 N)) (atan N))) (- (atan (+ 1 N)) (atan N)))))>
1545301382.098 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (atan (+ 1 N)) (atan N))) (sqrt (- (atan (+ 1 N)) (atan N)))))>
1545301382.098 * * * * [misc]progress:  [ 23 / 44 ] simplifiying candidate #<alt (λ (N) (/ (- (pow (atan (+ 1 N)) 3) (pow (atan N) 3)) (+ (* (atan (+ 1 N)) (atan (+ 1 N))) (+ (* (atan N) (atan N)) (* (atan (+ 1 N)) (atan N))))))>
1545301382.098 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ 1 N)) (- (atan N))))>
1545301382.098 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))>
1545301382.098 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (N) (/ (- (* (atan (+ 1 N)) (atan (+ 1 N))) (* (atan N) (atan N))) (+ (atan (+ 1 N)) (atan N))))>
1545301382.098 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))>
1545301382.098 * [enter]simplify:  Simplifying (+ (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1545301382.098 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301382.100 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301382.101 * [exit]simplify:  Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ N 1))))
1545301382.101 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ N 1)))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))
1545301382.101 * [enter]simplify:  Simplifying (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1545301382.101 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301382.103 * * [misc]simplify:  iters left: 5 (13 enodes)
1545301382.104 * * [misc]simplify:  iters left: 4 (14 enodes)
1545301382.106 * [exit]simplify:  Simplified to (- (sqrt (atan (+ N 1))) (sqrt (atan N)))
1545301382.106 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))
1545301382.106 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))>
1545301382.106 * [enter]simplify:  Simplifying (- (atan (+ 1 N)) (atan N))
1545301382.106 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301382.107 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301382.109 * * [misc]simplify:  iters left: 3 (12 enodes)
1545301382.110 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1545301382.110 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))
1545301382.110 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ 1 N)) (- (atan N))))>
1545301382.110 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (N) (- (log1p (expm1 (atan (+ 1 N)))) (atan N)))>
1545301382.110 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (N) (- (expm1 (log1p (atan (+ 1 N)))) (atan N)))>
1545301382.110 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (N) (- (pow (atan (+ 1 N)) 1) (atan N)))>
1545301382.110 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (N) (- (exp (log (atan (+ 1 N)))) (atan N)))>
1545301382.110 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (N) (- (log (exp (atan (+ 1 N)))) (atan N)))>
1545301382.110 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N)))) (atan N)))>
1545301382.110 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (atan (+ 1 N)) (atan (+ 1 N))) (atan (+ 1 N)))) (atan N)))>
1545301382.110 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N)))) (atan N)))>
1545301382.111 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (N) (- (* 1 (atan (+ 1 N))) (atan N)))>
1545301382.111 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1545301382.111 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1545301382.111 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301382.112 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301382.115 * * [misc]simplify:  iters left: 3 (12 enodes)
1545301382.118 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1545301382.118 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1545301382.118 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1545301382.118 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1545301382.118 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301382.120 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301382.123 * * [misc]simplify:  iters left: 3 (12 enodes)
1545301382.126 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1545301382.128 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1545301382.128 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1545301382.128 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1545301382.128 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301382.130 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301382.133 * * [misc]simplify:  iters left: 3 (12 enodes)
1545301382.136 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1545301382.136 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1545301382.136 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1545301382.137 * [enter]simplify:  Simplifying (atan (+ N 1))
1545301382.137 * * [misc]simplify:  iters left: 3 (4 enodes)
1545301382.138 * * [misc]simplify:  iters left: 2 (7 enodes)
1545301382.140 * [exit]simplify:  Simplified to (atan (+ 1 N))
1545301382.140 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1545301382.140 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1545301382.140 * [enter]simplify:  Simplifying (atan (+ N 1))
1545301382.140 * * [misc]simplify:  iters left: 3 (4 enodes)
1545301382.141 * * [misc]simplify:  iters left: 2 (7 enodes)
1545301382.143 * [exit]simplify:  Simplified to (atan (+ 1 N))
1545301382.143 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1545301382.143 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1545301382.143 * [enter]simplify:  Simplifying (atan (+ N 1))
1545301382.143 * * [misc]simplify:  iters left: 3 (4 enodes)
1545301382.145 * * [misc]simplify:  iters left: 2 (7 enodes)
1545301382.147 * [exit]simplify:  Simplified to (atan (+ 1 N))
1545301382.147 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1545301382.147 * * * [misc]progress:  adding candidates to table
1545301382.517 * * [misc]progress:  iteration 2 / 4
1545301382.517 * * * [misc]progress:  picking best candidate
1545301382.522 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1545301382.522 * * * [misc]progress:  localizing error
1545301382.544 * * * [misc]progress:  generating rewritten candidates
1545301382.544 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545301382.545 * * * [misc]progress:  generating series expansions
1545301382.545 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545301382.545 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.545 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1545301382.545 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.545 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.545 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.546 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.546 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.546 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.546 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.546 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.546 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.546 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.546 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.546 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.546 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.546 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1545301382.546 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.547 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.547 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.547 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.547 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.547 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.547 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.547 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.547 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.547 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.547 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.547 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.547 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.548 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1545301382.548 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.548 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.548 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.548 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.548 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.548 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.548 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.548 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.548 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.548 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.548 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.549 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.549 * * * [misc]progress:  simplifying candidates
1545301382.549 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.549 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.549 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1))>
1545301382.549 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.549 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.549 * * * * [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)))))>
1545301382.549 * * * * [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)))))>
1545301382.549 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.549 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (fma N (+ N 1) 1))))>
1545301382.549 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1545301382.550 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301382.550 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301382.551 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301382.554 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301382.564 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301382.573 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301382.573 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1545301382.573 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1545301382.573 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301382.574 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301382.575 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301382.578 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301382.589 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301382.597 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301382.597 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1545301382.597 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1545301382.597 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301382.598 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301382.599 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301382.602 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301382.612 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301382.620 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301382.620 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1545301382.620 * * * [misc]progress:  adding candidates to table
1545301382.760 * * [misc]progress:  iteration 3 / 4
1545301382.760 * * * [misc]progress:  picking best candidate
1545301382.771 * * * * [misc]pick:  Picked  #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.771 * * * [misc]progress:  localizing error
1545301382.782 * * * [misc]progress:  generating rewritten candidates
1545301382.782 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1545301382.784 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1545301382.786 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1545301382.786 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1545301382.787 * * * [misc]progress:  generating series expansions
1545301382.787 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1545301382.787 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.787 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1545301382.787 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301382.787 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.789 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.790 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.790 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.790 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301382.790 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.790 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.790 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.790 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.790 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.790 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.792 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.792 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.792 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.792 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.793 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.793 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.793 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.794 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.795 * [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
1545301382.795 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.795 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.795 * [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)))
1545301382.795 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1545301382.795 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301382.795 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.795 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.795 * [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)))
1545301382.796 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.796 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301382.796 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.796 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.796 * [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)))
1545301382.796 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.796 * [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)))
1545301382.797 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.798 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.798 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.798 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.798 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.799 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.799 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.800 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.800 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.801 * [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
1545301382.801 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.801 * [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)))
1545301382.801 * [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)))
1545301382.801 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1545301382.801 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301382.801 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.801 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.802 * [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)))
1545301382.802 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.802 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301382.802 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.802 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.802 * [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)))
1545301382.802 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.803 * [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)))
1545301382.803 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.804 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.804 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.804 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.804 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.805 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.805 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.806 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.806 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.807 * [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
1545301382.807 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.808 * [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)))
1545301382.808 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1545301382.808 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.808 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1545301382.808 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301382.808 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.808 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.808 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.808 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.808 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301382.809 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.809 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.809 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.809 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.809 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.809 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.810 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.810 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.811 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.811 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.812 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.812 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.812 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301382.812 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.813 * [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
1545301382.813 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.813 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.813 * [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)))
1545301382.814 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1545301382.814 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301382.814 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.814 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.814 * [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)))
1545301382.814 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.814 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301382.814 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.814 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.814 * [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)))
1545301382.815 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.815 * [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)))
1545301382.815 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.816 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.816 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.817 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.817 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.818 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.818 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.818 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301382.818 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.819 * [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
1545301382.819 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.820 * [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)))
1545301382.820 * [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)))
1545301382.820 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1545301382.820 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301382.820 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.820 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.820 * [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)))
1545301382.820 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.821 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301382.821 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.821 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.821 * [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)))
1545301382.821 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.821 * [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)))
1545301382.821 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.822 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.823 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.823 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.823 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.824 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.824 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.825 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301382.825 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.826 * [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
1545301382.826 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.826 * [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)))
1545301382.826 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1545301382.826 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.826 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1545301382.826 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.826 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.826 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.826 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.827 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.827 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.827 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.827 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.827 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.827 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.827 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.827 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.827 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.827 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1545301382.827 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.827 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.827 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.828 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.828 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.828 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.828 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.828 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.828 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.828 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.828 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.828 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.828 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.828 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1545301382.828 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.829 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.829 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.829 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.829 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.829 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.829 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.829 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.829 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.829 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.829 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.829 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.830 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1545301382.830 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.830 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1545301382.830 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.830 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.830 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301382.830 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.830 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.830 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.830 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.830 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.830 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.830 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.830 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.830 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.831 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.831 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1545301382.831 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.831 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.831 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301382.831 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.831 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301382.831 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.831 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.831 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.831 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.831 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.832 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.832 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.832 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.832 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1545301382.832 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.832 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.832 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301382.832 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.832 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301382.832 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.833 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.833 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.833 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.833 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.833 * [misc]backup-simplify:  Simplify 0 into 0
1545301382.833 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301382.833 * * * [misc]progress:  simplifying candidates
1545301382.833 * * * * [misc]progress:  [ 1 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1545301382.833 * * * * [misc]progress:  [ 2 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1545301382.833 * * * * [misc]progress:  [ 3 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (pow (atan2 1 (fma N (+ N 1) 1)) 1/2)))>
1545301382.833 * * * * [misc]progress:  [ 4 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1)))>
1545301382.833 * * * * [misc]progress:  [ 5 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1545301382.833 * * * * [misc]progress:  [ 6 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1545301382.833 * * * * [misc]progress:  [ 7 / 58 ] 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)))))))>
1545301382.833 * * * * [misc]progress:  [ 8 / 58 ] 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)))))))>
1545301382.834 * * * * [misc]progress:  [ 9 / 58 ] 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)))))))>
1545301382.834 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1545301382.834 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301382.837 * * [misc]simplify:  iters left: 5 (14 enodes)
1545301382.841 * * [misc]simplify:  iters left: 4 (23 enodes)
1545301382.851 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301382.860 * * [misc]simplify:  iters left: 2 (48 enodes)
1545301382.868 * * [misc]simplify:  iters left: 1 (49 enodes)
1545301382.876 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1545301382.876 * [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)))))))
1545301382.876 * * * * [misc]progress:  [ 10 / 58 ] 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)))))))>
1545301382.876 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301382.876 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301382.878 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301382.881 * * [misc]simplify:  iters left: 4 (21 enodes)
1545301382.891 * * [misc]simplify:  iters left: 3 (36 enodes)
1545301382.900 * * [misc]simplify:  iters left: 2 (45 enodes)
1545301382.908 * * [misc]simplify:  iters left: 1 (46 enodes)
1545301382.914 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301382.914 * [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)))))))
1545301382.914 * * * * [misc]progress:  [ 11 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1545301382.915 * [enter]simplify:  Simplifying (sqrt 1)
1545301382.915 * * [misc]simplify:  iters left: 1 (2 enodes)
1545301382.916 * [exit]simplify:  Simplified to 1
1545301382.916 * [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))))))
1545301382.916 * * * * [misc]progress:  [ 12 / 58 ] 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)))))))>
1545301382.916 * * * * [misc]progress:  [ 13 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (fabs (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1545301382.917 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301382.917 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301382.918 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301382.921 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301382.931 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301382.939 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301382.949 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301382.949 * [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)))))))
1545301382.949 * * * * [misc]progress:  [ 14 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1545301382.949 * * * * [misc]progress:  [ 15 / 58 ] simplifiying candidate #<alt (λ (N) (* (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.949 * * * * [misc]progress:  [ 16 / 58 ] simplifiying candidate #<alt (λ (N) (* (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.949 * * * * [misc]progress:  [ 17 / 58 ] simplifiying candidate #<alt (λ (N) (* (pow (atan2 1 (fma N (+ N 1) 1)) 1/2) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.949 * * * * [misc]progress:  [ 18 / 58 ] simplifiying candidate #<alt (λ (N) (* (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.949 * * * * [misc]progress:  [ 19 / 58 ] simplifiying candidate #<alt (λ (N) (* (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.949 * * * * [misc]progress:  [ 20 / 58 ] simplifiying candidate #<alt (λ (N) (* (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301382.949 * * * * [misc]progress:  [ 21 / 58 ] 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)))))>
1545301382.949 * * * * [misc]progress:  [ 22 / 58 ] 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)))))>
1545301382.949 * * * * [misc]progress:  [ 23 / 58 ] 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)))))>
1545301382.950 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1545301382.950 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301382.952 * * [misc]simplify:  iters left: 5 (14 enodes)
1545301382.956 * * [misc]simplify:  iters left: 4 (23 enodes)
1545301382.967 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301382.976 * * [misc]simplify:  iters left: 2 (48 enodes)
1545301382.984 * * [misc]simplify:  iters left: 1 (49 enodes)
1545301382.992 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1545301382.992 * [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)))))
1545301382.992 * * * * [misc]progress:  [ 24 / 58 ] 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)))))>
1545301382.992 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301382.992 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301382.994 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301382.998 * * [misc]simplify:  iters left: 4 (21 enodes)
1545301383.008 * * [misc]simplify:  iters left: 3 (36 enodes)
1545301383.016 * * [misc]simplify:  iters left: 2 (45 enodes)
1545301383.024 * * [misc]simplify:  iters left: 1 (46 enodes)
1545301383.031 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301383.031 * [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)))))
1545301383.031 * * * * [misc]progress:  [ 25 / 58 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.031 * [enter]simplify:  Simplifying (sqrt 1)
1545301383.031 * * [misc]simplify:  iters left: 1 (2 enodes)
1545301383.033 * [exit]simplify:  Simplified to 1
1545301383.033 * [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)))))
1545301383.033 * * * * [misc]progress:  [ 26 / 58 ] 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)))))>
1545301383.033 * * * * [misc]progress:  [ 27 / 58 ] simplifiying candidate #<alt (λ (N) (* (fabs (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.033 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.033 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301383.035 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301383.038 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301383.044 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301383.048 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301383.052 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301383.052 * [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)))))
1545301383.052 * * * * [misc]progress:  [ 28 / 58 ] simplifiying candidate #<alt (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 29 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (log1p (expm1 (atan2 1 (fma N (+ N 1) 1)))))))>
1545301383.052 * * * * [misc]progress:  [ 30 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (expm1 (log1p (atan2 1 (fma N (+ N 1) 1)))))))>
1545301383.052 * * * * [misc]progress:  [ 31 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1))))>
1545301383.052 * * * * [misc]progress:  [ 32 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (exp (log (atan2 1 (fma N (+ N 1) 1)))))))>
1545301383.052 * * * * [misc]progress:  [ 33 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (log (exp (atan2 1 (fma N (+ N 1) 1)))))))>
1545301383.052 * * * * [misc]progress:  [ 34 / 58 ] 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)))))))>
1545301383.052 * * * * [misc]progress:  [ 35 / 58 ] 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)))))))>
1545301383.052 * * * * [misc]progress:  [ 36 / 58 ] 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)))))))>
1545301383.052 * * * * [misc]progress:  [ 37 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* 1 (atan2 1 (fma N (+ N 1) 1))))))>
1545301383.052 * * * * [misc]progress:  [ 38 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log1p (expm1 (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 39 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (expm1 (log1p (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 40 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1)) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 41 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (exp (log (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 42 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (exp (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 43 / 58 ] simplifiying candidate #<alt (λ (N) (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 44 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 45 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 46 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* 1 (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.052 * * * * [misc]progress:  [ 47 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.053 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.053 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301383.054 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301383.055 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301383.060 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301383.064 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301383.068 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301383.068 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1545301383.068 * * * * [misc]progress:  [ 48 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.069 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.069 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301383.070 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301383.071 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301383.076 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301383.081 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301383.088 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301383.088 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1545301383.088 * * * * [misc]progress:  [ 49 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.089 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.089 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301383.091 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301383.094 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301383.103 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301383.111 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301383.119 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301383.119 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1545301383.119 * * * * [misc]progress:  [ 50 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.119 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.120 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301383.121 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301383.125 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301383.135 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301383.142 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301383.150 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301383.150 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.150 * * * * [misc]progress:  [ 51 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.151 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.151 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301383.153 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301383.156 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301383.164 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301383.168 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301383.172 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301383.172 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.172 * * * * [misc]progress:  [ 52 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.172 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.172 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301383.173 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301383.174 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301383.180 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301383.184 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301383.188 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301383.188 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.188 * * * * [misc]progress:  [ 53 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.189 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301383.189 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301383.189 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301383.191 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301383.196 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301383.200 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301383.200 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.200 * * * * [misc]progress:  [ 54 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.200 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301383.200 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301383.201 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301383.202 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301383.207 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301383.211 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301383.211 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.211 * * * * [misc]progress:  [ 55 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.211 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301383.211 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301383.212 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301383.214 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301383.221 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301383.228 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301383.229 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.229 * * * * [misc]progress:  [ 56 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.229 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301383.229 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301383.230 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301383.233 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301383.242 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301383.249 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301383.249 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.249 * * * * [misc]progress:  [ 57 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.249 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301383.249 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301383.251 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301383.253 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301383.261 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301383.268 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301383.269 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.269 * * * * [misc]progress:  [ 58 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1545301383.269 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301383.269 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301383.270 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301383.273 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301383.282 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301383.289 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301383.289 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1545301383.289 * * * [misc]progress:  adding candidates to table
1545301383.916 * * [misc]progress:  iteration 4 / 4
1545301383.916 * * * [misc]progress:  picking best candidate
1545301383.934 * * * * [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)))))))>
1545301383.934 * * * [misc]progress:  localizing error
1545301383.952 * * * [misc]progress:  generating rewritten candidates
1545301383.952 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 1)
1545301383.957 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 1)
1545301383.959 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1545301383.961 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1 1)
1545301383.961 * * * [misc]progress:  generating series expansions
1545301383.961 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 1)
1545301383.962 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.962 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1545301383.962 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301383.962 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301383.962 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301383.962 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.962 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.962 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301383.962 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301383.962 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301383.963 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.963 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.963 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.963 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.964 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.964 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.965 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.965 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.966 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.966 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.966 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.966 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.967 * [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
1545301383.967 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.967 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.968 * [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)))
1545301383.968 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1545301383.968 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301383.968 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301383.968 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301383.968 * [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)))
1545301383.968 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.968 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301383.968 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301383.969 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301383.969 * [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)))
1545301383.969 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.969 * [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)))
1545301383.969 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.970 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.970 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.971 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.971 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.972 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.972 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.973 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.973 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.974 * [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
1545301383.974 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.974 * [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)))
1545301383.974 * [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)))
1545301383.974 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1545301383.974 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301383.974 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301383.974 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301383.975 * [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)))
1545301383.975 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.975 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301383.975 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301383.975 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301383.975 * [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)))
1545301383.976 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.976 * [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)))
1545301383.976 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.977 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.977 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.977 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.977 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.978 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.978 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.979 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.979 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.980 * [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
1545301383.980 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.981 * [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)))
1545301383.981 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 1)
1545301383.981 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.981 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1545301383.981 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301383.981 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301383.981 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301383.981 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.981 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.981 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301383.981 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301383.982 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301383.982 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.982 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.982 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.982 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.983 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.983 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.983 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.984 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.984 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.984 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.985 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.985 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.986 * [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
1545301383.986 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.986 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.986 * [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)))
1545301383.986 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1545301383.986 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301383.986 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301383.986 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301383.987 * [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)))
1545301383.987 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.987 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301383.987 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301383.987 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301383.987 * [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)))
1545301383.987 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.987 * [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)))
1545301383.988 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.989 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.989 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.989 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.989 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.990 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.990 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.990 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301383.990 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.991 * [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
1545301383.992 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.992 * [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)))
1545301383.992 * [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)))
1545301383.992 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1545301383.992 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301383.992 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301383.992 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301383.992 * [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)))
1545301383.993 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.993 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301383.993 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301383.993 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301383.993 * [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)))
1545301383.993 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.993 * [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)))
1545301383.993 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.994 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.994 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.995 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.995 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.996 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.996 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.996 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301383.996 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.997 * [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
1545301383.997 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.997 * [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)))
1545301383.998 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1545301383.998 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.998 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1545301383.998 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301383.998 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301383.998 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301383.998 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.998 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.998 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1545301383.998 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301383.998 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301383.998 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.999 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301383.999 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301383.999 * [misc]backup-simplify:  Simplify 0 into 0
1545301383.999 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301384.000 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.000 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301384.000 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.000 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301384.000 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.001 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1545301384.001 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.001 * [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
1545301384.001 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.001 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.002 * [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)))
1545301384.002 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1545301384.002 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301384.002 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301384.002 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301384.002 * [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)))
1545301384.002 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301384.002 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1545301384.002 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301384.002 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301384.002 * [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)))
1545301384.002 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301384.002 * [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)))
1545301384.002 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.003 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301384.003 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.004 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301384.004 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.004 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301384.004 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.005 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1545301384.005 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.005 * [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
1545301384.005 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.005 * [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)))
1545301384.006 * [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)))
1545301384.006 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1545301384.006 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301384.006 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301384.006 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301384.006 * [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)))
1545301384.006 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301384.006 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1545301384.006 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301384.006 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301384.006 * [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)))
1545301384.006 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301384.006 * [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)))
1545301384.006 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.007 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301384.007 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.007 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301384.007 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.008 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301384.008 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.008 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1545301384.008 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.009 * [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
1545301384.009 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.009 * [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)))
1545301384.009 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1 1)
1545301384.009 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301384.009 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1545301384.009 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301384.009 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301384.009 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1545301384.009 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301384.010 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301384.010 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301384.010 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1545301384.010 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301384.010 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301384.010 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1545301384.010 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301384.010 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.010 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301384.011 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301384.011 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1545301384.011 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301384.011 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301384.011 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1545301384.011 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301384.011 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1545301384.011 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.011 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.011 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.011 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.011 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.011 * [misc]backup-simplify:  Simplify 0 into 0
1545301384.011 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1545301384.011 * * * [misc]progress:  simplifying candidates
1545301384.011 * * * * [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)))))))))>
1545301384.011 * * * * [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)))))))))>
1545301384.011 * * * * [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)))))>
1545301384.011 * * * * [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)))))>
1545301384.011 * * * * [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)))))))))>
1545301384.011 * * * * [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)))))))))>
1545301384.011 * * * * [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)))))))))>
1545301384.012 * * * * [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)))))))))>
1545301384.012 * * * * [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)))))))))>
1545301384.012 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1545301384.012 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301384.013 * * [misc]simplify:  iters left: 5 (14 enodes)
1545301384.015 * * [misc]simplify:  iters left: 4 (23 enodes)
1545301384.020 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301384.025 * * [misc]simplify:  iters left: 2 (48 enodes)
1545301384.033 * * [misc]simplify:  iters left: 1 (49 enodes)
1545301384.039 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1545301384.040 * [misc]simplify:  Simplified (2 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)))))))))
1545301384.040 * * * * [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)))))))))>
1545301384.040 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301384.040 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301384.041 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301384.042 * * [misc]simplify:  iters left: 4 (21 enodes)
1545301384.047 * * [misc]simplify:  iters left: 3 (36 enodes)
1545301384.051 * * [misc]simplify:  iters left: 2 (45 enodes)
1545301384.056 * * [misc]simplify:  iters left: 1 (46 enodes)
1545301384.059 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301384.059 * [misc]simplify:  Simplified (2 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)))))))))
1545301384.059 * * * * [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))))))))>
1545301384.059 * [enter]simplify:  Simplifying (sqrt 1)
1545301384.059 * * [misc]simplify:  iters left: 1 (2 enodes)
1545301384.061 * [exit]simplify:  Simplified to 1
1545301384.061 * [misc]simplify:  Simplified (2 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))))))))
1545301384.061 * * * * [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)))))))))>
1545301384.061 * * * * [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))))))))>
1545301384.061 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.061 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.063 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.066 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.078 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.085 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.088 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.089 * [misc]simplify:  Simplified (2 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)))))))))
1545301384.089 * * * * [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))))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * * * * [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)))))))>
1545301384.089 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1545301384.089 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301384.090 * * [misc]simplify:  iters left: 5 (14 enodes)
1545301384.092 * * [misc]simplify:  iters left: 4 (23 enodes)
1545301384.097 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301384.102 * * [misc]simplify:  iters left: 2 (48 enodes)
1545301384.106 * * [misc]simplify:  iters left: 1 (49 enodes)
1545301384.110 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1545301384.110 * [misc]simplify:  Simplified (2 2 1 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)))))))
1545301384.110 * * * * [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)))))))>
1545301384.110 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301384.110 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301384.111 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301384.113 * * [misc]simplify:  iters left: 4 (21 enodes)
1545301384.121 * * [misc]simplify:  iters left: 3 (36 enodes)
1545301384.129 * * [misc]simplify:  iters left: 2 (45 enodes)
1545301384.138 * * [misc]simplify:  iters left: 1 (46 enodes)
1545301384.144 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301384.144 * [misc]simplify:  Simplified (2 2 1 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)))))))
1545301384.144 * * * * [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)))))))>
1545301384.144 * [enter]simplify:  Simplifying (sqrt 1)
1545301384.144 * * [misc]simplify:  iters left: 1 (2 enodes)
1545301384.145 * [exit]simplify:  Simplified to 1
1545301384.145 * [misc]simplify:  Simplified (2 2 1 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)))))))
1545301384.145 * * * * [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)))))))>
1545301384.145 * * * * [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)))))))>
1545301384.145 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.146 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.146 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.148 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.153 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.157 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.161 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.161 * [misc]simplify:  Simplified (2 2 1 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)))))))
1545301384.161 * * * * [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)))))))>
1545301384.161 * * * * [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)))))))>
1545301384.161 * * * * [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)))))))>
1545301384.161 * * * * [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)))))))>
1545301384.161 * * * * [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)))))))>
1545301384.161 * * * * [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)))))))>
1545301384.161 * * * * [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)))))))>
1545301384.162 * * * * [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)))))))>
1545301384.162 * * * * [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)))))))>
1545301384.162 * * * * [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)))))))>
1545301384.162 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1545301384.162 * * [misc]simplify:  iters left: 6 (8 enodes)
1545301384.163 * * [misc]simplify:  iters left: 5 (14 enodes)
1545301384.165 * * [misc]simplify:  iters left: 4 (23 enodes)
1545301384.171 * * [misc]simplify:  iters left: 3 (38 enodes)
1545301384.176 * * [misc]simplify:  iters left: 2 (48 enodes)
1545301384.185 * * [misc]simplify:  iters left: 1 (49 enodes)
1545301384.192 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1545301384.192 * [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 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))
1545301384.192 * * * * [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)))))))>
1545301384.193 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301384.193 * * [misc]simplify:  iters left: 6 (7 enodes)
1545301384.195 * * [misc]simplify:  iters left: 5 (12 enodes)
1545301384.198 * * [misc]simplify:  iters left: 4 (21 enodes)
1545301384.209 * * [misc]simplify:  iters left: 3 (36 enodes)
1545301384.217 * * [misc]simplify:  iters left: 2 (45 enodes)
1545301384.226 * * [misc]simplify:  iters left: 1 (46 enodes)
1545301384.232 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1545301384.233 * [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 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))
1545301384.233 * * * * [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)))))))>
1545301384.233 * [enter]simplify:  Simplifying (sqrt 1)
1545301384.233 * * [misc]simplify:  iters left: 1 (2 enodes)
1545301384.234 * [exit]simplify:  Simplified to 1
1545301384.235 * [misc]simplify:  Simplified (2 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)))))))
1545301384.235 * * * * [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)))))))>
1545301384.235 * * * * [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)))))))>
1545301384.235 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.235 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.237 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.240 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.250 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.258 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.267 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.267 * [misc]simplify:  Simplified (2 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)))))))
1545301384.267 * * * * [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)))))))>
1545301384.267 * * * * [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)))))))))>
1545301384.267 * * * * [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)))))))))>
1545301384.267 * * * * [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))))))>
1545301384.267 * * * * [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)))))))))>
1545301384.267 * * * * [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)))))))))>
1545301384.267 * * * * [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)))))))))>
1545301384.267 * * * * [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)))))))))>
1545301384.268 * * * * [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)))))))))>
1545301384.268 * * * * [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))))))))>
1545301384.268 * * * * [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)))))))>
1545301384.268 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.268 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.270 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.273 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.283 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.292 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.300 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.300 * [misc]simplify:  Simplified (2 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))))))))
1545301384.300 * * * * [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)))))))>
1545301384.301 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.301 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.303 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.306 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.317 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.325 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.333 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.333 * [misc]simplify:  Simplified (2 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))))))))
1545301384.333 * * * * [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)))))))>
1545301384.333 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.333 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.335 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.338 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.348 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.356 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.364 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.364 * [misc]simplify:  Simplified (2 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))))))))
1545301384.364 * * * * [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)))))))>
1545301384.365 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.365 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.367 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.370 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.380 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.388 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.396 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.396 * [misc]simplify:  Simplified (2 2 1 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)))))))
1545301384.396 * * * * [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)))))))>
1545301384.397 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.397 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.399 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.402 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.412 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.420 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.428 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.428 * [misc]simplify:  Simplified (2 2 1 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)))))))
1545301384.428 * * * * [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)))))))>
1545301384.429 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.429 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.431 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.434 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.444 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.451 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.461 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.461 * [misc]simplify:  Simplified (2 2 1 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)))))))
1545301384.461 * * * * [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)))))))>
1545301384.461 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.461 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.463 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.466 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.476 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.484 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.492 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.492 * [misc]simplify:  Simplified (2 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)))))))
1545301384.492 * * * * [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)))))))>
1545301384.493 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.493 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.494 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.498 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.503 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.507 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.511 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.511 * [misc]simplify:  Simplified (2 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)))))))
1545301384.511 * * * * [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)))))))>
1545301384.511 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1545301384.512 * * [misc]simplify:  iters left: 5 (6 enodes)
1545301384.512 * * [misc]simplify:  iters left: 4 (11 enodes)
1545301384.514 * * [misc]simplify:  iters left: 3 (20 enodes)
1545301384.519 * * [misc]simplify:  iters left: 2 (35 enodes)
1545301384.523 * * [misc]simplify:  iters left: 1 (41 enodes)
1545301384.527 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1545301384.527 * [misc]simplify:  Simplified (2 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)))))))
1545301384.527 * * * * [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)))))))>
1545301384.528 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301384.528 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301384.529 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301384.532 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301384.542 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301384.550 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301384.551 * [misc]simplify:  Simplified (2 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)))))))
1545301384.551 * * * * [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)))))))>
1545301384.551 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301384.551 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301384.552 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301384.553 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301384.558 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301384.562 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301384.562 * [misc]simplify:  Simplified (2 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)))))))
1545301384.562 * * * * [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)))))))>
1545301384.562 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301384.562 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301384.564 * * [misc]simplify:  iters left: 3 (10 enodes)
1545301384.565 * * [misc]simplify:  iters left: 2 (19 enodes)
1545301384.570 * * [misc]simplify:  iters left: 1 (34 enodes)
1545301384.574 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301384.574 * [misc]simplify:  Simplified (2 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)))))))
1545301384.574 * * * [misc]progress:  adding candidates to table
1545301385.294 * [misc]progress:  [Phase 3 of 3] Extracting.
1545301385.294 * * [misc]regime:  Finding splitpoints for: (#<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)))))> #<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)))))))> #<alt (λ (N) (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)))))))>)
1545301385.295 * * * [misc]regime-changes:  Trying 1 branch expressions: (N)
1545301385.295 * * * * [misc]regimes:  Trying to branch on N from (#<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)))))> #<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)))))))> #<alt (λ (N) (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)))))))>)
1545301385.321 * * * [misc]regime:  Found split indices: #<option (#s(si 2 256))>
1545301385.321 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1545301385.321 * * [misc]simplify:  iters left: 4 (5 enodes)
1545301385.322 * * [misc]simplify:  iters left: 3 (8 enodes)
1545301385.322 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1545301385.322 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545301387.695 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545301387.698 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545301388.290 * [misc]regime-testing:  Baseline error score: 0.3793628715400461
1545301388.290 * [misc]regime-testing:  End program error score: 0.3793628715400461
1545301388.292 * [misc]regime-testing:  Oracle error score: 0.3481128715400461
1545301388.381 * [misc]regime-testing:  Target error score: 0.3813628715400461