1545387559.588 * [misc]progress: [Phase 1 of 3] Setting up. 1545387559.588 * * * [misc]progress: [1/2] Preparing points 1545387559.588 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545387559.633 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387559.633 * * * * [exit]points: Sampled 256 points with exact outputs 1545387559.633 * * * [misc]progress: [2/2] Setting up program. 1545387559.636 * [misc]progress: [Phase 2 of 3] Improving. 1545387559.636 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545387559.636 * * [misc]simplify: iters left: 5 (6 enodes) 1545387559.637 * * [misc]simplify: iters left: 4 (11 enodes) 1545387559.638 * * [misc]simplify: iters left: 3 (12 enodes) 1545387559.640 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387559.652 * * [misc]progress: iteration 1 / 4 1545387559.652 * * * [misc]progress: picking best candidate 1545387559.657 * * * * [misc]pick: Picked # 1545387559.657 * * * [misc]progress: localizing error 1545387559.679 * * * [misc]progress: generating rewritten candidates 1545387559.679 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545387559.690 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1545387559.691 * * * [misc]progress: generating series expansions 1545387559.691 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545387559.691 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1545387559.691 * [misc]approximate: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1545387559.691 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1545387559.691 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545387559.692 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545387559.692 * [misc]taylor: Taking taylor expansion of (atan N) in N 1545387559.692 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1545387559.692 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1545387559.692 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545387559.692 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545387559.692 * [misc]taylor: Taking taylor expansion of (atan N) in N 1545387559.692 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1545387559.692 * [misc]backup-simplify: Simplify (- (atan N)) into (- (atan N)) 1545387559.692 * [misc]backup-simplify: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1545387559.692 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1545387559.693 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.693 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.693 * [misc]backup-simplify: Simplify 0 into 0 1545387559.693 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.693 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.693 * [misc]backup-simplify: Simplify 0 into 0 1545387559.693 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.694 * [misc]backup-simplify: Simplify 0 into 0 1545387559.694 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.694 * [misc]backup-simplify: Simplify 0 into 0 1545387559.694 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.694 * [misc]backup-simplify: Simplify 0 into 0 1545387559.695 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.695 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.695 * [misc]backup-simplify: Simplify 0 into 0 1545387559.695 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1545387559.695 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1545387559.695 * [misc]approximate: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1545387559.695 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1545387559.695 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545387559.695 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545387559.695 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1545387559.695 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1545387559.695 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1545387559.696 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545387559.696 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545387559.696 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1545387559.696 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1545387559.696 * [misc]backup-simplify: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1545387559.696 * [misc]backup-simplify: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1545387559.696 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1545387559.696 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.697 * [misc]backup-simplify: Simplify 0 into 0 1545387559.697 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.697 * [misc]backup-simplify: Simplify 0 into 0 1545387559.697 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.697 * [misc]backup-simplify: Simplify 0 into 0 1545387559.698 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.698 * [misc]backup-simplify: Simplify 0 into 0 1545387559.698 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.698 * [misc]backup-simplify: Simplify 0 into 0 1545387559.698 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.698 * [misc]backup-simplify: Simplify 0 into 0 1545387559.699 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1545387559.699 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1545387559.699 * [misc]approximate: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1545387559.699 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1545387559.699 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545387559.699 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545387559.699 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1545387559.699 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1545387559.699 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1545387559.699 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545387559.699 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545387559.699 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1545387559.700 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1545387559.700 * [misc]backup-simplify: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1545387559.700 * [misc]backup-simplify: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1545387559.700 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1545387559.700 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.700 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.700 * [misc]backup-simplify: Simplify 0 into 0 1545387559.701 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.701 * [misc]backup-simplify: Simplify 0 into 0 1545387559.701 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.701 * [misc]backup-simplify: Simplify 0 into 0 1545387559.701 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.702 * [misc]backup-simplify: Simplify 0 into 0 1545387559.702 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.702 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.702 * [misc]backup-simplify: Simplify 0 into 0 1545387559.702 * [misc]backup-simplify: Simplify (- 0) into 0 1545387559.702 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545387559.702 * [misc]backup-simplify: Simplify 0 into 0 1545387559.703 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1545387559.703 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1545387559.703 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545387559.703 * [misc]approximate: Taking taylor expansion of (atan (+ N 1)) in (N) around 0 1545387559.703 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545387559.703 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545387559.703 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1545387559.703 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545387559.703 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545387559.703 * [misc]backup-simplify: Simplify 0 into 0 1545387559.703 * [misc]backup-simplify: Simplify 0 into 0 1545387559.703 * [misc]backup-simplify: Simplify 0 into 0 1545387559.703 * [misc]backup-simplify: Simplify 0 into 0 1545387559.703 * [misc]backup-simplify: Simplify 0 into 0 1545387559.703 * [misc]backup-simplify: Simplify 0 into 0 1545387559.703 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1545387559.703 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545387559.703 * [misc]approximate: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0 1545387559.703 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545387559.703 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545387559.704 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1545387559.704 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545387559.704 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1)) 1545387559.704 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N))) 1545387559.704 * [misc]approximate: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0 1545387559.704 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545387559.704 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545387559.704 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1545387559.704 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545387559.704 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify 0 into 0 1545387559.704 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1)) 1545387559.704 * * * [misc]progress: simplifying candidates 1545387559.705 * * * * [misc]progress: [ 1 / 44 ] simplifiying candidate # 1545387559.705 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1545387559.705 * * [misc]simplify: iters left: 6 (12 enodes) 1545387559.707 * * [misc]simplify: iters left: 5 (24 enodes) 1545387559.711 * * [misc]simplify: iters left: 4 (31 enodes) 1545387559.725 * * [misc]simplify: iters left: 3 (37 enodes) 1545387559.729 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387559.729 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1545387559.729 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1545387559.729 * * [misc]simplify: iters left: 6 (7 enodes) 1545387559.731 * * [misc]simplify: iters left: 5 (12 enodes) 1545387559.732 * * [misc]simplify: iters left: 4 (19 enodes) 1545387559.736 * * [misc]simplify: iters left: 3 (38 enodes) 1545387559.743 * * [misc]simplify: iters left: 2 (46 enodes) 1545387559.750 * [exit]simplify: Simplified to 0 1545387559.750 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545387559.750 * * * * [misc]progress: [ 2 / 44 ] simplifiying candidate # 1545387559.751 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1545387559.751 * * [misc]simplify: iters left: 6 (11 enodes) 1545387559.754 * * [misc]simplify: iters left: 5 (19 enodes) 1545387559.759 * * [misc]simplify: iters left: 4 (23 enodes) 1545387559.766 * * [misc]simplify: iters left: 3 (28 enodes) 1545387559.770 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387559.770 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1545387559.770 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1545387559.770 * * [misc]simplify: iters left: 5 (6 enodes) 1545387559.771 * * [misc]simplify: iters left: 4 (8 enodes) 1545387559.772 * * [misc]simplify: iters left: 3 (14 enodes) 1545387559.774 * * [misc]simplify: iters left: 2 (20 enodes) 1545387559.776 * * [misc]simplify: iters left: 1 (22 enodes) 1545387559.778 * [exit]simplify: Simplified to 0 1545387559.778 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545387559.778 * * * * [misc]progress: [ 3 / 44 ] simplifiying candidate # 1545387559.778 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) 1545387559.778 * * [misc]simplify: iters left: 6 (10 enodes) 1545387559.780 * * [misc]simplify: iters left: 5 (21 enodes) 1545387559.784 * * [misc]simplify: iters left: 4 (28 enodes) 1545387559.789 * * [misc]simplify: iters left: 3 (39 enodes) 1545387559.793 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387559.793 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1545387559.793 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1545387559.793 * * [misc]simplify: iters left: 4 (6 enodes) 1545387559.794 * * [misc]simplify: iters left: 3 (11 enodes) 1545387559.797 * * [misc]simplify: iters left: 2 (21 enodes) 1545387559.800 * * [misc]simplify: iters left: 1 (30 enodes) 1545387559.803 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1545387559.803 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N)))) 1545387559.803 * * * * [misc]progress: [ 4 / 44 ] simplifiying candidate # 1545387559.803 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1545387559.803 * * [misc]simplify: iters left: 6 (11 enodes) 1545387559.805 * * [misc]simplify: iters left: 5 (23 enodes) 1545387559.808 * * [misc]simplify: iters left: 4 (29 enodes) 1545387559.814 * * [misc]simplify: iters left: 3 (34 enodes) 1545387559.824 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387559.824 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1545387559.824 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1545387559.825 * * [misc]simplify: iters left: 6 (7 enodes) 1545387559.827 * * [misc]simplify: iters left: 5 (12 enodes) 1545387559.831 * * [misc]simplify: iters left: 4 (19 enodes) 1545387559.838 * * [misc]simplify: iters left: 3 (38 enodes) 1545387559.848 * * [misc]simplify: iters left: 2 (46 enodes) 1545387559.853 * [exit]simplify: Simplified to 0 1545387559.853 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545387559.853 * * * * [misc]progress: [ 5 / 44 ] simplifiying candidate # 1545387559.853 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1545387559.853 * * [misc]simplify: iters left: 6 (10 enodes) 1545387559.855 * * [misc]simplify: iters left: 5 (18 enodes) 1545387559.857 * * [misc]simplify: iters left: 4 (21 enodes) 1545387559.860 * * [misc]simplify: iters left: 3 (27 enodes) 1545387559.863 * * [misc]simplify: iters left: 2 (30 enodes) 1545387559.866 * * [misc]simplify: iters left: 1 (45 enodes) 1545387559.874 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387559.874 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1545387559.874 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1545387559.874 * * [misc]simplify: iters left: 5 (6 enodes) 1545387559.875 * * [misc]simplify: iters left: 4 (8 enodes) 1545387559.876 * * [misc]simplify: iters left: 3 (14 enodes) 1545387559.878 * * [misc]simplify: iters left: 2 (20 enodes) 1545387559.880 * * [misc]simplify: iters left: 1 (22 enodes) 1545387559.882 * [exit]simplify: Simplified to 0 1545387559.882 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1545387559.882 * * * * [misc]progress: [ 6 / 44 ] simplifiying candidate # 1545387559.883 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) 1545387559.883 * * [misc]simplify: iters left: 6 (9 enodes) 1545387559.885 * * [misc]simplify: iters left: 5 (20 enodes) 1545387559.888 * * [misc]simplify: iters left: 4 (26 enodes) 1545387559.892 * * [misc]simplify: iters left: 3 (35 enodes) 1545387559.895 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387559.895 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1545387559.895 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1545387559.895 * * [misc]simplify: iters left: 4 (6 enodes) 1545387559.896 * * [misc]simplify: iters left: 3 (11 enodes) 1545387559.899 * * [misc]simplify: iters left: 2 (21 enodes) 1545387559.902 * * [misc]simplify: iters left: 1 (30 enodes) 1545387559.904 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1545387559.904 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N)))) 1545387559.904 * * * * [misc]progress: [ 7 / 44 ] simplifiying candidate # 1545387559.905 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1545387559.905 * * [misc]simplify: iters left: 6 (10 enodes) 1545387559.906 * * [misc]simplify: iters left: 5 (22 enodes) 1545387559.909 * * [misc]simplify: iters left: 4 (29 enodes) 1545387559.915 * * [misc]simplify: iters left: 3 (38 enodes) 1545387559.922 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1545387559.922 * [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))))))) 1545387559.922 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1545387559.923 * * [misc]simplify: iters left: 6 (7 enodes) 1545387559.925 * * [misc]simplify: iters left: 5 (12 enodes) 1545387559.929 * * [misc]simplify: iters left: 4 (19 enodes) 1545387559.936 * * [misc]simplify: iters left: 3 (38 enodes) 1545387559.946 * * [misc]simplify: iters left: 2 (46 enodes) 1545387559.953 * [exit]simplify: Simplified to 0 1545387559.953 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1545387559.953 * * * * [misc]progress: [ 8 / 44 ] simplifiying candidate # 1545387559.954 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1545387559.954 * * [misc]simplify: iters left: 6 (9 enodes) 1545387559.957 * * [misc]simplify: iters left: 5 (17 enodes) 1545387559.961 * * [misc]simplify: iters left: 4 (21 enodes) 1545387559.967 * * [misc]simplify: iters left: 3 (28 enodes) 1545387559.973 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1545387559.973 * [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)))))) 1545387559.973 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1545387559.973 * * [misc]simplify: iters left: 5 (6 enodes) 1545387559.975 * * [misc]simplify: iters left: 4 (8 enodes) 1545387559.977 * * [misc]simplify: iters left: 3 (14 enodes) 1545387559.981 * * [misc]simplify: iters left: 2 (20 enodes) 1545387559.985 * * [misc]simplify: iters left: 1 (22 enodes) 1545387559.988 * [exit]simplify: Simplified to 0 1545387559.988 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1545387559.988 * * * * [misc]progress: [ 9 / 44 ] simplifiying candidate # 1545387559.988 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) 1545387559.988 * * [misc]simplify: iters left: 6 (8 enodes) 1545387559.991 * * [misc]simplify: iters left: 5 (19 enodes) 1545387559.998 * * [misc]simplify: iters left: 4 (26 enodes) 1545387560.006 * * [misc]simplify: iters left: 3 (38 enodes) 1545387560.010 * * [misc]simplify: iters left: 2 (41 enodes) 1545387560.015 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1545387560.015 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1545387560.015 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1545387560.015 * * [misc]simplify: iters left: 4 (6 enodes) 1545387560.016 * * [misc]simplify: iters left: 3 (11 enodes) 1545387560.018 * * [misc]simplify: iters left: 2 (21 enodes) 1545387560.021 * * [misc]simplify: iters left: 1 (30 enodes) 1545387560.025 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1545387560.025 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N)))) 1545387560.025 * * * * [misc]progress: [ 10 / 44 ] simplifiying candidate # 1545387560.025 * * * * [misc]progress: [ 11 / 44 ] simplifiying candidate # 1545387560.025 * * * * [misc]progress: [ 12 / 44 ] simplifiying candidate # 1545387560.025 * [enter]simplify: Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) 1545387560.025 * * [misc]simplify: iters left: 6 (6 enodes) 1545387560.026 * * [misc]simplify: iters left: 5 (9 enodes) 1545387560.027 * [exit]simplify: Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) 1545387560.027 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N)))) 1545387560.027 * * * * [misc]progress: [ 13 / 44 ] simplifiying candidate # 1545387560.027 * [enter]simplify: Simplifying (sqrt (atan (+ N 1))) 1545387560.027 * * [misc]simplify: iters left: 4 (5 enodes) 1545387560.028 * * [misc]simplify: iters left: 3 (8 enodes) 1545387560.029 * [exit]simplify: Simplified to (sqrt (atan (+ 1 N))) 1545387560.029 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N)))) 1545387560.029 * * * * [misc]progress: [ 14 / 44 ] simplifiying candidate # 1545387560.029 * * * * [misc]progress: [ 15 / 44 ] simplifiying candidate # 1545387560.029 * [enter]simplify: Simplifying (- (+ N 1) N) 1545387560.029 * * [misc]simplify: iters left: 4 (4 enodes) 1545387560.030 * * [misc]simplify: iters left: 3 (11 enodes) 1545387560.032 * * [misc]simplify: iters left: 2 (19 enodes) 1545387560.037 * * [misc]simplify: iters left: 1 (25 enodes) 1545387560.038 * [exit]simplify: Simplified to 1 1545387560.038 * [misc]simplify: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1545387560.038 * [enter]simplify: Simplifying (+ 1 (* (+ N 1) N)) 1545387560.039 * * [misc]simplify: iters left: 6 (5 enodes) 1545387560.039 * * [misc]simplify: iters left: 5 (10 enodes) 1545387560.041 * * [misc]simplify: iters left: 4 (19 enodes) 1545387560.045 * * [misc]simplify: iters left: 3 (33 enodes) 1545387560.050 * * [misc]simplify: iters left: 2 (39 enodes) 1545387560.054 * [exit]simplify: Simplified to (fma N (+ N 1) 1) 1545387560.054 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387560.054 * * * * [misc]progress: [ 16 / 44 ] simplifiying candidate # 1545387560.054 * [enter]simplify: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1545387560.054 * * [misc]simplify: iters left: 6 (8 enodes) 1545387560.056 * * [misc]simplify: iters left: 5 (13 enodes) 1545387560.057 * * [misc]simplify: iters left: 4 (15 enodes) 1545387560.059 * * [misc]simplify: iters left: 3 (18 enodes) 1545387560.061 * * [misc]simplify: iters left: 2 (20 enodes) 1545387560.064 * * [misc]simplify: iters left: 1 (24 enodes) 1545387560.067 * [exit]simplify: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1545387560.067 * [misc]simplify: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1545387560.067 * * * * [misc]progress: [ 17 / 44 ] simplifiying candidate # 1545387560.067 * * * * [misc]progress: [ 18 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 19 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 20 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 21 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 22 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 23 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 24 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 25 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 26 / 44 ] simplifiying candidate # 1545387560.068 * * * * [misc]progress: [ 27 / 44 ] simplifiying candidate # 1545387560.068 * [enter]simplify: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1545387560.068 * * [misc]simplify: iters left: 6 (8 enodes) 1545387560.069 * * [misc]simplify: iters left: 5 (12 enodes) 1545387560.071 * [exit]simplify: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1545387560.071 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1545387560.071 * [enter]simplify: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1545387560.071 * * [misc]simplify: iters left: 6 (8 enodes) 1545387560.072 * * [misc]simplify: iters left: 5 (13 enodes) 1545387560.074 * * [misc]simplify: iters left: 4 (14 enodes) 1545387560.075 * [exit]simplify: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1545387560.075 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1545387560.076 * * * * [misc]progress: [ 28 / 44 ] simplifiying candidate # 1545387560.076 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545387560.076 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.077 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.078 * * [misc]simplify: iters left: 3 (12 enodes) 1545387560.080 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387560.080 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1545387560.080 * * * * [misc]progress: [ 29 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 30 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 31 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 32 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 33 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 34 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 35 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 36 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 37 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 38 / 44 ] simplifiying candidate # 1545387560.080 * * * * [misc]progress: [ 39 / 44 ] simplifiying candidate # 1545387560.080 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545387560.080 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.081 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.083 * * [misc]simplify: iters left: 3 (12 enodes) 1545387560.084 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387560.084 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545387560.084 * * * * [misc]progress: [ 40 / 44 ] simplifiying candidate # 1545387560.085 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545387560.085 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.086 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.087 * * [misc]simplify: iters left: 3 (12 enodes) 1545387560.088 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387560.088 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545387560.088 * * * * [misc]progress: [ 41 / 44 ] simplifiying candidate # 1545387560.089 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1545387560.089 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.090 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.091 * * [misc]simplify: iters left: 3 (12 enodes) 1545387560.093 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1545387560.094 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545387560.094 * * * * [misc]progress: [ 42 / 44 ] simplifiying candidate # 1545387560.094 * [enter]simplify: Simplifying (atan (+ N 1)) 1545387560.094 * * [misc]simplify: iters left: 3 (4 enodes) 1545387560.095 * * [misc]simplify: iters left: 2 (7 enodes) 1545387560.097 * [exit]simplify: Simplified to (atan (+ 1 N)) 1545387560.097 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545387560.097 * * * * [misc]progress: [ 43 / 44 ] simplifiying candidate # 1545387560.097 * [enter]simplify: Simplifying (atan (+ N 1)) 1545387560.097 * * [misc]simplify: iters left: 3 (4 enodes) 1545387560.098 * * [misc]simplify: iters left: 2 (7 enodes) 1545387560.100 * [exit]simplify: Simplified to (atan (+ 1 N)) 1545387560.100 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545387560.100 * * * * [misc]progress: [ 44 / 44 ] simplifiying candidate # 1545387560.100 * [enter]simplify: Simplifying (atan (+ N 1)) 1545387560.100 * * [misc]simplify: iters left: 3 (4 enodes) 1545387560.102 * * [misc]simplify: iters left: 2 (7 enodes) 1545387560.103 * [exit]simplify: Simplified to (atan (+ 1 N)) 1545387560.103 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1545387560.104 * * * [misc]progress: adding candidates to table 1545387560.451 * * [misc]progress: iteration 2 / 4 1545387560.451 * * * [misc]progress: picking best candidate 1545387560.457 * * * * [misc]pick: Picked # 1545387560.457 * * * [misc]progress: localizing error 1545387560.464 * * * [misc]progress: generating rewritten candidates 1545387560.464 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545387560.464 * * * [misc]progress: generating series expansions 1545387560.464 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545387560.464 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.464 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545387560.464 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.464 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.464 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.464 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.464 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.464 * [misc]backup-simplify: Simplify 0 into 0 1545387560.464 * [misc]backup-simplify: Simplify 0 into 0 1545387560.464 * [misc]backup-simplify: Simplify 0 into 0 1545387560.464 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.465 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545387560.465 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.465 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify 0 into 0 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.465 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545387560.465 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.465 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.466 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.466 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.466 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.466 * [misc]backup-simplify: Simplify 0 into 0 1545387560.466 * [misc]backup-simplify: Simplify 0 into 0 1545387560.466 * [misc]backup-simplify: Simplify 0 into 0 1545387560.466 * [misc]backup-simplify: Simplify 0 into 0 1545387560.466 * [misc]backup-simplify: Simplify 0 into 0 1545387560.466 * [misc]backup-simplify: Simplify 0 into 0 1545387560.466 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.466 * * * [misc]progress: simplifying candidates 1545387560.466 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1545387560.466 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1545387560.466 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387560.467 * * [misc]simplify: iters left: 4 (5 enodes) 1545387560.467 * * [misc]simplify: iters left: 3 (10 enodes) 1545387560.469 * * [misc]simplify: iters left: 2 (19 enodes) 1545387560.473 * * [misc]simplify: iters left: 1 (34 enodes) 1545387560.477 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387560.477 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387560.478 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1545387560.478 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387560.478 * * [misc]simplify: iters left: 4 (5 enodes) 1545387560.479 * * [misc]simplify: iters left: 3 (10 enodes) 1545387560.481 * * [misc]simplify: iters left: 2 (19 enodes) 1545387560.490 * * [misc]simplify: iters left: 1 (34 enodes) 1545387560.501 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387560.501 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387560.501 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1545387560.501 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387560.502 * * [misc]simplify: iters left: 4 (5 enodes) 1545387560.503 * * [misc]simplify: iters left: 3 (10 enodes) 1545387560.506 * * [misc]simplify: iters left: 2 (19 enodes) 1545387560.516 * * [misc]simplify: iters left: 1 (34 enodes) 1545387560.523 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387560.523 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387560.523 * * * [misc]progress: adding candidates to table 1545387560.594 * * [misc]progress: iteration 3 / 4 1545387560.594 * * * [misc]progress: picking best candidate 1545387560.603 * * * * [misc]pick: Picked # 1545387560.603 * * * [misc]progress: localizing error 1545387560.608 * * * [misc]progress: generating rewritten candidates 1545387560.608 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1545387560.609 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1545387560.610 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1545387560.616 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1545387560.617 * * * [misc]progress: generating series expansions 1545387560.617 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1545387560.617 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.617 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545387560.617 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387560.617 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.617 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.617 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.618 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.618 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387560.618 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.618 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.618 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.618 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.618 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.618 * [misc]backup-simplify: Simplify 0 into 0 1545387560.619 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.619 * [misc]backup-simplify: Simplify 0 into 0 1545387560.620 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.620 * [misc]backup-simplify: Simplify 0 into 0 1545387560.621 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.621 * [misc]backup-simplify: Simplify 0 into 0 1545387560.621 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.621 * [misc]backup-simplify: Simplify 0 into 0 1545387560.622 * [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 1545387560.622 * [misc]backup-simplify: Simplify 0 into 0 1545387560.622 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.623 * [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))) 1545387560.623 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545387560.623 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387560.623 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.623 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.623 * [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))) 1545387560.623 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.623 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387560.623 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.623 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.624 * [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))) 1545387560.624 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.624 * [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))) 1545387560.624 * [misc]backup-simplify: Simplify 0 into 0 1545387560.625 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.625 * [misc]backup-simplify: Simplify 0 into 0 1545387560.626 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.626 * [misc]backup-simplify: Simplify 0 into 0 1545387560.627 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.627 * [misc]backup-simplify: Simplify 0 into 0 1545387560.627 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.627 * [misc]backup-simplify: Simplify 0 into 0 1545387560.628 * [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 1545387560.628 * [misc]backup-simplify: Simplify 0 into 0 1545387560.629 * [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))) 1545387560.629 * [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))) 1545387560.629 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545387560.629 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387560.629 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.629 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.629 * [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))) 1545387560.629 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.630 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387560.630 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.630 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.630 * [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))) 1545387560.630 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.630 * [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))) 1545387560.630 * [misc]backup-simplify: Simplify 0 into 0 1545387560.632 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.632 * [misc]backup-simplify: Simplify 0 into 0 1545387560.632 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.632 * [misc]backup-simplify: Simplify 0 into 0 1545387560.633 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.633 * [misc]backup-simplify: Simplify 0 into 0 1545387560.634 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.634 * [misc]backup-simplify: Simplify 0 into 0 1545387560.635 * [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 1545387560.635 * [misc]backup-simplify: Simplify 0 into 0 1545387560.635 * [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))) 1545387560.635 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1545387560.635 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.635 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545387560.635 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387560.635 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.635 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.636 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.636 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.636 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387560.636 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.636 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.636 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.636 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.637 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.637 * [misc]backup-simplify: Simplify 0 into 0 1545387560.638 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.638 * [misc]backup-simplify: Simplify 0 into 0 1545387560.638 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.638 * [misc]backup-simplify: Simplify 0 into 0 1545387560.639 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.639 * [misc]backup-simplify: Simplify 0 into 0 1545387560.640 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387560.640 * [misc]backup-simplify: Simplify 0 into 0 1545387560.641 * [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 1545387560.641 * [misc]backup-simplify: Simplify 0 into 0 1545387560.641 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.641 * [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))) 1545387560.641 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545387560.641 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387560.641 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.641 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.642 * [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))) 1545387560.642 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.642 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387560.642 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.642 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.642 * [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))) 1545387560.642 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.643 * [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))) 1545387560.643 * [misc]backup-simplify: Simplify 0 into 0 1545387560.644 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.644 * [misc]backup-simplify: Simplify 0 into 0 1545387560.644 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.644 * [misc]backup-simplify: Simplify 0 into 0 1545387560.645 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.645 * [misc]backup-simplify: Simplify 0 into 0 1545387560.646 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387560.646 * [misc]backup-simplify: Simplify 0 into 0 1545387560.647 * [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 1545387560.647 * [misc]backup-simplify: Simplify 0 into 0 1545387560.647 * [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))) 1545387560.647 * [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))) 1545387560.647 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545387560.647 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387560.647 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.647 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.648 * [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))) 1545387560.648 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.648 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387560.648 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.648 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.648 * [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))) 1545387560.648 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.648 * [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))) 1545387560.648 * [misc]backup-simplify: Simplify 0 into 0 1545387560.649 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.649 * [misc]backup-simplify: Simplify 0 into 0 1545387560.649 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.649 * [misc]backup-simplify: Simplify 0 into 0 1545387560.650 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.650 * [misc]backup-simplify: Simplify 0 into 0 1545387560.650 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387560.650 * [misc]backup-simplify: Simplify 0 into 0 1545387560.651 * [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 1545387560.651 * [misc]backup-simplify: Simplify 0 into 0 1545387560.651 * [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))) 1545387560.651 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1545387560.651 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.651 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545387560.651 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.653 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.653 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.653 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.653 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.653 * [misc]backup-simplify: Simplify 0 into 0 1545387560.653 * [misc]backup-simplify: Simplify 0 into 0 1545387560.653 * [misc]backup-simplify: Simplify 0 into 0 1545387560.653 * [misc]backup-simplify: Simplify 0 into 0 1545387560.653 * [misc]backup-simplify: Simplify 0 into 0 1545387560.653 * [misc]backup-simplify: Simplify 0 into 0 1545387560.653 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.653 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.653 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545387560.653 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.654 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.654 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.654 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.654 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.654 * [misc]backup-simplify: Simplify 0 into 0 1545387560.654 * [misc]backup-simplify: Simplify 0 into 0 1545387560.654 * [misc]backup-simplify: Simplify 0 into 0 1545387560.654 * [misc]backup-simplify: Simplify 0 into 0 1545387560.654 * [misc]backup-simplify: Simplify 0 into 0 1545387560.654 * [misc]backup-simplify: Simplify 0 into 0 1545387560.654 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.654 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.654 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545387560.654 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.654 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.654 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.654 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.655 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.655 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545387560.655 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.655 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify 0 into 0 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.655 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.655 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545387560.656 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.656 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387560.656 * [misc]backup-simplify: Simplify 0 into 0 1545387560.656 * [misc]backup-simplify: Simplify 0 into 0 1545387560.656 * [misc]backup-simplify: Simplify 0 into 0 1545387560.656 * [misc]backup-simplify: Simplify 0 into 0 1545387560.656 * [misc]backup-simplify: Simplify 0 into 0 1545387560.656 * [misc]backup-simplify: Simplify 0 into 0 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.656 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545387560.656 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.656 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.656 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387560.657 * [misc]backup-simplify: Simplify 0 into 0 1545387560.657 * [misc]backup-simplify: Simplify 0 into 0 1545387560.657 * [misc]backup-simplify: Simplify 0 into 0 1545387560.657 * [misc]backup-simplify: Simplify 0 into 0 1545387560.657 * [misc]backup-simplify: Simplify 0 into 0 1545387560.657 * [misc]backup-simplify: Simplify 0 into 0 1545387560.657 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387560.657 * * * [misc]progress: simplifying candidates 1545387560.657 * * * * [misc]progress: [ 1 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 2 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 3 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 4 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 5 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 6 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 7 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 8 / 81 ] simplifiying candidate # 1545387560.657 * * * * [misc]progress: [ 9 / 81 ] simplifiying candidate # 1545387560.657 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545387560.657 * * [misc]simplify: iters left: 6 (8 enodes) 1545387560.659 * * [misc]simplify: iters left: 5 (14 enodes) 1545387560.661 * * [misc]simplify: iters left: 4 (23 enodes) 1545387560.666 * * [misc]simplify: iters left: 3 (38 enodes) 1545387560.670 * * [misc]simplify: iters left: 2 (48 enodes) 1545387560.674 * * [misc]simplify: iters left: 1 (49 enodes) 1545387560.680 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545387560.681 * [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))))))) 1545387560.681 * * * * [misc]progress: [ 10 / 81 ] simplifiying candidate # 1545387560.681 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387560.681 * * [misc]simplify: iters left: 6 (7 enodes) 1545387560.683 * * [misc]simplify: iters left: 5 (12 enodes) 1545387560.687 * * [misc]simplify: iters left: 4 (21 enodes) 1545387560.697 * * [misc]simplify: iters left: 3 (36 enodes) 1545387560.705 * * [misc]simplify: iters left: 2 (45 enodes) 1545387560.713 * * [misc]simplify: iters left: 1 (46 enodes) 1545387560.720 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387560.720 * [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))))))) 1545387560.720 * * * * [misc]progress: [ 11 / 81 ] simplifiying candidate # 1545387560.721 * [enter]simplify: Simplifying (sqrt 1) 1545387560.721 * * [misc]simplify: iters left: 1 (2 enodes) 1545387560.722 * [exit]simplify: Simplified to 1 1545387560.722 * [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)))))) 1545387560.722 * * * * [misc]progress: [ 12 / 81 ] simplifiying candidate # 1545387560.722 * * * * [misc]progress: [ 13 / 81 ] simplifiying candidate # 1545387560.723 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.723 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.724 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.728 * * [misc]simplify: iters left: 3 (20 enodes) 1545387560.738 * * [misc]simplify: iters left: 2 (35 enodes) 1545387560.746 * * [misc]simplify: iters left: 1 (41 enodes) 1545387560.754 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387560.754 * [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))))))) 1545387560.754 * * * * [misc]progress: [ 14 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 15 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 16 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 17 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 18 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 19 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 20 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 21 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 22 / 81 ] simplifiying candidate # 1545387560.754 * * * * [misc]progress: [ 23 / 81 ] simplifiying candidate # 1545387560.755 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545387560.755 * * [misc]simplify: iters left: 6 (8 enodes) 1545387560.757 * * [misc]simplify: iters left: 5 (14 enodes) 1545387560.762 * * [misc]simplify: iters left: 4 (23 enodes) 1545387560.772 * * [misc]simplify: iters left: 3 (38 enodes) 1545387560.783 * * [misc]simplify: iters left: 2 (48 enodes) 1545387560.792 * * [misc]simplify: iters left: 1 (49 enodes) 1545387560.800 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545387560.800 * [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))))) 1545387560.800 * * * * [misc]progress: [ 24 / 81 ] simplifiying candidate # 1545387560.801 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387560.801 * * [misc]simplify: iters left: 6 (7 enodes) 1545387560.803 * * [misc]simplify: iters left: 5 (12 enodes) 1545387560.807 * * [misc]simplify: iters left: 4 (21 enodes) 1545387560.818 * * [misc]simplify: iters left: 3 (36 enodes) 1545387560.828 * * [misc]simplify: iters left: 2 (45 enodes) 1545387560.836 * * [misc]simplify: iters left: 1 (46 enodes) 1545387560.843 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387560.843 * [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))))) 1545387560.843 * * * * [misc]progress: [ 25 / 81 ] simplifiying candidate # 1545387560.843 * [enter]simplify: Simplifying (sqrt 1) 1545387560.843 * * [misc]simplify: iters left: 1 (2 enodes) 1545387560.845 * [exit]simplify: Simplified to 1 1545387560.845 * [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))))) 1545387560.845 * * * * [misc]progress: [ 26 / 81 ] simplifiying candidate # 1545387560.845 * * * * [misc]progress: [ 27 / 81 ] simplifiying candidate # 1545387560.845 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.845 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.847 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.849 * * [misc]simplify: iters left: 3 (20 enodes) 1545387560.853 * * [misc]simplify: iters left: 2 (35 enodes) 1545387560.857 * * [misc]simplify: iters left: 1 (41 enodes) 1545387560.861 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387560.862 * [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))))) 1545387560.862 * * * * [misc]progress: [ 28 / 81 ] simplifiying candidate # 1545387560.862 * * * * [misc]progress: [ 29 / 81 ] simplifiying candidate # 1545387560.862 * * * * [misc]progress: [ 30 / 81 ] simplifiying candidate # 1545387560.862 * * * * [misc]progress: [ 31 / 81 ] simplifiying candidate # 1545387560.862 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387560.862 * * [misc]simplify: iters left: 4 (5 enodes) 1545387560.863 * * [misc]simplify: iters left: 3 (10 enodes) 1545387560.864 * * [misc]simplify: iters left: 2 (19 enodes) 1545387560.869 * * [misc]simplify: iters left: 1 (34 enodes) 1545387560.873 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387560.873 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) (+ 1/2 1/2))) 1545387560.873 * [enter]simplify: Simplifying (+ 1/2 1/2) 1545387560.873 * * [misc]simplify: iters left: 2 (2 enodes) 1545387560.874 * * [misc]simplify: iters left: 1 (3 enodes) 1545387560.875 * [exit]simplify: Simplified to 1 1545387560.875 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1545387560.875 * * * * [misc]progress: [ 32 / 81 ] simplifiying candidate # 1545387560.875 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.875 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.876 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.877 * * [misc]simplify: iters left: 3 (20 enodes) 1545387560.882 * * [misc]simplify: iters left: 2 (35 enodes) 1545387560.886 * * [misc]simplify: iters left: 1 (41 enodes) 1545387560.890 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387560.890 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1545387560.890 * [enter]simplify: Simplifying (+ 1 1) 1545387560.891 * * [misc]simplify: iters left: 2 (2 enodes) 1545387560.892 * * [misc]simplify: iters left: 1 (5 enodes) 1545387560.893 * [exit]simplify: Simplified to 2 1545387560.893 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1545387560.893 * * * * [misc]progress: [ 33 / 81 ] simplifiying candidate # 1545387560.893 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1545387560.893 * * [misc]simplify: iters left: 6 (6 enodes) 1545387560.894 * * [misc]simplify: iters left: 5 (11 enodes) 1545387560.895 * * [misc]simplify: iters left: 4 (20 enodes) 1545387560.901 * * [misc]simplify: iters left: 3 (35 enodes) 1545387560.910 * * [misc]simplify: iters left: 2 (41 enodes) 1545387560.918 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545387560.918 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1545387560.918 * * * * [misc]progress: [ 34 / 81 ] simplifiying candidate # 1545387560.919 * [enter]simplify: Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387560.919 * * [misc]simplify: iters left: 6 (7 enodes) 1545387560.921 * * [misc]simplify: iters left: 5 (12 enodes) 1545387560.924 * * [misc]simplify: iters left: 4 (22 enodes) 1545387560.935 * * [misc]simplify: iters left: 3 (37 enodes) 1545387560.943 * * [misc]simplify: iters left: 2 (45 enodes) 1545387560.951 * * [misc]simplify: iters left: 1 (46 enodes) 1545387560.958 * [exit]simplify: Simplified to (atan2 1 (fma (+ N 1) N 1)) 1545387560.958 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma (+ N 1) N 1)) 1)) 1545387560.958 * * * * [misc]progress: [ 35 / 81 ] simplifiying candidate # 1545387560.958 * * * * [misc]progress: [ 36 / 81 ] simplifiying candidate # 1545387560.959 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387560.959 * * [misc]simplify: iters left: 5 (6 enodes) 1545387560.961 * * [misc]simplify: iters left: 4 (11 enodes) 1545387560.964 * * [misc]simplify: iters left: 3 (20 enodes) 1545387560.973 * * [misc]simplify: iters left: 2 (35 enodes) 1545387560.981 * * [misc]simplify: iters left: 1 (41 enodes) 1545387560.988 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387560.988 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1545387560.988 * * * * [misc]progress: [ 37 / 81 ] simplifiying candidate # 1545387560.988 * * * * [misc]progress: [ 38 / 81 ] simplifiying candidate # 1545387560.988 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387560.989 * * [misc]simplify: iters left: 6 (8 enodes) 1545387560.991 * * [misc]simplify: iters left: 5 (13 enodes) 1545387560.994 * * [misc]simplify: iters left: 4 (22 enodes) 1545387561.000 * * [misc]simplify: iters left: 3 (37 enodes) 1545387561.004 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.009 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.012 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387561.013 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545387561.013 * * * * [misc]progress: [ 39 / 81 ] simplifiying candidate # 1545387561.013 * * * * [misc]progress: [ 40 / 81 ] simplifiying candidate # 1545387561.013 * * * * [misc]progress: [ 41 / 81 ] simplifiying candidate # 1545387561.014 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.014 * * [misc]simplify: iters left: 6 (9 enodes) 1545387561.015 * * [misc]simplify: iters left: 5 (19 enodes) 1545387561.018 * * [misc]simplify: iters left: 4 (37 enodes) 1545387561.029 * * [misc]simplify: iters left: 3 (57 enodes) 1545387561.043 * * [misc]simplify: iters left: 2 (69 enodes) 1545387561.057 * * [misc]simplify: iters left: 1 (73 enodes) 1545387561.070 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1545387561.071 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1545387561.071 * * * * [misc]progress: [ 42 / 81 ] simplifiying candidate # 1545387561.071 * * * * [misc]progress: [ 43 / 81 ] simplifiying candidate # 1545387561.071 * * * * [misc]progress: [ 44 / 81 ] simplifiying candidate # 1545387561.071 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1545387561.071 * * [misc]simplify: iters left: 6 (6 enodes) 1545387561.073 * * [misc]simplify: iters left: 5 (11 enodes) 1545387561.077 * * [misc]simplify: iters left: 4 (20 enodes) 1545387561.087 * * [misc]simplify: iters left: 3 (35 enodes) 1545387561.095 * * [misc]simplify: iters left: 2 (41 enodes) 1545387561.103 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545387561.103 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1545387561.103 * * * * [misc]progress: [ 45 / 81 ] simplifiying candidate # 1545387561.103 * * * * [misc]progress: [ 46 / 81 ] simplifiying candidate # 1545387561.104 * [enter]simplify: Simplifying (fma N (+ N 1) 1) 1545387561.104 * * [misc]simplify: iters left: 3 (4 enodes) 1545387561.104 * * [misc]simplify: iters left: 2 (9 enodes) 1545387561.106 * * [misc]simplify: iters left: 1 (18 enodes) 1545387561.110 * [exit]simplify: Simplified to (fma N (+ 1 N) 1) 1545387561.111 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1))) 1545387561.111 * * * * [misc]progress: [ 47 / 81 ] simplifiying candidate # 1545387561.111 * * * * [misc]progress: [ 48 / 81 ] simplifiying candidate # 1545387561.111 * [enter]simplify: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.111 * * [misc]simplify: iters left: 6 (7 enodes) 1545387561.112 * * [misc]simplify: iters left: 5 (12 enodes) 1545387561.114 * * [misc]simplify: iters left: 4 (21 enodes) 1545387561.118 * * [misc]simplify: iters left: 3 (36 enodes) 1545387561.123 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.127 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.131 * [exit]simplify: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.131 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.131 * * * * [misc]progress: [ 49 / 81 ] simplifiying candidate # 1545387561.132 * [enter]simplify: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.132 * * [misc]simplify: iters left: 6 (7 enodes) 1545387561.133 * * [misc]simplify: iters left: 5 (12 enodes) 1545387561.134 * * [misc]simplify: iters left: 4 (21 enodes) 1545387561.139 * * [misc]simplify: iters left: 3 (36 enodes) 1545387561.144 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.148 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.152 * [exit]simplify: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.152 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.152 * * * * [misc]progress: [ 50 / 81 ] simplifiying candidate # 1545387561.152 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.152 * * [misc]simplify: iters left: 6 (7 enodes) 1545387561.153 * * [misc]simplify: iters left: 5 (12 enodes) 1545387561.155 * * [misc]simplify: iters left: 4 (21 enodes) 1545387561.160 * * [misc]simplify: iters left: 3 (36 enodes) 1545387561.164 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.168 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.172 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.172 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.172 * * * * [misc]progress: [ 51 / 81 ] simplifiying candidate # 1545387561.172 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.173 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.174 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.175 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.181 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.185 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.189 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.189 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387561.189 * * * * [misc]progress: [ 52 / 81 ] simplifiying candidate # 1545387561.189 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.190 * * [misc]simplify: iters left: 6 (7 enodes) 1545387561.191 * * [misc]simplify: iters left: 5 (12 enodes) 1545387561.192 * * [misc]simplify: iters left: 4 (21 enodes) 1545387561.197 * * [misc]simplify: iters left: 3 (36 enodes) 1545387561.201 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.206 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.209 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.209 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.209 * * * * [misc]progress: [ 53 / 81 ] simplifiying candidate # 1545387561.210 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.210 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.211 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.212 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.217 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.221 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.225 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.225 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387561.225 * * * * [misc]progress: [ 54 / 81 ] simplifiying candidate # 1545387561.225 * [enter]simplify: Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.225 * * [misc]simplify: iters left: 6 (8 enodes) 1545387561.226 * * [misc]simplify: iters left: 5 (13 enodes) 1545387561.228 * * [misc]simplify: iters left: 4 (22 enodes) 1545387561.233 * * [misc]simplify: iters left: 3 (37 enodes) 1545387561.237 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.241 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.245 * [exit]simplify: Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387561.245 * [misc]simplify: Simplified (2 1) to (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.245 * * * * [misc]progress: [ 55 / 81 ] simplifiying candidate # 1545387561.245 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.245 * * [misc]simplify: iters left: 6 (8 enodes) 1545387561.246 * * [misc]simplify: iters left: 5 (14 enodes) 1545387561.249 * * [misc]simplify: iters left: 4 (23 enodes) 1545387561.260 * * [misc]simplify: iters left: 3 (38 enodes) 1545387561.269 * * [misc]simplify: iters left: 2 (48 enodes) 1545387561.277 * * [misc]simplify: iters left: 1 (49 enodes) 1545387561.285 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545387561.285 * [misc]simplify: Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.285 * * * * [misc]progress: [ 56 / 81 ] simplifiying candidate # 1545387561.285 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.285 * * [misc]simplify: iters left: 6 (7 enodes) 1545387561.287 * * [misc]simplify: iters left: 5 (12 enodes) 1545387561.290 * * [misc]simplify: iters left: 4 (21 enodes) 1545387561.296 * * [misc]simplify: iters left: 3 (36 enodes) 1545387561.300 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.304 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.308 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.308 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.308 * * * * [misc]progress: [ 57 / 81 ] simplifiying candidate # 1545387561.308 * [enter]simplify: Simplifying (sqrt 1) 1545387561.308 * * [misc]simplify: iters left: 1 (2 enodes) 1545387561.309 * [exit]simplify: Simplified to 1 1545387561.309 * [misc]simplify: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.309 * * * * [misc]progress: [ 58 / 81 ] simplifiying candidate # 1545387561.309 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.309 * * [misc]simplify: iters left: 6 (7 enodes) 1545387561.310 * * [misc]simplify: iters left: 5 (12 enodes) 1545387561.312 * * [misc]simplify: iters left: 4 (21 enodes) 1545387561.317 * * [misc]simplify: iters left: 3 (36 enodes) 1545387561.321 * * [misc]simplify: iters left: 2 (45 enodes) 1545387561.325 * * [misc]simplify: iters left: 1 (46 enodes) 1545387561.328 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387561.329 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387561.329 * * * * [misc]progress: [ 59 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 60 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 61 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 62 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 63 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 64 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 65 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 66 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 67 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 68 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 69 / 81 ] simplifiying candidate # 1545387561.329 * * * * [misc]progress: [ 70 / 81 ] simplifiying candidate # 1545387561.329 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.329 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.330 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.332 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.342 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.351 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.359 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.359 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387561.359 * * * * [misc]progress: [ 71 / 81 ] simplifiying candidate # 1545387561.359 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.359 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.361 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.365 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.375 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.383 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.391 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.392 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387561.392 * * * * [misc]progress: [ 72 / 81 ] simplifiying candidate # 1545387561.392 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.392 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.394 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.396 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.401 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.405 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.409 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.409 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387561.409 * * * * [misc]progress: [ 73 / 81 ] simplifiying candidate # 1545387561.410 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.410 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.411 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.412 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.417 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.421 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.425 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.425 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.425 * * * * [misc]progress: [ 74 / 81 ] simplifiying candidate # 1545387561.425 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.425 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.426 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.427 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.433 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.441 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.449 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.449 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.449 * * * * [misc]progress: [ 75 / 81 ] simplifiying candidate # 1545387561.449 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387561.449 * * [misc]simplify: iters left: 5 (6 enodes) 1545387561.451 * * [misc]simplify: iters left: 4 (11 enodes) 1545387561.455 * * [misc]simplify: iters left: 3 (20 enodes) 1545387561.464 * * [misc]simplify: iters left: 2 (35 enodes) 1545387561.472 * * [misc]simplify: iters left: 1 (41 enodes) 1545387561.480 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387561.480 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.480 * * * * [misc]progress: [ 76 / 81 ] simplifiying candidate # 1545387561.480 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387561.480 * * [misc]simplify: iters left: 4 (5 enodes) 1545387561.482 * * [misc]simplify: iters left: 3 (10 enodes) 1545387561.485 * * [misc]simplify: iters left: 2 (19 enodes) 1545387561.495 * * [misc]simplify: iters left: 1 (34 enodes) 1545387561.503 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387561.503 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387561.503 * * * * [misc]progress: [ 77 / 81 ] simplifiying candidate # 1545387561.504 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387561.504 * * [misc]simplify: iters left: 4 (5 enodes) 1545387561.505 * * [misc]simplify: iters left: 3 (10 enodes) 1545387561.508 * * [misc]simplify: iters left: 2 (19 enodes) 1545387561.518 * * [misc]simplify: iters left: 1 (34 enodes) 1545387561.527 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387561.527 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387561.527 * * * * [misc]progress: [ 78 / 81 ] simplifiying candidate # 1545387561.528 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387561.528 * * [misc]simplify: iters left: 4 (5 enodes) 1545387561.529 * * [misc]simplify: iters left: 3 (10 enodes) 1545387561.532 * * [misc]simplify: iters left: 2 (19 enodes) 1545387561.541 * * [misc]simplify: iters left: 1 (34 enodes) 1545387561.548 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387561.548 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387561.548 * * * * [misc]progress: [ 79 / 81 ] simplifiying candidate # 1545387561.548 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387561.548 * * [misc]simplify: iters left: 4 (5 enodes) 1545387561.550 * * [misc]simplify: iters left: 3 (10 enodes) 1545387561.552 * * [misc]simplify: iters left: 2 (19 enodes) 1545387561.561 * * [misc]simplify: iters left: 1 (34 enodes) 1545387561.569 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387561.569 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.569 * * * * [misc]progress: [ 80 / 81 ] simplifiying candidate # 1545387561.569 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387561.569 * * [misc]simplify: iters left: 4 (5 enodes) 1545387561.571 * * [misc]simplify: iters left: 3 (10 enodes) 1545387561.573 * * [misc]simplify: iters left: 2 (19 enodes) 1545387561.583 * * [misc]simplify: iters left: 1 (34 enodes) 1545387561.591 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387561.591 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.591 * * * * [misc]progress: [ 81 / 81 ] simplifiying candidate # 1545387561.591 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387561.591 * * [misc]simplify: iters left: 4 (5 enodes) 1545387561.593 * * [misc]simplify: iters left: 3 (10 enodes) 1545387561.596 * * [misc]simplify: iters left: 2 (19 enodes) 1545387561.606 * * [misc]simplify: iters left: 1 (34 enodes) 1545387561.614 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387561.614 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387561.614 * * * [misc]progress: adding candidates to table 1545387562.324 * * [misc]progress: iteration 4 / 4 1545387562.325 * * * [misc]progress: picking best candidate 1545387562.360 * * * * [misc]pick: Picked # 1545387562.360 * * * [misc]progress: localizing error 1545387562.378 * * * [misc]progress: generating rewritten candidates 1545387562.378 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 1) 1545387562.380 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 1) 1545387562.381 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1545387562.383 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1545387562.422 * * * [misc]progress: generating series expansions 1545387562.422 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 1) 1545387562.423 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.423 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545387562.423 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387562.423 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.423 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.423 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.423 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.423 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387562.423 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.423 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.423 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.424 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.424 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.424 * [misc]backup-simplify: Simplify 0 into 0 1545387562.425 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.425 * [misc]backup-simplify: Simplify 0 into 0 1545387562.426 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.426 * [misc]backup-simplify: Simplify 0 into 0 1545387562.426 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.427 * [misc]backup-simplify: Simplify 0 into 0 1545387562.427 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.427 * [misc]backup-simplify: Simplify 0 into 0 1545387562.428 * [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 1545387562.428 * [misc]backup-simplify: Simplify 0 into 0 1545387562.428 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.428 * [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))) 1545387562.428 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545387562.428 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387562.429 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.429 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.429 * [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))) 1545387562.429 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.429 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387562.429 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.429 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.429 * [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))) 1545387562.430 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.430 * [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))) 1545387562.430 * [misc]backup-simplify: Simplify 0 into 0 1545387562.431 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.431 * [misc]backup-simplify: Simplify 0 into 0 1545387562.431 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.431 * [misc]backup-simplify: Simplify 0 into 0 1545387562.432 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.432 * [misc]backup-simplify: Simplify 0 into 0 1545387562.433 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.433 * [misc]backup-simplify: Simplify 0 into 0 1545387562.434 * [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 1545387562.434 * [misc]backup-simplify: Simplify 0 into 0 1545387562.434 * [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))) 1545387562.435 * [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))) 1545387562.435 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545387562.435 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387562.435 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.435 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.435 * [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))) 1545387562.435 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.435 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387562.435 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.435 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.435 * [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))) 1545387562.436 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.436 * [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))) 1545387562.436 * [misc]backup-simplify: Simplify 0 into 0 1545387562.436 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.436 * [misc]backup-simplify: Simplify 0 into 0 1545387562.437 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.437 * [misc]backup-simplify: Simplify 0 into 0 1545387562.437 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.437 * [misc]backup-simplify: Simplify 0 into 0 1545387562.438 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.438 * [misc]backup-simplify: Simplify 0 into 0 1545387562.438 * [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 1545387562.438 * [misc]backup-simplify: Simplify 0 into 0 1545387562.438 * [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))) 1545387562.438 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 1) 1545387562.439 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.439 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545387562.439 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387562.439 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.439 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.439 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.439 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.439 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387562.439 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.439 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.439 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.439 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.439 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.439 * [misc]backup-simplify: Simplify 0 into 0 1545387562.440 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.440 * [misc]backup-simplify: Simplify 0 into 0 1545387562.440 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.440 * [misc]backup-simplify: Simplify 0 into 0 1545387562.441 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.441 * [misc]backup-simplify: Simplify 0 into 0 1545387562.441 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.441 * [misc]backup-simplify: Simplify 0 into 0 1545387562.442 * [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 1545387562.442 * [misc]backup-simplify: Simplify 0 into 0 1545387562.442 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.442 * [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))) 1545387562.442 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545387562.442 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387562.442 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.442 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.442 * [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))) 1545387562.442 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.442 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387562.442 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.442 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.442 * [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))) 1545387562.442 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.443 * [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))) 1545387562.443 * [misc]backup-simplify: Simplify 0 into 0 1545387562.443 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.443 * [misc]backup-simplify: Simplify 0 into 0 1545387562.444 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.444 * [misc]backup-simplify: Simplify 0 into 0 1545387562.445 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.445 * [misc]backup-simplify: Simplify 0 into 0 1545387562.445 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.445 * [misc]backup-simplify: Simplify 0 into 0 1545387562.446 * [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 1545387562.446 * [misc]backup-simplify: Simplify 0 into 0 1545387562.447 * [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))) 1545387562.447 * [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))) 1545387562.447 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545387562.447 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387562.447 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.447 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.447 * [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))) 1545387562.448 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.448 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387562.448 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.448 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.448 * [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))) 1545387562.448 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.448 * [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))) 1545387562.448 * [misc]backup-simplify: Simplify 0 into 0 1545387562.449 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.450 * [misc]backup-simplify: Simplify 0 into 0 1545387562.450 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.450 * [misc]backup-simplify: Simplify 0 into 0 1545387562.451 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.451 * [misc]backup-simplify: Simplify 0 into 0 1545387562.452 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.452 * [misc]backup-simplify: Simplify 0 into 0 1545387562.453 * [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 1545387562.453 * [misc]backup-simplify: Simplify 0 into 0 1545387562.453 * [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))) 1545387562.453 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1545387562.453 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.453 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1545387562.453 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387562.453 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.453 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.453 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.454 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.454 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1545387562.454 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.454 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.454 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.454 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.454 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.454 * [misc]backup-simplify: Simplify 0 into 0 1545387562.455 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.455 * [misc]backup-simplify: Simplify 0 into 0 1545387562.456 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.456 * [misc]backup-simplify: Simplify 0 into 0 1545387562.456 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.456 * [misc]backup-simplify: Simplify 0 into 0 1545387562.457 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1545387562.457 * [misc]backup-simplify: Simplify 0 into 0 1545387562.458 * [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 1545387562.458 * [misc]backup-simplify: Simplify 0 into 0 1545387562.458 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.458 * [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))) 1545387562.458 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1545387562.458 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387562.459 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.459 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.459 * [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))) 1545387562.459 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.459 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1545387562.459 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.459 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.460 * [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))) 1545387562.460 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.460 * [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))) 1545387562.460 * [misc]backup-simplify: Simplify 0 into 0 1545387562.462 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.462 * [misc]backup-simplify: Simplify 0 into 0 1545387562.462 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.462 * [misc]backup-simplify: Simplify 0 into 0 1545387562.463 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.463 * [misc]backup-simplify: Simplify 0 into 0 1545387562.464 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1545387562.464 * [misc]backup-simplify: Simplify 0 into 0 1545387562.465 * [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 1545387562.465 * [misc]backup-simplify: Simplify 0 into 0 1545387562.465 * [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))) 1545387562.465 * [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))) 1545387562.466 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1545387562.466 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387562.466 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.466 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.466 * [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))) 1545387562.466 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.466 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1545387562.466 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.466 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.467 * [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))) 1545387562.467 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.467 * [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))) 1545387562.467 * [misc]backup-simplify: Simplify 0 into 0 1545387562.468 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.468 * [misc]backup-simplify: Simplify 0 into 0 1545387562.469 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.469 * [misc]backup-simplify: Simplify 0 into 0 1545387562.470 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.470 * [misc]backup-simplify: Simplify 0 into 0 1545387562.470 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1545387562.470 * [misc]backup-simplify: Simplify 0 into 0 1545387562.471 * [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 1545387562.472 * [misc]backup-simplify: Simplify 0 into 0 1545387562.472 * [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))) 1545387562.472 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1545387562.472 * [misc]backup-simplify: Simplify (* (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)))))) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.472 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1545387562.472 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.472 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.472 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1545387562.473 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.473 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.473 * [misc]backup-simplify: Simplify 0 into 0 1545387562.473 * [misc]backup-simplify: Simplify 0 into 0 1545387562.473 * [misc]backup-simplify: Simplify 0 into 0 1545387562.473 * [misc]backup-simplify: Simplify 0 into 0 1545387562.473 * [misc]backup-simplify: Simplify 0 into 0 1545387562.473 * [misc]backup-simplify: Simplify 0 into 0 1545387562.473 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.474 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) (* (sqrt (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) (sqrt (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.474 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1545387562.474 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.474 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.474 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1545387562.474 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.474 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1545387562.474 * [misc]backup-simplify: Simplify 0 into 0 1545387562.474 * [misc]backup-simplify: Simplify 0 into 0 1545387562.474 * [misc]backup-simplify: Simplify 0 into 0 1545387562.475 * [misc]backup-simplify: Simplify 0 into 0 1545387562.475 * [misc]backup-simplify: Simplify 0 into 0 1545387562.475 * [misc]backup-simplify: Simplify 0 into 0 1545387562.475 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.475 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) (* (sqrt (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) (sqrt (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.475 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1545387562.475 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.476 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.476 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1545387562.476 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.476 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1545387562.476 * [misc]backup-simplify: Simplify 0 into 0 1545387562.476 * [misc]backup-simplify: Simplify 0 into 0 1545387562.476 * [misc]backup-simplify: Simplify 0 into 0 1545387562.476 * [misc]backup-simplify: Simplify 0 into 0 1545387562.476 * [misc]backup-simplify: Simplify 0 into 0 1545387562.476 * [misc]backup-simplify: Simplify 0 into 0 1545387562.476 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1545387562.477 * * * [misc]progress: simplifying candidates 1545387562.477 * * * * [misc]progress: [ 1 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 2 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 3 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 4 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 5 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 6 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 7 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 8 / 80 ] simplifiying candidate # 1545387562.477 * * * * [misc]progress: [ 9 / 80 ] simplifiying candidate # 1545387562.477 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545387562.478 * * [misc]simplify: iters left: 6 (8 enodes) 1545387562.480 * * [misc]simplify: iters left: 5 (14 enodes) 1545387562.484 * * [misc]simplify: iters left: 4 (23 enodes) 1545387562.497 * * [misc]simplify: iters left: 3 (38 enodes) 1545387562.506 * * [misc]simplify: iters left: 2 (48 enodes) 1545387562.515 * * [misc]simplify: iters left: 1 (49 enodes) 1545387562.523 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545387562.523 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))))) 1545387562.523 * * * * [misc]progress: [ 10 / 80 ] simplifiying candidate # 1545387562.523 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387562.523 * * [misc]simplify: iters left: 6 (7 enodes) 1545387562.525 * * [misc]simplify: iters left: 5 (12 enodes) 1545387562.529 * * [misc]simplify: iters left: 4 (21 enodes) 1545387562.539 * * [misc]simplify: iters left: 3 (36 enodes) 1545387562.547 * * [misc]simplify: iters left: 2 (45 enodes) 1545387562.555 * * [misc]simplify: iters left: 1 (46 enodes) 1545387562.562 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387562.562 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))))) 1545387562.562 * * * * [misc]progress: [ 11 / 80 ] simplifiying candidate # 1545387562.563 * [enter]simplify: Simplifying (sqrt 1) 1545387562.563 * * [misc]simplify: iters left: 1 (2 enodes) 1545387562.564 * [exit]simplify: Simplified to 1 1545387562.565 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545387562.565 * * * * [misc]progress: [ 12 / 80 ] simplifiying candidate # 1545387562.565 * * * * [misc]progress: [ 13 / 80 ] simplifiying candidate # 1545387562.565 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.565 * * [misc]simplify: iters left: 5 (6 enodes) 1545387562.567 * * [misc]simplify: iters left: 4 (11 enodes) 1545387562.570 * * [misc]simplify: iters left: 3 (20 enodes) 1545387562.581 * * [misc]simplify: iters left: 2 (35 enodes) 1545387562.590 * * [misc]simplify: iters left: 1 (41 enodes) 1545387562.599 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387562.599 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))))) 1545387562.599 * * * * [misc]progress: [ 14 / 80 ] simplifiying candidate # 1545387562.599 * * * * [misc]progress: [ 15 / 80 ] simplifiying candidate # 1545387562.599 * * * * [misc]progress: [ 16 / 80 ] simplifiying candidate # 1545387562.599 * * * * [misc]progress: [ 17 / 80 ] simplifiying candidate # 1545387562.599 * * * * [misc]progress: [ 18 / 80 ] simplifiying candidate # 1545387562.599 * * * * [misc]progress: [ 19 / 80 ] simplifiying candidate # 1545387562.599 * * * * [misc]progress: [ 20 / 80 ] simplifiying candidate # 1545387562.599 * * * * [misc]progress: [ 21 / 80 ] simplifiying candidate # 1545387562.600 * * * * [misc]progress: [ 22 / 80 ] simplifiying candidate # 1545387562.600 * * * * [misc]progress: [ 23 / 80 ] simplifiying candidate # 1545387562.600 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545387562.600 * * [misc]simplify: iters left: 6 (8 enodes) 1545387562.603 * * [misc]simplify: iters left: 5 (14 enodes) 1545387562.607 * * [misc]simplify: iters left: 4 (23 enodes) 1545387562.618 * * [misc]simplify: iters left: 3 (38 enodes) 1545387562.628 * * [misc]simplify: iters left: 2 (48 enodes) 1545387562.637 * * [misc]simplify: iters left: 1 (49 enodes) 1545387562.645 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545387562.645 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.645 * * * * [misc]progress: [ 24 / 80 ] simplifiying candidate # 1545387562.645 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387562.645 * * [misc]simplify: iters left: 6 (7 enodes) 1545387562.647 * * [misc]simplify: iters left: 5 (12 enodes) 1545387562.650 * * [misc]simplify: iters left: 4 (21 enodes) 1545387562.655 * * [misc]simplify: iters left: 3 (36 enodes) 1545387562.659 * * [misc]simplify: iters left: 2 (45 enodes) 1545387562.663 * * [misc]simplify: iters left: 1 (46 enodes) 1545387562.666 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387562.666 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.666 * * * * [misc]progress: [ 25 / 80 ] simplifiying candidate # 1545387562.667 * [enter]simplify: Simplifying (sqrt 1) 1545387562.667 * * [misc]simplify: iters left: 1 (2 enodes) 1545387562.668 * [exit]simplify: Simplified to 1 1545387562.668 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.668 * * * * [misc]progress: [ 26 / 80 ] simplifiying candidate # 1545387562.668 * * * * [misc]progress: [ 27 / 80 ] simplifiying candidate # 1545387562.668 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.668 * * [misc]simplify: iters left: 5 (6 enodes) 1545387562.669 * * [misc]simplify: iters left: 4 (11 enodes) 1545387562.670 * * [misc]simplify: iters left: 3 (20 enodes) 1545387562.675 * * [misc]simplify: iters left: 2 (35 enodes) 1545387562.679 * * [misc]simplify: iters left: 1 (41 enodes) 1545387562.688 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387562.688 * [misc]simplify: Simplified (2 2 1 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.688 * * * * [misc]progress: [ 28 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 29 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 30 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 31 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 32 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 33 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 34 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 35 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 36 / 80 ] simplifiying candidate # 1545387562.688 * * * * [misc]progress: [ 37 / 80 ] simplifiying candidate # 1545387562.689 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545387562.689 * * [misc]simplify: iters left: 6 (8 enodes) 1545387562.691 * * [misc]simplify: iters left: 5 (14 enodes) 1545387562.695 * * [misc]simplify: iters left: 4 (23 enodes) 1545387562.706 * * [misc]simplify: iters left: 3 (38 enodes) 1545387562.715 * * [misc]simplify: iters left: 2 (48 enodes) 1545387562.723 * * [misc]simplify: iters left: 1 (49 enodes) 1545387562.729 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545387562.729 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.729 * * * * [misc]progress: [ 38 / 80 ] simplifiying candidate # 1545387562.729 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387562.729 * * [misc]simplify: iters left: 6 (7 enodes) 1545387562.730 * * [misc]simplify: iters left: 5 (12 enodes) 1545387562.732 * * [misc]simplify: iters left: 4 (21 enodes) 1545387562.737 * * [misc]simplify: iters left: 3 (36 enodes) 1545387562.741 * * [misc]simplify: iters left: 2 (45 enodes) 1545387562.745 * * [misc]simplify: iters left: 1 (46 enodes) 1545387562.750 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387562.750 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.750 * * * * [misc]progress: [ 39 / 80 ] simplifiying candidate # 1545387562.750 * [enter]simplify: Simplifying (sqrt 1) 1545387562.750 * * [misc]simplify: iters left: 1 (2 enodes) 1545387562.751 * [exit]simplify: Simplified to 1 1545387562.751 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.751 * * * * [misc]progress: [ 40 / 80 ] simplifiying candidate # 1545387562.751 * * * * [misc]progress: [ 41 / 80 ] simplifiying candidate # 1545387562.751 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.751 * * [misc]simplify: iters left: 5 (6 enodes) 1545387562.752 * * [misc]simplify: iters left: 4 (11 enodes) 1545387562.754 * * [misc]simplify: iters left: 3 (20 enodes) 1545387562.759 * * [misc]simplify: iters left: 2 (35 enodes) 1545387562.762 * * [misc]simplify: iters left: 1 (41 enodes) 1545387562.770 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387562.770 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.770 * * * * [misc]progress: [ 42 / 80 ] simplifiying candidate # 1545387562.770 * * * * [misc]progress: [ 43 / 80 ] simplifiying candidate # 1545387562.770 * * * * [misc]progress: [ 44 / 80 ] simplifiying candidate # 1545387562.770 * * * * [misc]progress: [ 45 / 80 ] simplifiying candidate # 1545387562.770 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387562.770 * * [misc]simplify: iters left: 5 (6 enodes) 1545387562.772 * * [misc]simplify: iters left: 4 (11 enodes) 1545387562.775 * * [misc]simplify: iters left: 3 (20 enodes) 1545387562.784 * * [misc]simplify: iters left: 2 (35 enodes) 1545387562.791 * * [misc]simplify: iters left: 1 (41 enodes) 1545387562.798 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387562.798 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 (+ 1/2 1/2)))) 1545387562.798 * [enter]simplify: Simplifying (+ 1 (+ 1/2 1/2)) 1545387562.798 * * [misc]simplify: iters left: 4 (4 enodes) 1545387562.802 * * [misc]simplify: iters left: 3 (11 enodes) 1545387562.803 * [exit]simplify: Simplified to 2 1545387562.803 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1545387562.803 * * * * [misc]progress: [ 46 / 80 ] simplifiying candidate # 1545387562.803 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387562.804 * * [misc]simplify: iters left: 6 (8 enodes) 1545387562.806 * * [misc]simplify: iters left: 5 (16 enodes) 1545387562.812 * * [misc]simplify: iters left: 4 (30 enodes) 1545387562.822 * * [misc]simplify: iters left: 3 (47 enodes) 1545387562.828 * * [misc]simplify: iters left: 2 (60 enodes) 1545387562.833 * * [misc]simplify: iters left: 1 (61 enodes) 1545387562.837 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545387562.837 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1545387562.837 * * * * [misc]progress: [ 47 / 80 ] simplifiying candidate # 1545387562.837 * [enter]simplify: Simplifying (* (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)))))) 1545387562.838 * * [misc]simplify: iters left: 6 (9 enodes) 1545387562.839 * * [misc]simplify: iters left: 5 (17 enodes) 1545387562.842 * * [misc]simplify: iters left: 4 (31 enodes) 1545387562.848 * * [misc]simplify: iters left: 3 (49 enodes) 1545387562.862 * * [misc]simplify: iters left: 2 (62 enodes) 1545387562.873 * * [misc]simplify: iters left: 1 (63 enodes) 1545387562.882 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387562.882 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1545387562.882 * * * * [misc]progress: [ 48 / 80 ] simplifiying candidate # 1545387562.882 * [enter]simplify: Simplifying (* (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)))))) 1545387562.882 * * [misc]simplify: iters left: 6 (9 enodes) 1545387562.885 * * [misc]simplify: iters left: 5 (17 enodes) 1545387562.890 * * [misc]simplify: iters left: 4 (31 enodes) 1545387562.903 * * [misc]simplify: iters left: 3 (49 enodes) 1545387562.913 * * [misc]simplify: iters left: 2 (62 enodes) 1545387562.918 * * [misc]simplify: iters left: 1 (63 enodes) 1545387562.922 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387562.922 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1545387562.923 * * * * [misc]progress: [ 49 / 80 ] simplifiying candidate # 1545387562.923 * * * * [misc]progress: [ 50 / 80 ] simplifiying candidate # 1545387562.923 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (+ (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.923 * * [misc]simplify: iters left: 6 (11 enodes) 1545387562.924 * * [misc]simplify: iters left: 5 (19 enodes) 1545387562.927 * * [misc]simplify: iters left: 4 (30 enodes) 1545387562.933 * * [misc]simplify: iters left: 3 (45 enodes) 1545387562.941 * * [misc]simplify: iters left: 2 (55 enodes) 1545387562.952 * * [misc]simplify: iters left: 1 (56 enodes) 1545387562.960 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (+ (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545387562.960 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (+ (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))))) 1545387562.960 * * * * [misc]progress: [ 51 / 80 ] simplifiying candidate # 1545387562.961 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.961 * * [misc]simplify: iters left: 6 (11 enodes) 1545387562.962 * * [misc]simplify: iters left: 5 (19 enodes) 1545387562.965 * * [misc]simplify: iters left: 4 (35 enodes) 1545387562.973 * * [misc]simplify: iters left: 3 (52 enodes) 1545387562.978 * * [misc]simplify: iters left: 2 (60 enodes) 1545387562.983 * * [misc]simplify: iters left: 1 (61 enodes) 1545387562.987 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387562.987 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545387562.987 * * * * [misc]progress: [ 52 / 80 ] simplifiying candidate # 1545387562.988 * * * * [misc]progress: [ 53 / 80 ] simplifiying candidate # 1545387562.988 * * * * [misc]progress: [ 54 / 80 ] simplifiying candidate # 1545387562.988 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (* (sqrt (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)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387562.988 * * [misc]simplify: iters left: 6 (13 enodes) 1545387562.990 * * [misc]simplify: iters left: 5 (32 enodes) 1545387562.996 * * [misc]simplify: iters left: 4 (78 enodes) 1545387563.015 * * [misc]simplify: iters left: 3 (138 enodes) 1545387563.064 * * [misc]simplify: iters left: 2 (170 enodes) 1545387563.087 * * [misc]simplify: iters left: 1 (174 enodes) 1545387563.098 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1545387563.098 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1545387563.098 * * * * [misc]progress: [ 55 / 80 ] simplifiying candidate # 1545387563.099 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (* (sqrt (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)))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387563.099 * * [misc]simplify: iters left: 6 (13 enodes) 1545387563.101 * * [misc]simplify: iters left: 5 (32 enodes) 1545387563.106 * * [misc]simplify: iters left: 4 (69 enodes) 1545387563.121 * * [misc]simplify: iters left: 3 (137 enodes) 1545387563.158 * * [misc]simplify: iters left: 2 (179 enodes) 1545387563.184 * * [misc]simplify: iters left: 1 (181 enodes) 1545387563.197 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1545387563.197 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1545387563.197 * * * * [misc]progress: [ 56 / 80 ] simplifiying candidate # 1545387563.197 * * * * [misc]progress: [ 57 / 80 ] simplifiying candidate # 1545387563.197 * * * * [misc]progress: [ 58 / 80 ] simplifiying candidate # 1545387563.198 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387563.198 * * [misc]simplify: iters left: 6 (8 enodes) 1545387563.199 * * [misc]simplify: iters left: 5 (16 enodes) 1545387563.201 * * [misc]simplify: iters left: 4 (30 enodes) 1545387563.209 * * [misc]simplify: iters left: 3 (47 enodes) 1545387563.214 * * [misc]simplify: iters left: 2 (60 enodes) 1545387563.220 * * [misc]simplify: iters left: 1 (61 enodes) 1545387563.224 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1545387563.225 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1545387563.225 * * * * [misc]progress: [ 59 / 80 ] simplifiying candidate # 1545387563.225 * * * * [misc]progress: [ 60 / 80 ] simplifiying candidate # 1545387563.225 * * * * [misc]progress: [ 61 / 80 ] simplifiying candidate # 1545387563.225 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387563.225 * * [misc]simplify: iters left: 6 (7 enodes) 1545387563.227 * * [misc]simplify: iters left: 5 (12 enodes) 1545387563.231 * * [misc]simplify: iters left: 4 (21 enodes) 1545387563.241 * * [misc]simplify: iters left: 3 (36 enodes) 1545387563.249 * * [misc]simplify: iters left: 2 (45 enodes) 1545387563.257 * * [misc]simplify: iters left: 1 (46 enodes) 1545387563.263 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387563.263 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1545387563.263 * * * * [misc]progress: [ 62 / 80 ] simplifiying candidate # 1545387563.263 * [enter]simplify: Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1545387563.263 * * [misc]simplify: iters left: 6 (8 enodes) 1545387563.266 * * [misc]simplify: iters left: 5 (13 enodes) 1545387563.270 * * [misc]simplify: iters left: 4 (22 enodes) 1545387563.278 * * [misc]simplify: iters left: 3 (37 enodes) 1545387563.282 * * [misc]simplify: iters left: 2 (45 enodes) 1545387563.286 * * [misc]simplify: iters left: 1 (46 enodes) 1545387563.292 * [exit]simplify: Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1545387563.292 * [misc]simplify: Simplified (2 1) to (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545387563.292 * * * * [misc]progress: [ 63 / 80 ] simplifiying candidate # 1545387563.292 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1545387563.292 * * [misc]simplify: iters left: 6 (8 enodes) 1545387563.294 * * [misc]simplify: iters left: 5 (14 enodes) 1545387563.298 * * [misc]simplify: iters left: 4 (23 enodes) 1545387563.306 * * [misc]simplify: iters left: 3 (38 enodes) 1545387563.327 * * [misc]simplify: iters left: 2 (48 enodes) 1545387563.336 * * [misc]simplify: iters left: 1 (49 enodes) 1545387563.342 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1545387563.343 * [misc]simplify: Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545387563.343 * * * * [misc]progress: [ 64 / 80 ] simplifiying candidate # 1545387563.343 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387563.343 * * [misc]simplify: iters left: 6 (7 enodes) 1545387563.345 * * [misc]simplify: iters left: 5 (12 enodes) 1545387563.348 * * [misc]simplify: iters left: 4 (21 enodes) 1545387563.356 * * [misc]simplify: iters left: 3 (36 enodes) 1545387563.364 * * [misc]simplify: iters left: 2 (45 enodes) 1545387563.372 * * [misc]simplify: iters left: 1 (46 enodes) 1545387563.379 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387563.379 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545387563.379 * * * * [misc]progress: [ 65 / 80 ] simplifiying candidate # 1545387563.379 * [enter]simplify: Simplifying (sqrt 1) 1545387563.379 * * [misc]simplify: iters left: 1 (2 enodes) 1545387563.381 * [exit]simplify: Simplified to 1 1545387563.381 * [misc]simplify: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545387563.381 * * * * [misc]progress: [ 66 / 80 ] simplifiying candidate # 1545387563.381 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387563.381 * * [misc]simplify: iters left: 6 (7 enodes) 1545387563.384 * * [misc]simplify: iters left: 5 (12 enodes) 1545387563.387 * * [misc]simplify: iters left: 4 (21 enodes) 1545387563.397 * * [misc]simplify: iters left: 3 (36 enodes) 1545387563.406 * * [misc]simplify: iters left: 2 (45 enodes) 1545387563.414 * * [misc]simplify: iters left: 1 (46 enodes) 1545387563.421 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1545387563.421 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))))) 1545387563.421 * * * * [misc]progress: [ 67 / 80 ] simplifiying candidate # 1545387563.421 * * * * [misc]progress: [ 68 / 80 ] simplifiying candidate # 1545387563.421 * * * * [misc]progress: [ 69 / 80 ] simplifiying candidate # 1545387563.421 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.421 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.423 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.426 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.436 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.444 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.453 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.453 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545387563.453 * * * * [misc]progress: [ 70 / 80 ] simplifiying candidate # 1545387563.453 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.453 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.455 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.458 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.468 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.475 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.479 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.479 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545387563.479 * * * * [misc]progress: [ 71 / 80 ] simplifiying candidate # 1545387563.479 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.479 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.480 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.481 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.486 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.490 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.494 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.494 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1545387563.494 * * * * [misc]progress: [ 72 / 80 ] simplifiying candidate # 1545387563.494 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.494 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.495 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.497 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.501 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.508 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.516 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.516 * [misc]simplify: Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387563.516 * * * * [misc]progress: [ 73 / 80 ] simplifiying candidate # 1545387563.516 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.516 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.518 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.521 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.531 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.538 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.546 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.546 * [misc]simplify: Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387563.546 * * * * [misc]progress: [ 74 / 80 ] simplifiying candidate # 1545387563.547 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.547 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.549 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.552 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.562 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.570 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.578 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.578 * [misc]simplify: Simplified (2 2 1 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387563.578 * * * * [misc]progress: [ 75 / 80 ] simplifiying candidate # 1545387563.578 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.578 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.580 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.584 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.595 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.603 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.611 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.611 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387563.611 * * * * [misc]progress: [ 76 / 80 ] simplifiying candidate # 1545387563.611 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.611 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.613 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.616 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.621 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.624 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.628 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.628 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387563.628 * * * * [misc]progress: [ 77 / 80 ] simplifiying candidate # 1545387563.628 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1545387563.628 * * [misc]simplify: iters left: 5 (6 enodes) 1545387563.629 * * [misc]simplify: iters left: 4 (11 enodes) 1545387563.631 * * [misc]simplify: iters left: 3 (20 enodes) 1545387563.636 * * [misc]simplify: iters left: 2 (35 enodes) 1545387563.640 * * [misc]simplify: iters left: 1 (41 enodes) 1545387563.644 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1545387563.644 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1545387563.644 * * * * [misc]progress: [ 78 / 80 ] simplifiying candidate # 1545387563.644 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387563.644 * * [misc]simplify: iters left: 4 (5 enodes) 1545387563.646 * * [misc]simplify: iters left: 3 (10 enodes) 1545387563.649 * * [misc]simplify: iters left: 2 (19 enodes) 1545387563.659 * * [misc]simplify: iters left: 1 (34 enodes) 1545387563.667 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387563.667 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387563.667 * * * * [misc]progress: [ 79 / 80 ] simplifiying candidate # 1545387563.667 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387563.667 * * [misc]simplify: iters left: 4 (5 enodes) 1545387563.669 * * [misc]simplify: iters left: 3 (10 enodes) 1545387563.671 * * [misc]simplify: iters left: 2 (19 enodes) 1545387563.681 * * [misc]simplify: iters left: 1 (34 enodes) 1545387563.689 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387563.689 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387563.689 * * * * [misc]progress: [ 80 / 80 ] simplifiying candidate # 1545387563.689 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1545387563.689 * * [misc]simplify: iters left: 4 (5 enodes) 1545387563.691 * * [misc]simplify: iters left: 3 (10 enodes) 1545387563.694 * * [misc]simplify: iters left: 2 (19 enodes) 1545387563.704 * * [misc]simplify: iters left: 1 (34 enodes) 1545387563.714 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1545387563.714 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1545387563.714 * * * [misc]progress: adding candidates to table 1545387564.612 * [misc]progress: [Phase 3 of 3] Extracting. 1545387564.612 * * [misc]regime: Finding splitpoints for: (# # # # # # # #) 1545387564.614 * * * [misc]regime-changes: Trying 1 branch expressions: (N) 1545387564.614 * * * * [misc]regimes: Trying to branch on N from (# # # # # # # #) 1545387564.688 * * * [misc]regime: Found split indices: #