1553946512.757 * [progress]: [Phase 1 of 3] Setting up. 1553946512.757 * * * [progress]: [1/2] Preparing points 1553946512.791 * * * [progress]: [2/2] Setting up program. 1553946512.794 * [progress]: [Phase 2 of 3] Improving. 1553946512.794 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553946512.794 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553946512.794 * * [simplify]: iters left: 5 (6 enodes) 1553946512.797 * * [simplify]: iters left: 4 (23 enodes) 1553946512.803 * * [simplify]: iters left: 3 (28 enodes) 1553946512.810 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946512.810 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946512.810 * * [simplify]: Extracting #2: cost 10 inf + 0 1553946512.810 * * [simplify]: Extracting #3: cost 11 inf + 1 1553946512.811 * * [simplify]: Extracting #4: cost 6 inf + 298 1553946512.811 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553946512.811 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553946512.812 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946512.812 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553946512.816 * * [progress]: iteration 1 / 4 1553946512.816 * * * [progress]: picking best candidate 1553946512.819 * * * * [pick]: Picked # 1553946512.819 * * * [progress]: localizing error 1553946512.837 * * * [progress]: generating rewritten candidates 1553946512.837 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553946512.846 * * * [progress]: generating series expansions 1553946512.846 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553946512.847 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1553946512.847 * [approximate]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1553946512.847 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1553946512.847 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1553946512.847 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1553946512.847 * [taylor]: Taking taylor expansion of (atan N) in N 1553946512.847 * [backup-simplify]: Simplify (atan N) into (atan N) 1553946512.847 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1553946512.847 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1553946512.847 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1553946512.847 * [taylor]: Taking taylor expansion of (atan N) in N 1553946512.847 * [backup-simplify]: Simplify (atan N) into (atan N) 1553946512.847 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 1553946512.848 * [backup-simplify]: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1553946512.848 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1553946512.848 * [backup-simplify]: Simplify (- 0) into 0 1553946512.849 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.849 * [backup-simplify]: Simplify 0 into 0 1553946512.849 * [backup-simplify]: Simplify (- 0) into 0 1553946512.849 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.849 * [backup-simplify]: Simplify 0 into 0 1553946512.850 * [backup-simplify]: Simplify (- 0) into 0 1553946512.850 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.850 * [backup-simplify]: Simplify 0 into 0 1553946512.851 * [backup-simplify]: Simplify (- 0) into 0 1553946512.851 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.851 * [backup-simplify]: Simplify 0 into 0 1553946512.851 * [backup-simplify]: Simplify (- 0) into 0 1553946512.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.852 * [backup-simplify]: Simplify 0 into 0 1553946512.852 * [backup-simplify]: Simplify (- 0) into 0 1553946512.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.852 * [backup-simplify]: Simplify 0 into 0 1553946512.853 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1553946512.853 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1553946512.853 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1553946512.853 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1553946512.853 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1553946512.853 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1553946512.853 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1553946512.853 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1553946512.853 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1553946512.853 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1553946512.853 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1553946512.853 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1553946512.853 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1553946512.853 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1553946512.854 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1553946512.854 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1553946512.854 * [backup-simplify]: Simplify (- 0) into 0 1553946512.854 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.855 * [backup-simplify]: Simplify 0 into 0 1553946512.855 * [backup-simplify]: Simplify (- 0) into 0 1553946512.855 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.855 * [backup-simplify]: Simplify 0 into 0 1553946512.856 * [backup-simplify]: Simplify (- 0) into 0 1553946512.856 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.856 * [backup-simplify]: Simplify 0 into 0 1553946512.856 * [backup-simplify]: Simplify (- 0) into 0 1553946512.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.857 * [backup-simplify]: Simplify 0 into 0 1553946512.857 * [backup-simplify]: Simplify (- 0) into 0 1553946512.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.857 * [backup-simplify]: Simplify 0 into 0 1553946512.858 * [backup-simplify]: Simplify (- 0) into 0 1553946512.858 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.858 * [backup-simplify]: Simplify 0 into 0 1553946512.858 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1553946512.858 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1553946512.859 * [approximate]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1553946512.859 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1553946512.859 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1553946512.859 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1553946512.859 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1553946512.859 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1553946512.859 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1553946512.859 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1553946512.859 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1553946512.859 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1553946512.859 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1553946512.859 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1553946512.859 * [backup-simplify]: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1553946512.859 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1553946512.860 * [backup-simplify]: Simplify (- 0) into 0 1553946512.860 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.860 * [backup-simplify]: Simplify 0 into 0 1553946512.861 * [backup-simplify]: Simplify (- 0) into 0 1553946512.861 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.861 * [backup-simplify]: Simplify 0 into 0 1553946512.861 * [backup-simplify]: Simplify (- 0) into 0 1553946512.862 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.862 * [backup-simplify]: Simplify 0 into 0 1553946512.862 * [backup-simplify]: Simplify (- 0) into 0 1553946512.862 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.862 * [backup-simplify]: Simplify 0 into 0 1553946512.863 * [backup-simplify]: Simplify (- 0) into 0 1553946512.863 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.863 * [backup-simplify]: Simplify 0 into 0 1553946512.863 * [backup-simplify]: Simplify (- 0) into 0 1553946512.864 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946512.864 * [backup-simplify]: Simplify 0 into 0 1553946512.864 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1553946512.864 * * * [progress]: simplifying candidates 1553946512.864 * * * * [progress]: [ 1 / 33 ] simplifiying candidate # 1553946512.865 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1553946512.865 * * [simplify]: iters left: 6 (12 enodes) 1553946512.870 * * [simplify]: iters left: 5 (48 enodes) 1553946512.884 * * [simplify]: iters left: 4 (65 enodes) 1553946512.911 * * [simplify]: iters left: 3 (71 enodes) 1553946512.920 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946512.920 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946512.920 * * [simplify]: Extracting #2: cost 23 inf + 0 1553946512.921 * * [simplify]: Extracting #3: cost 23 inf + 2 1553946512.921 * * [simplify]: Extracting #4: cost 21 inf + 109 1553946512.921 * * [simplify]: Extracting #5: cost 9 inf + 2015 1553946512.921 * * [simplify]: Extracting #6: cost 1 inf + 3998 1553946512.922 * * [simplify]: Extracting #7: cost 0 inf + 4265 1553946512.922 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946512.922 * [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))))))) 1553946512.923 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1553946512.923 * * [simplify]: iters left: 6 (7 enodes) 1553946512.924 * * [simplify]: iters left: 5 (26 enodes) 1553946512.929 * * [simplify]: iters left: 4 (37 enodes) 1553946512.935 * * [simplify]: iters left: 3 (60 enodes) 1553946512.944 * * [simplify]: iters left: 2 (70 enodes) 1553946512.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946512.953 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946512.953 * [simplify]: Simplified to 0 1553946512.953 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1553946512.953 * * * * [progress]: [ 2 / 33 ] simplifiying candidate # 1553946512.953 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1553946512.954 * * [simplify]: iters left: 6 (11 enodes) 1553946512.959 * * [simplify]: iters left: 5 (39 enodes) 1553946512.967 * * [simplify]: iters left: 4 (49 enodes) 1553946512.975 * * [simplify]: iters left: 3 (54 enodes) 1553946512.983 * * [simplify]: iters left: 2 (56 enodes) 1553946512.990 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946512.990 * * [simplify]: Extracting #1: cost 9 inf + 0 1553946512.990 * * [simplify]: Extracting #2: cost 19 inf + 0 1553946512.990 * * [simplify]: Extracting #3: cost 19 inf + 2 1553946512.990 * * [simplify]: Extracting #4: cost 12 inf + 839 1553946512.990 * * [simplify]: Extracting #5: cost 7 inf + 1402 1553946512.991 * * [simplify]: Extracting #6: cost 1 inf + 2829 1553946512.991 * * [simplify]: Extracting #7: cost 0 inf + 3121 1553946512.992 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946512.992 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1553946512.992 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1553946512.992 * * [simplify]: iters left: 5 (6 enodes) 1553946512.995 * * [simplify]: iters left: 4 (18 enodes) 1553946512.998 * * [simplify]: iters left: 3 (26 enodes) 1553946513.005 * * [simplify]: iters left: 2 (34 enodes) 1553946513.013 * * [simplify]: iters left: 1 (36 enodes) 1553946513.019 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.020 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946513.020 * [simplify]: Simplified to 0 1553946513.020 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1553946513.020 * * * * [progress]: [ 3 / 33 ] simplifiying candidate # 1553946513.020 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) 1553946513.020 * * [simplify]: iters left: 6 (10 enodes) 1553946513.025 * * [simplify]: iters left: 5 (39 enodes) 1553946513.037 * * [simplify]: iters left: 4 (52 enodes) 1553946513.045 * * [simplify]: iters left: 3 (63 enodes) 1553946513.053 * * [simplify]: iters left: 2 (65 enodes) 1553946513.060 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.060 * * [simplify]: Extracting #1: cost 9 inf + 0 1553946513.060 * * [simplify]: Extracting #2: cost 15 inf + 2 1553946513.060 * * [simplify]: Extracting #3: cost 14 inf + 4 1553946513.061 * * [simplify]: Extracting #4: cost 7 inf + 886 1553946513.061 * * [simplify]: Extracting #5: cost 0 inf + 2458 1553946513.061 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.061 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1553946513.061 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1553946513.062 * * [simplify]: iters left: 4 (6 enodes) 1553946513.063 * * [simplify]: iters left: 3 (21 enodes) 1553946513.067 * * [simplify]: iters left: 2 (31 enodes) 1553946513.072 * * [simplify]: iters left: 1 (35 enodes) 1553946513.077 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.077 * * [simplify]: Extracting #1: cost 7 inf + 0 1553946513.077 * * [simplify]: Extracting #2: cost 7 inf + 3 1553946513.077 * * [simplify]: Extracting #3: cost 2 inf + 510 1553946513.078 * * [simplify]: Extracting #4: cost 0 inf + 802 1553946513.078 * [simplify]: Simplified to (* (atan N) 0) 1553946513.078 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (* (atan N) 0))) 1553946513.078 * * * * [progress]: [ 4 / 33 ] simplifiying candidate # 1553946513.078 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1553946513.078 * * [simplify]: iters left: 6 (11 enodes) 1553946513.082 * * [simplify]: iters left: 5 (45 enodes) 1553946513.094 * * [simplify]: iters left: 4 (58 enodes) 1553946513.110 * * [simplify]: iters left: 3 (59 enodes) 1553946513.120 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.120 * * [simplify]: Extracting #1: cost 6 inf + 0 1553946513.120 * * [simplify]: Extracting #2: cost 17 inf + 0 1553946513.120 * * [simplify]: Extracting #3: cost 21 inf + 2 1553946513.120 * * [simplify]: Extracting #4: cost 17 inf + 361 1553946513.121 * * [simplify]: Extracting #5: cost 9 inf + 1483 1553946513.121 * * [simplify]: Extracting #6: cost 0 inf + 3651 1553946513.121 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.121 * [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))))))) 1553946513.122 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1553946513.122 * * [simplify]: iters left: 6 (7 enodes) 1553946513.123 * * [simplify]: iters left: 5 (26 enodes) 1553946513.128 * * [simplify]: iters left: 4 (37 enodes) 1553946513.133 * * [simplify]: iters left: 3 (60 enodes) 1553946513.142 * * [simplify]: iters left: 2 (70 enodes) 1553946513.149 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.149 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946513.149 * [simplify]: Simplified to 0 1553946513.149 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1553946513.149 * * * * [progress]: [ 5 / 33 ] simplifiying candidate # 1553946513.150 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1553946513.150 * * [simplify]: iters left: 6 (10 enodes) 1553946513.152 * * [simplify]: iters left: 5 (36 enodes) 1553946513.158 * * [simplify]: iters left: 4 (42 enodes) 1553946513.163 * * [simplify]: iters left: 3 (46 enodes) 1553946513.170 * * [simplify]: iters left: 2 (54 enodes) 1553946513.178 * * [simplify]: iters left: 1 (71 enodes) 1553946513.198 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.198 * * [simplify]: Extracting #1: cost 14 inf + 0 1553946513.198 * * [simplify]: Extracting #2: cost 34 inf + 0 1553946513.198 * * [simplify]: Extracting #3: cost 35 inf + 1 1553946513.198 * * [simplify]: Extracting #4: cost 31 inf + 400 1553946513.198 * * [simplify]: Extracting #5: cost 17 inf + 3183 1553946513.199 * * [simplify]: Extracting #6: cost 3 inf + 8526 1553946513.201 * * [simplify]: Extracting #7: cost 0 inf + 9762 1553946513.202 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.202 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1553946513.203 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1553946513.203 * * [simplify]: iters left: 5 (6 enodes) 1553946513.205 * * [simplify]: iters left: 4 (18 enodes) 1553946513.208 * * [simplify]: iters left: 3 (26 enodes) 1553946513.211 * * [simplify]: iters left: 2 (34 enodes) 1553946513.217 * * [simplify]: iters left: 1 (36 enodes) 1553946513.221 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.221 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946513.221 * [simplify]: Simplified to 0 1553946513.221 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1553946513.221 * * * * [progress]: [ 6 / 33 ] simplifiying candidate # 1553946513.221 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) 1553946513.222 * * [simplify]: iters left: 6 (9 enodes) 1553946513.224 * * [simplify]: iters left: 5 (36 enodes) 1553946513.230 * * [simplify]: iters left: 4 (45 enodes) 1553946513.237 * * [simplify]: iters left: 3 (50 enodes) 1553946513.243 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.243 * * [simplify]: Extracting #1: cost 6 inf + 0 1553946513.243 * * [simplify]: Extracting #2: cost 14 inf + 0 1553946513.243 * * [simplify]: Extracting #3: cost 12 inf + 3 1553946513.243 * * [simplify]: Extracting #4: cost 6 inf + 592 1553946513.243 * * [simplify]: Extracting #5: cost 0 inf + 1843 1553946513.244 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.244 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1553946513.244 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1553946513.244 * * [simplify]: iters left: 4 (6 enodes) 1553946513.246 * * [simplify]: iters left: 3 (21 enodes) 1553946513.250 * * [simplify]: iters left: 2 (31 enodes) 1553946513.254 * * [simplify]: iters left: 1 (35 enodes) 1553946513.259 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.259 * * [simplify]: Extracting #1: cost 7 inf + 0 1553946513.260 * * [simplify]: Extracting #2: cost 7 inf + 3 1553946513.260 * * [simplify]: Extracting #3: cost 2 inf + 510 1553946513.260 * * [simplify]: Extracting #4: cost 0 inf + 802 1553946513.260 * [simplify]: Simplified to (* (atan N) 0) 1553946513.260 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (* (atan N) 0))) 1553946513.260 * * * * [progress]: [ 7 / 33 ] simplifiying candidate # 1553946513.260 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1553946513.260 * * [simplify]: iters left: 6 (10 enodes) 1553946513.263 * * [simplify]: iters left: 5 (42 enodes) 1553946513.270 * * [simplify]: iters left: 4 (56 enodes) 1553946513.279 * * [simplify]: iters left: 3 (60 enodes) 1553946513.287 * * [simplify]: iters left: 2 (61 enodes) 1553946513.295 * * [simplify]: iters left: 1 (65 enodes) 1553946513.304 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.304 * * [simplify]: Extracting #1: cost 10 inf + 0 1553946513.304 * * [simplify]: Extracting #2: cost 19 inf + 1 1553946513.304 * * [simplify]: Extracting #3: cost 17 inf + 109 1553946513.305 * * [simplify]: Extracting #4: cost 8 inf + 1508 1553946513.305 * * [simplify]: Extracting #5: cost 2 inf + 2785 1553946513.305 * * [simplify]: Extracting #6: cost 0 inf + 3277 1553946513.306 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1553946513.306 * [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))))))) 1553946513.306 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1553946513.306 * * [simplify]: iters left: 6 (7 enodes) 1553946513.308 * * [simplify]: iters left: 5 (26 enodes) 1553946513.312 * * [simplify]: iters left: 4 (37 enodes) 1553946513.318 * * [simplify]: iters left: 3 (60 enodes) 1553946513.326 * * [simplify]: iters left: 2 (70 enodes) 1553946513.334 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.334 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946513.334 * [simplify]: Simplified to 0 1553946513.334 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1553946513.334 * * * * [progress]: [ 8 / 33 ] simplifiying candidate # 1553946513.334 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1553946513.334 * * [simplify]: iters left: 6 (9 enodes) 1553946513.336 * * [simplify]: iters left: 5 (33 enodes) 1553946513.342 * * [simplify]: iters left: 4 (40 enodes) 1553946513.352 * * [simplify]: iters left: 3 (44 enodes) 1553946513.363 * * [simplify]: iters left: 2 (45 enodes) 1553946513.371 * * [simplify]: iters left: 1 (47 enodes) 1553946513.379 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.379 * * [simplify]: Extracting #1: cost 8 inf + 0 1553946513.379 * * [simplify]: Extracting #2: cost 14 inf + 1 1553946513.379 * * [simplify]: Extracting #3: cost 14 inf + 2 1553946513.379 * * [simplify]: Extracting #4: cost 2 inf + 1548 1553946513.379 * * [simplify]: Extracting #5: cost 0 inf + 2132 1553946513.379 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1553946513.379 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1553946513.380 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1553946513.380 * * [simplify]: iters left: 5 (6 enodes) 1553946513.381 * * [simplify]: iters left: 4 (18 enodes) 1553946513.384 * * [simplify]: iters left: 3 (26 enodes) 1553946513.388 * * [simplify]: iters left: 2 (34 enodes) 1553946513.392 * * [simplify]: iters left: 1 (36 enodes) 1553946513.399 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.399 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946513.399 * [simplify]: Simplified to 0 1553946513.399 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1553946513.399 * * * * [progress]: [ 9 / 33 ] simplifiying candidate # 1553946513.400 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) 1553946513.400 * * [simplify]: iters left: 6 (8 enodes) 1553946513.404 * * [simplify]: iters left: 5 (33 enodes) 1553946513.415 * * [simplify]: iters left: 4 (43 enodes) 1553946513.422 * * [simplify]: iters left: 3 (49 enodes) 1553946513.428 * * [simplify]: iters left: 2 (51 enodes) 1553946513.435 * * [simplify]: iters left: 1 (55 enodes) 1553946513.442 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.442 * * [simplify]: Extracting #1: cost 7 inf + 0 1553946513.442 * * [simplify]: Extracting #2: cost 10 inf + 2 1553946513.442 * * [simplify]: Extracting #3: cost 10 inf + 3 1553946513.442 * * [simplify]: Extracting #4: cost 2 inf + 1177 1553946513.442 * * [simplify]: Extracting #5: cost 0 inf + 1469 1553946513.443 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1553946513.443 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1553946513.443 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1553946513.443 * * [simplify]: iters left: 4 (6 enodes) 1553946513.444 * * [simplify]: iters left: 3 (21 enodes) 1553946513.448 * * [simplify]: iters left: 2 (31 enodes) 1553946513.453 * * [simplify]: iters left: 1 (35 enodes) 1553946513.460 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.460 * * [simplify]: Extracting #1: cost 7 inf + 0 1553946513.460 * * [simplify]: Extracting #2: cost 7 inf + 3 1553946513.460 * * [simplify]: Extracting #3: cost 2 inf + 510 1553946513.460 * * [simplify]: Extracting #4: cost 0 inf + 802 1553946513.460 * [simplify]: Simplified to (* (atan N) 0) 1553946513.460 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (* (atan N) 0))) 1553946513.460 * * * * [progress]: [ 10 / 33 ] simplifiying candidate # 1553946513.460 * * * * [progress]: [ 11 / 33 ] simplifiying candidate # 1553946513.461 * * * * [progress]: [ 12 / 33 ] simplifiying candidate # 1553946513.461 * [simplify]: Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) 1553946513.461 * * [simplify]: iters left: 6 (6 enodes) 1553946513.462 * * [simplify]: iters left: 5 (21 enodes) 1553946513.466 * * [simplify]: iters left: 4 (23 enodes) 1553946513.469 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.469 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946513.469 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946513.469 * * [simplify]: Extracting #3: cost 7 inf + 0 1553946513.469 * * [simplify]: Extracting #4: cost 10 inf + 0 1553946513.469 * * [simplify]: Extracting #5: cost 8 inf + 2 1553946513.470 * * [simplify]: Extracting #6: cost 0 inf + 1368 1553946513.470 * [simplify]: Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) 1553946513.470 * [simplify]: Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N)))) 1553946513.470 * * * * [progress]: [ 13 / 33 ] simplifiying candidate # 1553946513.470 * [simplify]: Simplifying (sqrt (atan (+ N 1))) 1553946513.470 * * [simplify]: iters left: 4 (5 enodes) 1553946513.471 * * [simplify]: iters left: 3 (18 enodes) 1553946513.474 * * [simplify]: iters left: 2 (20 enodes) 1553946513.477 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.477 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946513.477 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946513.477 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946513.477 * * [simplify]: Extracting #4: cost 6 inf + 2 1553946513.477 * * [simplify]: Extracting #5: cost 0 inf + 754 1553946513.478 * [simplify]: Simplified to (sqrt (atan (+ 1 N))) 1553946513.478 * [simplify]: Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N)))) 1553946513.478 * * * * [progress]: [ 14 / 33 ] simplifiying candidate # 1553946513.478 * * * * [progress]: [ 15 / 33 ] simplifiying candidate # 1553946513.478 * [simplify]: Simplifying (- (+ N 1) N) 1553946513.478 * * [simplify]: iters left: 4 (4 enodes) 1553946513.479 * * [simplify]: iters left: 3 (19 enodes) 1553946513.484 * * [simplify]: iters left: 2 (33 enodes) 1553946513.495 * * [simplify]: iters left: 1 (39 enodes) 1553946513.500 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.500 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946513.500 * [simplify]: Simplified to 1 1553946513.500 * [simplify]: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1553946513.501 * [simplify]: Simplifying (+ 1 (* (+ N 1) N)) 1553946513.501 * * [simplify]: iters left: 6 (5 enodes) 1553946513.502 * * [simplify]: iters left: 5 (20 enodes) 1553946513.506 * * [simplify]: iters left: 4 (31 enodes) 1553946513.511 * * [simplify]: iters left: 3 (37 enodes) 1553946513.515 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.515 * * [simplify]: Extracting #1: cost 6 inf + 0 1553946513.515 * * [simplify]: Extracting #2: cost 6 inf + 58 1553946513.516 * * [simplify]: Extracting #3: cost 1 inf + 433 1553946513.516 * * [simplify]: Extracting #4: cost 0 inf + 474 1553946513.516 * [simplify]: Simplified to (fma N (+ N 1) 1) 1553946513.516 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946513.516 * * * * [progress]: [ 16 / 33 ] simplifiying candidate # 1553946513.516 * [simplify]: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1553946513.516 * * [simplify]: iters left: 6 (8 enodes) 1553946513.518 * * [simplify]: iters left: 5 (29 enodes) 1553946513.523 * * [simplify]: iters left: 4 (35 enodes) 1553946513.530 * * [simplify]: iters left: 3 (40 enodes) 1553946513.542 * * [simplify]: iters left: 2 (44 enodes) 1553946513.555 * * [simplify]: iters left: 1 (48 enodes) 1553946513.572 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.572 * * [simplify]: Extracting #1: cost 9 inf + 0 1553946513.572 * * [simplify]: Extracting #2: cost 15 inf + 1 1553946513.572 * * [simplify]: Extracting #3: cost 20 inf + 1 1553946513.572 * * [simplify]: Extracting #4: cost 20 inf + 2 1553946513.572 * * [simplify]: Extracting #5: cost 16 inf + 339 1553946513.573 * * [simplify]: Extracting #6: cost 0 inf + 4059 1553946513.574 * [simplify]: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1553946513.574 * [simplify]: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1553946513.574 * * * * [progress]: [ 17 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 18 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 19 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 20 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 21 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 22 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 23 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 24 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 25 / 33 ] simplifiying candidate # 1553946513.574 * * * * [progress]: [ 26 / 33 ] simplifiying candidate # 1553946513.575 * * * * [progress]: [ 27 / 33 ] simplifiying candidate # 1553946513.575 * [simplify]: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1553946513.575 * * [simplify]: iters left: 6 (8 enodes) 1553946513.579 * * [simplify]: iters left: 5 (28 enodes) 1553946513.588 * * [simplify]: iters left: 4 (30 enodes) 1553946513.595 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.595 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946513.595 * * [simplify]: Extracting #2: cost 8 inf + 0 1553946513.595 * * [simplify]: Extracting #3: cost 12 inf + 0 1553946513.595 * * [simplify]: Extracting #4: cost 10 inf + 359 1553946513.595 * * [simplify]: Extracting #5: cost 8 inf + 506 1553946513.595 * * [simplify]: Extracting #6: cost 5 inf + 737 1553946513.596 * * [simplify]: Extracting #7: cost 1 inf + 1630 1553946513.596 * * [simplify]: Extracting #8: cost 0 inf + 2002 1553946513.596 * [simplify]: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1553946513.596 * [simplify]: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1553946513.596 * [simplify]: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1553946513.596 * * [simplify]: iters left: 6 (8 enodes) 1553946513.598 * * [simplify]: iters left: 5 (29 enodes) 1553946513.603 * * [simplify]: iters left: 4 (34 enodes) 1553946513.608 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.608 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946513.608 * * [simplify]: Extracting #2: cost 10 inf + 0 1553946513.608 * * [simplify]: Extracting #3: cost 14 inf + 0 1553946513.608 * * [simplify]: Extracting #4: cost 15 inf + 1 1553946513.609 * * [simplify]: Extracting #5: cost 13 inf + 108 1553946513.609 * * [simplify]: Extracting #6: cost 5 inf + 1109 1553946513.609 * * [simplify]: Extracting #7: cost 0 inf + 2374 1553946513.609 * [simplify]: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1553946513.609 * [simplify]: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1553946513.609 * * * * [progress]: [ 28 / 33 ] simplifiying candidate # 1553946513.609 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553946513.609 * * [simplify]: iters left: 5 (6 enodes) 1553946513.611 * * [simplify]: iters left: 4 (23 enodes) 1553946513.615 * * [simplify]: iters left: 3 (28 enodes) 1553946513.620 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.620 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946513.620 * * [simplify]: Extracting #2: cost 10 inf + 0 1553946513.620 * * [simplify]: Extracting #3: cost 11 inf + 1 1553946513.620 * * [simplify]: Extracting #4: cost 6 inf + 298 1553946513.620 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553946513.621 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553946513.621 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.621 * [simplify]: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1553946513.621 * * * * [progress]: [ 29 / 33 ] simplifiying candidate # 1553946513.621 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #real (real->posit16 (- (atan (+ N 1)) (atan N)))))> 1553946513.621 * * * * [progress]: [ 31 / 33 ] simplifiying candidate # 1553946513.621 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553946513.621 * * [simplify]: iters left: 5 (6 enodes) 1553946513.623 * * [simplify]: iters left: 4 (23 enodes) 1553946513.627 * * [simplify]: iters left: 3 (28 enodes) 1553946513.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.632 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946513.632 * * [simplify]: Extracting #2: cost 10 inf + 0 1553946513.632 * * [simplify]: Extracting #3: cost 11 inf + 1 1553946513.632 * * [simplify]: Extracting #4: cost 6 inf + 298 1553946513.632 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553946513.632 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553946513.633 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.633 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553946513.633 * * * * [progress]: [ 32 / 33 ] simplifiying candidate # 1553946513.633 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553946513.633 * * [simplify]: iters left: 5 (6 enodes) 1553946513.635 * * [simplify]: iters left: 4 (23 enodes) 1553946513.639 * * [simplify]: iters left: 3 (28 enodes) 1553946513.643 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.643 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946513.643 * * [simplify]: Extracting #2: cost 10 inf + 0 1553946513.643 * * [simplify]: Extracting #3: cost 11 inf + 1 1553946513.643 * * [simplify]: Extracting #4: cost 6 inf + 298 1553946513.643 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553946513.643 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553946513.644 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.644 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553946513.644 * * * * [progress]: [ 33 / 33 ] simplifiying candidate # 1553946513.644 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553946513.644 * * [simplify]: iters left: 5 (6 enodes) 1553946513.645 * * [simplify]: iters left: 4 (23 enodes) 1553946513.649 * * [simplify]: iters left: 3 (28 enodes) 1553946513.654 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.654 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946513.654 * * [simplify]: Extracting #2: cost 10 inf + 0 1553946513.654 * * [simplify]: Extracting #3: cost 11 inf + 1 1553946513.654 * * [simplify]: Extracting #4: cost 6 inf + 298 1553946513.654 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553946513.654 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553946513.654 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553946513.654 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553946513.654 * * * [progress]: adding candidates to table 1553946513.889 * * [progress]: iteration 2 / 4 1553946513.889 * * * [progress]: picking best candidate 1553946513.893 * * * * [pick]: Picked # 1553946513.893 * * * [progress]: localizing error 1553946513.906 * * * [progress]: generating rewritten candidates 1553946513.906 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553946513.906 * * * [progress]: generating series expansions 1553946513.906 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553946513.906 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946513.906 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1553946513.906 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946513.907 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946513.907 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946513.907 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946513.907 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946513.907 * [backup-simplify]: Simplify 0 into 0 1553946513.907 * [backup-simplify]: Simplify 0 into 0 1553946513.907 * [backup-simplify]: Simplify 0 into 0 1553946513.907 * [backup-simplify]: Simplify 0 into 0 1553946513.907 * [backup-simplify]: Simplify 0 into 0 1553946513.907 * [backup-simplify]: Simplify 0 into 0 1553946513.907 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946513.907 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946513.907 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1553946513.907 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946513.908 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946513.908 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946513.908 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946513.908 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946513.908 * [backup-simplify]: Simplify 0 into 0 1553946513.908 * [backup-simplify]: Simplify 0 into 0 1553946513.908 * [backup-simplify]: Simplify 0 into 0 1553946513.908 * [backup-simplify]: Simplify 0 into 0 1553946513.908 * [backup-simplify]: Simplify 0 into 0 1553946513.908 * [backup-simplify]: Simplify 0 into 0 1553946513.908 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946513.909 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946513.909 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1553946513.909 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946513.909 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946513.909 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946513.910 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946513.910 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946513.910 * [backup-simplify]: Simplify 0 into 0 1553946513.910 * [backup-simplify]: Simplify 0 into 0 1553946513.910 * [backup-simplify]: Simplify 0 into 0 1553946513.910 * [backup-simplify]: Simplify 0 into 0 1553946513.910 * [backup-simplify]: Simplify 0 into 0 1553946513.910 * [backup-simplify]: Simplify 0 into 0 1553946513.910 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946513.910 * * * [progress]: simplifying candidates 1553946513.910 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 9 / 13 ] simplifiying candidate # 1553946513.911 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #real (real->posit16 (atan2 1 (fma N (+ N 1) 1)))))> 1553946513.911 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 1553946513.911 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946513.911 * * [simplify]: iters left: 4 (5 enodes) 1553946513.914 * * [simplify]: iters left: 3 (20 enodes) 1553946513.921 * * [simplify]: iters left: 2 (33 enodes) 1553946513.929 * * [simplify]: iters left: 1 (40 enodes) 1553946513.934 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.934 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946513.934 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946513.934 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946513.934 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946513.934 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946513.934 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946513.934 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946513.934 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 1553946513.935 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946513.935 * * [simplify]: iters left: 4 (5 enodes) 1553946513.936 * * [simplify]: iters left: 3 (20 enodes) 1553946513.940 * * [simplify]: iters left: 2 (33 enodes) 1553946513.945 * * [simplify]: iters left: 1 (40 enodes) 1553946513.950 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.950 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946513.950 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946513.950 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946513.950 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946513.950 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946513.950 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946513.950 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946513.951 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 1553946513.951 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946513.951 * * [simplify]: iters left: 4 (5 enodes) 1553946513.952 * * [simplify]: iters left: 3 (20 enodes) 1553946513.955 * * [simplify]: iters left: 2 (33 enodes) 1553946513.965 * * [simplify]: iters left: 1 (40 enodes) 1553946513.972 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946513.972 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946513.972 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946513.972 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946513.972 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946513.972 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946513.972 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946513.972 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946513.973 * * * [progress]: adding candidates to table 1553946514.073 * * [progress]: iteration 3 / 4 1553946514.073 * * * [progress]: picking best candidate 1553946514.085 * * * * [pick]: Picked # 1553946514.085 * * * [progress]: localizing error 1553946514.094 * * * [progress]: generating rewritten candidates 1553946514.094 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1553946514.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553946514.098 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1553946514.108 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1553946514.109 * * * [progress]: generating series expansions 1553946514.110 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1553946514.110 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.110 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1553946514.110 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946514.110 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.110 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.110 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.110 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946514.110 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.110 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.110 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.111 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.111 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.111 * [backup-simplify]: Simplify 0 into 0 1553946514.112 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.112 * [backup-simplify]: Simplify 0 into 0 1553946514.113 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.113 * [backup-simplify]: Simplify 0 into 0 1553946514.114 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.114 * [backup-simplify]: Simplify 0 into 0 1553946514.114 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.114 * [backup-simplify]: Simplify 0 into 0 1553946514.115 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.115 * [backup-simplify]: Simplify 0 into 0 1553946514.116 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.116 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.116 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1553946514.116 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946514.116 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.116 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.116 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.116 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.116 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946514.116 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.116 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.117 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.117 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.117 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.117 * [backup-simplify]: Simplify 0 into 0 1553946514.118 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.118 * [backup-simplify]: Simplify 0 into 0 1553946514.119 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.119 * [backup-simplify]: Simplify 0 into 0 1553946514.120 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.120 * [backup-simplify]: Simplify 0 into 0 1553946514.121 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.121 * [backup-simplify]: Simplify 0 into 0 1553946514.121 * [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 1553946514.121 * [backup-simplify]: Simplify 0 into 0 1553946514.122 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.122 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.122 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1553946514.122 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946514.122 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.122 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.122 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.122 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.122 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946514.122 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.123 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.123 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.123 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.123 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.123 * [backup-simplify]: Simplify 0 into 0 1553946514.124 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.124 * [backup-simplify]: Simplify 0 into 0 1553946514.125 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.125 * [backup-simplify]: Simplify 0 into 0 1553946514.126 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.126 * [backup-simplify]: Simplify 0 into 0 1553946514.127 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.127 * [backup-simplify]: Simplify 0 into 0 1553946514.128 * [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 1553946514.128 * [backup-simplify]: Simplify 0 into 0 1553946514.128 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.128 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553946514.128 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.128 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1553946514.128 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946514.128 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.129 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.129 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.129 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.129 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946514.129 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.129 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.129 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.129 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.129 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.129 * [backup-simplify]: Simplify 0 into 0 1553946514.130 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.130 * [backup-simplify]: Simplify 0 into 0 1553946514.131 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.131 * [backup-simplify]: Simplify 0 into 0 1553946514.132 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.132 * [backup-simplify]: Simplify 0 into 0 1553946514.133 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.133 * [backup-simplify]: Simplify 0 into 0 1553946514.134 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946514.134 * [backup-simplify]: Simplify 0 into 0 1553946514.134 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.134 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.134 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1553946514.134 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946514.134 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.134 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.134 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.135 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.135 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946514.135 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.135 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.135 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.135 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.135 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946514.135 * [backup-simplify]: Simplify 0 into 0 1553946514.136 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.136 * [backup-simplify]: Simplify 0 into 0 1553946514.136 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.136 * [backup-simplify]: Simplify 0 into 0 1553946514.137 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.137 * [backup-simplify]: Simplify 0 into 0 1553946514.137 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946514.137 * [backup-simplify]: Simplify 0 into 0 1553946514.138 * [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 1553946514.138 * [backup-simplify]: Simplify 0 into 0 1553946514.138 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.138 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.138 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1553946514.138 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946514.138 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.138 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.138 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.139 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.139 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946514.139 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.139 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.139 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.139 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.139 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946514.139 * [backup-simplify]: Simplify 0 into 0 1553946514.140 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.140 * [backup-simplify]: Simplify 0 into 0 1553946514.140 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.140 * [backup-simplify]: Simplify 0 into 0 1553946514.141 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.141 * [backup-simplify]: Simplify 0 into 0 1553946514.142 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946514.142 * [backup-simplify]: Simplify 0 into 0 1553946514.142 * [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 1553946514.142 * [backup-simplify]: Simplify 0 into 0 1553946514.142 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.142 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1553946514.143 * [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)) 1553946514.143 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1553946514.143 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.143 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.143 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.143 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.143 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.143 * [backup-simplify]: Simplify 0 into 0 1553946514.143 * [backup-simplify]: Simplify 0 into 0 1553946514.143 * [backup-simplify]: Simplify 0 into 0 1553946514.143 * [backup-simplify]: Simplify 0 into 0 1553946514.143 * [backup-simplify]: Simplify 0 into 0 1553946514.143 * [backup-simplify]: Simplify 0 into 0 1553946514.143 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.143 * [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)) 1553946514.143 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1553946514.143 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.143 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.143 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.143 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.143 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.144 * [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)) 1553946514.144 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1553946514.144 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.144 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.144 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.144 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.144 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.144 * [backup-simplify]: Simplify 0 into 0 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.145 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.145 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1553946514.145 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.145 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.145 * [backup-simplify]: Simplify 0 into 0 1553946514.145 * [backup-simplify]: Simplify 0 into 0 1553946514.145 * [backup-simplify]: Simplify 0 into 0 1553946514.145 * [backup-simplify]: Simplify 0 into 0 1553946514.145 * [backup-simplify]: Simplify 0 into 0 1553946514.145 * [backup-simplify]: Simplify 0 into 0 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.145 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1553946514.145 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.145 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.145 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946514.146 * [backup-simplify]: Simplify 0 into 0 1553946514.146 * [backup-simplify]: Simplify 0 into 0 1553946514.146 * [backup-simplify]: Simplify 0 into 0 1553946514.146 * [backup-simplify]: Simplify 0 into 0 1553946514.146 * [backup-simplify]: Simplify 0 into 0 1553946514.146 * [backup-simplify]: Simplify 0 into 0 1553946514.146 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.146 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.146 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1553946514.146 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.146 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.146 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946514.146 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.147 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946514.147 * [backup-simplify]: Simplify 0 into 0 1553946514.147 * [backup-simplify]: Simplify 0 into 0 1553946514.147 * [backup-simplify]: Simplify 0 into 0 1553946514.147 * [backup-simplify]: Simplify 0 into 0 1553946514.147 * [backup-simplify]: Simplify 0 into 0 1553946514.147 * [backup-simplify]: Simplify 0 into 0 1553946514.147 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946514.147 * * * [progress]: simplifying candidates 1553946514.147 * * * * [progress]: [ 1 / 85 ] simplifiying candidate # 1553946514.147 * * * * [progress]: [ 2 / 85 ] simplifiying candidate # 1553946514.147 * * * * [progress]: [ 3 / 85 ] simplifiying candidate # 1553946514.147 * * * * [progress]: [ 4 / 85 ] simplifiying candidate # 1553946514.147 * * * * [progress]: [ 5 / 85 ] simplifiying candidate # 1553946514.147 * * * * [progress]: [ 6 / 85 ] simplifiying candidate # 1553946514.147 * * * * [progress]: [ 7 / 85 ] simplifiying candidate # 1553946514.147 * * * * [progress]: [ 8 / 85 ] simplifiying candidate # 1553946514.148 * * * * [progress]: [ 9 / 85 ] simplifiying candidate # 1553946514.148 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.148 * * [simplify]: iters left: 6 (8 enodes) 1553946514.151 * * [simplify]: iters left: 5 (30 enodes) 1553946514.159 * * [simplify]: iters left: 4 (43 enodes) 1553946514.171 * * [simplify]: iters left: 3 (50 enodes) 1553946514.181 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.181 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946514.182 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946514.182 * * [simplify]: Extracting #3: cost 10 inf + 0 1553946514.182 * * [simplify]: Extracting #4: cost 13 inf + 1 1553946514.182 * * [simplify]: Extracting #5: cost 15 inf + 2 1553946514.182 * * [simplify]: Extracting #6: cost 10 inf + 336 1553946514.182 * * [simplify]: Extracting #7: cost 5 inf + 1385 1553946514.182 * * [simplify]: Extracting #8: cost 0 inf + 3010 1553946514.183 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1553946514.183 * [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))))))) 1553946514.183 * * * * [progress]: [ 10 / 85 ] simplifiying candidate # 1553946514.183 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.183 * * [simplify]: iters left: 6 (7 enodes) 1553946514.185 * * [simplify]: iters left: 5 (26 enodes) 1553946514.191 * * [simplify]: iters left: 4 (39 enodes) 1553946514.202 * * [simplify]: iters left: 3 (46 enodes) 1553946514.211 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.211 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.212 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.212 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.212 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.212 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.212 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946514.213 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946514.213 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946514.214 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.214 * [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))))))) 1553946514.214 * * * * [progress]: [ 11 / 85 ] simplifiying candidate # 1553946514.214 * [simplify]: Simplifying (sqrt 1) 1553946514.214 * * [simplify]: iters left: 1 (2 enodes) 1553946514.217 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.217 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946514.217 * [simplify]: Simplified to 1 1553946514.217 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1553946514.217 * * * * [progress]: [ 12 / 85 ] simplifiying candidate # 1553946514.217 * * * * [progress]: [ 13 / 85 ] simplifiying candidate # 1553946514.217 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.218 * * [simplify]: iters left: 5 (6 enodes) 1553946514.220 * * [simplify]: iters left: 4 (23 enodes) 1553946514.227 * * [simplify]: iters left: 3 (36 enodes) 1553946514.237 * * [simplify]: iters left: 2 (43 enodes) 1553946514.246 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.246 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.246 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.246 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.246 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.246 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.247 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.247 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.248 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.248 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) 1553946514.248 * * * * [progress]: [ 14 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))> 1553946514.248 * * * * [progress]: [ 16 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 17 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 18 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 19 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 20 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 21 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 22 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 23 / 85 ] simplifiying candidate # 1553946514.248 * * * * [progress]: [ 24 / 85 ] simplifiying candidate # 1553946514.249 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.249 * * [simplify]: iters left: 6 (8 enodes) 1553946514.252 * * [simplify]: iters left: 5 (30 enodes) 1553946514.259 * * [simplify]: iters left: 4 (43 enodes) 1553946514.266 * * [simplify]: iters left: 3 (50 enodes) 1553946514.272 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.272 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946514.272 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946514.272 * * [simplify]: Extracting #3: cost 10 inf + 0 1553946514.272 * * [simplify]: Extracting #4: cost 13 inf + 1 1553946514.272 * * [simplify]: Extracting #5: cost 15 inf + 2 1553946514.272 * * [simplify]: Extracting #6: cost 10 inf + 336 1553946514.272 * * [simplify]: Extracting #7: cost 5 inf + 1385 1553946514.273 * * [simplify]: Extracting #8: cost 0 inf + 3010 1553946514.273 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1553946514.273 * [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))))) 1553946514.273 * * * * [progress]: [ 25 / 85 ] simplifiying candidate # 1553946514.273 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.273 * * [simplify]: iters left: 6 (7 enodes) 1553946514.275 * * [simplify]: iters left: 5 (26 enodes) 1553946514.281 * * [simplify]: iters left: 4 (39 enodes) 1553946514.292 * * [simplify]: iters left: 3 (46 enodes) 1553946514.299 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.299 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.299 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.299 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.299 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.300 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.300 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946514.300 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946514.300 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946514.301 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.301 * [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))))) 1553946514.301 * * * * [progress]: [ 26 / 85 ] simplifiying candidate # 1553946514.301 * [simplify]: Simplifying (sqrt 1) 1553946514.301 * * [simplify]: iters left: 1 (2 enodes) 1553946514.303 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.303 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946514.303 * [simplify]: Simplified to 1 1553946514.303 * [simplify]: Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.303 * * * * [progress]: [ 27 / 85 ] simplifiying candidate # 1553946514.305 * * * * [progress]: [ 28 / 85 ] simplifiying candidate # 1553946514.305 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.305 * * [simplify]: iters left: 5 (6 enodes) 1553946514.308 * * [simplify]: iters left: 4 (23 enodes) 1553946514.314 * * [simplify]: iters left: 3 (36 enodes) 1553946514.324 * * [simplify]: iters left: 2 (43 enodes) 1553946514.333 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.333 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.333 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.334 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.334 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.334 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.334 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.335 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.335 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.335 * [simplify]: Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.335 * * * * [progress]: [ 29 / 85 ] simplifiying candidate # 1553946514.335 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> 1553946514.335 * * * * [progress]: [ 31 / 85 ] simplifiying candidate # 1553946514.335 * * * * [progress]: [ 32 / 85 ] simplifiying candidate # 1553946514.335 * * * * [progress]: [ 33 / 85 ] simplifiying candidate # 1553946514.336 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946514.336 * * [simplify]: iters left: 4 (5 enodes) 1553946514.338 * * [simplify]: iters left: 3 (20 enodes) 1553946514.344 * * [simplify]: iters left: 2 (33 enodes) 1553946514.351 * * [simplify]: iters left: 1 (40 enodes) 1553946514.356 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.356 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946514.356 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946514.356 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946514.356 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946514.357 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946514.357 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946514.357 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) (+ 1/2 1/2))) 1553946514.357 * [simplify]: Simplifying (+ 1/2 1/2) 1553946514.357 * * [simplify]: iters left: 2 (2 enodes) 1553946514.358 * * [simplify]: iters left: 1 (7 enodes) 1553946514.360 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.360 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946514.360 * [simplify]: Simplified to 1 1553946514.360 * [simplify]: Simplified (2 2) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1553946514.360 * * * * [progress]: [ 34 / 85 ] simplifiying candidate # 1553946514.360 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.360 * * [simplify]: iters left: 5 (6 enodes) 1553946514.363 * * [simplify]: iters left: 4 (23 enodes) 1553946514.370 * * [simplify]: iters left: 3 (36 enodes) 1553946514.377 * * [simplify]: iters left: 2 (43 enodes) 1553946514.382 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.382 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.382 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.382 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.382 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.382 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.383 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.383 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.383 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.383 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1553946514.383 * [simplify]: Simplifying (+ 1 1) 1553946514.383 * * [simplify]: iters left: 2 (2 enodes) 1553946514.384 * * [simplify]: iters left: 1 (9 enodes) 1553946514.387 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.387 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946514.387 * [simplify]: Simplified to 2 1553946514.387 * [simplify]: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1553946514.387 * * * * [progress]: [ 35 / 85 ] simplifiying candidate # 1553946514.388 * [simplify]: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1553946514.388 * * [simplify]: iters left: 6 (6 enodes) 1553946514.390 * * [simplify]: iters left: 5 (23 enodes) 1553946514.395 * * [simplify]: iters left: 4 (36 enodes) 1553946514.401 * * [simplify]: iters left: 3 (43 enodes) 1553946514.406 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.406 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.406 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.407 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.407 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.407 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.407 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.407 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.407 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1553946514.407 * [simplify]: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1553946514.408 * * * * [progress]: [ 36 / 85 ] simplifiying candidate # 1553946514.408 * [simplify]: Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.408 * * [simplify]: iters left: 6 (7 enodes) 1553946514.410 * * [simplify]: iters left: 5 (24 enodes) 1553946514.415 * * [simplify]: iters left: 4 (38 enodes) 1553946514.421 * * [simplify]: iters left: 3 (45 enodes) 1553946514.430 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.430 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946514.430 * * [simplify]: Extracting #2: cost 9 inf + 1 1553946514.431 * * [simplify]: Extracting #3: cost 6 inf + 531 1553946514.431 * * [simplify]: Extracting #4: cost 2 inf + 1184 1553946514.431 * * [simplify]: Extracting #5: cost 0 inf + 1502 1553946514.432 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946514.432 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1553946514.432 * * * * [progress]: [ 37 / 85 ] simplifiying candidate # 1553946514.432 * * * * [progress]: [ 38 / 85 ] simplifiying candidate # 1553946514.433 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.433 * * [simplify]: iters left: 5 (6 enodes) 1553946514.435 * * [simplify]: iters left: 4 (23 enodes) 1553946514.440 * * [simplify]: iters left: 3 (36 enodes) 1553946514.446 * * [simplify]: iters left: 2 (43 enodes) 1553946514.451 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.451 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.451 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.451 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.451 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.451 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.451 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.452 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.452 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.452 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1553946514.452 * * * * [progress]: [ 39 / 85 ] simplifiying candidate # 1553946514.452 * * * * [progress]: [ 40 / 85 ] simplifiying candidate # 1553946514.452 * [simplify]: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.452 * * [simplify]: iters left: 6 (8 enodes) 1553946514.454 * * [simplify]: iters left: 5 (29 enodes) 1553946514.459 * * [simplify]: iters left: 4 (42 enodes) 1553946514.465 * * [simplify]: iters left: 3 (49 enodes) 1553946514.473 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.473 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.473 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.473 * * [simplify]: Extracting #3: cost 7 inf + 0 1553946514.473 * * [simplify]: Extracting #4: cost 10 inf + 0 1553946514.473 * * [simplify]: Extracting #5: cost 13 inf + 1 1553946514.473 * * [simplify]: Extracting #6: cost 15 inf + 2 1553946514.473 * * [simplify]: Extracting #7: cost 10 inf + 336 1553946514.474 * * [simplify]: Extracting #8: cost 5 inf + 1225 1553946514.474 * * [simplify]: Extracting #9: cost 0 inf + 2970 1553946514.475 * [simplify]: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946514.475 * [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)))))))) 1553946514.475 * * * * [progress]: [ 41 / 85 ] simplifiying candidate # 1553946514.475 * * * * [progress]: [ 42 / 85 ] simplifiying candidate # 1553946514.475 * * * * [progress]: [ 43 / 85 ] simplifiying candidate # 1553946514.475 * [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))))) 1553946514.475 * * [simplify]: iters left: 6 (9 enodes) 1553946514.480 * * [simplify]: iters left: 5 (35 enodes) 1553946514.490 * * [simplify]: iters left: 4 (63 enodes) 1553946514.503 * * [simplify]: iters left: 3 (76 enodes) 1553946514.519 * * [simplify]: iters left: 2 (81 enodes) 1553946514.536 * * [simplify]: iters left: 1 (86 enodes) 1553946514.553 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.553 * * [simplify]: Extracting #1: cost 9 inf + 0 1553946514.553 * * [simplify]: Extracting #2: cost 16 inf + 2 1553946514.553 * * [simplify]: Extracting #3: cost 17 inf + 5 1553946514.554 * * [simplify]: Extracting #4: cost 18 inf + 62 1553946514.554 * * [simplify]: Extracting #5: cost 13 inf + 437 1553946514.554 * * [simplify]: Extracting #6: cost 5 inf + 2588 1553946514.556 * * [simplify]: Extracting #7: cost 0 inf + 4173 1553946514.557 * * [simplify]: Extracting #8: cost 0 inf + 4042 1553946514.558 * [simplify]: Simplified to (* (atan2 1 (fma N (+ N 1) 1)) (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))) 1553946514.558 * [simplify]: Simplified (2 1) to (λ (N) (cbrt (* (atan2 1 (fma N (+ N 1) 1)) (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))))) 1553946514.558 * * * * [progress]: [ 44 / 85 ] simplifiying candidate # 1553946514.558 * * * * [progress]: [ 45 / 85 ] simplifiying candidate # 1553946514.558 * * * * [progress]: [ 46 / 85 ] simplifiying candidate # 1553946514.559 * [simplify]: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1553946514.559 * * [simplify]: iters left: 6 (6 enodes) 1553946514.562 * * [simplify]: iters left: 5 (23 enodes) 1553946514.568 * * [simplify]: iters left: 4 (36 enodes) 1553946514.579 * * [simplify]: iters left: 3 (43 enodes) 1553946514.587 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.588 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.588 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.588 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.588 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.588 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.588 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.589 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.589 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1553946514.589 * [simplify]: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1553946514.589 * * * * [progress]: [ 47 / 85 ] simplifiying candidate # 1553946514.589 * * * * [progress]: [ 48 / 85 ] simplifiying candidate # 1553946514.590 * [simplify]: Simplifying (fma N (+ N 1) 1) 1553946514.590 * * [simplify]: iters left: 3 (4 enodes) 1553946514.592 * * [simplify]: iters left: 2 (17 enodes) 1553946514.597 * * [simplify]: iters left: 1 (30 enodes) 1553946514.606 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.606 * * [simplify]: Extracting #1: cost 6 inf + 0 1553946514.606 * * [simplify]: Extracting #2: cost 7 inf + 2 1553946514.606 * * [simplify]: Extracting #3: cost 1 inf + 433 1553946514.606 * * [simplify]: Extracting #4: cost 0 inf + 474 1553946514.607 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1553946514.607 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1))) 1553946514.607 * * * * [progress]: [ 49 / 85 ] simplifiying candidate # 1553946514.607 * * * * [progress]: [ 50 / 85 ] simplifiying candidate # 1553946514.607 * [simplify]: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.607 * * [simplify]: iters left: 6 (7 enodes) 1553946514.610 * * [simplify]: iters left: 5 (26 enodes) 1553946514.617 * * [simplify]: iters left: 4 (39 enodes) 1553946514.627 * * [simplify]: iters left: 3 (46 enodes) 1553946514.633 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.633 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.633 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.633 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.633 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.633 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.633 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946514.634 * * [simplify]: Extracting #7: cost 1 inf + 1859 1553946514.634 * * [simplify]: Extracting #8: cost 0 inf + 2216 1553946514.634 * [simplify]: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.634 * [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)))))) 1553946514.634 * * * * [progress]: [ 51 / 85 ] simplifiying candidate # 1553946514.634 * [simplify]: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.634 * * [simplify]: iters left: 6 (7 enodes) 1553946514.638 * * [simplify]: iters left: 5 (26 enodes) 1553946514.642 * * [simplify]: iters left: 4 (39 enodes) 1553946514.648 * * [simplify]: iters left: 3 (46 enodes) 1553946514.653 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.654 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.654 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.654 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.654 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.654 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.654 * * [simplify]: Extracting #6: cost 5 inf + 987 1553946514.654 * * [simplify]: Extracting #7: cost 1 inf + 1939 1553946514.654 * * [simplify]: Extracting #8: cost 0 inf + 2296 1553946514.655 * [simplify]: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.655 * [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)))))) 1553946514.655 * * * * [progress]: [ 52 / 85 ] simplifiying candidate # 1553946514.655 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.655 * * [simplify]: iters left: 6 (7 enodes) 1553946514.657 * * [simplify]: iters left: 5 (26 enodes) 1553946514.661 * * [simplify]: iters left: 4 (39 enodes) 1553946514.667 * * [simplify]: iters left: 3 (46 enodes) 1553946514.673 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.673 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.673 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.673 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.673 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.673 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.673 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946514.673 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946514.674 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946514.674 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.674 * [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)))))) 1553946514.674 * * * * [progress]: [ 53 / 85 ] simplifiying candidate # 1553946514.674 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.674 * * [simplify]: iters left: 5 (6 enodes) 1553946514.676 * * [simplify]: iters left: 4 (23 enodes) 1553946514.680 * * [simplify]: iters left: 3 (36 enodes) 1553946514.686 * * [simplify]: iters left: 2 (43 enodes) 1553946514.691 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.691 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.691 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.691 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.691 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.691 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.691 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.692 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.692 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.692 * [simplify]: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946514.692 * * * * [progress]: [ 54 / 85 ] simplifiying candidate # 1553946514.692 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.692 * * [simplify]: iters left: 6 (7 enodes) 1553946514.694 * * [simplify]: iters left: 5 (26 enodes) 1553946514.699 * * [simplify]: iters left: 4 (39 enodes) 1553946514.710 * * [simplify]: iters left: 3 (46 enodes) 1553946514.717 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.717 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.717 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.717 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.717 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.717 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.717 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946514.717 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946514.718 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946514.718 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.718 * [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)))))) 1553946514.718 * * * * [progress]: [ 55 / 85 ] simplifiying candidate # 1553946514.718 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.718 * * [simplify]: iters left: 5 (6 enodes) 1553946514.720 * * [simplify]: iters left: 4 (23 enodes) 1553946514.725 * * [simplify]: iters left: 3 (36 enodes) 1553946514.731 * * [simplify]: iters left: 2 (43 enodes) 1553946514.736 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.736 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.737 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.737 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.737 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.737 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.737 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.737 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.737 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.737 * [simplify]: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946514.738 * * * * [progress]: [ 56 / 85 ] simplifiying candidate # 1553946514.738 * [simplify]: Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.738 * * [simplify]: iters left: 6 (8 enodes) 1553946514.740 * * [simplify]: iters left: 5 (29 enodes) 1553946514.747 * * [simplify]: iters left: 4 (42 enodes) 1553946514.759 * * [simplify]: iters left: 3 (49 enodes) 1553946514.767 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.767 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.767 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.767 * * [simplify]: Extracting #3: cost 7 inf + 0 1553946514.768 * * [simplify]: Extracting #4: cost 10 inf + 0 1553946514.768 * * [simplify]: Extracting #5: cost 13 inf + 1 1553946514.768 * * [simplify]: Extracting #6: cost 15 inf + 2 1553946514.768 * * [simplify]: Extracting #7: cost 10 inf + 336 1553946514.768 * * [simplify]: Extracting #8: cost 5 inf + 1225 1553946514.768 * * [simplify]: Extracting #9: cost 0 inf + 3010 1553946514.769 * [simplify]: Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946514.769 * [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)))))) 1553946514.769 * * * * [progress]: [ 57 / 85 ] simplifiying candidate # 1553946514.769 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.769 * * [simplify]: iters left: 6 (8 enodes) 1553946514.771 * * [simplify]: iters left: 5 (30 enodes) 1553946514.776 * * [simplify]: iters left: 4 (43 enodes) 1553946514.782 * * [simplify]: iters left: 3 (50 enodes) 1553946514.788 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.789 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946514.789 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946514.789 * * [simplify]: Extracting #3: cost 10 inf + 0 1553946514.789 * * [simplify]: Extracting #4: cost 13 inf + 1 1553946514.789 * * [simplify]: Extracting #5: cost 15 inf + 2 1553946514.789 * * [simplify]: Extracting #6: cost 10 inf + 336 1553946514.789 * * [simplify]: Extracting #7: cost 5 inf + 1385 1553946514.789 * * [simplify]: Extracting #8: cost 0 inf + 3010 1553946514.790 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1553946514.790 * [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)))))) 1553946514.790 * * * * [progress]: [ 58 / 85 ] simplifiying candidate # 1553946514.790 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.790 * * [simplify]: iters left: 6 (7 enodes) 1553946514.792 * * [simplify]: iters left: 5 (26 enodes) 1553946514.796 * * [simplify]: iters left: 4 (39 enodes) 1553946514.802 * * [simplify]: iters left: 3 (46 enodes) 1553946514.808 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.808 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.808 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.808 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.808 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.808 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.808 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946514.808 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946514.809 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946514.809 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.809 * [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)))))) 1553946514.809 * * * * [progress]: [ 59 / 85 ] simplifiying candidate # 1553946514.809 * [simplify]: Simplifying (sqrt 1) 1553946514.809 * * [simplify]: iters left: 1 (2 enodes) 1553946514.812 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.812 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946514.812 * [simplify]: Simplified to 1 1553946514.812 * [simplify]: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1553946514.812 * * * * [progress]: [ 60 / 85 ] simplifiying candidate # 1553946514.813 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.813 * * [simplify]: iters left: 6 (7 enodes) 1553946514.818 * * [simplify]: iters left: 5 (26 enodes) 1553946514.825 * * [simplify]: iters left: 4 (39 enodes) 1553946514.836 * * [simplify]: iters left: 3 (46 enodes) 1553946514.846 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.846 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.846 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946514.846 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946514.846 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946514.846 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946514.846 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946514.847 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946514.847 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946514.848 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946514.848 * [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)))))) 1553946514.848 * * * * [progress]: [ 61 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 62 / 85 ] simplifiying candidate #real (real->posit16 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))> 1553946514.848 * * * * [progress]: [ 63 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 64 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 65 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 66 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 67 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 68 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 69 / 85 ] simplifiying candidate # 1553946514.848 * * * * [progress]: [ 70 / 85 ] simplifiying candidate # 1553946514.849 * * * * [progress]: [ 71 / 85 ] simplifiying candidate # 1553946514.849 * * * * [progress]: [ 72 / 85 ] simplifiying candidate # 1553946514.849 * * * * [progress]: [ 73 / 85 ] simplifiying candidate #real (real->posit16 (atan2 1 (fma N (+ N 1) 1)))))))> 1553946514.849 * * * * [progress]: [ 74 / 85 ] simplifiying candidate # 1553946514.849 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.849 * * [simplify]: iters left: 5 (6 enodes) 1553946514.852 * * [simplify]: iters left: 4 (23 enodes) 1553946514.859 * * [simplify]: iters left: 3 (36 enodes) 1553946514.869 * * [simplify]: iters left: 2 (43 enodes) 1553946514.878 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.878 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.878 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.878 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.878 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.879 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.879 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.879 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.880 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.880 * [simplify]: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946514.880 * * * * [progress]: [ 75 / 85 ] simplifiying candidate # 1553946514.880 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.880 * * [simplify]: iters left: 5 (6 enodes) 1553946514.883 * * [simplify]: iters left: 4 (23 enodes) 1553946514.890 * * [simplify]: iters left: 3 (36 enodes) 1553946514.895 * * [simplify]: iters left: 2 (43 enodes) 1553946514.901 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.901 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.901 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.901 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.901 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.901 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.901 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.901 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.902 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.902 * [simplify]: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946514.902 * * * * [progress]: [ 76 / 85 ] simplifiying candidate # 1553946514.902 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.902 * * [simplify]: iters left: 5 (6 enodes) 1553946514.904 * * [simplify]: iters left: 4 (23 enodes) 1553946514.908 * * [simplify]: iters left: 3 (36 enodes) 1553946514.917 * * [simplify]: iters left: 2 (43 enodes) 1553946514.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.922 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.922 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.922 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.922 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.923 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.923 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.923 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.924 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.924 * [simplify]: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946514.924 * * * * [progress]: [ 77 / 85 ] simplifiying candidate # 1553946514.924 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.924 * * [simplify]: iters left: 5 (6 enodes) 1553946514.927 * * [simplify]: iters left: 4 (23 enodes) 1553946514.934 * * [simplify]: iters left: 3 (36 enodes) 1553946514.946 * * [simplify]: iters left: 2 (43 enodes) 1553946514.955 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.955 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.955 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.955 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.955 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.955 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.956 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.956 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.957 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.957 * [simplify]: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.957 * * * * [progress]: [ 78 / 85 ] simplifiying candidate # 1553946514.957 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.957 * * [simplify]: iters left: 5 (6 enodes) 1553946514.960 * * [simplify]: iters left: 4 (23 enodes) 1553946514.967 * * [simplify]: iters left: 3 (36 enodes) 1553946514.977 * * [simplify]: iters left: 2 (43 enodes) 1553946514.985 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946514.986 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946514.986 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946514.986 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946514.986 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946514.986 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946514.986 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946514.987 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946514.987 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946514.987 * [simplify]: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946514.987 * * * * [progress]: [ 79 / 85 ] simplifiying candidate # 1553946514.988 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946514.988 * * [simplify]: iters left: 5 (6 enodes) 1553946514.990 * * [simplify]: iters left: 4 (23 enodes) 1553946514.995 * * [simplify]: iters left: 3 (36 enodes) 1553946515.001 * * [simplify]: iters left: 2 (43 enodes) 1553946515.006 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.006 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946515.006 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946515.006 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946515.006 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946515.007 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946515.007 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946515.007 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946515.007 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946515.007 * [simplify]: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946515.007 * * * * [progress]: [ 80 / 85 ] simplifiying candidate # 1553946515.007 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946515.007 * * [simplify]: iters left: 4 (5 enodes) 1553946515.009 * * [simplify]: iters left: 3 (20 enodes) 1553946515.012 * * [simplify]: iters left: 2 (33 enodes) 1553946515.018 * * [simplify]: iters left: 1 (40 enodes) 1553946515.023 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.023 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946515.023 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946515.023 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946515.023 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946515.023 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946515.023 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946515.023 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946515.023 * * * * [progress]: [ 81 / 85 ] simplifiying candidate # 1553946515.024 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946515.024 * * [simplify]: iters left: 4 (5 enodes) 1553946515.025 * * [simplify]: iters left: 3 (20 enodes) 1553946515.028 * * [simplify]: iters left: 2 (33 enodes) 1553946515.034 * * [simplify]: iters left: 1 (40 enodes) 1553946515.039 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.039 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946515.039 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946515.040 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946515.040 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946515.041 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946515.041 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946515.041 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946515.041 * * * * [progress]: [ 82 / 85 ] simplifiying candidate # 1553946515.041 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946515.041 * * [simplify]: iters left: 4 (5 enodes) 1553946515.043 * * [simplify]: iters left: 3 (20 enodes) 1553946515.046 * * [simplify]: iters left: 2 (33 enodes) 1553946515.052 * * [simplify]: iters left: 1 (40 enodes) 1553946515.057 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.057 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946515.057 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946515.057 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946515.057 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946515.057 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946515.058 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946515.058 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946515.058 * * * * [progress]: [ 83 / 85 ] simplifiying candidate # 1553946515.058 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946515.058 * * [simplify]: iters left: 4 (5 enodes) 1553946515.059 * * [simplify]: iters left: 3 (20 enodes) 1553946515.063 * * [simplify]: iters left: 2 (33 enodes) 1553946515.069 * * [simplify]: iters left: 1 (40 enodes) 1553946515.074 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.074 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946515.074 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946515.074 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946515.074 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946515.075 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946515.075 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946515.075 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946515.075 * * * * [progress]: [ 84 / 85 ] simplifiying candidate # 1553946515.075 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946515.075 * * [simplify]: iters left: 4 (5 enodes) 1553946515.076 * * [simplify]: iters left: 3 (20 enodes) 1553946515.080 * * [simplify]: iters left: 2 (33 enodes) 1553946515.085 * * [simplify]: iters left: 1 (40 enodes) 1553946515.090 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.091 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946515.091 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946515.091 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946515.091 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946515.091 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946515.091 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946515.091 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946515.091 * * * * [progress]: [ 85 / 85 ] simplifiying candidate # 1553946515.092 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946515.092 * * [simplify]: iters left: 4 (5 enodes) 1553946515.093 * * [simplify]: iters left: 3 (20 enodes) 1553946515.100 * * [simplify]: iters left: 2 (33 enodes) 1553946515.109 * * [simplify]: iters left: 1 (40 enodes) 1553946515.117 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.117 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946515.117 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946515.118 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946515.118 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946515.118 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946515.119 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946515.119 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946515.119 * * * [progress]: adding candidates to table 1553946515.850 * * [progress]: iteration 4 / 4 1553946515.850 * * * [progress]: picking best candidate 1553946515.863 * * * * [pick]: Picked # 1553946515.863 * * * [progress]: localizing error 1553946515.873 * * * [progress]: generating rewritten candidates 1553946515.873 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1553946515.874 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1553946515.875 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553946515.876 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1553946515.898 * * * [progress]: generating series expansions 1553946515.898 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1553946515.898 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.898 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1553946515.898 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946515.898 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.898 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.898 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.898 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.898 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946515.898 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.898 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.899 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.899 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.899 * [backup-simplify]: Simplify 0 into 0 1553946515.900 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.900 * [backup-simplify]: Simplify 0 into 0 1553946515.900 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.900 * [backup-simplify]: Simplify 0 into 0 1553946515.901 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.901 * [backup-simplify]: Simplify 0 into 0 1553946515.902 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.902 * [backup-simplify]: Simplify 0 into 0 1553946515.902 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.902 * [backup-simplify]: Simplify 0 into 0 1553946515.902 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.903 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.903 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1553946515.903 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946515.903 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.903 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.903 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.903 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946515.903 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.903 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.903 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.903 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.903 * [backup-simplify]: Simplify 0 into 0 1553946515.904 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.904 * [backup-simplify]: Simplify 0 into 0 1553946515.904 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.904 * [backup-simplify]: Simplify 0 into 0 1553946515.905 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.905 * [backup-simplify]: Simplify 0 into 0 1553946515.906 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.906 * [backup-simplify]: Simplify 0 into 0 1553946515.906 * [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 1553946515.906 * [backup-simplify]: Simplify 0 into 0 1553946515.907 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.907 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.907 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1553946515.907 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946515.907 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.907 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.907 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.907 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.907 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946515.907 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.907 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.907 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.907 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.907 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.907 * [backup-simplify]: Simplify 0 into 0 1553946515.908 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.908 * [backup-simplify]: Simplify 0 into 0 1553946515.909 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.909 * [backup-simplify]: Simplify 0 into 0 1553946515.909 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.909 * [backup-simplify]: Simplify 0 into 0 1553946515.910 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.910 * [backup-simplify]: Simplify 0 into 0 1553946515.910 * [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 1553946515.910 * [backup-simplify]: Simplify 0 into 0 1553946515.911 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.911 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1553946515.911 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.911 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1553946515.911 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946515.911 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.911 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.911 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.911 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.911 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946515.911 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.911 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.911 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.911 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.911 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.911 * [backup-simplify]: Simplify 0 into 0 1553946515.912 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.912 * [backup-simplify]: Simplify 0 into 0 1553946515.912 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.912 * [backup-simplify]: Simplify 0 into 0 1553946515.913 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.913 * [backup-simplify]: Simplify 0 into 0 1553946515.914 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.914 * [backup-simplify]: Simplify 0 into 0 1553946515.914 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.914 * [backup-simplify]: Simplify 0 into 0 1553946515.914 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.914 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.914 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1553946515.914 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946515.914 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.915 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.915 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.915 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.915 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946515.915 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.915 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.915 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.915 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.915 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.915 * [backup-simplify]: Simplify 0 into 0 1553946515.916 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.916 * [backup-simplify]: Simplify 0 into 0 1553946515.916 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.916 * [backup-simplify]: Simplify 0 into 0 1553946515.917 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.917 * [backup-simplify]: Simplify 0 into 0 1553946515.918 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.918 * [backup-simplify]: Simplify 0 into 0 1553946515.918 * [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 1553946515.918 * [backup-simplify]: Simplify 0 into 0 1553946515.918 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.918 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.918 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1553946515.918 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946515.919 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.919 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.919 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.919 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.919 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946515.919 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.919 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.919 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.919 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.919 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.919 * [backup-simplify]: Simplify 0 into 0 1553946515.920 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.920 * [backup-simplify]: Simplify 0 into 0 1553946515.920 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.920 * [backup-simplify]: Simplify 0 into 0 1553946515.921 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.921 * [backup-simplify]: Simplify 0 into 0 1553946515.922 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.922 * [backup-simplify]: Simplify 0 into 0 1553946515.922 * [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 1553946515.922 * [backup-simplify]: Simplify 0 into 0 1553946515.922 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.922 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553946515.923 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.923 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1553946515.923 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946515.923 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.923 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.923 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.923 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.923 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1553946515.923 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.923 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.923 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.923 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.923 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.923 * [backup-simplify]: Simplify 0 into 0 1553946515.924 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.924 * [backup-simplify]: Simplify 0 into 0 1553946515.924 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.924 * [backup-simplify]: Simplify 0 into 0 1553946515.925 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.925 * [backup-simplify]: Simplify 0 into 0 1553946515.925 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.925 * [backup-simplify]: Simplify 0 into 0 1553946515.926 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1553946515.926 * [backup-simplify]: Simplify 0 into 0 1553946515.926 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.926 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.926 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1553946515.926 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946515.926 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.926 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.926 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.926 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.926 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1553946515.927 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.927 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.927 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.927 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.927 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1553946515.927 * [backup-simplify]: Simplify 0 into 0 1553946515.927 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.927 * [backup-simplify]: Simplify 0 into 0 1553946515.928 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.928 * [backup-simplify]: Simplify 0 into 0 1553946515.929 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.929 * [backup-simplify]: Simplify 0 into 0 1553946515.929 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1553946515.929 * [backup-simplify]: Simplify 0 into 0 1553946515.930 * [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 1553946515.930 * [backup-simplify]: Simplify 0 into 0 1553946515.930 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.930 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.930 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1553946515.930 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946515.930 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.930 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.930 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.931 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.931 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1553946515.931 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.931 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.931 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.931 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.931 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1553946515.931 * [backup-simplify]: Simplify 0 into 0 1553946515.931 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.932 * [backup-simplify]: Simplify 0 into 0 1553946515.932 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.932 * [backup-simplify]: Simplify 0 into 0 1553946515.933 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.933 * [backup-simplify]: Simplify 0 into 0 1553946515.933 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1553946515.933 * [backup-simplify]: Simplify 0 into 0 1553946515.934 * [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 1553946515.934 * [backup-simplify]: Simplify 0 into 0 1553946515.934 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.934 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1553946515.934 * [backup-simplify]: Simplify (* (* (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)))) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.934 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1553946515.934 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.935 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.935 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1553946515.935 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.935 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.935 * [backup-simplify]: Simplify 0 into 0 1553946515.935 * [backup-simplify]: Simplify 0 into 0 1553946515.935 * [backup-simplify]: Simplify 0 into 0 1553946515.935 * [backup-simplify]: Simplify 0 into 0 1553946515.935 * [backup-simplify]: Simplify 0 into 0 1553946515.935 * [backup-simplify]: Simplify 0 into 0 1553946515.935 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.935 * [backup-simplify]: Simplify (* (* (sqrt (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) (sqrt (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)) 1553946515.935 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1553946515.935 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.935 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.935 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1553946515.935 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.936 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1553946515.936 * [backup-simplify]: Simplify 0 into 0 1553946515.936 * [backup-simplify]: Simplify 0 into 0 1553946515.936 * [backup-simplify]: Simplify 0 into 0 1553946515.936 * [backup-simplify]: Simplify 0 into 0 1553946515.936 * [backup-simplify]: Simplify 0 into 0 1553946515.936 * [backup-simplify]: Simplify 0 into 0 1553946515.936 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.936 * [backup-simplify]: Simplify (* (* (sqrt (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) (sqrt (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)) 1553946515.936 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1553946515.936 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.937 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.937 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1553946515.937 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.937 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1553946515.937 * [backup-simplify]: Simplify 0 into 0 1553946515.937 * [backup-simplify]: Simplify 0 into 0 1553946515.937 * [backup-simplify]: Simplify 0 into 0 1553946515.937 * [backup-simplify]: Simplify 0 into 0 1553946515.937 * [backup-simplify]: Simplify 0 into 0 1553946515.937 * [backup-simplify]: Simplify 0 into 0 1553946515.937 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1553946515.937 * * * [progress]: simplifying candidates 1553946515.937 * * * * [progress]: [ 1 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 2 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 3 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 4 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 5 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 6 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 7 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 8 / 85 ] simplifiying candidate # 1553946515.937 * * * * [progress]: [ 9 / 85 ] simplifiying candidate # 1553946515.938 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1553946515.938 * * [simplify]: iters left: 6 (8 enodes) 1553946515.940 * * [simplify]: iters left: 5 (30 enodes) 1553946515.945 * * [simplify]: iters left: 4 (43 enodes) 1553946515.952 * * [simplify]: iters left: 3 (50 enodes) 1553946515.958 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.958 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946515.958 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946515.958 * * [simplify]: Extracting #3: cost 10 inf + 0 1553946515.958 * * [simplify]: Extracting #4: cost 13 inf + 1 1553946515.958 * * [simplify]: Extracting #5: cost 15 inf + 2 1553946515.958 * * [simplify]: Extracting #6: cost 10 inf + 336 1553946515.958 * * [simplify]: Extracting #7: cost 5 inf + 1385 1553946515.959 * * [simplify]: Extracting #8: cost 0 inf + 3010 1553946515.959 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1553946515.959 * [simplify]: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) 1553946515.959 * * * * [progress]: [ 10 / 85 ] simplifiying candidate # 1553946515.959 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946515.959 * * [simplify]: iters left: 6 (7 enodes) 1553946515.961 * * [simplify]: iters left: 5 (26 enodes) 1553946515.965 * * [simplify]: iters left: 4 (39 enodes) 1553946515.972 * * [simplify]: iters left: 3 (46 enodes) 1553946515.979 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.979 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946515.979 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946515.979 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946515.979 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946515.979 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946515.979 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946515.980 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946515.980 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946515.980 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946515.980 * [simplify]: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1553946515.980 * * * * [progress]: [ 11 / 85 ] simplifiying candidate # 1553946515.981 * [simplify]: Simplifying (sqrt 1) 1553946515.981 * * [simplify]: iters left: 1 (2 enodes) 1553946515.982 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946515.982 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946515.982 * [simplify]: Simplified to 1 1553946515.982 * [simplify]: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1553946515.982 * * * * [progress]: [ 12 / 85 ] simplifiying candidate # 1553946515.983 * * * * [progress]: [ 13 / 85 ] simplifiying candidate # 1553946515.983 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946515.983 * * [simplify]: iters left: 5 (6 enodes) 1553946515.984 * * [simplify]: iters left: 4 (23 enodes) 1553946515.988 * * [simplify]: iters left: 3 (36 enodes) 1553946515.998 * * [simplify]: iters left: 2 (43 enodes) 1553946516.005 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.005 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.005 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.005 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.005 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.005 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.005 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.005 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.006 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.006 * [simplify]: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) 1553946516.006 * * * * [progress]: [ 14 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))> 1553946516.006 * * * * [progress]: [ 16 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 17 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 18 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 19 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 20 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 21 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 22 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 23 / 85 ] simplifiying candidate # 1553946516.006 * * * * [progress]: [ 24 / 85 ] simplifiying candidate # 1553946516.006 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.006 * * [simplify]: iters left: 6 (8 enodes) 1553946516.008 * * [simplify]: iters left: 5 (30 enodes) 1553946516.013 * * [simplify]: iters left: 4 (43 enodes) 1553946516.020 * * [simplify]: iters left: 3 (50 enodes) 1553946516.026 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.026 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946516.026 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946516.026 * * [simplify]: Extracting #3: cost 10 inf + 0 1553946516.026 * * [simplify]: Extracting #4: cost 13 inf + 1 1553946516.026 * * [simplify]: Extracting #5: cost 15 inf + 2 1553946516.026 * * [simplify]: Extracting #6: cost 10 inf + 336 1553946516.026 * * [simplify]: Extracting #7: cost 5 inf + 1385 1553946516.027 * * [simplify]: Extracting #8: cost 0 inf + 3010 1553946516.027 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1553946516.027 * [simplify]: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.027 * * * * [progress]: [ 25 / 85 ] simplifiying candidate # 1553946516.027 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.028 * * [simplify]: iters left: 6 (7 enodes) 1553946516.029 * * [simplify]: iters left: 5 (26 enodes) 1553946516.034 * * [simplify]: iters left: 4 (39 enodes) 1553946516.044 * * [simplify]: iters left: 3 (46 enodes) 1553946516.054 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.054 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.054 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946516.054 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946516.054 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946516.054 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946516.054 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946516.054 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946516.055 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946516.055 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.055 * [simplify]: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.055 * * * * [progress]: [ 26 / 85 ] simplifiying candidate # 1553946516.055 * [simplify]: Simplifying (sqrt 1) 1553946516.055 * * [simplify]: iters left: 1 (2 enodes) 1553946516.057 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.057 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946516.057 * [simplify]: Simplified to 1 1553946516.057 * [simplify]: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.057 * * * * [progress]: [ 27 / 85 ] simplifiying candidate # 1553946516.057 * * * * [progress]: [ 28 / 85 ] simplifiying candidate # 1553946516.057 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.057 * * [simplify]: iters left: 5 (6 enodes) 1553946516.059 * * [simplify]: iters left: 4 (23 enodes) 1553946516.062 * * [simplify]: iters left: 3 (36 enodes) 1553946516.070 * * [simplify]: iters left: 2 (43 enodes) 1553946516.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.078 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.078 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.078 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.078 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.078 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.079 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.079 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.079 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.079 * [simplify]: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.079 * * * * [progress]: [ 29 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> 1553946516.079 * * * * [progress]: [ 31 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 32 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 33 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 34 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 35 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 36 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 37 / 85 ] simplifiying candidate # 1553946516.079 * * * * [progress]: [ 38 / 85 ] simplifiying candidate # 1553946516.080 * * * * [progress]: [ 39 / 85 ] simplifiying candidate # 1553946516.080 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.080 * * [simplify]: iters left: 6 (8 enodes) 1553946516.082 * * [simplify]: iters left: 5 (30 enodes) 1553946516.090 * * [simplify]: iters left: 4 (43 enodes) 1553946516.102 * * [simplify]: iters left: 3 (50 enodes) 1553946516.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.112 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946516.112 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946516.112 * * [simplify]: Extracting #3: cost 10 inf + 0 1553946516.113 * * [simplify]: Extracting #4: cost 13 inf + 1 1553946516.113 * * [simplify]: Extracting #5: cost 15 inf + 2 1553946516.113 * * [simplify]: Extracting #6: cost 10 inf + 336 1553946516.113 * * [simplify]: Extracting #7: cost 5 inf + 1385 1553946516.114 * * [simplify]: Extracting #8: cost 0 inf + 3010 1553946516.114 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1553946516.115 * [simplify]: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.115 * * * * [progress]: [ 40 / 85 ] simplifiying candidate # 1553946516.115 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.115 * * [simplify]: iters left: 6 (7 enodes) 1553946516.118 * * [simplify]: iters left: 5 (26 enodes) 1553946516.125 * * [simplify]: iters left: 4 (39 enodes) 1553946516.133 * * [simplify]: iters left: 3 (46 enodes) 1553946516.139 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.139 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.139 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946516.139 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946516.139 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946516.139 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946516.139 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946516.139 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946516.140 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946516.140 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.140 * [simplify]: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.140 * * * * [progress]: [ 41 / 85 ] simplifiying candidate # 1553946516.140 * [simplify]: Simplifying (sqrt 1) 1553946516.140 * * [simplify]: iters left: 1 (2 enodes) 1553946516.142 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.142 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946516.142 * [simplify]: Simplified to 1 1553946516.142 * [simplify]: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.142 * * * * [progress]: [ 42 / 85 ] simplifiying candidate # 1553946516.142 * * * * [progress]: [ 43 / 85 ] simplifiying candidate # 1553946516.142 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.142 * * [simplify]: iters left: 5 (6 enodes) 1553946516.144 * * [simplify]: iters left: 4 (23 enodes) 1553946516.148 * * [simplify]: iters left: 3 (36 enodes) 1553946516.153 * * [simplify]: iters left: 2 (43 enodes) 1553946516.162 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.162 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.162 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.162 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.162 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.162 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.162 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.163 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.163 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.163 * [simplify]: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.163 * * * * [progress]: [ 44 / 85 ] simplifiying candidate # 1553946516.163 * * * * [progress]: [ 45 / 85 ] simplifiying candidate #real (real->posit16 (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)))))> 1553946516.164 * * * * [progress]: [ 46 / 85 ] simplifiying candidate # 1553946516.164 * * * * [progress]: [ 47 / 85 ] simplifiying candidate # 1553946516.164 * * * * [progress]: [ 48 / 85 ] simplifiying candidate # 1553946516.164 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.164 * * [simplify]: iters left: 5 (6 enodes) 1553946516.167 * * [simplify]: iters left: 4 (23 enodes) 1553946516.173 * * [simplify]: iters left: 3 (36 enodes) 1553946516.183 * * [simplify]: iters left: 2 (43 enodes) 1553946516.190 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.191 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.191 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.191 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.191 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.191 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.191 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.192 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.192 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.192 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ (+ 1/2 1/2) 1))) 1553946516.193 * [simplify]: Simplifying (+ (+ 1/2 1/2) 1) 1553946516.193 * * [simplify]: iters left: 4 (4 enodes) 1553946516.196 * * [simplify]: iters left: 3 (19 enodes) 1553946516.199 * * [simplify]: iters left: 2 (23 enodes) 1553946516.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.202 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946516.202 * [simplify]: Simplified to 2 1553946516.202 * [simplify]: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1553946516.202 * * * * [progress]: [ 49 / 85 ] simplifiying candidate # 1553946516.203 * [simplify]: Simplifying (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (atan2 1 (fma N (+ N 1) 1))) 1553946516.203 * * [simplify]: iters left: 6 (8 enodes) 1553946516.205 * * [simplify]: iters left: 5 (30 enodes) 1553946516.212 * * [simplify]: iters left: 4 (50 enodes) 1553946516.222 * * [simplify]: iters left: 3 (62 enodes) 1553946516.235 * * [simplify]: iters left: 2 (64 enodes) 1553946516.243 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.243 * * [simplify]: Extracting #1: cost 6 inf + 0 1553946516.243 * * [simplify]: Extracting #2: cost 11 inf + 1 1553946516.243 * * [simplify]: Extracting #3: cost 13 inf + 3 1553946516.243 * * [simplify]: Extracting #4: cost 15 inf + 4 1553946516.243 * * [simplify]: Extracting #5: cost 10 inf + 338 1553946516.243 * * [simplify]: Extracting #6: cost 3 inf + 1781 1553946516.244 * * [simplify]: Extracting #7: cost 0 inf + 2692 1553946516.244 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1553946516.244 * [simplify]: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1553946516.244 * * * * [progress]: [ 50 / 85 ] simplifiying candidate # 1553946516.245 * [simplify]: Simplifying (* (* (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)))) 1553946516.245 * * [simplify]: iters left: 6 (9 enodes) 1553946516.247 * * [simplify]: iters left: 5 (33 enodes) 1553946516.253 * * [simplify]: iters left: 4 (53 enodes) 1553946516.261 * * [simplify]: iters left: 3 (66 enodes) 1553946516.268 * * [simplify]: iters left: 2 (68 enodes) 1553946516.281 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.281 * * [simplify]: Extracting #1: cost 8 inf + 0 1553946516.283 * * [simplify]: Extracting #2: cost 14 inf + 2 1553946516.283 * * [simplify]: Extracting #3: cost 14 inf + 60 1553946516.284 * * [simplify]: Extracting #4: cost 10 inf + 338 1553946516.284 * * [simplify]: Extracting #5: cost 5 inf + 1227 1553946516.285 * * [simplify]: Extracting #6: cost 1 inf + 2495 1553946516.286 * * [simplify]: Extracting #7: cost 0 inf + 2852 1553946516.286 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946516.286 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1553946516.287 * * * * [progress]: [ 51 / 85 ] simplifiying candidate # 1553946516.287 * [simplify]: Simplifying (* (* (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)))) 1553946516.287 * * [simplify]: iters left: 6 (9 enodes) 1553946516.291 * * [simplify]: iters left: 5 (33 enodes) 1553946516.296 * * [simplify]: iters left: 4 (53 enodes) 1553946516.308 * * [simplify]: iters left: 3 (66 enodes) 1553946516.318 * * [simplify]: iters left: 2 (68 enodes) 1553946516.329 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.329 * * [simplify]: Extracting #1: cost 8 inf + 0 1553946516.329 * * [simplify]: Extracting #2: cost 14 inf + 2 1553946516.329 * * [simplify]: Extracting #3: cost 14 inf + 60 1553946516.329 * * [simplify]: Extracting #4: cost 10 inf + 338 1553946516.329 * * [simplify]: Extracting #5: cost 5 inf + 1227 1553946516.330 * * [simplify]: Extracting #6: cost 1 inf + 2495 1553946516.330 * * [simplify]: Extracting #7: cost 0 inf + 2852 1553946516.331 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946516.331 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1553946516.331 * * * * [progress]: [ 52 / 85 ] simplifiying candidate # 1553946516.331 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.331 * * [simplify]: iters left: 5 (6 enodes) 1553946516.332 * * [simplify]: iters left: 4 (23 enodes) 1553946516.336 * * [simplify]: iters left: 3 (36 enodes) 1553946516.342 * * [simplify]: iters left: 2 (43 enodes) 1553946516.347 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.347 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.347 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.347 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.347 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.347 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.347 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.348 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.348 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.348 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ (+ 1/2 1/2) 1))) 1553946516.348 * * * * [progress]: [ 53 / 85 ] simplifiying candidate # 1553946516.348 * * * * [progress]: [ 54 / 85 ] simplifiying candidate # 1553946516.348 * [simplify]: Simplifying (+ (+ (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.348 * * [simplify]: iters left: 6 (11 enodes) 1553946516.351 * * [simplify]: iters left: 5 (41 enodes) 1553946516.357 * * [simplify]: iters left: 4 (58 enodes) 1553946516.366 * * [simplify]: iters left: 3 (66 enodes) 1553946516.376 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.376 * * [simplify]: Extracting #1: cost 6 inf + 0 1553946516.376 * * [simplify]: Extracting #2: cost 12 inf + 0 1553946516.376 * * [simplify]: Extracting #3: cost 15 inf + 0 1553946516.376 * * [simplify]: Extracting #4: cost 18 inf + 0 1553946516.376 * * [simplify]: Extracting #5: cost 21 inf + 1 1553946516.376 * * [simplify]: Extracting #6: cost 22 inf + 58 1553946516.376 * * [simplify]: Extracting #7: cost 14 inf + 1294 1553946516.377 * * [simplify]: Extracting #8: cost 4 inf + 4528 1553946516.378 * * [simplify]: Extracting #9: cost 0 inf + 6526 1553946516.378 * [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))))))) 1553946516.378 * [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))))))))) 1553946516.379 * * * * [progress]: [ 55 / 85 ] simplifiying candidate # 1553946516.379 * [simplify]: Simplifying (+ (log (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.379 * * [simplify]: iters left: 6 (11 enodes) 1553946516.382 * * [simplify]: iters left: 5 (37 enodes) 1553946516.390 * * [simplify]: iters left: 4 (59 enodes) 1553946516.405 * * [simplify]: iters left: 3 (68 enodes) 1553946516.412 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.413 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946516.413 * * [simplify]: Extracting #2: cost 10 inf + 0 1553946516.413 * * [simplify]: Extracting #3: cost 13 inf + 0 1553946516.413 * * [simplify]: Extracting #4: cost 16 inf + 0 1553946516.413 * * [simplify]: Extracting #5: cost 19 inf + 1 1553946516.413 * * [simplify]: Extracting #6: cost 20 inf + 58 1553946516.413 * * [simplify]: Extracting #7: cost 16 inf + 391 1553946516.413 * * [simplify]: Extracting #8: cost 13 inf + 711 1553946516.413 * * [simplify]: Extracting #9: cost 9 inf + 1919 1553946516.414 * * [simplify]: Extracting #10: cost 3 inf + 3991 1553946516.415 * * [simplify]: Extracting #11: cost 0 inf + 5372 1553946516.415 * [simplify]: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946516.415 * [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)))))))) 1553946516.415 * * * * [progress]: [ 56 / 85 ] simplifiying candidate # 1553946516.415 * * * * [progress]: [ 57 / 85 ] simplifiying candidate # 1553946516.416 * * * * [progress]: [ 58 / 85 ] simplifiying candidate # 1553946516.416 * [simplify]: Simplifying (* (* (* (* (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)))))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.416 * * [simplify]: iters left: 6 (13 enodes) 1553946516.419 * * [simplify]: iters left: 5 (54 enodes) 1553946516.432 * * [simplify]: iters left: 4 (110 enodes) 1553946516.467 * * [simplify]: iters left: 3 (169 enodes) 1553946516.502 * * [simplify]: iters left: 2 (188 enodes) 1553946516.535 * * [simplify]: iters left: 1 (195 enodes) 1553946516.560 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.561 * * [simplify]: Extracting #1: cost 16 inf + 0 1553946516.561 * * [simplify]: Extracting #2: cost 28 inf + 3 1553946516.561 * * [simplify]: Extracting #3: cost 29 inf + 6 1553946516.561 * * [simplify]: Extracting #4: cost 30 inf + 63 1553946516.561 * * [simplify]: Extracting #5: cost 26 inf + 341 1553946516.562 * * [simplify]: Extracting #6: cost 15 inf + 3132 1553946516.563 * * [simplify]: Extracting #7: cost 4 inf + 7099 1553946516.565 * * [simplify]: Extracting #8: cost 0 inf + 8567 1553946516.568 * [simplify]: Simplified to (* (atan2 1 (fma N (+ N 1) 1)) (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))) 1553946516.568 * [simplify]: Simplified (2 1) to (λ (N) (cbrt (* (atan2 1 (fma N (+ N 1) 1)) (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))))) 1553946516.568 * * * * [progress]: [ 59 / 85 ] simplifiying candidate # 1553946516.568 * [simplify]: Simplifying (* (* (* (* (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)))))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946516.568 * * [simplify]: iters left: 6 (13 enodes) 1553946516.572 * * [simplify]: iters left: 5 (52 enodes) 1553946516.581 * * [simplify]: iters left: 4 (109 enodes) 1553946516.619 * * [simplify]: iters left: 3 (190 enodes) 1553946516.656 * * [simplify]: iters left: 2 (200 enodes) 1553946516.680 * * [simplify]: iters left: 1 (208 enodes) 1553946516.710 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.710 * * [simplify]: Extracting #1: cost 16 inf + 0 1553946516.710 * * [simplify]: Extracting #2: cost 28 inf + 3 1553946516.710 * * [simplify]: Extracting #3: cost 29 inf + 6 1553946516.711 * * [simplify]: Extracting #4: cost 30 inf + 63 1553946516.711 * * [simplify]: Extracting #5: cost 26 inf + 341 1553946516.712 * * [simplify]: Extracting #6: cost 17 inf + 2418 1553946516.715 * * [simplify]: Extracting #7: cost 4 inf + 7059 1553946516.719 * * [simplify]: Extracting #8: cost 0 inf + 8567 1553946516.722 * [simplify]: Simplified to (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1))) 1553946516.722 * [simplify]: Simplified (2 1) to (λ (N) (cbrt (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1))))) 1553946516.722 * * * * [progress]: [ 60 / 85 ] simplifiying candidate # 1553946516.722 * * * * [progress]: [ 61 / 85 ] simplifiying candidate # 1553946516.722 * * * * [progress]: [ 62 / 85 ] simplifiying candidate # 1553946516.722 * [simplify]: Simplifying (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (atan2 1 (fma N (+ N 1) 1))) 1553946516.722 * * [simplify]: iters left: 6 (8 enodes) 1553946516.725 * * [simplify]: iters left: 5 (30 enodes) 1553946516.732 * * [simplify]: iters left: 4 (50 enodes) 1553946516.740 * * [simplify]: iters left: 3 (62 enodes) 1553946516.748 * * [simplify]: iters left: 2 (64 enodes) 1553946516.756 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.756 * * [simplify]: Extracting #1: cost 6 inf + 0 1553946516.756 * * [simplify]: Extracting #2: cost 11 inf + 1 1553946516.756 * * [simplify]: Extracting #3: cost 13 inf + 3 1553946516.756 * * [simplify]: Extracting #4: cost 15 inf + 4 1553946516.756 * * [simplify]: Extracting #5: cost 10 inf + 338 1553946516.757 * * [simplify]: Extracting #6: cost 3 inf + 1781 1553946516.757 * * [simplify]: Extracting #7: cost 0 inf + 2692 1553946516.758 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1553946516.758 * [simplify]: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1553946516.758 * * * * [progress]: [ 63 / 85 ] simplifiying candidate # 1553946516.758 * * * * [progress]: [ 64 / 85 ] simplifiying candidate # 1553946516.758 * * * * [progress]: [ 65 / 85 ] simplifiying candidate # 1553946516.758 * [simplify]: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.758 * * [simplify]: iters left: 6 (7 enodes) 1553946516.760 * * [simplify]: iters left: 5 (26 enodes) 1553946516.765 * * [simplify]: iters left: 4 (39 enodes) 1553946516.771 * * [simplify]: iters left: 3 (46 enodes) 1553946516.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.777 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.777 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946516.777 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946516.777 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946516.777 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946516.778 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946516.778 * * [simplify]: Extracting #7: cost 1 inf + 1859 1553946516.778 * * [simplify]: Extracting #8: cost 0 inf + 2216 1553946516.779 * [simplify]: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.779 * [simplify]: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1553946516.779 * * * * [progress]: [ 66 / 85 ] simplifiying candidate # 1553946516.779 * [simplify]: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.779 * * [simplify]: iters left: 6 (7 enodes) 1553946516.781 * * [simplify]: iters left: 5 (26 enodes) 1553946516.785 * * [simplify]: iters left: 4 (39 enodes) 1553946516.792 * * [simplify]: iters left: 3 (46 enodes) 1553946516.797 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.797 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.797 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946516.797 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946516.797 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946516.798 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946516.798 * * [simplify]: Extracting #6: cost 5 inf + 987 1553946516.798 * * [simplify]: Extracting #7: cost 1 inf + 1939 1553946516.798 * * [simplify]: Extracting #8: cost 0 inf + 2296 1553946516.799 * [simplify]: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.799 * [simplify]: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (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)))))) 1553946516.799 * * * * [progress]: [ 67 / 85 ] simplifiying candidate # 1553946516.799 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.799 * * [simplify]: iters left: 6 (7 enodes) 1553946516.801 * * [simplify]: iters left: 5 (26 enodes) 1553946516.809 * * [simplify]: iters left: 4 (39 enodes) 1553946516.822 * * [simplify]: iters left: 3 (46 enodes) 1553946516.835 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.835 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.835 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946516.835 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946516.835 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946516.835 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946516.835 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946516.836 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946516.836 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946516.836 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.836 * [simplify]: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1553946516.837 * * * * [progress]: [ 68 / 85 ] simplifiying candidate # 1553946516.837 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.837 * * [simplify]: iters left: 5 (6 enodes) 1553946516.839 * * [simplify]: iters left: 4 (23 enodes) 1553946516.843 * * [simplify]: iters left: 3 (36 enodes) 1553946516.849 * * [simplify]: iters left: 2 (43 enodes) 1553946516.854 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.854 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.854 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.854 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.854 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.854 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.854 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.855 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.855 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.855 * [simplify]: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946516.855 * * * * [progress]: [ 69 / 85 ] simplifiying candidate # 1553946516.855 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.855 * * [simplify]: iters left: 6 (7 enodes) 1553946516.857 * * [simplify]: iters left: 5 (26 enodes) 1553946516.861 * * [simplify]: iters left: 4 (39 enodes) 1553946516.868 * * [simplify]: iters left: 3 (46 enodes) 1553946516.873 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.873 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.873 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946516.873 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946516.873 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946516.874 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946516.874 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946516.874 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946516.874 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946516.875 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.875 * [simplify]: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1553946516.875 * * * * [progress]: [ 70 / 85 ] simplifiying candidate # 1553946516.875 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.875 * * [simplify]: iters left: 5 (6 enodes) 1553946516.877 * * [simplify]: iters left: 4 (23 enodes) 1553946516.880 * * [simplify]: iters left: 3 (36 enodes) 1553946516.886 * * [simplify]: iters left: 2 (43 enodes) 1553946516.891 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.891 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.891 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.891 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.891 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.892 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.892 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.892 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.892 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.892 * [simplify]: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946516.892 * * * * [progress]: [ 71 / 85 ] simplifiying candidate # 1553946516.892 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.893 * * [simplify]: iters left: 6 (7 enodes) 1553946516.896 * * [simplify]: iters left: 5 (26 enodes) 1553946516.904 * * [simplify]: iters left: 4 (39 enodes) 1553946516.917 * * [simplify]: iters left: 3 (46 enodes) 1553946516.930 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.930 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.930 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946516.931 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946516.931 * * [simplify]: Extracting #4: cost 11 inf + 1 1553946516.931 * * [simplify]: Extracting #5: cost 9 inf + 294 1553946516.931 * * [simplify]: Extracting #6: cost 5 inf + 947 1553946516.932 * * [simplify]: Extracting #7: cost 1 inf + 1819 1553946516.933 * * [simplify]: Extracting #8: cost 0 inf + 2136 1553946516.933 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1553946516.933 * [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)))))) 1553946516.933 * * * * [progress]: [ 72 / 85 ] simplifiying candidate #real (real->posit16 (* (* (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)))))))> 1553946516.934 * * * * [progress]: [ 73 / 85 ] simplifiying candidate # 1553946516.934 * * * * [progress]: [ 74 / 85 ] simplifiying candidate # 1553946516.934 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.934 * * [simplify]: iters left: 5 (6 enodes) 1553946516.938 * * [simplify]: iters left: 4 (23 enodes) 1553946516.945 * * [simplify]: iters left: 3 (36 enodes) 1553946516.951 * * [simplify]: iters left: 2 (43 enodes) 1553946516.956 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.956 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.956 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.956 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.956 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.956 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.957 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.957 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.957 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.957 * [simplify]: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946516.957 * * * * [progress]: [ 75 / 85 ] simplifiying candidate # 1553946516.958 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.958 * * [simplify]: iters left: 5 (6 enodes) 1553946516.959 * * [simplify]: iters left: 4 (23 enodes) 1553946516.963 * * [simplify]: iters left: 3 (36 enodes) 1553946516.969 * * [simplify]: iters left: 2 (43 enodes) 1553946516.974 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.974 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.974 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.974 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.974 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.975 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.975 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.975 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.975 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.975 * [simplify]: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946516.975 * * * * [progress]: [ 76 / 85 ] simplifiying candidate # 1553946516.975 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.975 * * [simplify]: iters left: 5 (6 enodes) 1553946516.977 * * [simplify]: iters left: 4 (23 enodes) 1553946516.981 * * [simplify]: iters left: 3 (36 enodes) 1553946516.987 * * [simplify]: iters left: 2 (43 enodes) 1553946516.992 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946516.992 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946516.992 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946516.992 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946516.992 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946516.992 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946516.992 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946516.993 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946516.993 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946516.993 * [simplify]: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1553946516.993 * * * * [progress]: [ 77 / 85 ] simplifiying candidate # 1553946516.993 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946516.993 * * [simplify]: iters left: 5 (6 enodes) 1553946516.995 * * [simplify]: iters left: 4 (23 enodes) 1553946516.999 * * [simplify]: iters left: 3 (36 enodes) 1553946517.005 * * [simplify]: iters left: 2 (43 enodes) 1553946517.014 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.014 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946517.014 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946517.014 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946517.014 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946517.014 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946517.015 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946517.015 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946517.015 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946517.015 * [simplify]: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946517.015 * * * * [progress]: [ 78 / 85 ] simplifiying candidate # 1553946517.016 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946517.016 * * [simplify]: iters left: 5 (6 enodes) 1553946517.018 * * [simplify]: iters left: 4 (23 enodes) 1553946517.023 * * [simplify]: iters left: 3 (36 enodes) 1553946517.030 * * [simplify]: iters left: 2 (43 enodes) 1553946517.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.036 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946517.036 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946517.036 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946517.036 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946517.036 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946517.037 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946517.037 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946517.037 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946517.037 * [simplify]: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946517.037 * * * * [progress]: [ 79 / 85 ] simplifiying candidate # 1553946517.037 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946517.038 * * [simplify]: iters left: 5 (6 enodes) 1553946517.039 * * [simplify]: iters left: 4 (23 enodes) 1553946517.043 * * [simplify]: iters left: 3 (36 enodes) 1553946517.049 * * [simplify]: iters left: 2 (43 enodes) 1553946517.055 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.055 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946517.055 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946517.055 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946517.055 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946517.055 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946517.055 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946517.055 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946517.056 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946517.056 * [simplify]: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946517.056 * * * * [progress]: [ 80 / 85 ] simplifiying candidate # 1553946517.056 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946517.056 * * [simplify]: iters left: 5 (6 enodes) 1553946517.059 * * [simplify]: iters left: 4 (23 enodes) 1553946517.066 * * [simplify]: iters left: 3 (36 enodes) 1553946517.072 * * [simplify]: iters left: 2 (43 enodes) 1553946517.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.078 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946517.078 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946517.078 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946517.078 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946517.078 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946517.078 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946517.078 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946517.079 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946517.079 * [simplify]: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946517.079 * * * * [progress]: [ 81 / 85 ] simplifiying candidate # 1553946517.079 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946517.079 * * [simplify]: iters left: 5 (6 enodes) 1553946517.081 * * [simplify]: iters left: 4 (23 enodes) 1553946517.085 * * [simplify]: iters left: 3 (36 enodes) 1553946517.091 * * [simplify]: iters left: 2 (43 enodes) 1553946517.096 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.096 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946517.096 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946517.096 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946517.096 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946517.096 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946517.096 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946517.097 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946517.097 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946517.097 * [simplify]: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946517.097 * * * * [progress]: [ 82 / 85 ] simplifiying candidate # 1553946517.097 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1553946517.097 * * [simplify]: iters left: 5 (6 enodes) 1553946517.099 * * [simplify]: iters left: 4 (23 enodes) 1553946517.103 * * [simplify]: iters left: 3 (36 enodes) 1553946517.108 * * [simplify]: iters left: 2 (43 enodes) 1553946517.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.115 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946517.115 * * [simplify]: Extracting #2: cost 6 inf + 0 1553946517.115 * * [simplify]: Extracting #3: cost 9 inf + 1 1553946517.116 * * [simplify]: Extracting #4: cost 10 inf + 44 1553946517.116 * * [simplify]: Extracting #5: cost 6 inf + 336 1553946517.116 * * [simplify]: Extracting #6: cost 1 inf + 1225 1553946517.116 * * [simplify]: Extracting #7: cost 0 inf + 1502 1553946517.116 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1553946517.116 * [simplify]: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1553946517.116 * * * * [progress]: [ 83 / 85 ] simplifiying candidate # 1553946517.117 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946517.117 * * [simplify]: iters left: 4 (5 enodes) 1553946517.119 * * [simplify]: iters left: 3 (20 enodes) 1553946517.125 * * [simplify]: iters left: 2 (33 enodes) 1553946517.134 * * [simplify]: iters left: 1 (40 enodes) 1553946517.142 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.142 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946517.142 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946517.142 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946517.143 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946517.143 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946517.143 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946517.143 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946517.143 * * * * [progress]: [ 84 / 85 ] simplifiying candidate # 1553946517.143 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946517.143 * * [simplify]: iters left: 4 (5 enodes) 1553946517.145 * * [simplify]: iters left: 3 (20 enodes) 1553946517.148 * * [simplify]: iters left: 2 (33 enodes) 1553946517.154 * * [simplify]: iters left: 1 (40 enodes) 1553946517.159 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.159 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946517.159 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946517.159 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946517.159 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946517.160 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946517.160 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946517.160 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946517.160 * * * * [progress]: [ 85 / 85 ] simplifiying candidate # 1553946517.160 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1553946517.160 * * [simplify]: iters left: 4 (5 enodes) 1553946517.162 * * [simplify]: iters left: 3 (20 enodes) 1553946517.165 * * [simplify]: iters left: 2 (33 enodes) 1553946517.171 * * [simplify]: iters left: 1 (40 enodes) 1553946517.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946517.176 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946517.176 * * [simplify]: Extracting #2: cost 7 inf + 1 1553946517.176 * * [simplify]: Extracting #3: cost 3 inf + 768 1553946517.176 * * [simplify]: Extracting #4: cost 1 inf + 907 1553946517.176 * * [simplify]: Extracting #5: cost 0 inf + 948 1553946517.176 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1553946517.176 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1553946517.176 * * * [progress]: adding candidates to table 1553946517.967 * [progress]: [Phase 3 of 3] Extracting. 1553946517.967 * * [regime]: Finding splitpoints for: (# # # # # #) 1553946517.967 * * * [regime-changes]: Trying 1 branch expressions: (N) 1553946517.967 * * * * [regimes]: Trying to branch on N from (# # # # # #) 1553946518.001 * * * [regime]: Found split indices: #