1552124237.718 * [progress]: [Phase 1 of 3] Setting up. 1552124237.718 * * * [progress]: [1/2] Preparing points 1552124237.782 * * * [progress]: [2/2] Setting up program. 1552124237.784 * [progress]: [Phase 2 of 3] Improving. 1552124237.784 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552124237.785 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1552124237.785 * * [simplify]: iters left: 5 (6 enodes) 1552124237.787 * * [simplify]: iters left: 4 (23 enodes) 1552124237.790 * * [simplify]: iters left: 3 (28 enodes) 1552124237.803 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124237.803 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124237.803 * * [simplify]: Extracting #2: cost 10 inf + 0 1552124237.803 * * [simplify]: Extracting #3: cost 11 inf + 1 1552124237.803 * * [simplify]: Extracting #4: cost 6 inf + 298 1552124237.803 * * [simplify]: Extracting #5: cost 1 inf + 1176 1552124237.804 * * [simplify]: Extracting #6: cost 0 inf + 1468 1552124237.804 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124237.804 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1552124237.807 * * [progress]: iteration 1 / 4 1552124237.807 * * * [progress]: picking best candidate 1552124237.811 * * * * [pick]: Picked # 1552124237.811 * * * [progress]: localizing error 1552124237.832 * * * [progress]: generating rewritten candidates 1552124237.832 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1552124237.843 * * * [progress]: generating series expansions 1552124237.843 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1552124237.843 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1552124237.843 * [approximate]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1552124237.843 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1552124237.843 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1552124237.843 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1552124237.843 * [taylor]: Taking taylor expansion of (atan N) in N 1552124237.844 * [backup-simplify]: Simplify (atan N) into (atan N) 1552124237.844 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1552124237.844 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1552124237.844 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1552124237.844 * [taylor]: Taking taylor expansion of (atan N) in N 1552124237.844 * [backup-simplify]: Simplify (atan N) into (atan N) 1552124237.844 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 1552124237.844 * [backup-simplify]: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1552124237.844 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1552124237.845 * [backup-simplify]: Simplify (- 0) into 0 1552124237.845 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.845 * [backup-simplify]: Simplify 0 into 0 1552124237.845 * [backup-simplify]: Simplify (- 0) into 0 1552124237.846 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.846 * [backup-simplify]: Simplify 0 into 0 1552124237.846 * [backup-simplify]: Simplify (- 0) into 0 1552124237.847 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.847 * [backup-simplify]: Simplify 0 into 0 1552124237.847 * [backup-simplify]: Simplify (- 0) into 0 1552124237.847 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.847 * [backup-simplify]: Simplify 0 into 0 1552124237.848 * [backup-simplify]: Simplify (- 0) into 0 1552124237.848 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.848 * [backup-simplify]: Simplify 0 into 0 1552124237.848 * [backup-simplify]: Simplify (- 0) into 0 1552124237.849 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.849 * [backup-simplify]: Simplify 0 into 0 1552124237.849 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1552124237.849 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1552124237.849 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1552124237.849 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1552124237.849 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1552124237.849 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1552124237.849 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1552124237.849 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1552124237.849 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1552124237.849 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1552124237.849 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1552124237.850 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1552124237.850 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1552124237.850 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1552124237.850 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1552124237.850 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1552124237.850 * [backup-simplify]: Simplify (- 0) into 0 1552124237.851 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.851 * [backup-simplify]: Simplify 0 into 0 1552124237.851 * [backup-simplify]: Simplify (- 0) into 0 1552124237.851 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.851 * [backup-simplify]: Simplify 0 into 0 1552124237.852 * [backup-simplify]: Simplify (- 0) into 0 1552124237.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.852 * [backup-simplify]: Simplify 0 into 0 1552124237.853 * [backup-simplify]: Simplify (- 0) into 0 1552124237.853 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.853 * [backup-simplify]: Simplify 0 into 0 1552124237.853 * [backup-simplify]: Simplify (- 0) into 0 1552124237.854 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.854 * [backup-simplify]: Simplify 0 into 0 1552124237.854 * [backup-simplify]: Simplify (- 0) into 0 1552124237.854 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.854 * [backup-simplify]: Simplify 0 into 0 1552124237.855 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1552124237.855 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1552124237.855 * [approximate]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1552124237.855 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1552124237.855 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1552124237.855 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1552124237.855 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1552124237.855 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1552124237.855 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1552124237.855 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1552124237.855 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1552124237.855 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1552124237.855 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1552124237.855 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1552124237.856 * [backup-simplify]: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1552124237.856 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1552124237.856 * [backup-simplify]: Simplify (- 0) into 0 1552124237.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.857 * [backup-simplify]: Simplify 0 into 0 1552124237.857 * [backup-simplify]: Simplify (- 0) into 0 1552124237.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.857 * [backup-simplify]: Simplify 0 into 0 1552124237.858 * [backup-simplify]: Simplify (- 0) into 0 1552124237.858 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.858 * [backup-simplify]: Simplify 0 into 0 1552124237.858 * [backup-simplify]: Simplify (- 0) into 0 1552124237.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.859 * [backup-simplify]: Simplify 0 into 0 1552124237.859 * [backup-simplify]: Simplify (- 0) into 0 1552124237.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.860 * [backup-simplify]: Simplify 0 into 0 1552124237.860 * [backup-simplify]: Simplify (- 0) into 0 1552124237.860 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124237.860 * [backup-simplify]: Simplify 0 into 0 1552124237.861 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1552124237.861 * * * [progress]: simplifying candidates 1552124237.861 * * * * [progress]: [ 1 / 33 ] simplifiying candidate # 1552124237.861 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1552124237.861 * * [simplify]: iters left: 6 (12 enodes) 1552124237.867 * * [simplify]: iters left: 5 (48 enodes) 1552124237.882 * * [simplify]: iters left: 4 (65 enodes) 1552124237.900 * * [simplify]: iters left: 3 (71 enodes) 1552124237.918 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124237.918 * * [simplify]: Extracting #1: cost 11 inf + 0 1552124237.918 * * [simplify]: Extracting #2: cost 23 inf + 0 1552124237.918 * * [simplify]: Extracting #3: cost 23 inf + 2 1552124237.919 * * [simplify]: Extracting #4: cost 21 inf + 109 1552124237.919 * * [simplify]: Extracting #5: cost 9 inf + 2015 1552124237.920 * * [simplify]: Extracting #6: cost 1 inf + 3998 1552124237.921 * * [simplify]: Extracting #7: cost 0 inf + 4265 1552124237.922 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124237.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))))))) 1552124237.923 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1552124237.923 * * [simplify]: iters left: 6 (7 enodes) 1552124237.926 * * [simplify]: iters left: 5 (26 enodes) 1552124237.934 * * [simplify]: iters left: 4 (37 enodes) 1552124237.953 * * [simplify]: iters left: 3 (60 enodes) 1552124237.970 * * [simplify]: iters left: 2 (70 enodes) 1552124237.982 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124237.982 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124237.982 * [simplify]: Simplified to 0 1552124237.982 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1552124237.982 * * * * [progress]: [ 2 / 33 ] simplifiying candidate # 1552124237.982 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1552124237.982 * * [simplify]: iters left: 6 (11 enodes) 1552124237.986 * * [simplify]: iters left: 5 (39 enodes) 1552124237.993 * * [simplify]: iters left: 4 (49 enodes) 1552124238.001 * * [simplify]: iters left: 3 (54 enodes) 1552124238.015 * * [simplify]: iters left: 2 (56 enodes) 1552124238.022 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.022 * * [simplify]: Extracting #1: cost 9 inf + 0 1552124238.022 * * [simplify]: Extracting #2: cost 19 inf + 0 1552124238.023 * * [simplify]: Extracting #3: cost 19 inf + 2 1552124238.023 * * [simplify]: Extracting #4: cost 12 inf + 839 1552124238.023 * * [simplify]: Extracting #5: cost 7 inf + 1402 1552124238.023 * * [simplify]: Extracting #6: cost 1 inf + 2829 1552124238.024 * * [simplify]: Extracting #7: cost 0 inf + 3121 1552124238.024 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.024 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1552124238.024 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1552124238.024 * * [simplify]: iters left: 5 (6 enodes) 1552124238.026 * * [simplify]: iters left: 4 (18 enodes) 1552124238.028 * * [simplify]: iters left: 3 (26 enodes) 1552124238.032 * * [simplify]: iters left: 2 (34 enodes) 1552124238.037 * * [simplify]: iters left: 1 (36 enodes) 1552124238.041 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.041 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124238.041 * [simplify]: Simplified to 0 1552124238.041 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1552124238.041 * * * * [progress]: [ 3 / 33 ] simplifiying candidate # 1552124238.041 * [simplify]: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) 1552124238.042 * * [simplify]: iters left: 6 (10 enodes) 1552124238.047 * * [simplify]: iters left: 5 (39 enodes) 1552124238.055 * * [simplify]: iters left: 4 (52 enodes) 1552124238.064 * * [simplify]: iters left: 3 (63 enodes) 1552124238.072 * * [simplify]: iters left: 2 (65 enodes) 1552124238.079 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.079 * * [simplify]: Extracting #1: cost 9 inf + 0 1552124238.079 * * [simplify]: Extracting #2: cost 15 inf + 2 1552124238.079 * * [simplify]: Extracting #3: cost 14 inf + 4 1552124238.079 * * [simplify]: Extracting #4: cost 7 inf + 886 1552124238.080 * * [simplify]: Extracting #5: cost 0 inf + 2458 1552124238.080 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.080 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1552124238.080 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1552124238.080 * * [simplify]: iters left: 4 (6 enodes) 1552124238.082 * * [simplify]: iters left: 3 (21 enodes) 1552124238.086 * * [simplify]: iters left: 2 (31 enodes) 1552124238.092 * * [simplify]: iters left: 1 (35 enodes) 1552124238.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.102 * * [simplify]: Extracting #1: cost 7 inf + 0 1552124238.102 * * [simplify]: Extracting #2: cost 7 inf + 3 1552124238.102 * * [simplify]: Extracting #3: cost 2 inf + 510 1552124238.102 * * [simplify]: Extracting #4: cost 0 inf + 802 1552124238.103 * [simplify]: Simplified to (* (atan N) 0) 1552124238.103 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (* (atan N) 0))) 1552124238.103 * * * * [progress]: [ 4 / 33 ] simplifiying candidate # 1552124238.103 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1552124238.103 * * [simplify]: iters left: 6 (11 enodes) 1552124238.109 * * [simplify]: iters left: 5 (45 enodes) 1552124238.124 * * [simplify]: iters left: 4 (58 enodes) 1552124238.137 * * [simplify]: iters left: 3 (59 enodes) 1552124238.144 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.144 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124238.144 * * [simplify]: Extracting #2: cost 17 inf + 0 1552124238.144 * * [simplify]: Extracting #3: cost 21 inf + 2 1552124238.145 * * [simplify]: Extracting #4: cost 17 inf + 361 1552124238.145 * * [simplify]: Extracting #5: cost 9 inf + 1483 1552124238.145 * * [simplify]: Extracting #6: cost 0 inf + 3651 1552124238.146 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.146 * [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))))))) 1552124238.146 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1552124238.146 * * [simplify]: iters left: 6 (7 enodes) 1552124238.147 * * [simplify]: iters left: 5 (26 enodes) 1552124238.152 * * [simplify]: iters left: 4 (37 enodes) 1552124238.160 * * [simplify]: iters left: 3 (60 enodes) 1552124238.171 * * [simplify]: iters left: 2 (70 enodes) 1552124238.184 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.184 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124238.184 * [simplify]: Simplified to 0 1552124238.184 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1552124238.184 * * * * [progress]: [ 5 / 33 ] simplifiying candidate # 1552124238.184 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1552124238.184 * * [simplify]: iters left: 6 (10 enodes) 1552124238.186 * * [simplify]: iters left: 5 (36 enodes) 1552124238.192 * * [simplify]: iters left: 4 (42 enodes) 1552124238.198 * * [simplify]: iters left: 3 (46 enodes) 1552124238.204 * * [simplify]: iters left: 2 (54 enodes) 1552124238.212 * * [simplify]: iters left: 1 (71 enodes) 1552124238.225 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.225 * * [simplify]: Extracting #1: cost 14 inf + 0 1552124238.225 * * [simplify]: Extracting #2: cost 34 inf + 0 1552124238.225 * * [simplify]: Extracting #3: cost 35 inf + 1 1552124238.226 * * [simplify]: Extracting #4: cost 31 inf + 400 1552124238.226 * * [simplify]: Extracting #5: cost 17 inf + 3183 1552124238.227 * * [simplify]: Extracting #6: cost 3 inf + 8526 1552124238.229 * * [simplify]: Extracting #7: cost 0 inf + 9762 1552124238.230 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.230 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1552124238.231 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1552124238.231 * * [simplify]: iters left: 5 (6 enodes) 1552124238.232 * * [simplify]: iters left: 4 (18 enodes) 1552124238.236 * * [simplify]: iters left: 3 (26 enodes) 1552124238.243 * * [simplify]: iters left: 2 (34 enodes) 1552124238.252 * * [simplify]: iters left: 1 (36 enodes) 1552124238.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.262 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124238.262 * [simplify]: Simplified to 0 1552124238.262 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1552124238.262 * * * * [progress]: [ 6 / 33 ] simplifiying candidate # 1552124238.263 * [simplify]: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) 1552124238.263 * * [simplify]: iters left: 6 (9 enodes) 1552124238.268 * * [simplify]: iters left: 5 (36 enodes) 1552124238.280 * * [simplify]: iters left: 4 (45 enodes) 1552124238.293 * * [simplify]: iters left: 3 (50 enodes) 1552124238.305 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.305 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124238.305 * * [simplify]: Extracting #2: cost 14 inf + 0 1552124238.305 * * [simplify]: Extracting #3: cost 12 inf + 3 1552124238.305 * * [simplify]: Extracting #4: cost 6 inf + 592 1552124238.306 * * [simplify]: Extracting #5: cost 0 inf + 1843 1552124238.306 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.306 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1552124238.306 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1552124238.306 * * [simplify]: iters left: 4 (6 enodes) 1552124238.308 * * [simplify]: iters left: 3 (21 enodes) 1552124238.312 * * [simplify]: iters left: 2 (31 enodes) 1552124238.317 * * [simplify]: iters left: 1 (35 enodes) 1552124238.322 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.322 * * [simplify]: Extracting #1: cost 7 inf + 0 1552124238.322 * * [simplify]: Extracting #2: cost 7 inf + 3 1552124238.323 * * [simplify]: Extracting #3: cost 2 inf + 510 1552124238.323 * * [simplify]: Extracting #4: cost 0 inf + 802 1552124238.323 * [simplify]: Simplified to (* (atan N) 0) 1552124238.323 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (* (atan N) 0))) 1552124238.323 * * * * [progress]: [ 7 / 33 ] simplifiying candidate # 1552124238.323 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1552124238.323 * * [simplify]: iters left: 6 (10 enodes) 1552124238.326 * * [simplify]: iters left: 5 (42 enodes) 1552124238.333 * * [simplify]: iters left: 4 (56 enodes) 1552124238.341 * * [simplify]: iters left: 3 (60 enodes) 1552124238.348 * * [simplify]: iters left: 2 (61 enodes) 1552124238.362 * * [simplify]: iters left: 1 (65 enodes) 1552124238.378 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.378 * * [simplify]: Extracting #1: cost 10 inf + 0 1552124238.378 * * [simplify]: Extracting #2: cost 19 inf + 1 1552124238.379 * * [simplify]: Extracting #3: cost 17 inf + 109 1552124238.379 * * [simplify]: Extracting #4: cost 8 inf + 1508 1552124238.380 * * [simplify]: Extracting #5: cost 2 inf + 2785 1552124238.381 * * [simplify]: Extracting #6: cost 0 inf + 3277 1552124238.381 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1552124238.381 * [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))))))) 1552124238.382 * [simplify]: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1552124238.382 * * [simplify]: iters left: 6 (7 enodes) 1552124238.384 * * [simplify]: iters left: 5 (26 enodes) 1552124238.388 * * [simplify]: iters left: 4 (37 enodes) 1552124238.394 * * [simplify]: iters left: 3 (60 enodes) 1552124238.403 * * [simplify]: iters left: 2 (70 enodes) 1552124238.412 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.413 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124238.413 * [simplify]: Simplified to 0 1552124238.413 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1552124238.413 * * * * [progress]: [ 8 / 33 ] simplifiying candidate # 1552124238.413 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1552124238.413 * * [simplify]: iters left: 6 (9 enodes) 1552124238.417 * * [simplify]: iters left: 5 (33 enodes) 1552124238.428 * * [simplify]: iters left: 4 (40 enodes) 1552124238.439 * * [simplify]: iters left: 3 (44 enodes) 1552124238.448 * * [simplify]: iters left: 2 (45 enodes) 1552124238.459 * * [simplify]: iters left: 1 (47 enodes) 1552124238.470 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.470 * * [simplify]: Extracting #1: cost 8 inf + 0 1552124238.470 * * [simplify]: Extracting #2: cost 14 inf + 1 1552124238.471 * * [simplify]: Extracting #3: cost 14 inf + 2 1552124238.471 * * [simplify]: Extracting #4: cost 2 inf + 1548 1552124238.471 * * [simplify]: Extracting #5: cost 0 inf + 2132 1552124238.472 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1552124238.472 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1552124238.473 * [simplify]: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1552124238.473 * * [simplify]: iters left: 5 (6 enodes) 1552124238.475 * * [simplify]: iters left: 4 (18 enodes) 1552124238.480 * * [simplify]: iters left: 3 (26 enodes) 1552124238.488 * * [simplify]: iters left: 2 (34 enodes) 1552124238.498 * * [simplify]: iters left: 1 (36 enodes) 1552124238.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.506 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124238.506 * [simplify]: Simplified to 0 1552124238.506 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1552124238.506 * * * * [progress]: [ 9 / 33 ] simplifiying candidate # 1552124238.507 * [simplify]: Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) 1552124238.507 * * [simplify]: iters left: 6 (8 enodes) 1552124238.512 * * [simplify]: iters left: 5 (33 enodes) 1552124238.523 * * [simplify]: iters left: 4 (43 enodes) 1552124238.535 * * [simplify]: iters left: 3 (49 enodes) 1552124238.541 * * [simplify]: iters left: 2 (51 enodes) 1552124238.548 * * [simplify]: iters left: 1 (55 enodes) 1552124238.553 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.553 * * [simplify]: Extracting #1: cost 7 inf + 0 1552124238.554 * * [simplify]: Extracting #2: cost 10 inf + 2 1552124238.554 * * [simplify]: Extracting #3: cost 10 inf + 3 1552124238.554 * * [simplify]: Extracting #4: cost 2 inf + 1177 1552124238.554 * * [simplify]: Extracting #5: cost 0 inf + 1469 1552124238.554 * [simplify]: Simplified to (- (atan (+ N 1)) (atan N)) 1552124238.554 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1552124238.555 * [simplify]: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1552124238.555 * * [simplify]: iters left: 4 (6 enodes) 1552124238.556 * * [simplify]: iters left: 3 (21 enodes) 1552124238.560 * * [simplify]: iters left: 2 (31 enodes) 1552124238.565 * * [simplify]: iters left: 1 (35 enodes) 1552124238.574 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.574 * * [simplify]: Extracting #1: cost 7 inf + 0 1552124238.574 * * [simplify]: Extracting #2: cost 7 inf + 3 1552124238.574 * * [simplify]: Extracting #3: cost 2 inf + 510 1552124238.575 * * [simplify]: Extracting #4: cost 0 inf + 802 1552124238.575 * [simplify]: Simplified to (* (atan N) 0) 1552124238.575 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (* (atan N) 0))) 1552124238.575 * * * * [progress]: [ 10 / 33 ] simplifiying candidate # 1552124238.575 * * * * [progress]: [ 11 / 33 ] simplifiying candidate # 1552124238.575 * * * * [progress]: [ 12 / 33 ] simplifiying candidate # 1552124238.575 * [simplify]: Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) 1552124238.575 * * [simplify]: iters left: 6 (6 enodes) 1552124238.578 * * [simplify]: iters left: 5 (21 enodes) 1552124238.584 * * [simplify]: iters left: 4 (23 enodes) 1552124238.590 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.590 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124238.590 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124238.590 * * [simplify]: Extracting #3: cost 7 inf + 0 1552124238.590 * * [simplify]: Extracting #4: cost 10 inf + 0 1552124238.590 * * [simplify]: Extracting #5: cost 8 inf + 2 1552124238.590 * * [simplify]: Extracting #6: cost 0 inf + 1368 1552124238.591 * [simplify]: Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) 1552124238.591 * [simplify]: Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N)))) 1552124238.591 * * * * [progress]: [ 13 / 33 ] simplifiying candidate # 1552124238.591 * [simplify]: Simplifying (sqrt (atan (+ N 1))) 1552124238.591 * * [simplify]: iters left: 4 (5 enodes) 1552124238.594 * * [simplify]: iters left: 3 (18 enodes) 1552124238.598 * * [simplify]: iters left: 2 (20 enodes) 1552124238.601 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.601 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124238.601 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124238.601 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124238.601 * * [simplify]: Extracting #4: cost 6 inf + 2 1552124238.601 * * [simplify]: Extracting #5: cost 0 inf + 754 1552124238.601 * [simplify]: Simplified to (sqrt (atan (+ 1 N))) 1552124238.601 * [simplify]: Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N)))) 1552124238.601 * * * * [progress]: [ 14 / 33 ] simplifiying candidate # 1552124238.601 * * * * [progress]: [ 15 / 33 ] simplifiying candidate # 1552124238.602 * [simplify]: Simplifying (- (+ N 1) N) 1552124238.602 * * [simplify]: iters left: 4 (4 enodes) 1552124238.603 * * [simplify]: iters left: 3 (19 enodes) 1552124238.606 * * [simplify]: iters left: 2 (33 enodes) 1552124238.614 * * [simplify]: iters left: 1 (39 enodes) 1552124238.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.618 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124238.618 * [simplify]: Simplified to 1 1552124238.618 * [simplify]: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1552124238.618 * [simplify]: Simplifying (+ 1 (* (+ N 1) N)) 1552124238.618 * * [simplify]: iters left: 6 (5 enodes) 1552124238.620 * * [simplify]: iters left: 5 (20 enodes) 1552124238.623 * * [simplify]: iters left: 4 (31 enodes) 1552124238.628 * * [simplify]: iters left: 3 (37 enodes) 1552124238.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.632 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124238.632 * * [simplify]: Extracting #2: cost 6 inf + 58 1552124238.632 * * [simplify]: Extracting #3: cost 1 inf + 433 1552124238.633 * * [simplify]: Extracting #4: cost 0 inf + 474 1552124238.633 * [simplify]: Simplified to (fma N (+ N 1) 1) 1552124238.633 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124238.633 * * * * [progress]: [ 16 / 33 ] simplifiying candidate # 1552124238.633 * [simplify]: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1552124238.633 * * [simplify]: iters left: 6 (8 enodes) 1552124238.635 * * [simplify]: iters left: 5 (29 enodes) 1552124238.640 * * [simplify]: iters left: 4 (35 enodes) 1552124238.645 * * [simplify]: iters left: 3 (40 enodes) 1552124238.656 * * [simplify]: iters left: 2 (44 enodes) 1552124238.668 * * [simplify]: iters left: 1 (48 enodes) 1552124238.682 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.682 * * [simplify]: Extracting #1: cost 9 inf + 0 1552124238.682 * * [simplify]: Extracting #2: cost 15 inf + 1 1552124238.682 * * [simplify]: Extracting #3: cost 20 inf + 1 1552124238.683 * * [simplify]: Extracting #4: cost 20 inf + 2 1552124238.683 * * [simplify]: Extracting #5: cost 16 inf + 339 1552124238.683 * * [simplify]: Extracting #6: cost 0 inf + 4059 1552124238.685 * [simplify]: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1552124238.685 * [simplify]: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1552124238.685 * * * * [progress]: [ 17 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 18 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 19 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 20 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 21 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 22 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 23 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 24 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 25 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 26 / 33 ] simplifiying candidate # 1552124238.685 * * * * [progress]: [ 27 / 33 ] simplifiying candidate # 1552124238.686 * [simplify]: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1552124238.686 * * [simplify]: iters left: 6 (8 enodes) 1552124238.690 * * [simplify]: iters left: 5 (28 enodes) 1552124238.697 * * [simplify]: iters left: 4 (30 enodes) 1552124238.704 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.705 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124238.705 * * [simplify]: Extracting #2: cost 8 inf + 0 1552124238.705 * * [simplify]: Extracting #3: cost 12 inf + 0 1552124238.705 * * [simplify]: Extracting #4: cost 10 inf + 359 1552124238.705 * * [simplify]: Extracting #5: cost 8 inf + 506 1552124238.705 * * [simplify]: Extracting #6: cost 5 inf + 737 1552124238.705 * * [simplify]: Extracting #7: cost 1 inf + 1630 1552124238.706 * * [simplify]: Extracting #8: cost 0 inf + 2002 1552124238.706 * [simplify]: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1552124238.706 * [simplify]: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1552124238.706 * [simplify]: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1552124238.706 * * [simplify]: iters left: 6 (8 enodes) 1552124238.710 * * [simplify]: iters left: 5 (29 enodes) 1552124238.718 * * [simplify]: iters left: 4 (34 enodes) 1552124238.724 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.724 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124238.724 * * [simplify]: Extracting #2: cost 10 inf + 0 1552124238.724 * * [simplify]: Extracting #3: cost 14 inf + 0 1552124238.725 * * [simplify]: Extracting #4: cost 15 inf + 1 1552124238.725 * * [simplify]: Extracting #5: cost 13 inf + 108 1552124238.725 * * [simplify]: Extracting #6: cost 5 inf + 1109 1552124238.725 * * [simplify]: Extracting #7: cost 0 inf + 2374 1552124238.726 * [simplify]: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1552124238.727 * [simplify]: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1552124238.727 * * * * [progress]: [ 28 / 33 ] simplifiying candidate # 1552124238.727 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1552124238.727 * * [simplify]: iters left: 5 (6 enodes) 1552124238.729 * * [simplify]: iters left: 4 (23 enodes) 1552124238.732 * * [simplify]: iters left: 3 (28 enodes) 1552124238.737 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.737 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124238.737 * * [simplify]: Extracting #2: cost 10 inf + 0 1552124238.737 * * [simplify]: Extracting #3: cost 11 inf + 1 1552124238.737 * * [simplify]: Extracting #4: cost 6 inf + 298 1552124238.737 * * [simplify]: Extracting #5: cost 1 inf + 1176 1552124238.737 * * [simplify]: Extracting #6: cost 0 inf + 1468 1552124238.737 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.737 * [simplify]: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1552124238.737 * * * * [progress]: [ 29 / 33 ] simplifiying candidate # 1552124238.738 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #real (real->posit16 (- (atan (+ N 1)) (atan N)))))> 1552124238.738 * * * * [progress]: [ 31 / 33 ] simplifiying candidate # 1552124238.738 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1552124238.738 * * [simplify]: iters left: 5 (6 enodes) 1552124238.739 * * [simplify]: iters left: 4 (23 enodes) 1552124238.743 * * [simplify]: iters left: 3 (28 enodes) 1552124238.747 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.747 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124238.747 * * [simplify]: Extracting #2: cost 10 inf + 0 1552124238.747 * * [simplify]: Extracting #3: cost 11 inf + 1 1552124238.747 * * [simplify]: Extracting #4: cost 6 inf + 298 1552124238.748 * * [simplify]: Extracting #5: cost 1 inf + 1176 1552124238.748 * * [simplify]: Extracting #6: cost 0 inf + 1468 1552124238.748 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.748 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1552124238.748 * * * * [progress]: [ 32 / 33 ] simplifiying candidate # 1552124238.748 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1552124238.748 * * [simplify]: iters left: 5 (6 enodes) 1552124238.750 * * [simplify]: iters left: 4 (23 enodes) 1552124238.754 * * [simplify]: iters left: 3 (28 enodes) 1552124238.758 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.758 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124238.758 * * [simplify]: Extracting #2: cost 10 inf + 0 1552124238.758 * * [simplify]: Extracting #3: cost 11 inf + 1 1552124238.758 * * [simplify]: Extracting #4: cost 6 inf + 298 1552124238.758 * * [simplify]: Extracting #5: cost 1 inf + 1176 1552124238.758 * * [simplify]: Extracting #6: cost 0 inf + 1468 1552124238.758 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.758 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1552124238.759 * * * * [progress]: [ 33 / 33 ] simplifiying candidate # 1552124238.759 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1552124238.759 * * [simplify]: iters left: 5 (6 enodes) 1552124238.761 * * [simplify]: iters left: 4 (23 enodes) 1552124238.765 * * [simplify]: iters left: 3 (28 enodes) 1552124238.770 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124238.770 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124238.770 * * [simplify]: Extracting #2: cost 10 inf + 0 1552124238.770 * * [simplify]: Extracting #3: cost 11 inf + 1 1552124238.770 * * [simplify]: Extracting #4: cost 6 inf + 298 1552124238.770 * * [simplify]: Extracting #5: cost 1 inf + 1176 1552124238.771 * * [simplify]: Extracting #6: cost 0 inf + 1468 1552124238.771 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1552124238.771 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1552124238.771 * * * [progress]: adding candidates to table 1552124239.028 * * [progress]: iteration 2 / 4 1552124239.028 * * * [progress]: picking best candidate 1552124239.033 * * * * [pick]: Picked # 1552124239.033 * * * [progress]: localizing error 1552124239.040 * * * [progress]: generating rewritten candidates 1552124239.040 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1552124239.040 * * * [progress]: generating series expansions 1552124239.040 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.041 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1552124239.041 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.041 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.041 * [backup-simplify]: Simplify 0 into 0 1552124239.041 * [backup-simplify]: Simplify 0 into 0 1552124239.041 * [backup-simplify]: Simplify 0 into 0 1552124239.041 * [backup-simplify]: Simplify 0 into 0 1552124239.041 * [backup-simplify]: Simplify 0 into 0 1552124239.041 * [backup-simplify]: Simplify 0 into 0 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.041 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1552124239.041 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.041 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.041 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.041 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.042 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.042 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1552124239.042 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.042 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.042 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.042 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.042 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify 0 into 0 1552124239.042 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.042 * * * [progress]: simplifying candidates 1552124239.042 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 1552124239.042 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 9 / 13 ] simplifiying candidate # 1552124239.043 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #real (real->posit16 (atan2 1 (fma N (+ N 1) 1)))))> 1552124239.043 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 1552124239.043 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124239.043 * * [simplify]: iters left: 4 (5 enodes) 1552124239.045 * * [simplify]: iters left: 3 (20 enodes) 1552124239.049 * * [simplify]: iters left: 2 (33 enodes) 1552124239.058 * * [simplify]: iters left: 1 (40 enodes) 1552124239.062 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.062 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124239.062 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124239.062 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124239.063 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124239.063 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124239.063 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124239.063 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124239.063 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 1552124239.063 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124239.063 * * [simplify]: iters left: 4 (5 enodes) 1552124239.065 * * [simplify]: iters left: 3 (20 enodes) 1552124239.068 * * [simplify]: iters left: 2 (33 enodes) 1552124239.074 * * [simplify]: iters left: 1 (40 enodes) 1552124239.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.079 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124239.079 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124239.079 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124239.079 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124239.079 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124239.079 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124239.079 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124239.079 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 1552124239.080 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124239.080 * * [simplify]: iters left: 4 (5 enodes) 1552124239.081 * * [simplify]: iters left: 3 (20 enodes) 1552124239.085 * * [simplify]: iters left: 2 (33 enodes) 1552124239.091 * * [simplify]: iters left: 1 (40 enodes) 1552124239.100 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.100 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124239.100 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124239.101 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124239.101 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124239.101 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124239.102 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124239.102 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124239.102 * * * [progress]: adding candidates to table 1552124239.216 * * [progress]: iteration 3 / 4 1552124239.216 * * * [progress]: picking best candidate 1552124239.226 * * * * [pick]: Picked # 1552124239.226 * * * [progress]: localizing error 1552124239.235 * * * [progress]: generating rewritten candidates 1552124239.235 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1552124239.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1552124239.237 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1552124239.243 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1552124239.244 * * * [progress]: generating series expansions 1552124239.244 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1552124239.244 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.244 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1552124239.244 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124239.244 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.244 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.244 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.244 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.244 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124239.244 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.244 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.244 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.245 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.245 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.245 * [backup-simplify]: Simplify 0 into 0 1552124239.246 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.246 * [backup-simplify]: Simplify 0 into 0 1552124239.246 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.246 * [backup-simplify]: Simplify 0 into 0 1552124239.247 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.247 * [backup-simplify]: Simplify 0 into 0 1552124239.248 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.248 * [backup-simplify]: Simplify 0 into 0 1552124239.248 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.248 * [backup-simplify]: Simplify 0 into 0 1552124239.248 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.248 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.248 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1552124239.248 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124239.248 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.249 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.249 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.249 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.249 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124239.249 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.249 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.249 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.249 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.249 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.249 * [backup-simplify]: Simplify 0 into 0 1552124239.250 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.250 * [backup-simplify]: Simplify 0 into 0 1552124239.250 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.250 * [backup-simplify]: Simplify 0 into 0 1552124239.251 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.251 * [backup-simplify]: Simplify 0 into 0 1552124239.252 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.252 * [backup-simplify]: Simplify 0 into 0 1552124239.252 * [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 1552124239.252 * [backup-simplify]: Simplify 0 into 0 1552124239.252 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.253 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.253 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1552124239.253 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124239.253 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.253 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.253 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.253 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124239.253 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.253 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.253 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.253 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.253 * [backup-simplify]: Simplify 0 into 0 1552124239.254 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.254 * [backup-simplify]: Simplify 0 into 0 1552124239.255 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.255 * [backup-simplify]: Simplify 0 into 0 1552124239.255 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.255 * [backup-simplify]: Simplify 0 into 0 1552124239.256 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.256 * [backup-simplify]: Simplify 0 into 0 1552124239.257 * [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 1552124239.257 * [backup-simplify]: Simplify 0 into 0 1552124239.257 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.257 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1552124239.257 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.257 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1552124239.257 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124239.257 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.257 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.257 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.257 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.257 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124239.257 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.257 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.257 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.257 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.257 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.258 * [backup-simplify]: Simplify 0 into 0 1552124239.258 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.258 * [backup-simplify]: Simplify 0 into 0 1552124239.259 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.259 * [backup-simplify]: Simplify 0 into 0 1552124239.259 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.259 * [backup-simplify]: Simplify 0 into 0 1552124239.260 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.260 * [backup-simplify]: Simplify 0 into 0 1552124239.261 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124239.261 * [backup-simplify]: Simplify 0 into 0 1552124239.261 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.261 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.261 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1552124239.261 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124239.261 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.261 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.261 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.261 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.261 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124239.261 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.261 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.261 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.261 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.262 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124239.262 * [backup-simplify]: Simplify 0 into 0 1552124239.262 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.262 * [backup-simplify]: Simplify 0 into 0 1552124239.263 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.263 * [backup-simplify]: Simplify 0 into 0 1552124239.263 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.264 * [backup-simplify]: Simplify 0 into 0 1552124239.264 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124239.264 * [backup-simplify]: Simplify 0 into 0 1552124239.265 * [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 1552124239.265 * [backup-simplify]: Simplify 0 into 0 1552124239.265 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.265 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.265 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1552124239.265 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124239.265 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.265 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.265 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.266 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.266 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124239.266 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.266 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.266 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.266 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.266 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124239.266 * [backup-simplify]: Simplify 0 into 0 1552124239.267 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.267 * [backup-simplify]: Simplify 0 into 0 1552124239.267 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.267 * [backup-simplify]: Simplify 0 into 0 1552124239.268 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.269 * [backup-simplify]: Simplify 0 into 0 1552124239.269 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124239.269 * [backup-simplify]: Simplify 0 into 0 1552124239.270 * [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 1552124239.270 * [backup-simplify]: Simplify 0 into 0 1552124239.270 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.270 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1552124239.270 * [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)) 1552124239.270 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1552124239.270 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.270 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.270 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.270 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.270 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.270 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.271 * [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)) 1552124239.271 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1552124239.271 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.271 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.271 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.271 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.271 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify 0 into 0 1552124239.271 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.272 * [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)) 1552124239.272 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1552124239.272 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.272 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.272 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.272 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.272 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.272 * [backup-simplify]: Simplify 0 into 0 1552124239.272 * [backup-simplify]: Simplify 0 into 0 1552124239.272 * [backup-simplify]: Simplify 0 into 0 1552124239.272 * [backup-simplify]: Simplify 0 into 0 1552124239.272 * [backup-simplify]: Simplify 0 into 0 1552124239.272 * [backup-simplify]: Simplify 0 into 0 1552124239.272 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.272 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1552124239.272 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.272 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1552124239.272 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.272 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.272 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.273 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1552124239.273 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.273 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify 0 into 0 1552124239.273 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.274 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.274 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1552124239.274 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.274 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.274 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124239.274 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.274 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124239.274 * [backup-simplify]: Simplify 0 into 0 1552124239.274 * [backup-simplify]: Simplify 0 into 0 1552124239.274 * [backup-simplify]: Simplify 0 into 0 1552124239.274 * [backup-simplify]: Simplify 0 into 0 1552124239.274 * [backup-simplify]: Simplify 0 into 0 1552124239.274 * [backup-simplify]: Simplify 0 into 0 1552124239.274 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124239.274 * * * [progress]: simplifying candidates 1552124239.274 * * * * [progress]: [ 1 / 85 ] simplifiying candidate # 1552124239.274 * * * * [progress]: [ 2 / 85 ] simplifiying candidate # 1552124239.274 * * * * [progress]: [ 3 / 85 ] simplifiying candidate # 1552124239.274 * * * * [progress]: [ 4 / 85 ] simplifiying candidate # 1552124239.274 * * * * [progress]: [ 5 / 85 ] simplifiying candidate # 1552124239.274 * * * * [progress]: [ 6 / 85 ] simplifiying candidate # 1552124239.275 * * * * [progress]: [ 7 / 85 ] simplifiying candidate # 1552124239.275 * * * * [progress]: [ 8 / 85 ] simplifiying candidate # 1552124239.275 * * * * [progress]: [ 9 / 85 ] simplifiying candidate # 1552124239.275 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1552124239.275 * * [simplify]: iters left: 6 (8 enodes) 1552124239.277 * * [simplify]: iters left: 5 (30 enodes) 1552124239.282 * * [simplify]: iters left: 4 (43 enodes) 1552124239.289 * * [simplify]: iters left: 3 (50 enodes) 1552124239.295 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.295 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124239.296 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124239.296 * * [simplify]: Extracting #3: cost 10 inf + 0 1552124239.296 * * [simplify]: Extracting #4: cost 13 inf + 1 1552124239.296 * * [simplify]: Extracting #5: cost 15 inf + 2 1552124239.296 * * [simplify]: Extracting #6: cost 10 inf + 336 1552124239.296 * * [simplify]: Extracting #7: cost 5 inf + 1385 1552124239.296 * * [simplify]: Extracting #8: cost 0 inf + 3010 1552124239.297 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1552124239.297 * [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))))))) 1552124239.297 * * * * [progress]: [ 10 / 85 ] simplifiying candidate # 1552124239.297 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.297 * * [simplify]: iters left: 6 (7 enodes) 1552124239.299 * * [simplify]: iters left: 5 (26 enodes) 1552124239.306 * * [simplify]: iters left: 4 (39 enodes) 1552124239.317 * * [simplify]: iters left: 3 (46 enodes) 1552124239.328 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.328 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.328 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.329 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124239.329 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124239.329 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124239.329 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124239.330 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124239.330 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124239.331 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.331 * [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))))))) 1552124239.331 * * * * [progress]: [ 11 / 85 ] simplifiying candidate # 1552124239.331 * [simplify]: Simplifying (sqrt 1) 1552124239.331 * * [simplify]: iters left: 1 (2 enodes) 1552124239.334 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.334 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124239.334 * [simplify]: Simplified to 1 1552124239.334 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1552124239.334 * * * * [progress]: [ 12 / 85 ] simplifiying candidate # 1552124239.335 * * * * [progress]: [ 13 / 85 ] simplifiying candidate # 1552124239.335 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.335 * * [simplify]: iters left: 5 (6 enodes) 1552124239.341 * * [simplify]: iters left: 4 (23 enodes) 1552124239.349 * * [simplify]: iters left: 3 (36 enodes) 1552124239.360 * * [simplify]: iters left: 2 (43 enodes) 1552124239.370 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.370 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.370 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.371 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.371 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.371 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.371 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.372 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.372 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124239.372 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) 1552124239.372 * * * * [progress]: [ 14 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))> 1552124239.373 * * * * [progress]: [ 16 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 17 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 18 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 19 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 20 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 21 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 22 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 23 / 85 ] simplifiying candidate # 1552124239.373 * * * * [progress]: [ 24 / 85 ] simplifiying candidate # 1552124239.373 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1552124239.373 * * [simplify]: iters left: 6 (8 enodes) 1552124239.376 * * [simplify]: iters left: 5 (30 enodes) 1552124239.381 * * [simplify]: iters left: 4 (43 enodes) 1552124239.387 * * [simplify]: iters left: 3 (50 enodes) 1552124239.393 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.393 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124239.393 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124239.393 * * [simplify]: Extracting #3: cost 10 inf + 0 1552124239.393 * * [simplify]: Extracting #4: cost 13 inf + 1 1552124239.394 * * [simplify]: Extracting #5: cost 15 inf + 2 1552124239.394 * * [simplify]: Extracting #6: cost 10 inf + 336 1552124239.394 * * [simplify]: Extracting #7: cost 5 inf + 1385 1552124239.394 * * [simplify]: Extracting #8: cost 0 inf + 3010 1552124239.395 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1552124239.395 * [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))))) 1552124239.395 * * * * [progress]: [ 25 / 85 ] simplifiying candidate # 1552124239.395 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.395 * * [simplify]: iters left: 6 (7 enodes) 1552124239.397 * * [simplify]: iters left: 5 (26 enodes) 1552124239.401 * * [simplify]: iters left: 4 (39 enodes) 1552124239.409 * * [simplify]: iters left: 3 (46 enodes) 1552124239.420 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.420 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.420 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.420 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124239.420 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124239.420 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124239.420 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124239.421 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124239.421 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124239.422 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.422 * [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))))) 1552124239.422 * * * * [progress]: [ 26 / 85 ] simplifiying candidate # 1552124239.423 * [simplify]: Simplifying (sqrt 1) 1552124239.423 * * [simplify]: iters left: 1 (2 enodes) 1552124239.426 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.426 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124239.426 * [simplify]: Simplified to 1 1552124239.426 * [simplify]: Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124239.426 * * * * [progress]: [ 27 / 85 ] simplifiying candidate # 1552124239.427 * * * * [progress]: [ 28 / 85 ] simplifiying candidate # 1552124239.427 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.427 * * [simplify]: iters left: 5 (6 enodes) 1552124239.430 * * [simplify]: iters left: 4 (23 enodes) 1552124239.438 * * [simplify]: iters left: 3 (36 enodes) 1552124239.449 * * [simplify]: iters left: 2 (43 enodes) 1552124239.459 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.459 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.459 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.459 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.459 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.459 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.459 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.459 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.460 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124239.460 * [simplify]: Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124239.460 * * * * [progress]: [ 29 / 85 ] simplifiying candidate # 1552124239.460 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> 1552124239.460 * * * * [progress]: [ 31 / 85 ] simplifiying candidate # 1552124239.460 * * * * [progress]: [ 32 / 85 ] simplifiying candidate # 1552124239.460 * * * * [progress]: [ 33 / 85 ] simplifiying candidate # 1552124239.460 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124239.460 * * [simplify]: iters left: 4 (5 enodes) 1552124239.463 * * [simplify]: iters left: 3 (20 enodes) 1552124239.466 * * [simplify]: iters left: 2 (33 enodes) 1552124239.472 * * [simplify]: iters left: 1 (40 enodes) 1552124239.476 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.477 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124239.477 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124239.477 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124239.477 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124239.477 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124239.477 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124239.477 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) (+ 1/2 1/2))) 1552124239.478 * [simplify]: Simplifying (+ 1/2 1/2) 1552124239.478 * * [simplify]: iters left: 2 (2 enodes) 1552124239.479 * * [simplify]: iters left: 1 (7 enodes) 1552124239.481 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.481 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124239.481 * [simplify]: Simplified to 1 1552124239.481 * [simplify]: Simplified (2 2) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1552124239.481 * * * * [progress]: [ 34 / 85 ] simplifiying candidate # 1552124239.481 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.481 * * [simplify]: iters left: 5 (6 enodes) 1552124239.483 * * [simplify]: iters left: 4 (23 enodes) 1552124239.486 * * [simplify]: iters left: 3 (36 enodes) 1552124239.494 * * [simplify]: iters left: 2 (43 enodes) 1552124239.504 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.505 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.505 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.505 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.505 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.505 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.505 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.506 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.506 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124239.506 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1552124239.507 * [simplify]: Simplifying (+ 1 1) 1552124239.507 * * [simplify]: iters left: 2 (2 enodes) 1552124239.509 * * [simplify]: iters left: 1 (9 enodes) 1552124239.512 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.512 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124239.512 * [simplify]: Simplified to 2 1552124239.512 * [simplify]: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1552124239.512 * * * * [progress]: [ 35 / 85 ] simplifiying candidate # 1552124239.513 * [simplify]: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1552124239.513 * * [simplify]: iters left: 6 (6 enodes) 1552124239.516 * * [simplify]: iters left: 5 (23 enodes) 1552124239.523 * * [simplify]: iters left: 4 (36 enodes) 1552124239.534 * * [simplify]: iters left: 3 (43 enodes) 1552124239.544 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.544 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.544 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.544 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.544 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.544 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.544 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.545 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.545 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1552124239.545 * [simplify]: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1552124239.545 * * * * [progress]: [ 36 / 85 ] simplifiying candidate # 1552124239.546 * [simplify]: Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.546 * * [simplify]: iters left: 6 (7 enodes) 1552124239.549 * * [simplify]: iters left: 5 (24 enodes) 1552124239.555 * * [simplify]: iters left: 4 (38 enodes) 1552124239.562 * * [simplify]: iters left: 3 (45 enodes) 1552124239.567 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.568 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124239.568 * * [simplify]: Extracting #2: cost 9 inf + 1 1552124239.568 * * [simplify]: Extracting #3: cost 6 inf + 531 1552124239.568 * * [simplify]: Extracting #4: cost 2 inf + 1184 1552124239.568 * * [simplify]: Extracting #5: cost 0 inf + 1502 1552124239.569 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124239.569 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1552124239.569 * * * * [progress]: [ 37 / 85 ] simplifiying candidate # 1552124239.569 * * * * [progress]: [ 38 / 85 ] simplifiying candidate # 1552124239.569 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.569 * * [simplify]: iters left: 5 (6 enodes) 1552124239.571 * * [simplify]: iters left: 4 (23 enodes) 1552124239.576 * * [simplify]: iters left: 3 (36 enodes) 1552124239.583 * * [simplify]: iters left: 2 (43 enodes) 1552124239.593 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.593 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.593 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.593 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.593 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.594 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.594 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.595 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.595 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124239.595 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1552124239.595 * * * * [progress]: [ 39 / 85 ] simplifiying candidate # 1552124239.595 * * * * [progress]: [ 40 / 85 ] simplifiying candidate # 1552124239.596 * [simplify]: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124239.596 * * [simplify]: iters left: 6 (8 enodes) 1552124239.600 * * [simplify]: iters left: 5 (29 enodes) 1552124239.609 * * [simplify]: iters left: 4 (42 enodes) 1552124239.622 * * [simplify]: iters left: 3 (49 enodes) 1552124239.634 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.634 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.635 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.635 * * [simplify]: Extracting #3: cost 7 inf + 0 1552124239.635 * * [simplify]: Extracting #4: cost 10 inf + 0 1552124239.635 * * [simplify]: Extracting #5: cost 13 inf + 1 1552124239.635 * * [simplify]: Extracting #6: cost 15 inf + 2 1552124239.635 * * [simplify]: Extracting #7: cost 10 inf + 336 1552124239.635 * * [simplify]: Extracting #8: cost 5 inf + 1225 1552124239.636 * * [simplify]: Extracting #9: cost 0 inf + 2970 1552124239.637 * [simplify]: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124239.637 * [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)))))))) 1552124239.637 * * * * [progress]: [ 41 / 85 ] simplifiying candidate # 1552124239.637 * * * * [progress]: [ 42 / 85 ] simplifiying candidate # 1552124239.637 * * * * [progress]: [ 43 / 85 ] simplifiying candidate # 1552124239.638 * [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))))) 1552124239.638 * * [simplify]: iters left: 6 (9 enodes) 1552124239.643 * * [simplify]: iters left: 5 (35 enodes) 1552124239.655 * * [simplify]: iters left: 4 (63 enodes) 1552124239.674 * * [simplify]: iters left: 3 (76 enodes) 1552124239.684 * * [simplify]: iters left: 2 (81 enodes) 1552124239.694 * * [simplify]: iters left: 1 (86 enodes) 1552124239.708 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.708 * * [simplify]: Extracting #1: cost 9 inf + 0 1552124239.708 * * [simplify]: Extracting #2: cost 16 inf + 2 1552124239.708 * * [simplify]: Extracting #3: cost 17 inf + 5 1552124239.709 * * [simplify]: Extracting #4: cost 18 inf + 62 1552124239.709 * * [simplify]: Extracting #5: cost 13 inf + 437 1552124239.710 * * [simplify]: Extracting #6: cost 5 inf + 2588 1552124239.711 * * [simplify]: Extracting #7: cost 0 inf + 4173 1552124239.713 * * [simplify]: Extracting #8: cost 0 inf + 4042 1552124239.714 * [simplify]: Simplified to (* (atan2 1 (fma N (+ N 1) 1)) (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))) 1552124239.714 * [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)))))) 1552124239.714 * * * * [progress]: [ 44 / 85 ] simplifiying candidate # 1552124239.715 * * * * [progress]: [ 45 / 85 ] simplifiying candidate # 1552124239.715 * * * * [progress]: [ 46 / 85 ] simplifiying candidate # 1552124239.715 * [simplify]: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1552124239.715 * * [simplify]: iters left: 6 (6 enodes) 1552124239.718 * * [simplify]: iters left: 5 (23 enodes) 1552124239.726 * * [simplify]: iters left: 4 (36 enodes) 1552124239.738 * * [simplify]: iters left: 3 (43 enodes) 1552124239.748 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.748 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.748 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.749 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.749 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.749 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.749 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.750 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.750 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1552124239.750 * [simplify]: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1552124239.750 * * * * [progress]: [ 47 / 85 ] simplifiying candidate # 1552124239.750 * * * * [progress]: [ 48 / 85 ] simplifiying candidate # 1552124239.751 * [simplify]: Simplifying (fma N (+ N 1) 1) 1552124239.751 * * [simplify]: iters left: 3 (4 enodes) 1552124239.753 * * [simplify]: iters left: 2 (17 enodes) 1552124239.759 * * [simplify]: iters left: 1 (30 enodes) 1552124239.769 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.769 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124239.769 * * [simplify]: Extracting #2: cost 7 inf + 2 1552124239.769 * * [simplify]: Extracting #3: cost 1 inf + 433 1552124239.770 * * [simplify]: Extracting #4: cost 0 inf + 474 1552124239.770 * [simplify]: Simplified to (fma N (+ 1 N) 1) 1552124239.770 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1))) 1552124239.770 * * * * [progress]: [ 49 / 85 ] simplifiying candidate # 1552124239.770 * * * * [progress]: [ 50 / 85 ] simplifiying candidate # 1552124239.770 * [simplify]: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.771 * * [simplify]: iters left: 6 (7 enodes) 1552124239.774 * * [simplify]: iters left: 5 (26 enodes) 1552124239.780 * * [simplify]: iters left: 4 (39 enodes) 1552124239.787 * * [simplify]: iters left: 3 (46 enodes) 1552124239.792 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.792 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.792 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.792 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124239.792 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124239.792 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124239.793 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124239.793 * * [simplify]: Extracting #7: cost 1 inf + 1859 1552124239.793 * * [simplify]: Extracting #8: cost 0 inf + 2216 1552124239.793 * [simplify]: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.793 * [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)))))) 1552124239.794 * * * * [progress]: [ 51 / 85 ] simplifiying candidate # 1552124239.794 * [simplify]: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.794 * * [simplify]: iters left: 6 (7 enodes) 1552124239.796 * * [simplify]: iters left: 5 (26 enodes) 1552124239.800 * * [simplify]: iters left: 4 (39 enodes) 1552124239.806 * * [simplify]: iters left: 3 (46 enodes) 1552124239.813 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.813 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.813 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.813 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124239.813 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124239.814 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124239.814 * * [simplify]: Extracting #6: cost 5 inf + 987 1552124239.814 * * [simplify]: Extracting #7: cost 1 inf + 1939 1552124239.815 * * [simplify]: Extracting #8: cost 0 inf + 2296 1552124239.815 * [simplify]: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.815 * [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)))))) 1552124239.815 * * * * [progress]: [ 52 / 85 ] simplifiying candidate # 1552124239.816 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.816 * * [simplify]: iters left: 6 (7 enodes) 1552124239.820 * * [simplify]: iters left: 5 (26 enodes) 1552124239.828 * * [simplify]: iters left: 4 (39 enodes) 1552124239.841 * * [simplify]: iters left: 3 (46 enodes) 1552124239.852 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.852 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.852 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.852 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124239.852 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124239.852 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124239.852 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124239.853 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124239.854 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124239.854 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.854 * [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)))))) 1552124239.854 * * * * [progress]: [ 53 / 85 ] simplifiying candidate # 1552124239.855 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.855 * * [simplify]: iters left: 5 (6 enodes) 1552124239.858 * * [simplify]: iters left: 4 (23 enodes) 1552124239.865 * * [simplify]: iters left: 3 (36 enodes) 1552124239.877 * * [simplify]: iters left: 2 (43 enodes) 1552124239.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.887 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.887 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.887 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.887 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.887 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.887 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.888 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.888 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124239.888 * [simplify]: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124239.889 * * * * [progress]: [ 54 / 85 ] simplifiying candidate # 1552124239.889 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.889 * * [simplify]: iters left: 6 (7 enodes) 1552124239.892 * * [simplify]: iters left: 5 (26 enodes) 1552124239.897 * * [simplify]: iters left: 4 (39 enodes) 1552124239.903 * * [simplify]: iters left: 3 (46 enodes) 1552124239.908 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.908 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.908 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.908 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124239.908 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124239.908 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124239.909 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124239.909 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124239.909 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124239.909 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124239.910 * [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)))))) 1552124239.910 * * * * [progress]: [ 55 / 85 ] simplifiying candidate # 1552124239.910 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124239.910 * * [simplify]: iters left: 5 (6 enodes) 1552124239.912 * * [simplify]: iters left: 4 (23 enodes) 1552124239.915 * * [simplify]: iters left: 3 (36 enodes) 1552124239.921 * * [simplify]: iters left: 2 (43 enodes) 1552124239.926 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.926 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.927 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124239.927 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124239.927 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124239.927 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124239.927 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124239.927 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124239.927 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124239.927 * [simplify]: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124239.928 * * * * [progress]: [ 56 / 85 ] simplifiying candidate # 1552124239.928 * [simplify]: Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124239.928 * * [simplify]: iters left: 6 (8 enodes) 1552124239.930 * * [simplify]: iters left: 5 (29 enodes) 1552124239.941 * * [simplify]: iters left: 4 (42 enodes) 1552124239.954 * * [simplify]: iters left: 3 (49 enodes) 1552124239.966 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124239.966 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124239.966 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124239.966 * * [simplify]: Extracting #3: cost 7 inf + 0 1552124239.966 * * [simplify]: Extracting #4: cost 10 inf + 0 1552124239.966 * * [simplify]: Extracting #5: cost 13 inf + 1 1552124239.966 * * [simplify]: Extracting #6: cost 15 inf + 2 1552124239.966 * * [simplify]: Extracting #7: cost 10 inf + 336 1552124239.967 * * [simplify]: Extracting #8: cost 5 inf + 1225 1552124239.967 * * [simplify]: Extracting #9: cost 0 inf + 3010 1552124239.968 * [simplify]: Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124239.968 * [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)))))) 1552124239.968 * * * * [progress]: [ 57 / 85 ] simplifiying candidate # 1552124239.969 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1552124239.969 * * [simplify]: iters left: 6 (8 enodes) 1552124239.973 * * [simplify]: iters left: 5 (30 enodes) 1552124239.982 * * [simplify]: iters left: 4 (43 enodes) 1552124239.996 * * [simplify]: iters left: 3 (50 enodes) 1552124240.008 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.008 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124240.008 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124240.008 * * [simplify]: Extracting #3: cost 10 inf + 0 1552124240.008 * * [simplify]: Extracting #4: cost 13 inf + 1 1552124240.008 * * [simplify]: Extracting #5: cost 15 inf + 2 1552124240.009 * * [simplify]: Extracting #6: cost 10 inf + 336 1552124240.009 * * [simplify]: Extracting #7: cost 5 inf + 1385 1552124240.010 * * [simplify]: Extracting #8: cost 0 inf + 3010 1552124240.010 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1552124240.010 * [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)))))) 1552124240.011 * * * * [progress]: [ 58 / 85 ] simplifiying candidate # 1552124240.011 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124240.011 * * [simplify]: iters left: 6 (7 enodes) 1552124240.015 * * [simplify]: iters left: 5 (26 enodes) 1552124240.023 * * [simplify]: iters left: 4 (39 enodes) 1552124240.035 * * [simplify]: iters left: 3 (46 enodes) 1552124240.045 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.045 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.046 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124240.046 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124240.046 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124240.046 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124240.046 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124240.046 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124240.046 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124240.047 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124240.047 * [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)))))) 1552124240.047 * * * * [progress]: [ 59 / 85 ] simplifiying candidate # 1552124240.047 * [simplify]: Simplifying (sqrt 1) 1552124240.047 * * [simplify]: iters left: 1 (2 enodes) 1552124240.049 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.049 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124240.049 * [simplify]: Simplified to 1 1552124240.049 * [simplify]: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1552124240.049 * * * * [progress]: [ 60 / 85 ] simplifiying candidate # 1552124240.050 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124240.050 * * [simplify]: iters left: 6 (7 enodes) 1552124240.051 * * [simplify]: iters left: 5 (26 enodes) 1552124240.056 * * [simplify]: iters left: 4 (39 enodes) 1552124240.062 * * [simplify]: iters left: 3 (46 enodes) 1552124240.068 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.068 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.068 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124240.068 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124240.068 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124240.068 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124240.068 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124240.069 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124240.069 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124240.069 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124240.069 * [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)))))) 1552124240.069 * * * * [progress]: [ 61 / 85 ] simplifiying candidate # 1552124240.069 * * * * [progress]: [ 62 / 85 ] simplifiying candidate #real (real->posit16 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))))> 1552124240.069 * * * * [progress]: [ 63 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 64 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 65 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 66 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 67 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 68 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 69 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 70 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 71 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 72 / 85 ] simplifiying candidate # 1552124240.070 * * * * [progress]: [ 73 / 85 ] simplifiying candidate #real (real->posit16 (atan2 1 (fma N (+ N 1) 1)))))))> 1552124240.071 * * * * [progress]: [ 74 / 85 ] simplifiying candidate # 1552124240.071 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124240.071 * * [simplify]: iters left: 5 (6 enodes) 1552124240.073 * * [simplify]: iters left: 4 (23 enodes) 1552124240.077 * * [simplify]: iters left: 3 (36 enodes) 1552124240.083 * * [simplify]: iters left: 2 (43 enodes) 1552124240.089 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.089 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.089 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124240.089 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124240.089 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124240.089 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124240.089 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124240.089 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124240.090 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124240.090 * [simplify]: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124240.090 * * * * [progress]: [ 75 / 85 ] simplifiying candidate # 1552124240.090 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124240.090 * * [simplify]: iters left: 5 (6 enodes) 1552124240.092 * * [simplify]: iters left: 4 (23 enodes) 1552124240.097 * * [simplify]: iters left: 3 (36 enodes) 1552124240.108 * * [simplify]: iters left: 2 (43 enodes) 1552124240.114 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.114 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.114 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124240.114 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124240.114 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124240.114 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124240.114 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124240.114 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124240.115 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124240.115 * [simplify]: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124240.115 * * * * [progress]: [ 76 / 85 ] simplifiying candidate # 1552124240.115 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124240.115 * * [simplify]: iters left: 5 (6 enodes) 1552124240.117 * * [simplify]: iters left: 4 (23 enodes) 1552124240.120 * * [simplify]: iters left: 3 (36 enodes) 1552124240.126 * * [simplify]: iters left: 2 (43 enodes) 1552124240.131 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.131 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.131 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124240.131 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124240.131 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124240.131 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124240.131 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124240.132 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124240.132 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124240.132 * [simplify]: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124240.132 * * * * [progress]: [ 77 / 85 ] simplifiying candidate # 1552124240.132 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124240.132 * * [simplify]: iters left: 5 (6 enodes) 1552124240.134 * * [simplify]: iters left: 4 (23 enodes) 1552124240.138 * * [simplify]: iters left: 3 (36 enodes) 1552124240.150 * * [simplify]: iters left: 2 (43 enodes) 1552124240.160 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.160 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.160 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124240.160 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124240.160 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124240.160 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124240.161 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124240.161 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124240.161 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124240.162 * [simplify]: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124240.162 * * * * [progress]: [ 78 / 85 ] simplifiying candidate # 1552124240.162 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124240.162 * * [simplify]: iters left: 5 (6 enodes) 1552124240.165 * * [simplify]: iters left: 4 (23 enodes) 1552124240.172 * * [simplify]: iters left: 3 (36 enodes) 1552124240.184 * * [simplify]: iters left: 2 (43 enodes) 1552124240.189 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.189 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.189 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124240.189 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124240.189 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124240.189 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124240.189 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124240.190 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124240.190 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124240.190 * [simplify]: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124240.190 * * * * [progress]: [ 79 / 85 ] simplifiying candidate # 1552124240.190 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124240.190 * * [simplify]: iters left: 5 (6 enodes) 1552124240.192 * * [simplify]: iters left: 4 (23 enodes) 1552124240.196 * * [simplify]: iters left: 3 (36 enodes) 1552124240.202 * * [simplify]: iters left: 2 (43 enodes) 1552124240.207 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.207 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124240.207 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124240.207 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124240.207 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124240.207 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124240.207 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124240.207 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124240.208 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124240.208 * [simplify]: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124240.208 * * * * [progress]: [ 80 / 85 ] simplifiying candidate # 1552124240.208 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124240.208 * * [simplify]: iters left: 4 (5 enodes) 1552124240.209 * * [simplify]: iters left: 3 (20 enodes) 1552124240.213 * * [simplify]: iters left: 2 (33 enodes) 1552124240.219 * * [simplify]: iters left: 1 (40 enodes) 1552124240.228 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.228 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124240.228 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124240.228 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124240.229 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124240.229 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124240.229 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124240.229 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124240.229 * * * * [progress]: [ 81 / 85 ] simplifiying candidate # 1552124240.230 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124240.230 * * [simplify]: iters left: 4 (5 enodes) 1552124240.233 * * [simplify]: iters left: 3 (20 enodes) 1552124240.239 * * [simplify]: iters left: 2 (33 enodes) 1552124240.250 * * [simplify]: iters left: 1 (40 enodes) 1552124240.259 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.259 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124240.259 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124240.259 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124240.260 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124240.260 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124240.260 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124240.261 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124240.261 * * * * [progress]: [ 82 / 85 ] simplifiying candidate # 1552124240.261 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124240.261 * * [simplify]: iters left: 4 (5 enodes) 1552124240.264 * * [simplify]: iters left: 3 (20 enodes) 1552124240.270 * * [simplify]: iters left: 2 (33 enodes) 1552124240.282 * * [simplify]: iters left: 1 (40 enodes) 1552124240.287 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.287 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124240.287 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124240.287 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124240.287 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124240.287 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124240.287 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124240.287 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124240.287 * * * * [progress]: [ 83 / 85 ] simplifiying candidate # 1552124240.288 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124240.288 * * [simplify]: iters left: 4 (5 enodes) 1552124240.289 * * [simplify]: iters left: 3 (20 enodes) 1552124240.294 * * [simplify]: iters left: 2 (33 enodes) 1552124240.300 * * [simplify]: iters left: 1 (40 enodes) 1552124240.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.308 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124240.308 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124240.308 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124240.308 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124240.308 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124240.309 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124240.309 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124240.309 * * * * [progress]: [ 84 / 85 ] simplifiying candidate # 1552124240.309 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124240.309 * * [simplify]: iters left: 4 (5 enodes) 1552124240.312 * * [simplify]: iters left: 3 (20 enodes) 1552124240.319 * * [simplify]: iters left: 2 (33 enodes) 1552124240.329 * * [simplify]: iters left: 1 (40 enodes) 1552124240.338 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.338 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124240.338 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124240.339 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124240.339 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124240.339 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124240.340 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124240.340 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124240.340 * * * * [progress]: [ 85 / 85 ] simplifiying candidate # 1552124240.340 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124240.340 * * [simplify]: iters left: 4 (5 enodes) 1552124240.342 * * [simplify]: iters left: 3 (20 enodes) 1552124240.346 * * [simplify]: iters left: 2 (33 enodes) 1552124240.352 * * [simplify]: iters left: 1 (40 enodes) 1552124240.357 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124240.357 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124240.357 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124240.357 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124240.357 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124240.357 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124240.358 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124240.358 * [simplify]: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1552124240.358 * * * [progress]: adding candidates to table 1552124241.137 * * [progress]: iteration 4 / 4 1552124241.137 * * * [progress]: picking best candidate 1552124241.170 * * * * [pick]: Picked # 1552124241.170 * * * [progress]: localizing error 1552124241.182 * * * [progress]: generating rewritten candidates 1552124241.182 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1552124241.183 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1552124241.184 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1552124241.185 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1552124241.205 * * * [progress]: generating series expansions 1552124241.205 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1552124241.205 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.205 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1552124241.205 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124241.205 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.205 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.205 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.205 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.205 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124241.205 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.206 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.206 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.206 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.206 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.206 * [backup-simplify]: Simplify 0 into 0 1552124241.207 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.207 * [backup-simplify]: Simplify 0 into 0 1552124241.208 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.208 * [backup-simplify]: Simplify 0 into 0 1552124241.209 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.209 * [backup-simplify]: Simplify 0 into 0 1552124241.210 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.210 * [backup-simplify]: Simplify 0 into 0 1552124241.211 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.211 * [backup-simplify]: Simplify 0 into 0 1552124241.211 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.212 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.212 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1552124241.212 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124241.212 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.212 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.212 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.212 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.212 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124241.212 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.212 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.213 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.213 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.213 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.213 * [backup-simplify]: Simplify 0 into 0 1552124241.214 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.214 * [backup-simplify]: Simplify 0 into 0 1552124241.215 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.215 * [backup-simplify]: Simplify 0 into 0 1552124241.216 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.216 * [backup-simplify]: Simplify 0 into 0 1552124241.217 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.217 * [backup-simplify]: Simplify 0 into 0 1552124241.218 * [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 1552124241.218 * [backup-simplify]: Simplify 0 into 0 1552124241.218 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.219 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.219 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1552124241.219 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124241.219 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.219 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.219 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.219 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.219 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124241.219 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.219 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.220 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.220 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.220 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.220 * [backup-simplify]: Simplify 0 into 0 1552124241.221 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.221 * [backup-simplify]: Simplify 0 into 0 1552124241.222 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.222 * [backup-simplify]: Simplify 0 into 0 1552124241.223 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.223 * [backup-simplify]: Simplify 0 into 0 1552124241.224 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.224 * [backup-simplify]: Simplify 0 into 0 1552124241.225 * [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 1552124241.225 * [backup-simplify]: Simplify 0 into 0 1552124241.225 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.225 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1552124241.226 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.226 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1552124241.226 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124241.226 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.226 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.226 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.226 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.226 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124241.226 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.226 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.226 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.226 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.227 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.227 * [backup-simplify]: Simplify 0 into 0 1552124241.227 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.228 * [backup-simplify]: Simplify 0 into 0 1552124241.228 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.228 * [backup-simplify]: Simplify 0 into 0 1552124241.230 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.230 * [backup-simplify]: Simplify 0 into 0 1552124241.230 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.231 * [backup-simplify]: Simplify 0 into 0 1552124241.232 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.232 * [backup-simplify]: Simplify 0 into 0 1552124241.232 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.232 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.232 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1552124241.232 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124241.232 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.232 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.232 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.233 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.233 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124241.233 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.233 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.233 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.233 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.233 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.233 * [backup-simplify]: Simplify 0 into 0 1552124241.234 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.234 * [backup-simplify]: Simplify 0 into 0 1552124241.235 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.235 * [backup-simplify]: Simplify 0 into 0 1552124241.237 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.237 * [backup-simplify]: Simplify 0 into 0 1552124241.238 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.238 * [backup-simplify]: Simplify 0 into 0 1552124241.239 * [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 1552124241.239 * [backup-simplify]: Simplify 0 into 0 1552124241.239 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.239 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.239 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1552124241.239 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124241.239 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.239 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.240 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.240 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.240 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124241.240 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.240 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.240 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.241 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.241 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.241 * [backup-simplify]: Simplify 0 into 0 1552124241.242 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.242 * [backup-simplify]: Simplify 0 into 0 1552124241.243 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.243 * [backup-simplify]: Simplify 0 into 0 1552124241.244 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.244 * [backup-simplify]: Simplify 0 into 0 1552124241.245 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.245 * [backup-simplify]: Simplify 0 into 0 1552124241.246 * [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 1552124241.246 * [backup-simplify]: Simplify 0 into 0 1552124241.246 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.246 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1552124241.246 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.247 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1552124241.247 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124241.247 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.247 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.247 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.247 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.247 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1552124241.247 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.247 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.247 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.247 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.247 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.248 * [backup-simplify]: Simplify 0 into 0 1552124241.248 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.248 * [backup-simplify]: Simplify 0 into 0 1552124241.249 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.249 * [backup-simplify]: Simplify 0 into 0 1552124241.250 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.250 * [backup-simplify]: Simplify 0 into 0 1552124241.251 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.251 * [backup-simplify]: Simplify 0 into 0 1552124241.252 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1552124241.252 * [backup-simplify]: Simplify 0 into 0 1552124241.252 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.253 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.253 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1552124241.253 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124241.253 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.253 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.253 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.253 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1552124241.253 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.253 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.254 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.254 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.254 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1552124241.254 * [backup-simplify]: Simplify 0 into 0 1552124241.255 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.255 * [backup-simplify]: Simplify 0 into 0 1552124241.256 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.256 * [backup-simplify]: Simplify 0 into 0 1552124241.257 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.257 * [backup-simplify]: Simplify 0 into 0 1552124241.258 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1552124241.258 * [backup-simplify]: Simplify 0 into 0 1552124241.259 * [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 1552124241.259 * [backup-simplify]: Simplify 0 into 0 1552124241.260 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.260 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.260 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1552124241.260 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124241.260 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.260 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.260 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.260 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.260 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1552124241.260 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.261 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.261 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.261 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.261 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1552124241.261 * [backup-simplify]: Simplify 0 into 0 1552124241.262 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.262 * [backup-simplify]: Simplify 0 into 0 1552124241.263 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.263 * [backup-simplify]: Simplify 0 into 0 1552124241.264 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.264 * [backup-simplify]: Simplify 0 into 0 1552124241.265 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1552124241.265 * [backup-simplify]: Simplify 0 into 0 1552124241.266 * [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 1552124241.266 * [backup-simplify]: Simplify 0 into 0 1552124241.266 * [backup-simplify]: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.266 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1552124241.266 * [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)) 1552124241.266 * [approximate]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1552124241.266 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.266 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.266 * [taylor]: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1552124241.266 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.267 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.267 * [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)) 1552124241.267 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1552124241.267 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.267 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.267 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1552124241.267 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.267 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.267 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.268 * [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)) 1552124241.268 * [approximate]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1552124241.268 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.268 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.268 * [taylor]: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1552124241.268 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.268 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1552124241.268 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify 0 into 0 1552124241.268 * [backup-simplify]: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1552124241.269 * * * [progress]: simplifying candidates 1552124241.269 * * * * [progress]: [ 1 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 2 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 3 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 4 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 5 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 6 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 7 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 8 / 85 ] simplifiying candidate # 1552124241.269 * * * * [progress]: [ 9 / 85 ] simplifiying candidate # 1552124241.269 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1552124241.269 * * [simplify]: iters left: 6 (8 enodes) 1552124241.271 * * [simplify]: iters left: 5 (30 enodes) 1552124241.276 * * [simplify]: iters left: 4 (43 enodes) 1552124241.283 * * [simplify]: iters left: 3 (50 enodes) 1552124241.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.289 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124241.289 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124241.289 * * [simplify]: Extracting #3: cost 10 inf + 0 1552124241.289 * * [simplify]: Extracting #4: cost 13 inf + 1 1552124241.289 * * [simplify]: Extracting #5: cost 15 inf + 2 1552124241.289 * * [simplify]: Extracting #6: cost 10 inf + 336 1552124241.290 * * [simplify]: Extracting #7: cost 5 inf + 1385 1552124241.290 * * [simplify]: Extracting #8: cost 0 inf + 3010 1552124241.291 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1552124241.291 * [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))))))) 1552124241.291 * * * * [progress]: [ 10 / 85 ] simplifiying candidate # 1552124241.291 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124241.291 * * [simplify]: iters left: 6 (7 enodes) 1552124241.293 * * [simplify]: iters left: 5 (26 enodes) 1552124241.301 * * [simplify]: iters left: 4 (39 enodes) 1552124241.313 * * [simplify]: iters left: 3 (46 enodes) 1552124241.325 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.325 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.325 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124241.325 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124241.325 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124241.325 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124241.326 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124241.326 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124241.327 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124241.327 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124241.327 * [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))))))) 1552124241.327 * * * * [progress]: [ 11 / 85 ] simplifiying candidate # 1552124241.328 * [simplify]: Simplifying (sqrt 1) 1552124241.328 * * [simplify]: iters left: 1 (2 enodes) 1552124241.334 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.334 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124241.334 * [simplify]: Simplified to 1 1552124241.334 * [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)))))) 1552124241.335 * * * * [progress]: [ 12 / 85 ] simplifiying candidate # 1552124241.335 * * * * [progress]: [ 13 / 85 ] simplifiying candidate # 1552124241.335 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.335 * * [simplify]: iters left: 5 (6 enodes) 1552124241.339 * * [simplify]: iters left: 4 (23 enodes) 1552124241.345 * * [simplify]: iters left: 3 (36 enodes) 1552124241.351 * * [simplify]: iters left: 2 (43 enodes) 1552124241.356 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.356 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.356 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124241.356 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124241.356 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124241.356 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124241.356 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124241.357 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124241.357 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124241.357 * [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))))))) 1552124241.357 * * * * [progress]: [ 14 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1)))))))> 1552124241.357 * * * * [progress]: [ 16 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 17 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 18 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 19 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 20 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 21 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 22 / 85 ] simplifiying candidate # 1552124241.357 * * * * [progress]: [ 23 / 85 ] simplifiying candidate # 1552124241.358 * * * * [progress]: [ 24 / 85 ] simplifiying candidate # 1552124241.358 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1552124241.358 * * [simplify]: iters left: 6 (8 enodes) 1552124241.360 * * [simplify]: iters left: 5 (30 enodes) 1552124241.365 * * [simplify]: iters left: 4 (43 enodes) 1552124241.373 * * [simplify]: iters left: 3 (50 enodes) 1552124241.385 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.385 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124241.385 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124241.385 * * [simplify]: Extracting #3: cost 10 inf + 0 1552124241.386 * * [simplify]: Extracting #4: cost 13 inf + 1 1552124241.386 * * [simplify]: Extracting #5: cost 15 inf + 2 1552124241.386 * * [simplify]: Extracting #6: cost 10 inf + 336 1552124241.386 * * [simplify]: Extracting #7: cost 5 inf + 1385 1552124241.387 * * [simplify]: Extracting #8: cost 0 inf + 3010 1552124241.388 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1552124241.388 * [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))))) 1552124241.388 * * * * [progress]: [ 25 / 85 ] simplifiying candidate # 1552124241.388 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124241.388 * * [simplify]: iters left: 6 (7 enodes) 1552124241.392 * * [simplify]: iters left: 5 (26 enodes) 1552124241.397 * * [simplify]: iters left: 4 (39 enodes) 1552124241.403 * * [simplify]: iters left: 3 (46 enodes) 1552124241.409 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.409 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.409 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124241.409 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124241.409 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124241.409 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124241.409 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124241.410 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124241.410 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124241.410 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124241.410 * [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))))) 1552124241.410 * * * * [progress]: [ 26 / 85 ] simplifiying candidate # 1552124241.411 * [simplify]: Simplifying (sqrt 1) 1552124241.411 * * [simplify]: iters left: 1 (2 enodes) 1552124241.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.413 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124241.413 * [simplify]: Simplified to 1 1552124241.413 * [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))))) 1552124241.413 * * * * [progress]: [ 27 / 85 ] simplifiying candidate # 1552124241.413 * * * * [progress]: [ 28 / 85 ] simplifiying candidate # 1552124241.413 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.413 * * [simplify]: iters left: 5 (6 enodes) 1552124241.415 * * [simplify]: iters left: 4 (23 enodes) 1552124241.419 * * [simplify]: iters left: 3 (36 enodes) 1552124241.428 * * [simplify]: iters left: 2 (43 enodes) 1552124241.437 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.438 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.438 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124241.438 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124241.438 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124241.438 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124241.438 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124241.441 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124241.441 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124241.441 * [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))))) 1552124241.441 * * * * [progress]: [ 29 / 85 ] simplifiying candidate # 1552124241.441 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #real (real->posit16 (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))> 1552124241.442 * * * * [progress]: [ 31 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 32 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 33 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 34 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 35 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 36 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 37 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 38 / 85 ] simplifiying candidate # 1552124241.442 * * * * [progress]: [ 39 / 85 ] simplifiying candidate # 1552124241.442 * [simplify]: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1552124241.443 * * [simplify]: iters left: 6 (8 enodes) 1552124241.446 * * [simplify]: iters left: 5 (30 enodes) 1552124241.451 * * [simplify]: iters left: 4 (43 enodes) 1552124241.458 * * [simplify]: iters left: 3 (50 enodes) 1552124241.464 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.464 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124241.464 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124241.464 * * [simplify]: Extracting #3: cost 10 inf + 0 1552124241.464 * * [simplify]: Extracting #4: cost 13 inf + 1 1552124241.464 * * [simplify]: Extracting #5: cost 15 inf + 2 1552124241.464 * * [simplify]: Extracting #6: cost 10 inf + 336 1552124241.465 * * [simplify]: Extracting #7: cost 5 inf + 1385 1552124241.465 * * [simplify]: Extracting #8: cost 0 inf + 3010 1552124241.465 * [simplify]: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1552124241.465 * [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))))) 1552124241.465 * * * * [progress]: [ 40 / 85 ] simplifiying candidate # 1552124241.466 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124241.466 * * [simplify]: iters left: 6 (7 enodes) 1552124241.468 * * [simplify]: iters left: 5 (26 enodes) 1552124241.472 * * [simplify]: iters left: 4 (39 enodes) 1552124241.479 * * [simplify]: iters left: 3 (46 enodes) 1552124241.484 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.484 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.484 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124241.484 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124241.484 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124241.484 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124241.485 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124241.485 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124241.485 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124241.486 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124241.486 * [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))))) 1552124241.486 * * * * [progress]: [ 41 / 85 ] simplifiying candidate # 1552124241.486 * [simplify]: Simplifying (sqrt 1) 1552124241.486 * * [simplify]: iters left: 1 (2 enodes) 1552124241.488 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.488 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124241.488 * [simplify]: Simplified to 1 1552124241.488 * [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))))) 1552124241.488 * * * * [progress]: [ 42 / 85 ] simplifiying candidate # 1552124241.488 * * * * [progress]: [ 43 / 85 ] simplifiying candidate # 1552124241.488 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.488 * * [simplify]: iters left: 5 (6 enodes) 1552124241.490 * * [simplify]: iters left: 4 (23 enodes) 1552124241.494 * * [simplify]: iters left: 3 (36 enodes) 1552124241.500 * * [simplify]: iters left: 2 (43 enodes) 1552124241.505 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.505 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.505 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124241.505 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124241.505 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124241.505 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124241.505 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124241.506 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124241.506 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124241.506 * [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))))) 1552124241.506 * * * * [progress]: [ 44 / 85 ] simplifiying candidate # 1552124241.506 * * * * [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)))))> 1552124241.507 * * * * [progress]: [ 46 / 85 ] simplifiying candidate # 1552124241.507 * * * * [progress]: [ 47 / 85 ] simplifiying candidate # 1552124241.507 * * * * [progress]: [ 48 / 85 ] simplifiying candidate # 1552124241.507 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.507 * * [simplify]: iters left: 5 (6 enodes) 1552124241.510 * * [simplify]: iters left: 4 (23 enodes) 1552124241.518 * * [simplify]: iters left: 3 (36 enodes) 1552124241.530 * * [simplify]: iters left: 2 (43 enodes) 1552124241.539 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.539 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.539 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124241.539 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124241.540 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124241.540 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124241.540 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124241.542 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124241.543 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124241.543 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ (+ 1/2 1/2) 1))) 1552124241.543 * [simplify]: Simplifying (+ (+ 1/2 1/2) 1) 1552124241.543 * * [simplify]: iters left: 4 (4 enodes) 1552124241.547 * * [simplify]: iters left: 3 (19 enodes) 1552124241.550 * * [simplify]: iters left: 2 (23 enodes) 1552124241.554 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.554 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124241.554 * [simplify]: Simplified to 2 1552124241.554 * [simplify]: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1552124241.554 * * * * [progress]: [ 49 / 85 ] simplifiying candidate # 1552124241.554 * [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))) 1552124241.554 * * [simplify]: iters left: 6 (8 enodes) 1552124241.556 * * [simplify]: iters left: 5 (30 enodes) 1552124241.562 * * [simplify]: iters left: 4 (50 enodes) 1552124241.571 * * [simplify]: iters left: 3 (62 enodes) 1552124241.584 * * [simplify]: iters left: 2 (64 enodes) 1552124241.599 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.599 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124241.599 * * [simplify]: Extracting #2: cost 11 inf + 1 1552124241.600 * * [simplify]: Extracting #3: cost 13 inf + 3 1552124241.600 * * [simplify]: Extracting #4: cost 15 inf + 4 1552124241.600 * * [simplify]: Extracting #5: cost 10 inf + 338 1552124241.600 * * [simplify]: Extracting #6: cost 3 inf + 1781 1552124241.601 * * [simplify]: Extracting #7: cost 0 inf + 2692 1552124241.602 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1552124241.602 * [simplify]: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1552124241.602 * * * * [progress]: [ 50 / 85 ] simplifiying candidate # 1552124241.603 * [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)))) 1552124241.603 * * [simplify]: iters left: 6 (9 enodes) 1552124241.607 * * [simplify]: iters left: 5 (33 enodes) 1552124241.618 * * [simplify]: iters left: 4 (53 enodes) 1552124241.632 * * [simplify]: iters left: 3 (66 enodes) 1552124241.640 * * [simplify]: iters left: 2 (68 enodes) 1552124241.648 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.648 * * [simplify]: Extracting #1: cost 8 inf + 0 1552124241.648 * * [simplify]: Extracting #2: cost 14 inf + 2 1552124241.648 * * [simplify]: Extracting #3: cost 14 inf + 60 1552124241.648 * * [simplify]: Extracting #4: cost 10 inf + 338 1552124241.649 * * [simplify]: Extracting #5: cost 5 inf + 1227 1552124241.649 * * [simplify]: Extracting #6: cost 1 inf + 2495 1552124241.650 * * [simplify]: Extracting #7: cost 0 inf + 2852 1552124241.650 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124241.650 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1552124241.650 * * * * [progress]: [ 51 / 85 ] simplifiying candidate # 1552124241.650 * [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)))) 1552124241.650 * * [simplify]: iters left: 6 (9 enodes) 1552124241.653 * * [simplify]: iters left: 5 (33 enodes) 1552124241.661 * * [simplify]: iters left: 4 (53 enodes) 1552124241.677 * * [simplify]: iters left: 3 (66 enodes) 1552124241.693 * * [simplify]: iters left: 2 (68 enodes) 1552124241.707 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.707 * * [simplify]: Extracting #1: cost 8 inf + 0 1552124241.707 * * [simplify]: Extracting #2: cost 14 inf + 2 1552124241.707 * * [simplify]: Extracting #3: cost 14 inf + 60 1552124241.707 * * [simplify]: Extracting #4: cost 10 inf + 338 1552124241.708 * * [simplify]: Extracting #5: cost 5 inf + 1227 1552124241.709 * * [simplify]: Extracting #6: cost 1 inf + 2495 1552124241.710 * * [simplify]: Extracting #7: cost 0 inf + 2852 1552124241.711 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124241.711 * [simplify]: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1552124241.711 * * * * [progress]: [ 52 / 85 ] simplifiying candidate # 1552124241.711 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124241.711 * * [simplify]: iters left: 5 (6 enodes) 1552124241.714 * * [simplify]: iters left: 4 (23 enodes) 1552124241.721 * * [simplify]: iters left: 3 (36 enodes) 1552124241.733 * * [simplify]: iters left: 2 (43 enodes) 1552124241.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.743 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124241.743 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124241.743 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124241.743 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124241.743 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124241.744 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124241.744 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124241.745 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124241.745 * [simplify]: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ (+ 1/2 1/2) 1))) 1552124241.745 * * * * [progress]: [ 53 / 85 ] simplifiying candidate # 1552124241.745 * * * * [progress]: [ 54 / 85 ] simplifiying candidate # 1552124241.745 * [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))))) 1552124241.746 * * [simplify]: iters left: 6 (11 enodes) 1552124241.751 * * [simplify]: iters left: 5 (41 enodes) 1552124241.760 * * [simplify]: iters left: 4 (58 enodes) 1552124241.769 * * [simplify]: iters left: 3 (66 enodes) 1552124241.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.777 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124241.777 * * [simplify]: Extracting #2: cost 12 inf + 0 1552124241.777 * * [simplify]: Extracting #3: cost 15 inf + 0 1552124241.777 * * [simplify]: Extracting #4: cost 18 inf + 0 1552124241.777 * * [simplify]: Extracting #5: cost 21 inf + 1 1552124241.778 * * [simplify]: Extracting #6: cost 22 inf + 58 1552124241.778 * * [simplify]: Extracting #7: cost 14 inf + 1294 1552124241.779 * * [simplify]: Extracting #8: cost 4 inf + 4528 1552124241.781 * * [simplify]: Extracting #9: cost 0 inf + 6526 1552124241.782 * [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))))))) 1552124241.782 * [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))))))))) 1552124241.782 * * * * [progress]: [ 55 / 85 ] simplifiying candidate # 1552124241.783 * [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))))) 1552124241.783 * * [simplify]: iters left: 6 (11 enodes) 1552124241.793 * * [simplify]: iters left: 5 (37 enodes) 1552124241.804 * * [simplify]: iters left: 4 (59 enodes) 1552124241.821 * * [simplify]: iters left: 3 (68 enodes) 1552124241.836 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124241.836 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124241.836 * * [simplify]: Extracting #2: cost 10 inf + 0 1552124241.836 * * [simplify]: Extracting #3: cost 13 inf + 0 1552124241.836 * * [simplify]: Extracting #4: cost 16 inf + 0 1552124241.836 * * [simplify]: Extracting #5: cost 19 inf + 1 1552124241.836 * * [simplify]: Extracting #6: cost 20 inf + 58 1552124241.836 * * [simplify]: Extracting #7: cost 16 inf + 391 1552124241.837 * * [simplify]: Extracting #8: cost 13 inf + 711 1552124241.837 * * [simplify]: Extracting #9: cost 9 inf + 1919 1552124241.838 * * [simplify]: Extracting #10: cost 3 inf + 3991 1552124241.840 * * [simplify]: Extracting #11: cost 0 inf + 5372 1552124241.841 * [simplify]: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1552124241.841 * [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)))))))) 1552124241.841 * * * * [progress]: [ 56 / 85 ] simplifiying candidate # 1552124241.841 * * * * [progress]: [ 57 / 85 ] simplifiying candidate # 1552124241.841 * * * * [progress]: [ 58 / 85 ] simplifiying candidate # 1552124241.842 * [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))))) 1552124241.842 * * [simplify]: iters left: 6 (13 enodes) 1552124241.850 * * [simplify]: iters left: 5 (54 enodes) 1552124241.869 * * [simplify]: iters left: 4 (110 enodes) 1552124241.911 * * [simplify]: iters left: 3 (169 enodes) 1552124241.968 * * [simplify]: iters left: 2 (188 enodes) 1552124242.024 * * [simplify]: iters left: 1 (195 enodes) 1552124242.060 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.060 * * [simplify]: Extracting #1: cost 16 inf + 0 1552124242.060 * * [simplify]: Extracting #2: cost 28 inf + 3 1552124242.060 * * [simplify]: Extracting #3: cost 29 inf + 6 1552124242.060 * * [simplify]: Extracting #4: cost 30 inf + 63 1552124242.061 * * [simplify]: Extracting #5: cost 26 inf + 341 1552124242.062 * * [simplify]: Extracting #6: cost 15 inf + 3132 1552124242.064 * * [simplify]: Extracting #7: cost 4 inf + 7099 1552124242.067 * * [simplify]: Extracting #8: cost 0 inf + 8567 1552124242.069 * [simplify]: Simplified to (* (atan2 1 (fma N (+ N 1) 1)) (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1)))) 1552124242.069 * [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)))))) 1552124242.069 * * * * [progress]: [ 59 / 85 ] simplifiying candidate # 1552124242.069 * [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))))) 1552124242.070 * * [simplify]: iters left: 6 (13 enodes) 1552124242.073 * * [simplify]: iters left: 5 (52 enodes) 1552124242.082 * * [simplify]: iters left: 4 (109 enodes) 1552124242.113 * * [simplify]: iters left: 3 (190 enodes) 1552124242.174 * * [simplify]: iters left: 2 (200 enodes) 1552124242.218 * * [simplify]: iters left: 1 (208 enodes) 1552124242.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.244 * * [simplify]: Extracting #1: cost 16 inf + 0 1552124242.244 * * [simplify]: Extracting #2: cost 28 inf + 3 1552124242.245 * * [simplify]: Extracting #3: cost 29 inf + 6 1552124242.245 * * [simplify]: Extracting #4: cost 30 inf + 63 1552124242.246 * * [simplify]: Extracting #5: cost 26 inf + 341 1552124242.247 * * [simplify]: Extracting #6: cost 17 inf + 2418 1552124242.249 * * [simplify]: Extracting #7: cost 4 inf + 7059 1552124242.253 * * [simplify]: Extracting #8: cost 0 inf + 8567 1552124242.257 * [simplify]: Simplified to (* (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) (atan2 1 (fma N (+ N 1) 1))) 1552124242.257 * [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))))) 1552124242.257 * * * * [progress]: [ 60 / 85 ] simplifiying candidate # 1552124242.258 * * * * [progress]: [ 61 / 85 ] simplifiying candidate # 1552124242.258 * * * * [progress]: [ 62 / 85 ] simplifiying candidate # 1552124242.258 * [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))) 1552124242.258 * * [simplify]: iters left: 6 (8 enodes) 1552124242.262 * * [simplify]: iters left: 5 (30 enodes) 1552124242.272 * * [simplify]: iters left: 4 (50 enodes) 1552124242.290 * * [simplify]: iters left: 3 (62 enodes) 1552124242.305 * * [simplify]: iters left: 2 (64 enodes) 1552124242.319 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.319 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124242.319 * * [simplify]: Extracting #2: cost 11 inf + 1 1552124242.319 * * [simplify]: Extracting #3: cost 13 inf + 3 1552124242.319 * * [simplify]: Extracting #4: cost 15 inf + 4 1552124242.319 * * [simplify]: Extracting #5: cost 10 inf + 338 1552124242.320 * * [simplify]: Extracting #6: cost 3 inf + 1781 1552124242.321 * * [simplify]: Extracting #7: cost 0 inf + 2692 1552124242.322 * [simplify]: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1552124242.322 * [simplify]: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1552124242.322 * * * * [progress]: [ 63 / 85 ] simplifiying candidate # 1552124242.322 * * * * [progress]: [ 64 / 85 ] simplifiying candidate # 1552124242.322 * * * * [progress]: [ 65 / 85 ] simplifiying candidate # 1552124242.322 * [simplify]: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.322 * * [simplify]: iters left: 6 (7 enodes) 1552124242.326 * * [simplify]: iters left: 5 (26 enodes) 1552124242.332 * * [simplify]: iters left: 4 (39 enodes) 1552124242.338 * * [simplify]: iters left: 3 (46 enodes) 1552124242.343 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.343 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.343 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124242.343 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124242.343 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124242.344 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124242.344 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124242.344 * * [simplify]: Extracting #7: cost 1 inf + 1859 1552124242.344 * * [simplify]: Extracting #8: cost 0 inf + 2216 1552124242.345 * [simplify]: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.345 * [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)))))) 1552124242.345 * * * * [progress]: [ 66 / 85 ] simplifiying candidate # 1552124242.345 * [simplify]: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.345 * * [simplify]: iters left: 6 (7 enodes) 1552124242.347 * * [simplify]: iters left: 5 (26 enodes) 1552124242.351 * * [simplify]: iters left: 4 (39 enodes) 1552124242.357 * * [simplify]: iters left: 3 (46 enodes) 1552124242.363 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.363 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.363 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124242.363 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124242.363 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124242.364 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124242.364 * * [simplify]: Extracting #6: cost 5 inf + 987 1552124242.364 * * [simplify]: Extracting #7: cost 1 inf + 1939 1552124242.365 * * [simplify]: Extracting #8: cost 0 inf + 2296 1552124242.365 * [simplify]: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.365 * [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)))))) 1552124242.366 * * * * [progress]: [ 67 / 85 ] simplifiying candidate # 1552124242.366 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.366 * * [simplify]: iters left: 6 (7 enodes) 1552124242.369 * * [simplify]: iters left: 5 (26 enodes) 1552124242.378 * * [simplify]: iters left: 4 (39 enodes) 1552124242.391 * * [simplify]: iters left: 3 (46 enodes) 1552124242.402 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.402 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.402 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124242.402 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124242.402 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124242.402 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124242.403 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124242.403 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124242.404 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124242.406 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.406 * [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)))))) 1552124242.407 * * * * [progress]: [ 68 / 85 ] simplifiying candidate # 1552124242.407 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.407 * * [simplify]: iters left: 5 (6 enodes) 1552124242.410 * * [simplify]: iters left: 4 (23 enodes) 1552124242.418 * * [simplify]: iters left: 3 (36 enodes) 1552124242.431 * * [simplify]: iters left: 2 (43 enodes) 1552124242.440 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.440 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.440 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.440 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.440 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.440 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.440 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.441 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.441 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.441 * [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)))))) 1552124242.441 * * * * [progress]: [ 69 / 85 ] simplifiying candidate # 1552124242.441 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.441 * * [simplify]: iters left: 6 (7 enodes) 1552124242.444 * * [simplify]: iters left: 5 (26 enodes) 1552124242.449 * * [simplify]: iters left: 4 (39 enodes) 1552124242.455 * * [simplify]: iters left: 3 (46 enodes) 1552124242.461 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.461 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.461 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124242.461 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124242.461 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124242.461 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124242.461 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124242.462 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124242.462 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124242.462 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.462 * [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)))))) 1552124242.462 * * * * [progress]: [ 70 / 85 ] simplifiying candidate # 1552124242.463 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.463 * * [simplify]: iters left: 5 (6 enodes) 1552124242.464 * * [simplify]: iters left: 4 (23 enodes) 1552124242.468 * * [simplify]: iters left: 3 (36 enodes) 1552124242.474 * * [simplify]: iters left: 2 (43 enodes) 1552124242.481 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.481 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.481 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.481 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.482 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.482 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.482 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.483 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.483 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.483 * [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)))))) 1552124242.483 * * * * [progress]: [ 71 / 85 ] simplifiying candidate # 1552124242.484 * [simplify]: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.484 * * [simplify]: iters left: 6 (7 enodes) 1552124242.487 * * [simplify]: iters left: 5 (26 enodes) 1552124242.496 * * [simplify]: iters left: 4 (39 enodes) 1552124242.508 * * [simplify]: iters left: 3 (46 enodes) 1552124242.519 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.519 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.519 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124242.519 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124242.519 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124242.520 * * [simplify]: Extracting #5: cost 9 inf + 294 1552124242.520 * * [simplify]: Extracting #6: cost 5 inf + 947 1552124242.520 * * [simplify]: Extracting #7: cost 1 inf + 1819 1552124242.521 * * [simplify]: Extracting #8: cost 0 inf + 2136 1552124242.522 * [simplify]: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1552124242.522 * [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)))))) 1552124242.522 * * * * [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)))))))> 1552124242.522 * * * * [progress]: [ 73 / 85 ] simplifiying candidate # 1552124242.522 * * * * [progress]: [ 74 / 85 ] simplifiying candidate # 1552124242.522 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.522 * * [simplify]: iters left: 5 (6 enodes) 1552124242.526 * * [simplify]: iters left: 4 (23 enodes) 1552124242.533 * * [simplify]: iters left: 3 (36 enodes) 1552124242.539 * * [simplify]: iters left: 2 (43 enodes) 1552124242.544 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.544 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.544 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.544 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.544 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.544 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.545 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.545 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.545 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.545 * [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)))))) 1552124242.546 * * * * [progress]: [ 75 / 85 ] simplifiying candidate # 1552124242.546 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.546 * * [simplify]: iters left: 5 (6 enodes) 1552124242.547 * * [simplify]: iters left: 4 (23 enodes) 1552124242.551 * * [simplify]: iters left: 3 (36 enodes) 1552124242.557 * * [simplify]: iters left: 2 (43 enodes) 1552124242.563 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.563 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.563 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.563 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.563 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.564 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.564 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.564 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.565 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.565 * [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)))))) 1552124242.565 * * * * [progress]: [ 76 / 85 ] simplifiying candidate # 1552124242.565 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.565 * * [simplify]: iters left: 5 (6 enodes) 1552124242.569 * * [simplify]: iters left: 4 (23 enodes) 1552124242.576 * * [simplify]: iters left: 3 (36 enodes) 1552124242.588 * * [simplify]: iters left: 2 (43 enodes) 1552124242.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.598 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.598 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.598 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.598 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.599 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.599 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.599 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.600 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.600 * [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)))))) 1552124242.600 * * * * [progress]: [ 77 / 85 ] simplifiying candidate # 1552124242.600 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.600 * * [simplify]: iters left: 5 (6 enodes) 1552124242.604 * * [simplify]: iters left: 4 (23 enodes) 1552124242.611 * * [simplify]: iters left: 3 (36 enodes) 1552124242.622 * * [simplify]: iters left: 2 (43 enodes) 1552124242.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.632 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.632 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.632 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.633 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.633 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.633 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.634 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.634 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.634 * [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))))) 1552124242.634 * * * * [progress]: [ 78 / 85 ] simplifiying candidate # 1552124242.635 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.635 * * [simplify]: iters left: 5 (6 enodes) 1552124242.638 * * [simplify]: iters left: 4 (23 enodes) 1552124242.646 * * [simplify]: iters left: 3 (36 enodes) 1552124242.660 * * [simplify]: iters left: 2 (43 enodes) 1552124242.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.670 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.670 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.670 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.670 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.670 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.671 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.671 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.672 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.672 * [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))))) 1552124242.672 * * * * [progress]: [ 79 / 85 ] simplifiying candidate # 1552124242.672 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.673 * * [simplify]: iters left: 5 (6 enodes) 1552124242.676 * * [simplify]: iters left: 4 (23 enodes) 1552124242.684 * * [simplify]: iters left: 3 (36 enodes) 1552124242.696 * * [simplify]: iters left: 2 (43 enodes) 1552124242.707 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.707 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.707 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.707 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.707 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.707 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.707 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.708 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.708 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.709 * [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))))) 1552124242.709 * * * * [progress]: [ 80 / 85 ] simplifiying candidate # 1552124242.709 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.709 * * [simplify]: iters left: 5 (6 enodes) 1552124242.712 * * [simplify]: iters left: 4 (23 enodes) 1552124242.720 * * [simplify]: iters left: 3 (36 enodes) 1552124242.731 * * [simplify]: iters left: 2 (43 enodes) 1552124242.739 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.739 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.739 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.739 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.740 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.740 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.740 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.740 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.740 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.740 * [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))))) 1552124242.740 * * * * [progress]: [ 81 / 85 ] simplifiying candidate # 1552124242.741 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.741 * * [simplify]: iters left: 5 (6 enodes) 1552124242.742 * * [simplify]: iters left: 4 (23 enodes) 1552124242.746 * * [simplify]: iters left: 3 (36 enodes) 1552124242.752 * * [simplify]: iters left: 2 (43 enodes) 1552124242.757 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.757 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.757 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.757 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.757 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.758 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.758 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.758 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.758 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.758 * [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))))) 1552124242.758 * * * * [progress]: [ 82 / 85 ] simplifiying candidate # 1552124242.759 * [simplify]: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1552124242.759 * * [simplify]: iters left: 5 (6 enodes) 1552124242.760 * * [simplify]: iters left: 4 (23 enodes) 1552124242.764 * * [simplify]: iters left: 3 (36 enodes) 1552124242.774 * * [simplify]: iters left: 2 (43 enodes) 1552124242.784 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.784 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124242.784 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124242.784 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124242.785 * * [simplify]: Extracting #4: cost 10 inf + 44 1552124242.785 * * [simplify]: Extracting #5: cost 6 inf + 336 1552124242.785 * * [simplify]: Extracting #6: cost 1 inf + 1225 1552124242.786 * * [simplify]: Extracting #7: cost 0 inf + 1502 1552124242.788 * [simplify]: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1552124242.788 * [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))))) 1552124242.788 * * * * [progress]: [ 83 / 85 ] simplifiying candidate # 1552124242.788 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124242.788 * * [simplify]: iters left: 4 (5 enodes) 1552124242.791 * * [simplify]: iters left: 3 (20 enodes) 1552124242.798 * * [simplify]: iters left: 2 (33 enodes) 1552124242.803 * * [simplify]: iters left: 1 (40 enodes) 1552124242.808 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.808 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124242.808 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124242.808 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124242.808 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124242.809 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124242.809 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124242.809 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124242.809 * * * * [progress]: [ 84 / 85 ] simplifiying candidate # 1552124242.809 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124242.809 * * [simplify]: iters left: 4 (5 enodes) 1552124242.811 * * [simplify]: iters left: 3 (20 enodes) 1552124242.814 * * [simplify]: iters left: 2 (33 enodes) 1552124242.820 * * [simplify]: iters left: 1 (40 enodes) 1552124242.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.825 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124242.825 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124242.825 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124242.825 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124242.825 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124242.825 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124242.826 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124242.826 * * * * [progress]: [ 85 / 85 ] simplifiying candidate # 1552124242.826 * [simplify]: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1552124242.826 * * [simplify]: iters left: 4 (5 enodes) 1552124242.827 * * [simplify]: iters left: 3 (20 enodes) 1552124242.831 * * [simplify]: iters left: 2 (33 enodes) 1552124242.837 * * [simplify]: iters left: 1 (40 enodes) 1552124242.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124242.842 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124242.842 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124242.842 * * [simplify]: Extracting #3: cost 3 inf + 768 1552124242.842 * * [simplify]: Extracting #4: cost 1 inf + 907 1552124242.843 * * [simplify]: Extracting #5: cost 0 inf + 948 1552124242.843 * [simplify]: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1552124242.843 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1552124242.843 * * * [progress]: adding candidates to table 1552124243.823 * [progress]: [Phase 3 of 3] Extracting. 1552124243.823 * * [regime]: Finding splitpoints for: (# # # # # # # #) 1552124243.824 * * * [regime-changes]: Trying 1 branch expressions: (N) 1552124243.824 * * * * [regimes]: Trying to branch on N from (# # # # # # # #) 1552124243.874 * * * [regime]: Found split indices: #