1544782187.363 * [misc]progress:  [Phase 1 of 3] Setting up.
1544782187.363 * * * [misc]progress:  [1/2] Preparing points
1544782187.363 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544782187.426 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544782187.427 * * * * [exit]points:  Sampled 256 points with exact outputs
1544782187.427 * * * [misc]progress:  [2/2] Setting up program.
1544782187.435 * [misc]progress:  [Phase 2 of 3] Improving.
1544782187.435 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1544782187.436 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782187.439 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782187.442 * * [misc]simplify:  iters left: 3 (12 enodes)
1544782187.446 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1544782187.462 * * [misc]progress:  iteration 1 / 4
1544782187.462 * * * [misc]progress:  picking best candidate
1544782187.469 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (atan (+ 1 N)) (atan N)))>
1544782187.469 * * * [misc]progress:  localizing error
1544782187.496 * * * [misc]progress:  generating rewritten candidates
1544782187.496 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1544782187.565 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544782187.568 * * * [misc]progress:  generating series expansions
1544782187.568 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1544782187.569 * [misc]backup-simplify:  Simplify (- (atan (+ 1 N)) (atan N)) into (- (atan (+ N 1)) (atan N))
1544782187.569 * [misc]approximate:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0
1544782187.569 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1544782187.569 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1544782187.569 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1544782187.569 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1544782187.569 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1544782187.569 * [misc]taylor:  Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
1544782187.569 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1544782187.569 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1544782187.569 * [misc]taylor:  Taking taylor expansion of (atan N) in N
1544782187.569 * [misc]backup-simplify:  Simplify (atan N) into (atan N)
1544782187.569 * [misc]backup-simplify:  Simplify (- (atan N)) into (- (atan N))
1544782187.569 * [misc]backup-simplify:  Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N))
1544782187.569 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1544782187.570 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.570 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.570 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.570 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.570 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.570 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.570 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.570 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.571 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.571 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.571 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.571 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.571 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.571 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.571 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.571 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.571 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.571 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.572 * [misc]backup-simplify:  Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
1544782187.572 * [misc]backup-simplify:  Simplify (- (atan (+ 1 (/ 1 N))) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1544782187.572 * [misc]approximate:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0
1544782187.572 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1544782187.572 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1544782187.572 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1544782187.572 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1544782187.572 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1544782187.572 * [misc]taylor:  Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
1544782187.572 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1544782187.572 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1544782187.572 * [misc]taylor:  Taking taylor expansion of (atan (/ 1 N)) in N
1544782187.572 * [misc]backup-simplify:  Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1544782187.572 * [misc]backup-simplify:  Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
1544782187.573 * [misc]backup-simplify:  Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1544782187.573 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
1544782187.573 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.573 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.573 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.573 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.573 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.573 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.574 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.574 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.574 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.574 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.574 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.574 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.574 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.574 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.574 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.574 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.575 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.575 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.575 * [misc]backup-simplify:  Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N))
1544782187.575 * [misc]backup-simplify:  Simplify (- (atan (+ 1 (/ 1 (- N)))) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1544782187.575 * [misc]approximate:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
1544782187.575 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1544782187.575 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1544782187.575 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1544782187.575 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1544782187.575 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1544782187.575 * [misc]taylor:  Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
1544782187.575 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1544782187.575 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1544782187.575 * [misc]taylor:  Taking taylor expansion of (atan (/ -1 N)) in N
1544782187.576 * [misc]backup-simplify:  Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1544782187.576 * [misc]backup-simplify:  Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
1544782187.576 * [misc]backup-simplify:  Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1544782187.576 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
1544782187.576 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.576 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.576 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.576 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.577 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.577 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.577 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.577 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.577 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.577 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.577 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.577 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.577 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.577 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.578 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.578 * [misc]backup-simplify:  Simplify (- 0) into 0
1544782187.578 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544782187.578 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.578 * [misc]backup-simplify:  Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N))
1544782187.578 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544782187.578 * [misc]backup-simplify:  Simplify (atan (+ 1 N)) into (atan (+ N 1))
1544782187.578 * [misc]approximate:  Taking taylor expansion of (atan (+ N 1)) in (N) around 0
1544782187.578 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1544782187.578 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1544782187.579 * [misc]taylor:  Taking taylor expansion of (atan (+ N 1)) in N
1544782187.579 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1544782187.579 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1544782187.579 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.579 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.579 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.579 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.579 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.579 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.579 * [misc]backup-simplify:  Simplify (atan (+ N 1)) into (atan (+ N 1))
1544782187.579 * [misc]backup-simplify:  Simplify (atan (+ 1 (/ 1 N))) into (atan (+ (/ 1 N) 1))
1544782187.579 * [misc]approximate:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0
1544782187.579 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1544782187.579 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1544782187.579 * [misc]taylor:  Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
1544782187.579 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1544782187.579 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1))
1544782187.580 * [misc]backup-simplify:  Simplify (atan (+ 1 (/ 1 (- N)))) into (atan (- 1 (/ 1 N)))
1544782187.580 * [misc]approximate:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0
1544782187.580 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1544782187.580 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1544782187.580 * [misc]taylor:  Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
1544782187.580 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1544782187.580 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.580 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.581 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.581 * [misc]backup-simplify:  Simplify 0 into 0
1544782187.581 * [misc]backup-simplify:  Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1))
1544782187.581 * * * [misc]progress:  simplifying candidates
1544782187.581 * * * * [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)))))))>
1544782187.581 * [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))))))
1544782187.582 * * [misc]simplify:  iters left: 6 (12 enodes)
1544782187.587 * * [misc]simplify:  iters left: 5 (24 enodes)
1544782187.592 * * [misc]simplify:  iters left: 4 (31 enodes)
1544782187.597 * * [misc]simplify:  iters left: 3 (37 enodes)
1544782187.603 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.603 * [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)))))))
1544782187.603 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1544782187.604 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782187.605 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782187.608 * * [misc]simplify:  iters left: 4 (19 enodes)
1544782187.613 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782187.619 * * [misc]simplify:  iters left: 2 (46 enodes)
1544782187.623 * [exit]simplify:  Simplified to 0
1544782187.623 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1544782187.623 * * * * [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))))))>
1544782187.623 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1544782187.624 * * [misc]simplify:  iters left: 6 (11 enodes)
1544782187.626 * * [misc]simplify:  iters left: 5 (19 enodes)
1544782187.629 * * [misc]simplify:  iters left: 4 (23 enodes)
1544782187.633 * * [misc]simplify:  iters left: 3 (28 enodes)
1544782187.637 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.637 * [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))))))
1544782187.637 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1544782187.637 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782187.638 * * [misc]simplify:  iters left: 4 (8 enodes)
1544782187.640 * * [misc]simplify:  iters left: 3 (14 enodes)
1544782187.643 * * [misc]simplify:  iters left: 2 (20 enodes)
1544782187.647 * * [misc]simplify:  iters left: 1 (22 enodes)
1544782187.649 * [exit]simplify:  Simplified to 0
1544782187.649 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1544782187.649 * * * * [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))))>
1544782187.649 * [enter]simplify:  Simplifying (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (* (atan N) 1)))
1544782187.650 * * [misc]simplify:  iters left: 6 (10 enodes)
1544782187.653 * * [misc]simplify:  iters left: 5 (21 enodes)
1544782187.658 * * [misc]simplify:  iters left: 4 (28 enodes)
1544782187.669 * * [misc]simplify:  iters left: 3 (39 enodes)
1544782187.678 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.678 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1544782187.678 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1544782187.679 * * [misc]simplify:  iters left: 4 (6 enodes)
1544782187.681 * * [misc]simplify:  iters left: 3 (11 enodes)
1544782187.687 * * [misc]simplify:  iters left: 2 (21 enodes)
1544782187.693 * * [misc]simplify:  iters left: 1 (30 enodes)
1544782187.699 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1544782187.699 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1544782187.699 * * * * [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)))))))>
1544782187.700 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1544782187.701 * * [misc]simplify:  iters left: 6 (11 enodes)
1544782187.705 * * [misc]simplify:  iters left: 5 (23 enodes)
1544782187.713 * * [misc]simplify:  iters left: 4 (29 enodes)
1544782187.723 * * [misc]simplify:  iters left: 3 (34 enodes)
1544782187.731 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.731 * [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)))))))
1544782187.732 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1544782187.733 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782187.736 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782187.740 * * [misc]simplify:  iters left: 4 (19 enodes)
1544782187.745 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782187.752 * * [misc]simplify:  iters left: 2 (46 enodes)
1544782187.756 * [exit]simplify:  Simplified to 0
1544782187.756 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1544782187.756 * * * * [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))))))>
1544782187.756 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1544782187.759 * * [misc]simplify:  iters left: 6 (10 enodes)
1544782187.762 * * [misc]simplify:  iters left: 5 (18 enodes)
1544782187.768 * * [misc]simplify:  iters left: 4 (21 enodes)
1544782187.774 * * [misc]simplify:  iters left: 3 (27 enodes)
1544782187.781 * * [misc]simplify:  iters left: 2 (30 enodes)
1544782187.789 * * [misc]simplify:  iters left: 1 (45 enodes)
1544782187.800 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.800 * [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))))))
1544782187.800 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1544782187.801 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782187.802 * * [misc]simplify:  iters left: 4 (8 enodes)
1544782187.804 * * [misc]simplify:  iters left: 3 (14 enodes)
1544782187.807 * * [misc]simplify:  iters left: 2 (20 enodes)
1544782187.809 * * [misc]simplify:  iters left: 1 (22 enodes)
1544782187.811 * [exit]simplify:  Simplified to 0
1544782187.811 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1544782187.811 * * * * [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))))>
1544782187.812 * [enter]simplify:  Simplifying (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (* (atan N) 1)))
1544782187.812 * * [misc]simplify:  iters left: 6 (9 enodes)
1544782187.815 * * [misc]simplify:  iters left: 5 (20 enodes)
1544782187.820 * * [misc]simplify:  iters left: 4 (26 enodes)
1544782187.826 * * [misc]simplify:  iters left: 3 (35 enodes)
1544782187.831 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.831 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1544782187.831 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1544782187.832 * * [misc]simplify:  iters left: 4 (6 enodes)
1544782187.833 * * [misc]simplify:  iters left: 3 (11 enodes)
1544782187.837 * * [misc]simplify:  iters left: 2 (21 enodes)
1544782187.841 * * [misc]simplify:  iters left: 1 (30 enodes)
1544782187.844 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1544782187.844 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1544782187.844 * * * * [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)))))))>
1544782187.844 * [enter]simplify:  Simplifying (fma 1 (atan (+ 1 N)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
1544782187.845 * * [misc]simplify:  iters left: 6 (10 enodes)
1544782187.850 * * [misc]simplify:  iters left: 5 (22 enodes)
1544782187.854 * * [misc]simplify:  iters left: 4 (29 enodes)
1544782187.860 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782187.866 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.866 * [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)))))))
1544782187.867 * [enter]simplify:  Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
1544782187.868 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782187.871 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782187.876 * * [misc]simplify:  iters left: 4 (19 enodes)
1544782187.885 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782187.898 * * [misc]simplify:  iters left: 2 (46 enodes)
1544782187.905 * [exit]simplify:  Simplified to 0
1544782187.905 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1544782187.905 * * * * [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))))))>
1544782187.906 * [enter]simplify:  Simplifying (fma 1 (atan (+ 1 N)) (- (* (sqrt (atan N)) (sqrt (atan N)))))
1544782187.907 * * [misc]simplify:  iters left: 6 (9 enodes)
1544782187.911 * * [misc]simplify:  iters left: 5 (17 enodes)
1544782187.917 * * [misc]simplify:  iters left: 4 (21 enodes)
1544782187.925 * * [misc]simplify:  iters left: 3 (28 enodes)
1544782187.928 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.928 * [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))))))
1544782187.928 * [enter]simplify:  Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
1544782187.929 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782187.930 * * [misc]simplify:  iters left: 4 (8 enodes)
1544782187.932 * * [misc]simplify:  iters left: 3 (14 enodes)
1544782187.935 * * [misc]simplify:  iters left: 2 (20 enodes)
1544782187.937 * * [misc]simplify:  iters left: 1 (22 enodes)
1544782187.939 * [exit]simplify:  Simplified to 0
1544782187.939 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0))
1544782187.939 * * * * [misc]progress:  [ 9 / 44 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ 1 N)) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
1544782187.939 * [enter]simplify:  Simplifying (fma 1 (atan (+ 1 N)) (- (* (atan N) 1)))
1544782187.939 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782187.942 * * [misc]simplify:  iters left: 5 (19 enodes)
1544782187.946 * * [misc]simplify:  iters left: 4 (26 enodes)
1544782187.956 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782187.962 * * [misc]simplify:  iters left: 2 (41 enodes)
1544782187.967 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782187.967 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1))))
1544782187.967 * [enter]simplify:  Simplifying (fma (- (atan N)) 1 (* (atan N) 1))
1544782187.968 * * [misc]simplify:  iters left: 4 (6 enodes)
1544782187.969 * * [misc]simplify:  iters left: 3 (11 enodes)
1544782187.973 * * [misc]simplify:  iters left: 2 (21 enodes)
1544782187.977 * * [misc]simplify:  iters left: 1 (30 enodes)
1544782187.980 * [exit]simplify:  Simplified to (fma -1 (atan N) (atan N))
1544782187.980 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N))))
1544782187.980 * * * * [misc]progress:  [ 10 / 44 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (- (atan (+ 1 N)) (atan N)))))>
1544782187.980 * * * * [misc]progress:  [ 11 / 44 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (- (atan (+ 1 N)) (atan N)))))>
1544782187.980 * * * * [misc]progress:  [ 12 / 44 ] simplifiying candidate #<alt (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N))) (- (atan N))))>
1544782187.980 * [enter]simplify:  Simplifying (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N))))
1544782187.981 * * [misc]simplify:  iters left: 6 (6 enodes)
1544782187.982 * * [misc]simplify:  iters left: 5 (9 enodes)
1544782187.983 * [exit]simplify:  Simplified to (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1))))
1544782187.983 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ 1 N))) (- (atan N))))
1544782187.983 * * * * [misc]progress:  [ 13 / 44 ] simplifiying candidate #<alt (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N))) (- (atan N))))>
1544782187.984 * [enter]simplify:  Simplifying (sqrt (atan (+ 1 N)))
1544782187.984 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782187.985 * * [misc]simplify:  iters left: 3 (8 enodes)
1544782187.986 * [exit]simplify:  Simplified to (sqrt (atan (+ N 1)))
1544782187.986 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ 1 N))) (- (atan N))))
1544782187.986 * * * * [misc]progress:  [ 14 / 44 ] simplifiying candidate #<alt (λ (N) (fma 1 (atan (+ 1 N)) (- (atan N))))>
1544782187.986 * * * * [misc]progress:  [ 15 / 44 ] simplifiying candidate #<alt (λ (N) (atan2 (- (+ 1 N) N) (+ 1 (* (+ 1 N) N))))>
1544782187.986 * [enter]simplify:  Simplifying (- (+ 1 N) N)
1544782187.986 * * [misc]simplify:  iters left: 4 (4 enodes)
1544782187.988 * * [misc]simplify:  iters left: 3 (11 enodes)
1544782187.993 * * [misc]simplify:  iters left: 2 (18 enodes)
1544782187.997 * * [misc]simplify:  iters left: 1 (19 enodes)
1544782188.000 * [exit]simplify:  Simplified to 1
1544782188.000 * [misc]simplify:  Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ 1 N) N))))
1544782188.000 * [enter]simplify:  Simplifying (+ 1 (* (+ 1 N) N))
1544782188.000 * * [misc]simplify:  iters left: 6 (5 enodes)
1544782188.003 * * [misc]simplify:  iters left: 5 (10 enodes)
1544782188.007 * * [misc]simplify:  iters left: 4 (19 enodes)
1544782188.015 * * [misc]simplify:  iters left: 3 (33 enodes)
1544782188.019 * * [misc]simplify:  iters left: 2 (39 enodes)
1544782188.023 * [exit]simplify:  Simplified to (fma N (+ N 1) 1)
1544782188.023 * [misc]simplify:  Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1544782188.024 * * * * [misc]progress:  [ 16 / 44 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (atan (+ 1 N))) (exp (atan N)))))>
1544782188.024 * [enter]simplify:  Simplifying (/ (exp (atan (+ 1 N))) (exp (atan N)))
1544782188.024 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782188.026 * * [misc]simplify:  iters left: 5 (13 enodes)
1544782188.028 * * [misc]simplify:  iters left: 4 (15 enodes)
1544782188.030 * * [misc]simplify:  iters left: 3 (18 enodes)
1544782188.033 * * [misc]simplify:  iters left: 2 (20 enodes)
1544782188.036 * * [misc]simplify:  iters left: 1 (24 enodes)
1544782188.044 * [exit]simplify:  Simplified to (exp (- (atan (+ N 1)) (atan N)))
1544782188.044 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (exp (- (atan (+ N 1)) (atan N)))))
1544782188.044 * * * * [misc]progress:  [ 17 / 44 ] simplifiying candidate #<alt (λ (N) (pow (- (atan (+ 1 N)) (atan N)) 1))>
1544782188.044 * * * * [misc]progress:  [ 18 / 44 ] simplifiying candidate #<alt (λ (N) (exp (log (- (atan (+ 1 N)) (atan N)))))>
1544782188.044 * * * * [misc]progress:  [ 19 / 44 ] simplifiying candidate #<alt (λ (N) (log (exp (- (atan (+ 1 N)) (atan N)))))>
1544782188.044 * * * * [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)))))>
1544782188.044 * * * * [misc]progress:  [ 21 / 44 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (atan (+ 1 N)) (atan N)) (- (atan (+ 1 N)) (atan N))) (- (atan (+ 1 N)) (atan N)))))>
1544782188.044 * * * * [misc]progress:  [ 22 / 44 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (atan (+ 1 N)) (atan N))) (sqrt (- (atan (+ 1 N)) (atan N)))))>
1544782188.045 * * * * [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))))))>
1544782188.045 * * * * [misc]progress:  [ 24 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ 1 N)) (- (atan N))))>
1544782188.045 * * * * [misc]progress:  [ 25 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))>
1544782188.045 * * * * [misc]progress:  [ 26 / 44 ] simplifiying candidate #<alt (λ (N) (/ (- (* (atan (+ 1 N)) (atan (+ 1 N))) (* (atan N) (atan N))) (+ (atan (+ 1 N)) (atan N))))>
1544782188.045 * * * * [misc]progress:  [ 27 / 44 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))>
1544782188.045 * [enter]simplify:  Simplifying (+ (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1544782188.046 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782188.049 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782188.053 * [exit]simplify:  Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ N 1))))
1544782188.053 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ N 1)))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))))
1544782188.053 * [enter]simplify:  Simplifying (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))
1544782188.054 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782188.057 * * [misc]simplify:  iters left: 5 (13 enodes)
1544782188.060 * * [misc]simplify:  iters left: 4 (14 enodes)
1544782188.065 * [exit]simplify:  Simplified to (- (sqrt (atan (+ N 1))) (sqrt (atan N)))
1544782188.065 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))
1544782188.065 * * * * [misc]progress:  [ 28 / 44 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ 1 N)) (atan N))))>
1544782188.065 * [enter]simplify:  Simplifying (- (atan (+ 1 N)) (atan N))
1544782188.066 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782188.068 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782188.071 * * [misc]simplify:  iters left: 3 (12 enodes)
1544782188.075 * [exit]simplify:  Simplified to (- (atan (+ N 1)) (atan N))
1544782188.075 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))
1544782188.075 * * * * [misc]progress:  [ 29 / 44 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ 1 N)) (- (atan N))))>
1544782188.075 * * * * [misc]progress:  [ 30 / 44 ] simplifiying candidate #<alt (λ (N) (- (log1p (expm1 (atan (+ 1 N)))) (atan N)))>
1544782188.075 * * * * [misc]progress:  [ 31 / 44 ] simplifiying candidate #<alt (λ (N) (- (expm1 (log1p (atan (+ 1 N)))) (atan N)))>
1544782188.075 * * * * [misc]progress:  [ 32 / 44 ] simplifiying candidate #<alt (λ (N) (- (pow (atan (+ 1 N)) 1) (atan N)))>
1544782188.075 * * * * [misc]progress:  [ 33 / 44 ] simplifiying candidate #<alt (λ (N) (- (exp (log (atan (+ 1 N)))) (atan N)))>
1544782188.076 * * * * [misc]progress:  [ 34 / 44 ] simplifiying candidate #<alt (λ (N) (- (log (exp (atan (+ 1 N)))) (atan N)))>
1544782188.076 * * * * [misc]progress:  [ 35 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ 1 N)))) (atan N)))>
1544782188.076 * * * * [misc]progress:  [ 36 / 44 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (atan (+ 1 N)) (atan (+ 1 N))) (atan (+ 1 N)))) (atan N)))>
1544782188.076 * * * * [misc]progress:  [ 37 / 44 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (atan (+ 1 N))) (sqrt (atan (+ 1 N)))) (atan N)))>
1544782188.076 * * * * [misc]progress:  [ 38 / 44 ] simplifiying candidate #<alt (λ (N) (- (* 1 (atan (+ 1 N))) (atan N)))>
1544782188.076 * * * * [misc]progress:  [ 39 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1544782188.076 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1544782188.077 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782188.079 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782188.082 * * [misc]simplify:  iters left: 3 (12 enodes)
1544782188.086 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1544782188.086 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1544782188.086 * * * * [misc]progress:  [ 40 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1544782188.086 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1544782188.087 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782188.089 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782188.092 * * [misc]simplify:  iters left: 3 (12 enodes)
1544782188.095 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1544782188.095 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1544782188.095 * * * * [misc]progress:  [ 41 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1544782188.096 * [enter]simplify:  Simplifying (- (atan (+ N 1)) (atan N))
1544782188.096 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782188.099 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782188.102 * * [misc]simplify:  iters left: 3 (12 enodes)
1544782188.106 * [exit]simplify:  Simplified to (- (atan (+ 1 N)) (atan N))
1544782188.106 * [misc]simplify:  Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1544782188.106 * * * * [misc]progress:  [ 42 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1544782188.106 * [enter]simplify:  Simplifying (atan (+ N 1))
1544782188.107 * * [misc]simplify:  iters left: 3 (4 enodes)
1544782188.108 * * [misc]simplify:  iters left: 2 (7 enodes)
1544782188.110 * [exit]simplify:  Simplified to (atan (+ 1 N))
1544782188.110 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1544782188.110 * * * * [misc]progress:  [ 43 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1544782188.111 * [enter]simplify:  Simplifying (atan (+ N 1))
1544782188.111 * * [misc]simplify:  iters left: 3 (4 enodes)
1544782188.113 * * [misc]simplify:  iters left: 2 (7 enodes)
1544782188.114 * [exit]simplify:  Simplified to (atan (+ 1 N))
1544782188.114 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1544782188.115 * * * * [misc]progress:  [ 44 / 44 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
1544782188.115 * [enter]simplify:  Simplifying (atan (+ N 1))
1544782188.115 * * [misc]simplify:  iters left: 3 (4 enodes)
1544782188.117 * * [misc]simplify:  iters left: 2 (7 enodes)
1544782188.118 * [exit]simplify:  Simplified to (atan (+ 1 N))
1544782188.118 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N)))
1544782188.118 * * * [misc]progress:  adding candidates to table
1544782188.716 * * [misc]progress:  iteration 2 / 4
1544782188.716 * * * [misc]progress:  picking best candidate
1544782188.719 * * * * [misc]pick:  Picked  #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1544782188.719 * * * [misc]progress:  localizing error
1544782188.730 * * * [misc]progress:  generating rewritten candidates
1544782188.730 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544782188.731 * * * [misc]progress:  generating series expansions
1544782188.731 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782188.732 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1544782188.732 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782188.732 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782188.732 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.732 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.732 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.732 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.732 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.732 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782188.732 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1544782188.732 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782188.732 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782188.732 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782188.733 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782188.733 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782188.733 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1544782188.733 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782188.733 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782188.733 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782188.733 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782188.733 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.733 * [misc]backup-simplify:  Simplify 0 into 0
1544782188.734 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782188.734 * * * [misc]progress:  simplifying candidates
1544782188.734 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (atan2 1 (fma N (+ N 1) 1)))))>
1544782188.734 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (atan2 1 (fma N (+ N 1) 1)))))>
1544782188.734 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1))>
1544782188.734 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (fma N (+ N 1) 1)))))>
1544782188.734 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (fma N (+ N 1) 1)))))>
1544782188.734 * * * * [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)))))>
1544782188.734 * * * * [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)))))>
1544782188.734 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782188.734 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (fma N (+ N 1) 1))))>
1544782188.734 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1544782188.734 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782188.734 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782188.736 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782188.738 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782188.749 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782188.760 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782188.760 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1544782188.760 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1544782188.761 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782188.761 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782188.764 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782188.768 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782188.780 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782188.792 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782188.792 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1544782188.792 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))>
1544782188.792 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782188.792 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782188.795 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782188.799 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782188.817 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782188.829 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782188.829 * [misc]simplify:  Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1)))
1544782188.829 * * * [misc]progress:  adding candidates to table
1544782188.994 * * [misc]progress:  iteration 3 / 4
1544782188.994 * * * [misc]progress:  picking best candidate
1544782189.015 * * * * [misc]pick:  Picked  #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.015 * * * [misc]progress:  localizing error
1544782189.028 * * * [misc]progress:  generating rewritten candidates
1544782189.028 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1544782189.037 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1544782189.048 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1544782189.050 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1544782189.051 * * * [misc]progress:  generating series expansions
1544782189.051 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1544782189.052 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.052 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1544782189.052 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782189.052 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.052 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.052 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.052 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.052 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782189.052 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.052 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.052 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.053 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.053 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.053 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.054 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.054 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.054 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.054 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.055 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.055 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.056 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.056 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.058 * [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
1544782189.058 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.058 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.058 * [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)))
1544782189.058 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1544782189.058 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782189.058 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.058 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.058 * [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)))
1544782189.059 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.059 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782189.059 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.059 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.059 * [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)))
1544782189.059 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.059 * [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)))
1544782189.060 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.061 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.061 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.061 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.061 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.062 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.062 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.063 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.063 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.064 * [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
1544782189.064 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.065 * [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)))
1544782189.065 * [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)))
1544782189.065 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1544782189.065 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782189.065 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.065 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.065 * [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)))
1544782189.066 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.066 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782189.066 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.066 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.066 * [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)))
1544782189.066 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.067 * [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)))
1544782189.067 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.068 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.068 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.068 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.068 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.069 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.069 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.070 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.070 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.071 * [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
1544782189.071 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.072 * [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)))
1544782189.072 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1544782189.072 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.072 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1544782189.072 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782189.072 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.072 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.073 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.073 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.073 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782189.073 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.073 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.073 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.073 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.073 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.073 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.074 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.074 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.075 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.075 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.075 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.076 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.076 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782189.076 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.076 * [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
1544782189.076 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.077 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.077 * [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)))
1544782189.077 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1544782189.077 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782189.077 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.077 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.077 * [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)))
1544782189.077 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.077 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782189.077 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.077 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.077 * [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)))
1544782189.077 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.078 * [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)))
1544782189.078 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.078 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.078 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.078 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.078 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.079 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.079 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.079 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782189.079 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.080 * [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
1544782189.080 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.080 * [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)))
1544782189.080 * [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)))
1544782189.080 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1544782189.080 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782189.080 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.081 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.081 * [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)))
1544782189.081 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.081 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782189.081 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.081 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.081 * [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)))
1544782189.081 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.081 * [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)))
1544782189.081 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.082 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.082 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.082 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.082 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.083 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.083 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.083 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782189.083 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.084 * [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
1544782189.084 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.084 * [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)))
1544782189.084 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1544782189.084 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.084 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1544782189.084 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.084 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.084 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.084 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.085 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.085 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.085 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1544782189.085 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.085 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.085 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.085 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.085 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.085 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.086 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.086 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1544782189.086 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.086 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.086 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.086 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.086 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.086 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.086 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.086 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.086 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.086 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.086 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.086 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.086 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1544782189.086 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.086 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1544782189.086 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.086 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.086 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.087 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1544782189.087 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.087 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.087 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.088 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.088 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1544782189.088 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.088 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.088 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782189.088 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.088 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782189.088 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.088 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.088 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.088 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.088 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.088 * [misc]backup-simplify:  Simplify 0 into 0
1544782189.088 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782189.088 * * * [misc]progress:  simplifying candidates
1544782189.088 * * * * [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)))))))>
1544782189.088 * * * * [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)))))))>
1544782189.088 * * * * [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)))>
1544782189.088 * * * * [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)))>
1544782189.088 * * * * [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)))))))>
1544782189.088 * * * * [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)))))))>
1544782189.089 * * * * [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)))))))>
1544782189.089 * * * * [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)))))))>
1544782189.089 * * * * [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)))))))>
1544782189.089 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.089 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782189.091 * * [misc]simplify:  iters left: 5 (14 enodes)
1544782189.094 * * [misc]simplify:  iters left: 4 (23 enodes)
1544782189.101 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782189.107 * * [misc]simplify:  iters left: 2 (48 enodes)
1544782189.112 * * [misc]simplify:  iters left: 1 (49 enodes)
1544782189.116 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1544782189.117 * [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)))))))
1544782189.117 * * * * [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)))))))>
1544782189.117 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782189.117 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782189.119 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782189.121 * * [misc]simplify:  iters left: 4 (21 enodes)
1544782189.132 * * [misc]simplify:  iters left: 3 (36 enodes)
1544782189.142 * * [misc]simplify:  iters left: 2 (45 enodes)
1544782189.153 * * [misc]simplify:  iters left: 1 (46 enodes)
1544782189.161 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782189.161 * [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)))))))
1544782189.162 * * * * [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))))))>
1544782189.162 * [enter]simplify:  Simplifying (sqrt 1)
1544782189.162 * * [misc]simplify:  iters left: 1 (2 enodes)
1544782189.164 * [exit]simplify:  Simplified to 1
1544782189.164 * [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))))))
1544782189.164 * * * * [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)))))))>
1544782189.165 * * * * [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))))))>
1544782189.165 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.166 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.168 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.173 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.186 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.195 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.202 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.202 * [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)))))))
1544782189.202 * * * * [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))))))>
1544782189.202 * * * * [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)))))>
1544782189.202 * * * * [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)))))>
1544782189.202 * * * * [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)))))>
1544782189.202 * * * * [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)))))>
1544782189.202 * * * * [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)))))>
1544782189.202 * * * * [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)))))>
1544782189.203 * * * * [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)))))>
1544782189.203 * * * * [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)))))>
1544782189.203 * * * * [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)))))>
1544782189.203 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.203 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782189.205 * * [misc]simplify:  iters left: 5 (14 enodes)
1544782189.208 * * [misc]simplify:  iters left: 4 (23 enodes)
1544782189.216 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782189.221 * * [misc]simplify:  iters left: 2 (48 enodes)
1544782189.226 * * [misc]simplify:  iters left: 1 (49 enodes)
1544782189.230 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1544782189.230 * [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)))))
1544782189.230 * * * * [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)))))>
1544782189.231 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782189.231 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782189.232 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782189.235 * * [misc]simplify:  iters left: 4 (21 enodes)
1544782189.241 * * [misc]simplify:  iters left: 3 (36 enodes)
1544782189.249 * * [misc]simplify:  iters left: 2 (45 enodes)
1544782189.258 * * [misc]simplify:  iters left: 1 (46 enodes)
1544782189.267 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782189.267 * [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)))))
1544782189.267 * * * * [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)))))>
1544782189.267 * [enter]simplify:  Simplifying (sqrt 1)
1544782189.267 * * [misc]simplify:  iters left: 1 (2 enodes)
1544782189.269 * [exit]simplify:  Simplified to 1
1544782189.269 * [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)))))
1544782189.269 * * * * [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)))))>
1544782189.269 * * * * [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)))))>
1544782189.270 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.270 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.273 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.277 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.290 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.300 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.306 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.306 * [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)))))
1544782189.306 * * * * [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)))))>
1544782189.307 * * * * [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)))))))>
1544782189.307 * * * * [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)))))))>
1544782189.307 * * * * [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))))>
1544782189.307 * * * * [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)))))))>
1544782189.307 * * * * [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)))))))>
1544782189.307 * * * * [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)))))))>
1544782189.307 * * * * [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)))))))>
1544782189.307 * * * * [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)))))))>
1544782189.307 * * * * [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))))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [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)))))>
1544782189.307 * * * * [misc]progress:  [ 47 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.307 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.308 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.309 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.311 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.318 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.323 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.328 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.328 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1544782189.328 * * * * [misc]progress:  [ 48 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.328 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.328 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.329 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.332 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.338 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.343 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.349 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.349 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1544782189.349 * * * * [misc]progress:  [ 49 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.350 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.350 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.351 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.354 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.364 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.374 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.384 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.384 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1544782189.384 * * * * [misc]progress:  [ 50 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.384 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.385 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.387 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.392 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.404 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.409 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.413 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.413 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.413 * * * * [misc]progress:  [ 51 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.414 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.414 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.415 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.418 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.424 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.429 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.433 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.434 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.434 * * * * [misc]progress:  [ 52 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.434 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782189.434 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782189.435 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782189.438 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782189.445 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782189.450 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782189.455 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782189.455 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.455 * * * * [misc]progress:  [ 53 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.455 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782189.455 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782189.457 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782189.462 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782189.475 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782189.486 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782189.486 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.486 * * * * [misc]progress:  [ 54 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.486 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782189.487 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782189.489 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782189.493 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782189.505 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782189.517 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782189.517 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.517 * * * * [misc]progress:  [ 55 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.517 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782189.517 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782189.520 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782189.524 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782189.536 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782189.548 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782189.548 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.548 * * * * [misc]progress:  [ 56 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.548 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782189.549 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782189.551 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782189.555 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782189.570 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782189.581 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782189.581 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.581 * * * * [misc]progress:  [ 57 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.582 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782189.582 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782189.584 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782189.589 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782189.602 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782189.613 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782189.613 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.613 * * * * [misc]progress:  [ 58 / 58 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782189.613 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782189.614 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782189.616 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782189.621 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782189.633 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782189.644 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782189.644 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782189.645 * * * [misc]progress:  adding candidates to table
1544782190.534 * * [misc]progress:  iteration 4 / 4
1544782190.535 * * * [misc]progress:  picking best candidate
1544782190.575 * * * * [misc]pick:  Picked  #<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)))))>
1544782190.576 * * * [misc]progress:  localizing error
1544782190.596 * * * [misc]progress:  generating rewritten candidates
1544782190.596 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1544782190.604 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1)
1544782190.613 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
1544782190.620 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1)
1544782190.622 * * * [misc]progress:  generating series expansions
1544782190.622 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1544782190.622 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.622 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1544782190.622 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782190.622 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.623 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.623 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.623 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.623 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782190.623 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.623 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.623 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.623 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.624 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.624 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.625 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.625 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.625 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.625 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.626 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.626 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.626 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.627 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.628 * [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
1544782190.628 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.628 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.628 * [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)))
1544782190.628 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1544782190.628 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782190.628 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.628 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.628 * [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)))
1544782190.629 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.629 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782190.629 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.629 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.629 * [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)))
1544782190.629 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.630 * [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)))
1544782190.630 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.630 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.631 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.631 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.631 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.632 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.632 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.633 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.633 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.634 * [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
1544782190.634 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.634 * [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)))
1544782190.635 * [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)))
1544782190.635 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1544782190.635 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782190.635 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.635 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.635 * [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)))
1544782190.635 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.635 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782190.635 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.636 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.636 * [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)))
1544782190.636 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.636 * [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)))
1544782190.636 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.637 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.637 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.638 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.638 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.639 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.639 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.639 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.639 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.640 * [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
1544782190.641 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.641 * [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)))
1544782190.641 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1)
1544782190.641 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.641 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1544782190.641 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782190.641 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.641 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.641 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.642 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.642 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782190.642 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.642 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.642 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.642 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.642 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.642 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.643 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.643 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.644 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.644 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.645 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.645 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.645 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.645 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.646 * [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
1544782190.646 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.646 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.647 * [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)))
1544782190.647 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1544782190.647 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782190.647 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.647 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.647 * [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)))
1544782190.647 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.647 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782190.647 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.648 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.648 * [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)))
1544782190.648 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.648 * [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)))
1544782190.648 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.649 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.649 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.650 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.650 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.651 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.651 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.651 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.651 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.652 * [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
1544782190.652 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.653 * [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)))
1544782190.653 * [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)))
1544782190.653 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1544782190.653 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782190.653 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.653 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.653 * [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)))
1544782190.654 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.654 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782190.654 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.654 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.654 * [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)))
1544782190.654 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.654 * [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)))
1544782190.654 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.655 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.655 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.656 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.656 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.657 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.657 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.658 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.658 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.659 * [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
1544782190.659 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.659 * [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)))
1544782190.659 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
1544782190.660 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.660 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0
1544782190.660 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782190.660 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.660 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.660 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.660 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.660 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N
1544782190.660 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.660 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.660 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.660 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.660 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.660 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.661 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.661 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.661 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.661 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.662 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.662 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.662 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0
1544782190.662 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.663 * [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
1544782190.663 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.663 * [misc]backup-simplify:  Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.663 * [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)))
1544782190.663 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0
1544782190.663 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782190.663 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.663 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.663 * [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)))
1544782190.663 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.663 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N
1544782190.663 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.663 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.664 * [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)))
1544782190.664 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.664 * [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)))
1544782190.664 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.664 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.664 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.665 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.665 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.665 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.665 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.666 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0
1544782190.666 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.666 * [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
1544782190.666 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.666 * [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)))
1544782190.667 * [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)))
1544782190.667 * [misc]approximate:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0
1544782190.667 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782190.667 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.667 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.667 * [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)))
1544782190.667 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.667 * [misc]taylor:  Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N
1544782190.667 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.667 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.667 * [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)))
1544782190.667 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.667 * [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)))
1544782190.667 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.668 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.668 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.668 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.668 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.669 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.669 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.669 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0
1544782190.669 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.670 * [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
1544782190.670 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.670 * [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)))
1544782190.670 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1)
1544782190.673 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.673 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0
1544782190.673 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.673 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.673 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N
1544782190.673 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.673 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.673 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.674 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.674 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0
1544782190.674 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.674 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.674 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N
1544782190.674 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.674 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.674 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.674 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.674 * [misc]approximate:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0
1544782190.674 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.675 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.675 * [misc]taylor:  Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N
1544782190.675 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.675 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))
1544782190.675 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.675 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.675 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.675 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.675 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.675 * [misc]backup-simplify:  Simplify 0 into 0
1544782190.675 * [misc]backup-simplify:  Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1))
1544782190.675 * * * [misc]progress:  simplifying candidates
1544782190.675 * * * * [misc]progress:  [ 1 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1544782190.675 * * * * [misc]progress:  [ 2 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1544782190.675 * * * * [misc]progress:  [ 3 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (pow (atan2 1 (fma N (+ N 1) 1)) 1/2)))>
1544782190.675 * * * * [misc]progress:  [ 4 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1)))>
1544782190.675 * * * * [misc]progress:  [ 5 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1544782190.675 * * * * [misc]progress:  [ 6 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1)))))))>
1544782190.675 * * * * [misc]progress:  [ 7 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (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)))))))>
1544782190.675 * * * * [misc]progress:  [ 8 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (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)))))))>
1544782190.675 * * * * [misc]progress:  [ 9 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (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)))))))>
1544782190.676 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.676 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782190.678 * * [misc]simplify:  iters left: 5 (14 enodes)
1544782190.681 * * [misc]simplify:  iters left: 4 (23 enodes)
1544782190.687 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782190.694 * * [misc]simplify:  iters left: 2 (48 enodes)
1544782190.704 * * [misc]simplify:  iters left: 1 (49 enodes)
1544782190.714 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1544782190.714 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (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)))))))
1544782190.714 * * * * [misc]progress:  [ 10 / 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)))))))>
1544782190.714 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782190.715 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782190.718 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782190.723 * * [misc]simplify:  iters left: 4 (21 enodes)
1544782190.736 * * [misc]simplify:  iters left: 3 (36 enodes)
1544782190.746 * * [misc]simplify:  iters left: 2 (45 enodes)
1544782190.755 * * [misc]simplify:  iters left: 1 (46 enodes)
1544782190.765 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782190.765 * [misc]simplify:  Simplified (2 2 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)))))))
1544782190.765 * * * * [misc]progress:  [ 11 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (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))))))>
1544782190.765 * [enter]simplify:  Simplifying (sqrt 1)
1544782190.765 * * [misc]simplify:  iters left: 1 (2 enodes)
1544782190.767 * [exit]simplify:  Simplified to 1
1544782190.767 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))
1544782190.767 * * * * [misc]progress:  [ 12 / 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)))))))>
1544782190.767 * * * * [misc]progress:  [ 13 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (fabs (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1544782190.767 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.768 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782190.771 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782190.776 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782190.788 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782190.801 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782190.811 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782190.811 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))))
1544782190.811 * * * * [misc]progress:  [ 14 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))>
1544782190.811 * * * * [misc]progress:  [ 15 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (log1p (expm1 (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.811 * * * * [misc]progress:  [ 16 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (expm1 (log1p (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.811 * * * * [misc]progress:  [ 17 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1/2))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.811 * * * * [misc]progress:  [ 18 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.811 * * * * [misc]progress:  [ 19 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (exp (log (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.811 * * * * [misc]progress:  [ 20 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (log (exp (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.811 * * * * [misc]progress:  [ 21 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.812 * * * * [misc]progress:  [ 22 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.812 * * * * [misc]progress:  [ 23 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.812 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.813 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782190.817 * * [misc]simplify:  iters left: 5 (14 enodes)
1544782190.822 * * [misc]simplify:  iters left: 4 (23 enodes)
1544782190.835 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782190.846 * * [misc]simplify:  iters left: 2 (48 enodes)
1544782190.856 * * [misc]simplify:  iters left: 1 (49 enodes)
1544782190.866 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1544782190.866 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.866 * * * * [misc]progress:  [ 24 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.866 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782190.867 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782190.868 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782190.871 * * [misc]simplify:  iters left: 4 (21 enodes)
1544782190.877 * * [misc]simplify:  iters left: 3 (36 enodes)
1544782190.883 * * [misc]simplify:  iters left: 2 (45 enodes)
1544782190.887 * * [misc]simplify:  iters left: 1 (46 enodes)
1544782190.891 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782190.891 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.891 * * * * [misc]progress:  [ 25 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.892 * [enter]simplify:  Simplifying (sqrt 1)
1544782190.892 * * [misc]simplify:  iters left: 1 (2 enodes)
1544782190.893 * [exit]simplify:  Simplified to 1
1544782190.893 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.893 * * * * [misc]progress:  [ 26 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.893 * * * * [misc]progress:  [ 27 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (fabs (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.893 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.893 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782190.895 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782190.897 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782190.906 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782190.914 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782190.918 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782190.918 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.918 * * * * [misc]progress:  [ 28 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.918 * * * * [misc]progress:  [ 29 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (log1p (expm1 (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)))))>
1544782190.918 * * * * [misc]progress:  [ 30 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (expm1 (log1p (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)))))>
1544782190.919 * * * * [misc]progress:  [ 31 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (pow (atan2 1 (fma N (+ N 1) 1)) 1/2)) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.919 * * * * [misc]progress:  [ 32 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 1)) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.919 * * * * [misc]progress:  [ 33 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (exp (log (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)))))>
1544782190.919 * * * * [misc]progress:  [ 34 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (log (exp (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)))))>
1544782190.919 * * * * [misc]progress:  [ 35 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.919 * * * * [misc]progress:  [ 36 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.919 * * * * [misc]progress:  [ 37 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.919 * [enter]simplify:  Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.919 * * [misc]simplify:  iters left: 6 (8 enodes)
1544782190.921 * * [misc]simplify:  iters left: 5 (14 enodes)
1544782190.924 * * [misc]simplify:  iters left: 4 (23 enodes)
1544782190.930 * * [misc]simplify:  iters left: 3 (38 enodes)
1544782190.937 * * [misc]simplify:  iters left: 2 (48 enodes)
1544782190.945 * * [misc]simplify:  iters left: 1 (49 enodes)
1544782190.949 * [exit]simplify:  Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
1544782190.949 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (N) (* (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.949 * * * * [misc]progress:  [ 38 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.949 * [enter]simplify:  Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782190.950 * * [misc]simplify:  iters left: 6 (7 enodes)
1544782190.951 * * [misc]simplify:  iters left: 5 (12 enodes)
1544782190.954 * * [misc]simplify:  iters left: 4 (21 enodes)
1544782190.960 * * [misc]simplify:  iters left: 3 (36 enodes)
1544782190.966 * * [misc]simplify:  iters left: 2 (45 enodes)
1544782190.970 * * [misc]simplify:  iters left: 1 (46 enodes)
1544782190.974 * [exit]simplify:  Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))
1544782190.974 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (N) (* (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.974 * * * * [misc]progress:  [ 39 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (sqrt 1) (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.974 * [enter]simplify:  Simplifying (sqrt 1)
1544782190.974 * * [misc]simplify:  iters left: 1 (2 enodes)
1544782190.976 * [exit]simplify:  Simplified to 1
1544782190.976 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782190.976 * * * * [misc]progress:  [ 40 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (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))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))>
1544782190.976 * * * * [misc]progress:  [ 41 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (fabs (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)))))>
1544782190.976 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782190.977 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782190.979 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782190.984 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782190.999 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.008 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.015 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.015 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.015 * * * * [misc]progress:  [ 42 / 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 (atan2 1 (fma N (+ N 1) 1)))))>
1544782191.015 * * * * [misc]progress:  [ 43 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (log1p (expm1 (atan2 1 (fma N (+ N 1) 1)))))))>
1544782191.015 * * * * [misc]progress:  [ 44 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (expm1 (log1p (atan2 1 (fma N (+ N 1) 1)))))))>
1544782191.015 * * * * [misc]progress:  [ 45 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (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))))>
1544782191.015 * * * * [misc]progress:  [ 46 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (exp (log (atan2 1 (fma N (+ N 1) 1)))))))>
1544782191.015 * * * * [misc]progress:  [ 47 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (log (exp (atan2 1 (fma N (+ N 1) 1)))))))>
1544782191.015 * * * * [misc]progress:  [ 48 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (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)))))))>
1544782191.015 * * * * [misc]progress:  [ 49 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (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)))))))>
1544782191.015 * * * * [misc]progress:  [ 50 / 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 (atan2 1 (fma N (+ N 1) 1)))))))>
1544782191.015 * * * * [misc]progress:  [ 51 / 63 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* 1 (atan2 1 (fma N (+ N 1) 1))))))>
1544782191.015 * * * * [misc]progress:  [ 52 / 63 ] 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)))))>
1544782191.016 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.016 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.017 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.020 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.026 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.030 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.035 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.035 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1544782191.035 * * * * [misc]progress:  [ 53 / 63 ] 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)))))>
1544782191.035 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.036 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.037 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.039 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.051 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.061 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.070 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.071 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1544782191.071 * * * * [misc]progress:  [ 54 / 63 ] 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)))))>
1544782191.071 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.071 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.074 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.077 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.083 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.089 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.094 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.094 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))
1544782191.094 * * * * [misc]progress:  [ 55 / 63 ] 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)))))>
1544782191.094 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.095 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.096 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.098 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.106 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.116 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.125 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.125 * [misc]simplify:  Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.125 * * * * [misc]progress:  [ 56 / 63 ] 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)))))>
1544782191.125 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.126 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.128 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.130 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.136 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.141 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.146 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.146 * [misc]simplify:  Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.146 * * * * [misc]progress:  [ 57 / 63 ] 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)))))>
1544782191.146 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.146 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.148 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.150 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.157 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.167 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.176 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.176 * [misc]simplify:  Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.176 * * * * [misc]progress:  [ 58 / 63 ] 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)))))>
1544782191.177 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.177 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.182 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.186 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.195 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.200 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.204 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.205 * [misc]simplify:  Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.205 * * * * [misc]progress:  [ 59 / 63 ] 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)))))>
1544782191.205 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.205 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.207 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.209 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.215 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.221 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.231 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.231 * [misc]simplify:  Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.231 * * * * [misc]progress:  [ 60 / 63 ] 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)))))>
1544782191.231 * [enter]simplify:  Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1)))
1544782191.232 * * [misc]simplify:  iters left: 5 (6 enodes)
1544782191.234 * * [misc]simplify:  iters left: 4 (11 enodes)
1544782191.239 * * [misc]simplify:  iters left: 3 (20 enodes)
1544782191.249 * * [misc]simplify:  iters left: 2 (35 enodes)
1544782191.254 * * [misc]simplify:  iters left: 1 (41 enodes)
1544782191.259 * [exit]simplify:  Simplified to (sqrt (atan2 1 (+ 1 (fma N N N))))
1544782191.259 * [misc]simplify:  Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.259 * * * * [misc]progress:  [ 61 / 63 ] 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)))))>
1544782191.259 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782191.259 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782191.260 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782191.263 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782191.270 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782191.276 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782191.276 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.276 * * * * [misc]progress:  [ 62 / 63 ] 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)))))>
1544782191.276 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782191.276 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782191.278 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782191.280 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782191.291 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782191.296 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782191.296 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.296 * * * * [misc]progress:  [ 63 / 63 ] 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)))))>
1544782191.296 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782191.297 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782191.298 * * [misc]simplify:  iters left: 3 (10 enodes)
1544782191.300 * * [misc]simplify:  iters left: 2 (19 enodes)
1544782191.306 * * [misc]simplify:  iters left: 1 (34 enodes)
1544782191.311 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782191.312 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
1544782191.312 * * * [misc]progress:  adding candidates to table
1544782192.590 * [misc]progress:  [Phase 3 of 3] Extracting.
1544782192.590 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))))> #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (- (atan (+ 1 N)) (atan N)))> #<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)))))))> #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))> #<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)))))> #<alt (λ (N) (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1)))))>)
1544782192.591 * * * [misc]regime-changes:  Trying 1 branch expressions: (N)
1544782192.591 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))))> #<alt (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (* (* (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))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> #<alt (λ (N) (- (atan (+ 1 N)) (atan N)))> #<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)))))))> #<alt (λ (N) (atan2 1 (fma N (+ N 1) 1)))> #<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)))))> #<alt (λ (N) (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1)))))>)
1544782192.665 * * * [misc]regime:  Found split indices: #<option (#s(si 5 256))>
1544782192.665 * [enter]simplify:  Simplifying (atan2 1 (fma N (+ N 1) 1))
1544782192.666 * * [misc]simplify:  iters left: 4 (5 enodes)
1544782192.668 * * [misc]simplify:  iters left: 3 (8 enodes)
1544782192.669 * [exit]simplify:  Simplified to (atan2 1 (fma N (+ N 1) 1))
1544782192.669 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544782194.821 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544782194.823 * * * * [exit]points:  Sampled 8000 points with exact outputs